例谈反证法在数学证明中应用.doc

例谈反证法在数学证明中的应用 【摘要】反证法是解决数学问题时常用的数学方法之一，它在数学解题中广泛使用，特别是有些问题，用反证法更简捷明了。文章阐明反证法的定义、逻辑依据、证明的一般步骤，重点论述了反证法在中学数学证明中的应用。 【关键词】反证法 证明 假设 矛盾 结论 有个很著名的“道旁苦李”的故事：从前有个名叫王戎的小孩，一天，他和小朋友发现路边的一棵树上结满了李子，小朋友一哄而上，去摘，尝了之后才知是苦的，独有王戎没动，王戎说：“假如李子不苦的话，早被路人摘光了，而这树上却结满了李子，所以李子一定是苦的。”这个故事中王戎用了一种特殊的方法，从反面论述了李子为什么不甜，不好吃。这种间接的证法就是我们下面所要讨论的反证法。 一、对“反证法”的概述 （一）反证法的概念及其逻辑依据 1.反证法的概念 假设命题判断的反面成立，在已知条件和“否定命题判断”这个新条件下，通过逻辑推理，得出与公理﹑定理、题设、临时假定相矛盾的结论或自相矛盾，从而断定命题判断的反面不成立，即证明了命题的结论一定是正确的，当命题由已知不易直接证明时,改证它的逆命题的证明方法叫反证法。 2.反证法的逻辑依据 反证法所依据的是逻辑思维规律中的“矛盾律”和“排中律”。 矛盾律： 在同一论证过程中， 对同一对象的两个互相矛盾（对立）的判断， 其中至少有一个是伪的。 排中律： 在同一论证过程中， 对同一对象的两个互相矛盾的判断， 不能为伪， 其中必有一个是真的。 （二）反证法的证明步骤 设待证的命题为“若A则B”，其中A是题设，B是结论，A、B本身也都是数学判断，那么用反证法证明命题一般有三个步骤： 1. 反设：假设所要证明的结论不成立，而设结论的反面成立； 2. 归谬：由“反设”出发，以通过正确的推理，导出矛盾——与已知条件﹑已知的公理定理﹑定义﹑反设及明显的事实矛盾或自相矛盾； 3. 结论：因为推理正确，产生矛盾的原因在于“反设”的谬误，既然结论的反面不成立，从而肯定了结论成立。 二、反证法在数学证明中的应用 反证法在数学证明中的应用非常广泛，反证法虽然是在平面几何教材中出现的，但对数学的其它各部分内容，如代数、三角、立体几何、解析几何中都可应用。那么，究竟什么样的命题可以用反证法来证呢？当然没有绝对的标准，但证题的实践告诉我们：下面几种命题一般用反证法来证比较方便。 1.否定性命题 结论以“没有……”“不是……”“不能……”等形式出现的命题，直接证法一般不易入手，而用反证法就容易多了。 例1　求证:当 n为自然数时 ,2(2 n + 1) 形式的数不能表示为两个整数的平方差。 证明：假设有整数 a , b ,使， 即 (a + b)(a - b)=2(2n + 1) ① 当 a ,b 同奇、 同偶时 , a + b、 a - b 皆为偶数 , (a + b)(a - b) 应是4的倍数 ,但2(2n+ 1) 除以4余2 ,矛盾。 ② 当a，b一奇一偶时 ,a + b、a - b皆为奇数 , (a + b)(a - b) 应是奇数 ,但2(2n + 1)为偶数 ，矛盾。 所以假设错误 ,即2(2n + 1) 形式的数不能表示为两个整数的平方差。 2.限定性命命题 结论中含有“至多”、“至少”、“不多于”或“最多”等词语的命题。 例2 在半径为的圆中，有半径等于1的九个圆，证明：至少有两个小圆的公共部分的面积不小于。 证明： 假设每个小圆的公共部分的面积都小于，而九个小圆共有个公共部分，九个小圆的公共部分面积要小于，又大圆面积为，则九个小圆应占面积要大于，这是不可能的，故至少有两个小圆的公共部分面积不少于。 例3 试证： 由三个小于1的实数a，b，c构成的三个乘积（1-a）b，（1-b）c，（1-c）a至少有一个不大于。 证明：a，b，c中如果有一个小于或等于零， 则命题成立。 假设0﹤a，b，c﹤1且（1-a）b﹥，（1-b）c﹥，（1-c）a﹥，由第一式有（1-a）ab﹥，∵1-a与a都是正数，b也是正数。 ∴ ﹤（1-a）ab≤ []b=，因此a﹤b。 同理由第二、 第三式可得b﹤c，c﹤a，即a﹤b﹤c﹤a矛盾。 故三个乘积（1-a）b，（1-b）c，（1-c）a至少有一个不大于。 3.无穷性命题 结论是无穷的，结论涉及的对象无法一一列出，而它的反面是有限的、肯定的命题。 例4 求证：质数的个数是无穷的。 证明：假设质数的个数有限，不妨设为k个，则可以将全体质数列举如下：p，p，……p。令q= p·p·……·p，其中q是自然数，又令P是q的大于1的质因数；因为p，p，……，p是全体质数，所以，一定有某个P =P，(1≤i ≤k)。显然p·p·……·p是P的倍数，所以P=1，这与P是大于1的质因数相矛盾 ，所以，质数的个数