如图将三角形ABC绕点A逆时针旋转80°后得到三角形ADE