共查询到20条相似文献,搜索用时 187 毫秒
1.
潘有祥 《宁波大学学报(教育科学版)》1998,(3)
反证法作为悻论的一种形式,在数学、物理学的发展过程中起过较大的作用,把反证思想借鉴到物理教学上来是一种行之有效的教学方法。一、什么叫反证法反证法是证明命题的逆否命题是否成立,即当命题由题没结论不易着手时,而改证它的逆否命题,否定的结论否定的题设成立.实际上是用本科公理、前此定理、本题题设、否定结论结果为某公理、某定理题设或临时假设所不相容或自相矛盾.这就是说结论一经否定便会出错,而这种错误,既然不是由于推理有问题,也就是不能不归咎于否定结论的假定,因此否定结论不成立.那结论就一定成立了.这种证明… 相似文献
2.
在初中教材里,对于一个几何命题,当用直接证法比较困难时,可以采用间接证法,它是证明原命题的逆否命题成立从而推出原命题成立的证法,当我们由已知命题的条件去求证结论不易着手时,而改证它的逆否命题,反证法证题的思路实际是: 公理或定义 或与公理、定义抵触 证明的定理 或与证明的定理不容 题设条件 或与题设条件冲突 否定结论 或与假设相违背,或自相矛盾 因此结论不能否定,所以结论一定成立。 反证法证题的一般过程可概括为: 否定结论ABC(而C不合理)结论成立。 然而,命题结论的相反情况可有一种或多种,据此反证法可分为归谬法和穷举法。下面,就初中课本几何二册七章六节“圆内接四边形”的习题举例说明如下: 相似文献
3.
反证法作为悖论的一种形式,在数学、物理学的发展过程中起过较大的作用,把反证思想借鉴到物理教学上来是一种行之有效的教学方法。反证法是证明命题的逆否命题是否成立,即当命题由题设结论不易着手时,而改证它的逆否命题,就是说如果结论一经否定便会出错,而这种错误不是由于推导有问题,那就不能不归咎于否定结论的假定,因此否定结论不成立,那么结论就一定成立了。这种证明方法叫做反证法,是间接证明的一种。用反证法证明的一般过程是:否定结论ABC;而C不合理,即与本科公理抵触,与前此定理不相容,与本题题设相冲突,与临时… 相似文献
4.
高级中学《立体几何全一册 (必修 )教学参考书》第一章的附录中有这样一段论述 :“反证法实质上是证明命题的逆否命题成立 .即当命题由题设 结论不易着手时 ,而改证它的逆否命题 .否定的结论 否定的题设成立就行 .”该书为了说明“反证法”与“同一法”的区别 ,还进一步强调 :“前者 (指反证法 )证的是原命题的逆否命题 .”笔者以为 ,此两处论述颇为不妥 ,值得商榷 .鉴于该书在广大中学数学教师中的影响 ,有必要就此问题加以澄清 .首先 ,必须弄清“反证法”与“逆否证法”的实质各是什么 ?我们知道 ,一般设欲证命题为α(α可以是一个简单… 相似文献
5.
宁锁燕 《数理化学习(初中版)》2000,(3):2-3
平面几何中有些命题的成立显而易见,但要从正面入手却很难甚至不能得证.正难则反,不妨试用反证法.用反证法首先要假设待证结论不成立,即承认结论的反面成立.然后以此为条件,结合题设条件进行逻辑推理,导出与已知条件或定义、公理、定理相矛盾的结论.即否定结论的假设是错误的,进而命题得证.以下用反证法证明的几例平面几何题. 相似文献
6.
7.
反证法是属于"间接证明法"一类,是从反面的角度思考问题的证明方法,即:肯定题设而否定结论,从而导出矛盾推理而得.法国数学家阿达玛(Hadamard)对反证法的实质作过概括:"若肯定定理的假设而否定其结论,就会导致矛盾".具体地讲,反证法就是从否定命题的结论入手,并把对命题结论的否定作为推理的已知条件,进行正确的逻辑推理,使之得到与已知条件、已知公理、定理、法则或者已经证明为正确的命题等相矛盾,矛盾的原因是假设结论不成立,所以肯定了命题的结论,从而使命题获得了证明. 相似文献
8.
反证法是一种重要的间接证明方法,它是通过证命题结论的反面是假的,从而肯定结论是真实的。其具体过程是:首先否定结论,即假定结论的反面为真;由结论的反面经过正确的逻辑推理,得到一个与临时假定,或与原题设,或与某公理、某定义、某定理等相矛盾的结果,从而断定结论的反面不真;最后,根据排中律肯定命题正确。我们讨论,究竟什么样的命题适宜于用反证法呢?下面我们归纳十二种类型的问题,分别来研究。 相似文献
9.
王彦青 《中学生数理化(高中版)》2006,(12):23-23,37
反证法是从反面的角度思考问题的证明方法,即肯定题设而否定结论,从而导出矛盾.具体地讲,反证法就是从否定命题的结论入手,把对命题结论的否定作为推理的已知条件,进行正确的逻辑推理,使之与已知条件、公理、定理、法则或者已经被证明的正确命题等相矛盾,从而推翻假设.本文略举几例,以此说明反证法的解题功能. 相似文献
10.
11.
12.
13.
14.
15.
许晓虹 《数学学习与研究(教研版)》2013,(5):116
能够判断真假的语句叫命题,我们把命题的否定形式称为非命题.一个命题的条件和结论分别是另一个命题的结论的否定和条件的否定,这样两个命题叫做互为逆否命题.反证法即是证明命题的逆否命题,本文将从非命题的角度阐述反证法推出矛盾中的逻辑方法. 相似文献
16.
反证法是一种重要的数学方法,在中学数学教学过程中有着广泛的应用.作为一个中学生,特别是高中生,应当掌握好反证法的使用.反证法是从否定命题的结论出发,经过推理,得出和已知条件或和其他命题相矛盾的结论,或在推理过程中得出自相矛盾的结论.从而达到命题结论正确的数学方法.使用反证法的步骤可归纳为:1.假设命题的结论不成立,即命题结论的否定方面成立(每个否定方面均应考虑到);2.将命题的否定方面作为条件加以推理,得出和已知条件、公理、定义和定理等真命题相矛盾或自相矛盾的结论;3.确认命题的所有否定方面不能成… 相似文献
17.
18.
邓自生 《湖南师范大学教育科学学报》2000,(Z3)
反证法是从假设命题结论的反面成立出发,经过正确的推理,导致矛盾,推翻原先的假设,从而证得命题结论成立的一种方法。它的基本思想是“否定-推理-矛盾-肯定”。 否定-即通过假设原命题结论的反面成立,来否定原命题的结论。 推理-从原命题的条件和假设出发,进行正确的推理。 矛盾-推理的结果导致与已知条件、定义、公理、定理或明显事实相矛盾,也可以是自相矛盾。 肯定-矛盾产生的根源是由假设所引起,因此假设是虚假的,从而肯定原命题结论正确。 反证法的关键是能否正确提出命题结论的否定命题。对于初学反证法的同学,有必… 相似文献
19.