Maths Olympiad Prep

Library / Irish Mathematical Olympiad /171 of 236

Irish Mathematical Olympiad, 2014

Geometry Difficulty 6.3 National Olympiad Prove it Ireland

Let ABCABC be a triangle with greatest side BCBC and let DD and EE be internal points on ABAB and ACAC, respectively, such that ∣AD∣=∣AE∣|AD| = |AE|. Let FF and GG be internal points on BCBC such that ∣BD∣=∣BG∣|BD| = |BG| and ∣CF∣=∣CE∣|CF| = |CE|. Prove that DD, EE, FF and GG are concyclic.

Solution

The relative position of FF and GG leads to different situations. If F=GF = G we have nothing to show. There remain two cases to consider: case (i) FF is between CC and GG; case (ii) GG is between CC and FF.
Figure 1
case (i)
Figure 2
case (ii)
In both cases, denote α=∠ADE=∠AED\alpha = \angle ADE = \angle AED, β=∠BDG=∠BGD\beta = \angle BDG = \angle BGD and γ=∠CFE=∠CEF\gamma = \angle CFE = \angle CEF. Considering the angle sum of the three triangles involving these angles, we obtain 2(α+β+γ)=540∘−(∠A+∠B+∠C)=360∘2(\alpha + \beta + \gamma) = 540^\circ - (\angle A + \angle B + \angle C) = 360^\circ, hence α+β+γ=180∘\alpha + \beta + \gamma = 180^\circ.
In case (i) we have ∠EDG+∠EFG=180∘−(α+β)+180∘−γ=180∘\angle EDG + \angle EFG = 180^\circ - (\alpha + \beta) + 180^\circ - \gamma = 180^\circ, hence DEFGDEFG is a cyclic quadrilateral.
In case (ii) we have ∠EDG=180∘−(α+β)=γ=∠EFG\angle EDG = 180^\circ - (\alpha + \beta) = \gamma = \angle EFG, which implies that EDFGEDFG is a cyclic quadrilateral.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.