j+1=x^2,2j=y^2からjを消去してy^2=2(x^2-1)。
x,yが整数ならyが遇数となるから、y=2zと置いて
4z^2=2(x^2-1)すなわちx^2-2z^2=1。ペル方程式の解は(ry

n(n+1)/2=m^2の解を探す。両辺を8倍して1足すと
(2n+1)^2=8m^2+1。ペル方程式の解は(ry