$證明:過(guò)點(diǎn) C 作 C M // E F,交 A D 的延長(zhǎng)線于點(diǎn) M$
$∴\angle M=\angle E F D\ $
$∵D E=C D,\angle E D F=\angle C D M$
$在 \triangle E D F 和 \triangle C D M中$
$\begin{cases}{\angle EFD=\angle M}\\{\angle E D F=\angle C D M}\\{D E=DC}\end{cases}$
$∴\triangle E D F ≌ \triangle C D M(\mathrm{AAS})$
$∴E F=C M\ $
$∵E F=A C$
$∴A C=C M$
$∴\triangle A C M 為等腰三角形$
$∴\angle DA C=\angle M\ $
$又∵A D 平分 \angle BA C$
$∴\angle BA D=\angle DA C$
$∴\angle E F D=\angle BA D$
$∴E F//A B\ $