已知:在三角形ABC中,∠BAC=90°,AB=AC,直线AE交BC于F,BD⊥AF于D,CE垂直AF于E,求证:DE=