📅  最后修改于: 2022-03-11 15:00:02.658000             🧑  作者: Mango
rotate vector (x1, y1) counterclockwise by the given angle
(angle in radians)
newX = oldX * cos(angle) - oldY * sin(angle)
newY = oldX * sin(angle) + oldY * cos(angle)