(βの最小値)≧kでβの実数性は保証されるので
「β^2+β-k-1=0, α^2=β-kを満たす実数α, βが存在する」
⇔(βの最小値)≧k
判別式は不要である