在三角形ABC中,AB=AV,角BAC等于90度,D是BC上的中点,E、F分别是AB、AC上的点,且AE=CF,求证DE