[Перевод] Математики открыли новый фронт в битве с древней числовой задачей

Не одно тысячелетие математиков интересовал вопрос существования нечётных совершенных чисел. В процессе его изучения они составили невероятный список ограничений для этих гипотетических объектов. Но новые идеи на этот счёт могут появиться благодаря изучению иных близких к ним объектов.


dee16e11e658236e40ae2611c5f1ef24.jpg
Если нечётные совершенные числа и существуют, им придётся удовлетворять абсурдно большому списку ограничений

Будучи ещё старшеклассником, Пэйс Нильсен в середине 90-х столкнулся с математическим вопросом, над которым бьётся и по сей день. Но он не расстраивается: очаровавшая его задача, гипотеза о нечётных совершенных числах, остаётся открытой уже более 2000 лет, что делает её одной из старейших нерешённых задач математики.

Частично таким долгоживущим шармом она обязана простоте формулировки. Число называется совершенным, если это положительное целое, n, сумма делителей которого даёт удвоенное число, 2n. Первый и самый простой пример — это 6, делители которого, 1, 2, 3 и 6, в сумме дают 12, или 2×6. Затем идёт 28, с делителями 1, 2, 4, 7, 14 и 28, дающими в сумме 56. Следующие примеры — 496 и 8128.
Леонард Эйлер формализовал это определение в XVIII веке, введя свою сигма-функцию, обозначающую сумму делителей числа. Таким образом, для совершенных чисел σ (n) = 2n.

38af4e0b45dfca17f55f285e9d7f7699.jpg
Леонард Эйлер сформулировал множество формальных правил, касающихся работы с совершенными числами

Однако Пифагор знал о совершенных числах ещё в 500 году до н.э., а два столетия спустя Евклид вывел формулу для получения чётных простых чисел. Он показал, что если p и 2p — 1 — простые числа (делители которых — только 1 и само это число), тогда 2p−1 * (2p − 1) будет совершенным числом. К примеру, если p = 2, то формула даёт 21 * (22 − 1), или 6. Если p = 3, то формула даёт 22 * (23 − 1), или 28 — два первых совершенных числа. 2000 лет спустя Эйлер доказал, что эта формула выдаёт все чётные совершенные числа, хотя до сих пор неизвестно, конечно или бесконечно множество совершенных чисел.

Нильсен, сегодня работающий профессором в Университете Бригама Янга, увлёкся связанным с этим вопросом: существуют ли нечётные совершенные числа? Греческий математик Никомах Герасский около 100 года н.э. заявил, что все совершенные числа должны быть чётными, но никто не доказал этого утверждения.

Как и многие его коллеги из XXI века, Нильсен считает, что совершенные числа существует не особенно много. И, вместе с ними он считает, что доказательство этой гипотезы будет получено нескоро. Однако в июне он наткнулся на новый подход к этой задаче, возможно, способный продвинуть её далее. И он связан с ближайшим к нечётным совершенным числам объектом из всех пока обнаруженных.

Сжимающаяся сеть


Впервые Нильсен узнал о совершенных числах на соревновании по математике в школе. Он углубился в литературу, и наткнулся на работу 1974 года Карла Померанца, математика, сегодня служащего в Дартмутском колледже. Тот доказал, что у любого нечётного совершенного числа должно быть не менее семи различных простых множителей.

«Я в своей наивности решил, что я могу сделать что-то в этой области, если в ней вообще возможен прогресс, — сказал Нильсен. — Это вдохновило меня на изучение теории чисел в колледже, и попытки развить прогресс». Его первая работа по нечётным совершенным числам, опубликованная в 2003 году, наложила дополнительные ограничения на эти гипотетические числа. Он показал, что не только количество нечётных совершенных чисел с k различными простыми делителями конечно, как доказал в 1913 году Леонард Диксон, но и что размер этого числа не должен превышать 24k.

И это было не первым и не последним ограничением, наложенным на гипотетические нечётные совершенные числа. К примеру, в 1888 году Джеймс Сильвестер доказал, что нечётное совершенное число не может делиться на 105. В 1960 году Карл К. Нортон доказал, что, если нечётное совершенное число не делится на 3, 5 или 7, у него должно быть не менее 27 простых делителей. Пол Дженкинс в 2003 году доказал, что крупнейший простой делитель нечётного совершенного числа должен быть больше 10 000 000. Паскаль Очем и Михаёль Рао после этого обнаружили, что нечётное совершенное число должно быть больше 101500, а потом отодвинули эту границу до 102000. Нильсен в 2015 году показал, что нечётное совершенное число должно иметь не менее 10 различных простых делителей.

fb3bfa4867197bd0323a11e62e999b55.jpg
Пэйс Нильсен, математик из Университета Бригама Янга

