Java 平面一点绕另一点旋转后的坐标

A(x1,y1) 绕 O(x0,y0) 旋转 角度 k 之后的点 B(x2,y2) 的java代码计算方法

 

k=new Float(Math.toRadians(k));
float x2=new Float((x1-x0)*Math.cos(k) +(y1-y0)*Math.sin(k)+x0);
float y2=new Float(-(x1-x0)*Math.sin(k) + (y1-y0)*Math.cos(k)+y0);