Ceva's Theorem
Ceva's Theorem is an algebraic statement regarding the lengths of cevians in a triangle.
Contents
[hide]Statement
A necessary and sufficient condition for where
and
are points of the respective side lines
of a triangle
, to be concurrent is that

where all segments in the formula are directed segments.
Proof
Letting the altitude from to
have length
we have
and
where the brackets represent area. Thus
. In the same manner, we find that
. Thus
![$\frac{BD}{DC} = \frac{[ABD]}{[ACD]} = \frac{[XBD]}{[XCD]} = \frac{[ABD]-[XBD]}{[ACD]-[XCD]} = \frac{[ABX]}{[ACX]}.$](http://latex.artofproblemsolving.com/d/f/2/df2b906d9831f9d73a0ae8c7508858abce08761b.png)
Likewise, we find that
![]() |
![]() |
![]() |
![]() |
Thus
![$\frac{BD}{DC}\cdot \frac{CE}{EA}\cdot \frac{AF}{FB} = \frac{[ABX]}{[ACX]}\cdot \frac{[BCX]}{[ABX]}\cdot \frac{[ACX]}{[BCX]} = 1 \Rightarrow BD\cdot CE\cdot AF = DC \cdot EA \cdot FB.$](http://latex.artofproblemsolving.com/0/a/e/0ae5fa451c894c104ae4d37d128f16a326b95a9d.png)
Examples
- Suppose AB, AC, and BC have lengths 13, 14, and 15. If
and
. Find BD and DC.
Ifand
, then
, and
. From this, we find
and
.
- See the proof of the concurrency of the altitudes of a triangle at the orthocenter.
- See the proof of the concurrency of the perpendicual bisectors of a triangle at the circumcenter.