MathDB
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 II be the center of the circle inscribed in triangle ABCABC. The inscribed circle is tangent to side BCBC at point KK. Let XX and YY be points on segments BIBI and CICI respectively, such that KXABKX \perp AB and KYACKY\perp AC. The circumscribed circle around triangle XYKXYK intersects line BCBC at point DD. Prove that ADBCAD \perp BC.
(Matthew Kurskyi)