I am not so familiar trigonometry, but I have only two points to rotate in 2D:
*nx, ny
. -
. -
Step 1
Your new points are
Step 2
Step 3
Translate back to original rotation center:
For deeper explanation, with some fancy diagrams, I recommend looking at this.