一个点绕任意点旋转θ度后的点的坐标

假设对图片上任意点(x,y)，绕一个坐标点(rx0,ry0)逆时针旋转a角度后的新的坐标设为(x0, y0)，有公式：

    x0= (x - rx0)*cos(a) - (y - ry0)*sin(a) + rx0 ;

    y0= (x - rx0)*sin(a) + (y - ry0)*cos(a) + ry0 ;

一下是对这两条公式的证明。

证明方法 参看  https://jingyan.baidu.com/article/2c8c281dfbf3dd0009252a7b.html