《公式法因式分解》教学案例及反思