Angel Abe =AEB
Parallel BC
Angle AEB = EAD = 2 < BAE
ADCE is an isosceles trapezoid.
Angle EAD=CDA=2DAB
DAB=BAE
BF=AF
Angle BFE=FAB+FBA=2FAB=EAD=BEA.
BE=BF
So AF=BE