如图,ad是△abc的角平分线,de,df分别是△abd和三角形acd的高.求证ad垂直平分ef