問題
平面上でである二等辺三角形を考える。正の実数に対し,それぞれを中心とする半径の円3つを合わせた領域をとする。ただし,この問いでは,三角形と円は周とその内部からなるものとする。辺がすべてに含まれるような最小のを,三角形がに含まれるような最小のをと表す。
(1) のとき,とを求めよ。
(2) のとき,とを求めよ。
(3) を満たすに対して,のとき,とをを用いて表せ。
方針
とき、底辺半分の長さは 、高さは である。辺を覆う半径 は、各辺上の点から3頂点のうち最も近いものまでの距離の最大値である。底辺上で、底辺端点までの距離と までの距離を比較する。三角形全体の は垂直二等分線による最寄り頂点の領域分割から、鋭角・直角では外心、鈍角では底辺上の等距離点で決める。
解答
一般の頂角 について考える。
とおく。ここで は底辺 の中点である。
1. 辺全体を覆う半径
辺 の中点は から距離 で、 からの距離も 以上である。よって が必要であり、辺 は半径 の端点の円で覆える。
から の方向へ距離 だけ進んだ底辺上の点を とすると
である。 なので、 から最も近い頂点までの距離は と の小さい方である。
では、最大は での である。 では、増加する と減少する が等しい点で最大となる。
を解くと
である。これと を比較すると
である。
2. 三角形全体を覆う半径
三角形を辺の垂直二等分線で分け、各点を最も近い頂点に対応させる。各分割領域で、対応する頂点から最も遠い候補はその領域の頂点だけを調べればよい。
では外心 が三角形の内部または底辺上にあり、3頂点からの距離は外接円半径
である。これは辺の中点での距離 以上であり、また である。したがって最も覆いにくい点は で、 である。
では外心は三角形の外にある。三角形内の最寄り頂点の領域分割では、最大距離は底辺上の となる点での
である。辺の中点での距離 よりも小さくないので、これが三角形全体の最大値である。よって
である。
(1)
、 だから
である。
(2)
、 だから
である。
(3)
を戻すと
である。境界 でも両側の式は一致する。