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

由勾股定理得:EG=
AG,
∵∠BAC=30°,
∴BC=
AB,
∴AG=BC=
AB,
∵由勾股定理得:AC=
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的中点.
解:如图所示,过点E作EG⊥AB,
∵△ABE是等边三角形,EG⊥AB,
∴AG=BG=
AB,

由勾股定理得:EG=
AG,
∵∠BAC=30°,
∴BC=
AB,
∴AG=BC=
AB,
∵由勾股定理得:AC=
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的中点.