Maths Olympiad Prep

Library / /11 of 36

Geometry Difficulty 5.6 AIME, harder Prove it Saudi Arabia

Let ABCABC be a triangle inscribed in circle (O)(O) with angle A=45\angle A = 45^\circ and AB<ACAB < AC. Let AD,AHAD, AH be the angle bisector and altitude of triangle ABCABC with D,HD, H are on BCBC. Suppose that ODOD intersects AHAH at EE and KK is the circumcenter of triangle EBCEBC. Prove that HKADHK \parallel AD.

Solution

Let P,NP, N be the projections of O,KO, K on AEAE and M,TM, T be the midpoints of BCBC and the minor arc BCBC of (O)(O). Let AH=hAH = h and R,RR, R' be the radii of (O),(K)(O), (K) respectively.
Figure 1
By Thales' theorem, we have
HEHA=MOMT=MOOTOM=2+1    HE=(2+1)h. \frac{HE}{HA} = \frac{MO}{MT} = \frac{MO}{OT - OM} = \sqrt{2} + 1 \implies HE = (\sqrt{2} + 1)h.
According to the Pythagorean theorem, BK2BO2=KM2OM2BK^2 - BO^2 = KM^2 - OM^2 so
R2R2=KM2OM2    KM2=R2R22. R'^2 - R^2 = KM^2 - OM^2 \implies KM^2 = R'^2 - \frac{R^2}{2}.
Similarly,
AO2(AHOM)2=OP2=KN2=KE2(EHMK)2R2(hR2)2=R2((2+1)hMK)2MK2+hR2=R2R22(2+1)2h2+(2+22)hMKR2=(2+22)h+(2+22)MKMK=h+R22+22=h+MT. \begin{align*} AO^2 - (AH - OM)^2 &= OP^2 = KN^2 = KE^2 - (EH - MK)^2 \\ \Leftrightarrow R^2 - \left(h - \frac{R}{\sqrt{2}}\right)^2 &= R'^2 - \left((\sqrt{2} + 1)h - MK\right)^2 \\ \Leftrightarrow MK^2 + h \cdot R\sqrt{2} &= R'^2 - \frac{R^2}{2} - (\sqrt{2} + 1)^2 h^2 + (2 + 2\sqrt{2})h \cdot MK \\ \Leftrightarrow R\sqrt{2} &= (2 + 2\sqrt{2})h + (2 + 2\sqrt{2})MK \\ \Leftrightarrow MK &= h + \frac{R\sqrt{2}}{2 + 2\sqrt{2}} = h + MT. \end{align*}
Thus KT=MKMT=h=AHKT = MK - MT = h = AH, proving that AHKTAHKT is a parallelogram. Therefore, ADHKAD \parallel HK. \square

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.