资源描述：
《2013版高中全程复习方略配套课件：6.6直接证明与间接证明(人教A版·数学理)浙江专用》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、第六节直接证明与间接证明三年9考 高考指数:★★★1.了解直接证明的两种基本方法——分析法和综合法；2.了解间接证明的一种基本方法——反证法.1.本考点在历年高考中均有体现，主要以直接证明中的综合法为主；2.分析法的思想应用广泛，反证法仅作为客观题的判断方法，一般不会单独命题；3.题型以解答题为主，主要在与其他知识点交汇处命题.1.直接证明（1）综合法①定义：利用已知条件和某些数学定义、公理、定理等，经过一系列的推理论证，最后推导出的证明方法.②框图表示：(P表示已知条件、已有的定义、公理、定理等，Q表示所要证明的结论).③文字表示为：“因为……所以……”或“由……得……”.
2、④思维过程：由因导果.所要证明的结论成立(2)分析法①定义：从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为（已知条件、定理、定义、公理等）为止的证明方法.②框图表示：(Q表示要证明的结论）.③文字表示为：“要证……”，“只需证……”，“即证……”④思维过程：执果索因.判定一个明显成立的条件【即时应用】(1)思考下列思维特点：①从“已知”逐步推向“未知”，即逐步寻找已知成立的必要条件.②从“未知”看“需知”，逐步靠拢“已知”即逐步寻找结论成立的充分条件.满足综合法的是，满足分析法的是（请填写相应序号）.(2)已知t=a+2b,s=a+b2+1,则
3、s,t的大小关系是.(3)在正项等比数列{an}和正项等差数列{bn}中，a1=b1,a3=b3,a1≠a3，则a5与b5的大小关系为.【解析】(1)由分析法、综合法的定义可判断.①满足综合法；②满足分析法.（2）由s-t=a+b2+1-a-2b=b2-2b+1=(b-1)2≥0,故s≥t.(3)由a1≠a3,得b1≠b3,所以b1≠b5,且b1>0,b5>0,又即又a1=b1,所以a5>b5.答案：（1）①②(2)s≥t(3)a5>b52.间接证明（1）反证法的定义假设原命题不成立，经过正确的推理，最后得出矛盾，因此说明，从而证明的证明方法.(2)利用反证法证题的步骤①假设
4、命题的结论不成立，即假设结论的反面成立；②由假设出发进行正确的推理，直到推出矛盾为止；③由矛盾断言假设不成立，从而肯定原命题的结论成立.简言之，否定→归谬→断言.假设错误原命题成立【即时应用】(1)判断下列说法是否正确.（请在括号内打“√”或“×”)①综合法是由因导果法()②综合法是顺推法()③分析法是执果索因法()④分析法是逆推法()⑤反证法是间接证法()(2)用反证法证明“如果a>b,那么”，其中假设内容应是_______.(3)用反证法证明命题“三角形三个内角至少有一个不大于60°”时，应假设.【解析】(1)由分析法、综合法、反证法的定义可知①②③④⑤都正确.(2)否定
5、结论，的否定是(3)因为“至少有一个”的反面是“一个也没有”，所以“三角形三个内角至少有一个不大于60°”的否定是“三角形三个内角一个也没有不大于60°”，即“三角形三个内角都大于60°”.答案：（1）①√②√③√④√⑤√(2)(3)三角形三个内角都大于60°综合法的应用【方法点睛】利用综合法证题的基本思路【例1】已知x+y+z=1，求证：x2+y2+z2≥【解题指南】由基本不等式x2+y2≥2xy,得到关于x、y、z的三个不等式，将三式相加整理变形,然后利用x+y+z=1得(x+y+z)2=1从而可证.【规范解答】∵x2+y2≥2xy,x2+z2≥2xz,y2+z2≥2yz
6、,∴2x2+2y2+2z2≥2xy+2xz+2yz,∴3x2+3y2+3z2≥x2+y2+z2+2xy+2xz+2yz,即3（x2+y2+z2）≥(x+y+z)2,∵x+y+z=1,∴(x+y+z)2=1,∴3（x2+y2+z2）≥1,即x2+y2+z2≥【反思·感悟】利用综合法证明不等式是不等式证明的常用方法之一，即充分利用已知条件与已知的基本不等式，经过推理论证推导出正确结论，是顺推法或由因导果法.其逻辑依据是三段论式的演绎推理方法，这就需保证前提正确，推理合乎规律，这样才能保证结论的正确.【变式训练】设a>0,b>0,a+b=1,求证：≥8.【证明】方法一：∵a>0,b
7、>0,a+b=1,∴又∵方法二：∵a+b=1,∴≥故等号成立的条件是a=b=分析法的应用【方法点睛】分析法的特点与思路分析法的特点和思路是“执果索因”，即从“未知”看“需知”，逐步靠拢“已知”或本身已经成立的定理、性质或已经证明成立的结论等.通常采用“欲证——只需证——已知”的格式，在表达中要注意叙述形式的规范.【例2】(2012·南通模拟）已知m>0,a,b∈R,求证：【解题指南】利用分析法，去分母后移项作差，最后变形可证.【规范解答】∵m>0,∴1+m>0.所以要证原不等式成立，只需证明(a+mb)
