問題
平面上に3点,,がある.,,を内部または周上に含む半径最小の円をとする.
(1) 三角形が鋭角三角形または直角三角形のとき,は三角形の外接円となることを証明せよ.
(2) ,とし,は条件,を満たしながら動く.円が三角形の外接円と異なるようなの動きうる範囲を図示せよ.
方針
(1) は外心が三角形の内部または辺上にあることを用い,外心を3頂点の位置ベクトルの重みつき平均で表す。任意の円の中心から3頂点までの距離の最大値が外接円半径以上になることを,重みつき平均した平方距離で示す。(2) は,最小円が外接円と異なるのは三角形が鈍角三角形のときであることを(1)と直角三角形の場合から判断し,各頂点の角が鈍角となる条件を内積で求める。
解答
(1)
三角形 の外接円の中心を ,半径を とする。鋭角三角形または直角三角形では,外心 は三角形の内部または辺上にある。したがって, を原点とする位置ベクトルを とすれば,ある が存在して ,かつと表せる。また である。
いま,中心を任意の点 とする円が を内部または周上に含むとする。 を原点とした の位置ベクトルを とおく。この円の半径を とすれば,,, である。一方,
である。左辺は3つの平方距離の重みつき平均なので,3つの距離がすべて より小さいことはない。よって である。
外接円自身は を周上に含む半径 の円であるから,半径最小の円 は外接円である。
(2)
(1) より,三角形 が鋭角または直角ならば は外接円である。逆に鈍角三角形なら,最大辺を直径とする円が3点を含み,その半径は外接円の半径より小さいので, は外接円と異なる。したがって,求める範囲は三角形 が鈍角三角形となる範囲である。
,, とする。角 が鈍角である条件は
すなわち である。
角 が鈍角である条件はより である。角 が鈍角である条件はより である。
よって求める範囲は,条件 , のもとでを満たす部分である。すなわち,半径2の円 から 軸上の点を除いた範囲のうち,単位円 の内部と,直線 , の外側の部分を合わせた領域である。境界 ,, は直角三角形に対応するので含まない。ただし外側の境界 は条件により含む。