2.2.3间接证明.docVIP

2.2.3间接证明 一.教学目标: 了解简洁证明的基本方法:反证法 体会反证法的素靠过程和特点 二.重难点分析: 反证法的应用 三.教学过程 1. 直接证明: 间接证明:否定结论推出矛盾肯定结论 反证法 命题的对立面 2.反证法的证明过程 否定推理否定 即从否定结论开始,经过正确的推理,导致逻辑矛盾,从而达到新的否定 肯定原命题 用反证法证明命题”若p则q”的过程: 肯定条件p,否定结论q导致逻辑矛盾”p且非q”为假”若p则q”为真 反证法的三个步骤: 反设:假设原命题的结论不成立 归谬:由反设出发,经过正确的推理,导出矛盾 存真:反设不成立,肯定元命题 注:反证法适用于证明存在性\唯一性\至多\至少等命题. 例1.求证:正弦函数没有比2小的正周期 证:假设T是正弦函数的周期,且0 T 2,则对任意实数x有: Sin x+T sinx 成立 令x 0, 得 sinT 0 即 T k, kZ 又0 T 2, 故T k,从而对任意实数x有: Sin x+ sinx 这与矛盾 所以, 正弦函数没有比2小的正周期 例2.证明:不是有理数 证:假设是有理数,则可设 ① 其中,p,q为互素的整数,q 0.将①式的两边平方,变形后得 ② ②式表明，是2 的倍数，从而q也必是2的倍数，这样又可设q 2l（l）②式后，整理得 ③ ③式表明，是2的倍数，所以p也必是2的倍数， 这样，与都是2的倍数，它们至少有公约数2，与p,q为互素的假设矛盾，因此，不是有理数 例3．若两平行直线a,b之一与平面M相交，则另一条也与平面M相交 证：不妨设直线a与平面M相交，b与a平行，今证b也与平面M相交；若不然，设b不与平面M相交，则必有以下两种情况： （1）b在平面M内 由a//b,则a//平面M,与题设矛盾 （2）b//平面M 则平面M内有直线，使b// 又a//b，故a// 故a//平面M,与题设矛盾 综上所叙述，b与平面M相交 四．作业： 课本83页练习4，5，6 已知函数 （1）证明：函数在上为增函数； （2）用反证法证明方程没有负根