12.4 用公式法进行因式分解