# Ceva's Theorem of Concurrency

Ceva’s Theorem: If three cevians, drawn from the vertices of a triangle are concurrent, then the following relationship holds true: ${\color{red}\frac{AC'}{C'B}\cdot\frac{CB'}{B'A}\cdot\frac{BA'}{A'C}=1}$.

We will prove the theorem above. However, the converse of this theorem is also true. The converse of the theorem states that if the above relation is true, then the three lines must be concurrent. The converse is used to prove concurrency of three segments.

 Triangle ABC is any arbitrary acute triangle. We draw segments BP and CQ (in red) such that these segments are parallel to segment AA'. We extend CC' to meet P and BB' to meet Q.

From similar triangles CA'O and CBP, we have: (a) ${\color{red}\frac{CA'}{OA'}=\frac{BC}{BP}}$. From similar triangles BA'O and BCQ, we have: (b) ${\color{red}\frac{BA'}{OA'}=\frac{BC}{QC}}$. Multiplying these results gives us:

(i) ${\color{red}\frac{BA'}{A'C}=\frac{BP}{QC}}$.

Now, from similar triangles BC'P and AC'O, we have the following equality: (c) ${\color{red}\frac{C'B}{BP}=\frac{AC'}{AO}}$. From similar triangles CB'Q and AB'O, we have: (d) ${\color{red}\frac{CQ}{CB'}=\frac{AO}{B'A}}$. We can multiply and rearrange these two to obtain:

(ii) ${\color{red}\frac{AC'}{C'B}\cdot\frac{CB'}{B'A}=\frac{CQ}{BP}}$.

Multiplying (i) and (ii), we obtain:

(iii) ${\color{red}\frac{AC'}{C'B}\cdot\frac{CB'}{B'A}\cdot\frac{BA'}{A'C}=\frac{CQ}{BP}\cdot\frac{BP}{QC}=1}$.

This completes the proof.