Problem

Source: 2021 Saudi Arabia IMO TST p5 (2.2)

Tags: geometry, right angle, circumradius, incenter



Let $ABC$ be a non isosceles triangle with incenter $I$ . The circumcircle of the triangle $ABC$ has radius $R$. Let $AL$ be the external angle bisector of $\angle BAC $with $L \in BC$. Let $K$ be the point on perpendicular bisector of $BC$ such that $IL \perp IK$.Prove that $OK=3R$.