Lesson Library> Important Points in a Triangle

Important Points in a Triangle

Introduction

Back in 2006, the participants of the International Mathematical Olympiad were tasked with solving the following problem.


Example 1

Let $ABC$ be triangle with incenter $I$. A point $P$ in the interior of the triangle satisfies $\angle PBA+\angle PCA = \angle PBC+\angle PCB$. Show that $AP \geq AI$, and that equality holds if and only if $P=I$.


Solution

The solution will remain a mystery for now.


Usually at the IMO, even the easiest problems may take hours, and can often be left unsolved by many participants. For this problem however, many students had proofs written down in less than 5 minutes, and some had found the solution idea within 30 seconds of seeing the problem. So what was happening here?


By the end of this lesson, you will understand how they could solve it so fast, and you will be able to solve similar problems yourself. You will be armed with a solid understanding of the important points in a triangle, and how they can be used to solve even the hardest contest problems.

Review

In a previous lesson we established what the inscribed and circumscribed circles of a triangle are. We also found the centers of these circles and discovered some interesting facts about them. As a quick reminder, the inscribed circle of a triangle $ABC$ is the circle that is tangent to all three of the sides $AB, BC$ and $CA$ of the triangle. The center of this inscribed circle, sometimes called the incenter, is also the point of intersection of the three angle bisectors of $ABC$.


The circumscribed circle is the circle that passes through all three of the vertices $A,B$ and $C$ of $ABC$. We saw that there is only one such circle, and that its center is the intersection of the perpendicular segment bisectors of the sides $AB,BC$ and $CA$ of triangle $ABC$.


After seeing that both the angle bisectors and perpendicular bisectors of a triangle are concurrent, we might suspect that other special lines also have common points of intersection. In the following lesson we will investigate this and discover some interesting properties of the points we find.

The intersection of the altitudes

You will have drawn lots of altitudes in triangles when calculating their areas. What you might not have done is to draw in all three altitudes at once. If you do this, you may notice that they seem to intersect at one point. This is indeed the case, and we can show it ourselves if we get a little creative.


Exercise 1

Show that the three altitudes of a triangle are concurrent. The point of intersection is called the orthocenter and is commonly denoted by $H$.

As a hint to get you started, try constructing triangles congruent to the original one on its sides. Can you then make use of the circumcenter?

Let $ABC$ be the triangle. We start by constructing triangles congruent to $ABC$ on its sides as in the figure below.

We can see that $\angle YAZ =$$ \angle YAC + \angle CAB + \angle BAZ =$$ \angle BCA + \angle CAB + \angle ABC =$$ 180^{\circ}$ from the congruent triangles. This implies that $Y,A$ and $Z$ all lie on a line. The fact that $ \angle ABC = \angle BAZ$ gives that $YZ$ is parallel to $BC$ due to alternate angles. This, together with the fact that segments $AY$ and $AZ$ are equal because of the congruent triangles, means that the altitude from $A$ to $BC$ is also the perpendicular segment bisector of $YZ$.

We can of course do the same calculations for the other two altitudes of triangle $ABC$ and find that they also are perpendicular bisectors of the sides of triangle $XYZ$. Because we know that these perpendicular bisectors all meet at the center of the circumscribed circle of triangle $XYZ$, the altitudes of triangle $ABC$ are concurrent.


The orthocenter frequently appears in contest problems, and being able to use it properly is often paramount to finding the solutions to these problems. Our first step in getting a feeling for the orthocenter is to understand where it might be located. 


Exercise 2

If $H$ is the orthocenter of triangle $ABC$, show that $A$ is the orthocenter of triangle $HBC$.

Simply notice that the lines $AH, AB$ and $AC$ are all altitudes of the triangle $HBC$ because of the right angles. Since $A$ is the intersection of these three altitudes, it must be the orthocenter of triangle $HBC$.


Exercise 3

Find out when the orthocenter lies inside and when it lies outside the triangle. Is there a case when the orthocenter lies on the triangle istelf?

When the triangle is acute, all the altitudes meet the opposite segments and the orthocenter lies inside the triangle. 

On the other hand, if the triangle is obtuse, then two of the altitudes never pass through the inside of the triangle. Therefore the orthocenter must lie outside the triangle if it is obtuse.

The orthocenter lies on the triangle itself if and only if it is a right triangle. In this case two of the altitudes of the triangle meet at the vertex opposite to the hypotenuse.


Circles and the orthocenter

