中学数学研究-陕070558漫谈构造性方法与非构造性方法.docVIP

资料编号 FORMTEXT 13740 FORMTEXT FORMTEXT FORMTEXT 赖章荣发表在 FORMTEXT 陕070558 上属于 FORMTEXT 思维 、 FORMTEXT 思想 、 FORMTEXT 构造 题为《 FORMTEXT 漫谈构造性方法与非构造性方法》 1方法概述 在数学中，要证明某类对象的存在性一般有两种方法：一种是构造出这类对象的具体例子，这种方法叫做构造性方法；另一种是应用反证法，即假定这类对象不存在，然后通过推理得出矛盾，从而由排中律就可证明这类对象的存在性，这种方法叫做非构造性方法（或纯粹存在性证明方法）. 例如，古希腊毕达哥拉斯学派的成员发现了不可公度的量，证明了无理数的存在性；利用辗转相除法可经有限步计算后得到两个整数的最大公因数;魏尔斯特拉斯给出函数，其中a为奇整数，0b1，，证明了“处处连续但处处不可微函数”的存在性，等等，这些都是属于用构造性方法证明数学对象的存在性.中国古代数学多采用构造性方法. 非构造性方法也是古已有之，两千多年前古希腊欧几里得的名著《几何原本》中就大量使用了这种方法.近现代数学中许多著名的定理也都是用非构造性方法证明的，例如，闭区间上连续函数的最大值最小值定理，波尔查诺——魏尔斯特拉斯定理（有界无穷数列必有聚点），代数基本定理等.20世纪初，波兰数学大师史坦因豪斯