证:作EG⊥AB交AB于点G
∵EG⊥AB
∴∠FGE=90°=∠BCA
∵等边△ABE
∴AB=AE
∴Rt△ABC≌Rt△EAG(HL)
∴AC=EG
∵等边△ACD
∴AC=AD=EG,∠CAD=60°
∵∠CAB=30°
∴∠DAF=90°=∠FGE
∵∠GFE=∠AFD,∠DAF=∠FGE,AD=EG
∴△EFG≌△DFA(AAS)
∴DF=EF
证:作EG⊥AB交AB于点G
∵EG⊥AB
∴∠FGE=90°=∠BCA
∵等边△ABE
∴AB=AE
∴Rt△ABC≌Rt△EAG(HL)
∴AC=EG
∵等边△ACD
∴AC=AD=EG,∠CAD=60°
∵∠CAB=30°
∴∠DAF=90°=∠FGE
∵∠GFE=∠AFD,∠DAF=∠FGE,AD=EG
∴△EFG≌△DFA(AAS)
∴DF=EF