Note that figures with the orthocenter naturaly have lots of right angles. Also note that any quadrilateral $ABCD$ with two right angles $\angle BAD = BCD = 90^{\circ}$ is inscribed in a circle.


This is because either $\angle BAD$ and $\angle BCD$ are opposite angles that add up to $180^{\circ}$, or $A$ and $C$ are on the same side of $BC$ and we can use the inverse of the inscribed angle theorem.

Because of this fact, we can often find lots of inscribed quadrilaterals when the orthocenter appears. Finding these quadrilaterals can often be a key step in solving contest problems, so look out for them!


Exercise 4

In a triangle $ABC$, let $D, E, F$ be the feet of the altitudes from $A, B$ and $C$ and $H$ be the orthocenter. Find $6$ inscribed quadrilaterals with vertices among the points $A,B,C,D,E,F$ and $H$.

First consider the case when $ABC$ is acute.

Because $\angle AFH = \angle AEH = 90^{\circ}$, two opposite sides in quadrilateral $AFHE$ add up to $180^{\circ}$ and so $AFHE$ is inscribed in a circle. $BCEF$ is also inscribed in a circle because of the inverse of the inscribed angle theorem, as $\angle BFC = \angle BEC = 90^{\circ}$. Using similar arguments it can be shown that the $4$ other quadrilaterals

$$BDHF, CAFD, CEHD \text{ and } ABDE$$

are also inscribed in circles. If the triangle is obtuse we instead get the following situation.

Note that for quadrilateral $ABDE$ we here have to use the sum of opposite angles instead of the inverse of the inscribed angle theorem to show that it is inscribed in a circle. Similar adjustments also have to be done for some of the other quadrilaterals, but the circles are still there.


Exercise 5

In acute triangle $ABC$ with orthocenter $H$, the feet of the altitudes from $A,B$ and $C$ are $D,E$ and $F$ respectively. Show that $H$ is the incenter of triangle $DEF$.


We know that $BCEF, CEHD$ and $BDHF$ are inscribed quadrilaterals.

If $\angle HDE = x$, we then have that $\angle HCE = x$ from inscribed angles in $CEHD$. This means that $\angle FCE = x$, implying that $\angle FBE = x$ because of inscribed angles in $BCEF$. From this, we see that $\angle FBH = x$ which means that $\angle FDH = x$ from inscribed angles in $BDHF$.

On the whole, we then have that $DH$ is the angle bisector of $\angle FDE$. By similar calculations we can see that $EH$ and $FH$ are also angle bisectors in triangle $DEF$. Since the angle bisectors meet at the incenter, $H$ must be the incenter of triangle $DEF$.



The intersection of the medians

Apart from angle bisectors and altitudes, there is one more famous type of line that we can draw in a triangle. This is the median, which connects one vertex to the midpoint of the opposite side.

As you might suspect, the three medians meet at a single point. Something a little harder go guess is a peculiar link between the medians and this center. In the Figure below, the length of segment $GK$ is $5$. I claim that I can calculate the length of $AK$ in less than $2$ seconds!

How? The answer to this question will lead us to an actual proof that the medians intersect.


Exercise 1

Show that the three medians of a triangle meet at a single point. This point is called the centroid, and often denoted as $G$.

A hint: Try constructing two medians $BM$ and $CN$ and letting $G'$ be their intersection. Are there any similar triangles in the figure? Can we find a constant length ratio on a median?

Consider the intersection $G'$ of the medians $BM$ and $CN$.

We first notice that $|AN|=|NB|$ and $|AM|=|MC|$ from the definition of a median. This implies that $\frac{AB}{AN}=2=\frac{AC}{AM}$, which gives that triangles $ABC$ and $ANM$ are similar by side-angle-side similarity. Furthermore the ratio of the similarity is $2:1$. Because of the similar triangles we can see that $\angle AMN = \angle ACB$, which means that $BC$ and $MN$ are parallel. We also know that $|BC|=2|MN|$ from the ratio of similarity. Alternate angles give that 

 $$\angle BCN = \angle CNM \iff \angle BCG' = \angle MNG'.$$

This together with $\angle MG'N = \angle GG'C$ from vertical angles implies that triangles $BCG'$ and $MNG'$ are similar from angle-angle similarity. The ratio of similarity is again $2:1$ since $|BC|=2|MN|$, and we thus have that 

 $$\frac{BG'}{G'M} = 2 = \frac{CG'}{G'N}.$$

