向量旋转公式推导

所以我们得到了函数Rotate

Vector Rotate(Vector A,double rad) 
{
    return Vector(A.x*cos(rad)-A.y*sin(rad),A.x*sin(rad)+A.y*cos(rad));
}