三角形と1直線）
直線$ℓ}$が$△}$ABCの3辺BC,\ CA,\ ABまたはその延長とそれぞれ点P,\ Q,\ Rで交わる.
このとき,\ 以下の関係式が成立する.
三角形と1直線で構成される構図}において線分の比を求めるとき,\ メネラウスの定理が有効である.
左図が超頻出の基本構図だが,\ 直線が三角形と交わらない場合もメネラウスの定理が成立する(右図).
このとき,\ 3点P,\ Q,\ Rが辺BC,\ CA,\ AB}の外分点である.
3点P,\ Q,\ R}のうち外分点が1個または3個(奇数個)}の構図がメネラウスの定理の範疇である.
外分点が0個または2個(偶数個)の構図は,\ 前項で取り上げたチェバの定理の範疇である.
メネラウスの定理は数式を丸暗記しても意味はなく,\ 図形的にその構造を理解する.
A,\ B,\ Cが頂点,\ P,\ Q,\ Rが分点(内分点または外分点)である.}
このとき,\ 以下の順で1周}したものとなっている.
必ず外分点を経由することになるので,\ チェバの定理よりも慣れが必要になる.
複雑な構図では,\ 右図のキツネがメネラウスの定理適用の目安となる.頂点A,\ B,\ Cから直線$ℓ$に垂線AH,\ BI,\ CJを引く}(右図).
様々な証明が考えられるが,\ 代表的な証明を2つ示しておく.
1つ目は,\ 平行線による比の移動を利用}するものである.
平行線により直線BCとCA上の線分の比を直線AB上に移動する}ことで示される.
2つ目は,\ 直角三角形の相似を利用}するものである.
△ ARHと△ BRIは,\ 直角があり対頂角が等しい(2つの角が等しい).}
△ BPIと△ CPJは,\ 直角があり∠ Pが共通である(2つの角が等しい).}
メネラウスの定理によるチェバの定理の証明
高校数学はチェバ\ →\ メネラウスの順で学習するが,\ 実はメネラウスの定理の方が本質的である.
実際,\ メネラウスの定理を用いてチェバの定理を証明することができる.
チェバの定理で求まる線分比は,\ 必ずメネラウスの定理でも求められるということである.
ちなみに,\ 数学史においても,\ メネラウスは1世紀頃,\ チェバは17世紀の人物である.
これほど近しい定理が1600年もの間誰も発見できなかったというのは考えづらい.
あえて別の定理として認識する必要性すら感じられなかったということではないだろうか.
三角形と1点の構図の中には,\ 三角形と1直線の構図(キツネ)が隠れている.
チェバの構図の構成には6本の直線を要するが,\ メネラウスの構図は4本の直線で構成できる.
メネラウスの定理を2回適用して連立する}と,\ チェバの定理が導かれる.
{メネラウスの定理の逆（共線条件）
$△$ABCの辺BC,\ CA,\ ABまたはその延長上にそれぞれ点P,\ Q,\ Rをとる.
3点P,\ Q,\ Rのうち,\ 辺の延長上にある点が奇数個(1か3)であるとする.
$AR}{RB}･BP}{PC}･CQ}{QA}=1\ が成り立つとき,\ 3点P,\ Q,\ Rは1直線上にある.$
2点Q,\ Rがそれぞれ辺CA,\ AB上にあるとする.\ \ $･･････\,①$
\ \ このとき,\ 点Pは辺BCの延長上にある.
\ \ 直線QRと辺BCの延長上交点をP$’$}とする.
\ \ メネラウスの定理より
\ \ 仮定より
\ \ P,\ P$’$はともに辺BCの延長上の点であるから,\ P$’$とPは一致する.
\ \ つまり,\ 3点P,\ Q,\ Rは1つの直線上にある.}
\ \ 2点Q,\ Rがそれぞれ辺CA,\ ABの延長上にあるときも同様である. \\
$\left[l}
3点が1つの直線上にあることを共線},\ 共線となるための条件を共線条件}という.
共線を示す証明問題に対しては,\ メネラウスの定理の逆が有効}である.
ただし,\ 高校数学では,\ ベクトルを利用して共線を示すことが多い.
まず,\ 何が仮定で何が結論かを混同しないように注意する.
[1]\ \ 3点P,\ Q,\ R}のうち,\ 辺の延長上にある点(外分点)が奇数個である.
[2]\ \ AR}{RB}･BP}{PC}･CQ}{QA}=1}\ が成り立つ.
この2つの仮定から,\ 結論「\,3点P,\ Q,\ R}が1つの直線上にある」を示すことになる.
まず,\ 2点Q,\ R}が内分点のときを考える.\ このとき[1]より,\ 残りの点 Pは必ず外分点となる.
3点が1つの直線上にあることを示すには,\,3点目が2点を通る直線上にあることを示せばよい.}
実際には,\ 一旦仮の3点目を設定し,\ これが実際の3点目と一致することを示す.}
3点目としてP’}を設定する.\ この時点では P’と Pは別物であることに注意してほしい.
メネラウスの定理(逆ではない方)と仮定から,\ BP’:P’C=BP:PC}\ が導かれる.
比が等しいから,\ 2点P’,\ P}は同じ外分点のはずである.
つまり,\ 点Pは2点Q,\ Rを通る直線上にある.}
