Maths Olympiad Prep

Library / Taiwan IMO Selection Camp /136 of 359

Taiwan IMO Selection Camp

Geometry Difficulty 5.6 AIME, harder Prove it Taiwan

設三角形 ABCABC 的內心、重心、外心分別為點 I,G,OI, G, O。令點 X,Y,ZX, Y, Z 分別落在射線 BC,CA,ABBC, CA, AB 上, 並且滿足 BX=CY=AZBX = CY = AZ。設點 FF 為三角形 XYZXYZ 的重心。
試證: 直線 FGFG 與 IOIO 垂直。

Let I,G,OI, G, O be the incenter, centroid, and circumcenter of triangle ABCABC, respectively. Let points X,Y,ZX, Y, Z lie on rays BC,CA,ABBC, CA, AB respectively, satisfying BX=CY=AZBX = CY = AZ. Let FF be the centroid of triangle XYZXYZ.
Prove: line FGFG is perpendicular to IOIO.

Solution

First we prove a lemma.

Lemma 1. Let I,OI, O be the incenter and circumcenter of △ABC\triangle ABC respectively. Let points E,FE, F lie on rays CA,BACA, BA respectively, satisfying BF=BC=CEBF = BC = CE. Then EF⊥IOEF \perp IO.

Proof of Lemma. Let MM be the midpoint of arc BCBC containing AA on the circumcircle of △ABC\triangle ABC, and let X,Y,ZX, Y, Z be the circumcenters of triangles AEF,CIA,AIBAEF, CIA, AIB respectively. Since MB=MCMB = MC, BF=CEBF = CE, and ∠MCE=∠MBF\angle MCE = \angle MBF, triangles △MBF\triangle MBF and △MCE\triangle MCE are directly congruent. From this we know
∠MEA=∠MFA, \angle MEA = \angle MFA,
so MM lies on the circumcircle of △AEF\triangle AEF, hence OX⊥YZOX \perp YZ. On the other hand, from ∠CFA=∠CIA\angle CFA = \angle CIA, we know that FF lies on the circumcircle of △CIA\triangle CIA. Similarly, EE lies on the circumcircle of △AIB\triangle AIB. Therefore
XY⊥AB,XZ⊥CA  ⟹  OY∥XZ,OZ∥XY, XY \perp AB, \quad XZ \perp CA \implies OY \parallel XZ, \quad OZ \parallel XY,
so OYXZOYXZ is a rhombus. Since YZYZ is parallel to the angle bisector of ∠EAF\angle EAF, and AX,IOAX, IO are symmetric with respect to YZYZ, we get EF⊥IOEF \perp IO, and the lemma is proved.

Figure 1

Returning to the original problem, let M,N,PM, N, P be the midpoints of AB,CZ,XYAB, CZ, XY respectively. Let UU be the reflection of ZZ about MM, VV be the reflection of CC about PP, and let ABAB and VXVX meet at WW. Since GG lies on CMCM with GMCG=12\frac{GM}{CG} = \frac{1}{2}, GG is the centroid of △CUZ\triangle CUZ, so G,N,UG, N, U are collinear, with GNUG=12\frac{GN}{UG} = \frac{1}{2}. Since FF lies on ZPZP with FPZF=12\frac{FP}{ZF} = \frac{1}{2}, FF is the centroid of △CVZ\triangle CVZ, so F,N,VF, N, V are collinear, with FNVF=12\frac{FN}{VF} = \frac{1}{2}. On the other hand, note that △ABC\triangle ABC and △WBX\triangle WBX are homothetic, and BU=BX=XVBU = BX = XV, so by the lemma, UV⊥IOUV \perp IO. This completes the proof.

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 translated into English from zh; metadata (topic, difficulty) added by this project.