Читать книгу: «Алгоритм решения 10 проблемы Гильберта», страница 5

Доказательство теоремы Ферма

Постановка вопроса о разрешимости диофантовых уравнений подразумевала также доказательство теоремы Ферма[5]. Почему же не может существовать целочисленные значения для уравнений вида

При

Собственно от формулы Пифагора это уравнение отличается только значением степени, поэтому формула Пифагора принадлежит к этим уравнениям.

А раз она принадлежит к данным уравнениям, то для нахождения решений можно применить универсальный алгоритм. Для этого нужно это произвольное уравнение перевести в степень 2

Упростим уравнение

Теперь можно применить одну из формул алгоритма

Для нахождения значений этого уравнения, кратностью можно пренебречь, так как в любом случае существует исходная тройка взаимно простых чисел. Поэтому применим формулу исходного алгоритма

По условиям алгоритма, должно получиться равенство

Предположим, что такое равенство возможно. Но коэффициент числа «b» меньше 1, так как сумма, которую представляет число «с», больше слагаемого, которое представляет число «b».

Из этого следует что

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

При

А так как в приведенных выше примерах доказано, что алгоритм является верным не только для натуральных, но и для всех рациональных чисел, то можно уверенно утверждать: не существует даже рациональных решений для уравнений этого вида.