«Арифметика» Диофанта — одна из немногих книг, вошедших в историю благодаря одному из своих читателей. Речь о французском адвокате Пьере Ферма. Ферма также был математиком-любителем, однако его «любительские» заслуги намного выше профессиональных достижений многих математиков.
В XVII веке теория чисел еще не была частью роскошного района математики. После удивительного расцвета, достигнутого во времена Диофанта, интерес математиков к теории чисел ослабевал на протяжении полутора тысяч лет, и тут на сцену вышел Ферма и вернул теории чисел прежнюю славу, применив самый действенный способ, какой только известен математикам: он сформулировал несколько интересных задач. Достаточно прочесть его примечания и комментарии на полях «Арифметики» Диофанта. Самуэль Ферма, сын математика, составил сборник этих примечаний и комментариев, дополнил ими издание Баше де Меризиака и опубликовал этот вариант «Арифметики» Диофанта в 1670 году.
Обложка «Арифметики» Диофанта с комментариями Пьера Ферма, изданной его сыном в 1670 году.
В этой книге редко встретишь задачу, предложенную Диофантом или комментарий де Меризиака, для которых Ферма не сформулировал бы дополнение, обобщение или интересную задачу по той же теме. Известнейшую из них Ферма записал на полях книги II рядом с задачей 8: «Представить данный квадрат в виде суммы двух квадратов». Иными словами, в этой задаче Диофант объяснял свой алгоритм нахождения пифагоровых троек: р2 + q2 = r2.
Ферма слегка изменил это уравнение и рассмотрел решения в целых числах для уравнения р3 + q3 = r3. Удивительно, но ему не удалось найти ни одного решения за исключением так называемых тривиальных, то есть 0, 1 и —1. Увидев, что уравнение не имеет решений, Ферма задался вопросом: что будет, если показатель степени будет равен не 3, а 4? Каковы целочисленные решения уравнения р4 + q4 = r4? Для этого уравнения ему также не удалось найти решений. «А что, если этих решений просто нет?» — должно быть, спросил себя Ферма после многочисленных неудачных попыток. Тогда он подошел к проблеме с другой стороны и попытался доказать, что уравнение с показателем степени, равным 4, не имеет целочисленных решений. Применив собственный оригинальный метод, Ферма нашел искомое доказательство. Также возможно, что, немного изменив свой метод, он смог доказать, что уравнение третьей степени также не имеет решений. Но достоверно это неизвестно, ведь Ферма не был профессиональным математиком и не затруднял себя публикацией полученных им результатов, не говоря уже об описании использованных методов и приемов. О том, как он размышлял, известно немного, и часто даже это немногое — лишь плод догадок.
Воодушевленный полученными результатами, Ферма, вероятно, счел, что сможет доказать отсутствие решений (за исключением тривиальных) уравнения рn + qn = rn для любого n > 2. Как же он поступил? Он записал на полях «Арифметики» Диофанта такие слова: «Невозможно разложить куб на два куба, биквадрат на два биквадрата и вообще никакую степень, большую квадрата, на две степени с тем же показателем. Я нашел этому поистине чудесное доказательство, но поля книги слишком узки для него». Благодаря этому простому комментарию юрист Ферма вошел в историю: целый легион математиков, словно обезумев, принялся за поиски «чудесного доказательства» Ферма.
Однако теорема Ферма оказалась весьма крепким орешком — за два последующих столетия ее удалось доказать лишь для нескольких п: простых n = 3 (Эйлер, 1770), n = 5 (Лежандр и Дирихле, 1825) и n = 7 (Ламе, 1839), а также для составных n = 6, 10 и 14. Полное доказательство теоремы Ферма привел английский математик Эндрю Уайлс лишь в 1994 году. Оно занимает несколько сотен страниц, и в нем используются сложнейшие математические понятия и методы XX столетия.
Уравнение Маркова
Диофантово уравнение, которое мы рассмотрим ниже, названо в честь русского математика Андрея Андреевича Маркова (1856–1922). Оно записывается так:
p2 + q2 + r2 = 3·p·q·r.
Натуральные числа, которые являются решениями этого уравнения (точнее, натуральные числа р, для которых существуют q и r такие, что р, q, r удовлетворяют уравнению), упорядоченные по возрастанию, называются числами Маркова. О них известно немало, но далеко не все. Так, известно, что чисел Маркова бесконечно много и что первые 16 членов ряда таковы: