С другой стороны, решенная задача имеет чисто арифметический смысл. Если бы задача имела геометрический смысл, то сложение числа, возведенного в квадрат, с другим числом было бы равносильно сложению площади и длины — величин разных порядков. Теорема Пифагора — совершенно иной случай: она гласит, что сумма квадратов катетов равна квадрату гипотенузы, то есть площадь двух квадратов, построенных на катетах, равна площади большого квадрата, построенного на гипотенузе. В этом равенстве все величины имеют один порядок. В теореме Ферма все степени также имеют одинаковые показатели: х + у = z. При n = 3 можно представить, что мы складываем объемы кубов и получаем объем третьего, большего куба. Для больших степеней речь будет идти уже о многомерных фигурах в многомерных пространствах.
Параллельные рассуждения
Эта задача также характеризуется тем, что ее решение нетривиально. Его сложно найти случайно. Подобным свойством обладают и многие другие задачи из «Арифметики». Кроме этого, Диофант довольствовался одним частным решением и не стремился решить задачу в общем виде, чтобы найти все возможные решения. Несмотря на это, его результаты открывают возможность провести параллельные рассуждения, с помощью которых можно найти новые решения, не упоминаемые в книге.
Например, если вместо последнего условия 4х — 4 мы используем 4х — 5, то получим другое, полностью корректное решение:
(4х + 3) + х = (4х — 5) —>
16х + 24х + 9 + х = 16х — 40х + 25 —>
24х + 9 + х = — 40х + 25 —>
24х + х + 40х = 25 — 9 —>
65х = 16 —>
х = 16/65.
Мы получили еще одно решение: 16/65, 97/65, 259/65.
Если вместо последнего условия 4х — 4 мы используем 5х — 3, то получим еще одно корректное решение:
(4х + З) + х = (5х — 3) —>
16х + 24х + 9 + х = 25х — 30х + 9.
Сократив девятки в обеих частях равенства, получим:
16х + 24х + х = 25х — 30х.
Поделив обе части на х, имеем:
16х + 24 + 1 = 25х 30 —>
24 + 1 + 30 = 25х — 16х —>
55 = 9х —>
х = 55/9.
Мы получили еще одно решение: 55/9, 119/9, 247/9. Теперь нам открываются новые задачи. Например, существуют ли целые решения, которые удовлетворяют этим условиям?
Задача 29 из книги IV
Еще одна, также очень известная задача из «Арифметики» — это задача 29 из книги IV. Она звучит так:
«Найти четыре квадрата, сумма которых, увеличенная на сумму их сторон, будет равна данному числу».
И снова мы видим всю гениальность Диофанта:
«Пусть дано число 12. х + х + 1/4 — квадрат. Следовательно, сумма четырех квадратов + сумма их сторон + 1 = сумма других четырех квадратов = 13. Следовательно, нужно разделить 13 на четыре квадрата, и, если мы вычтем 1/2 из всех его сторон, получим стороны искомых квадратов.
Имеем 13 = 4 + 9 = (64/23 + 36/25) + (144/25 + 81/25), и стороны искомых квадратов равны 11/10, 7/10, 19/10, 13/10. Их квадраты соответственно равны 121/100, 49/100, 361/100, 169/100».
Рассуждения полностью корректны для частного случая n = 12. Эту задачу в современной форме записи можно представить так:
«Найти x, х, х, х такие, что
х + х + х + х + х + х + х + х = n,
где n — данное число».
Прибавив 1 к обеим частям равенства, получим
х + х + х + х + х + х + х + х + 1/4 + 1/4 + 1/4 + 1/4 = n + 1.
Переупорядочив слагаемые и предположив, что n = 12, имеем
х + х + 1/4 + х + х + 1/4 + х + х + 1/4 + x + х + 1/4 = 12 + 1.
Принимая во внимание, что х + х + 1/4 = (х + 1/2), можно записать следующее:
(x + 1/2) + (х+ 1/2) + (х + 1/2) + (х+ 1/2) = 13.
Осталось лишь представить 13 в виде суммы четырех квадратов. В данном конкретном случае нетрудно заметить, что 13 является суммой двух квадратов, 4 и 9. Используя теорему Пифагора, нетрудно выразить каждое из этих чисел в виде суммы двух квадратов, как делает сам Диофант в других задачах «Арифметики».
Числа 4, 3, 5 образуют пифагорову тройку: 4 + 3 = 5. Поделив обе части равенства на 5, получим (4/5) + (3/5) = 1. Теперь, если мы умножим обе части равенства на 2, получим (8/5) + (6/5) = 2, то есть (64/25) + (36/25) — 4. Если умножить обе части равенства на З, получим (12/5) + (9/5) = З, то есть (144/25) + (81/25) = 9 — именно такое разложение и предлагает Диофант. Таким образом, решение найдено:
(х + 1/2) = 8/5,
(x + 1/2) = 6/5,
(x + 1/2) = 12/5,
(x + 1/2) = 9/5.
Вычтем 1/2 из обеих частей каждого равенства и получим ответ, предлагаемый Диофантом. Удивительно, но 13 = 1 + 4 + 4 + 4, то есть представить 13 в виде суммы четырех квадратов можно было намного проще! Подобное разложение дает следующее решение: 1/2, 3/2, 3/2, 3/2.
Загадочное примечание
Баше заметил, что в этой и других задачах «Арифметики» Диофант пользовался тем, что любое число можно представить в виде суммы четырех квадратов. Он проверил эту закономерность для всех чисел до 325, но ему хотелось найти строгое доказательство. Здесь в дело вступил гений Ферма: «Я первым открыл замечательную теорему, которая гласит: всякое натуральное число — либо треугольное, либо сумма двух или трех треугольных чисел; всякое натуральное число — либо квадратное, либо сумма двух, трех или четырех квадратных чисел; всякое натуральное число — либо пятиугольное, либо сумма от двух до пяти пятиугольных чисел и так далее до бесконечности для шестиугольников, семиугольников и любых других многоугольников, изменяя формулировку этой удивительной теоремы в соответствии с числом углов».
Он писал: «Доказательство этой теоремы зависит от различных и запутанных свойств чисел, и я не могу привести его здесь. Я решил посвятить этому вопросу отдельный и полный труд и тем самым удивительным образом продвинуть арифметику далеко за пределы, известные еще с древних времен».