證明：過(guò)E作EG丄AB于G，如圖，
∵△ABE為等邊三角形，
∴BG=

1

2

AB，∠ABE=∠BEA=∠EAB=60°，AE=AB，
∵Rt△ABC中，∠C=90°，∠A=30°，
∴BC=

1

2

AB，
∴AG=BC，
在Rt△EAG和Rt△ABC中

AE＝AB AG＝BC

，
∴Rt△EAG≌Rt△ABC（HL），
∴EG=AC，
∵△DAC為等邊三角形，
∴AC=AD，∠DAC=60°，
∴EG=AD，∠DAF=30°+60°=90°，
在Rt△EFG和Rt△DFA中

EG＝DA ∠EFG＝∠DFA ∠EGF＝∠DAF

，
∴△EFG≌△DFA，
∴EF=FD．