Читать «Том (7). Острие шпаги» онлайн - страница 178

41

Примечание автора для особо интересующихся. «Метод спуска» Ферма изложен в его 45-м примечании к «Арифметике» Диофанта и в его письме к Каркави, где для доказательства того, что площадь прямоугольного треугольника не может быть равна квадрату целого числа, говорилось: «Если бы существовал некоторый прямоугольный треугольник в целых числах, который имел бы площадь, равную квадрату, то существовал бы другой треугольник, меньший этого, который обладал бы тем же свойством. Если бы существовал второй, меньший первого, который имел бы то же свойство, то существовал бы, в силу подобного рассуждения, третий, меньший второго, который имел бы то же свойство, и, наконец, четвертый, пятый, спускаясь до бесконечности. Но если задано число, то не существует бесконечности по спуску меньших его (я все время подразумеваю целые числа). Откуда заключаю, что не существует никакого прямоугольного треугольника с квадратной площадью».

Этим методом доказаны частные случаи для степеней = 3 и 4.

42

Примечание автора для особо интересующихся. «Метод подъема» гипотетически мог бы быть изложен так:

Если прямоугольный треугольник можно построить только на плоскости, имеющей два измерения, и свойством такого «плоского места» будет пифагоров закон о том, что квадрат гипотенузы равен сумме квадратов катетов, то нет оснований полагать, что подобные «законы» отражают свойства «пространственных» и «субпространственных мест» с тремя и более измерениями, что при переходе (подъеме) от плоскости к объему (кубу, параллелепипеду или другой пространственной фигуре) диагональ, скажем куба, возведенная в третью степень, будет равна сумме других отрезков, укладывающихся в эту фигуру (сторон куба) в третьей степени. И еще меньше оснований полагать, что при переходе к «невообразимым фигурам» четырех и больше измерений можно найти целочисленное решение для четвертой степени одного отрезка, равного сумме двух других отрезков в четвертых степенях каждый. Для необоснованности подобных предположений достаточно доказать, что целочисленных решений нет, скажем, для биквадратов, что и будет общим доказательством отсутствия целочисленных решений для «пространственных» и «субпространственных» фигур вообще.

Нерешаемость в целых числах уравнения с разложением числа в четвертой степени на два слагаемых в той же степени безупречно доказана Пьером Ферма с помощью его «метода спуска», а для третьей степени спустя столетие Эйлером. В наше время с помощью электронно-вычислительных машин доказана подобная нерешаемость для всех чисел до многих миллионов с показателями от 3 до 100 000, что, по мнению Ферма, доказывать уже не требовалось, поскольку для четвертой степени это доказано и для третьей степени тоже удалось доказать, подтвердив тем, что «вероятностные кривые Ферма» расходятся.