在△BED和△DFC中
BE=CF,DB=DC
∴△BED≌△DFC（HL）
∴DE=DF（全等三角形对应边相等）
在△AED和△AFD中
AD=AD,DE=DF
∴△AED≌△AFD（HL）
∴∠EAD=∠FAD（全等三角形对应角相等）
即AD是∠BAC的平分线