∵ΔACE是等边三角形，∴∠EAC=60°，∵∠CAB=30°，∴∠EAF=90°，在RTΔABC中，∠CAB=30°，∴AC=√3/2AB。过D作DH⊥AB于H，∵ΔABD是等边三角形，∴∠ADH=30°，∴DH=√3/2AD=√/2AB，∴AE=AC=DH，∵∠AFE=∠DFH，∠EAF=∠DHF=90°，∴ΔEAF≌ΔGHF，∴AF=DF，即F为DE的中点。
