Пусть даны целые числа A, B больше 0, n больше 2.
A, B – взаимнопростые (не имеют общих множителей в составе числа).
Проверим возможность существования целого числа
![$C = \sqrt[n]{A^n+B^n} $ $C = \sqrt[n]{A^n+B^n} $](https://dxdy-03.korotkov.co.uk/f/2/7/a/27a41bb0de440876fa37d133103b5d8782.png)
, (1)
Перепишем
![$C = K \sqrt{AB} = \sqrt[n]{A^n+B^n} $ $C = K \sqrt{AB} = \sqrt[n]{A^n+B^n} $](https://dxdy-01.korotkov.co.uk/f/4/6/e/46eefbf54b9132ff38c296c44a2d666682.png)
. (2)
Чтобы C было целым, множитель K должен быть квадратным корнем рационального числа.
Возведем (2) в степень 2n

. (3)

. (4)
Получилось квадратное уравнение относительно

.
Проверим, при каких значениях дискриминанта можно получить рациональные решения.
Корень из дискриминанта

. (5)
Из (3) видно

, (6)
Соответственно

. (7)
Решения уравнения (4) для

при нечетных n будут иррациональными (частный случай A, B – полные квадраты – тоже решается). Соответственно, K для уравнения (2) будет иррационально в нечетной степени n. Также C в уравнениях (1), (2) будет иррационально.
Для

,

– иррационально,
![$C = \sqrt[3]{A^3+B^3}$ $C = \sqrt[3]{A^3+B^3}$](https://dxdy-03.korotkov.co.uk/f/2/4/7/2473cff061402e6fbf7118b2925fece782.png)
тоже иррационально.