∠BDE=∠CDF,∠BED=∠DFC,CD=DB,有全等三角形CDF,BDE(AAS),所以DF=DE
又DA=DA,故在三角形FDA,EDA中全等(HL),所以∠DAC=∠DAE,即
d在角bac的平分线上