Menelaus From Ceva

Ceva and Menelaus theorem go naturally together.

Ceva's Theorem

Three Cevians AD, BE, and CF are concurrent iff

(1) AF/FB  ·  BD/DC  ·  CE/EA = 1

holds.

Menelaus Theorem

Let three points F, D, and E, lie respectively on the sides AB, BC, and AC of ΔABC. Then the points are collinear iff

(2) AF/BF  ·  BD/CD  ·  CE/AE = 1

The theorems are in fact equivalent. That Ceva's theorem is implied by that of Menelaus has already been established. Below, I prove that the converse is also true: Ceva's theorem implies the theorem of Menelaus. The proof requires introduction of several additional lines:


This applet requires Sun's Java VM 2 which your browser may perceive as a popup. Which it is not. If you want to see the applet work, visit Sun's website at http://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.


Buy this applet
What if applet does not run?

Let X, Y, Z be the intersections of BE and AD, AD and CF, and BE and CF, respectively. There are several triangles with three concurrent cevians to which we may apply Ceva's theorem:

 IdentityTriangleCeviansIntersect At
(1)AF/FB · BX/XE · EC/CA = 1ABEBC, AX, EFD
(2)CE/EA · AY/YD · DB/BC = 1ACDAB, CY, DEF
(3)BD/DC · CZ/ZF · FA/AB = 1BCFAC, BZ, DFE
(4)EX/XB · BC/CD · DF/FE = 1BDEBF, CE, DXA
(5)DY/YA · AB/BF · FE/ED = 1ADFAE, BD, FYC
(6)FZ/ZC · CA/AE · ED/DF = 1CEFCD, AF, EZB

Now multiply (1)-(6), taking into account the sign convention for directed segments. The product reduces to

(7)(AF/BF · BD/CD · CE/AE)2 = 1.

But the straight line DEF is a transversal of ΔABC. It could be argued that the points D, E, F either all lie on the extensions of the sides of ΔABC, or only one does, while the other two lie on its sides. A simple verification of signs then shows that the product in (7) is positive:

(8)AF/BF · BD/CD · CE/AE = 1,

which proves Menelaus' theorem.

There are two additional proofs of the equivalency of the two theorems. One is derived from a solution of the 4-travelers problem and the other from the observation of poles and polars with respect to a triangle and the Desargues' theorem.

References

  1. C. W. Dodge, Euclidean Geometry and Transformations, Dover, 2004 (reprint of 1972 edition), pp. 22-23.
  2. J. R. Silvester, Ceva = (Menelaus)2, The Math. Gazette, v 84, N 5 (2000), pp 268-271.

Desargues' Theorem

Menelaus and Ceva

 40601055

A math books store at a unique math study site. Shopping at the store helps maintain the site. Thank you.
Sites for teachers
Sites for parents
Terms of use
Awards
Interactive Activities

CTK Exchange
CTK Wiki Math
CTK Insights - a blog
Math Help
Games & Puzzles
What Is What
Arithmetic
Algebra
Geometry
Probability
Outline Mathematics
Make an Identity
Book Reviews
Stories for Young
Eye Opener
Analog Gadgets
Inventor's Paradox
Did you know?...
Proofs
Math as Language
Things Impossible
Visual Illusions
My Logo
Math Poll
Cut The Knot!
MSET99 Talk
Old and nice bookstore
Other Math sites
Front Page
Movie shortcuts
Personal info
Privacy Policy

Guest book
News sites

Recommend this site

Sites for parents

Education & Parenting

Search:
Keywords:

Google
Web CTK
Supported by
3wVentures