Равенство

становится неравенством

, так как мы уменьшили

.
Ну ошибся. Ну будем считать, что я этого не писал. Просто в голове был заскок. Думало о равенстве в случае квадаратов и автоматом написал, что и в случае кубов будет равенство.
-- 24.01.2024, 17:50 --Поправил.
Есть очень большой прямоугольный треугольник. Гипотенуза равна натуральному очень большому числу. Катеты не равны натуральным числам. Укорачиваем один из катетов

, чтобы он стал равен натуральному числу. Неравенство

, остаётся верным, так как мы уменьшили

. Затем укорачиваем второй катет

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

не нарушается, так как мы уменьшаем только

и

, а

остаётся неизменным. Треугольник имеет большой размер, поэтому можно создать множество треугольников, изменяя размеры

и

. Таким образом можно подобрать множество троек натуральных чисел, кубы которых не равны. Потом у прямоугольного треугольника уменьшим гипотенузу до следующего натурального числа и можно повторить процедуру с укорочением катетов. Найдём множество других троек натуральных чисел, кубы которых не равны. Можно поступить и так. Есть прямоугольный треугольник, у которого катеты равны натуральным числам, а гипотенуза не равна натуральному числу. Удлиняем гипотенузу, чтобы она стала натуральным числом. Равенство

становится неравенством

. Или укорачиваем гипотенузу до другого натурального числа. Равенство

становится неравенством

. Но это неважно. В теореме Ферма ведь нет указания но то, что должно быть больше другого. Главное, что они не равны.