b=1 のとき b^2-a<0 の場合を直接調べると a=2 だけが残る。b が 2 以上かつ a が b^2 以上なら第二の正の分数は 0 と 1 の間となり整数ではない。従って残りでは b^2-a>0 である。