如图,三角形ABC中,已知AB=AC,角BACk=90°,D是BC上一点,EC垂直BC,EC=BD,DF=EF.求证 (