Định Lý Menelaus

Các điểm D, E, F lần lượt nằm trên các đường thẳng BC, CA, AB. Khi đó D, E, F thẳng hàng khi và chỉ khi

${\displaystyle {\frac {\overline {FA}}{\overline {FB}}}\cdot {\frac {\overline {DB}}{\overline {DC}}}\cdot {\frac {\overline {EC}}{\overline {EA}}}=1}$

*Phần thuận: Giả sử D, E, F là 3 điểm thẳng hàng với nhau. Vẽ đường thẳng qua C và song song với AB cắt đường thẳng DE tại G.
Vì ${\displaystyle CG\parallel AB}$  (c.dựng) nên theo định lý Ta-lét, ta có:
${\displaystyle {\frac {DB}{DC}}={\frac {FB}{CG}}}$  ${\displaystyle (1)}$ và ${\displaystyle {\frac {EC}{EA}}={\frac {CG}{FA}}}$  ${\displaystyle (2)}$ 
Nhân ${\displaystyle (1)}$  và ${\displaystyle (2)}$  và vế theo vế
${\displaystyle {\frac {DB}{DC}}\cdot {\frac {EC}{EA}}={\frac {FB}{FA}}}$ 
Từ đó suy ra
${\displaystyle {\frac {FA}{FB}}\cdot {\frac {DB}{DC}}\cdot {\frac {EC}{EA}}=1}$ 
*Phần đảo: Giả sử ${\displaystyle {\frac {FA}{FB}}\cdot {\frac {DB}{DC}}\cdot {\frac {EC}{EA}}=1}$ . Khi đó gọi F' là giao của đường thẳng ED với đường thẳng AB.
Theo chứng minh ở trên, ta có ${\displaystyle {\frac {F'A}{F'B}}\cdot {\frac {DB}{DC}}\cdot {\frac {EC}{EA}}=1}$ 
Kết hợp giả thuyết => ${\displaystyle {\frac {FA}{FB}}={\frac {F'A}{F'B}}}$ 
Hay ${\displaystyle {\frac {FA}{F'A}}={\frac {FB}{F'B}}={\frac {FA+FB}{F'A+F'B}}={\frac {AB}{AB}}=1}$ 
Nên ${\displaystyle F'A=FA}$  và ${\displaystyle F'B=FB}$ 
=> ${\displaystyle F'}$  trùng với ${\displaystyle F}$ .
Vậy định lý đã được chứng minh.

• Định lý Carnot
• Định lý Ceva

• Coxeter, H. S. M. and Greitzer, S. L. "Menelaus's Theorem." §3.4 in Geometry Revisited. Washington, DC: Math. Assoc. Amer., pp. 66–67, 1967.
• Beyer, W. H. (Ed.). CRC Standard Mathematical Tables, 28th ed. Boca Raton, FL: CRC Press, p. 122, 1987.
• Graustein, W. C. Introduction to Higher Geometry. New York: Macmillan, p. 81, 1930.
• Grünbaum, B. and Shepard, G. C. "Ceva, Menelaus, and the Area Principle." Math. Mag. 68, 254-268, 1995.
• Honsberger, R. "The Theorem of Menelaus." Ch. 13 in Episodes in Nineteenth and Twentieth Century Euclidean Geometry. Washington, DC: Math. Assoc. Amer., pp. 147–154, 1995.
• Durell, C. V. Modern Geometry: The Straight Line and Circle. London: Macmillan, pp. 42–44, 1928.
• Graustein, W. C. Introduction to Higher Geometry. New York: Macmillan, p. 81, 1930.
• Wells, D. The Penguin Dictionary of Curious and Interesting Geometry. London: Penguin, p. 150, 1991.

Bài viết liên quan đến hình học này vẫn còn sơ khai. Bạn có thể giúp Wikipedia mở rộng nội dung để bài được hoàn chỉnh hơn. x t s