x^2+y^2=(y+1)^2を満たす有理数s,tの組み合わせ(x,y,z)=(s,t,t+1)は無限にあります。