AD是三角形ABC 的高,BF交AD于E,F是AC上的一点,已知BE=AC,ED=DC.证明BF垂直AC.