一个错误证明的剖析

逆否命题与原命题等价的证明,一些参考书都是如下证明的.证明:先证“AB”“”(用反证法)假设不成立.则它的否定命题A 成立.因为有 AB,所以B 成立,而与 B 矛盾,因此成立.同理可证所以     

四种命题和点的轨迹

一、知识要点1．四种命题的形式及其相互关系．2．点的轨迹的定义．3．六种基本轨迹二，4．轨迹作图．二、解题指导例1命题“若A成立，则B成立”的逆否命题是（）（常州市，1994年）（A）若B成立，则A成立；（B）若A不成立，则B不成立；（C）若B成立，则A不成立；（D）若B不成立，则A不成立．解（A）是原命题的逆命题，（B）是原命题的否命题，（C）不是原命题的逆否命题，故选（D）．例2下列定理中有过定理的是（）（A）全等三角形对应用相等；（B）对顶用相等；（C）平行四边形对角相等；（D）同弧或等弧所对的圆周角相等．解每…     

浅谈反证法证题

浅谈反证法证题李玉洁反证法是重要的数学方法之一。反证法是一种间接证题的方法，其实质是通过证明原命题的逆否命题成立，而断言与之等价的原命题也成立。一、反证法的证题步骤１．反设：作出与命题结论相反的假设。２．归谬：经过合理的推演，证明得出矛盾结果。３．结...     

“反证法”与“证明逆否命题”是一回事吗?

