Maths Olympiad Prep

Library / /64 of 120

Geometry Difficulty 5.4 AIME, harder Prove it Saudi Arabia

Let ABCABC be a triangle with ABACAB \neq AC. Its incircle has center II and touches the side BCBC at point DD. Line AIAI intersects the circumcircle C\mathcal{C} of triangle ABCABC at MM and DMDM intersects again C\mathcal{C} at PP. Prove that API^=90\widehat{API}=90^{\circ}.

Solution

Assume that AB<ACAB < AC. We have MB=MC=MIMB = MC = MI. Indeed, from the hypothesis it follows
IBM^=12(A^+B^)=BIM^, \widehat{IBM} = \frac{1}{2}(\widehat{A} + \widehat{B}) = \widehat{BIM},
hence triangle BMIBMI is isosceles.

Figure 1

Furthermore, since
BPM^=12A^=MBC^ \widehat{BPM} = \frac{1}{2} \widehat{A} = \widehat{MBC}
one has DBMBPM\triangle DBM \sim \triangle BPM, hence MB2=MDMPMB^2 = MD \cdot MP. It follows MI2=MDMPMI^2 = MD \cdot MP, so MDIMIP\triangle MDI \sim \triangle MIP, and consequently
MPI^=MID^. \begin{equation*} \widehat{MPI} = \widehat{MID}. \tag{1} \end{equation*}
Notice now that IDOMID \parallel OM, implying MID^=AMO^\widehat{MID} = \widehat{AMO}. Let NN be the antipodal point of MM in circle C\mathcal{C}. Finally, we have
API^=APM^MPI^=APM^AMN^=12(\overparenAM\overparenAN)=12\overparenMN=90 \begin{gathered} \widehat{API} = \widehat{APM} - \widehat{MPI} = \widehat{APM} - \widehat{AMN} \\ = \frac{1}{2}(\overparen{AM} - \overparen{AN}) = \frac{1}{2} \overparen{MN} = 90^{\circ} \end{gathered}

Figure 1

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.