Я хочу расширить действие ВТФ и на показателей степени 2:
Допустим, что уравнение
имеет решения в натуральных числах
.
Тогда данное уравнение разрешимо и в взаимнопростых числах (доказательство пока приводить не буду, но если пойду на фильдсовскую-обязательно напишу).
Перепишем уравнение
в виде
. Или
Правая часть уравнения делится на
, следовательно
тоже делится на
. Положим
и после сокращения получается
Тут очевидно
тоже делится на
, что при
противоречит взаимной простоты
.
Следовательно, уравнениe
может иметь решения в взаимнопростых числах, только если
. Или, что тоже самое, при
Перепишем уравнение
в виде
Проводя аналогичные рассуждения, приходим к выводу, что и
.
Или
. С учетом взаимной простоты
должно выполнятся
но оно не выполняется! Уравнение
не имеет решений в натуральных числах.