Q3 Matemática  (Iranian Geometry Olympiad 2017)

No pentágono regular $ABCDE$, a perpendicular em $C$ a $CD$ encontra $AB$ em $F$. Prove que $AE+AF=BE$. Proposto por Alireza Cheraghi