Misplaced Pages

In Euclidean geometry, Menelaus's theorem, named for Menelaus of Alexandria, is a proposition about triangles in plane geometry. Suppose we have a triangle △ABC, and a transversal line that crosses BC, AC, AB at points D, E, F respectively, with D, E, F distinct from A, B, C. A weak version of the theorem states that

$${\displaystyle \left|{\frac {\overline {AF}}{\overline {FB}}}\right|\times \left|{\frac {\overline {BD}}{\overline {DC}}}\right|\times \left|{\frac {\overline {CE}}{\overline {EA}}}\right|=1,}$$

where "| |" denotes absolute value (i.e., all segment lengths are positive).

The theorem can be strengthened to a statement about signed lengths of segments, which provides some additional information about the relative order of collinear points. Here, the length AB is taken to be positive or negative according to whether A is to the left or right of B in some fixed orientation of the line; for example, ${\displaystyle {\tfrac {\overline {AF}}{\overline {FB}}}}$ is defined as having positive value when F is between A and B and negative otherwise. The signed version of Menelaus's theorem states

$${\displaystyle {\frac {\overline {AF}}{\overline {FB}}}\times {\frac {\overline {BD}}{\overline {DC}}}\times {\frac {\overline {CE}}{\overline {EA}}}=-1.}$$

Equivalently,

$${\displaystyle {\overline {AF}}\times {\overline {BD}}\times {\overline {CE}}=-{\overline {FB}}\times {\overline {DC}}\times {\overline {EA}}.}$$

Some authors organize the factors differently and obtain the seemingly different relation $${\displaystyle {\frac {\overline {FA}}{\overline {FB}}}\times {\frac {\overline {DB}}{\overline {DC}}}\times {\frac {\overline {EC}}{\overline {EA}}}=1,}$$ but as each of these factors is the negative of the corresponding factor above, the relation is seen to be the same.

The converse is also true: If points D, E, F are chosen on BC, AC, AB respectively so that $${\displaystyle {\frac {\overline {AF}}{\overline {FB}}}\times {\frac {\overline {BD}}{\overline {DC}}}\times {\frac {\overline {CE}}{\overline {EA}}}=-1,}$$ then D, E, F are collinear. The converse is often included as part of the theorem. (Note that the converse of the weaker, unsigned statement is not necessarily true.)

The theorem is very similar to Ceva's theorem in that their equations differ only in sign. By re-writing each in terms of cross-ratios, the two theorems may be seen as projective duals.

Proofs

A standard proof

A proof given by John Wellesley Russell uses Pasch's axiom to consider cases where a line does or does not meet a triangle. First, the sign of the left-hand side will be negative since either all three of the ratios are negative, the case where the line DEF misses the triangle (see diagram), or one is negative and the other two are positive, the case where DEF crosses two sides of the triangle.

To check the magnitude, construct perpendiculars from A, B, C to the line DEF and let their lengths be a, b, c respectively. Then by similar triangles it follows that $${\displaystyle \left|{\frac {\overline {AF}}{\overline {FB}}}\right|=\left|{\frac {a}{b}}\right|,\quad \left|{\frac {\overline {BD}}{\overline {DC}}}\right|=\left|{\frac {b}{c}}\right|,\quad \left|{\frac {\overline {CE}}{\overline {EA}}}\right|=\left|{\frac {c}{a}}\right|.}$$

Therefore, $${\displaystyle \left|{\frac {\overline {AF}}{\overline {FB}}}\right|\times \left|{\frac {\overline {BD}}{\overline {DC}}}\right|\times \left|{\frac {\overline {CE}}{\overline {EA}}}\right|=\left|{\frac {a}{b}}\times {\frac {b}{c}}\times {\frac {c}{a}}\right|=1.}$$

For a simpler, if less symmetrical way to check the magnitude, draw CK parallel to AB where DEF meets CK at K. Then by similar triangles $${\displaystyle \left|{\frac {\overline {BD}}{\overline {DC}}}\right|=\left|{\frac {\overline {BF}}{\overline {CK}}}\right|,\quad \left|{\frac {\overline {AE}}{\overline {EC}}}\right|=\left|{\frac {\overline {AF}}{\overline {CK}}}\right|,}$$ and the result follows by eliminating CK from these equations.

