用极坐标来证明旋转后的坐标计算问题。
初始坐标:
x = r*cos(t);
y = r*sin(t);
逆时针旋转a:
xx = r*cos(t+a);
yy = r*sin(t+a);
展开:
xx = r*cos(t)*cos(a)-r*sin(t)*sin(a);
yy = r*sin(t)*cos(a)+r*cos(t)*sin(a);
代入:
xx = x*cos(a) - y*sin(a);
yy = y*cos(a) + x*sin(a);
证明完毕。