Пьер де Ферма

1. Формой x2+y2представимы все простые числа, которые лежат в прогрессии 4n+1, причем каждое из них представимо этой формой единственным образом. Ни одно простое число из прогрессии 4n+3 не представимо суммою двух квадратов.

2. Формой x2+2y2 представимы все простые числа, лежащие в прогрессиях 8n+1 и 8n+3. Ни одно простое число из прогрессий 8n+5 и 8n+7 не представимо в виде x2+2y2.

3. Формой x2-2y2 представимы все простые числа, лежащие в прогрессиях 8n+1 и 8n+7. Ни одно простое число из прогрессий 8n+5 и 8n+3 не представимо в виде x2-2y2.

4. Формами x2+3y2 и x2+xy+y2представимы все простые числа, лежащие в прогрессии 3n+1. Ни одно простое число из прогрессии 3n+2 не представимо указанными формами.

Ферма оставил крайне мало пояснений, дающих возможность установить, как ему удалось получить эти в высшей степени общие результаты. Лишь перед смертью в письме к де Каркави Ферма частично обосновал положение (1) с помощью своего метода бесконечного спуска. Можно лишь пожалеть современников Ферма, которые регулярно получали вариации на тему утверждений (1) — (4) в качестве задач. Первые полные доказательства этих утверждений удалось получить лишь Эйлеру. Попутно он сформулировал очень важную теорему о делимости — так называемой квадратичный закон взаимности, доказательство которого дал Гаусс. Через увлечение квадратичными формами прошли Лагранж, Лежандр, Чебышев, а в наше век — Вейль, Артин и многие другие блестящие математики. Как всегда идеи Ферма оказались чрезвычайно плодотворны в смысле построения далеко идущих обобщений и формирования новых понятий. Добрая половина терминов современной абстрактной алгебры возникла из попыток доказать утверждения Ферма.

Один из важнейших результатов Ферма получил специальное название «Малая теорема Ферма». Это фундаментальный факт теории делимости на простые числа: для любого простого p и любого 1, которое не делится на p, разность ap-1-1 делится на p. Например, пусть a=5, p=2,3,7,11. Тогда 52−1-1=2Ч 2,53−1-1=3Ч 8,57−1-1=7Ч 2232,511−1-1=11Ч 8878. Ферма высказал эту теорему в письме Френиклю де Бесси в 1640 г. с обычным для него замечанием: «…я бы Вам прислал доказательство, если бы не опасался быть слишком длинным».

Первое доказательство «Малой теоремы Ферма» дал Лейбниц. Затем Эйлер, начиная с 1736 г., публикует сразу три различных доказательства, которые показывают, что Ферма вполне мог уметь доказывать свою теорему. Потомки часто искали элементарные доказательства утверждений Ферма, пытаясь понять насколько лукавил великий тулузец. Проблемы Ферма волновали Эйлера на протяжении всей жизни. В 1760 г. он получил существенное обобщение его «Малой теоремы»: пусть j (m) — число натуральных чисел, не превосходящих m и взаимно простых с m. Тогда для любого m и любого 1, взаимно простого с m, разность aj (m) -1 делится на m. Эту терему Эйлер скромно опубликовал в качестве четвертого доказательства «Малой теоремы Ферма» Наконец, мы переходим к изложению самой знаменитой теоремы в истории математики. Эта теорема получила известность как «Великая теорема Ферма» (она же «Большая», она же «Последняя»). На современном это языке звучит так: не существует отличных от нуля целых чисел x, yи z, для которых имеет место равенство при n>2.

Разумеется, никакого уравнения у Ферма не было. Он вообще не знал знака равенства, а использовал латинское eq. Приводим утверждение Ферма в оригинальном виде: «Куб, однако, на два куба или квадроквадрат на два квадроквадрата и вообще никакую до бесконечности сверх квадрата степень в две того же названия невозможно разделить». И не поставив точку, Ферма приписал:" я открыл поистине удивительное доказательство этого предложения. Но оно не умещается на узких полях. «Этой фразой Ферма прокомментировал задачу из Диофанта: «Заданный квадрат разложить на два квадрата». Данное замечание является вторым по счету из сделанных им на полях «Арифметики». Первое касалось житейских тем.

