Maths Olympiad Prep

Library / /14 of 22

Geometry Difficulty 8.5 Shortlist Prove it Vietnam

Given an acute, scalene triangle ABCABC with circumcircle (O)(O). The line passing through OO and midpoint II of BCBC intersects ABAB, ACAC at EE, FF. Let DD, GG be the reflections of AA over OO and the circumcenter of triangle AEFAEF. Let KK be the reflection of OO over the circumcenter of triangle OBCOBC.

a) Prove that DD, GG and KK are collinear.

b) Take MM on KBKB and NN on KCKC such that IMIM is perpendicular to ACAC and ININ is perpendicular to ABAB. The perpendicular bisector of IKIK intersects MNMN at HH. Suppose that IHIH meets ABAB, ACAC at PP, QQ respectively. Prove that the circumcircle of triangle APQAPQ intersects (O)(O) again at a point on AIAI.

Solution

a) Let TT be the projection of AA on GDGD, it is well known that TT is the second intersection of (AEF)(AEF) and (O)(O). We observe that TEBTFC\triangle TEB \sim \triangle TFC then
TBTC=BECF. \frac{TB}{TC} = \frac{BE}{CF}.
Figure 1

On the other hand,
BECF=BEIBICCF=cosACBcosABC=BDCD, \frac{BE}{CF} = \frac{BE}{IB} \cdot \frac{IC}{CF} = \frac{\cos ACB}{\cos ABC} = \frac{BD}{CD},
which implies that TBDCTBDC is a harmonic quadrilateral, or TDTD passes through KK, which is the intersection of the tangents at B,CB, C of (O)(O).

b) Let X,YX, Y be the intersections of KB,KCKB, KC with IN,IMIN, IM, respectively. The tangents at B,CB, C of (O)(O) meet the tangent at AA at X,YX', Y'. Because IXOXIX \parallel OX' and IYOYIY \parallel OY', then
KXYKXY \triangle KX'Y' \sim \triangle KXY
with O,IO, I are corresponding. Note that OO is the incenter of KXYKX'Y', it implies that II is the incenter of triangle KXYKXY.

Let (KXY)(KXY) meet IY,IXIY, IX at R,SR, S respectively. Clearly, R,SR, S are the circumcenters of triangles KIXKIX and KIYKIY. Hence, RSRS is the perpendicular bisector of IKIK or HH lies on RSRS. Applying Pascal's theorem for (KXRSYK)\begin{pmatrix} K & X & R \\ S & Y & K \end{pmatrix}, we obtain that the tangent at KK of (KXY)(KXY), RSRS and MNMN are concurrent, which means KHKH is the tangent of (KXY)(KXY). By angle chasing, we have
HIK=HKI=HKB+BKI=KYX+90BAC=2702ABCBAC=90+ACBABC \begin{aligned} \angle HIK &= \angle HKI = \angle HKB + \angle BKI \\ &= \angle KYX + 90^\circ - \angle BAC = 270^\circ - 2\angle ABC - \angle BAC \\ &= 90^\circ + \angle ACB - \angle ABC \end{aligned}
also, (AO,BC)=OAC+ACB=90ABC+ACB=HIK\angle(AO, BC) = \angle OAC + \angle ACB = 90^\circ - \angle ABC + \angle ACB = \angle HIK. Note that IKBCIK \perp BC, thus IHAOIH \perp AO. Hence, PBQCPBQC is cyclic or II has the same power to (ABC)(ABC) and (APQ)(APQ), which means AIAI passes through the second intersection of (APQ)(APQ) and (O)(O). \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.