Описание слайда:
Несмотря на отсутствие многих важных деталей в беглых заметках Ферма, в них отчетливо просматривался один из способов доказательства от противного, известный под названием метода бесконечного спуска. Чтобы доказать, что уравнение не допускает решения в целых числах, Ферма начал с предположения о существовании гипотетического решения в целых числах x = X1, y = Y1, z = Z1. При изучении свойств чисел (X1, Y1, Z1) Ферма показал, что если бы такое гипотетическое решение действительно существовало, то существовало бы меньшее решение (X2, Y2, Z2). Рассматривая это новое решение, Ферма смог показать, что если бы оно существовало, то существовало бы еще меньшее решение (X3, Y3, Z3) и т.д. Эйлер попытался воспользоваться методом бесконечного спуска в качестве исходного пункта при построении общего доказательства для всех других степеней в уравнении Ферма. Он хотел получить доказательство для всех вплоть до бесконечности, но прежде всего он хотел «опуститься на одну ступень» и получить доказательство при =3. В письме к прусскому математику Христиану Гольдбаху в августе 1753 года Эйлер сообщил, что ему удалось приспособить метод бесконечного спуска и успешно доказать Великую теорему Ферма для случая =3.
Несмотря на отсутствие многих важных деталей в беглых заметках Ферма, в них отчетливо просматривался один из способов доказательства от противного, известный под названием метода бесконечного спуска. Чтобы доказать, что уравнение не допускает решения в целых числах, Ферма начал с предположения о существовании гипотетического решения в целых числах x = X1, y = Y1, z = Z1. При изучении свойств чисел (X1, Y1, Z1) Ферма показал, что если бы такое гипотетическое решение действительно существовало, то существовало бы меньшее решение (X2, Y2, Z2). Рассматривая это новое решение, Ферма смог показать, что если бы оно существовало, то существовало бы еще меньшее решение (X3, Y3, Z3) и т.д. Эйлер попытался воспользоваться методом бесконечного спуска в качестве исходного пункта при построении общего доказательства для всех других степеней в уравнении Ферма. Он хотел получить доказательство для всех вплоть до бесконечности, но прежде всего он хотел «опуститься на одну ступень» и получить доказательство при =3. В письме к прусскому математику Христиану Гольдбаху в августе 1753 года Эйлер сообщил, что ему удалось приспособить метод бесконечного спуска и успешно доказать Великую теорему Ферма для случая =3.