Найти в Дзене
AZ (Азъ)

ВЕЛИКАЯ ТЕОРЕМА ФЕРМА Формулировка и условия решения

Пьер Ферма часто записывал не доказательства, а лишь краткие указания о методе который он использовал. В одной из книг Диофанта рассматривалась задача о разбиении квадрата на сумму двух квадратов, причем имелись в виду квадраты положительных чисел. На полях книги Ферма записал: «Cubum autem in duos cubos, aut quadrato-quadratum in duos quadrato-quadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duas ejusdem nominis fas est dividere; cujus rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet». «Вместе с тем, невозможно разложить куб на два куба, биквадрат на два биквадрата, и вообще невозможно разложить какую-либо степень большую, чем два, на две степени с таким же показателем. Я нашел поистине удивительное доказательство этого, но поля книги слишком узки, чтобы вместить его». В бумагах Ферма общего доказательства не нашлось. Он опубликовал доказательство только для случая n = 4. Доказательство для n = 3 дано в 1768 г., для n = 5 в 182

Страница книги «Арифметики» Диофанта 1670 г.
Страница книги «Арифметики» Диофанта 1670 г.

Пьер Ферма часто записывал не доказательства, а лишь краткие указания о методе который он использовал. В одной из книг Диофанта рассматривалась задача о разбиении квадрата на сумму двух квадратов, причем имелись в виду квадраты положительных чисел. На полях книги Ферма записал: «Cubum autem in duos cubos, aut quadrato-quadratum in duos quadrato-quadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duas ejusdem nominis fas est dividere; cujus rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet». «Вместе с тем, невозможно разложить куб на два куба, биквадрат на два биквадрата, и вообще невозможно разложить какую-либо степень большую, чем два, на две степени с таким же показателем. Я нашел поистине удивительное доказательство этого, но поля книги слишком узки, чтобы вместить его». В бумагах Ферма общего доказательства не нашлось. Он опубликовал доказательство только для случая n = 4. Доказательство для n = 3 дано в 1768 г., для n = 5 в 1823 г., для n = 7 в 1837 г., в 1851 г. для n = 67, в 1955 г. для степеней до 2521, в 1966 г. до 4002, в 1977 г. до 100000. И вот, наконец, в конце 20 века путем огромных усилий и вычислений теорему якобы удалось доказать. Эндрю Джон Уайлс обнаружил технический метод, позволивший с помощью Ричарда Тейлора, закончить доказательство в 1994 г. Доказательство Уайлса, содержит 129 страниц и опубликовано в журнале «Annals of Mathematics» в 1995 г.

Не касаясь ошибочности указанного решения, можно отметить, что оно не может быть тем искомым, что нашел Пьер Ферма в 17 веке. Поля книги были не достаточно широки, для его записи, но все, же оно могло уместиться на более широких полях или отдельном листе, а не на 129 страницах. Ширина поля книги 5 см, наибольшая длина 63 см (край). Таким образом доказательство занимало 315-450 кв.см рукописного шрифта, меньше страницы формата А 4 ( 623,7 кв.см), при этом часть знаков (интеграл и т.д.) заменялась латинскими словами.

Максимальная ширина поля книги Диофанта
Максимальная ширина поля книги Диофанта