Даже в XIX веке количество ограничений было таким, что Сильвестер сделал вывод, что «появление нечётного совершенного числа — этакий побег от сложной сети условий, окружающих его со всех сторон — будет практически чудом». Спустя более ста лет подобного развития событий существование таких чисел вызывает ещё больше сомнений.

«Доказать существование чего-либо легко, если получится найти хотя бы один пример, — сказал Джон Войт, профессор математики из Дартмута. — Но доказать, что нечто не существует, может быть очень тяжело».

Основным подходом до сего момента было сравнение всех ограничивающих нечётные совершенные числа условий с тем, чтобы выяснить, не является ли какая-то парочка из них несовместимой — то есть, что ни одно число не может удовлетворять обоим ограничениям сразу. «Лоскутное одеяло условий, полученное на сегодняшний день, делает вероятность существования нечётных совершенных чисел крайне малой, — сказал Войт, вторя Сильвестеру. — И Пэйс много лет добавлял к этому списку новые пункты».

К сожалению, несовместимых свойств до сих пор не найдено. Поэтому кроме дополнительных ограничений на нечётные совершенные числа математикам, вероятно, потребуются и новые стратегии.

Для этого Нильсен уже рассматривает новый план атаки, основанный на распространённой тактике математиков: изучение множества чисел через изучение их близких родственников. В отсутствии нечётных совершенных чисел, пригодных для прямого изучения, они с командой изучают «имитации» нечётных совершенных чисел, которые очень похожи на настоящие, но обладают некоторыми интересными отличиями.

Разбираемся в совершенных числах


Сигма-функция обозначает сумму делителей числа. σ (n) = 2n, если это совершенное число.

Примеры:

σ (20) = 1 + 2 + 4 + 5 + 10 + 20 = 42; 2×20 ≠ 42, поэтому 20 — не совершенное число.
σ (28) = 1 + 2 + 4 + 7 + 14 + 28 = 56; 2×28 = 56, поэтому 28 — совершенное число.

Правила Эйлера

1. σ (a × b) = σ (a) × σ (b) в том, и только в том случае, если a и b — взаимно простые.
2. σ (pa) = 1 + p + p2 + … + pa для любого простого p с положительной целой степенью a.

Примеры:

σ (20) = σ (22 × 5) = σ (22) × σ (5) [по первому правилу] = (1 + 2 + 22)(1+5) [по второму правилу] = 42

σ (28) = σ (22 × 7) = σ (22) × σ (7) [по первому правилу] = (1 + 2 + 22)(1+7) [по второму правилу] = 56

Новые соблазнительные промахи


Первую имитацию нечётного совершенного числа нашёл в 1638 году Рене Декарт — и он был одним из первых выдающихся математиков, посчитавших возможным существование нечётных совершенных чисел. «Я считаю, что Декарт пытался найти нечётные совершенные числа, и его вычисления привели его к первой имитации», — сказал Уильям Бэнкс, специалист по теории чисел из Университета Миссури. Судя по всему, Декарт надеялся, что созданное им число можно изменить, получив настоящее нечётное совершенное число.

Но прежде чем углубиться в декартовскую имитацию, полезно будет немного разобраться в том, как математики описывают совершенные числа. Теорема времён Евклида утверждает, что любое целое число, большее 1, можно выразить в виде произведения простых чисел, возведённых в определённые степени. К примеру, 1260 можно так разложить на множители: 1260 = 22 × 32 × 51 × 71, и не перечислять все 36 множителей по отдельности.

Если число принимает такую форму, вычислять сигма-функцию Эйлера, суммирующую его делители, становится гораздо проще — благодаря двум формулам, которые тоже доказал Эйлер. Во-первых, он продемонстрировал, что σ (a × b) = σ (a) × σ (b), тогда, и только тогда, когда a и b взаимно простые — то есть, у них нет общих простых делителей. К примеру, числа 14 (2 × 7) и 15 (3 × 5) взаимно простые. Во-вторых, он показал, что для любого простого числа p в положительной целой степени a, σ (pa) = 1 + p + p2 + … + pa.

Возвращаясь к нашему предыдущему примеру, σ (1 260) = σ (22 × 32 × 51 × 71) = σ (22) × σ (32) × σ (51) × σ (71) = (1 + 2 + 22)(1 + 3 + 32)(1 + 5)(1 + 7) = 4 368. Обратите внимание, что в данном случае σ (n) не равняется 2n, а, значит, 1260 — не совершенное число.

a3fa8a1985e36d6c4e2818434e2a5c70.jpg
Рене Декарт нашёл первую имитацию совершенного числа

