證明:
因?yàn)?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}$
根據(jù)“HL”定理,可得$\bigtriangleup ACB\cong\bigtriangleup FDE$。
所以$\angle A=\angle F$。
因?yàn)閮?nèi)錯(cuò)角相等,兩直線平行,所以$AC// EF$。