已知:如图1,在三角形ABC中,AD是角BAC的平分线,DE垂直于AB与点E,DF垂直于AC于点F.求证;AD垂直于EF