By similar calculations, all pairs of medians intersect each other in points that divide them in the ratio $2:1$. But because every median just has one such point, it must intersect the other two medians at the same point. This implies that all three medians are concurrent. It is then also clear that this point divides the medians into segments of the ratio $2:1$ and our proof is complete.


Notice that we got a nice ratio that the centroid divides the medians into. This is what I used to calculate the length of $AK$ so fast. We can simply notice that in the figure below $AK$ is three times as long as $GK$ from the ratio we found, so $|AK| = 3 |GK| = 15$.

We see that the centroid is closely tied to ratios. Both by the definitions of the medians, and the just established $2:1$ property. When facing a problem involving the centroid, one of our first strategies should therefore be to use proportions.


Exercise 2

The medians divide a triangle into $6$ smaller triangles. Show that these all have the same area.

Consider the triangle $ABC$ with medians $AX, BY$ and $CZ$, and centroid $G$.

There are many ways of approaching this problem, but one of them is to use the ratio of the medians that we just established. We can see that triangles $AGY$ and $CGY$ have the same area since they share a common base ($|AY|=|CY|$) and altitude (from $G$). Call this common area $T$ and notice that triangle $AGC$ then has area $2T$. Triangle $XGC$ shares an altitude from $C$ with $AGC$, but has half the base because $AG:GX=2:1$. This means that triangle $XGC$ has half the area of $AGC$, that is $\frac{1}{2} \cdot 2 T=T$. Similarly we can show that triangles $AGZ, BGZ$ and $XGB$ all have equal area, and the conclusion follows from that fact that triangles $XGC$ and $XGB$ have the same area. This can be seen by the fact that $|XC|=|XB|$ and that they have a common altitude from $G$.


Exercise 3

Line segment $\overline{AB}$ is a diameter of a circle with $AB=24$. Point $C$, not equal to $A$ or $B$, lies on the circle. As point $C$ moves around the circle, the centroid (center of mass) of $\triangle{ABC}$ traces out a closed curve missing two points. To the nearest positive integer, what is the area of the region bounded by this curve?


$\textbf{(A)} \text{ 25} \qquad \textbf{(B)} \text{ 38} \qquad \textbf{(C)} \text{ 50} \qquad \textbf{(D)} \text{ 63} \qquad \textbf{(E)} \text{ 75}$

The correct answer is $\textbf{(C)}$. We first try to find out what kind of curve the centroid traces out. Call the center of the circle $O$.

It is clear that $O$ is the midpoint of the diameter $AB$ and so the radius $OC$ is a median of the triangle $ABC$. If we call the centroid $G$, we also know that $G$ lies on $OC$ and that $|CG|=2 |OG|$. The ratio implies that 

$$2|OG| + |OG| = |CG| + |OG| \iff 3|OG| = |OC| \iff |OG| = \frac{|OC|}{3}.$$

Now, since $OC$ is a radius of the circle we can see that $|OC|=12$ and we thus have $|OG|= \frac{12}{3} = 4$. This means that as $C$ moves around the circle, $G$ traces out the points at a constant distance of $4$ from $O$. This shape is of course a circle with radius $4$ and we are almost done. Simply notice that the area of this circle is $\pi \cdot 4^2 \approx 50$ which means that $\textbf{(C)}$ is the correct answer.



Exercise 4

Let $X$, $Y$ and $Z$ be the midpoints of sides $AB, BC$ and $CA$ in triangle $ABC$. Find the centroid of the triangle $XYZ$.

It turns out that the centroid of triangle $XYZ$ is simply the centroid of triangle $ABC$. This can be guessed by inspection of the figure below and there are multiple ways to show it.

One way is to notice that $XY$ is parallel to $AB$ and $ZX$ is parallel to $CA$ (we established this in our proof of the existence of the centroid). This means that $AZXY$ is a parallelogram with diagonals $AX$ and $YZ$. Since diagonals in a parallelogram bisect each other, we then know that $AX$ bisects the segment $YZ$. This implies that $AX$ is a median in triangle $XYZ$, and in a similar way, we find that $CZ$ and $BY$ are also medians in triangle $XYZ$. Since they are medians in both of the triangles $ABC$ and $XYZ$, their intersection is the centroid for both of these triangles as desired.


The superpoint

