Чтение онлайн

Числа 4, 3, 5 образуют пифагорову тройку: 42 + 32 = 52. Поделив обе части равенства на 52, получим (4/5)2 + (3/5)2 = 1. Теперь, если мы умножим обе части равенства на 22, получим (8/5)2 + (6/5)2 = 22, то есть (64/25) + (36/25) — 4. Если умножить обе части равенства на З2, получим (12/5)2 + (9/5)2 = З2, то есть (144/25) + (81/25) = 9 — именно такое разложение и предлагает Диофант. Таким образом, решение найдено:

(х1 + 1/2) = 8/5,

(x2 + 1/2) = 6/5,

(x3 + 1/2) = 12/5,

(x4 + 1/2) = 9/5.

Вычтем 1/2 из обеих частей каждого равенства и получим ответ, предлагаемый Диофантом. Удивительно, но 13 = 1 + 4 + 4 + 4, то есть представить 13 в виде суммы четырех квадратов можно было намного проще! Подобное разложение дает следующее решение: 1/2, 3/2, 3/2, 3/2.

Загадочное примечание

Баше заметил, что в этой и других задачах «Арифметики» Диофант пользовался тем, что любое число можно представить в виде суммы четырех квадратов. Он проверил эту закономерность для всех чисел до 325, но ему хотелось найти строгое доказательство. Здесь в дело вступил гений Ферма: «Я первым открыл замечательную теорему, которая гласит: всякое натуральное число — либо треугольное, либо сумма двух или трех треугольных чисел; всякое натуральное число — либо квадратное, либо сумма двух, трех или четырех квадратных чисел; всякое натуральное число — либо пятиугольное, либо сумма от двух до пяти пятиугольных чисел и так далее до бесконечности для шестиугольников, семиугольников и любых других многоугольников, изменяя формулировку этой удивительной теоремы в соответствии с числом углов».

Он писал: «Доказательство этой теоремы зависит от различных и запутанных свойств чисел, и я не могу привести его здесь. Я решил посвятить этому вопросу отдельный и полный труд и тем самым удивительным образом продвинуть арифметику далеко за пределы, известные еще с древних времен».

Но эта работа так никогда и не увидела свет. Написал ли ее Ферма? Действительно ли ему удалось найти какое-то доказательство? Неизвестно. Это еще одна загадка Ферма. Известно лишь, что этой задачей занимались математики масштаба Лежандра, Лагранжа, Эйлера и Гаусса, и каждому из них удалось внести свой вклад в ее решение.

В 1770 году Жозеф Луи Лагранж доказал случай для квадратов, то есть утверждение, что любое натуральное число можно представить в виде суммы четырех квадратов. Доказательство этой теоремы для треугольных чисел принадлежит Гауссу, который 10 июля 1796 года записал в дневнике: «**EYRHKA num = + + ».

Этот частный случай оказался эквивалентен следующему утверждению: любое число вида 8m + 3 можно представить в виде суммы трех нечетных квадратов. Дирихле, в свою очередь, изучал, сколькими способами можно представить данное число в виде суммы трех треугольных чисел. Наконец, в 1813 году Коши привел полное доказательство. Для полного решения задачи, вкратце записанной на полях книги, понадобилось почти 150 лет.

Портрет математика Огюстена Луи Коши, который завершил доказательство теоремы, сформулированной Ферма на основе задачи 29 книги IV «Арифметики» Диофанта.

Возвращаемся ко второй книге: задача 8

Задача 8 книги II, несомненно, является важнейшей вехой в истории, которая рассказывается в этой книге. Эта задача звучит так:

«Представить квадратное число в виде суммы двух квадратов».

Затем Диофант приводит следующее решение:

«Пусть дано квадратное число 16. Пусть х2 — один из искомых квадратов. Следовательно, 16 — х2 также будет квадратом. Возьмем квадрат вида (mx — 4)2, где m — любое целое, 4 — квадратный корень из 16. Возьмем в качестве примера (2х — 4)2 и приравняем это выражение к 16 — х2. Следовательно, 4х2 — 16х + 16 = 16 — х2; 5х2 = 16х; х = 16/5. Искомыми квадратами являются 256/25 и 144/25».

Здесь использован тот же прием, что и в задаче 32 книги II. Так как значение m может быть произвольным, то задача может иметь бесконечно много решений.

Все эти решения очень легко найти. На полях страницы, где излагается эта задача, Ферма написал комментарий, который вошел в историю:

«Cubum autem in duos cubos, aut quadrate-quadratum in duos quadrato-quadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est dividere cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet».

Что в переводе означает:

Другими словами, Ферма утверждал, что уравнение хn  + уn  = zn не имеет рациональных решений при х, у, z, отличных от нуля, и n > 2, и оправдывал отсутствие пояснений тем, что найденное им чудесное доказательство не поместится на полях этой страницы. Это напоминает нам пометку к задаче 29 книги IV. Разумеется, это доказательство никогда не увидело свет.

Этот и другие комментарии Ферма не перестают удивлять нас. С одной стороны, кажется, что Ферма никогда не имел намерений опубликовать их. Поэтому от него не следует ожидать каких-либо подробных доказательств. Они больше похожи на личные заметки, которые были нужны, чтобы затем можно было вспомнить ход рассуждений и заняться углубленным изучением темы. Но, с другой стороны, они написаны так, как будто обращены к читателю. Иначе зачем нужно было объяснять самому себе, что чудесное доказательство не поместится на полях страницы или что он не приводит доказательство, так как позднее надеется опубликовать отдельную большую книгу по этой теме? По-видимому, эти пометки действительно были частью его личного дневника, но в то же время Ферма хотел подготовить издание «Арифметики» со своими комментариями.

Вклад Ферма

Как бы то ни было, комментарий не пропал напрасно. Ферма много раз возвращался к нему и действительно хотел привести в порядок и записать свое «чудесное доказательство». Первое, что понял Ферма: из любого рационального решения можно получить целое решение путем умножения на наименьшее общее кратное знаменателей.

Следовательно, достаточно показать, что уравнение не допускает целых решений. С другой стороны, нетрудно видеть, что достаточно доказать лишь случаи для n = р, где р — простое, и для n = 4. Все остальные случаи будут доказаны автоматически. Если n = рm, то уравнение хn + уn = zn будет иметь вид хmр + уmр = zmp, откуда получим (хm)р + (уm)р = (zm)p. Если для показателя степени р решения отсутствуют, то они также отсутствуют для показателей степени, кратных р. Аналогично понятно, что если решения отсутствуют для n = 4, то их также не будет для показателей степени, кратных 4. Поэтому Ферма сосредоточил внимание на том, чтобы доказать, что его уравнение не имеет целых решений для n = р, где р — простое, и для n = 4.