Maths Olympiad Prep

Library / /116 of 397

Geometry Difficulty 5.4 AIME, harder Prove it Taiwan

Let OO be the circumcenter of triangle ABCABC, and ω\omega be the circumcircle of triangle BOCBOC. Line AOAO intersects with circle ω\omega again at the point GG. Let MM be the midpoint of side BCBC, and the perpendicular bisector of BCBC meets circle ω\omega at the points OO and NN.

Prove that the midpoint of the segment ANAN lies on the radical axis of the circumcircle of triangle OMGOMG, and the circle whose diameter is AOAO.

Solution

Let HH be the foot of the perpendicular from AA to BCBC. It is easy to see that ANAN, the circle with diameter AOAO, and circle BOCBOC are concurrent at a point SS. Let AMAM intersect circle OMGOMG again at the point VV, let GVGV intersect circle BOCBOC again at the point UU, and let it intersect ANAN at the point TT. Since NUG=MOG=MVU\angle NUG = \angle MOG = \angle MVU, that is, UNAVUN \parallel AV, we have
TGA=AMO=HAM=SAO=TAG \angle TGA = \angle AMO = \angle HAM = \angle SAO = \angle TAG
(because ANAN is the symmedian, hence AMAM, ANAN are isogonal conjugate lines, and AHAH, AOAO are isogonal conjugate lines). Also AGN=90\angle AGN = 90^\circ, so TT is the midpoint of ANAN. Combining the above, we obtain that AVNUAVNU is a parallelogram, and TT is the midpoint of VUVU. Therefore TSTA=TSTN=TUTG=TVTGTS \cdot TA = TS \cdot TN = TU \cdot TG = TV \cdot TG, so TT lies on the radical axis of the two circles. Q.E.D.

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.