Menelaus' theorem

Menelaus' theorem
Menelaus' theorem, case 1: line DEF passes inside triangle ABC

Menelaus' theorem, named for Menelaus of Alexandria, is a theorem about triangles in plane geometry. Given a triangle ABC, and a transversal line that crosses BC, AC and AB at points D, E and F respectively, with D, E, and F distinct from A, B and C, then

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

This equation uses signed lengths of segments, in other words 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, AF/FB is defined as having positive value when F is between A and B and negative otherwise.

The converse is also true: If points D, E and F are chosen on BC, AC and AB respectively so that

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

then D, E and F are collinear. The converse is often included as part of the theorem.

The theorem is very similar to Ceva's theorem in that their equations differ only in sign.

Contents

Proof

Menelaus' theorem, case 2: line DEF is entirely outside triangle ABC

A standard proof is as follows:[1]

First, the sign of the left-hand side negative since either all three of the ratios are negative, the case where the line DEF misses the triangle (lower diagram), or one is negative and the other two are positive, the case where DEF crosses two sides of the triangle. (See Pasch's axiom.)

To check the magnitude, construct perpendiculars from A, B, and C to the line DEF and let the lengths be a, b, and c respectively. Then by similar triangles it follows that |AF/FB| = |a/b|, |BD/DC| = |b/c|, and |CE/EA| = c/a. So

\left|\frac{AF}{FB}\right| \cdot \left|\frac{BD}{DC}\right| \cdot \left|\frac{CE}{EA}\right| = \left| \frac{a}{b}  \cdot \frac{b}{c} \cdot \frac{c}{a} \right| = 1

For a simpler, if less symmetrical way to check the magnitude,[2] draw CK parallel to AB where DEF meets CK at K. Then by similar triangles

\left|\frac{BD}{DC}\right| = \left|\frac{BF}{CK}\right|,\,\left|\frac{AE}{EC}\right| = \left|\frac{AF}{CK}\right|

and the result follows by eliminating CK from these equations.

The converse follows as a corollary.[3] Let D, E and F be given on the lines BC, AC and 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 and F′. Comparing the two,

\frac{AF}{FB} = \frac{AF'}{F'B}

But at most one point can cut a segment in a given ratio so F=F′.

A non-computational proof using homothecies

The following proof[4] uses only notions of affine geometry, notably homothecies. Whether or not D, E, F are collinear, there are three homothecies 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 homothecy-translations that fixes B, so it is a homothecy 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 and E (since the first two homothecies 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 product of the three ratios is 1:

\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.[5]

In Almagest, Ptolemy applies the theorem on a number of problems in spherical astronomy.[6] During the Islamic Golden Age, Muslim scholars devoted a number of works that engaged in the study of Menelaus' 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.[6] 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' theorem that led to the sine rule,[7] or works composed as independent treatises such as:

  • The "Treatise on the Figure of Secants" (Risala fi shakl al-qatta') by Thabit ibn Qurra.[6]
  • 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 Al-Tusi and Nasir al-Din al-Tusi.[6]
  • Work by al-Sijzi.[7]
  • Tahdhib by Abu Nasr ibn Iraq.[7]

References

  1. ^ Follows Russel
  2. ^ Follows Hopkins, George Irving (1902). "Art. 983". Inductive Plane Geometry. D.C. Heath & Co.. 
  3. ^ Follows Russel with some simplification
  4. ^ See Michèle Audin, Géométrie, éditions BELIN, Paris 1998: indication for exercice 1.37, p. 273
  5. ^ Smith, D.E. (1958). History of Mathematics. II. Courier Dover Publications. p. 607. ISBN 0486204308. 
  6. ^ a b c d Rashed, Roshdi (1996). Encyclopedia of the history of Arabic science. 2. London: Routledge. p. 483. ISBN 0415020638. 
  7. ^ a b c Moussa, Ali (2011). "Mathematical Methods in Abū al-Wafāʾ's Almagest and the Qibla Determinations". Arabic Sciences and Philosophy (Cambridge University Press) 21 (1). doi:10.1017/S095742391000007X. 

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • menelaus' theorem — |menə|lāəs(ə̇z) noun Usage: usually capitalized M Etymology: after Menelaus, 1st century A.D. Greek geometer : a theorem in geometry: if through a triangle ABC a transversal is drawn cutting the sides BC, AB, AC (produced if necessary) in the… …   Useful english dictionary

  • Menelaus (disambiguation) — Menelaus may refer to; Menelaus, one of the two most known Atrides, a king of Sparta and son of Atreus and Aerope Menelaus (crater) on the Moon, named after Menelaus of Alexandria. Menelaus (son of Lagus), brother of Ptolemy I Soter Menelaus of… …   Wikipedia

  • Menelaus of Alexandria — (c. 70–140 CE) was a Greek[1] mathematician and astronomer, the first to recognize geodesics on a curved surface as natural analogs of straight lines. Contents 1 Life and Works 2 Bibliography …   Wikipedia

  • Menelaus of Alexandria — ▪ Greek mathematician flourished 1st century AD, Alexandria and Rome       Greek mathematician and astronomer who first conceived and defined a spherical triangle (a triangle formed by three arcs of great circles on the surface of a sphere).… …   Universalium

  • Ceva's theorem — For other uses, see Ceva (disambiguation). Ceva s theorem, case 1: the three lines are concurrent at a point O inside ABC …   Wikipedia

  • Pascal's theorem — In projective geometry, Pascal s theorem (aka Hexagrammum Mysticum Theorem) states that if an arbitrary hexagon is inscribed in any conic section, and opposite pairs of sides are extended until they meet, the three intersection points will lie on …   Wikipedia

  • Monge's theorem — In geometry, Monge s theorem, named after Gaspard Monge, states that for any three circles in a plane, none of which is inside one of the others, the three intersection points of the three pairs of external tangent lines are in fact collinear.… …   Wikipedia

  • Apollonius' theorem — In elementary geometry, Apollonius theorem is a theorem relating several elements in a triangle. It states that given a triangle ABC , if D is any point on BC such that it divides BC in the ratio n : m (or mBD = nDC), then:mAB^2 + nAC^2 = mBD^2 + …   Wikipedia

  • History of trigonometry — The history of trigonometry and of trigonometric functions may span about 4000 years.EtymologyOur modern word sine is derived from the Latin word sinus , which means bay or fold , from a mistranslation (via Arabic) of the Sanskrit word jiva ,… …   Wikipedia

  • Spherical trigonometry — Spherical triangle Spherical trigonometry is a branch of spherical geometry which deals with polygons (especially triangles) on the sphere and the relationships between the sides and the angles. This is of great importance for calculations in… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”