>>730
x^2 - 1 = 2y より、x = √(1 + 2y) . ここで 1 + 2y > 0 が実数解を持つための条件になる。

>>728
「高々」は "at most" の訳語で、たとえば高々 3 個だったら 0, 1, 2, 3 個のいずれかであるという意味。
高々一次方程式は一次かゼロ次の方程式であるという意味。