>>530
a=(n+1)/2、b=(n-1)/2は
「a^2-b^2=nを満たす」の十分条件もＯＫですが
「a=(n+1)/2、b=(n-1)/2が0以上の整数である」ことを確認しているわけです。