AI=IE wanted, incenter, circumcircle, arc midpoint, symm.of incenter wrt side
Source: 2018 Croatia MO p7
August 2, 2020
geometryincentercircumcirclearc midpoint
Problem Statement
Given an acute-angled triangle in which . Point is the midpoint of the shorter arc of its circumcircle. The point is the center of its incircle, and the point is symmetric point of wrt line . The line intersects the circumcircle of the triangle at the point belonging to the arc . Prove that .