Maths Olympiad Prep

Library / /5 of 16

Geometry Difficulty 6.5 National olympiad Prove it Japan

Let ABCABC be an acute triangle with circumcenter OO and let DD be the foot of the perpendicular from AA to BCBC. Assume AOD=90\angle AOD = 90^\circ and OD=47OD = 4\sqrt{7} hold. Let EE and FF be the feet of perpendiculars from DD to ABAB and ACAC respectively, and let the lines AOAO and EFEF meet at PP. If AP=11AP = 11, find the length of EFEF.

Solution

Without loss of generality assume ABACAB \ge AC. First, since AED=ADB=90\angle AED = \angle ADB = 90^\circ, triangles AEDAED and ADBADB are similar, so AE:AD=AD:ABAE : AD = AD : AB, that is AD2=ABAEAD^2 = AB \cdot AE. Similarly AD2=ACAFAD^2 = AC \cdot AF, hence ABAE=ACAFAB \cdot AE = AC \cdot AF and points EE, BB, CC, FF are concyclic. Now,
BAO=12(180AOB)=90ACB=DAC, \angle BAO = \frac{1}{2}(180^\circ - \angle AOB) = 90^\circ - \angle ACB = \angle DAC,

so BAO+AEF=DAC+ACB=90\angle BAO + \angle AEF = \angle DAC + \angle ACB = 90^\circ and lines AOAO and EFEF are perpendicular.
Let MM be the midpoint of ADAD. Since AED=AFD=90\angle AED = \angle AFD = 90^\circ, MM is the circumcenter of triangle AFEAFE. Therefore in the similarity between triangles ABCABC and AFEAFE, the points (A,B,C,O,D)(A, B, C, O, D) correspond to (A,F,E,M,P)(A, F, E, M, P). In particular triangles AODAOD and AMPAMP are similar, and since AOD=90\angle AOD = 90^\circ, we have AMP=90\angle AMP = 90^\circ. As MM is the midpoint of ADAD, we have PD=PA=11PD = PA = 11.
From POD=90\angle POD = 90^\circ and OD=47OD = 4\sqrt{7}, the Pythagorean theorem gives OP=3OP = 3. Also AOD=AED=AFD=90\angle AOD = \angle AED = \angle AFD = 90^\circ, so points AA, EE, OO, DD, FF are concyclic. Moreover EFEF and ODOD are both perpendicular to AOAO, hence parallel, making EODFEODF an isosceles trapezoid. Let EP=xEP = x, so that FP=EP+OD=x+47FP = EP + OD = x + 4\sqrt{7}. By the power of the point PP, we have EPFP=APOPEP \cdot FP = AP \cdot OP, i.e. x(x+47)=33x(x + 4\sqrt{7}) = 33, which yields x=6127x = \sqrt{61} - 2\sqrt{7}. Hence EF=x+(x+47)=261EF = x + (x + 4\sqrt{7}) = 2\sqrt{61}.

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 and solution reproduced as published; topic and difficulty added by this site.