Collinear points, prove 90 angle
Source: Serbia JBMO TST 2022 P2
June 1, 2022
geometryincentercircumcirclemidpointsmixtilinear incircle
Problem Statement
Let be the incenter, and midpoints of sides and of a triangle . Denote by and the midpoints of the arcs and of circumcircle of which do contain the other vertex of the triangle. If points , and are collinear prove that:
\begin{align*}
\angle AIB_1=\angle BIA_1=90^{\circ}
\end{align*}