Подход Софи Жермен

Оказалось, что доказательство для случая n=4 остается в силе при n=8, 12, 16, 20, . . Дело в том, что любое число, представимое в виде 8-й (а также 12-й, 16-й, 20-й, .) степени некоторого числа, представимо и в виде 4-й степени какого-то другого целого числа. Например, число 256 равно 28, но оно равно и 44. Следовательно, любое доказательство, которое «работает» для 4-й степени, остается в силе для 8-й и любой другой степени, кратной 4. На основе того же принципа можно утверждать, что эйлеровское доказательство для n=3 автоматически переносится на n=6, 9, 12, 15, . . Тем самым Великая теорема Ферма утратила свой неприступный вид и оказалась верной сразу для многих чисел n.

К началу XIX века за Великой теоремой Ферма установилась устойчивая репутация самой трудной проблемы в теории чисел. После прорыва, осуществленного Эйлером, не было ни малейшего продвижения, пока сенсационное заявление одной юной француженки не вдохнуло новые надежды. Поиски доказательства Великой теоремы Ферма возобновились с новой силой. Софи Жермен выпало жить в эпоху шовинизма и предрассудков, и для того, чтобы иметь возможность заниматься математикой, ей пришлось принять псевдоним, работать в ужасных условиях и творить в интеллектуальной изоляции.

Софи заинтересовалась теорией чисел и, естественно, не могла не услышать о Великой теореме Ферма. Несколько лет Жермен проработала над ее доказательством и, наконец, достигла такого этапа, когда ей показалось, что она смогла продвинуться к желанной цели. Возникла насущная необходимость обсудить полученные результаты с коллегой, специалистом по теории чисел, и Жермен решилась обратиться к самому большому специалисту по теории чисел — немецкому математику Карлу Фридриху Гауссу.

Семьюдесятью пятью годами ранее Эйлер опубликовал найденное им доказательство для n=3, и с тех пор все математики тщетно пытались доказать Великую теорему Ферма в других частных случаях. Но Жермен избрала новую стратегию и в письмах к Гауссу изложила так называемый общий подход к проблеме Ферма. Иначе говоря, ее непосредственной целью было не доказательство отдельного случая — Жермен вознамерилась сказать нечто о многих частных случаях сразу. В письмах к Гауссу она изложила общий ход вычислений, сосредоточенных на простых числах p частного типа: таких, что числа 2p+1 — также простые. В составленный Жермен перечень таких простых чисел входит число 5, поскольку 11=2·5+1 — также простое, но число 13 в него не входит, так как 27 = 2·13 + 1 не простое.

В частности, Жермен с помощью изящного рассуждения, доказала, что если уравнение xn + yn = zn имеет решения для таких простых n, что 2n+1 также простое число, то либо x, y, либо z делится n.

После прогресса, достигнутого благодаря работам Софи Жермен, Французская Академия Наук установила серию премий, включая золотую медаль и 3000 франков, тому математику, который сумеет наконец разгадать тайну Великой теоремы Ферма. Того, кто сумеет доказать теорему, ждала не только заслуженная слава, но и значительное материальное вознаграждение. Салоны Парижа полнились слухами относительно того, какую стратегию избрал тот или иной претендент и как скоро объявят результаты конкурса. Наконец 1 марта 1847 года, Академия собралась на самое драматическое из своих заседаний.