Maths Olympiad Prep

Library / /284 of 351

Geometry Difficulty 6.3 National Olympiad Prove it Ireland

Two circles Γ1\Gamma_1 and Γ2\Gamma_2 intersect at two distinct points AA and BB. A line ℓ\ell through AA meets Γ1\Gamma_1 and Γ2\Gamma_2 at points CC and DD respectively, such that DD lies inside Γ1\Gamma_1. The line perpendicular to ℓ\ell through AA meets Γ1\Gamma_1 and Γ2\Gamma_2 at points EE and FF respectively. The line ECEC meets the line FDFD (extended) at the point XX. Prove that if XX lies on the perpendicular bisector of EFEF, then BXBX bisects the angle ∠CBD\angle CBD.

Solution

As XX lies on the perpendicular bisector of EFEF we have ∠XEF=∠XFE\angle XEF = \angle XFE; call this angle α\alpha. Cyclicity of AFBDAFBD implies ∠DBA=∠DFA=∠XFE=α\angle DBA = \angle DFA = \angle XFE = \alpha. Cyclicity of EABCEABC gives ∠CBA=180∘−∠CEA=180∘−∠XEF=180∘−α\angle CBA = 180^\circ - \angle CEA = 180^\circ - \angle XEF = 180^\circ - \alpha. Thus ∠CBD=∠CBA−∠DBA=180∘−2α\angle CBD = \angle CBA - \angle DBA = 180^\circ - 2\alpha.

Applying the exterior angle theorem to triangle EFXEFX we get that ∠CXD=∠CXF=∠XEF+∠XFE=2α\angle CXD = \angle CXF = \angle XEF + \angle XFE = 2\alpha. Thus ∠CBD+∠CXD=180∘\angle CBD + \angle CXD = 180^\circ and it follows that the quadrilateral DBCXDBCX is cyclic.

Figure 1

Since ∠EAC\angle EAC and ∠DAF\angle DAF are right triangles, we have ∠DCX=∠ACE=90∘−α\angle DCX = \angle ACE = 90^\circ - \alpha and ∠XDC=∠ADF=90∘−α\angle XDC = \angle ADF = 90^\circ - \alpha (∠XDC\angle XDC and ∠ADF\angle ADF being vertically opposite). Cyclicity of DBCXDBCX then implies that ∠DBX=∠DCX=∠XDC=∠XBC\angle DBX = \angle DCX = \angle XDC = \angle XBC, so BXBX bisects the angle ∠CBD\angle CBD.

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

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