So far we have exclusively looked at triangle centers where lines intersect. However, there are other points that can be just as important. One of these is the intersection of an angle bisector of a triangle with its circumscribed circle, as in the figure below. We will call this point the superpoint and often denote it with $S$ in the folowing exercises. It is worth noting that this name and notation is not standard. It is simply a name that has gained popularity among certain Swedish contestants.

Why do we care about this point? Well, it turns out that it has a very specific but powerful property involving the incenter. A part of this property is simple to see, and we present it in the form of an exercise.


Exercise 1

In a triangle $ABC$, the angle bisector of angle $\angle BAC$ intersects the circumscribed circle of $ABC$ again at $S$. Show that triangle $BCS$ is isosceles.

We note that $\angle SBC = \angle SAC$ and $\angle BCS = \angle BAS$ from the inscribed angle theorem. Since $\angle SAC = \angle BAS$ from the definition of an angle bisector, we get that $\angle SBC = \angle BCS$, implying that $BCS$ is isosceles.



It turns out that this is not the only isosceles triangle that we can find in this picture. Using our skills in angle chasing it is possible to also show the following. Just remember that the incenter is the intersection of the angle bisectors.


Exercise 2

Let $I$ be the incenter of triangle $ABC$, and let $S$ be the intersection of $AI$ with the circumscribed circle of $ABC$. Show that triangle $SBI$ is isosceles.

For simplicity we use $\angle A$ to denote $\angle BAC$, and we use $\angle B$ and $\angle C$ in a similar way.


Angle chasing gives that 

$$\angle SBI = \angle SBC + \angle CBI = \angle SAC + \angle CBI$$

from the inscribed quadrilateral $ABSC$, and since 

$$ \angle SAC + \angle CBI = \frac{1}{2} \angle A + \frac{1}{2} \angle B$$

from the angle bisectors, we have that $\angle SBI = \frac{\angle A + \angle B}{2}$. But we also have that 

$$\angle BIS = 180^{\circ} - \angle BIA = \frac{\angle A + \angle B}{2}$$

by the angle sum in triangle $ABI$. This means that $\angle SBI = \angle BIS$ and so the triangle $SBI$ is isosceles.


If we combine these two exercises, we get the result:

The Superlemma: Let $ABC$ be a triangle with incenter $I$ and let $S$ be the midpoint of the arc $BC$ that does not contain $A$. Then $B,I$ and $C$ all lie on a circle with center $S$.


This is just a way of combining the two previous exercises.


If you ever see a problem mentioning the midpoint of an arc, or even just the incenter, this property should always be in the back of your mind. It also helps us in an unexpected way when drawing diagrams.


Exercise 3

Find a way of constructing the incenter that only requires you to draw one angle bisector.

Make sure that you have drawn your triangle in a circle. Then simply construct one angle bisector and draw it all the way until it intersects the circle again. Take your compass, place it at this intersection point and adjust the other tip so that it lies on either of the two closest vertices of the triangle. Then draw this circle, or a relevant portion of it, and mark the intersection of the circle with the angle bisector (the intersection inside the triangle). The superlemma ensures us that this is the incenter.


Exercise 4

$ \triangle ABC $ is a triangle with incenter $I$. Show that the circumcenters of $ \triangle IAB, \triangle IBC, \triangle ICA $ lie on a circle whose center is the circumcenter of $ \triangle ABC $.


The superlemma gives that the centers of the circumscribed circles of $\triangle IAB, \triangle IBC$ and $\triangle ICA$ are just the intersections of the angle bisectors with the circumscribed circle of $ \triangle ABC$. This means that the centers lie on the circumscribed circle of $\triangle ABC$, whose center is the circumcenter by definition. Hence we are done.


Notice how short and simple our solution to the previous exercise was when we knew about the superlemma. This should give you a sense of how powerful knowledge of special points and configurations sometimes can be. It might also remind you of the opening problem of our lesson, the one from the IMO $2006$. We will now give a solution of this problem, along with some motivation behind it. Before you read it, try to solve it yourself! At this point you have all the necessary tools.


Exercise 5

Let $ABC$ be triangle with incenter $I$. A point $P$ in the interior of the triangle satisfies $\angle PBA+\angle PCA = \angle PBC+\angle PCB$. Show that $AP \geq AI$, and that equality holds if and only if $P=I.$

Start by drawing a nice big diagram.

The first thing we should do is to find out where $P$ can lie. Since it is indirectly suggested that $P$ can coincide with $I$, an immediate guess (if you know about the superlemma) is that $P$ might lie on the circle through $B,I$ and $C$. We can show that this is the case by exploiting the angle condition of the problem. The angle sum in $BPC$ gives that

