MathDB
Collinear points, prove 90 angle

Source: Serbia JBMO TST 2022 P2

June 1, 2022
geometryincentercircumcirclemidpointsmixtilinear incircle

Problem Statement

Let II be the incenter, A1A_1 and B1B_1 midpoints of sides BCBC and ACAC of a triangle ΔABC\Delta ABC. Denote by MM and NN the midpoints of the arcs ACAC and BCBC of circumcircle of ΔABC\Delta ABC which do contain the other vertex of the triangle. If points MM, II and NN are collinear prove that: \begin{align*} \angle AIB_1=\angle BIA_1=90^{\circ} \end{align*}