梅森素数
本章我们研究形如 a n − 1 ( n ≥ 2 ) a^n-1(n\ge2) an−1(n≥2)的素数。例如,31就是这样的素数,因为31=2^5-1。第一步观察某些数据
2 2 − 1 = 3 2^2-1=3 22−1=3 | 2 3 − 1 = 7 2^3-1=7 23−1=7 | 2 4 − 1 = 3 ∗ 5 2^4-1=3*5 24−1=3∗5 | 2 5 − 1 = 31 2^5-1=31 25−1=31 |
---|---|---|---|
3 2 − 1 = 2 3 3^2-1=2^3 32−1=23 | 3 3 − 1 = 2 ∗ 13 3^3-1=2*13 33−1=2∗13 | 3 4 − 1 = 2 4 ∗ 5 3^4-1=2^4*5 34−1=24∗5 | 3 5 − 1 = 2 ∗ 1 1 2 3^5-1=2*11^2 35−1=2∗112 |
4 ∗ 2 − 1 = 3 ∗ 5 4*2-1=3*5 4∗2−1=3∗5 | 4 3 − 1 = 3 2 ∗ 7 4^3-1=3^2*7 43−1=32∗7 | 4 4 − 1 = 3 ∗ 5 ∗ 17 4^4-1=3*5*17 44−1=3∗5∗17 | 4 5 − 1 = 3 ∗ 11 ∗ 31 4^5-1=3*11*31 45−1=3∗11∗31 |
5 2 − 1 = 2 3 ∗ 3 5^2-1=2^3*3 52−1=23∗3 | 5 3 − 1 = 2 2 ∗ 31 5^3-1=2^2*31 53−1=22∗31 | 5 4 − 1 = 2 4 ∗ 3 ∗ 13 5^4-1=2^4*3*13 54−1=24∗3∗13 | 5 5 − 1 = 2 2 ∗ 11 ∗ 71 5^5-1=2^2*11*71 55−1=22∗11∗71 |
容易观察到a是奇数时 a n − 1 a^n-1 an−1是偶数,从而不可能是素数。由表格可以看出 a n − 1 a^n-1 an−1总是被 a − 1 a-1 a−1整除。这的确成立。使用几何级数求和公式
可证明这是正确的。
要验证这个几何级数公式,我们展开右边的乘积。于是
= x ∗ ( x n − 1 + x n − 2 + ⋯ + x 3 + x 2 + x + 1 ) − 1 ∗ ( x n − 1 + x n − 2 + ⋯ + x 3 + x 2 + x + 1 ) =x*(x^{n-1}+x^{n-2}+\cdots+x^3+x^2+x+1)-1*(x^{n-1}+x^{n-2}+\cdots+x^3+x^2+x+1) =x∗(xn−1+xn−2+⋯+x3+x2+x+1)−1∗(xn−1+xn−2+⋯+x3+x2+x+1)
= ( x n + x n − 1 + x n − 2 + ⋯ + x 3 + x 2 + x ) − ( x n − 1 + x n − 2 + ⋯ + x 3 + x 2 + x + 1 ) =(x^n+x^{n-1}+x^{n-2}+\cdots+x^3+x^2+x)-(x^{n-1}+x^{n-2}+\cdots+x^3+x^2+x+1) =(xn+xn−1+xn−2+⋯+x3+x2+x)−(xn−1+xn−2+⋯+x3+x2+x+1)
= x n − 1 =x^n-1 =xn−1
因为中间的多余项都被消去了。
使用 x = a x=a x=a的几何级数公式立得 a n − 1 a^n-1 an−1总是被 a − 1 a-1 a−1整除。所以 a n − 1 a^n-1 an−1是合数,除非 a − 1 = 1 a-1=1 a−1=1,即除非 a = 2 a=2 a=2。
而然,即使 a = 2 a=2 a=2,数 2 n − 1 2^n-1 2n−1也常常是合数。我们再观察一些数据:
a | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
---|---|---|---|---|---|---|---|---|---|
2 n − 1 2^n-1 2n−1 | 3 3 3 | 7 7 7 | 3 ∗ 5 3*5 3∗5 | 31 31 31 | 3 2 ∗ 7 3^2*7 32∗7 | 127 127 127 | 3 ∗ 5 ∗ 17 3*5*17 3∗5∗17 | 7 ∗ 73 7*73 7∗73 | 3 ∗ 11 ∗ 31 3*11*31 3∗11∗31 |
这个短表蕴含下述事实:
当n是偶数时,
2
n
−
1
2^n-1
2n−1被
3
=
2
2
−
1
3=2^2-1
3=22−1整除。
当n被3整除时,
2
n
−
1
2^n-1
2n−1被
7
=
2
3
−
1
7=2^3-1
7=23−1整除。
当n被5整除时,
2
n
−
1
2^n-1
2n−1被
31
=
2
5
−
1
31=2^5-1
31=25−1整除。
所以我们猜测如果n被m整除,则
2
n
−
1
2^n-1
2n−1被
2
m
−
1
2^m-1
2m−1整除。
如果已做出了这种观察,则容易证明它是成立的。所以,假设n分解成
n
=
m
k
n=mk
n=mk,则
2
n
=
2
m
k
=
(
2
m
)
k
2^n=2^{mk}=(2^m)^k
2n=2mk=(2m)k。使用
x
=
2
m
x=2^m
x=2m的几何级数公式得
这就证明了如果n是合数,则
2
n
−
1
2^n-1
2n−1是合数。我们以证明下述事实。
命题
如果对整除
a
≥
2
a\ge2
a≥2与
n
≥
2
n\ge2
n≥2,
a
n
−
1
a^n-1
an−1是素数,则a必等于2且n一定是素数。
这表明如果对形如
a
n
−
1
a^n-1
an−1的素数感兴趣的话,我们就仅需考虑
a
=
2
a=2
a=2与n是素数的情形。形如
2
p
−
1
2^p-1
2p−1的素数叫做梅森素数。
当然并非每个形如
2
p
−
1
2^p-1
2p−1的数都是素数。例如
注意,梅森素数是不是无穷多个至今没能证明。