（11）梅森素数

梅森素数

本章我们研究形如$a^n-1(n\ge 2)$的素数。例如，31就是这样的素数，因为31=2^5-1。第一步观察某些数据

$2^2-1=3$	$2^3-1=7$	$2^4-1=3\ast 5$	$2^5-1=31$
$3^2-1=2^3$	$3^3-1=2\ast 13$	$3^4-1=2^4\ast 5$	$3^5-1=2\ast 11^2$
$4\ast 2-1=3\ast 5$	$4^3-1=3^2\ast 7$	$4^4-1=3\ast 5\ast 17$	$4^5-1=3\ast 11\ast 31$
$5^2-1=2^3\ast 3$	$5^3-1=2^2\ast 31$	$5^4-1=2^4\ast 3\ast 13$	$5^5-1=2^2\ast 11\ast 71$

容易观察到a是奇数时$a^n-1$是偶数，从而不可能是素数。由表格可以看出$a^n-1$总是被$a-1$整除。这的确成立。使用几何级数求和公式

$x^n-1=(x-1)(x^{n-1}+x^{n-2}+\cdots +x^2+x+1)$

可证明这是正确的。
要验证这个几何级数公式，我们展开右边的乘积。于是

$(x-1)(x^{n-1}+x^{n-2}+\cdots +x^2+x+1)$
$=x\ast (x^{n-1}+x^{n-2}+\cdots +x^3+x^2+x+1)-1\ast (x^{n-1}+x^{n-2}+\cdots +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)$
$=x^n-1$
因为中间的多余项都被消去了。
使用 $x=a$的几何级数公式立得 $a^n-1$总是被 $a-1$整除。所以 $a^n-1$是合数，除非 $a-1=1$，即除非 $a=2$。
而然，即使 $a=2$，数 $2^n-1$也常常是合数。我们再观察一些数据：

a	2	3	4	5	6	7	8	9	10
$2^n-1$	$3$	$7$	$3\ast 5$	$31$	$3^2\ast 7$	$127$	$3\ast 5\ast 17$	$7\ast 73$	$3\ast 11\ast 31$

这个短表蕴含下述事实：
当n是偶数时，$2^n-1$被$3=2^2-1$整除。
当n被3整除时，$2^n-1$被$7=2^3-1$整除。
当n被5整除时，$2^n-1$被$31=2^5-1$整除。
所以我们猜测如果n被m整除，则$2^n-1$被$2^m-1$整除。
如果已做出了这种观察，则容易证明它是成立的。所以，假设n分解成$n=mk$，则$2^n=2^{mk}=(2^m{)}^k$。使用$x=2^m$的几何级数公式得

$2^n-1=(2^m{)}^k-1=(2^m-1)((2^m{)}^{k-1}+(2^m{)}^{k-2}+\cdots +(2^m{)}^2+(2^m)+1)$

这就证明了如果n是合数，则$2^n-1$是合数。我们以证明下述事实。
命题
如果对整除$a\ge 2$与$n\ge 2$，$a^n-1$是素数，则a必等于2且n一定是素数。

这表明如果对形如$a^n-1$的素数感兴趣的话，我们就仅需考虑$a=2$与n是素数的情形。形如$2^p-1$的素数叫做梅森素数。
当然并非每个形如$2^p-1$的数都是素数。例如

$2^{11}-1=2047=23\ast 89$

注意，梅森素数是不是无穷多个至今没能证明。