>>137
> x^2+y^2=(y+1)^2が整数解を持つならば、
> 必ず分数解を持つ。

m>1,a,bが自然数であるとすると分数解は
m,a,bが互いに素であるような解(x,y,z)=(a/m,b/m,b/m+1)である

m=3の場合
x^2+y^2=(y+1)^2が整数解を持つならば
3,a,bが互いに素であるような分数解(x,y,z)=(a/3,b/3,(b/3)+1)を持つ
が正しいことを示せ