直接证明与间接证明3理

§2.2.2反证法【学情分析】：前面我们学习了两种直接证明问题的方法——综合法和分析法。在以前的学习中，学生已经接触过用反证法证明数学命题，本节课进一步熟悉运用反证法证明某些直接证明较难解决的数学问题。【教学目标】：（1）知识与技能：结合已学过的数学实例，了解间接证明的方法——反证法；了解反证法的思考过程、特点（2）过程与方法：能够运用反证法证明数学问题（3）情感态度与价值观：通过本节课的学习，感受逻辑证明在数学以及日常生活中的作用，养成言之有理，论证有据的习惯【教学重点】：了解反证法的思考过程、特点；运用反证法证明数学问题。【教学难点】：运用反证法证明数学问题。【教学过程设计】：教学环节教学活动设计意图一、提出问题问题1、任找370个人，他们中生日有没有相同的呢？问题2、将9个球分别染成红色或白色，无论怎样染，至少有5个球是同色的，你能证明这个结论吗？思考：通过以上几个练习，大家已经初步体会到反证法的作用，你能不能总结一下应用反证法的概念及其步骤？从实际生活的例子出发，使学生对反证法的基本方法和步骤有一个更深刻的认识。二、反证法定义1：反证法的概念：假设原命题不成立，经过正确的推理,最后得出矛盾，因此说明假设错误,从而证明原命题成立,这样的的证明方法叫反证法．2：反证法的基本步骤：1）:假设命题结论不成立，即假设结论的反面成立；2）:从这个假设出发，经过推理论证，得出矛盾；3）:从矛盾判定假设不正确，从而肯定命题的结论正确.3：应用反证法的情形：1）：直接证明困难；2）：需分成很多类进行讨论；3）：结论为“至少”、“至多”、“有无穷多个”类命题；4）：结论为“唯一”类命题；三、应用例1、已知直线,ab和平面，如果,ab，且||ab，求证||a。解析：让学生理解反证法的严密性和合理性；证明：因为||ab,所以经过直线a,b确定一个平面。因为a，而a，所以与是两个不同的平面．因为b，且b，所以b.直观了解反证法的证明过程。否定结论，推出矛盾。提醒学生：使用反证法进行证明的关键是在正确的推理下得出矛盾。这个矛盾可以是与已知条件矛盾，或与假设矛盾，或与定义、公理、定理、事实矛盾等。进上步熟悉反证法的证题思路及步骤。引导学生结合思考题和例题归纳出反证法所适用的题型特点和一般步骤。培养学生的归纳下面用反证法证明直线a与平面没有公共点．假设直线a与平面有公共点P，则Pb，即点P是直线a与b的公共点，这与||ab矛盾．所以||a.点评：用反证法的基本步骤：第一步分清欲证不等式所涉及到的条件和结论；第二步作出与所证不等式相反的假定；第三步从条件和假定出发，应用证确的推理方法，推出矛盾结果；第四步断定产生矛盾结果的原因，在于开始所作的假定不正确，于是原证不等利例2、求证：2不是有理数解析：直接证明一个数是无理数比较困难，我们采用反证法．假设2不是无理数，那么它就是有理数．我们知道，任一有理数都可以写成形如mn（,mn互质，*,mZnN”的形式．下面我们看看能否由此推出矛盾．证明：假设2不是无理数，那么它就是有理数．于是，存在互质的正整数,mn，使得2mn，从而有2mn,因此，222mn，所以m为偶数．于是可设2mk(k是正整数），从而有2242kn，即222nk所以n也为偶数．这与m,n互质矛盾！由上述矛盾可知假设错误，从而2是无理数．点评：反证法是一种间接证法，它是先提出一个与命题的结论相反的假设，然后，从这个假设出发，经过正确的推理，导致矛盾，从而否定相反的假设，达到肯定原命题正确的一种方法。能力。四、归纳1.通过思考题和例题，我们发现反证法适用于什么样的题目？（1）要证的结论与条件之间的联系不明显，直接由条件推出结论的线索不够清晰；（2）如果从正面证明，需要分成多种情形进行分类讨论，而从反面进行证明，只要研究一种或很少的几种情形。2.归纳一下反证法的证题一般步骤：（1）否定命题的结论；（2）进行合逻辑的推理；（3）导出任何一种矛盾；（4）肯定原命题的结论。五、练习巩固1.P91.练习1.22.补充：用反证法证明（1）如果012,212xxx那么.（2）求证：过直线外一点，有且只有一条直线和这条直线平行。通过讲评可以及时发现学生解题中存在的问题，予以更正。六、知识小结反证法的证题步骤：（1）否定命题的结论；（2）进行合逻辑的推理；（3）导出任何一种矛盾；（4）肯定原命题的结论。反证法的适宜题型：（1）对于起始命题、基本命题、特殊命题，由于可以用到的定理、公式甚少或不易找出直接证明的关系，用反证法有时会骤得较好的效果；（2）命题的结论中含“不”、无”等（称为否定形式命题），往往可以考虑反证法；（3）命题用反面结论较易推出矛盾，适宜使用反证法；（4）命题结论中含“至多”、“至少”、“超过”、“不超过”等词，往往可以考虑反证法；（5）惟一性的命题，直接证不如反证法更易于入手。通过小结总结所学，突出重点，强调难点七、课后作业P102习题2.2A组1八、设计反思反证法学生并不陌生，在初中就已有所接触。通过本节课的学习进一步明确其步骤，寻找矛盾点，哪些题型是适用于反证法证的。感觉学生应该容易接受。【练习与测试】：1．用反证法证明命题：若整系数一元二次方程20(0)axbxca有有理根,则a、b、c中至少有一个是偶数时，下列假设中正确的是（）A.假设a、b、c都是偶数B.假设a、b、c都不是偶数C.假设a、b、c至多有两个是偶数D.假设a、b、c至多有两个是偶数答案：B解：反证法的假设，恰好与结论相反，“至少有一个”的否定是“一个也没有”。选B。2．用反证法证明命题“若整数n的立方是偶数，则n也是偶数”如下：假设n是奇数，则n=2k+1(k∈Z)，33(21)nk_____________________________________，这与已知3n是偶数矛盾，所以n是偶数。答案：322(463)1kkk解：和的立方公式展开333232(21)812612(463)1nkkkkkkk答案为322(463)1kkk。3．已知平面和不在这个平面内的直线a都垂直于平面，求证：直线a∥平面。证明：假设a不平行，则a与必有公共点，设为点A，过点A在平面内作直线c⊥b，由⊥知，c⊥，而a⊥，则a∥c。这与a、c相交于点A相矛盾，因此，假设错误，即a∥。4.已知函数2()(1)1xxfxaax。（1）证明：函数()fx在(-1,+)上为增函数；（2）用反证法证明方程f(x)=0没有负根。证明：（1）令2133()1111xxgxxxx23'()(1)gxx当x≠-1时'()0gx∴在(1,)上g(x)为增函数。∵a1时，xa在(,)上为增函数，∴()fx在(-1,+)上为增函数。（2）设存在00x0(x-1)，满足0()0fx，则021x00xx0xa=-,且0a1所以00221xx0x10-1,即2，与假设矛盾，故方程f(x)=0没有负根。5．设222,,,2,2abcRabcabc且满足。证明：a,b,c都是不大于43的非负数。证明：假设结论不正确，可设403cc或（1）若c0，由222212()2abcabcabc故即22222222()2()abcabbcacabccab又得∵c0，由上式可得(a+b)0，从而a+b+c0与题设a+b+c=2矛盾。（2）若43c。又由222()2()2(2)42abccabcccc∴22()430abcc。这是不可能的，因此43c也是不可能的。综合两种情况知必有403c。同理可证40,3ab6.求证：抛物线1212xy上不存在关于直线y+x=0对称的两点。证明：假设抛物线上存在关于直线y+x=0对称的两点A(a,b)和B(-b,-a)，（ba，且a,b∈R），则1)(2112122baab，两式相减得))((21babaab,由于ba，则bababa2,1)(21,0即所以，代入1212ab得04242,02222因bb，故方程无实根，这与b为实数相矛盾，故抛物线1212xy上不存在关于直线y+x=0对称的两点。cbaaa