がどのような値のとき、
はすべての実数 に対して成り立つか。
問いを最小値の問題に帰着させる。 この不等式がすべての で成り立つのは、 が左辺のとりうる最小値以下であるとき、ちょうどそのときである。そこで
と定義し、 を求める。あとは事務作業にすぎない。
中央値の近道で答えを予測する。 絶対偏差の和 は、点 の中央値のどれかで最小になる。ここでの 4 点は であり、個数が偶数なので中央の区間 に属する はすべて中央値である。したがって最小値は 全体で達成される—— ではない。これは言いたくなるが誤った主張である。
区間に分けて確認する。 折れ点 は直線を 5 つに切り分け、そのそれぞれの上では各絶対値が定まった符号で外れる:
上でこの関数は減少する直線 であり、 から まで下がっていく。そこで定数なのではない。
最小値を読み取る。 外側の 2 片は中心から離れるにつれて増加し、中央に隣接する 2 片は に向かって下り、 上では関数は定数
である。したがって であり、これはちょうど の上で達成される。抜き取り検査: ✓、 ✓(最小値より真に大きい)、 ✓。
についての条件を述べる。 不等式 がすべての実数 で成り立つのは、
のとき、かつそのときに限る。 なら中央の開いた帯の全体で不等式は成り立たず、 のときの解集合は、隣接する 2 つの 1 次の片を逆に解いて となる。
Need to solve a different problem like this? Open the solver →