Cartesian Plane Rotated with respect to Another

Theorem
Let $\mathbf r$ be a position vector embedded in a Cartesian plane $\CC$ with origin $O$.

Let $\CC$ be rotated anticlockwise through an angle $\varphi$ about the axis of rotation $O$.

Let $\CC'$ denote the Cartesian plane in its new position.

Let $\mathbf r$ be kept fixed during this rotation.

Let $\tuple {x, y}$ denote the components of $\mathbf r$ with respect to $\CC$.

Let $\tuple {x', y'}$ denote the components of $\mathbf r$ with respect to $\CC'$.

Then:

Proof

 * Rotation-of-cartesian-plane.png

Let $\mathbf r$ be represented by a directed line segment whose initial point coincides with the origin $O$.

Let the terminal point of $\mathbf r$ be identified with the point $P$.

Let $\CC$ be rotated to $\CC'$ through an angle $\varphi$ as shown, keeping $P$ fixed.

We have that:

hence the result.