根据角平分线上的点到角的两边的距离相等求出FD=FE，然后利用HL定理证明△ADF和△AEF全等，再根据全等三角形对应边相等得到AD=AE，最后利用等腰三角形“三线合一”的性质可得AF垂直平分DE．
证明：∵AF平分∠BAC交BC于F，FD⊥AB于D，FE⊥AC于E，
∴FD=FE（角平分线上的点到角的两边的距离相等），
在Rt△ADF和Rt△AEF中，，
∴Rt△ADF≌Rt△AEF（HL），
∴AD=AE（全等三角形对应边相等），
又∵AF平分∠BAC交BC于F，
∴AF垂直平分DE（等腰三角形三线合一）．
