【】浅谈反.docVIP

浅谈反证法 浙江 曾安雄 反证法是一种基本的间接证明方法，在《简易逻辑》中对于判断命题的真假，我们都已经渗透了反证思想（举反例），在对简易逻辑复习之际，我们加以系统归纳，供参考． 一、反证法的基本内容 1．定义 从命题结论的反面出发，引出矛盾，从而证明命题成立，这样的证明方法叫反证法． 2．基本思路 反证法是为了证明命题“如果p，则q”成立，假设结论的反面（即?劭q）成立，经过推理得出矛盾，从而判定假设（即?劭q）不成立，于是肯定命题的结论（q）成立． 3．步骤 ①假设命题结论不成立，即假设结论的反面成立；（反设） ②从这个假设出发，经过推理论证，得出矛盾；（归谬） ③由矛盾判断假设不成立，从而肯定命题的结论成立．（结论） 4．推出矛盾情形 ①可以与已知条件矛盾； ②也可以与公理、定理、定义及性质矛盾； ③与反设矛盾； ④推出自相矛盾的结论． 5．注意事项 注意一：“否定结论”是反证法的第一步，它的正确与否直接影响能否正确使用反证法．否定结论的步骤是：（1）弄清结论本身的情况；（2）找出结论的全部相反情况；（3）正确地否定上述结论． 注意二：反证法中引出矛盾的结论，不是推理本身的错误，而是开始假定“结论的反面是正确的”是错误的． 注意三：在反证法证题的过程中，经常画出某些不正确的图形，甚至是不可能存在的图形，这样做的目的是为了能清楚地说明问题．在证明过程中，每一步推理所得结论的正确性，完全由它所依据的理由来保证，而不能借助图形的直观，这与用直接证法通过图形的直观，有利于找到证题的途径是不完全一样的． 注意四：用反证法证明命题时，若原命题问题的反面不惟一，这时要把每种可能情况一一否定，不要遗漏． 二、何时运用反证法 反证法不是直接证明命题结论正确，而是证明结论反面不正确，来说明结论的正确性．因而如果“结论的反面”比结论本身更具体、更明确、更简单，则适宜用反证法．主要有以下几种类型： 1．正面繁琐或困难时宜用反证法 例1　已知，求证：． 分析：此题直接从证明很困难，于是可考虑试用反证法． 证明：假设，则，从而， 即． 于是． 又，． 此结论与已知矛盾，因此不成立，即． 2．唯一性命题可考虑用反证法 例2　不重合的两条直线相交，只有一个交点． 已知：如图，直线相交于一点P．求证：直线只有一个交点P． 证明：假设直线不只交于一点P，设有另一个交点Q，即直线a过Q，P，直线b也过Q，P，那么，经过两个点有两条直线，这与直线性质经过两点有一条直线,并且只有“一条直线”相矛盾．所以，假设直线交于另一点Q是不成立的，即直线只有一个交点． 3．当命题的结论涉及“至少”“至多”“无限”时可考虑用反证法 例3 证明三角形中至少有一个角不大于60°． 证明：假定三角形的三个内角都大于60°,则三角形的三个内角和必大于180°，这与三角形内角和定理“三角形三内角和等于180°”相矛盾．故三角形中至少有一个角不大于． 4．当问题的结论是以否定形式出现的否定性命题可考虑用反证法 例4 不论x，y取任何非零实数，等式总不成立． 证明：设存在非零实数，使得等式成立， 由有， ，即， 但是，即，从而得出矛盾．故原命题成立．