在Rt三角形ABC中,角BAC=90°,AB=AC,点D是BC边上一点,过点D做角ADE=45°,DC交AC于点E,试说