IGO 2017 E3

In the regular pentagon $ABCDE$ , the perpendicular at $C$ to $CD$ meets $AB$ at $F$ . Prove that $AE+AF=BE$ .

Proposed by Alireza Cheraghi

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.