How do I write a formula that rotates a point around the coordination systems center?

[Chrisir]

See also What's the equivalent of using cos() and sin() to find points on the edge of a circle to find points on a sphere? - #5 by KumuPaul