必要です。 xが存在することを確認する必要があるのです。 その問題が x²+y=k x⁴+y²の最小値画像4 と言う問題なら ①は x²=k/10 となり これを満たすxが存在するためにはk≧0でなければならなくなり k=-2√10は解になりません。