数学逻辑学论文.doc

反证法的逻辑相关知识与应用 程达平 摘 要：反证法是一种间接证明问题的方法。本文简要的叙述了反证法的定义，归纳了用反证法证明数学问题的一般步骤。从命题的结论涉及到“无限”、“至少”或“至多”、“唯一”、“否定”四个方面出发，通过例题，简要说明了运用反证法证题的方法和技巧。 关键词：反证法 应用 问题的提出 在数学解题中经常使用反证法，牛顿曾经说过：“反证法是数学家最精当的武器之一”。一般来讲，反证法常用来证明的题型有：命题的结论以“否定形式”、“至少”或“至多”、“唯一”、“无限”形式出现的命题；或者否定结论更明显。具体、简单的命题；或者直接证明难以下手的命题，改变其思维方向，从结论入手进行反面思考，问题可能解决得十分干脆。 反证法在数学中的应用 2.1反证法的相关知识 2.1.1反证法的定义：为了证明某个结论，从命题结论的反面出发，通过一系列正确的推理，引出与原命题、定理、公理等已知内容相矛盾，从而得出假设不成立，原命题得到证明，这种方法叫做反证法。具体来说，由否定结论的正确性出发，根据假设、定义、公理或定理，进行一系列正确的推理，最后得出一个矛盾的结果。这就表明结论的反面不能成立，从而肯定这个结论成立。这种驳倒反面的证法统称为反证法。 1命题： 对某件事情的判断称为命题.命题有真有假，当对某一件事情的判断正确时称为真命题，否则称为假命题.比如“如果，则”就是一个命题，这命题由两部分组成，称为条件，为结论，实际上和本身也是一个命题.我们把命题“如果，则”为真的情形，理解为“由之成立（真）可以堆出之成立（真）”，也可视为到的推推过程. 2反证法的含义： 如果把否定的原结论（即）纳入到原条件（即）中，使二者共同作为新条件，由此经正确推理得新结论.新的条件与新的结论构成的新命题为假命题时，在原条件为真的情形下，又原命题必为真命题，故原结论得证.凡用这种方法进行论证，我们称之为反证法. 注意：（1）反证法的本质就是“由证明原命题的否命题不成立来确定原命题正确的证明方法 （2）只有原命题的条件为真时，才能用反证法. 例：如果，那么 证明：此题若形式主义地使用反证法，假设，因为，所以即.这与反证法矛盾.故命题成立.事实上是不成立，容易看出原因在于题设是假的. 3反证法的理论依据 （i）反证法依据的是逻辑学中的两个基本规律：排中律和矛盾律.任何一个判断或真或假，二者必居其一，且只居其一，不可能有第三种情况，这就是排中律.对于一个命题“若，则”，根据排中律，“真”“不真”（即真）之中必有一个是对的，否定了其中一个，就肯定了另一个.那么如何知道“结论的反面不真”呢？这是由“在同一论证过程中，两个互相反对或互相否定的论断，至少必有一假”，这就是矛盾律.当假定结论不成立，这就会导致与已知的真命题（如公理、定理、定义、题设等）矛盾时，根据矛盾律，在数学的理论体系中不可能有矛盾结果，而各步的推理又正确，则假设结论不成立时错误的，即“假”被证明了. （ii）逻辑分析： 设原命题，反证法可表示为 这里表示一个恒假命题（或相对假），也就是，式是一永真式，这里可以是某公理或某定理；还可以是相对于假，即还可以是或，或 注：值得说明的是，论述其实质时有些把它等同于原命题逆否命题的应用，这便大大的缩小了这一证法的外延，因而可能造成使用反证法时的局限，即反证法的实质不是“证原命题的逆否命题成立”. 设方程x=psinx+a有实根(0p1,a是实数)，则实根唯一？ 证明：假设方程有两个实根：x1 x2 且x1 ≠ x2 ，则由题意可得 x1=psin x1+a , x2 =psina x2+a 两式相减得到： x1 - x2 = p (sin x1 -sina x2)=2pcossin ∵≤1，且≤ ， 故 ≤2p=p ∴≤p 而x1 ≠ x2 ； 即p≥1，这与已知的0p1相矛盾。 故 方程若有实根则唯一。 题2 设w是平面上一有界图形，且ｗ刚好能被半径ｒ的圆Ａ所覆盖，证明：Ａ的圆心位置是唯一的？ 证明：反设Ａ点的位置不唯一，不妨设还有一点Ｂ，即Ｂ为圆心，以ｒ为半径的圆也能覆盖ｗ，则ｗ必存在于圆Ａ与圆Ｂ的公共部分，设圆Ａ与圆Ｂ的公共弦为PQ,以为半径,以AB与PQ的交点C为圆心作圆，如图。 设AB与圆A交于M，则 r （1） 又0 （2） ∴ CMr 由（1）（2）可知，圆C能覆盖图形w且半径r1r,这与题设w刚好被半径 为r的图形所覆盖矛盾，即假设不成立。 故 圆A的圆心A的位置是唯一的。 5反证法证题的步骤： （i）结论不成立（反设） （ii）以这个假设与条件一起构成