How to calculate coordinates $(x,y)$ of rotated polygon?

Question

I have coordinates $x,y$ of a point (red point on the image).

If I rotate the image with a specific angle (for example 30 degrees)

how can I get the coordinates $x,y$ in the new polygon (which is filled with black)?

Thank you