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

>>228
2^2=(t+1)^2-t^2…(2)は有理数解を持つので(4)は有理数解をもつが2^2=[{(t+1)^2}+1]-{(t^2)+1}…(3)のu=1の場合,
(t+1)^2+1=z^2,t^2+1=x^2の場合は(5/2)^2+1=29/4=z^2,(3/2)^2+1=13/4=x^2であるから有理数解にならない

この場合は、u=0とすればよいです。