Числа Мерсенна

Числа Мерсе́нна — числа вида $M_n = 2^n - 1$, где $n$ — натуральное число. Названы в честь французского математика Марена Мерсенна.

Последовательность чисел Мерсенна начинается так:

1, 3, 7, 15, 31, 63, 127, 255, 511, 1023, … (последовательность A000225 в OEIS)

Иногда числами Мерсенна называют числа $M_p$ с простыми индексами p. Эта последовательность начинается так:

3, 7, 31, 127, 2047, 8191, 131071, 524287, 8388607, 536870911, 2147483647, … (последовательность A001348 в OEIS)

Свойства

• Если $M_n$ является простым, то число n также простое.
• Любой делитель числа $M_p$ для простого p имеет вид 2pk+1, где k — натуральное число (следствие малой теоремы Ферма).
• Каждое чётное совершенное число имеет вид $M_p(M_p+1)/2=2^{p-1}(2^p - 1)$, где число Мерсенна $M_p$ является простым (доказано Эйлером).

Простые числа Мерсенна

Числа Мерсенна получили известность в связи с эффективным критерием простоты Люка — Лемера, благодаря которому простые числа Мерсенна давно удерживают лидерство как самые больши́е известные простые числа.^[1] На данный момент самым больши́м известным простым числом является число Мерсенна $M_{43112609} = 2^{43112609} - 1$, найденное в августе 2008 года в рамках проекта распределённых вычислений GIMPS. Длина $M_{43112609}$ составляет 12978189 десятичных цифр, что позволило GIMPS в 2009 году получить премию в 100000 долларов США, назначенную сообществом Electronic Frontier Foundation за нахождение простого числа, десятичная запись которого содержит не менее 10 миллионов цифр.^[2]

Всего известно 47 простых чисел Мерсенна, причём порядковые номера с уверенностью установлены только у первых 40.^[3] Интересно отметить, что 46-е найденное простое число Мерсенна было найдено на две недели позднее 45-го найденного простого числа Мерсенна и оказалось меньше его.

Последовательность простых чисел Мерсенна и их показателей начинается так:

$M_p$: 3, 7, 31, 127, 8191, 131071, 524287, 2147483647, 2305843009213693951, 618970019642690137449562111, 162259276829213363391578010288127, 170141183460469231731687303715884105727 … (последовательность A000668 в OEIS)

p: 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917, 20996011, 24036583 … (последовательность A000043 в OEIS)

Вариации и обобщения

• Двойные числа Мерсенна определяются как $MM_n = M_{M_n} = 2^{2^n - 1} - 1$.

Открытые проблемы

• Бесконечность количества простых чисел Мерсенна и их асимптотика.
• Простота числа $M_{M_{61}} = 2^{2^{61} - 1} - 1$.

Применение

На практике простые числа Мерсенна применяются для построения генераторов псевдо-случайных чисел с большими периодами^[4], таких, как вихрь Мерсенна.

Примечания

1. ↑ The Largest Known Primes (англ.)
2. ↑ EFF Cooperative Computing Awards (англ.)
3. ↑ Mersenne Primes: History, Theorems and Lists (англ.)
4. ↑ R. P. Brent, P. Zimmermann Random number generators with period divisible by a Mersenne prime // Lecture Notes in Computer Science. — 2003. — Т. 2667. — С. 1-10.

Ссылки

• Weisstein, Eric W. Mersenne Number (англ.) на сайте Wolfram MathWorld.
• Weisstein, Eric W. Double Mersenne Numbers (англ.) на сайте Wolfram MathWorld.