Maths Olympiad Prep

Library / /156 of 426

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 = 1 2 ( AM - AN ) = 1 2 MN = 90\text{API = APM - MPI = APM - AMN = 1 2 ( AM - AN ) = 1 2 MN = 90}

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 reproduced verbatim; metadata (topic, difficulty) added by this project.