Большая книга занимательных наук

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

Одна задача из области неопределенных уравнений приобрела громкую известность, так как за правильное ее решение было завещано целое состояние: 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 г. Куммер доказал теорему для обширной группы степеней и, между прочим, – для всех показателей, меньших ста. Эти последние работы далеко выходят за пределы той области математики, какая знакома была Ферма, и становится загадочным, как мог последний разыскать общее доказательство своего «великого предложения». Впрочем, возможно, он ошибался.

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

Шестое действие

Сложение и умножение имеют по одному обратному действию, которые называются вычитанием и делением. Пятое математическое действие – возведение в степень – имеет два обратных: разыскание основания и разыскание показателя. Разыскание основания есть шестое математическое действие и называется извлечением корня. Нахождение показателя – седьмое действие – называется логарифмированием. Причину того, что возведение в степень имеет два обратных действия, в то время как сложение и умножение – только по одному, понять нетрудно: оба слагаемых (первое и второе) равноправны, их можно поменять местами; то же верно относительно умножения; однако числа, участвующие в возведении в степень, т. е. основание и показатель степени, неравноправны между собой; переставить их, вообще говоря, нельзя (например, З5 ≠ 53). Поэтому разыскание каждого из чисел, участвующих в сложении и умножении, производится одинаковыми приемами, а разыскание основания степени и показателя степени выполняется различным образом.

Алгебраические комедии

ЗАДАЧА 1

Шестое математическое действие дает возможность разыгрывать настоящие алгебраические комедии и фарсы на такие сюжеты, как 2–2 = 5,2 = 3 и т. п. Юмор подобных математических представлений кроется в том, что ошибка – довольно элементарная – несколько замаскирована и не сразу бросается в глаза. Исполним две пьесы этого комического репертуара из области алгебры.

Первая:

2 = 3.

На сцене сперва появляется неоспоримое равенство 4-10 = 9-15.

В следующем «явлении» к обеим частям равенства прибавляется по равной величине

:

Дальнейший ход комедии состоит в преобразованиях:

Извлекая из обеих частей равенства квадратный корень, получают:

Прибавляя по

 к обеим частям, приходят к нелепому равенству

2 = 3.

В чем же кроется ошибка?

РЕШЕНИЕ

Ошибка проскользнула в следующем заключении: из того, что

был сделан вывод, что