如图,AB∥CDAD∥BC,AE⊥AD,AE=AD,AF⊥AB,那么必有EF=AC为什么