А вот, что

число натуральное вам надо доказать
Так это просто:если оно иррационально,то

также иррационально,что противоречит изначальному предположению.
Вы ищете корни из предположения что теорема Ферма не верна
Если существуют натуральные

,удовлетворяющие уравнению

,то одно из чисел делится на

,что понятно и при этом если

делится на

,оно делится и на

Очевидно

Иррациональность

при иррациональном

следует из этих соотношений.
Используете для этого в основном два натуральных числа

и

. Что недостаточно. Так как эти числа могут быть натуральными и для случая, когда теорема Ферма верна.
Да,эти числа могут быть натуральными,а

иррациональным,то есть

тоже иррациональным. И что с того? Если вы со мной несогласны,приведите контр-пример,когда

иррационально,а

наоборот рационально