Теперь мы можем разобрать декартову имитацию — число 198 585 576 189, или 32 × 72 × 112 × 132 × 22 0211. Повторяя описанные выше вычисления, мы обнаружим, что σ (198 585 576 189) = σ (32 × 72 × 112 × 132 × 22,0211) = (1 + 3 + 32)(1 + 7 + 72)(1 + 11 + 112)(1 + 13 + 132)(1 + 22,0211) = 397 171 152 378. И это равно удвоенному изначальному числу, что означает, что оно должно быть настоящим совершенным числом — вот только число 22 021 не является простым.

Поэтому это число Декарта является имитацией. Если мы притворимся, что 22 021 — простое, и применим правила Эйлера для сигма-функции, число Декарта ведёт себя как совершенное число. Однако 22 021 на деле является произведением 192 и 61. Если бы мы правильно записали число Декарта, как 32 × 72 × 112 ×132 × 192 × 611, тогда σ (n) не равнялась бы 2n. Ослабляя некоторые правила, мы получаем число, вроде бы удовлетворяющее нашим требованиям — такова суть имитации.

На то, чтобы открыть второе число-имитацию нечётного совершенного числа, ушёл 361 год. Войт сделал это в 1999 году, и опубликовал открытие через четыре года. Почему так долго? «Находка числа-имитации похожа на находку нечётного совершенного числа; оба они сходным образом арифметически сложны», — сказал Бэнкс. Да и их поиски не были в приоритете у математиков. Однако Войта вдохновил отрывок из книги Ричарда Гая «Нерешённые задачи теории чисел», где писали о поисках новых имитаций. Войт попытался, и в итоге нашёл новую имитацию, 34 × 72 × 112 × 192 × (−127)1, или −22 017 975 903.

В отличие от примера Декарта, тут все делители простые, но один из них отрицательный — поэтому это число и является имитацией, а не истинным нечётным совершенным числом.

Имитации нечётных совершенных чисел


Число Декарта:

198 585 576 189, или 32 × 72 × 112 × 132 × 22 0211.

Повторим вычисления сигма-функции: σ (198 585 576 189) = σ (32 × 72 × 112 × 132 × 22,0211) = (1 + 3 + 32)(1 + 7 + 72)(1 + 11 + 112)(1 + 13 + 132)(1 + 22,0211) = 397 171 152 378 = 2 × 198 585 576 189.

Но число 22 021 не является простым, это 192 × 61. Число Декарта является лишь имитацией нечётного совершенного числа.

Число Войта:

−22 017 975 903, или 34 × 72 × 112 × 192 × (−127)1.

Повторим вычисления сигма-функции: σ (−22 017 975 903) = σ (34 × 74 × 112 × 192 × (-127)1) = (1 + 3 + 32 + 33 + 34)(1 + 7 + 72)(1 + 11 + 112)(1 + 19 + 192)(1 + (-127)1) = -44 035 951 806 = 2 × −22 017 975 903

-127 — число отрицательное, поэтому число Войта — ещё одна имитация совершенного числа.

После того, как Войт в декабре 2016 года провёл семинар в университете Бригама Янга, он обсудил это число с Нильсеном, Дженкинсом и другими. Вскоре после этого команда университета отправилась на систематические вычислительные поиски других имитаций. Они выбирали наименьшие основания и показатели степени, вроде 32, и потом компьютеры прочёсывали варианты дополнительных оснований и степеней, которые давали бы имитацию совершенного числа. Нильсен решил, что этот проект просто будет неким стимулирующим опытом исследований для его студентов, однако результаты анализа превзошли его ожидания.

Просеивая возможности


После непрерывной работы 20 процессоров в течение трёх лет, команда обнаружила все возможные имитации совершенного числа, которые можно записать при помощи шести или менее оснований — всего 21 штука, включая примеры Декарта и Войта –, а ещё две имитации с семью делителями. Искать имитации с большим числом делителей на компьютерах было непрактично, и слишком затратно по времени. Тем не менее, группа набрала достаточно примеров для того, чтобы открыть неизвестные ранее свойства имитаций.

Группа обнаружила, что для любого заданного количества оснований, k, существует конечно число имитаций, что совпадает с результатом Диксона от 1913 года для настоящих нечётных совершенных чисел. «Однако если k уйдёт в бесконечность, количество имитаций также становится бесконечным», — сказал Нильсен. Это было неожиданно, добавил он, учитывая, что начиная этот проект, он не был уверен в открытии хотя бы одной новой нечётной имитации, не говоря уже о том, чтобы показать, что их число бесконечно.

