(修正3)の例、n=3とする。
x^n+y^n=(x+√3)^n…(3)
(3)が成立する場合は、xは√3の有理数倍となる。
(2√3)^3+{19^(1/3)*√3}^3=(2√3+√3)^3…(3)。x,yは整数比とならない。
(3)を定数倍(1/√3倍)する。
2^3+{19^(1/3)}^3=(2+1)^3…(4)となる。x,yは整数比とならない。