已知在三角形ABC中,AD是BC边上的高,AD=BD,DE=DC,延长BE交AC于F,求证:BF垂直AC