《综合法和分析法》.pptVIP

例5:已知直线a,b和平面,如果且a∥b,求证:a∥abP把这种不是直接从原命题的条件逐步推得命题成立的证明方法称为间接证明注：反证法是最常见的间接证法，一般地，假设原命题不成立（即在原命题的条件下，结论不成立），经过正确的推理，最后得出矛盾。因此说明假设错误，从而证明了原命题成立，这样的证明方法叫做反证法（归谬法）。理论归纳总结：三个步骤：反设—归谬—存真归缪矛盾：（1）与已知条件矛盾；（2）与已有公理、定理、定义矛盾；（3）自相矛盾。一般地，假设原命题不成立（即在原命题的条件下，结论不成立），经过正确的推理，最后得出矛盾。因此说明假设错误，从而证明了原命题成立，这样的证明方法叫做反证法。练习已知a≠0，证明x的方程ax=b有且只有一个根。证：由于a≠0，因此方程至少有一个根x=b/a，注:结论中的有且只有(有且仅有)形式出现,是唯一性问题,常用反证法```如果方程不只一个根，不妨设x1,x2（x1≠x2)是方程的两个根.（1）直接证明有困难正难则反!归纳总结：哪些命题适宜用反证法加以证明？牛顿曾经说过：“反证法是数学家最精当的武器之一”（3）唯一性命题（2）否定性命题（4）至多，至少型命题推理与证明推理证明合情推理演绎推理直接证明间接证明类比推理归纳推理分析法综合法反证法知识结构例2作业及练习*知识要点3*2.2直接证明与间接证明2.2.1综合法和分析法演绎推理是证明数学结论、建立数学体系的重要思维过程.数学结论、证明思路的发现,主要靠合情推理.复习推理合情推理演绎推理归纳(特殊到一般）类比（特殊到特殊）三段论（一般到特殊）合情推理得到的结论是不可靠的，需要证明。数学中证明的方法有哪些呢？在数学证明中，我们经常从已知条件和某些数学定义、定理、公理、性质等出发通过推理导出所要的结论。例:已知a0,b0,求证a(b2+c2)+b(c2+a2)4abc因此a(b2+c2)+b(c2+a2)4abc.又因为c2+b22bc,b0所以b(c2+a2)2abc.因为b2+c22bc,a0所以a(b2+c2)2abc.证明:１.综合法——由因导果从命题的条件出发，利用定义、公理、定理及运算法则，经过一系列的推理论证，最后推导出所要证明的结论成立.(又称顺推证法)探索求知注：用P表示已知条件,已有的定义,定理,公理等.Q表示所要证明的结论,则综合法可用框图表示为:PQ1QnQQ2Q3Q1Q2…证为数为数证证为数为数证例3：在△ＡＢＣ中，三个内角Ａ、Ｂ、Ｃ对应的边分别为a、b、c，且Ａ、Ｂ、Ｃ成等差数列，a、b、c成等比数列，求证△ＡＢＣ为等边三角形．分析：把题中的文字语言转化为符号语言：A+C=2B⑴，b2=ac⑵由（1）联想到内角各能得到什么？由（2）联想到三角形什么知识？余弦定理，二者联系起来能得到什么结论证明：由A，B，C成等差数列，有2B=A+C①由①②，得②③由于，a，b，c成等比数列，有④由余弦定理及③，可得再由④，得因此，a=c从而有A=C由②③⑤，得证法1:对于正数a,b,有证法2:要证只要证只要证只要证因为最后一个不等式成立，故结论成立。综合法分析法表达简洁!目的性强,易于探索!2.分析法探索求知从证明的结论出发,逐步寻求使它成立的充分条件,直至最后,把要证明的结论归结为判定一个明显成立的条件(已知,定理,定义,公理等).这种证明的方法叫做分析法.（又称逆推证法）——执果索因注：用Q表示所要证明的结论,则分析法可用框图表示为:得到一个明显成立的条件QP1P1P2P2P3…【分析法】从结论出发，寻找结论成立的充分条件直至最后，把要证明的结论归结为判定一个明显成立的条件。要证：??只要证：??只需证：????显然成立上述各步均可逆所以