证明:在AD的延长线上取点G,使GD=FD,连接CG
∵ED=DC,GD=FD,∠ADB=∠GDC
∴△EDF≌△CDG (SAS)
∴∠G=∠EFD,CG=EF
∵EF∥AB
∴∠EFD=∠BAD
∴∠G=∠BAD
∵EF=AC
∴CG=AC
∴∠G=∠CAD
∴∠BAD=∠CAD
∴AD平分∠BAC
证明:
过C点做线段CG//AB,CG与AD的延长线交于G点
则三角形ADB 相似于 三角形GDC
所以 AB/GC=DB/DC
因为EF//AB
所以DB/DE=AB/EF
因为ED=DC,EF=AC
所以DB/DC=AB/AC
由AB/GC=DB/DC可知
AB/GC=AB/AC
所以GC=AC
所以∠DAC=∠DGC=∠BAD
所以AD评分∠BAC