>>231
α^2=β-kを満たす実数αが存在するには、β-k≧0でなければならないので
あ、最小値である必要はなかったですね
いずれにしてもβ≧kでなければならないですよね？