Maths Olympiad Prep

Library / /148 of 397

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 的重心。
試證: 直線 FGFGIOIO 垂直。

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 EFIOEF \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 OXYZOX \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
XYAB,XZCA    OYXZ,OZXY, 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 EFIOEF \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, UVIOUV \perp IO. This completes the proof.

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