在三角形ABC中,AF平分角BAC交BC于F,FD垂直AB于D,FE垂直AC于E,求证:AF垂直平分DE.