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.
