连接AF并延长交BC延长线于点G,证△ADF≌△GCF(AAS )
AD=CG,由三角形中位线可知,EF∥BC∥AD,
EF=二分之BG=二分之(BC+CG)=二分之(BC+AD)
看明白了吗?图片传不上去,你自己试着画吧,还没懂的话,