We will begin with a verification of Ceva's Theorem.
Given triangle ABC with cevians BG, AF and CE concurrent at point D, we wish to demonstrate that:
Click here for a GSP 4.0 sketch to investigate.
We begin by constructing altitudes h1 and h2. The area of triangle ABG [in the future, we will use the notation (ABG) to designate the area of triangle ABG] equals 0.5(AG)(h1) and (BGC) = 0.5(GC)h1. Also, (ADG) = 0.5(AG)(h2) and (DGC) = 0.5(GC)(h2). Thus,
We conclude, then, that
Similar reasoning yields the equations
Thus,
By cancelation,
We will now consider the converse of Ceva's theorem.
Given,
show that cevians BG, AF and CE are concurrent.
Click here for a GSP 4.0 sketch to manipulate.
Assume that cevians AF and CE intersect at D, and that the other cevian through D is BH. By Ceva's theorem,
Since we assumed
by the transitive property,
Simplifying,
which is true only if H and G represent the same point. Thus, segments AF, CE and BG must be concurrent.
(Reference: Coxeter, H. S. M. & Greitzer, S.
L. (1967). Geometry Revisited. Washington D. C.: The Mathematical
Association of America. 4.)