Совершенное число́ (др.-греч. ἀριθμὸς τέλειος) — натуральное число, равное сумме всех своих собственных делителей (т. е. всех положительных делителей, отличных от самого́ числа). По мере того как натуральные числа возрастают, совершенные числа встречаются всё реже.
Совершенные числа образуют последовательность: 6, 28, 496, 8128, 33550336, 8589869056, 137438691328, 2305843008139952128, …
Примеры
1-е совершенное число — 6 имеет следующие собственные делители: 1, 2, 3; их сумма 1 + 2 + 3 равна 6.
- 2-е совершенное число — 28 имеет следующие собственные делители: 1, 2, 4, 7, 14; их сумма 1 + 2 + 4 + 7 + 14 равна 28.
- 3-е совершенное число — 496 имеет следующие собственные делители: 1, 2, 4, 8, 16, 31, 62, 124, 248; их сумма 1 + 2 + 4 + 8 + 16 + 31 + 62 + 124 + 248 равна 496.
- 4-е совершенное число — 8128 имеет следующие собственные делители: 1, 2, 4, 8, 16, 32, 64, 127, 254, 508, 1016, 2032, 4064; их сумма 1 + 2 + 4 + 8 + 16 + 32 + 64 + 127 + 254 + 508 + 1016 + 2032 + 4064 равна 8128.
История изучения
Алгоритм построения чётных совершенных чисел описан в IX книге Начал Евклида. Леонард Эйлер доказал, что все чётные совершенные числа имеют вид, указанный Евклидом.
Первые четыре совершенных числа приведены в Арифметике Никомаха Геразского. Пятое совершенное число 33 550 336 обнаружил немецкий математик Региомонтан (XV век). В XVI веке немецкий ученый Шейбель нашел ещё два совершенных числа:
8 589 869 056 и 137 438 691 328.
В начале XX века были найдены ещё три совершенных числа. В дальнейшем поиск затормозился вплоть до середины XX века, когда с появлением компьютеров стали возможными вычисления, превосходившие человеческие возможности.
Известно 47 чётных совершенных чисел, поиском новых чисел занимается проект распределённых вычислений GIMPS.
Нечётных совершенных чисел до сих пор не обнаружено, однако не доказано и то, что их не существует. Неизвестно также, бесконечно ли множество всех совершенных чисел.
Доказано, что нечётное совершенное число, если оно существует, имеет не менее 9 различных простых делителей и не менее 75 простых делителей с учетом кратности. Поиском нечётных совершенных чисел занимается проект распределённых вычислений OddPerfect.org.