方針
とき、底辺半分の長さは 、高さは である。辺を覆う半径 は、各辺上の点から3頂点のうち最も近いものまでの距離の最大値である。底辺上で、底辺端点までの距離と までの距離を比較する。三角形全体の は垂直二等分線による最寄り頂点の領域分割から、鋭角・直角では外心、鈍角では底辺上の等距離点で決める。
解答
一般の頂角 について考える。とおく。ここで は底辺 の中点である。
1. 辺全体を覆う半径
辺 の中点は から距離 で、 からの距離も 以上である。よって が必要であり、辺 は半径 の端点の円で覆える。
から の方向へ距離 だけ進んだ底辺上の点を とするとである。 なので、 から最も近い頂点までの距離は と の小さい方である。
では、最大は での である。 では、増加する と減少する が等しい点で最大となる。を解くとである。これと を比較するとである。
2. 三角形全体を覆う半径
三角形を辺の垂直二等分線で分け、各点を最も近い頂点に対応させる。各分割領域で、対応する頂点から最も遠い候補はその領域の頂点だけを調べればよい。
では外心 が三角形の内部または底辺上にあり、3頂点からの距離は外接円半径である。これは辺の中点での距離 以上であり、また である。したがって最も覆いにくい点は で、 である。
では外心は三角形の外にある。三角形内の最寄り頂点の領域分割では、最大距離は底辺上の となる点でのである。辺の中点での距離 よりも小さくないので、これが三角形全体の最大値である。よってである。
(1) 、 だからである。
(2) 、 だからである。
(3) を戻すとである。境界 でも両側の式は一致する。
総評
難度6、計算量4、想定時間20分。「辺を覆う」と「三角形全体を覆う」を分け、任意の点から最も近い頂点までの距離を最大化する。辺 の中点では第3の頂点からも距離 以上であるため、 の下界に抜けはない。 の上界は外心の位置を述べるだけではなく、最寄り頂点の領域分割で三角形全体が実際に覆われることまで確認した。