問題
を原点とする座標平面を考える。不等式
が表す領域をとする。また，点，が領域を動くとき，をみたす点が動く範囲をとする。
(1) ，をそれぞれ図示せよ。
% 図は省略
(2) ，を実数とし，不等式
が表す領域をとする。また，点，が領域を動くとき，をみたす点が動く範囲をとする。はと一致することを示せ。
方針
解法1
は で表される原点中心のひし形である。点 は なので、三角不等式から が必要になる。逆にこの不等式を満たす点は 、 と取れば実現できるため、必要十分条件が得られる。(2)では が を だけ平行移動した領域であることを使い、2点の差を取ると平行移動分が消えることを示す。
解法2
領域の和と差として処理する。原点対称な凸領域 では であり、平行移動した領域の差では移動ベクトルが相殺される。
解答
解法1
(1)
は で表される領域である。したがって、頂点 をもつひし形である。
次に 、、 とおく。 だから である。よって三角不等式より
である。したがって は の中に含まれる。
逆に、 を満たす点 を任意に取る。このとき
とおけば なので、 はどちらも に属する。また である。よって である。これは頂点 をもつひし形である。
(2)
は をベクトル だけ平行移動した領域である。したがって、 が を動くことは、ある の点 を用いて と書けることと同じである。
このとき である。右辺 が動く範囲は(1)で求めた そのものだから、 である。
逆に、任意の の点はある の点 により と書ける。この から 、 と取れば、 は に属し、 となる。したがって でもある。
以上より である。
解法2
(1)
は原点対称であるから である。したがってRの動く領域は
は凸集合なので、 に対して である。よって
したがって
の頂点は 、 の頂点は である。
(2)
とおけば である。したがって
よって平行移動の位置によらず は と一致する。
