初等数学によるフェルマーの最終定理の証明９

>>316
> (2^n)k={(t+1)^n}k-(t^n)kは成立するので(3)も成立する。

2^2=(t+1)^2-t^2が成立するtとしてt=3/2がある 2^2={(3/2)+1}^2-(3/2)^2となり成立する
2^2≠{(15/4)+1}^2-(15/4)^2であるから(1)にはx=15/4,y=2(y=2よりk=1)となる解は存在しないということですね？