$$\angle PBA + \angle PCA = \angle PBC + \angle PCB = 180^{\circ} - \angle BPC.$$

But we also have that

$$\angle BPC = 360^{\circ} - (\angle CPA + \angle APB) = 360^{\circ} - (360^{\circ} - \angle A - \angle PBA - \angle PCA)$$

from angle sum in quadrilateral $ABPC$. 

Putting these two expressions for $P$ together, we get that 

$$\angle BPC = \angle A + \angle PBA + \angle PCA  = \angle A + (180^{\circ} - \angle BPC) $$

which can be simplified to 

$$\angle BPC = \frac{180^{\circ}+\angle A}{2} = 90^{\circ} + \frac{1}{2} \angle A.$$

Since this angle is constant, $P$ must lie on a circle through $B$ and $C$ by the inverse of the inscribed angle theorem. Setting 

$\angle PBA = \angle PBC$ and $\angle PCA = \angle PCB$ we see that $P$ in this case is the intersection of two bisectors and thus the incenter. This implies that $I$ lies on this circle, and we have just confirmed that we are indeed working with the circle from the superlemma. We thus let $S$ be the superpoint and finish the problem by using the triangle inequality.

Using the triangle inequality on triangle $ASP$, we get that 

$$AP + PS \geq AS = AI + SI.$$

with inequality if and only if the triangle is just a line. Since $PS$ and $SI$ are both radii of the circle through $B,I$ and $C$, we are left with 

$$AP \geq AI.$$

Also, since the triangle is only a line when $P=I$, the equality only holds if and only if $P=I$ and we are done.


As stated before, the superlemma is not a widely used name. You may often see this lemma refered to as the trillium theorem or the incenter-excenter lemma. You may wonder why there is an excenter in the name of the incenter-excenter lemma. Well, we can actually include yet another point in the statement of the lemma, which leads us to the next section.

The centers of the escribed circles

The incircle is the circle tangent to all $3$ sides of a triangle, but is it the only one? Not if we relax the constraint of being tangent to sides, to just lines. Then there are $3$ more circles!

These are called the escribed circles or excircles of a triangle, and their centers are sometimes referred to as the excenters. If we want to distinguish between these circles, the most usual way is to write A-excircle and A-excenter for the escribed circle tangent to the side $BC$ and its center in a triangle $ABC$. The A-excenter is usually denoted $I_A$ in diagrams.

Since the escribed circles and centers are defined so similarly to the inscribed circle, they often share analogous or even identical properties to the inscribed circle and center. We take a look at the most basic (and often most useful) of these.


Exercise 1

In triangle $ABC$, show that the A-excenter is the intersection of the internal angle bisector of $\angle BAC$ and the external angle bisectors of $\angle ACB$ and $\angle CBA$.


Remark: The external angle bisector of an angle, is the angle bisector of the angle formed when we extend one side of the original angle. A picture should make this clear.


Remember how we found the connection between the inscribed circle and the angle bisectors? The same logic holds here.

The feet from the A-excenter to the lines $AB, BC$ and $CA$ must all have equal length because of the tangency. Since the altitudes from a point to two lines are only equal if the point lies on the bisector of the angle formed by the lines (remember this from the lesson about the incenter), the figure makes it clear that the A-excircle lies on the relevant bisectors.


Armed with this knowledge, we will continue this section by formulating most of the information in the form of exercises. Properties you discover for yourself usually stick the best, and since the excenters behave very similarly to the incenter, you already have most of the intuition behind them!


Exercise 2

Show that the internal and external bisectors of an angle are perpendicular to each other.

Let the angle be $\angle BAC$ and let $D$ lie on the extention of the side $AB$ beyond $A$. Furthermore, let $P$ be a point on the interior angle bisector and $Q$ a point on the exterior one (these are just there so that we can work with the angle between the bisectors as $\angle PAQ$).

By the definition of the external angle bisector, it is in this case the internal angle bisector of angle $\angle DAC$. We then have

$$\angle PAQ = \angle PAC + \angle SAQ$$

$$= \frac{1}{2} \angle BAC + \frac{1}{2} \angle CAD = \frac{180^{\circ}}{2} = 90^{\circ}$$

and we are done.


Let us also update the superlemma from the previous section, to give justice to the name incenter-excenter lemma.


