Rt三角形ABC和Rt三角形DEC是两个全等