The converse follows as a corollary. Let D, E, F be given on the lines BC, AC, AB so that the equation holds. Let F' be the point where DE crosses AB. Then by the theorem, the equation also holds for D, E, F'. Comparing the two, $${\displaystyle {\frac {\overline {AF}}{\overline {FB}}}={\frac {\overline {AF'}}{\overline {F'B}}}\ .}$$ But at most one point can cut a segment in a given ratio so F = F'.

A proof using homotheties

The following proof uses only notions of affine geometry, notably homotheties. Whether or not D, E, F are collinear, there are three homotheties with centers D, E, F that respectively send B to C, C to A, and A to B. The composition of the three then is an element of the group of homothety-translations that fixes B, so it is a homothety with center B, possibly with ratio 1 (in which case it is the identity). This composition fixes the line DE if and only if F is collinear with D, E (since the first two homotheties certainly fix DE, and the third does so only if F lies on DE). Therefore D, E, F are collinear if and only if this composition is the identity, which means that the magnitude of the product of the three ratios is 1: $${\displaystyle {\frac {\overrightarrow {DC}}{\overrightarrow {DB}}}\times {\frac {\overrightarrow {EA}}{\overrightarrow {EC}}}\times {\frac {\overrightarrow {FB}}{\overrightarrow {FA}}}=1,}$$ which is equivalent to the given equation.

History

It is uncertain who actually discovered the theorem; however, the oldest extant exposition appears in Spherics by Menelaus. In this book, the plane version of the theorem is used as a lemma to prove a spherical version of the theorem.

In Almagest, Ptolemy applies the theorem on a number of problems in spherical astronomy. During the Islamic Golden Age, Muslim scholars devoted a number of works that engaged in the study of Menelaus's theorem, which they referred to as "the proposition on the secants" (shakl al-qatta'). The complete quadrilateral was called the "figure of secants" in their terminology. Al-Biruni's work, The Keys of Astronomy, lists a number of those works, which can be classified into studies as part of commentaries on Ptolemy's Almagest as in the works of al-Nayrizi and al-Khazin where each demonstrated particular cases of Menelaus's theorem that led to the sine rule, or works composed as independent treatises such as:

• The "Treatise on the Figure of Secants" (Risala fi shakl al-qatta') by Thabit ibn Qurra.
• Husam al-Din al-Salar's Removing the Veil from the Mysteries of the Figure of Secants (Kashf al-qina' 'an asrar al-shakl al-qatta'), also known as "The Book on the Figure of Secants" (Kitab al-shakl al-qatta') or in Europe as The Treatise on the Complete Quadrilateral. The lost treatise was referred to by Sharaf al-Din al-Tusi and Nasir al-Din al-Tusi.
• Work by al-Sijzi.
• Tahdhib by Abu Nasr ibn Iraq.
• Roshdi Rashed and Athanase Papadopoulos, Menelaus' Spherics: Early Translation and al-Mahani'/al-Harawi's version (Critical edition of Menelaus' Spherics from the Arabic manuscripts, with historical and mathematical commentaries), De Gruyter, Series: Scientia Graeco-Arabica, 21, 2017, 890 pages. ISBN 978-3-11-057142-4

References

1. Russell, p. 6.
2. Johnson, Roger A. (2007) , Advanced Euclidean Geometry, Dover, p. 147, ISBN 978-0-486-46237-0
3. Benitez, Julio (2007). "A Unified Proof of Ceva and Menelaus' Theorems Using Projective Geometry" (PDF). Journal for Geometry and Graphics. 11 (1): 39–44.
4. Russell, John Wellesley (1905). "Ch. 1 §6 "Menelaus' Theorem"". Pure Geometry. Clarendon Press.
5. Follows Hopkins, George Irving (1902). "Art. 983". Inductive Plane Geometry. D.C. Heath & Co.
6. Follows Russel with some simplification
7. See Michèle Audin, Géométrie, éditions BELIN, Paris 1998: indication for exercise 1.37, p. 273
8. Smith, D.E. (1958). History of Mathematics. Vol. II. Courier Dover Publications. p. 607. ISBN 0-486-20430-8.
9. ^ Rashed, Roshdi (1996). Encyclopedia of the history of Arabic science. Vol. 2. London: Routledge. p. 483. ISBN 0-415-02063-8.
10. ^ Moussa, Ali (2011). "Mathematical Methods in Abū al-Wafāʾ's Almagest and the Qibla Determinations". Arabic Sciences and Philosophy. 21 (1). Cambridge University Press: 1–56. doi:10.1017/S095742391000007X. S2CID 171015175.

