＞９８４
x=a,y=b (a,bは自然数)のときa^2=2b+1が成立しなくてもx=a/m,y=b/m (m>1は自然数)
とすればこれらがx^2=2y+1の解になることがある
a,b,mが互いに素ならばa,bの少なくともどちらか1つはmで割り切れない

例を上げていただけないでしょうか。