1《直接证明与间接证明》2复习推理合情推理(或然性推理)演绎推理(必然性推理)归纳(特殊到一般)类比(特殊到特殊)三段论(一般到特殊)3例1:已知a0,b0,求证a(b2+c2)+b(c2+a2)≥4abc因为b2+c2≥2bc,a0所以a(b2+c2)≥2abc.又因为c2+b2≥2bc,b0所以b(c2+a2)≥2abc.因此a(b2+c2)+b(c2+a2)≥4abc.证明:为数证例:.已知a、b、c不全相等的正,b+c-ac+a-ba+b-c求:++3.abc4利用已知条件和某些数学定义、公理、定理等,经过一系列的推理论证,最后推导出所要证明的结论成立,这种证明方法叫做综合法用P表示已知条件、已有的定义、公理、定理等,Q表示所要证明的结论.则综合法用框图表示为:1PQ12QQ23QQnQQ…5例2:在△ABC中,三个内角A、B、C对应的边分别为a、b、c,且A、B、C成等差数列,a、b、c成等比数列,求证△ABC为等边三角形.6一般地,利用已知条件和某些已经学过的定义、定理、公理等,经过一系列的推理、论证,最后推导出所要证明的结论成立,这种证明方法叫做综合法。特点:“由因导果”复习7回顾基本不等式:(a0,b0)的证明.a+bab2证明:因为;所以所以所以成立()b20a20a+bab2a+baba+bab2证明:要证;只需证;只需证;只需证;因为;成立所以成立a+bab22a+bab20a+bab()b20a()b20aa+bab28练习:设a,b是相异的正数,求证:关于x的一元二次方程(a2+b2)x2+4abx+2ab=0没有实根。9一般地,从要证明的结论出发,逐步寻求推证过程中,使每一步结论成立的充分条件,直至最后,把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止,这种证明的方法叫做分析法.特点:执果索因.用框图表示分析法的思考过程、特点.1QP23PP12PP得到一个明显成立的结论…反证法的一般步骤:假设命题结论不成立假设不成立假设命题结论反面成立与已知条件矛盾假设推理得出的结论与定理,定义,公理矛盾所证命题成立11原词语否定词原词语否定词等于任意的是至少有一个都是至多有一个大于至少有n个小于至多有n个对所有x,成立对任意x,不成立准确地作出反设(即否定结论)是非常重要的,下面是一些常见的结论的否定形式.不是不都是不大于大于或等于一个也没有至少有两个至多有(n-1)个至少有(n+1)个存在某x,不成立存在某x,成立不等于某个12用反证法证明:已知x0,y0,且x+y2求证:,至少有一个小于0yx1xy1