2025.11.27記
この事実から, を通り,
,
で限られる線分の最小値について結論せよ.
2025.11.29記
本問の「この事実から, を通り,
,
で限られる線分の最小値について結論せよ」の意味は非常にわかりにくいと思います.ここで登場する半直線
,
の
の定め方は結論においては後から定まるものとなるからです.
また,正しくは「 を通る「
とは異なる直線が」
,
と交わる点をそれぞれ
,
とする」です.でないと
,
となる場合を含んでしまいます.
三角形
[ の垂直二等分線に関して
と
,および
と
は対称であるからである].
又 である.何となれば
[ は
の垂直二等分線に垂直であるから,
にも垂直だからである].
従つて は外接円の直径である.
を通る直線が
,
と交わる点をそれぞれ
,
とする.
から
に垂線を下しその足を
,
との交点を
とする.
を通つて
に平行な直線を引き,
,
との交点をそれぞれ
,
とすると,
,
,
,
は共円である.何となれば
[ が円の直径であることから
であり,
から
であるからである].
従つて である.同じく
である.故に
∽
である.ところが
∵
[直角三角形 において斜辺
が最長だからである]
であるから である.
よって を通る直線が
とは異なるとき,
が成立するので,
を通る直線が
と一致するときに
を通り,
,
で限られる線分の長さは最小となる.
つまり,半直線 ,
で挟まれた領域内にある点
を通る直線が,半直線
,
で限られる線分の長さは最小となるのは,点
を通る直線と半直線
,
との交点をそれぞれ
,
としたとき,点
から
に下した垂線の足を
とすると,
が成り立つときである.
にあるように,フィロー線を描くためには 次方程式を解かなければならないので,定木とコンパスで作図をすることはできません.またフィロー線は立方体倍積問題を解く際にフィロー(ビザンチウムのフィロン)がフィロー線を定義したそうです.