查看原题
如图, 在 Rt $\triangle A B C$ 中, $\angle B A C=90^{\circ}, A B=A C$, 点 $D$ 为 $B C$ 上一点, 连接 $A D$. 过点 $B$ 作 $B E \perp A D$ 于点 $E$, 过点 $C$ 作 $C F \perp A D$ 交 $A D$ 的延长线于点 $F$, 若 $B E=4, C F=1$, 则 $E F$ 的长度为
                        
不再提醒