过点E作EH//BC，
因为EF//BC，EH//BC，
所以四边形EHAF是平行四边形
因为HE是梯形的中位线（可证）
(如果不用梯形的中位线，可连接AE并延长交BC的延长线于G，再证三角形ADE全等于三角形GCE得CG=AE=1，再证明HE是三角形ABG的中位线或通过三角形相似也一样可求出HE=4）
所以HE=4
因为BE平分角ABC，
所以角HBE=角EBF
因为HE//BC
所以，角HEB=角EBF
所以角HBE=角HEB
所以HE=HB
所以四边形HBFE是菱形
所以EF=HE=4
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024