Неопределенные уравнения (т.е. уравнениями с двумя неизвестными) вида интересовали древних греков в связи с теоремой Пифагора. Они искали (и находили) тройки целых чисел, образующие стороны прямоугольного треугольника. Это означает, что при n =1,2 уравнение в рамке имеет бесчисленное множество решений. Догадка Ферма заключалась в том, что при всех прочих n таких троек не существует.

Вряд ли Ферма был первым, кто пришел к подобному выводу. Например, около тысячи лет назад узбекский математик Хамид ал-Хадженди (что означает Хамид из Ленинабада) утверждал, что уравнение x3+y3=z3не имеет решений в целых числах. Сегодня ясно, что Хамид не имел никаких шансов доказать это утверждение.

В отношении Ферма достоверно известно, что он доказал «Великую теорему» при n=4 на полях все той же «Арифметики». И это единственное теоретико-числовое доказательство Ферма дошедшее до наших дней. На протяжении 20 лет Ферма упорно старается привлечь внимание математиков к «Великой теореме», предлагая частные случаи в качестве задач. Случай n=3 он формулирует в пяти письмах, причем в последнем письме (от августа 1659 г.) пишет, что доказал теорему для n=3 методом спуска. Между тем «Великую теорему» для общего случая n>2 Ферма сформулировал только один раз в упомянутом замечании на полях «Арифметики». Он не формулирует ее ни разу ни в одном из писем. Он предлагает только частные случаи (n=3,4), в отношении которых уверенно говорит, что располагает доказательством. Даже в письме к де Каркави от 1659 г., в котором Ферма перечисляет свои основные достижения, о «Великой теореме» в общем виде нет ни слова. Это может означать только одно: Ферма обнаружил пробелы в своем «поистине удивительном доказательстве», которые так и не смог устранить.

Разумеется, это не охладило потомков. Начиная с конца XVII в. началась невиданная по своей напряженности гонка за доказательством «Великой теоремы Ферма». Обманчивая простота формулировки теоремы обрекла тысячи поклонников математики на бесплодные поиски доказательства или опровержения теоремы. Более ста лет никому из ученых не удавалось продвинуться вперед даже при рассмотрении частных случаев конкретных значений показателя n.

Первый серьезный результат был получен конечно же Эйлером (1768). Он показал, что случай n=4 уникален. Это единственный частный вариант «Великой теоремы», когда доказательство имеет вполне элементарный характер. Уже при n=3 возникают значительные осложнения. Настолько существенные, что появляется повод в очередной раз сомневаться в честности Ферма. Эйлер доказал теорему для случая n=3, рассматривая комплексные числа вида, где a, b — целые числа. В XVII в. подобная ересь не могла придти в голову даже Ферма.

Строго говоря, доказательство Эйлера было дефектным, поскольку он необоснованно перенес ряд свойств обычных чисел на числа вида. В частности он предполагал единственность разложения таких чисел на простые множители. Для устранения пробелов в доказательстве Эйлера понадобились принципиально новые алгебраические абстракции: числовые кольца и поля. Реализацию этой программы начал Гаусс, которому принадлежит первое абсолютно строгое доказательство «Великой теоремы Ферма» для n=3.

Доказательство для случая n=5 предложили почти одновременно в атмосфере острого соперничества два француза: Лежен-Дирихле и Лежандр (1825). Оба доказательства были очень сложными. В 1839 г. теорема Ферма была доказана для следующего простого показателя n=7. Это удалось благодаря титаническим усилиям Ламе. Он же в 1847 г. объявил, что доказал теорему для всех простых показателей n>3. Однако бдительный Лиувиль сразу же обнаружил в рассуждениях Ламе ошибку сходную с той, которую допустил Эйлер. Ламе был вынужден признать свое поражение.

Пока во Франции происходили эти события, в Германии молодой математик Куммер упорно занимается теоремой Ферма. Повторив все ошибки Ламе, он пришел к понятию «идеальных чисел», для которых разложение на простые множители единственно. Обобщение этого понятия привело к созданию головокружительных абстрактных конструкций, которые сегодня изучаются в специальном разделе алгебре под названием «Теория идеалов». Куммер, посвятивший теореме несколько десятков лет, к концу жизни умел доказывать «Великую теорему Ферма» для всех простых показателей n<100. В 1857 г. ему была вручена премия Французской академии наук в размере 3 тыс. франков. Работы Куммера окончательно похоронили надежды на возможность доказательства теоремы Ферма элементарными средствами. Стало ясно, что Ферма никогда не имел и не мог иметь доказательства теоремы в общем виде.

