证明:
因为$AD=FB$,所以$AD+DB=FB+DB$,即$AB=FD$。
在$\bigtriangleup ACB$和$\bigtriangleup FDE$中,$\begin{cases}AC=FE\\\angle C=\angle E = 90^{\circ}\\AB=FD\end{cases}$
根据“HL”定理,可得$\bigtriangleup ACB\cong\bigtriangleup FDE$。
所以$\angle A=\angle F$。
因为内错角相等,两直线平行,所以$AC// EF$。