如图所示，过点E作EG⊥AB，
∵△ABE是等边三角形，EG⊥AB，
∴AG=BG=

1

2

AB，
由勾股定理得：EG=

3

AG，
∵∠BAC=30°，
∴BC=

1

2

AB，
∴AG=BC=

1

2

AB，
∵由勾股定理得：AC=

3

BC，
∴EG=AC，
∵∠DAB=60°+30°=90°，
∴DA⊥AB．
∴DA∥EG．
∴∠ADE=∠FEG，∠DAF=∠FGE=90°，
在△ADF与△GEF中，
∵

∠ADE＝∠FEG ∠DAF＝∠FGE＝90° EG＝AD

，
∴△ADF≌△GEF（AAS），
∴DF=EF．
即F为DE的中点．