To carry out a rotation using matrices the point (x, y) to be rotated is written as a vector, then multiplied by a matrix calculated from the angle, θ, like so:
where (x′, y′) are the co-ordinates of the point after rotation, and the formulae for x′ and y′ can be seen to be