>>318
> (2^n)k={(t+1)^n}k-(t^n)kに未知数はありません。全て既知数です。

未知数がないのになぜ解がある/ないを論じるんだ?

(2^n)k={(t+1)^n}k-(t^n)kの両辺をkで割ると、
(2^n)={(t+1)^n}-(t^n)となります。
未知数はtです。
tは有理数では、ありません。
前段で、tは無理数であることを、説明しています。