给欧氏证明提一个建议

费尔马1

关于素数无限多的证明，最早就是欧几里得老前辈的了，他的证明大家都知道，而且成为经典。
学生我经过探讨，得到一个看法，欧几里得的证明不是反证法，他的本意是对的，就是在措词上不准确，只需要修改一处就行了，把假设素数有限个，把“有限”去掉，改为，假设p是当前发现的最大的一个素数。
我的这个看法，按说是无可争议，但是，还请老师们分析审核一下，谢谢老师！

费尔马1

证明素数无限多，其实不用反证法是完全可以的，采用集合两分法就行了。但是，证明孪生素数猜想必须采用反证法。打个比方，一般证明方法(综合法)是原子弹，那么，反证法就是氢弹，我们知道，氢弹的威力是原子弹的百多倍。所以，大家可以仔细地探讨探讨反证法。还有，如果反证法再加上集合两分法，其威力又超过了氢弹。说实在的，运用反证法可以轻松证明孪猜及哥猜。其中的奥妙还望老师们慢慢的斟酌！