某一点绕另外一点逆时针旋转后的坐标

平面上一点x1,y1,绕平面上另外一点x2,y2逆时针旋转b角度 ，怎么求旋转后的x1,y1对应的坐标x，y?

通过简单的三角公式变换便可求出结果: