方針
を区間 上の2次式として扱う。 なら上に凸なので最小は端点、 なら下に凸なので端点条件に加えて、頂点が区間内に入る場合は頂点での値も見る。 では端点条件だけで頂点条件も自動的に満たされ、 では頂点条件 が境界になる。
解答
与えられた関数は である。
【 の場合】
このとき は上に凸、または1次式である。区間 での最小値は端点のどちらかでとる。したがって が必要十分である。これは を意味する。右辺が0以上でなければならないので、 も必要である。よって である。
【 の場合】
このとき は下に凸である。まず端点で非負であるためには、同じく が必要である。頂点は である。 では、端点条件 のもとで、頂点が区間内に入る場合にも が自動的に成り立つ。実際、 なら である。したがって でよい。 では、端点条件だけでは頂点で負になることがある。頂点が区間内にある範囲での条件は すなわち である。この条件が成り立つには である。よって となる。
以上をまとめると、求める範囲は で表される部分と、 で表される部分の和集合である。図示では、前者は直線 に挟まれた領域、後者は放物線型の境界 の内側であり、両者は で滑らかにつながる。
別解
解法2:平方完成後に頂点の位置で分ける
方針
端点条件を先に とまとめる。 では平方完成し、頂点が区間外なら端点条件、区間内なら頂点条件 を使う。二条件の境界が で交わることを確認する。
解答
まず端点で非負であるための条件はしたがって必ず である。
なら は上に凸または1次式なので、端点条件だけで十分である。よって なら頂点が区間内にある条件は であり、その場合の条件は一方、頂点が区間外なら最小値は端点でとるので、先の端点条件だけでよい。
では、頂点が区間内ならとなり、端点条件だけで十分である。 では頂点条件が境界となり、この条件から も従う。
したがって求める領域はとの和集合である。
総評
難度7、計算量6、目安時間18分。区間上の2次式の最小値を、端点と頂点に分けて調べる領域問題である。、、 の境界を、頂点の位置と値から必要十分に導く。最終領域が 軸方向に対称で、 で二つの境界が連続することも図で確認する。