坐标旋转问题的证明

用极坐标来证明旋转后的坐标计算问题。

初始坐标：

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);

证明完毕。