高中数学选修2-2反证法.ppt

《高中数学选修2-2反证法.ppt》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、直接证明与间接证明反证法直接证明：(1)综合法——(2)分析法——由因导果执果索因已知条件结论……已知条件结论……古时候有个人叫王戎，7岁那年的某一天和小伙伴在路边玩，看见一棵李子树上的果实多得把树枝都快压断了，小伙伴们都跑去摘，只有王戎站着没动。他说：“李子是苦的,我不吃。”小伙伴摘来一尝，李子果然苦得没法吃。路边苦李小故事小伙伴问王戎:“这就怪了!你又没有吃,怎么知道李子是苦的啊?”王戎说:“如果李子是甜的,树长在路边,李子早就没了！李子现在还那么多,所以啊,肯定李子是苦的，不好吃!”例:小华睡觉前，地上是干的，早晨起来，看见地上全湿了。小华对婷婷说：“昨天晚上下雨了。”您能对小华的判断说

2、出理由吗？如果昨天晚上没有下雨，那么地上应是干的，这与早晨地上全湿了相矛盾，所以说昨晚下雨是正确的。定义:在证明一个命题时，人们有时先假设命题不成立，从这样的假设出发，经过推理得出和已知条件矛盾，或者与定义、公理、定理等矛盾，从而得出假设命题不成立是错误的，即所求证的命题正确.这种证明方法叫做反证法。反证法发生在身边的例子:妈妈:小华,听说邻居小芳全家这几天都外出旅游.小华:不可能,我上午还在学校碰到了她和她妈妈呢!上述对话中,小华要告诉妈妈的命题是什么?他是如何推断该命题的正确性的?小芳全家没外出旅游.小芳全家没外出旅游，假设小芳全家外出旅游，那么今天不可能碰到小芳，与上午在学校碰到小芳和她

3、妈妈矛盾，所以假设不成立，所以小芳全家没外出旅游．证明：在一个三角形中至少有一个角不小于60°.引例已知：∠A，∠B，∠C是△ABC的内角.求证：∠A，∠B，∠C中至少有一个不小于60°已知：∠A，∠B，∠C是△ABC的内角.求证：∠A，∠B，∠C中至少有一个不小于60°证明：假设的三个内角A，B，C都小于60°，所以∠A60°，∠B60°，∠C60°<<<∴∠A+∠B+∠C<180°这与相矛盾.三角形内角和等于180°∴不能成立，所求证的结论成立.假设反证法的一般步骤：假设命题的结论不成立,即假设结论的反面成立；从这个假设出发，经过推理论证，得出矛盾；(3)由矛盾判定假设不正确，从而肯定命题

4、的结论正确。反设归谬结论¬¬归缪矛盾：（1）与已知条件矛盾；（2）与已有公理、定理、定义矛盾；（3）自相矛盾。反证法：反设——归谬——存真适宜使用反证法的情况（1）结论以否定形式出现（2）结论以“至多-------，”，“至少------”形式出现（3）唯一性、存在性问题（4）结论的反面比原结论更具体更容易研究的命题。常见否定用语是－－－不是有－－－没有等－－－不等成立－－不成立都是－－不都是，即至少有一个不是都有－－不都有，即至少有一个没有都不是－－部分或全部是，即至少有一个是唯一－－至少有两个至少有一个有（是）－－全部没有（不是）至少有一个不－－－－－全部都反馈练习1、写出用“反证法”证明

5、下列命题的第一步“假设”.(1)互补的两个角不能都大于90°.(2)△ABC中,最多有一个钝角假设互补的两个角都大于90°.假设△ABC中,至少有两个钝角2、“已知:△ABC中,AB=AC.求证:∠B<90°”.下面写出了用反证法证明这个命题过程中的四个推理步骤.(1)所以∠B+∠C+∠A>180°.这与三角形内角和定理相矛盾.(2)所以∠B<90°.(3)假设∠B≥90°.(4)那么,由AB=AC,得∠B=∠C≥90°.即∠B+∠C≥180°.这四个步骤正确的顺序应是()A.(1)(2)(3)(4)B.(3)(4)(2)(1)C.(3)(4)(1)(2)D.(4)(3)(2)

6、(1)反馈练习C例1.用反证法证明：如果a>b>0，那么例2.求证：是无理数。总结提炼1.用反证法证明命题的一般步骤是什么?用反证法在归谬中所导出的矛盾可以是与题设矛盾,与假设矛盾,与已知定义、公理、定理矛盾，自相矛盾等．①反设②归谬③结论2.用反证法证题,矛盾的主要类型有哪些?推理合情推理演绎推理（归纳、类比）（三段论）证明直接证明间接证明（分析法、综合法）（反证法）数学—公理化思想备选1、平面内有四个点，没有三点共线，求证：以任意三个点为顶点的三角形不可能都是锐角三角形证明：假设以任意三个点为顶点的三角形都是锐角三角形。记四个点为A、B、C、D。考虑点D在之内或之外两种情况。(1)如果点D

7、在之内，根据假设，DABC都为锐角三角形所以这与一个周角为360°矛盾。演练反馈1、平面内有四个点，没有三点共线，证明：以任意三个点为顶点的三角形不可能都是锐角三角形(1)如果点D在之外，根据假设，ADBC都是锐角三角形，即这与四边形内角和矛盾。所以，综上所述，假设不成立，从而题目结论成立。即这些三角形不可能都为锐角三角形。用反证法证明：圆的两条不是直径的相交弦不能互相平分。已知：如图，在⊙O中，