24.【问题呈现】某学校的数学社团成员在学习时遇到这样一个题目:
如图1,在△ABC中,AB>AC,AD平分∠BAC交BC于点D,点E在DC的延长线上,过E作EF∥AB交AC的延长线于点F,当BD:DE=1时,试说明:AF+EF=AB;
【方法探究】
社团成员在研究探讨后,提出了下面的思路:
在图1中,延长线段AD,交线段EF的延长线于点M,可以用
AAS明△ABD≌△MED,从而得到EM=AB…
(1)请接着完成剩下的说理过程;
【方法运用】
(2)在图1中,若BD:DE=k,则线段AF、EF、AB之间的数量关系为
(用含k的式子表示,不需要证明);
(3)如图2,若AB=7,EF=6,AF=8,BE=12,求出BD的长;
【拓展提升】
(4)如图3,若DE=2BD,连接AE,已知AB=9,
tan∠DAF=
,AE=2
√17
,且AF>EF,则边EF的长=
.