一个坐标点在以一个中心点旋转一定角度后的另一点坐标?怎么求?

S(x1, y1)
O(x0, y0)
l = S 到 O的距离
lpi = sin(a / 2)
θ = （S与O连线）与水平线的夹角
具体来说 cos(θ) = (x1 - x0) / l
sin(θ) = (y1 - y0) / l
新坐标E(x2, y2)
x2 = x1 - lpi * sin(a/2 + θ)
y2 = y1 + lpi * cos(a/2 + θ)
上面两条式子展开即可。
a看成弧度（不知道怎么转？打PP），有正负，正的逆时针转，负的顺时针转。
不是的究坟答09年的题，是昨晚做3D场景要用到想偷懒上网找一下，结果愣是没找到，所以今天早上就自己解了一下，顺便方便其它想偷懒的淫。。。