С другой стороны, если сумма делителей числа меньше самого числа, то такое число называется «недостаточным». Например, 10 — недостаточное число, так как сумма его делителей (1, 2 и 5) равна лишь 8.
Числа, сумма делителей которых в точности равна самому числу, пифагорейцы считали особенно важными. Такие числа они называли совершенными. Например, число 6 имеет делителями 1, 2 и 3 и, следовательно, совершенно, так как 1+2+3 = 6. Следующее совершенное число равно 28, так как
1 + 2 + 4 + 7 + 14 = 28.
Совершенный характер чисел 6 и 28, имевший столь большое математическое значение для пифагорейцев, был признан и другими культурами, обратившими внимание на то, что Луна совершает оборот вокруг Земли каждые 28 дней, и утверждавшими, что Бог сотворил мир за 6 дней.
В сочинении «Град Божий» Св. Августин высказал мысль о том, что хотя Бог мог сотворить мир в одно мгновенье, Он предпочел сотворить его за 6 дней, дабы поразмыслить над совершенством мира. По мнению Св. Августина, число 6 совершенно не потому, что Бог избрал его, а потому, что совершенство внутренне присуще природе этого числа. «Число 6 совершенно само по себе, а не потому, что Господь сотворил все сущее за 6 дней; скорее наоборот, Бог сотворил все сущее за 6 дней потому, что это число совершенно. И оно оставалось бы совершенным, даже если бы не было сотворения за 6 дней».
По мере того, как натуральные числа возрастают, совершенные числа встречаются все реже. Третье совершенное число 496, четвертое — 8 128, пятое — 33 550 336, шестое — 8 589 869 056. Пифагор заметил, что совершенные числа не только равны сумме своих делителей, но и обладают некоторыми другими изящными свойствами. Например, совершенные числа всегда равны сумме нескольких последовательных натуральных чисел. В самом деле,
6 = 1 + 2 + 3,
28 = 1 + 2 + 3 + 4 + 5 + 6 + 7,
496 = 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + … + 30 + 31,
8128 = 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + … + 126 + 127.
Пифагор забавлялся совершенными числами, но не довольствовался одним лишь коллекционированием таких чисел. Он мечтал открыть их более глубокое значение. Одно из его открытий состояло в том, что совершенство чисел тесно связано с «двоичностью». Числа 4=2·2, 8=2·2·2, 16=2·2·2·2 и т. д. называются степенями числа 2 и могут быть представлены в виде 2>n, где n означает число перемноженных двоек. Все степени числа 2 чуть-чуть «не достают» до того, чтобы стать совершенными, так как сумма их делителей всегда на единицу меньше самого числа. Иначе говоря, все степени двойки слегка недостаточны:
2>2 = 2·2 = 4, делители 1, 2, сумма 3,
2>3 = 2·2·2 = 8, делители 1, 2, 4, сумма 7,
2>4 = 2·2·2·2 = 16, делители 1, 2, 4, 8, сумма 15,
2>5 = 2·2·2·2·2 = 32, делители 1, 2, 4, 8, 16, сумма 31.
Двумя столетиями спустя Евклид уточнил замеченную Пифагором взаимосвязь между двоичностью и совершенством. Евклид открыл, что совершенные числа всегда кратны двум числам, одно из которых равно степени числа 2, а другое на единицу меньше следующей степени числа 2:
6 = 2>1·(2>2 — 1),
28 = 2>2·(2>3 — 1),
496 = 2>4·(2>5 — 1),
8128 = 2>6·(2>7 — 1).
Современные компьютеры позволили продолжить поиск совершенных чисел и обнаружить чудовищно большие экземпляры таких чисел, например, 2>216090·(2>216091 — 1). Это число содержит более 130 000 цифр и подчиняется правилу Евклида.
Пифагор восхищался разнообразием структуры и свойствами совершенных чисел и с почтением относился к их тонкости и коварству. На первый взгляд, совершенство — свойство, сравнительно простое для понимания. Тем не менее, древние греки так и не сумели постичь некоторые фундаментальные особенности совершенных чисел. Так, хотя они знали множество слегка недостаточных чисел (т. е. чисел сумма делителей которых на единицу меньше самого числа), им не удалось найти слегка избыточное число (т. е. число сумма делителей которого на единицу больше самого числа). Они не сумели также доказать, что таких чисел не существует.
Хотя никакого практического значения эта задача не имела, ее решение могло бы прояснить природу совершенных чисел, и поэтому она заслуживала изучения. Такого рода загадки интриговали пифагорейское братство, и спустя две с половиной тысячи лет математики все еще не могут доказать, что слегка избыточные числа не существуют.
