­­­­­

CevaŐs Theorem

By Mary Negley

For this write-up, I will explore CevaŐs Theorem, which states that given a triangle, the three lines,, and intersect at point iff .  A GSP sketch is given below.

An interesting fact about point P is that it may be anywhere on the plane. I will look at P in the following cases: (1) when P is the centroid, (2) when P is the orthocenter, (3) when P is the incenter, and (4) when P is the circumcenter.

Case1: P is the centroid.  By definition of centroid, P is the intersection of the medians of the triangle.  Below is a GSP sketch of this case.

Clearly, the ratio holds in this case.

Case2: P is the orthocenter.  By definition of orthocenter, P is the intersection of the lines of the altitudes of the triangle.  Below is a GSP sketch of this case.

Clearly, the ratio holds in this case.

Case3: P is the incenter.  By definition of incenter, P is the intersection of the angle bisectors of the triangle.  Below is a GSP sketch of this case.

Clearly, the ratio holds in this case.

Case4: P is the circumcenter.  By definition of circumcenter, P is the intersection of the perpendicular bisectors of the sides of the triangle.  Below is a GSP sketch of this case.

Clearly, the ratio holds in this case.

Proof:  Now I will show that given a triangle, the three lines,, and intersect at point iff .

First I will assume that the three lines intersect at point P and then I will show that.

Below is the triangle.

To aid me in my proof, I will extend the segments AD, BE, and CF to be lines and I will draw a line through C, which is parallel to AB.  Below is the new sketch.

Now I will shade in a couple of the similar triangles that occur.

Triangle GCP ~ Triangle AFP because

1) by congruency of alternate interior angles

2) by congruency of vertical angle theorem

and    3)  since  and ,

and by 1) and 2)

so subtracting <PGC and <CPG from both sides yields .

Similarly, Triangle GCD ~ Triangle ABD, Triangle HCP ~ Triangle BFP and Triangle HEC ~ Triangle BEA,

Since the preceding triangles are similar, the following ratios occur:

(1)

(2)

(3)

(4)

To show that, I can show that.

By using (1), (3) and the property of transitivity, I get that .  Solving for HC, I get .  Solving for HC in (4) yields .  By transitivity, .  Now I will cross-multiply and get .  Then, solving for GC in (2) yields  and when I substitute that into my equality, I get .  By simplifying and cross-multiplying, I get .  Hence, .

Thus far, I have shown one part of the proof. Now I will show the other part of the proof.  I must assume that  and then show that P must be a point of concurrence.

Below is a GSP sketch of the triangle that is given.

Assume that BE and CF intersect at P and AX has been constructed to go through P, but.

Since AD and AX both go through P, we know that  and .

Then, by transitivity, .

After simplifying, I get .

So .

Hence, P is the point of concurrence of ,, and.  Therefore, I have proved the theorem.

A question that arises is how might this theorem help us to prove concurrency of the lines of altitudes if P is the orthocenter?

First we need a sketch of when P is the orthocenter.

The theorem states that given a triangle, the three lines,, and intersect at point iff .

Let P be the orthocenter.  Then, by definition of orthocenter, the lines through P from each vertex must be perpendicular to the sides of the triangle.  Notice that Triangle ABD is similar to Triangle CBF by angle-angle similarity (they share the angle B and they each have a right angle by construction).  Similarly (ha ha!), Triangle ACD is similar to Triangle BCE and Triangle BAE is similar to Triangle CAF.  So the following proportions result:

, and

By CevaŐs Theorem, the three lines,, and intersect at point iff .  LetŐs assume that .  Substituting values from above, gives us .  Therefore, the altitudes must be concurrent.

Next I will generalize my result so that the point P may be outside the triangle.  In order to do that, I must extend the sides of the triangle to be lines.  A working sketch of this case may be found here.