Maths Olympiad Prep

Library / Balkan Mathematical Olympiad Shortlist /10 of 13

Balkan Mathematical Olympiad Shortlist

Geometry Difficulty 8.1 Shortlist Prove it Balkan Mathematical Olympiad

In triangle ABCABC with AB=ACAB = AC, MM is the midpoint of BCBC, HH is the projection of MM onto ABAB and DD is arbitrary point on the side ACAC. Let EE be the intersection point of the parallel line through BB to HDHD with the parallel line through CC to ABAB. Prove that DMDM is the bisector of ∠ADE\angle ADE.

Solution

Let ω\omega be the circle of center MM and radius MHMH and let the tangent to ω\omega through DD different from DCDC meets the line ABAB at FF. It suffices to show that EE lies on DFDF.
Let E′E' be the intersection of DFDF and the line through CC parallel to ABAB and let PP be the projection of DD onto MCMC.
Let TT be the tangency point of ACAC and ω\omega. Consider the case when DD lies in the segment ATAT; the case when DD lies in the segment TCTC is treated analogously.

Since ∠FBM=∠MCD\angle FBM = \angle MCD and ∠FMB=90∘−∠AMF=90∘−12∠ADF\angle FMB = 90^\circ - \angle AMF = 90^\circ - \frac{1}{2}\angle ADF (as MM is the excenter of △ADF\triangle ADF opposite AA) =∠MDC= \angle MDC (as DMDM is the external angle bisector of ∠ADF\angle ADF), the triangles △BMF\triangle BMF and △DMC\triangle DMC are similar.
Therefore, we have FH:HB=MP:PCFH : HB = MP : PC (as MHMH and DPDP are corresponding altitudes in similar triangles) =AD:DC= AD : DC (as AM∥DPAM \parallel DP) =FD:DE′= FD : DE' (as AF∥CE′AF \parallel CE'). It follows that HD∥BE′HD \parallel BE' and E≡E′E \equiv E', as needed.

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.