三角形のフェルマー点の3通りの証明

フェルマー点
  • 三角形 ABCABC の各頂点からの距離の和 AF+BF+CFAF+BF+CF を最小にする点 FF をフェルマー点と言う。

  • 最大角が 120120^{\circ} 未満の三角形 ABCABC において,フェルマー点は三角形の内部に存在して AFB=BFC=CFA=120\angle AFB=\angle BFC=\angle CFA=120^{\circ}

フェルマー点とは

三角形 ABCABC において,三頂点からの距離の和 AF+BF+CFAF+BF+CF を最小にする点をフェルマー点といいます。距離の和を最小にするというのは工学的にも重要です。例えば「三軒の家に電線を使って電気を配給するときに,どこに電柱を立てれば電線の長さを短くできるか?」といった問題です。

このページではフェルマー点が AFB=BFC=CFA=120\angle AFB=\angle BFC=\angle CFA=120^{\circ} を満たす点であることを3通りの方法で証明します。

  • 初等幾何を用いた有名な方法
  • 楕円の性質を用いた方法
  • トレミーの定理を用いた方法

2では楕円の反射定理を,3ではトレミーの不等式を前提知識として用います。3つとも面白いですが,個人的には2番目の方法がおすすめです。

  1. 初等幾何によるフェルマー点の証明

方法

線分の和を最小化する問題は多くの場合 線分和を同じ長さの折れ線に移して,「折れ線は直線のときに最小になる」という性質を用いることで解決します。

証明

フェルマー点の証明1

三角形の内部の点を PP とする。PP と頂点 CC を 「AA を中心として反時計回りに 6060^{\circ} 回転させた点」を Q,DQ, D とおく。三角形 APQ,ACDAPQ,ACD は正三角形となる。

三角形 APCAPCAQDAQD は2辺とその間の角がそれぞれ等しいので合同となり,PC=QDPC=QD である。

よって, AP+BP+CP=BP+PQ+QDBD AP+BP+CP=BP+PQ+QD\geq BD

この不等式は任意の内部の点 PP に対して成立する。

三角形 ABCABC の最大角が 120120^{\circ} 未満のとき,内部の点 PP をうまく選ぶと B,P,Q,DB, P, Q, D がこの順で一直線上に並び,上記不等式で等号が成立する。このとき,

APB=180APQ=120APC=AQD=180AQP=120\begin{aligned} \angle APB &= 180^{\circ}-\angle APQ\\ &=120^{\circ}\\ \angle APC &= \angle AQD\\ &=180^{\circ}-\angle AQP\\ &=120^{\circ} \end{aligned}

ちなみに,三角形の最大角が 120120^{\circ} 以上のとき

  • B,P,Q,DB, P, Q, D がこの順で一直線上になるような内部の点 PP をとることはできません。例えば,A120\angle A\geq 120^{\circ} のとき 線分 BDBD は三角形の内部を通りません。
  • フェルマー点は最大角の頂点と一致することが知られています。

  1. 楕円の性質を用いたフェルマー点の証明

方針

線分の和が一定となる軌跡は楕円です。楕円の性質をうまく用いるとフェルマー点が簡単に導けます。前提知識として楕円の反射定理(→楕円の反射定理とその証明)が必要になります。

証明

フェルマー点の証明2

BP+CPBP+CP が一定となる軌跡は B,CB, C を焦点とする楕円 EE

よって,BP+CPBP+CP が一定のもとで AP+BP+CPAP+BP+CP が最小になるのは,PP における EE の接線と APAP が直交するとき。

このとき,楕円の反射定理より,BPA=CPA\angle BPA=\angle CPA となる。同様にして,PP がフェルマー点となるとき CPA=APB=BPC\angle CPA=\angle APB=\angle BPC が分かる。

狐につままれたような証明ですが,楕円の性質をきちんと理解していればこの証明が一番簡潔でわかりやすいと思います。「焦点から光線を打つと壁に反射して反対側の焦点に到達する」という楕円の性質を利用しています。

  1. トレミーの不等式を用いたフェルマー点の証明

方針

以下のトレミーの不等式を用います。

平面上の任意の4点 A,B,C,DA, B, C, D に対して, AB×CD+AD×BCAC×BD AB\times CD +AD\times BC\geq AC\times BD

等号成立条件は,A,B,C,DA, B, C, D がこの順番に円周上にあるとき。

証明

フェルマー点の証明3

直線 BCBC に関して AA と反対側に,三角形 BCDBCD が正三角形となるように点 DD を取る。

トレミーの不等式より,BP+CPPDBP+CP\geq PD となり,

AP+BP+CPAP+PDAD AP+BP+CP\geq AP +PD\geq AD

等号が成立するのは,B,P,C,DB, P, C, D が同一円周上にあり,A,P,DA, P, D が一直線上にあるとき。

このとき, APB=180BPD=180BCD=120\begin{aligned} \angle APB &= 180^{\circ}-\angle BPD\\ &= 180^{\circ}-\angle BCD\\ &= 120^{\circ} \end{aligned}

同様にして APC=120\angle APC=120^{\circ} も示せる。

トレミーの不等式の証明は長くなるので,気になる人は以下を参照してください。 →トレミーの不等式の証明と例題

トレミーの定理を正三角形に適用するのは,トレミーの定理とその3通りの証明,応用例の応用例3の構図で頻出なのでなんとなく覚えておくとよいでしょう。

ちなみに……解析幾何(座標計算,ベクトル計算をゴリゴリする)でも頑張って証明しようとしたのですが,挫折しました。やはり角度が絡む問題は座標で扱うのは厳しいようです。

2013年の東大の入試問題でもフェルマー点に関する問題が出題されています。

Tag:東大入試数学の良問と背景知識まとめ

Tag:三角形の五心に関する定理まとめ

Tag:有名な定理を複数の方法で証明