問題
座標平面上の3点
を頂点とする三角形の内部と境界を とする。実数 に対して
を満たす点 の全体を とする。
(問1) が少なくとも1点を含むための の範囲を求めよ。
(問2) が を含むための の範囲を求めよ。
(問3) 問1の条件のもとで、 が に含まれるための の範囲を求めよ。
方針
解法1
二乗和は重心 を中心に 定数と書ける。これにより は中心 の円板になる。(1) は半径が実数になる条件、(2) は三角形全体を含むために最も遠い頂点まで届く条件、(3) は円板が三角形内に収まるために中心から各辺までの最小距離以下である条件を調べる。
解法2
点 として距離の二乗を直接展開し、平方完成で を円板として読む。包含の向きに応じ、問2では最遠頂点、問3では中心から最寄りの辺までの距離を調べる。
解答
解法1
三角形 の重心を とすると である。任意の点 について、重心の性質より である。実際、 を用いて展開すれば交差項が消える。
ここで であるから となる。したがって は で表される、中心 の円板である。
(1)
が少なくとも1点を含むためには、右辺が0以上であればよい。よって すなわち である。
(2)
は円板で凸であり、三角形 も3頂点の凸包である。したがって が 全体を含むためには、3頂点 が に含まれれば十分かつ必要である。 からの距離の2乗は なので、必要十分条件は である。よって である。
(3)
が に含まれるには、中心 から三角形の各辺までの距離の最小値以下に、円板の半径を抑えればよい。各辺の方程式は である。点 からこれらの直線までの距離は順に
である。最小値は である。
したがって が必要十分であり、 となる。(1) の条件 と合わせて である。
解法2
点 とする。直接展開して平方完成すると
したがって は中心 、半径
の円板である。
(問1)
実数の半径をもつ条件は
(問2)
円板は凸集合なので、三角形 を含むための必要十分条件は3頂点を含むことである。
よって
すなわち
(問3)
3辺の方程式は
点 からの距離は順に
したがって円板全体が に含まれる条件は
よって
