用公式法进行因式分解