过D 做DG⊥AB
∵△ABD是等边
∴AD既是高又是中线
引为∠A=30°
∴BC=AG=BG
∴△AGD≌ACB
∴DG=AC
∵AC=AE
∴DG=AE
∠EAF=∠EAC=CAB=90°
∠AEF=GDF
∴三角形AEF全等GDF
∴EF=DF
过D 做DG⊥AB
∵△ABD是等边
∴AD既是高又是中线
引为∠A=30°
∴BC=AG=BG
∴△AGD≌ACB
∴DG=AC
∵AC=AE
∴DG=AE
∠EAF=∠EAC=CAB=90°
∠AEF=GDF
∴三角形AEF全等GDF
∴EF=DF