关于广义Mersenne数的素因数

设p是奇素数, a 是大于1的正整数,又设 X ( a, p ) = ( a^p- 1) / ( a- 1) , Y( a, p ) = ( a^p+ 1) / ( a+ 1) ,当 q= 2p+1 是素数时,如果( a/ q )= 1且 qa- 1,则 q 必为X( a, p )的素因数; 如果( a/ q )= - 1 且 qa + 1, 则 q 必为 Y( a, p )的素因数,其中( a/ q)是 Legendre 符号.