程氏大定理

zengyong

""假设素数有限个，素数p最大，
则2*3*5*7*……*p±1就是一对孪生素数；""

你没有证明“2*3*5*7*……*p±1是一对素数”！！！

费尔马1

zengyong老师您好，感谢关注！
我举个例子，假设7是最大素数，那么2*3*5*7+1=211，因为7最大，所以211不是任何已有素数的倍数，∴211是素数；
同理，假设11是最大素数，那么2*3*5*7*11+1=2311，因为11最大，所以2311不是任何已有素数的倍数，∴2311是素数；
假设13是最大素数，那么2*3*5*7*11*13+1=30031，因为13最大，所以30031不是任何已有素数的倍数；∴30031是素数，注意，实际上30031是合数，30031=59*509，在这里为什么30031是素数呢？在平常人看来，这不是睁着眼说瞎话吗？其实，不然！您看看，已经假设了13是最大的素数，所以，59、509就不能是素数了，59、509就看做没有，这样，30031不是以前所有素数的倍数，那么，它只能是一个新素数，你说它是合数，它又没有分解因子，这是逼出来的，它只能是素数，这样就与假设13最大素数矛盾，∴13不是最大素数。这就是反证法的威力啊！

费尔马1

您看看，假设13是最大素数，那么，30031是素数。
再说了，假设13是最大素数，那么，30031是合数，本来不假设13是最大素数，30031就是合数，假设了13是最大素数，30031还是合数，您看看假设与不假设就有了一样的结果了，这是不可能的。哈哈

费尔马1

目前，学生我证明素数无限多，可以采用反证法，也可以不采用反证法。但是在证明孪生素数、n生素数无限多的时候必须采用反证法。
望大家千万不要把反证法当成素数的公式了！
在a*b*c*d*e±k可得新素数时，+、－号具有相同的效果，都是按照整除的原则得到的结论。

zengyong

""假设素数有限个，素数p最大，
则2*3*5*7*……*p±1就是一对孪生素数；""

你没有证明“2*3*5*7*……*p±1是一对素数”！！！

这是和你没有经过证明就把“2*3*5*7*……*p±1当做素数公式的理论一样的错误！

假如p是某区间最大的素数 ， 2*3*5*7*……*p±1不一定是素数。

费尔马1

zengyong老师您好，我已经给你解释的非常详细了，如果你还是不明白，请老师把这个题先放一下吧！这是反证法！根本不是素数公式。要说素数的生成过程，就看看集合两分法吧！

zengyong

好吧，各自保留自己的观点吧。

费尔马1

zengyong 发表于 2019-12-15 16:06
好吧，各自保留自己的观点吧。

这个反证法中含有整除原理，不知道老师是否看出来了？