Exercise 3

Incenter-excenter lemma: We already know that in a triangle $ABC$ with incenter $I$ and superpoint $S$, $B,I$ and $C$ lie on a circle with center $S$. Show that the A-exentre $I_A$ also lies on this circle.

From the previous exercise about the perpendicularity of the bisectors, we know that $\angle IBI_A$ and $\angle ICI_A$ both are $90^{\circ}$. We then have that opposite angles $\angle IBI_A + \angle ICI_A = 180^{\circ}$ which means that $I,B,I_A$ and $C$ all lie on a circle and we are done.



The excenters also share a close connection with the orthocenter. Remember one of the previous exercises of this lesson. We showed that in an acute triangle, the orthocenter of the triangle was the incenter of the orthic triangle.

We can extend this connection even further to include the excenters.


Exercise 4

In acute triangle $ABC$, $H$ is the orthocenter and $D,E,F$ are the feet of the altitudes from $A,B,C$ to $BC,CA,AB$ respectively. Show that $A,B$ and $C$ are the excenters of the orthic triangle $DEF$.

We already know that $HE$ is an angle bisector of $\angle DEF$. Since $CA$ is perpendicular to $HE$, $CA$ must then be the external angle bisector of $\angle DEF$. In a similar way, we see that $AB$ is an external angle bisector of $\angle EFD$. $A$ is then the intersection of two external and one internal angle bisector of the triangle $DEF$, and as such an excenter. That $B$ and $C$ are also excenters of $DEF$ can be shown similarly.


The Euler Line

We have now taken a look at the most important centers of a triangle. These can however be limited in their uses by themselves. Often problems include several centers, and it would be advantageous for us to find a connection between them. It turns out that the center of the circumscribed circle, the orthocenter and the centroid share such a connection, and the figure below gives a clue as to what it might be.

We now take a look at two exercises to start building these relations between the centers.


Exercise 1

In triangle $ABC$, the medians from $A, B$ and $C$ meet the opposite sides at $X,Y$ and $Z$ respectively. Show that the four triangles $XYZ, YZA, XZB$ and $YXC$ are congruent.

Since $AX, BY$ and $CZ$ are medians, the points $X,Y$ and $Z$ are of the midpoints of triangle $ABC$ as in the figure below.

Note that we have previously already shown $AZXY$ to be a parallelogram. This means $|XY| = |AZ|, |ZX| = |AY|$ and since $YZ$ is a common side of triangles $XYZ$ and $AZY$, these triangles are congruent by side-side-side. Similar calculations give the remaining two triangles.


Exercise 2

Find the orthocenter of the triangle $XYZ$ in the exercise above.

It turns out that the ortocenter of triangle $XYZ$ is simply the center of the circumscribed circle of triangle $ABC$. 

To see that this is the case, simply notice that the configuration in the figure above is almost identical to the one in our proof of the existence of the orthocenter. We have just switched the roles of the triangles $ABC$ and $XYZ$. Because of this, we already know that the altitudes in triangle $XYZ$ are perpendicular bisectors of the sides of triangle $ABC$. This proves that the orthocenter of triangle $XYZ$ is the center of the circumscribed circle of triangle $ABC$.


After having made these observations, we are now ready to prove that $O,G$ and $H$ really do share a beautiful connection.


Exercise 3

In a triangle $ABC$ with orthocenter $H$, centroid $G$ and circumcenter $O$, the midpoints of $BC, CA$ and $AB$ are $X, Y$ and $Z$ respectively. Show that the line through $H$ and $G$ is parallel to the line $s$ through the centroid and orthocenter of the triangle $XYZ$.

We know that $AZY$ is similar to $ABC$, and that both have the exact same orientation. 

This means that the line $l$ through the orthocenter and centroid of triangle $AZY$ is parallel to $HG$. If we rotate $AZY$ $180^{\circ}$ about the midpoint of $ZY$, it lands on $XYZ$ and $l$ lands on $s$ since $AZY$ and $XYZ$ are congruent. Since a line rotated $180^{\circ}$ is parallel to the original line, this shows that $HG \parallel s$.


Exercise 4

Show that the line $OG$ is also parallel to $HG$

From our previous exercises we already know that the orthocenter and centroid of $XYZ$ are just $O$ and $G$. Therefore $OG$ and $s$ are the same line and the result follows.


Exercise 5

Show that $H,G$ and $O$ lie on a line.

