Maybe a P0
Source: Iran MO 2023 3rd round , geometry exam P1
August 23, 2023
geometryincentercircumcircleangle bisector
Problem Statement
In triangle , is the incenter and is the midpoint of arc in the circumcircle of not containing . Let be an arbitrary point on the external angle bisector of . Let . lies on , different from , st . Prove that
(Assume that is not on or )