Problem

Source:

Tags: geometry, perpendicular, Regular, pentagon



A circle $c$ with center $A$ passes through the vertices $B$ and $E$ of a regular pentagon $ABCDE$. The line $BC$ intersects the circle $c$ for second time at point $F$. Prove that the lines $DE$ and $EF$ are perpendicular.