证明:如图,连接$AE$并延长,交$BC$于点$G。$
∵$AD// BC,$
∴$∠ ADE=∠ GBE,$$∠ EAD=∠ EGB。$
∵$E$是$BD$的中点,
∴$DE=BE。$
在$△ ADE$和$△ GBE$中,
$\begin{cases}∠ EAD=∠ EGB, \\∠ ADE=∠ GBE, \\DE=BE,\end{cases}$
∴$△ ADE ≌ △ GBE$(AAS),
∴$AD=GB,$$AE=GE。$
∵$F$是$AC$的中点,
∴$AF=FC,$
∴$EF$为$△ AGC$的中位线,
∴$EF=\frac{1}{2}GC=\frac{1}{2}(BC-BG),$
∴$EF=\frac{1}{2}(BC-AD)。$