数学强人help,点A(x,y),绕原点,顺时针旋转角度a新坐标是多少?知道公式,但不知道是怎么推的:x1=x*cos(a)+y*sin(a)y1=y*cos(a)-x*sin(a)高中的数学忘得差不多了,这是怎么推的?算了很久了

数学强人help,点A(x,y),绕原点,顺时针旋转角度a新坐标是多少?

知道公式,但不知道是怎么推的:

x1=x*cos(a)+y*sin(a)

y1=y*cos(a)-x*sin(a)

高中的数学忘得差不多了,这是怎么推的?算了很久了