Opentopia Directory Encyclopedia Tools

Ceva's theorem

Encyclopedia : C : CE : CEV : Ceva's theorem


Ceva's theorem is a very popular theorem in elementary geometry. Given a triangle ABC, and points D, E, and F that lie on lines BC, CA, and AB respectively, the theorem states that lines AD, BE and CF are concurrent if and only if

[\frac \cdot \frac \cdot \frac = 1.]
There is also an equivalent trigonometric form of Ceva's Theorem, that is, AD,BE,CF concur if and only if
[\frac\times\frac\times\frac=1].

It was first proven by Giovanni Ceva in his 1678 work De lineis rectis.

Proof

Suppose [AD], [BE] and [CF] intersect at a point [O]. Because [\triangle BOD] and [\triangle COD] have the same height, we have

[\frac
>
>=\frac.]

Similarly,

[\frac
>
>=\frac.]

From this it follows that

[\frac=\frac
>>
>>=\frac
>
>.]

Similarly,

[\frac=\frac
>
>,]
and
[\frac=\frac.]

Multiplying these three equations gives

[\frac \cdot \frac \cdot \frac = 1,]

as required. Conversely, suppose that the points [D], [E] and [F] satisfy the above equality. Let [AD] and [BE] intersect at [O], and let [CO] intersect [AB] at [F']. By the direction we have just proven,

[\frac \cdot \frac \cdot \frac = 1.]

Comparing with the above equality, we obtain

[\frac=\frac.]

Adding 1 to both sides and using [AF'+F'B=AF+FB=AB], we obtain

[\frac=\frac.]

Thus [F'B=FB], so that [F] and [F'] coincide (recalling that the distances are directed). Therefore [AD], [BE] and [CF]=[CF'] intersect at [O], and both implications are proven.

See also

External links

 


From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.

Search Titles
0123456789
ABCDEFGHIJ
KLMNOPQRST
UVWXYZ?

E-mail this article to:

Personal Message: