如图,已知AE⊥AD,AF⊥AB,AF=AB,AE=AD=BC,AD∥BC,猜想线段AC,EF的关系,并证明你