Простые числа Мерсенна являются простыми числами специального вида:
Мр = 2p– 1,
где р — другое простое число (в честь французского монаха Мерена Мерсенна (1588–1648), который долго и упорно занимался проблемой совершенных чисел).
Если вычислять числа для различных простых чисел р, то видно, что не все они оказываются простыми. Например,
М2 = 22 — 1 = 3 = простое,
М3 = 23 — 1 = 7 = простое,
М5 = 25 — 1 = 31 = простое,
М7 = 27 — 1 = 127 = простое,
М11 = 211 — 1 = 2047 = 23 89.
Способ нахождения больших простых чисел Мерсенна состоит в проверке всех чисел Мp для различных простых чисел р.
М127 = 170141183460469231731687303715884105727
Простые числа Мерсенна, меньшие этого числа, задаются значениями р, указанными выше, а также значениями
р = 61, р = 89, р = 107.
Эти 12 простых чисел Мерсенна были вычислены с помощью только карандаша и бумаги, а для вычисления следующих использовались механические настольные счетные машины. Результаты были неутешительными, среди них не оказалось новых простых чисел Мерсенна [2].
Далее задача была переложена на плечи ЭВМ. Создание все более высокопроизводительных ЭВМ дало возможность продолжить поиск новых простых чисел Мерсенна. Д. X. Лемер установил, что значения
р = 521, р = 607, р = 1279, р = 2203, р = 2281
дают простые числа Мерсенна. Дальнейшие поиски также увенчались успехом. Ризель (1958) показал, что р = 3217, дает простое число Мерсенна, а Гурвиц (1962) нашёл еще два таких значения:
р = 4253, р = 4423.
Огромного успеха добился Гиллельс (1964), который нашел простые числа Мерсенна, соответствующие значениям:
р = 9689, р = 9941, р = 11213.
Итак, общее количество составило 23 простых числа Мерсенна, и, так как мощности ЭВМ продолжают увеличиваться [1].
Над поиском максимально больших простых чисел в своё время бились Катальди, Декарт, Ферма, Мерсенн, Лейбниц, Эйлер и многие другие математики. Были созданы многие разделы теории чисел (малая теорема Ферма и квадратичный закон взаимности). В 20-м веке этот поиск привёл к созданию новых быстрых способов перемножения целых чисел: в 1968 году математик Фолкер Штрассен придумал, как использовать для этого быстрое преобразование Фурье. Сейчас этот метод известен как алгоритм Штрассена, его улучшенная версия используется в программном обеспечении GIMPS и повсеместно для быстрого перемножения матриц [2].
На данный момент самое большое известное простое число имеет 3376 цифр.
Список используемых источников
1. Простые числа. [Электронный ресурс] – Режим доступа: http://www.tinlib.ru/matematika/priglashenie_v_teoriyu_chisel/p4.php
2. Числа Марсенна. [Электронный ресурс] – Режим доступа: https://wiki2.org/ru/Числа_Мерсенна