>>8
> >>3
> > L^3=19+{(t+1)^3}k-t^3となります。
> k=1のときLは有理数になる
>
> u=19-t^3を
> u=M^3-(t^3)kに代入すると、
> M^3=19-t^3+(t^3)kとなります。

> M^n=(t^n)kとすると、
Mは無理数であるがM^3=t^nは成立していないから
> L^n={(t+1)^n}k,M^n=(t^n)kとすると、L,Mは無理数となる。よって、xも無理数。
では全ての解がカバーされていないことが示された

Mが有理数になるようなuも無数にあるので [例 u=133-(t+1)^3,k=1のときM^3=5^3]
> L^n={(t+1)^n}k,M^n=(t^n)kとすると、L,Mは無理数となる。よって、xも無理数。
では全ての解がカバーされていないことが更に示された

よって証明は間違い