Ещё один сюрприз, зародившийся из результата, впервые доказанного Эйлером: все простые основания нечётного совершенного числа, кроме одного, должны иметь чётные степени. Одно должно иметь нечётную степень — она называется степенью Эйлера. Большинство математиков считает, что степень Эйлера для нечётных совершенных чисел всегда 1, однако команда показала, что у имитаций она может быть сколько угодно большой.

Некоторые находки команда обнаружила, ослабив требования в определении имитации, поскольку не существует чётких математических правил для их описания — только то, что они должны удовлетворять равенству σ (n) = 2n. Исследователи допустили существование оснований, не являющихся простыми числами (как в примере Декарта) и отрицательных оснований (как в примере Войта). Однако они пошли дальше, разрешив имитациям иметь несколько одинаковых оснований. Одно основание, к примеру, может быть 72, а другое — 73, и записываются они отдельно, а не как 75. Или они позволяли основаниям повторяться, как в имитации 32 × 72 × 72 × 131 × (−19)2. Член 72 × 72 можно записать как 74, но тогда имитации не получится, потому что раскрытие скобок в изменённой сигма-функции было бы другим.

Учитывая значительную разницу между имитациями и реальными нечётными совершенными числами, можно задать вопрос: и как же первые помогают в поисках вторых?

Путь вперёд?


Нильсен сказал, что имитации являются обобщением нечётных совершенных чисел. Нечётные совершенные числа — это подмножество внутри более обширного семейства, куда входят и имитации, поэтому у нечётных совершенных чисел должны быть все свойства имитаций, а также дополнительные, ещё более жёсткие ограничения (как, к примеру, условие, что все основания должны быть простыми).

«Любое поведение более крупного множества должно соблюдаться и для мелкого подмножества, — сказал Нильсен. — Так что, если мы найдём поведение имитаций, неприменимое к более ограниченному классу, мы автоматически сможем отказаться от возможности существования нечётных совершенных чисел». Если, к примеру, можно будет показать, что все имитации делятся на 105 — что невозможно для нечётных совершенных чисел, как Сильвестер показал в 1888 — тогда задача будет решена.

Пока что, однако, ничего такого им не удалось. «Мы открыли новые факты, касающиеся имитаций, однако ни один из них не отрицает существования нечётных совершенных чисел, — сказал Нильсен, — хотя эта возможность всё ещё остаётся». Проводя дальнейший анализ известных на сегодня имитаций, и, возможно, дополняя их список в будущем, Нильсен (а оба этих направления развиваются благодаря ему) и другие математики могут открыть новые свойства имитаций.

Бэнкс считает такой подход стоящим. «Исследование нечётных имитаций может быть полезным для понимания структуры нечётных совершенных чисел, если те существуют, — сказал он. — А если нечётных совершенных чисел не существует, изучение нечётных имитаций может привести к доказательству этого».

Другие эксперты по нечётным совершенным числам настроены не так оптимистично. Команда из университета Бригама Янга «проделала отличную работу», сказал Войт, «но я не уверен, что мы приблизились к вариантам атаки на проблему нечётных совершенных чисел. Это и правда задача на века, и, вероятно, она будет таковой оставаться».

Пол Поллак, математик из университета Джорджии, также осторожничает: «Было бы круто, если бы мы могли посмотреть на список имитаций, и увидеть какое-то их свойство, и как-то доказать, что нечётных совершенных чисел с таким свойством не существует. Это была бы прямо мечта, но, кажется, она слишком хороша, чтобы быть правдой».

Нильсен согласился, что шансов на успех тут мало, но чтобы решить эту древнюю задачу, математикам надо попробовать всё. Кроме того, исследование имитаций только начинается. Его группа предприняла некие ранние шаги, и уже открыла неожиданные свойства этих чисел. Поэтому он оптимистично относится к возможности открытия дополнительных «скрытых структур» внутри имитаций.

Нильсен уже определил одну вероятную тактику, основываясь на том, что у всех найденных на сегодня имитаций, кроме оригинального примера Декарта, есть хотя бы одно отрицательное основание. Если доказать, что у всех остальных имитаций должно быть отрицательное основание, то это докажет, что нечётных совершенных чисел не существует, поскольку, по определению, их основания должны быть простыми и положительными.

«Эта задача кажется более трудной, — сказал Нильсен, поскольку она касается более крупной и общей категории чисел. — Но иногда, когда ты преобразуешь задачу в более, казалось бы, сложную, можно увидеть путь к решению».

В теории чисел требуется терпение — иногда вопрос легко поставить, но трудно найти на него ответ. «Приходится размышлять о задаче, иногда подолгу, и проявлять к ней особое внимание, — сказал Нильсен. — Мы движемся вперёд. Мы копаем шахту. Надеемся, что если будем копать достаточно долго, то сможем найти алмаз».

© Habrahabr.ru