>>967
2^n=(t+1)^n-t^n=2*(T+1)^(n-1)-2*T^(n-1)…(2)
(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}=[{2*(T+1)^(n-1)}k+U]-{2*T^(n-1)+U}…(3)
n=3の場合 tは無理数,Tは有理数となる

(t^n)k+u=2*{T^(n-1)}k+U=Y^nとおくと(3)は(2)に帰結する
> よって、Yは無理数となる。
T,Uは有理数なので矛盾しているから証明は間違っている