如图,在Rt三角形ABC中,角A=90度,AB=AC,BC=20,DE是