引用:
原帖由 老猫 于 2007-11-24 07:04 发表
未经证明的事实,不能作为证明的依据啊。
如果猜想已经被证明,你的论证当然是对的。
其实现在也可以用,因为猜想已经被部分证明。哥德巴赫猜想是两部分组成的,第一部分是我们看到的常见形式:两个质数的和, ...
那就用已经被证明的结论:第二部分是足够大的奇数一定可以表示成三个质数的和,早就被证出来了。
设有最大的质数m,肯定有一个奇数n=10m+1=m1+m2+m3,m1,m2,m3都是质数,因此m1,m2,m3中必有一数大于最大质数m,与假设矛盾。所以没有最大的质数。
呵呵,还是用了牛刀,不过这样证明应该对了
.