Added to Favorites

Menelaus' theorem, attributed to Menelaus of Alexandria, is a theorem about triangles in plane geometry. Given points A, B, C that form triangle ABC, and points D, E, F that lie on lines BC, AC, AB, then the theorem states that D, E, F are collinear if and only if:

- $frac\{AF\}\{FB\}\; cdot\; frac\{BD\}\{DC\}\; cdot\; frac\{CE\}\{EA\}\; =\; -1$

In this equation, $AB$, etc., represent measurements of line segments that are allowed negative values. For example, the fraction $AF/FB$ must be defined as having positive value only when line DEF intersects side AB, and similarly for the other fractions. There is a long-running joke amongst mathematicians that, if this theorem is used to solve a problem, then the 'wrong theorem' was being used (implying that Ceva's theorem should have been used instead).

This is one of many proofs for this theorem. The sign of the left-hand side of the theorem's equation can be checked. Line DEF must intersect the sides of triangle ABC an even number of times—either twice altogether, if it passes into the triangle and out again (upper diagram), or not at all, if it misses the triangle (lower diagram) (Pasch's axiom). Hence there are an odd number of negative terms, and the total product is negative.

Next, the magnitude can be checked. Construct line segments that connect line DEF perpendicularly with vertices A, B, and C. With DEF as the base, let the altitudes of A, B, and C be a, b, and c. By similar triangles, the absolute value of the left-hand side of the theorem simplifies to:

- $left|\; frac\{a\}\{b\}\; cdot\; frac\{b\}\{c\}\; cdot\; frac\{c\}\{a\}\; right|\; =\; 1$

Furthermore, we can prove by contradiction that if the theorem's equation holds, then D, E, F must be collinear.
Let there be a new point F' on AB different from F, and define the measurements of AF, AF', and AB as n, *n'*, and s.
Suppose that F' also satisfies the equation. Then the fractions have equal value:

- $frac\{AF\}\{FB\}\; =\; frac\{AF\text{'}\}\{F\text{'}B\}$

- $frac\{n\}\{s\; -\; n\}\; =\; frac\{n\text{'}\}\{s\; -\; n\text{'}\}$

Ptolemy used Menelaus' theorem as the basis for his spherical trigonometry in the Almagest.

- Alternate proof of Menelaus' theorem, from PlanetMath
- Menelaus From Ceva
- Ceva and Menelaus Meet on the Roads
- Menelaus and Ceva at MathPages
- Menelaus' Theorem by Jay Warendorff. The Wolfram Demonstrations Project.

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Sunday September 28, 2008 at 14:32:21 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Sunday September 28, 2008 at 14:32:21 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2015 Dictionary.com, LLC. All rights reserved.