12.2.3 因式分解公式