Maths Olympiad Prep

Library / /15 of 24

Geometry Difficulty 8.5 Shortlist Prove it Romania

Let ABCABC be a scalene acute triangle with incentre II and circumcentre OO. Let AIAI cross BCBC at DD. On circle ABCABC, let XX and YY be the mid-arc points of ABCABC and BCABCA, respectively. Let DXDX cross CICI at EE and let DYDY cross BIBI at FF. Prove that the lines FXFX, EYEY and IOIO are concurrent on the external bisector of BAC\angle BAC.

Solution

The argument hinges on the claim below:

Claim. The lines AEAE and BIBI are perpendicular; similarly, AFAF and CICI are perpendicular

*Proof.* Let α=BAC\alpha = \angle BAC, β=CAB\beta = \angle CAB and γ=ACB\gamma = \angle ACB. Let DXDX cross the circle ADCADC again at DD'. Note that ECX=ACXACE=90β/2γ/2=α/2=DAC=DDC=XDC\angle ECX = \angle ACX - \angle ACE = 90^\circ - \beta/2 - \gamma/2 = \alpha/2 = \angle DAC = \angle DD'C = \angle XD'C. As CXE=CXD\angle CXE = \angle CXD', triangles XCDXCD' and XECXEC are similar, so XDXE=XC2XD' \cdot XE = XC^2.

As XA=XCXA = XC, it follows that XDXE=XA2XD' \cdot XE = XA^2, so triangles XDAXD'A and XAEXAE are similar, so XAE=ADX=ADD=ACD=γ\angle XAE = \angle AD'X = \angle AD'D = \angle ACD = \gamma.
Finally, note that XAD=XACDAC=90β/2α/2=γ/2\angle XAD = \angle XAC - \angle DAC = 90^\circ - \beta/2 - \alpha/2 = \gamma/2, so IAE=DAE=XAEXAD=γ/2\angle IAE = \angle DAE = \angle XAE - \angle XAD = \gamma/2. As AIB=90+γ/2\angle AIB = 90^\circ + \gamma/2, the claim follows.

Let WW be the mid-arc point of CABCAB and let II' be the reflection of II across OO. As W,X,YW, X, Y are the mid-arc points of CAB,ABC,BCACAB, ABC, BCA, respectively, their reflections across OO are the mid-arc points opposite. These latter form a triangle with orthocentre II, so II' is the orthocentre of triangle WXYWXY.
Reflection across OO maps lines XV,WYXV, WY and WXWX to the perpendicular bisectors of AI,BIAI, BI and CICI, respectively, so XYAI,WYBIXY \perp AI, WY \perp BI and WXCIWX \perp CI. By the claim, AEIFAE \perp IF and AFIEAF \perp IE, so II is the orthocentre of triangle AEFAEF and hence EFAIEF \perp AI as well.
Triangles AEFAEF and WXYWXY have therefore corresponding parallel sides, so they are homothetic from some point RR. This homothety maps II to II', as they are corresponding orthocentres. Hence the lines AW,EY,FYAW, EY, FY and IIII' are concurrent at RR. As I,OI, O and II' are collinear and AWAW is the external bisector of BAC\angle BAC, the conclusion follows.

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.