先证明△AEC全等于△ABD,
作AM垂直EC,AN垂直BD.
则全等三角形对应高相等,于是AM=AN.
AM、AN是点A到角EFD两边的距离,
根据:到角两边距离相等的点在这个角的平分线上”
可得结论:点A在角EFD的角平分线上