Note that $HG$ and $OG$ are parallel. They also have a common point, $G$, and so they must be the same line and the result follows.


Exercise 6

Show that $GH:OG = 2:1$.

Simply notice that $GH$ and $OG$ are correspoinding segments in the similar triangles $ABC$ and $XYZ$. Since the scale factor between these triangles is $2:1$, we then know that $GH:OG = 2:1$.


Our findings can be summarised in the following way:

Theorem (the euler line): If $H, G$ and $O$ are the horthocenter, centroid and circumcenter in a triangle, then $H, G$ and $O$ lie on a line and $GH:GO = 2:1$.


Exercise 7

What happens with the Euler line when the triangle is equilateral?

The orthocenter, centroid and center of the circumscribed circle concur when the triangle is equilateral. Therefore it does not make sense to talk about an Euler line in this case, since there are infinitely many lines that go through a single point.


Exercise 8

In triangle $ABC$ with orthocenter $H$, $O$ is the center of its circumscribed circle. Let $M$ be the midpoint of $BC$ and $N$ be the midpoint of $AH$. Show that $HM$ and $NO$ are parallel.


Let $G$ be the intersection of $OH$ and $AM$. Since we know that the centroid of triangle $ABC$ must lie on both the Euler line $OH$ and the median $AM$, $G$ must be the centroid.

We now use the ratios between the centers on the Euler line that we found. We have that $\frac{HG}{GO} = 2$, and we also know that $\frac{AG}{GM}=2$ from the ratios of the medians. This means that $\frac{HG}{OG}=\frac{AG}{MG}=2$ and since $\angle HGA = \angle OGM$, triangles $HGA$ and $OGM$ are similar by side-angle-side similarity. The ratio of similarity is $2:1$, which means that $HA$ is twice as long as $MO$. Because $N$ is the midpoint of $HA$, we then have that $|HN|=|MO|$.

We also know that $AH$ is an altitude and $MO$ is a perpendicular bisector of triangle $ABC$. This means that they are both perpendicular to $BC$ and thus parallel to each other.

Since $HN$ and $MO$ are both parallel and of equal length, $NHMO$ must be a parallelogram. This implies that $HM$ and $NO$ are parallel and we are done.


Ceva's Theorem

In this last section we will give you a tool to find your own triangle centers. While the proofs for the orthocenter and centroid that we have found are hopefully interesting, they may be hard to come up with to begin with. The following result gives a much more standardised way of showing concurrency of lines in triangles.

Ceva's Theorem: Let $D$, $E$, $F$ be points on segments $BC$, $CA$ and $AB$ respectively. Then $AD$, $BE$ and $CF$ are concurrent if and only if

$$\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = 1.$$




Example 1

Prove Ceva's theorem.

Solution

We start by showing the only if part by translating the lengths to area ratios. Notice that since triangle area is just base times height, if two triangles have the same height, then the ratio of their area is just the ratio of the base length. 

This means that if $[XYZ]$ denotes the area of a triangle $XYZ$, then

$$\frac{[BDP]}{[DCP]} = \frac{BD}{DC} = \frac{BDA}{DCA}.$$

This means that 

$$\frac{BD}{DC} = \frac{[BDA] - [BDP]}{[DCA] - [DCP]} = \frac{[ABP]}{[CAP]}.$$

In a similar way we get that 

$$\frac{CE}{EA} = \frac{[BCP]}{[ABP]}, \; \frac{AF}{FB} = \frac{[CAP]}{[BCP]},$$

so 

$$\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = \frac{[ABP]}{[CAP]} \cdot \frac{[BCP]}{[ABP]} \cdot \frac{[CAP]}{[BCP]} = 1.$$

We now show the if part. Assume that The points $D$, $E$ and $F$ lie on $BC$, $CA$ and $AB$ and are such that 

$$\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = 1.$$

Now, let $BE$ and $CF$ intersect at $P'$ and let $AP'$ intersect $BC$ at $D'$. 

From the only if part, we then know that 

$$\frac{BD'}{D'C} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = 1.$$

So

$$\frac{BD'}{D'C} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = \frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB}$$

and simplifying gives $\frac{BD'}{D'C} = \frac{BD}{DC}$. But there is only one point $D'$ on segment $BC$ that satisfies this ratio, so we must have $D' = D$. This means that $AD$, $BC$ and $EF$ are all concurrent at $P'$ and we are done.