External links

• Alternate proof of Menelaus's theorem, from PlanetMath
• Menelaus From Ceva
• Ceva and Menelaus Meet on the Roads
• Menelaus and Ceva at MathPages
• Demo of Menelaus's theorem by Jay Warendorff. The Wolfram Demonstrations Project.
• Weisstein, Eric W. "Menelaus' Theorem". MathWorld.

v t e Ancient Greek mathematics
Mathematicians (timeline)	Anaxagoras Anthemius Archytas Aristaeus the Elder Aristarchus Aristotle Apollonius Archimedes Autolycus Bion Bryson Callippus Carpus Chrysippus Cleomedes Conon Ctesibius Democritus Dicaearchus Diocles Diophantus Dinostratus Dionysodorus Domninus Eratosthenes Eudemus Euclid Eudoxus Eutocius Geminus Heliodorus Heron Hipparchus Hippasus Hippias Hippocrates Hypatia Hypsicles Isidore of Miletus Leon Marinus Menaechmus Menelaus Metrodorus Nicomachus Nicomedes Nicoteles Oenopides Pappus Perseus Philolaus Philon Philonides Plato Porphyry Posidonius Proclus Ptolemy Pythagoras Serenus Simplicius Sosigenes Sporus Thales Theaetetus Theano Theodorus Theodosius Theon of Alexandria Theon of Smyrna Thymaridas Xenocrates Zeno of Elea Zeno of Sidon Zenodorus
Treatises	Almagest Archimedes Palimpsest Arithmetica Conics (Apollonius) Catoptrics Data (Euclid) Elements (Euclid) Measurement of a Circle On Conoids and Spheroids On the Sizes and Distances (Aristarchus) On Sizes and Distances (Hipparchus) On the Moving Sphere (Autolycus) Optics (Euclid) On Spirals On the Sphere and Cylinder Ostomachion Planisphaerium Spherics (Theodosius) Spherics (Menelaus) The Quadrature of the Parabola The Sand Reckoner
Problems	Constructible numbers Angle trisection Doubling the cube Squaring the circle Problem of Apollonius
Concepts and definitions	Angle Central Inscribed Axiomatic system Axiom Chord Circles of Apollonius Apollonian circles Apollonian gasket Circumscribed circle Commensurability Diophantine equation Doctrine of proportionality Euclidean geometry Golden ratio Greek numerals Incircle and excircles of a triangle Method of exhaustion Parallel postulate Platonic solid Lune of Hippocrates Quadratrix of Hippias Regular polygon Straightedge and compass construction Triangle center
Results	In Elements Angle bisector theorem Exterior angle theorem Euclidean algorithm Euclid's theorem Geometric mean theorem Greek geometric algebra Hinge theorem Inscribed angle theorem Intercept theorem Intersecting chords theorem Intersecting secants theorem Law of cosines Pons asinorum Pythagorean theorem Tangent-secant theorem Thales's theorem Theorem of the gnomon Apollonius Apollonius's theorem Other Aristarchus's inequality Crossbar theorem Heron's formula Irrational numbers Law of sines Menelaus's theorem Pappus's area theorem Problem II.8 of Arithmetica Ptolemy's inequality Ptolemy's table of chords Ptolemy's theorem Spiral of Theodorus
Centers	Cyrene Mouseion of Alexandria Platonic Academy
Related	Ancient Greek astronomy Attic numerals Greek numerals Latin translations of the 12th century Non-Euclidean geometry Philosophy of mathematics Neusis construction History of A History of Greek Mathematics by Thomas Heath algebra timeline arithmetic timeline calculus timeline geometry timeline logic timeline mathematics timeline numbers prehistoric counting numeral systems list Other cultures Arabian/Islamic Babylonian Chinese Egyptian Incan Indian Japanese
Ancient Greece portal • Mathematics portal

• Affine geometry
• Theorems about triangles
• Euclidean plane geometry