已知:图中∠BAE=∠CAD=90°,AB=AE,AC=AD,AG⊥BC于G,GA延长线交DE于F,求证EF=DF