Хорошо, Вы доказали теорему K.,bntkm (может быть еще одну, не помню): если

- катеты, а

- гипотенуза прямоугольного треугольника, и

, то

не является решением уравнения ВТФ.
Вот у второго начала термодинамики есть несколько определений. Например, Томсона, Клаузиуса и много других. Где-то встречал такую информацию, что таких определения больше 40.
Неравенство

верное. Я уже приводил графическое доказательство с кубами в самом начале. Будем подставлять вместо

и

любые натуральные числа. То есть,

и

всегда натуральные числа. В результате вычислений

может быть любым числом. Пусть

не натуральное число. Тогда это так же подтверждает ВТФ, так в этом случае одно число не натуральное. И это подтверждает тот факт, что сумма кубов двух натуральных чисел не может быть равна кубу третьего натурального числа. Допустим, что

натуральное число. Но это так же подтверждает ВТФ. Сумма кубов двух натуральных чисел не может быть равна кубу третьего натурального числа. Можно же как-то иначе сформулировать ВТФ. Если в неравенстве

есть одно не натуральное число, то это неравенство так же подтверждает ВТФ. Смысл такой - если в неравенстве одно не натуральное число, то это только подтверждает тот факт, что сумма кубов двух натуральных чисел не может быть равна кубу третьего натурального числа. А прямоугольный треугольник может служить частный случаем доказательства ВТФ.