Число Мерсе́нна — число вида ${\displaystyle M_{n}=2^{n}-1}$, где ${\displaystyle n}$ — натуральное число; некоторые из таких чисел являются простыми при больших значениях ${\displaystyle n}$. Названы в честь французского математика Маре́на Мерсенна, исследовавшего их свойства в XVII веке.

Первые числа Мерсенна^[1]:

1, 3, 7, 15, 31, 63, 127, 255, 511, 1023, 2047, 4095, 8191, 16 383, 32 767, 65 535, 131 071, …

Для всех ${\displaystyle M_{n}}$ справедливо следующее: если ${\displaystyle n}$ составное, ${\displaystyle n=kl,k,l>1}$, то и ${\displaystyle M_{n}}$ тоже составное, что следует из разложения:

${\displaystyle 2^{n}-1=2^{kl}-1=(2^{k}-1)(2^{k(l-1)}+2^{k(l-2)}+\dots +1),}$.

Отсюда сразу следует: число ${\displaystyle M_{n}}$ является простым, только если число ${\displaystyle n}$ также простое. Обратное утверждение в общем случае неверно, наименьшим контрпримером является ${\displaystyle M_{11}=2047=23\cdot 89}$.

Любой делитель составного числа ${\displaystyle M_{p}}$ для простого ${\displaystyle p}$ имеет вид ${\displaystyle 2\cdot p\cdot k+1}$, где ${\displaystyle k}$ — натуральное число (это является следствием малой теоремы Ферма).

Простые числа Мерсенна тесно связаны с совершенными числами. Евклид показал, что число вида ${\displaystyle {\tfrac {M_{p}(M_{p}+1)}{2}}=2^{p-1}(2^{p}-1)}$, где число Мерсенна ${\displaystyle M_{p}}$ — простое, является совершенным. Эйлер доказал, что все чётные совершенные числа исчерпываются этой формулой (что касается нечётных совершенных чисел, то до сих пор ничего не известно об их существовании).

Для всех простых чисел вида ${\displaystyle 2^{n}-1}$ показатель степени ${\displaystyle n}$ также всегда является простым числом, поэтому особо изучаются числа Мерсенна ${\displaystyle M_{p}=2^{p}-1}$ с простым показателем ${\displaystyle p}$^[2] (в некоторых работах только такие числа считаются числами Мерсенна). Последовательность простых чисел Мерсенна начинается так^[3]:

3, 7, 31, 127, 8191, 131 071, 524 287, 2 147 483 647, 2 305 843 009 213 693 951, 618 970 019 642 690 137 449 562 111, 162 259 276 829 213 363 391 578 010 288 127, 170 141 183 460 469 231 731 687 303 715 884 105 727…

Показатели ${\displaystyle p}$ известных простых чисел Мерсенна образуют последовательность^[4][5]:

2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11 213, 19 937, 21 701, 23 209, 44 497, 86 243, 110 503, 132 049, 216 091, 756 839, 859 433, 1 257 787, 1 398 269, 2 976 221, 3 021 377, 6 972 593, 13 466 917, 20 996 011, 24 036 583, 25 964 951, 30 402 457, 32 582 657, 37 156 667, 42 643 801, 43 112 609, 57 885 161, 74 207 281, 77 232 917, 82 589 933, 136 279 841…

Числа Мерсенна получили известность в связи с эффективным алгоритмом проверки на простоту чисел Мерсенна — тестом Люка — Лемера, благодаря которому простые числа Мерсенна давно удерживают лидерство как самые больши́е известные простые числа^[6]. Также простые числа Мерсенна применяются для построения генераторов псевдослучайных чисел с большими периодами^[7], таких как вихрь Мерсенна^[8].

Самым больши́м известным простым числом (на 2024 год) является число Мерсенна ${\displaystyle 2^{136279841}-1}$, найденное 12 октября 2024 года Люком Дюрантом в рамках проекта добровольных вычислений GIMPS. Десятичная запись числа содержит 41 024 320 цифр^[9][10].

