坐标轴旋转公式的推导?
X'=x*cos(n)+y*sin(n)
Y'=-x*sin(n)+y*cos(n)
这个公式是怎么来的?