-1≦β≦1を使うと結局円の定義域を使うことになるので
「β^2+β-k-1=0, α^2=β-kを満たす実数α, βが存在する」
⇔「(βの最小値)≧k」
を使うのがよろしいか