Арифметика
Совершенные числа
Числа богов: от пифагорейского культа до охоты за миллионами
**Пифагорейцы** верили: числа - это язык Вселенной. Но среди всех чисел они выделили особые - **совершенные**. Число 6 равно сумме своих делителей (1+2+3). Это же число дней творения мира! 28 - лунный цикл, тоже совершенное. Случайность? Пифагорейцы не верили в случайности. Эти числа - **подпись Творца**.
Бог арифметизирует. - Карл Якоби
**GIMPS** (Great Internet Mersenne Prime Search) - проект, где обычные люди ищут совершенные числа домашними компьютерами. В 2018 году волонтёр нашёл 51-е совершенное число - у него **почти 50 миллионов цифр**. Приз в $150,000 ждёт того, кто найдёт первое число Мерсенна с более чем 100 миллионами цифр. Может, это будете вы?
6 = 1 + 2 + 3. Число равно сумме своих делителей! Пифагорейцы считали такие числа божественными. Следующее - 28 (лунный цикл). Потом 496, 8128... и они становятся всё реже. Существует ли нечётное совершенное число? Никто не знает - это открытая проблема тысячелетней давности.
- **Криптография:** простые Мерсенна в генерации ключей
- **История математики:** от Пифагора до распределённых вычислений
- **Теория чисел:** связь с функциями делителей
Определение совершенных чисел
**Совершенное число** - натуральное число, равное сумме всех своих собственных делителей (кроме самого себя). Это одно из древнейших понятий теории чисел.
**Определение:** n - совершенное, если: σ(n) - n = n или эквивалентно: σ(n) = 2n где σ(n) - сумма ВСЕХ делителей n.
Пифагорейцы считали совершенные числа мистическими. 6 - число дней творения (без воскресенья). 28 - лунный цикл.
Является ли 12 совершенным числом?
Примеры совершенных чисел
Совершенных чисел очень мало. Известно всего 51 совершенное число (на 2024 год). Все известные - чётные.
**Открытые вопросы:** • Существуют ли нечётные совершенные числа? (Не найдено ни одного) • Бесконечно ли много совершенных чисел? (Неизвестно) • Если нечётное совершенное существует, оно > 10^2000
Поиск совершенных чисел связан с поиском простых Мерсенна. Каждое новое простое Мерсенна даёт новое совершенное число.
По формуле Евклида, если 2⁵ - 1 = 31 - простое, то какое совершенное число получается?
Дружественные числа
**Дружественные числа** - пара чисел, где сумма делителей одного равна другому, и наоборот. Это обобщение совершенных чисел.
**История:** Пифагорейцы считали 220 и 284 символом дружбы. В средневековье амулеты с этими числами дарили на свадьбу. Ферма и Декарт нашли новые пары в XVII веке. Эйлер нашёл 59 пар.
Известно более 1.2 миллиарда пар дружественных чисел. Но неизвестно, бесконечно ли их множество.
Что делает числа 220 и 284 дружественными?
Связь с числами Мерсенна
Теорема Евклида-Эйлера связывает совершенные числа с **простыми Мерсенна**. Каждое чётное совершенное число порождается простым Мерсенна.
**GIMPS - Great Internet Mersenne Prime Search:** Распределённый проект поиска простых Мерсенна. Любой может участвовать. Приз $150,000 за первое простое Мерсенна с > 100 миллионами цифр!
Поиск совершенных чисел - это поиск простых Мерсенна. Обе проблемы открыты: неизвестно, бесконечно ли много простых Мерсенна (и совершенных чисел).
Совершенные числа встречаются часто среди больших чисел
Совершенные числа крайне редки - известно всего 51, и они невероятно разрежены
Простые Мерсенна редки, а каждое чётное совершенное число требует простого Мерсенна. Между 4-м совершенным (8128) и 5-м (33 550 336) - пропасть. 51-е совершенное имеет почти 50 миллионов цифр. Нечётных совершенных, возможно, вообще не существует.
Почему 2⁴ - 1 = 15 не даёт совершенное число?
Ключевые идеи
- Совершенное число = сумма своих делителей
- Формула Евклида-Эйлера: 2^(p-1)(2^p - 1)
- Дружественные числа - обобщение: σ(a) = b, σ(b) = a
- Нечётных совершенных не найдено
Связанные темы
Совершенные числа связаны с теорией делимости:
- Факторизация — Разложение на делители
- Простые числа — Числа Мерсенна
- Особые простые — Простые Мерсенна подробнее
Вопросы для размышления
- Почему формула Евклида работает только для простых Мерсенна?
- Как доказать, что нечётных совершенных чисел не существует (если это так)?
- Почему дружественные числа интересовали людей тысячи лет?