>>339 の続き。

n = [(b + √D)/2|c|] とおく。
即ち
n ＜ (b + √D)/2|c| ＜ n + 1

よって
2|c|n ＜ b + √D ＜ 2|c|n + 2|c|

r = -b + 2|c|n
だから

√D - 2|c| ＜ r ＜ √D