フェルマーの最終定理の簡単な証明

＞１９９
x^2+y^2=(y+1)^2はx:y:z=8:15:17の整数解を持たない (17-15≠1であるから)

x^2+y^2=(y+1)^2はx:y:z=8:15:17の有理数解を持ちます。
x=4,y=15/2,z=17/2

x:y:z=8:15:17の整数解は、x=3,y=4,z=5とx=5,y=12,z=13から成り立っています。