Maths Olympiad Prep

Library / /72 of 155

Geometry Difficulty 6.0 AIME, harder Prove it Saudi Arabia

The triangle ABCABC (AB>BCAB > BC) is inscribed in the circle Ω\Omega. On the sides ABAB and BCBC, the points MM and NN are chosen, respectively, so that AM=CNAM = CN. The lines MNMN and ACAC intersect at point KK. Let PP be the center of the inscribed circle of triangle AMKAMK, and QQ the center of the excircle of the triangle CNKCNK tangent to side CNCN. Prove that the midpoint of the arcABC\operatorname{arc} ABC of the circle Ω\Omega is equidistant from PP and QQ.

Solution

Let TT be the second intersection of two circles (BMN)(BMN) and (O)(O). We have
TAB=TCB,TMB=TNB, \angle TAB = \angle TCB, \quad \angle TMB = \angle TNB,
and AM=CNAM = CN, so TAMTCN\triangle TAM \cong \triangle TCN. Then TA=TBTA = TB, which means that TT is the midpoint of the arc BACBAC of circle (O)(O).

Figure 1

On the other hand, we also have
TCK=TBA=TNK, \angle TCK = \angle TBA = \angle TNK,
then TNCKT N C K is cyclic. Similarly, TMAKT M A K is also cyclic.

Since AM=CNAM = CN, it is easy to see that (KAM)(KAM) and (KCN)(KCN) are equal. So, if we call D,ED, E the midpoints of arcsAM\operatorname{arcs} AM and CNCN of circles (KAM)(KAM) and (KCN)(KCN), respectively, then two isosceles triangles DAMDAM and ECNECN are congruent. But we know that D,ED, E are also the circumcenters of PAM\triangle PAM and QCN\triangle QCN, so DP=EQDP = EQ.

At last, from (KAM)(KAM) and (KCN)(KCN) being equal, we get TD=TETD = TE, then TP=TQTP = TQ.

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 and solution reproduced as published; topic and difficulty added by this site.