но при этом потребует вывести и постоянно учитывать соотношение
Долго думала над этой фразой, и к своему стыду не поняла, зачем вводить это соотношение? разве не достаточно изначально заданных
и
???
Не достаточно. У Вас было три переменных, связанных одним уравнением (
). То есть две степени свободы. Вы добавляете четвёртую и пятую переменные (
). Каждый, кто пытается проверить Ваши выкладки, вынужден делать обратную подстановку, раскрывать скобки, смотреть, что же мы здесь имеем в рамках изначальных двух степеней свободы? Если Вы хотите ими пользоваться, то исключите, например,
из системы
(Да, Вам это "неудобно", так как у Вас потом
фигурирует. Но тогда что Вам стоит писать пэ и дэ явно и делать те же выводы?)
Видимо, результат такого исключения и предложен в цитате. И теорема Ферма принимает вид:
доказать, что уравнение при целых положительных не имеет решений. Ничего нового (и может даже доказательство упростится), но авторский вариант выглядел красивше. В эквивалентности, впрочем, не уверен: следует ли из целостности
целостность
? Лень думать, пишу только про очевидное.
Ещё раз: Вы доказываете только что сформулированную зелёную теорему. В которой пока нет никаких а и бэ.
Либо Вы доказываете теорему в авторском варианте.
А смешивать Вы пока не умеете.