>>228

＞⇔「β^2+β-k-1=0…①を満たす実数βが存在する」かつ「実数βが存在するときα^2=β-kを満たす実数αが存在する」
＞⇔「(βの2次方程式①の判別式)≧0」かつ「(βの最小値)≧k」

ここ

「(βの最小値)≧k」これ何？