《1.3 反证法》课件 2

《《1.3 反证法》课件 2》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、1．了解间接证明的一种基本方法——反证法．2．了解反证法的思考过程、特点．3．理解反证法的推理过程，证明步骤，体会直接证明与间接证明的区别与联系．【课标要求】《1.3反证法》课件1．体会反证法的思考过程、特点，培养逆向思维能力．(重点)2．利用反证法证明．(难点、重点)3．反证法的假设．(易错点)【核心扫描】在证明数学问题时，先假定成立，在这个前提下若推出的结果与、、矛盾，或与命题中的相矛盾，或与假定相矛盾，从而断定不可能成立，由此断定成立，这种证明方法叫作反证法．自学导引1．反证法的定义命题结论的反面定义公理定理已知条件命题结论的反面命

2、题的结论反证法的证明过程可以概括为“否定——推理——否定”，即从否定结论开始，经过正确的推理，导出逻辑矛盾，从而达到新的否定(即肯定原命题)的过程．用反证法证明命题“若p则q”的过程可以用以下框图表示：2．反证法证明的思维过程：分析反证法证明命题“若p则q”时，可能会出现几种情况？提示　可能会出现以下三种情况：(1)导出非p为真，即p假，也就是与原命题的条件矛盾；(2)导出q为真，即与假设“非q为真”矛盾；(3)导出一个恒假命题，即与定义、公理、定理矛盾．通过导出矛盾，归结为谬误而使命题得证．因此，这种反证法也叫归谬法．在反证法的应用中，

3、其难点是如何引出矛盾，用反证法证明命题“若p则q”时，引出矛盾的形式有下面三个方面：(1)假设结论q不成立，经过推理论证得到条件p不成立，即与原命题的条件矛盾．名师点睛1．反证法的特征2．反证法矛盾构设的几种情况(2)假设结论q不成立，经过推理论证得到结论q成立，即由“非q为真”推出了“q为真”，形成了自相矛盾．(3)假设结论q不成立，经过推理论证得到了一个恒假命题，即与某个“公理、定义、定理、性质”矛盾，或与某个概念结论显然矛盾．反证法主要适用于以下几种情形：(1)要证的结论与条件之间的联系不明显，直接由条件推出结论的线索不够清晰；(2

4、)如果从正面证明，需要分成多种情形进行分类讨论，而从反面进行证明，只需研究一种或很少的几种情形．3．反证法的应用【例1】设a，b，c，d∈R，且ad－bc＝1，求证：a2＋b2＋c2＋d2＋ab＋cd≠1.由条件不能正面证明结论，采用反证法假设结论不成立，将已知条件代入整理可得出与已知条件矛盾．题型一“否定”型命题[思路探索]证明　假设a2＋b2＋c2＋d2＋ab＋cd＝1，因为ad－bc＝1，所以a2＋b2＋c2＋d2＋ab＋cd＋bc－ad＝0，即(a＋b)2＋(c＋d)2＋(a－d)2＋(b＋c)2＝0，所以a＋b＝0，c＋d＝0，

5、a－d＝0，b＋c＝0，所以a＝b＝c＝d＝0，这与已知条件ad－bc＝1矛盾．故假设不成立，所以a2＋b2＋c2＋d2＋ab＋cd≠1.本题为“否定”型命题，显然从正面证明需要证明的情况太多，不但过程繁琐而且容易遗漏，故可以考虑采用反证法．一般当题目中含有“不可能”、“都不”等否定性词语时，宜采用反证法证明．【例2】用反证法证明：过已知直线a外一点A有且只有一条直线b与已知直线a平行．由平行直线的定义可知过直线外一点至少可以作一条已知直线的平行线．而“只有一条”可通过假设过点A有两条直线与直线a平行，由平行公理推出与假设矛盾．题型二“唯

6、一”型命题[思路探索]由两条直线平行的定义和几何图形可知，过点A至少有一条直线与直线a平行．假设过点A还有一条直线b′与已知直线a平行，即b∩b′＝A，b′∥a.因为b∥a，由平行公理知b′∥b.这与假设b∩b′＝A矛盾，所以假设错误，原命题成立．解用反证法证明问题时要注意以下三点：(1)必须先否定结论，即肯定结论的反面，当结论的反面呈现多样性时，必须罗列出各种可能结论，缺少任何一种可能，反证都是不完全的；(2)反证法必须从否定结论进行推理，即应把结论的反面作为条件，且必须根据这一条件进行推证，否则，仅否定结论，不从结论的反面出发进行推理

7、，就不是反证法；(3)推导出的矛盾可能多种多样，有的与已知矛盾，有的与假设矛盾，有的与事实矛盾等，推导出的矛盾必须是明显的．有一个交点．证明假设结论不成立，即有两种可能：无交点；至少有两个交点．(1)若直线a，b无交点，那么a∥b或a，b是异面直线，与已知矛盾；(2)若直线a，b至少有两个交点A和B，这样同时经过点A，B就有两条直线，这与“经过两点有且只有一条直线”相矛盾．综上所述，两条相交直线a，b有且只有一个交点．【训练2】已知两条相交直线a，b，求证：直线a，b有且只由y＝ax2＋2bx＋c，y＝bx2＋2cx＋a，和y＝cx2＋2

8、ax＋b确定的三条拋物线至少有一条与x轴有两个不同的交点．审题指导当命题出现“至多”“至少”“唯一”等形式时，适合用反证法．题型三“至多”、“至少”型命题【例3】(12分)已知a，b，c是互不