すまない、「整数解」が抜けていた。正しくは

m,nは正の整数とする。x,yの方程式
mx^2-ny^2=1
が整数解をもつとき、この方程式は無数に多くの整数解を持つことを証明せよ。