На полях арифметики Ферма написал следующее:
"Cubum autem in duos cubos, aut quadrato-quadratum in duos quadrato-quadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duas ejusdem nominis fas est dividere; cujus rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.", что в переводе означает:
"Наоборот, невозможно разложить куб на два куба, биквадрат на два биквадрата и вообще никакую степень, большую квадрата, на две степени с тем же показателем. Я нашел этому поистине чудесное доказательство, но поля книги слишком узки для него."
Ещё раз говорю,утверждения теоремы для натуральных и для положительных рациональных чисел полностью эквивалентны и доказывается это простым приведением уравнения к общему знаменателю.
Вы доказали,что
C^n=(K1*C^m)^2 + (K2*C^m)^2, где m=(n-2)/2.
Но ведь число m может оказаться не целым,тогда катеты не будут рациональны,значит и доказательство теряет смысл!
Кстати,можно выполнить обратную подстановку и вернуться к исходному уравнению.Иными словами,получается просто подгонка под ответ,по моему мнению.