三角形问题,求各位好汉帮忙三角形ABC中,角BAC=90°,AD垂直BC于D,E是AB上的一点,AF垂直CE于F,求证: