Альберт Виолант-и-Хольц - Том 9. Загадка Ферма. Трехвековой вызов математике

* * *

ЧАСТНЫЕ РЕШЕНИЯ ФЕРМА ДЛЯ СТЕПЕНИ 3

Хотя уравнение х 3+ у 3 = z 3не имеет целых решений, отличных от нуля, они «почти» есть, так как некоторые значения х, у, z«почти» удовлетворяют этому уравнению. Нетрудно видеть, что 5 3+ 6 3 = 7 3— 2 всего на две единицы отличается от равенства, приведенного Ферма. Еще более удивительный случай: 6 3 + 8 3 = 9 3— 1. Кажется невероятным, что мы подобрались так близко к решению, но тем не менее не существует целых чисел, которые бы удовлетворяли уравнению!

Что произойдет, если мы добавим новый член в уравнение Ферма? Удивительно, но в этом случае оно будет иметь целые решения, отличные от нуля! Так, 3 3+ 4 3+ 5 3= 6 3, 7 3+ 14 3+ 17 3= 20 3.

В одном из эпизодов сериала «Симпсоны» можно увидеть равенство 1782 12+ 1841 12= 1922 12.

Неужели Лизе Симпсон удалось решить загадку Ферма? После более тщательного анализа становится понятно, что эти числа «почти» являются решением, так как равенство выполняется с точностью до девятого знака. В другом эпизоде приводится еще более точное решение. В серии «Волшебник с вечнозеленой террасы» упоминается равенство 3987 12+ 4365 12= 4472 12— еще одно «почти» решение, левая и правая части которого совпадают с точностью до десятого знака, и, кроме этого, цифры первых разрядов также совпадают. Обнаружить эту неточность с помощью обычного восьмиразрядного калькулятора невозможно.

* * *

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

С помощью метода бесконечного спуска Ферма нашел доказательство для n = 3, но, возможно, он понял, что доказать теорему аналогичным способом для высших степеней не удастся. Но даже несмотря на это, вклад Ферма остается поразительным — доказав теорему для n = 4, он создал новый математический метод, оказавшийся удивительно многогранным.

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

Труды Фермабыли опубликованы после его смерти. На рисунке — титульный лист одной из книг Ферма, изданной в XIX веке.

Мы неоднократно упоминали, что Ферма не хотел публиковать свои работы. Но это не совсем так. Уже в 1636 году он отправил Мерсенну изложение своего метода нахождения максимумов и минимумов и попросил показать эту работу парижским математикам. Кроме этого, в своей переписке, которую он вел на протяжении всей жизни, Ферма не просто предлагал новые задачи, но и указывал пути их решения, а в некоторых случаях подробно объяснял свои методы.

В 1654 году Ферма возобновил переписку с парижскими математиками. Блез Паскаль обратился к нему с просьбой прокомментировать его идеи о вероятностях, и Ферма гениальным образом увидел связь между вероятностями и комбинаторикой. В своих письмах Паскаль заложил основы новой математической дисциплины — теории вероятностей, и Ферма воспользовался моментом, чтобы представить некоторые из своих последних результатов.

С одной стороны, Ферма предлагал новые задачи теории чисел Блезу Паскалю, Жилю Робервалю, Джону Валлису, Уильяму Броункеру, Бернару Френиклю де Бесси и многим другим. Среди этих задач были следующие: найти все целые решения уравнения Nx 2+ 1 = у 2, где N не является квадратом; доказать, что уравнение х 2+ 2 = у 3имеет только одно решение на множестве натуральных чисел; доказать, что

Уильям Броункербыл одним из многих математиков, с кем переписывался Ферма.