绕点逆时针旋转90度坐标公式

解:p(a，b)绕原点0逆时针旋转90度后得到P1(一a，b)。理由如下:分别过P(a，b)点、p1点作x轴垂线，垂足分别为A、B，可以得到:△poA全等于△B0P1，所以oA=p1B=a，pA=oB=b，但p与p1在不同象限，可得:p1(一b，a)。请指教！