如图所示,已知在三角形ABC中,AD是角BAC的平分线,DE垂直AB,DF垂直AC,求证:AD垂直EF