周忠奇, 周師潔

(1.湖北煤炭地質局,湖北 武漢 430070;2.北京新東方集團武漢學校，湖北 武漢 430070)

0 引 言

1 引 理

2 定 理

定理1: 奇數m為素數當且僅當

證: 必要條件:若m為素數，則

根據引理有

定理2: 設p≡1(mod 4),則p,p+2均為素數的充分必要條件是

證: 必要條件:若p,p+2皆為素數且p≡1(mod 4),根據定理1,有

又因p≡-2(modp+2),p2≡4(modp+2)和-5p≡10(modp+2)所以

根據定理1和p+2≡-1(mod 4)

由(1)和(2)得

必要條件成立.

因(p,8)=1,由(3)可得

根據定理1可知p為素數.再由(4)可得

因(p+2,2)=1,p+2≡-1(mod 4)所以

或

根據定理1知p+2為素數.充分條件成立.

定理3:設p≡-1(mod 4),則p,p+2均為素數的充分必要條件是

證: 必要條件:若p,p+2皆為素數，p≡-1(mod 4),根據定理1有

又因p≡-2(modp+2),p2≡4(modp+2)和5p≡-10(modp+2)所以

根據定理1和p+2≡1(mod 4)

由(5)和(6)得

必要條件成立.

因(p,8)=1,由(7)可得

根據定理1可知p為素數.再由(8)可得

因(p+2,2)=1,p+2≡1(mod 4),所以

根據定理1知p+2為素數.充分條件成立.

3 結 語

以上素數和孿生素數的判定方法，只是對素數和孿生素數的一種刻畫.由于這種判定方法都要計算所有不大于奇數m的連乘積的平方模m或模m(m+2),所以，這種判定方法在實際計算中不是高效率的.對于孿生素數，目前尚未發(fā)現有用一個式子且能在多項式時間內完成檢測的方法.