Сто тысяч за доказательство теоремы

Одна задача из области неопределенных уравнений приобрела громкую известность, так как за правильное ее решение было завещано целое состояние: 100 000 немецких марок!

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

Сумма одинаковых степеней двух целых чисел не может быть той же степенью какого-либо третьего целого числа. Исключение составляет лишь вторая степень, для которой это возможно.

Иначе говоря, надо доказать, что уравнение

xn + yn = zn

неразрешимо в целых числах для п > 2. Поясним сказанное. Мы видели, что уравнения

x 2 + y 2 = z 2,

x 3 + y 3 + z 3 = t 3

имеют сколько угодно целочисленных решений. Но попробуйте подыскать три целых положительных числа, для которых было бы выполнено равенство x 3 + y 3 + z 3 ваши поиски останутся тщетными.

Тот же неуспех ожидает вас и при подыскании примеров для четвертой, пятой, шестой и т. д. степеней. Это и утверждает «великое предложение Ферма́».

Что же требуется от соискателей премии? Они должны доказать это положение для всех тех степеней, для которых оно верно. Дело в том, что теорема Ферма еще не доказана и висит, так сказать, в воздухе[62].

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

Замечательно, что неуловимое доказательство теоремы Ферма, по-видимому, однажды уже было найдено, но затем вновь утрачено. Автор теоремы, гениальный математик XVII в. Пьер Ферма[63], утверждал, что ее доказательство ему известно. Свое «великое предложение» он записал (как и ряд других теорем из теории чисел) в виде заметки на полях сочинения Диофанта, сопроводив его такой припиской:

«Я нашел поистине удивительное доказательство этого предложения, но здесь мало места, чтобы его привести».

Ни в бумагах великого математика, ни в его переписке, нигде вообще в другом месте следов этого доказательства найти не удалось.

Последователям Ферма́ пришлось идти самостоятельным путем.

Вот результаты этих усилий: Эйлер (1797) доказал теорему Ферма́ для третьей и четвертой степеней; для пятой степени ее доказал Лежандр (1823), для седьмой[64] – Ламе и Лебег (1840). В 1849 г. Куммер доказал теорему для обширной группы степеней и, между прочим, – для всех показателей, меньших ста. Эти последние работы далеко выходят за пределы той области математики, какая знакома была Ферма, и становится загадочным, как мог последний разыскать общее доказательство своего «великого предложения». Впрочем, возможно, он ошибался.

Интересующимся историей и современным состоянием задачи Ферма́ можно рекомендовать брошюру А.Я. Хинчина «Великая теорема Ферма». Написанная специалистом, брошюра эта предполагает у читателя лишь элементарные знания из математики.