6.2.2 间接证明：反证法.doc

6.2.2 间接证明：反证法 福鼎一中 陈尔明（2014-04-03） 一、教材内容分析: 本课是湘教版版数学选修2—2第二章《推理与证明》第二节“直接证明与间接证明”第二课时的内容，是反证法部分。 “推理与证明”是数学的基本思维过程，也是人们学习和生活中经常使用的思维方式。推理与证明贯穿于高中数学的整个体系，也是学数学、做数学的基本功。这一部分的学习是新课标教材的一个亮点，是对以前所学知识与方法的总结、归纳，并对后继学习起到引领的作用。 证明一般包括直接证明与间接证明。“直接证明”的两种基本方法是综合法和分析法，它们是解决数学问题常用的思维方式；“间接证明”的一种基本方法是反证法，但是反证法的应用需要逆向思维，这是学生学习的一个难点。所以，本课的关键是让学生在动脑思考、动手证明的过程中体会反证法的思维过程，建立应用反证法的感觉。 二、教学目标 知识与能力：通过实例，培养学生用反证法证明简单问题的推理技能，进一步培养观察能力、分析能力、逻辑思维能力及解决问题的能力。 过程与方法：掌握反证法证题的基本步骤，会用反证法证明简单的命题。 情感、态度、价值观： （1）在观察、操作、推理等探索过程中，体验数学活动充满探索性和创造性；渗透事物之间都是 相互对立、相互矛盾、相互转化的辩证唯物主义思想。在学习和生活中遇到困难的时候，要学会换 个角度思考问题，也许会使问题出现转机。 （2）让学生在观察、探究、发现中学习，在自主合作、交流中学习，体验学习的乐趣，增强自信心，树立积极的学习态度，提高学习的自我效能感。 三、教学重点与难点 重点：1、理解反证法的概念， 2、体会反证法证明命题的思路方法及反证法证题的步骤， 3、用反证法证明简单的命题。 难点：反证法证题步骤中的“归谬”。 四、教学过程 （一）复习引入 1.情景创设： 教师提出问题：视频中警察对大妈说的那句话论证了大妈不是被自行车撞的？ 播放剪辑视频《扶不扶》。 警察说：“您都这么大岁数了，它要撞您撞成那样，您还能站着说话吗？” 警察的话用数学语言分析 : 归纳一：法二从结论的反面出发，推得与已知矛盾，间接证明原命题成立。这种证明方法就是反证法； 归纳二：反证法证明步骤是什么呢？假设---矛盾----结论。 （二）知识与方法的形成 通过对上述两个问题的解答，归纳反证法的定义与证法的步骤 1.反证法的定义： 一般地，假设原命题的结论不成立，经过正确的推理，最后得出矛盾，因此说明假设错误，从而间接证明了原命题结论成立。这种证明方法叫做反证法。 反证法是间接证明的一种基本方法。 2.反证法证题的一般步骤： （1）反设：假设所要证明的结论不成立，即设结论的反面成立； （2）归谬：由“反设”出发，通过正确的推理，导出矛盾； （3）结论：产生矛盾的的原因在于“反设”，所以假设不成立，故原命题结论成立。 否定结论，寻找矛盾；反证法的证明关键在于导出矛盾。 3. 归缪矛盾： （1）与已知条件矛盾； （2）与已有公理、定理、定义、反设及明显的事实矛盾； （3）自相矛盾. （三）典例赏析 例1.写出用“反证法”证明下列命题的第一步“反设”. (1) 用反证法证明命题“互补的两个角不能都大于90°”那么假设的内容是 (2) 用反证法证明命题“可以被5整除，那么中至少有一个能被5整除。”那么假设的内容是 问题设置：（1）（2）分别是属于什么类型的命题（否定型，至多、至少型命题） 归纳：常见的“原结论词”与“假设词” 原结 论词 都是 至少有一个 至多有一个 只有一个 存在某个成立 反设词 不都是 一个也没有 （不存在） 至少有两个 没有或至少有两个 对所有的成立 是无理数. 数学史：《无理数的发现》 毕达哥拉斯学派是以古希腊哲学家、数学家、天文学家毕达哥拉斯（约公元前580—500）为代表的一个学派。毕达哥拉斯学派发现了无理数，这是数学史上的一件大事，它导致了第一次数学危机。 毕达哥拉斯学派有一个信条：“万物皆数”，即宇宙间的一切现象都能归结为整数或整数之比，也就是一切现象都可以用有理数去描述。公元前5世纪，毕达哥拉斯学派的一个成员希伯索斯发现了边长为1的正方形的对角线的长不能用整数或整数之比来表示。这个发现动摇了毕达哥拉斯学派的信条，引起了信徒们的恐慌。据说希伯索斯为此被扔进大海，他为发现真理献出了宝贵的生命。但真理是不可战胜的，后来，古希腊人终于了正视了希伯索斯的发现。在追求真理的道路上要敢于质疑权威，要有英勇无畏的精神。 证明：假设边长为1的正方形的对角线的长可写成两个整数之比（，为互质的正整数）， 则，， ∴必为偶数，∴必为偶数 令 （为正整数） ∴，即， ∴必为偶数， ∴和都是偶数， 这与，为互质的正整数相矛盾.