Всего на 2024 год известно 52 простых числа Мерсенна, при этом порядковые номера достоверно установлены только у первых 48^[11] чисел. В частности, неизвестно, существуют ли другие простые числа Мерсенна, меньшие известного рекордного. При этом 45-е простое число Мерсенна ${\displaystyle M_{37156667}}$ было найдено на две недели позднее 47-го известного простого числа Мерсенна ${\displaystyle M_{43112609}}$, а 46-е известное простое число Мерсенна ${\displaystyle M_{42643801}}$ было найдено только через год.

За нахождение простого числа Мерсенна ${\displaystyle M_{43112609}}$ проектом GIMPS в 2009 году была получена премия в 100 тыс. долларов США, назначенная сообществом Electronic Frontier Foundation за нахождение простого числа, десятичная запись которого содержит не менее 10 миллионов цифр^[12].

Двойное число Мерсенна — число вида ${\displaystyle M_{M_{n}}=2^{2^{n}-1}-1}$. На 2024 год известны только 4 простых числа такого вида (при ${\displaystyle n=2,3,5,7}$).

Число Каталана — Мерсенна — член последовательности чисел, начинающейся с 2 и строящейся путём применения функции ${\displaystyle 2^{n}-1}$ к предыдущему члену ${\displaystyle n}$; первые элементы^[13]:

2, 3, 7, 127, 170141183460469231731687303715884105727…

Каталан предполагал, что эти числа просты «вплоть до некоторого предела».

Обобщённое число Мерсенна — число вида:

${\displaystyle h^{0}+h^{1}+h^{2}+\dots +h^{n-1}={\frac {h^{n}-1}{h-1}}=M_{h,n}}$.

Такое обобщение связано с тем, что ${\displaystyle 2^{n}-1}$ можно представить в виде суммы ${\displaystyle n}$ первых членов возрастающей геометрической прогрессии:

${\displaystyle 2^{n}-1=2^{0}+2^{1}+2^{2}+\dots +2^{n-1}={\frac {2^{n}-1}{2-1}}}$,

иными словами, числа Мерсенна являются частным случаем обобщённых чисел Мерсенна при ${\displaystyle h=2}$. При некоторых значениях ${\displaystyle h}$ и ${\displaystyle n}$ обобщённые числа Мерсенна являются простыми, например, ${\displaystyle M_{3,3}}$, ${\displaystyle M_{3,7}}$, ${\displaystyle M_{3,13}}$, ${\displaystyle M_{3,71}}$, ${\displaystyle M_{5,3}}$, ${\displaystyle M_{5,7}}$, ${\displaystyle M_{5,47}}$ и ряд других.

Неизвестно, конечно или бесконечно множество простых чисел Мерсенна и неизвестна плотность их распределения во множестве натуральных чисел.

Неизвестно, существуют ли простые числа Каталана — Мерсенна при ${\displaystyle n>4}$

Неизвестно, существуют ли простые двойные числа Мерсенна при ${\displaystyle n>7}$.

• Наибольшее известное простое число
• GIMPS

• Weisstein, Eric W. Mersenne Prime (англ.) на сайте Wolfram MathWorld.
• Weisstein, Eric W. Mersenne Number (англ.) на сайте Wolfram MathWorld.
• Weisstein, Eric W. Double Mersenne Numbers (англ.) на сайте Wolfram MathWorld.
• Андрей Коняев. Проще некуда. Найдено простое число длиной в пять романов «Война и мир» // lenta.ru. — 12 февраля 2013.
• Проект поиска простых чисел Мерсенна (GIMPS) (англ.).
• Проект поиска делителей двойных чисел Мерсенна ММ31, ММ61, ММ89, ММ107, ММ127 (англ.).

В сносках к статье найдены неработоспособные вики-ссылки. Исправьте короткие примечания, установленные через шаблон {{sfn}} или его аналоги, в соответствии с инструкцией к шаблону, или добавьте недостающие публикации в раздел источников. Список сносок: Matsumoto, Nishimura, 2017