После Куммера серьезных сдвигов в доказательстве теоремы Ферма не происходило вплоть до 1929 г., когда Вандивер, используя метод Куммера, получил в явном виде некие условия, позволяющие проверять истинность теоремы для любого простого показателя. С этого момента доказательство теоремы для конкретного n свелось к чисто вычислительным проблемам, с которыми легко справляются современные ЭВМ. В результате к концу семидесятых годов нашего столетия «Великая теорема Ферма» была доказана для всех n<100 000. Это очень большое число, но это еще не все n, а значит «Великая теорема Ферма» не доказана и не опровергнута.

«Верна или не верна?» — так назывался чудесный научно-популярный игровой фильм, промелькнувший на экранах телевизоров в начале семидесятых. Современный яйцеголовый математик, разложив на пульте ЭВМ старинные фолианты, колдует над кипящей ретортой. Он решил обратиться к последнему средству. Произнесена магическая формула, раздается взрыв, и в облаке дыма появляется интеллигентного вида дьявол (его блестяще играет молодой Кайдановский). Помахивая хвостом, нечистый вежливо спрашивает, что угодно клиенту в обмен на бессмертную душу. «Я хочу знать, верна или не верна теорема Ферма» — устало ответствует математик. «Простите, кто кому не верна?» — переспрашивает ошарашенный дьявол. «Великая или Последняя теорема Ферма. Это математическое утверждение. Оно либо справедливо, либо ошибочно. Я должен это узнать любой ценой». Дьявол осторожно интересуется насчет более традиционных пожеланий — земные блага, вечная молодость и все такое. Но математик упрямо требует ответа на проклятый вопрос. Дьявол, обреченно вздыхая, соглашается вникнуть в суть проблемы. Математик пускается в объяснения: «Уравнение Ферма может быть решено в целых числах, если показатель равен двум. Например, три в квадрате плюс четыре в квадрате равно пяти в квадрате. Но если показатель равен трем…» «Подождите, — перебивает его дьявол. — Как Вы сказали? Три в квадрате плюс четыре в квадрате…», и дьявол рисует кончиком хвоста: + Математик с изумлением взирает на посланника ада. Дьявол безнадежно отстал и не знает элементарной алгебры! Придется начинать с самого начала. Через несколько минут дьявол (а заодно и зритель) уясняет формулировку теоремы и проникается ее интригующей историей. Он полон оптимизма, ему не терпится приступить к решению загадки: «Я всего лишь должен найти три числа? Три обычных числа, которые удовлетворяют уравнению г-на Ферма для некоторого показателя, например, для трех». «Да, этого достаточно, чтобы отвергнуть теорему» — отвечает математик, но дьявол уже исчез. Через несколько минут он вновь сидит в кресле: «Я перебрал биллионы чисел для тысячи показателей, но нужных цифр среди них не было» — заявляет он обиженно. Математик улыбается: «Зря старались. Известно, что теорема Ферма верна для всех показателей не превосходящих 100 000. Попытайтесь доказать теорему, используя знания, накопленные людьми». Час спустя дьявол появляется вновь. Вид у него самый озабоченный. Он в очках, на нем модная водолазка. «Да, Вы правы. Эта штучка жжет почище адского пламени. — говорит он задумчиво — Я полностью овладел математическим анализом, я изучил теорию квадратичных вычетов, ряды Дирихле, диофантовы уравнения, дзета-функции, поля классов и многое другое. И я знаю, что близок к цели. Я пришел просить отсрочки еще на час». Он возвращается лишь поздно ночью, разбудив задремавшего математика. «Послушайте, — шепчет возбужденно дьявол, — а Вы пробовали рассматривать алгебраические кривые в проективной плоскости инвариантные относительно бирациональных преобразований в хаусдорфовой топологии. Шансов немного, но…». «Позвольте, прерывает его математик, — разве это возможно в случае произвольных полей». Дьявол в ответ раскрывает научный журнал: «Так Вы не видели свежей работы Серра по когомологиям Вейля? Вот, взгляните». И они, забыв о сделке, углубляются в формулы, обмениваясь репликами на жутковатом профессиональном жаргоне.