Maths Olympiad Prep

Library / /259 of 520

Geometry Difficulty 6.5 National olympiad Prove it

Let ω\omega be the circumcircle of a triangle ABCABC. We denote by MM and NN the midpoints of the sides [AB][AB] and [AC][AC] respectively, and by TT the midpoint of the arc BCBC of ω\omega not containing AA. The circumcircles of triangles AMTAMT and ANTANT meet the perpendicular bisectors of [AC][AC] and [AB][AB] at points XX and YY respectively; we assume that XX and YY are inside the triangle ABCABC. The lines (MN)(MN) and (XY)(XY) intersect at KK. Show that KA=KTKA=KT.

Solution

Let OO be the center of the circle ω\omega. We have O=(MY)(NX)O=(M Y) \cap(N X). Let \ell be the perpendicular bisector of [AT][A T]. It passes through OO.
Let ss be the reflection with respect to \ell. Since (AT)(A T) is the angle bisector of BAC^\widehat{B A C}, the line s(AB)s(A B) is parallel to (AC)(A C). Since (OM)(AB)(O M) \perp(A B) and (ON)(AC)(O N) \perp(A C), the line s(OM)s(O M) is parallel to (ON)(O N). Moreover, it passes through OO, so s(OM)=(ON)s(O M)=(O N).
Furthermore, the circumcircle γ\gamma of AMTA M T is symmetric with respect to \ell, i.e., s(γ)=γs(\gamma)=\gamma, so s(M)s(M) belongs to both γ\gamma and s(OM)=(ON)s(O M)=(O N). Necessarily, s(M)=Xs(M)=X. Similarly, s(N)=Ys(N)=Y. We deduce that s(MN)=(XY)s(M N)=(X Y). The intersection point KK of (MN)(M N) and (XY)(X Y) thus lies on the line \ell, which implies that KA=KTK A=K T.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.