Уважаемый
Onoochin, ВТФ ничего не предполагает, кроме того, что числа x, y, z являются натуральными числами числами:
https://ru.wikipedia.org/wiki/%D0%92%D0 ... 0%BC%D0%B0"Конвенционно" понимание было расширено, чтобы рассматривать домен
Z. Это есть уже своего рода "отход" от первоначальных условий.
Следовательно, Ваше утверждение
Но при этом
из (3) и
из (1) вообще говоря - разные числа
ложно, строго говоря. Может, какие-то из них совпадают? Да, я -и не о числах, см. ниже. Посудите сами, когда доказзывают ВТФ, то рассматривают 2 случая, но x, y, z есть взаимно простые числа при обоих этих случаях:
1) когда в уравнении ВТФ,
, переменные x и y являются числами с разной чётностью, соответственно, z является нечётным параметром;
2) когда в уравнении ВТФ,
, переменные x и y являются числами с одинаковой чётностью, точнее, оба-нечётные соответственно, z является чётным параметром.
В бинарной числовой системе вы может два этих случая записать цифрами, a, b, c, в правой (нулевой) позиции. Соответственно, для случая 1, после возведения в степень, -Вы будете ВСЕГДА иметь для этих цифр (напоминаю-УЖЕ возведённых в степень p) следующую сумму:
-при этом "избыток" уходит влево-мы пишем пока только цифры в нулевой позиции, крайние справа. (Правильнее, наверное, поставить знак "тождество". )Соответственно, для случая 2 Вы будете иметь сумму
-при этом "избыток" уходит влево тоже-мы пишем пока только цифры в нулевой позиции, крайние справа.
По этим причинам рассуждения
вообще говоря - разные числа
В представленном док-ве эти числа одинаковые
Т.е. док-во - не док-во ВТФ, а другой теоремы с более строгими условиями.
НЕРЕЛЕВАНТНЫ к представленному доказательству, поскольку речь идёт о цифрах в упоминаемых Вами числах, а не о самих этих числах, как предполагаемых тройках Ферма.