因为AE⊥AD,AF⊥AB,所以∠EAD=∠FAB=90°,
那么∠EAF=360°-90°-90°-∠DAB=180°-∠DAB;
因为AB∥CD,所以∠ADC=180°-∠DAB,得∠EAF=∠ADC,
已知AE=AD,AF=CD,所以△EAF≌△ADC,得AC=EF.
因为AE⊥AD,AF⊥AB,所以∠EAD=∠FAB=90°,
那么∠EAF=360°-90°-90°-∠DAB=180°-∠DAB;
因为AB∥CD,所以∠ADC=180°-∠DAB,得∠EAF=∠ADC,
已知AE=AD,AF=CD,所以△EAF≌△ADC,得AC=EF.