1. I assume that the origin is the center of rotation.

2. Let (X, Y) denote the image of (x,y) by rotation around the origin. With you question the angle of rotation is

3. The rotation is described by a system of equations:

4. Plug in the coordinates of the original points to get the coordinates of the image.