Problem

Source: All-Russian MO 2009 Regional 9.7

Tags: geometry, Circumcenter, parallelogram



Given a parallelogram $ABCD$, in which the angle $\angle ABC$ is obtuse. Line $AD$ intersects the circle a second time $\omega$ circumscribed around triangle $ABC$, at the point $E$. Line $CD$ intersects second time circle $\omega$ at point $F$. Prove that the circumcenter of triangle $DEF$ lies on the circle $\omega$.