2kp+1型的素数有无穷多个

发贴心情 [推荐]一道数论题（很好玩喔）

证明: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.