方針
まず3本の境界直線の交点を求め,領域が三角形であることを確認する。一次式 は三角形上で最大・最小を頂点でとるので,3頂点だけを調べる。 は原点からの距離の2乗であり,最大は三角形の頂点で確認できる。一方,最小は原点から三角形への最短距離なので,各辺への垂線の足が辺上にあるかを確認し,最短となる辺を決める。
解答
境界直線を とする。これらの交点を求める。 と から を得る。 と から を得る。また, と から を得る。
与えられた不等式の向きを確認すると,領域はこの3点 を頂点とする三角形である。
まず を考える。一次式は三角形上で最大値・最小値を頂点でとるので,3頂点で調べればよい。したがって である。
次に を考える。これは点 と原点との距離の2乗である。
最大値については,三角形の内部や辺上で原点からの距離が頂点より大きくなることはない。実際,三角形内の点は3頂点の重み付き平均で表され,距離の2乗は凸な量なので最大は端の点,すなわち頂点で確認すればよい。各頂点でであるから,最大値は である。
最小値は,原点からこの三角形までの最短距離の2乗である。原点は領域に含まれないので,最短点は境界上にある。
辺 は直線 上にある。原点からこの直線に下ろした垂線の足は,直線の法線ベクトル を用いて である。この点は と を結ぶ線分上にある。したがってこの辺までの距離の2乗はである。
念のため他の辺も確認する。辺 は 上にある。原点からこの直線に下ろした垂線の足は線分 上にないので,辺 上で原点に最も近い点は端点である。したがってこの辺での最小候補は であり,いずれも より大きい。
辺 は 上にある。原点からこの直線に下ろした垂線の足は であり,これは線分 上にない。したがって辺 でも最小候補は端点であり, である。これらも より大きい。
よって である。
3本の直線で囲まれる領域
一次式の極値は頂点で、距離の最小値は辺 への垂線の足 で生じる。
別解
方針
可動領域の3頂点を求め、一次式と距離の2乗の最大値は頂点で比較する。距離の2乗の最小値だけは、制約 とコーシー・シュワルツの不等式から直接下界を作り、等号点が領域内にあることを確認する。
解答
3本の境界直線の交点はであり、可動領域は三角形 である。
一次式 は頂点で最大・最小を取る。3頂点での値は順にだから次に、条件 とコーシー・シュワルツの不等式からを得る。よって最初の不等式の等号条件は 、2つ目の等号条件は
なので、等号点はこの点は残る2条件も満たす。したがって最小値は である。
は凸関数なので、三角形上の最大値は頂点で取る。頂点
での値はであるから最大値は である。以上より
総評
目安時間は20分前後。前半は三角形の頂点を正しく出す線形計画,後半は距離の最大・最小問題である。 は頂点だけでよいが, の最小まで頂点だけで判断してはいけない。原点から各辺への垂線の足が線分上にあるかを確認するのが採点上の要点で,特に への足 が辺上にあることを明記したい。