因式分解(提公因式、公式法)