>>399
y^2-x≧0という条件がいる

>>398
元の証明に戻れば
|m|=(k^2+n)/(2k+1)∈Z
4|m|-2k+1=(4n+1)/(2k+1)∈Z
で、自明解とは2k+1=±1のときだから
非自明解を持つのは4n+1が(±素数)の形のとき、と言えそう