The final round of the South African Mathematics Olympiad will be taking place on Thursday, 28 July 2019. In the week and half leading up the the contest, I plan to take a look at some of the problems from the senior paper in 2018, and have already written about the first problem

The second problem from the 2018 South African Mathematics Olympiad was

In triangle \(ABC\), \(AB = AC\), and \(D\) is on \(BC\). A point \(E\) is chosen on \(AC\), and a point \(F\) is chosen on \(AB\), such that \(DE = DC\) and \(DF = DB\). It is given that \(\frac{DC}{BD} = 2\) and \(\frac{AF}{AE} = 5\). Determine the value of \(\frac{AB}{BC}\).

The first step of solving any geometry problem should always be to draw a sketch. This helps you to understand how different parts of the figure relate to each other, and an accurate sketch may help you to form conjectures. Sometimes having a deliberately inaccurate sketch on hand is also helpful as it may help to avoid circular reasoning. For example, if three points in a sketch appear to be collinear, and you are trying to prove that this is in fact the case, then when working with an accurate sketch you may inadvertently assume that the points are collinear in your proof.

Below I have included a sketch which is more accurate than it needs to be because when I was creating it, I already knew what all of the lengths in the problem work out to be.

Diagram for Problem 2 showing triangle ABC with points D, E, and F marked, and the line segments DE, EF, and DF drawn.

To relate \(AB\) to \(BC\), it may help to relate these lengths to other lengths which we are given information about. For example, we know that \(BC = 3 BD\), so if we could also relate \(AB\) to \(BD\), then we would be able to relate \(AB\) to \(BC\).

The key insight that allows us to relate \(AB\) to \(BD\) is to realise that the triangles \(ABC\) and \(DBF\) are similar. This is because triangle \(DBF\) is isosceles, and so we have that \(\angle BFD = \angle DBF = \angle ACB\), and so the two triangles have two pairs of corresponding angles equal. We are thus able to conclude that \(\frac{AB}{BC} = \frac{BD}{BF}\).

We don’t appear to be any closer to solving the problem, since we now have to figure out how \(BF\) relates to \(BD\), and this appears to be at least as difficult as the original problem. We do, however, know that \(BF = AB - AF\), which we can use to our advantage because we have been given information about how \(AF\) relates to other lengths in the figure. Specifically, we know the ratio of \(AF\) to \(AE\), and so it would be helpful to work with the length \(AE\) in order to make further progress.

We were earlier able to relate the ratio \(\frac{AB}{BC}\) to the length \(AF\) by noting that triangles \(ABC\) and \(DBF\) are similar. We could do the same thing with triangles \(ABC\) and \(DCE\) to relate the ratio \(\frac{AB}{AC}\) to the length \(AE\) instead. Since we know the relationship between \(AF\) and \(AE\), we would then be able to set up an equation for \(\frac{AB}{AC}\).

Using this approach, we obtain

\[\displaystyle \frac{2BD}{AC - AE} = \frac{DC}{CE} = \frac{AB}{BC} = \frac{BD}{BF} = \frac{BD}{AB - AF}.\]

From this we obtain that

\[\displaystyle 2AC - 10AE = 2(AB - AF) = AC - AE\]

and so we now know that \(AC = 9AE\). This is not quite what we wanted. We hoped that the equation would allow us to determine \(\frac{AB}{BC}\), but we have still obtained some valuable information.

This unexpected piece of information is in fact enough to finish off the problem. We return to the relation

\(\displaystyle \frac{AB}{BC} = \frac{2BD}{AC - AE}\).

Since we know know what \(AC - AE\) is as a fraction of \(AC\), and we know what proportion of \(BC\) the length \(BD\) is equal to, we can rewrite

\[\displaystyle \frac{2BD}{AC - AE}\]

in terms of \(AB\) and \(BC\), and thus obtain an equation for \(AB\) and \(BC\) after all. Doing so gives us

\[\displaystyle \frac{AB}{BC} = \frac{\frac{2}{3} BC}{\frac{8}{9} AC}\]

and so we obtain that

\[\displaystyle {\left(\frac{AB}{BC}\right)}^2 = \frac{3}{4}\]

which finally allows us to determine that

\[\displaystyle \frac{AB}{BC} = \frac{\sqrt{3}}{2}.\]

How clear is this post?