高级中学《立体几何全一册 (必修 )教学参考书》第一章的附录中有这样一段论述 :“反证法实质上是证明命题的逆否命题成立 .即当命题由题设 结论不易着手时 ,而改证它的逆否命题 .否定的结论 否定的题设成立就行 .”该书为了说明“反证法”与“同一法”的区别 ,还进一步强调 :“前者 (指反证法 )证的是原命题的逆否命题 .”笔者以为 ,此两处论述颇为不妥 ,值得商榷 .鉴于该书在广大中学数学教师中的影响 ,有必要就此问题加以澄清 .首先 ,必须弄清“反证法”与“逆否证法”的实质各是什么 ?我们知道 ,一般设欲证命题为α(α可以是一个简单…     

反证法的流行说法的讨论意见

本刊88年第二期《反证法就是证命题的逆否命题吗?》一文(以下简称文〔1〕)对反证法的流行说法:“反证法就是证命题的等价命题--逆否命题,从而间接地证明原命题的正确”提出了异意,认为这种说法是不恰当的。要弄清这个问题,须从什么是反证法及它的理论根据等问题谈起。数学上的命题,从逻辑学的观点来说就     

对中学数学教材中关于“等价命题的证明”的几点意见

<正> 在中学几何教材第二册中,关于原命题和逆否命题的等价性,是这样来证明的: “如果原命题‘若A成立,则B就成立’正确。那么B不成立时,试想A成立不成立呢?当然A不成立。因为假定A成立,那么根据正确的原命题,B就应成立,这和这里的题设B不成立相矛盾。因此,‘若B不成立,则A就不成立’这就证明了原命题正确,那么它的逆否命题一定正确。”     

反证法一例

反证法一例许智应用反证法证明数学命题时一般分下面几个步骤：第一步：分清命题“若Ａ则Ｂ”的条件与结论。第二步：作出与命题结论Ｂ相矛盾的假定Ｂ。第三步：由Ａ和Ｂ出发，应用正确的推理方法，推出矛盾结果。第四步：断定产生矛盾结果的原因，在于开始所作的假定Ｂ不...     

浅谈反证法在物理教学中的实施策略

反证法作为悖论的一种形式，在数学、物理学的发展过程中起过较大的作用，把反证思想借鉴到物理教学上来是一种行之有效的教学方法。反证法是证明命题的逆否命题是否成立，即当命题由题设结论不易着手时，而改证它的逆否命题，就是说如果结论一经否定便会出错，而这种错误不是由于推导有问题，那就不能不归咎于否定结论的假定，因此否定结论不成立，那么结论就一定成立了。这种证明方法叫做反证法，是间接证明的一种。用反证法证明的一般过程是：否定结论ABC；而C不合理，即与本科公理抵触，与前此定理不相容，与本题题设相冲突，与临时…     

关于用反证法证题的探讨

在初中教材里,对于一个几何命题,当用直接证法比较困难时,可以采用间接证法,它是证明原命题的逆否命题成立从而推出原命题成立的证法,当我们由已知命题的条件去求证结论不易着手时,而改证它的逆否命题,反证法证题的思路实际是: 公理或定义 或与公理、定义抵触 证明的定理 或与证明的定理不容 题设条件 或与题设条件冲突 否定结论 或与假设相违背,或自相矛盾 因此结论不能否定,所以结论一定成立。 反证法证题的一般过程可概括为: 否定结论ABC(而C不合理)结论成立。 然而,命题结论的相反情况可有一种或多种,据此反证法可分为归谬法和穷举法。下面,就初中课本几何二册七章六节“圆内接四边形”的习题举例说明如下:     

反证法在物理教学中的实施策略

反证法作为悻论的一种形式,在数学、物理学的发展过程中起过较大的作用,把反证思想借鉴到物理教学上来是一种行之有效的教学方法。一、什么叫反证法反证法是证明命题的逆否命题是否成立,即当命题由题没结论不易着手时,而改证它的逆否命题,否定的结论否定的题设成立．实际上是用本科公理、前此定理、本题题设、否定结论结果为某公理、某定理题设或临时假设所不相容或自相矛盾．这就是说结论一经否定便会出错,而这种错误,既然不是由于推理有问题,也就是不能不归咎于否定结论的假定,因此否定结论不成立．那结论就一定成立了．这种证明…     

从非命题到反证法

能够判断真假的语句叫命题,我们把命题的否定形式称为非命题.一个命题的条件和结论分别是另一个命题的结论的否定和条件的否定,这样两个命题叫做互为逆否命题.反证法即是证明命题的逆否命题,本文将从非命题的角度阐述反证法推出矛盾中的逻辑方法.     

数学命题的四种形式

数学命题的四种形式孙援朝命题一般表现为“如果……则……”的假言形式。简单地说，就是“若Ａ则Ｂ”，其中的Ａ称为条件，Ｂ称为结论。数学中的命题形式可以更简略灵活，如“对顶角相等”、“三角形三条中线交于一点”等等，都不表现为“若Ａ则Ｂ”的形式，对这样的命题...     

反证法一题多证例谈

用直接证法很难证明一个结论是B的命题，改证它的逆否命题成立，即假定B不成立，则B的反面成立。然后从B的反面成立的假定出发，利用公理、定理、定义等作出一系列正确严密的逻辑推理，最后推出与题设(或已有的定义、定理等)相矛盾的结果，究其原因是假设错误所致，因此B必成立。这种证明方法称为反证法。     

偏逆否命题与形式偏逆否命题

讨论下面两个命题。命题1 在圆内,不平分弦而垂直于弦的直线不过圆心且不平分这弦所对的弧。命题2 在圆内,不平分弦而过圆心的直线不垂直于这弦且不平分这弦所对的弧。它们都是真命题且相互联系,但能否以证明命题2代替证明命题1呢?证明命题2是否是用反证法对命题1的证明?命题2是否是命题1的逆否命题?这些都是中学生不大重视且易混淆的问题。中学教材中只注重讨论形如“若A则B”的假言命题与其逆否命题“若B则A”之间的关系,而对原命题与逆否命题等效性没有展开讨论。本文拟就这些问题作些探讨。     

平行四边形的一个判定定理

命题“一组对边相等及一组对角相等的四边形必为平行四边形”是否成立，若成立，则证明之；若不成立，则作出反例．     

由新教科书谈如何寻求反证法中的矛盾

全日制普通高级中学教科书(必修)《教学》第一册(上)(以下简称教科书)第32页在逆否命题与原命题等价后，又安排了用初中已学习过的反证法证代数命题和几何命题．从中不难看出，反证法当用否定原命题的结论作已知推出与原命题的已知矛盾时，实质上是证明了原命题的逆否命题．仔细分析还     

“正难则反”好思路 峰回路转现通途

反证法是当直接证明某些结论感到"有理说不清"的时候,所采用的一种间接证明的方法,它的理论依据是原命题与其逆否命题的等价性,其核心内容是"以子之矛攻子之盾".用反证法证题的基本步     

“否命题”与“命题的否定”辨析

如何正确地表达一个“命题的否定”及“否命题”是“简易逻辑”中的难点之一．有些同学在写原命题的否命题时,仅写了对结论的否定；还有一些同学用反证法证明问题时,却假设条件和结论都不成立．说明他们混淆了“否命题”与“命题的否定”这两个概念．事实上“否命题”与“命题的否定”是两个根本不同的概念,如果原命题是“若p则q”,那么这个命题的否命题是“若非p,则非q”,而这个命题的否定是“若p则非q”．可见,否命题既否定条件又否定结论,而命题的否定只否定结论．     

反证法在立体几何中的应用

何为反证法?反证法是证明命题的逆否命题成立,即当命题由题设?结论不易着手时,而改证它的逆否命题,也就是否定的结论?否定的题设成立就行,实际上是用本科公理,前此定理,本题题设,否定结论,推出结果为某公理、某定理,题设或临时假设所不相容或自相矛盾.这就是说,结论一经否     

中学数学中反证法的应用

中学数学中反证法的应用曾建玲反证法是数学中常用的间接证明问题的方法之一。当命题由已知求证不易着手时，而改证它的逆否命题的证明方法叫反证法。通常反证法是从待证命题的结论的反面入手进行正确推理，推出矛盾，从而得出原结论的反面不真，由此肯定原结论为真。反证...