Here we have shown the theorem when all points lie on the sides of the triangle, but it also holds when one point lies on a side and the other two lie on the extensions of the other sides.

Ceva's theorem can also be stated in terms of angles, where we just express the lengths from above using the law of sines.

Sine formulation of Ceva's theorem: Let $D$, $E$ and $F$ be points on segments $BC$, $CA$ and $AB$. Then $AD$, $BE$ and $CF$ are concurrent if and only if

$$\frac{\sin{\angle BAD}}{\sin{\angle DAC}} \cdot \frac{\sin{\angle CBE}}{\sin{\angle EBA}} \cdot \frac{\sin{\angle ACF}}{\sin{\angle FCB}} = 1.$$

Ceva's theorem pops up quite a lot in math competitions when we want to show concurrency. The main approach is to try and find one of the ratios described above in terms of something symmetric, like the sides of the triangle, or an expression involving its angles. We can then usually find similar expressions for the other two sides and stuff cancels out nicely when we multiply it together.


Exercise 1

Show that the medians of a triangle are concurrent using Ceva's theorem.

Let $D$, $E$ and $F$ be the midpoints of $BC$, $CA$ and $AB$. It is enough to show that

$$\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = 1,$$

and since $D$, $E$ and $F$ are midpoints, we have that

$$\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = 1 \cdot 1 \cdot 1 = 1.$$


Exercise 2

Show that the altitudes of a triangle are concurrent.

Let $D$, $E$ and $F$ be the feet of the altitudes from $A$, $B$ and $C$ respectively. 

It is enough to show that 

$$\frac{\sin{\angle BAD}}{\sin{\angle DAC}} \cdot \frac{\sin{\angle CBE}}{\sin{\angle EBA}} \cdot \frac{\sin{\angle ACF}}{\sin{\angle FCB}} = 1.$$

But because of the right triangles we have that the left hand side is equal to

$$\frac{\sin{90^{\circ} - \angle B}}{\sin{90^{\circ} - \angle C}} \cdot \frac{\sin{90^{\circ} - \angle C}}{\sin{90^{\circ} - \angle A}} \cdot \frac{\sin{90^{\circ} - \angle A}}{\sin{90^{\circ} - \angle B}}$$

which is equal to $1$.


Exercise 3

Let $D$, $E$ and $F$ be points on $BC$, $CA$ and $AB$ in triangle $ABC$ such that $AD$, $BE$ and $CF$ are concurrent. Let $D'$, $E'$ and $F'$ be the reflections of $D$, $E$ and $F$ through the midpoints of $BC$, $CA$ and $AB$. Show that $AD'$, $BE'$ and $CF'$ are concurrent. This new point of concurrency is called the isotomic conjugate of the original point of concurrency.

Because of the midpoints, we know that $BD' = DC$ and that $D'C = BD$, so we get that 

$$\frac{BD'}{D'C} = \frac{DC}{BD}$$

We similarly get that

$$\frac{CE'}{E'A} = \frac{EA}{CE}, \; \frac{AF'}{F'B} = \frac{FB}{AF}.$$

Combining all expressions, we get that

$$\frac{BD'}{D'C} \cdot \frac{CE'}{E'A} \cdot \frac{AF'}{F'B} = \frac{DC}{BD} \cdot \frac{EA}{CE} \cdot \frac{FB}{AF},$$

and since $AD$, $BE$ and $CF$ are concurrent we know by Ceva's theorem that this is equal to $1$. By Ceva's theorem we are then done.


Exercise 4

Let $D$, $E$ and $F$ be points on segments $BC$, $CA$ and $AB$ in triangle $ABC$. Show that if $AD$, $BE$ and $CF$ are concurrent and we reflect $AD$, $BE$ and $CF$ over the angle bisectors of $\angle A$, $\angle B$ and $\angle C$, then the reflections of the lines are also concurrent. This new point of intersection is called the isogonal conjugate of the first intersection.

Let $AD'$ be the reflection of $AD$ over the angle bisector of $\angle A$. 

Then we know from the symmetry that

$\angle BAD' = \angle DAC$ and $\angle D'AC = \angle BAD$. This means that 

$$\frac{\sin{\angle BAD'}}{\sin{\angle D'AC}} = \frac{\sin{\angle DAC}}{\sin{\angle BAD}}.$$

We get similar expressions for the other two lines, and since the original $D$, $E$ and $F$ angles cancel out to $1$, so does the new angles also. By Ceva's theorem we are then done.