因为AD是角BAC的角平分线,所以AD垂直BC(三线合一性),所以角BDE+角ADE=角ADB=90度角FDC+角ADF=角ADC=90度,所以角EDB=角FDC所以在RT三角形EDF与三角形FDC中,因为ED垂直于AB,DF垂直于AC,角EDB=角FDC,BC=BC,所以三角形EDB全等于三角形FDC(AAS)BE=FC
AB丄AB'AD上AD.AB是角平分线
⊥