你的公式是顺时针旋转坐标轴的公式,等价于逆时针旋转某个点。
在极坐标系下考虑这个问题。设点P(r,θ),原点O,将线段OP绕点O逆时针旋转α度角到线段OP'的位置,显然P'坐标就是(r,θ+α)。
利用直角坐标与极坐标的转换公式,点P(x,y)中x=rcosθ,y=rsinθ。而点P'(x',y')中x'=rcos(θ+α)=r(cosθcosα-sinθsinα)=xcosα-ysinα,y'=rsin(θ+α)=r(sinθcosα+cosθsinα)=ycosα+xsinα
这就是旋转公式