Problem

Source: 2020 XXV All-Ukrainian Correspondence MO grades 5-12 p8

Tags: geometry, perpendicular, Ukraine Correspondence



Let $ABC$ be an acute triangle, $D$ be the midpoint of $BC$. Bisectors of angles $ADB$ and $ADC$ intersect the circles circumscribed around the triangles $ADB$ and $ADC$ at points $E$ and $F$, respectively. Prove that $EF\perp AD$.