版权归原作者所有,如有侵权,请联系我们

[科普中国]-非构造性证明

科学百科
原创
科学百科为用户提供权威科普内容,打造知识科普阵地
收藏

非构造性证明是表述存在性的命题或定理的一种证明方式。

简介非构造性证明是“表述存在性的命题或定理”的一种证明方式:

证明的过程中,不举例而只证明语句是否正确。

非构造性证明很多时候依赖于排中律。数学结构主义数学不允许非构造性证明。

例一比如要证明一个简单的命题:

超越数是存在。

证明可以如下证明:

因为全体实数是不可数,而全体代数数是可数,所以超越数作为全体代数数的补集肯定是非空。由此得证。

证明过程并没有找出任何一个超越数,但是依然证明了上述命题的正确性。

非构造性证明很多时候依赖於排中律,数学结构主义数学是不允许非构造性证明的。

例二A、B两人进行这样一个数学游戏:在黑板上轮流写下1到2000中的任意一个整数(含边界,A先写),但不能写下任何黑板上已存在的数的因子1。

问:谁有必胜策略?

证明考虑一种新的游戏:A'、B'在黑板上轮流写下2到2000中的任意一个整数(含边界,A'先写),但不能写下任何黑板上已存在的数的因子。在这个游戏中谁有必胜策略?

如果A'有必胜策略,那么A在原游戏中也采用这个策略。注意,1在以后的过程中再也不能写上了(因为它是任何数的因子)。由于在新游戏中A'有必胜策略,所以在原游戏中,A有必胜策略。

如果B'有必胜策略,那么A在原游戏中先写上1。这就相当于构建了上述新游戏,B是新游戏中的A',A是新游戏中的B'。由于在新游戏中B'有必胜策略,所以在原游戏中,A有必胜策略。

综上所述,A有必胜策略。

上述证明过程中并没有找出具体的必胜策略,但是仍然证明了A有必胜策略。

本词条内容贡献者为:

杜强 - 高级工程师 - 中国科学院工程热物理研究所

评论
科普64a2559295390
儒生级
例2的话有没有可能ab都没有必胜策略呀?
2023-07-03