发贴心情 [推荐]一道数论题(很好玩喔)
证明:2kp+1型的素数有无穷多个,其中p为素数。
发贴心情
我来给个方法看看:
假设只有有限个,为p1,p2,...,pn
那么Let Q=(2*p1p2...pn)^p-1
那么Q同p1,p2,...,pn都互素。
而且我们知道
对于a=2*p1*p2*...*pn
a^p=1 (mod Q)
而且a<>1, p是素数,所以我们知道 p|phi(Q)
也就是说,Q存在一个素因子q,使得p|q-1,
也就是q是2kp+1型的:)
发贴心情
还有一个Bug,应该让Q=(2*p*p1*...*pn)^p-1,也就是说,要让(Q,p)=1
因为p|phi(Q)说明Q存在素因子q,使得p|q-1或p^2|Q.