三角形ABC顺时针旋转三角形ADE,AB=AC