已知,如图,AE⊥AD,AF⊥AB,AB//CD,AE=AD,AF=CD.求证AC=EF.