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

(3)が整数解を持つならば、有理解も、解を持つ。
例
x^2=(y+1)^2-y^2
3^2=5^2-4^2（整数解）
5^2=13^2-12^2（整数解）
より、3*5=15,12+5=17,12-4=8
15^2=17^2-8^2
が求められる。これは、
4^2+(15/2)^2=(17/2)^2（有理数解）
と同じ。