直接证明与间接证明33659.pptVIP

直接证明与间接证明 ----分析法 从已知条件出发，以已知定义、公理、定理等为依据,逐步下推，直到推出要证明的结论为止，这种证明方法叫做综合法(顺推证法) 用P表示已知条件、已有的定义、公理、定理等,Q表示所要证明的结论. 则综合法用框图表示为: … 特点:“由因导果” 复习 引例. 求证：. 所以为了证明 只需证 即证 即证 即证 即证 一般地，从要证明的结论出发，逐步寻求使它成立的条件，直到最后，把要证明的结论归结为判定一个明显成立的条件（已知条件、定理、定义、公理等，这种证明的方法叫做分析法．(逆推证法或执果索因法) 特点：执果索因. 用框图表示分析法的思考过程、特点. 得到一个明显成立的结论 … 【分析法】 从结论出发，寻找结论成立的充分条件 直至最后，把要证明的结论归结为判定一 个明显成立的条件。 欲证：?? 只需证：?? 即证：?? ??显然成立 所以 结论成立 格 式 例题:已知 用分析法证明： 课堂练习： 设a、b是两个正实数，且a≠b，求证：a3+b3＞a2b+ab2． ??? 证明：(用分析法思路书写) ??? 要证 a3+b3＞a2b+ab2成立， ??? 只需证(a+b)(a2-ab+b2)＞ab(a+b)成立， ??? 即证a2-ab+b2＞ab成立。(∵a+b＞0) ??? 只需证a2-2ab+b2＞0成立， ??? 也就是要证(a-b)2＞0成立。 ??? 而由已知条件可知，a≠b，有a-b≠0， 所以(a-b)2＞0显然成立，由此命题得证。??? (以下用综合法思路书写) ??? ∵a≠b，∴a-b≠0，∴(a-b)2＞0， 即a2-2ab+b2＞0 ??? 亦即a2-ab+b2＞ab ??? 由题设条件知，a+b＞0， ∴(a+b)(a2-ab+b2)(a+b)ab 即a3+b3＞a2b+ab2，由此命题得证 小结： ⑴分析法是“执果索因”步步寻求上一步的充分条件，它与综合法是对立统一的两种方法。 ⑵ 要学会正确使用连接有关步骤的关键词，如：“欲证”，“只需证”，“即证” ⑶对于较复杂的证明问题，通常是用分析法探索证题途径然后用综合法加以证明。 例3：已知a＞1，求证： 证明：∵a＞1 ∴a+1＞0 a-1＞0 即证 -1＜0 （成立） 只需证 要证 即证 即证 所以原不等式 成立 例3:如图,SA⊥平面ABC,AB⊥BC,过A作SB的垂线,垂足为E,过E作SC的垂线,垂足为F,求证：AF⊥SC F E S C B A 证明:要证AF⊥SC 只需证:SC⊥平面AEF 也就是要证:AE⊥SC 即证:AE⊥平面SBC 只需证:AE⊥BC 只需证:BC⊥平面SAB 也就是要证:BC⊥SA 即证:SA⊥平面ABC 因为:SA⊥平面ABC成立 所以. AF⊥SC成立 得到一个明显成立的结论 … 也可以是经过证明的结论