三角形ABC绕点a顺时针旋转45度得到三角形ABC,若