Maths Olympiad Prep

Library / Romanian Mathematical Olympiad - Final Round /18 of 37

Romanian Mathematical Olympiad - Final Round

Geometry Difficulty 5.9 AIME, harder Prove it Romania

The triangle ABCABC has ∠BAC=90∘\angle BAC = 90^\circ and ∠ACB=54∘\angle ACB = 54^\circ. Take the bisector BDBD (D∈ACD \in AC) of the angle ABCABC and the point EE on the segment BDBD so that DE=DCDE = DC. Prove that BE=2⋅ADBE = 2 \cdot AD.

Solution

A straightforward angle chasing gives ∠ABC=90∘−54∘=36∘\angle ABC = 90^\circ - 54^\circ = 36^\circ, then ∠ABD=∠CBD=12∠ABC=18∘\angle ABD = \angle CBD = \frac{1}{2} \angle ABC = 18^\circ. So ∠BDA=90∘−∠ABD=72∘\angle BDA = 90^\circ - \angle ABD = 72^\circ, ∠BDC=180∘−∠BDA=108∘\angle BDC = 180^\circ - \angle BDA = 108^\circ.

The isosceles triangle CDECDE gives ∠DCE=∠DEC=12(180∘−∠CDE)=36∘\angle DCE = \angle DEC = \frac{1}{2}(180^\circ - \angle CDE) = 36^\circ, whence ∠BCE=∠BCD−∠ECD=18∘=∠CBE\angle BCE = \angle BCD - \angle ECD = 18^\circ = \angle CBE, hence the triangle BCEBCE is isosceles.

Denote FF the reflection of DD into AA. Then the points DD, AA, FF are collinear and ∠ABF=∠ABD=18∘\angle ABF = \angle ABD = 18^\circ (because △BAF≡△BAD\triangle BAF \equiv \triangle BAD – case S.A.S.), so ∠FBC=54∘=∠FCB\angle FBC = 54^\circ = \angle FCB, hence the triangle BFCBFC is isosceles, with FB=FCFB = FC.

This gives △FEB≡△FEC\triangle FEB \equiv \triangle FEC (S.S.S.), leading to ∠EFB=∠EFC=12∠CFB=36∘\angle EFB = \angle EFC = \frac{1}{2} \angle CFB = 36^\circ. So triangle EFCEFC is isosceles, whence EF=EC=EBEF = EC = EB (*). Also, ∠FED=180∘−∠FDE−∠FED=180∘−72∘−36∘=72∘=∠FDE\angle FED = 180^\circ - \angle FDE - \angle FED = 180^\circ - 72^\circ - 36^\circ = 72^\circ = \angle FDE, showing that FE=FD=2⋅ADFE = FD = 2 \cdot AD. Now (*) yields EB=2⋅ADEB = 2 \cdot AD.

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.