問題
平面上でである二等辺三角形を考える。正の実数に対し,それぞれを中心とする半径の円3つを合わせた領域をとする。ただし,この問いでは,三角形と円は周とその内部からなるものとする。辺がすべてに含まれるような最小のを,三角形がに含まれるような最小のをと表す。
(1) のとき,とを求めよ。
(2) のとき,とを求めよ。
(3) を満たすに対して,のとき,とをを用いて表せ。
方針
頂角を , とおき,底辺 の中点を とする。直角三角形 から , である。辺を覆う半径 は,辺上の点から最も近い頂点までの距離の最大値で決まる。三角形全体を覆う半径 は, では外心までの距離, では底辺上で と近い底辺端点から等距離になる点で決まる。
解答
一般の頂角 について考える。 とし,辺 の中点を とする。三角形は に関して対称で,直角三角形 より である。
まず,辺をすべて含むための半径 を求める。辺 と辺 は長さ1であり,それぞれ両端を中心とする円で覆うには少なくとも が必要である。
底辺 については,対称性により から 側へ距離 だけ進んだ点を考える。ただし である。この点から までの距離は , までの距離は である。 まではさらに遠いので,近い頂点までの距離は である。 のときは であり,底辺上で最も覆いにくい点は中点 である。したがって底辺を覆うのに必要な半径は である。 のときは,底辺上で となる点が最も覆いにくい。この等式を2乗して整理すると だから である。このときの距離は である。
よって
である。
次に,三角形全体を含むための半径 を求める。 のとき,三角形の外心は三角形の内部または辺上にある。この外心は3頂点から等距離にあり,その距離は外接円の半径
である。これより小さい半径では外心が3つの円のどれにも入らない。一方,この半径なら三角形内の任意の点は少なくとも1つの頂点からこの距離以内にあるので,三角形全体が含まれる。したがって である。 のとき,外心は三角形の外側に出る。この場合,最も覆いにくい点は底辺 上で, と近い方の底辺端点から等距離になる点である。先ほどの底辺の計算と同じく,その距離は であり,この半径で辺だけでなく三角形の内部も覆われる。よって である。
(1)
のとき である。したがって
である。よって である。
(2)
のとき であり, である。したがって である。
(3)
を戻すと,求める一般式は
である。境目 では ,境目 では となり,式は連続につながっている。