The final round of the South African Mathematics Olympiad will be taking place on Thursday, 28 July 2019. In the week leading up to the contest, I plan to take a look at some of the problems from the senior paper from 2018. A list of all of the posts can be found here.
Today we will look at the fourth problem from the 2018 South African Mathematics Olympiad:
Let
be a triangle with circumradius
, and let
be the altitudes through
respectively. The altitudes meet at
. Let
be an arbitrary point in the same plane as
. The feet of the perpendicular lines through
onto
are
respectively. Prove that the areas of
and
satisfy the following equation:
Once again, we begin by creating a diagram. Again, since I already know how the solution plays out, I’ve drawn in the circle that passes through , and
. We do know yet that these points are concylic, however, as it is not given directly in the problem statement.
There are a number of ways in which we could try to relate the areas of and
.
- We could use various formulae for the area of a triangle to directly calculate
and
.
- We could divide divide each triangle up into smaller pieces where it is easier to relate the areas.
- We could hope that triangle
happens to be similar to triangle
, so that the area of triangle
can be obtained by multiplying the area of triangle
by the square of the relevant scale factor.
- We could try to use analytic/coordinate geometry. Here, the shoelace formula to calculate areas may be useful.
- We could use some combination of these approaches.
Certainly the simplest way in which the statement in the problem could be true is if triangle were similar to triangle
with scale factor
. This may be too much to hope for, but in the process of trying to prove it we may discover some useful relationships between the angles in the diagram, or ratios of side lengths that we could use in one of the other approaches. It certainly doesn’t hurt to fill in as many angles as possible using standard “angle chasing” techniques, and if that is enough to solve the problem then we will be very happy indeed.
We note that is the length of the diameter of the circumcircle of triangle
, so if triangle
were similar to triangle
, then we would hope that the length of the diameter of the circumcircle of triangle
is equal to
so that we have the correct scale factor for the two triangles. The easiest way in which this could be true is if
, and
were to lie on the circle with diameter
. As mentioned earlier, this does in fact turn out to be true!
We note that a point lies on the circle with diameter
if and only if
. The point
has this property since
is the foot of the perpendicular from
onto
. The point
, being the foot of the perpendicular from
onto
, also has this property, and so does the point
.
We now try to find the angles in the triangle in the hopes that they turn out to be equal to the angles in triangle
. We note that since
is cyclic, we have that
. Since
and
are both perpendicular to
, we know that
and
are parallel. Similarly, we know that
and
are parallel, and so the angle between the lines
and
is equal to the angle between the lines
and
. (Imagine extending
to cut
at
, and extending
to cut
and
. Then
would be a parallelogram, and
and
would be opposite each other in this parallelogram, and hence equal.) We thus have that
. A similar argument shows that
, and so the triangles
and
are similar, just as we had hoped.
One does need to be careful. In this problem, different configurations of the diagram may arise depending, for example, on whether is inside or outside of the triangle. The arguments that we used may not be valid any more in a different configuration of the diagram. We may find, for example, that instead of two angles being equal, they turn out to be supplementary. (For example, two angles may no longer be corresponding angles in a cyclic quad, but may instead be opposite angles in a cyclic quad.) In fact, if one reads the above post carefully, one will realise that the argument given to show that
doesn’t work exactly as written to show that
.
One common way around this pitfall is to use so-called directed angles. I do not plan to talk about this topic in this post, but I would encourage the reader to find out more about this method and to work out how the argument above needs to be changed so that it works in all possible configurations of the diagram.
[…] 2018 Olympiad problem 4 […]