2013新人教A版选修（2-2）2.2《直接证明与间接证明》课件ppt.pptVIP

2.2 直接证明与间接证明 2.2.1综合法和分析法 复习 例 1：已知a0,b0,证明a(b2+c2)+b(c2+a2)4abc 证明：因为 b2+c22bc,a0. 所以a(b2+c2)2abc 又因为c2+a22ac,b0. 所以b(c2+a2)2abc 因此a(b2+c2)+b(c2+a2)4abc. 特点：由一知条件、定理、公理等推出结论。 例2：PD⊥平面ABC,AC=BC,D为AB的中点求证：AB⊥PC. 证明：因为PD⊥平面ABC 所以PD⊥AB 又因为AC=BC，D为AB的中点 所以CD⊥AB 　　　又因为AB不在平面PDC上，PD、　　　　　　　　　　　　　　　　　CD相交与点D 　　　因此AB⊥平面PDC 　　　所以AB⊥PC 特点：由一知条件、定理、公理等推出结论。 １综合法——由因导果 　　从命题的条件出发，利用定义、公理、定理及运算法则，经过一系列的推理论证，最后推导出所要证明的结论成立。（又叫顺推证法） 　特点：由因导果。　　　　　　　　　 如图，四边形ABCD是平行四边形 　　　　　　　 求证：AB=CD，BC=DA 证 连接AC，因为四边形ABCD 是平行形四边形，　　　　　　————已知 所以AB//CD,BC//DA 故∠1= ∠2, ∠3= ∠4, 因为 AC=CA 所以△ABC≌ △CDA 故AB=CD，BC=DA　　　　　　　　—————未知 特点：由已知的四边形ABCD是平行四边形推出AB=CD， BC=DA 书上例１,２ 　　　　　　　　　探知 例１:三角行ABC的三边a，b，c的倒数成等差数列，求证B90°. 证明：要证B90°　　　　　　　　　　　　————未知 只需证cossB0. 只需证(a2+c2-b2)/2ac0 只需证1-b2/2ac0 只需证b22ac 只需证1/a+1/c=2/b　　　　　　　　—————已知 因为1/a+1/c=2/b是成立的，所以原不等式也成立 特点：由未知推已知 例２：已知AB，CD交于点O, △ACO≌ △BDO,AE=BF,求证CE=DF。 证明：要证 CE=DF 只需证 △EOC≌ △FOD 只需证 CO=DO，EO=FO （因为∠COE=∠DOF，对定角） 为了证 CO=DO 只需证 △ACO ≌ △BDO 为了证 EO=FO 只需证 AO=BO （因为AE＝BF，已知） 也只需证△ACO ≌ △BDO。 因为已知△ACO ≌ △BDO，所以原命题成立。 特点：重问题的结论出法，逐步寻找使它成立的充分条件直到最后，把要证明的结论归结为判定一个明显成立的条建。 分析法——由果导因 从要证明的结论出发，逐步寻求使它成立的充分条件，真至最后，把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等）。这种证明的方法叫做分析法（又叫反推法） 特点：由果导因  例4、5 综合法和分析法的区别 　分析法的特点是：从“未知”看“需知”，逐步靠拢“已知”，其逐步推理，实际上是寻求它的充分条件；综合法的特点是：从“已知”看“可知”，逐步推向“未知”，其逐步推理，实际上是寻找它的必要条件．分析法与综合法各有其特点，有些具体的待证命题，用分析法或综合法均能证明出来，往往选择较简单的一种。 例：△ABC的三边a、b、c的倒数成等差数列，求证Bπ/2. 证明：要证 Bπ/2 只需证 cossB0 只需证 （a2+c2-b2）/2ac0 (因为cossB=（a2+c2-b2）/2ac ） 只需证 1-（b2/2ac）0 （因为a2+c22ac） 只需证 （b2/2ac）1 ——（3） 另一方面 ∵三边a、b、c的倒数成等差数列 ∴2/b=1/a+1/c b=2ac/（a+c） b2=（2ac/（a+c））2 b2/2ac=2ac/（a+c）2