AD _|_ BC if KX _|_ AB and KY_|_ AC
Source: V.A. Yasinsky Geometry Olympiad 2023 IX p5 , Ukraine
December 12, 2023
geometryperpendicular bisector
Problem Statement
Let be the center of the circle inscribed in triangle . The inscribed circle is tangent to side at point . Let and be points on segments and respectively, such that and . The circumscribed circle around triangle intersects line at point . Prove that .(Matthew Kurskyi)