メネラウスの定理
定理 : の辺 またはその延長が, 三角形の頂点を通らない直線 とそれぞれ点 で交わるとき, 次の等式が成り立つ.
この定理では考えられる図として[1]の交点のうち 2 つが三角形の辺上にある場合と, [2]の 3 つの交点すべてが三角形の辺の延長上にある場合の 2 通りが考えられます.
[1]はよく使うのに対して, [2]の場合はたまにしか使わず, 気付きにくいですが, どちらも重要です.
この定理の式は見た目はややこしいですが, 三角形の頂点と, 直線 との交点とを交互にたどっていくイメージをすれば覚えやすいです.
(頂点 →交点 →頂点 →交点 →頂点 →交点 →頂点 )
メネラウスの定理の逆
定理:
の辺 またはその延長上に, それぞれ点 があり, この 3 点のうち 1 個または 3 個が辺の延長上の点であるとする. このとき,
メネラウスの定理ほどではありませんが, こちらも重要な定理です.の辺 またはその延長上に, それぞれ点 があり, この 3 点のうち 1 個または 3 個が辺の延長上の点であるとする. このとき,
が成り立つならば, 3点 は一直線上にある.
証明
メネラウスの定理
の頂点 を通り, 直線 に平行な直線を引き, 直線 との交点を とすると, いずれの図の場合も平行線と比に関する定理から,
よって,
となる. ▯
メネラウスの定理の逆
直線 と辺 の延長の交点を とすると, メネラウスの定理よりが成り立つが, 一方仮定より
なので,
と はともに辺 の延長上にあるので, 2点 と は一致する.
よって, 3点 は一直線上にある. ▯
逆の証明にメネラウスの定理自身を使っているので不思議な感じですが, 元の定理とその逆は互いに独立の命題なので問題ありません.