Equations defining Plane Rotation/Examples

From ProofWiki
Jump to navigation Jump to search

Examples of Equations defining Plane Rotations

Right Angle

Let $r_\Box$ be the rotation of the plane about the origin through a right angle.


Let $P = \tuple {x, y}$ be an arbitrary point in the plane

Then:

$\map {r_\Box} P = \tuple {y, -x}$