ironfern @ docs ~/geometry/grade-9/transformations/rotation $

Rotation

A rotation turns every point of the plane by the same angle about a fixed point called the centre of rotation. It is a direct isometry — it preserves both distances and orientation.

Core Definition

📐Definition — Rotation

Let OO be a fixed point (the centre of rotation) and φ\varphi a signed angle (positive = counterclockwise). The rotation by angle φ\varphi around OO maps each point AA to the point AA' such that:

OA=OAandAOA=φ (measured counterclockwise).|OA'| = |OA| \qquad \text{and} \qquad \angle AOA' = \varphi \text{ (measured counterclockwise)}.

The centre OO is the only fixed point (it maps to itself).

Rotation Formula (Centre at the Origin)

Theorem — Rotation Around the Origin

The rotation by angle φ\varphi around the origin maps A(x,y)A(x, y) to:

x=xcosφysinφ,y=xsinφ+ycosφ\boxed{x' = x\cos\varphi - y\sin\varphi, \qquad y' = x\sin\varphi + y\cos\varphi}

Special cases:

Angle φ\varphiFormula
90°90°(x,y)(y,  x)(x, y) \to (-y,\; x)
180°180°(x,y)(x,  y)(x, y) \to (-x,\; -y)
270°270° (or 90°-90°)(x,y)(y,  x)(x, y) \to (y,\; -x)
360°360°(x,y)(x,  y)(x, y) \to (x,\; y) (identity)

Rotation around an arbitrary centre O=(a,b)O = (a, b): translate so that OO becomes the origin, rotate, then translate back:

x=a+(xa)cosφ(yb)sinφx' = a + (x-a)\cos\varphi - (y-b)\sin\varphi y=b+(xa)sinφ+(yb)cosφy' = b + (x-a)\sin\varphi + (y-b)\cos\varphi

Key Properties

Theorem — Properties of Rotation

Let RO,φR_{O,\varphi} denote the rotation by φ\varphi around OO. Then:

  1. Isometry: AB=AB|A'B'| = |AB| for all A,BA, B.

  2. Direct isometry: RO,φR_{O,\varphi} preserves orientation.

  3. Angle preservation: the angle between any two lines is preserved.

  4. Circles map to circles: a circle of radius rr maps to a circle of radius rr.

  5. Composition: RO,φ2RO,φ1=RO,φ1+φ2R_{O,\varphi_2} \circ R_{O,\varphi_1} = R_{O,\varphi_1+\varphi_2} (rotations about the same centre add up).

  6. Special cases:

    • φ=0°\varphi = 0°: the identity transformation.
    • φ=180°\varphi = 180°: central symmetry with centre OO.

Proof of (1). The distance OA|OA| is preserved (by definition), and likewise OB|OB|. The angle AOB\angle AOB is preserved (both are rotated by the same φ\varphi, so AOB=AOB\angle A'OB' = \angle AOB). By the Law of Cosines in triangles AOBAOB and AOBA'OB': AB2=OA2+OB22OAOBcos(AOB)=AB2.|AB|^2 = |OA|^2 + |OB|^2 - 2|OA||OB|\cos(\angle AOB) = |A'B'|^2. \quad \blacktriangleleft

Worked Examples

Example — Example 1 — Rotating a Point by 90°

Find the image of A(3,1)A(3, 1) under the rotation by 90°90° (counterclockwise) around the origin.

Solution. Apply the formula (x,y)(y,x)(x, y) \to (-y, x):

A=(1,  3).A' = (-1,\; 3).

Verification: OA=9+1=10|OA| = \sqrt{9+1} = \sqrt{10}; OA=1+9=10|OA'| = \sqrt{1+9} = \sqrt{10} ✓. The angle between OA=(3,1)\overrightarrow{OA} = (3,1) and OA=(1,3)\overrightarrow{OA'} = (-1,3): cosθ=(3)(1)+(1)(3)1010=010=0    θ=90°.\cos\theta = \frac{(3)(-1)+(1)(3)}{\sqrt{10}\cdot\sqrt{10}} = \frac{0}{10} = 0 \implies \theta = 90° \checkmark.

Answer: A(1,3)A'(-1, 3). \blacktriangleleft

Example — Example 2 — Rotation Around an Arbitrary Centre

Triangle ABCABC has vertices A(2,0)A(2, 0), B(4,0)B(4, 0), C(4,2)C(4, 2). Find the image of the triangle under rotation by 90°90° (counterclockwise) around centre O(2,1)O(2, 1).

Solution. Use the formula with O=(2,1)O = (2,1), φ=90°\varphi = 90° (cos90°=0\cos 90° = 0, sin90°=1\sin 90° = 1):

x=2+(x2)0(y1)1=2(y1)=3yx' = 2 + (x-2)\cdot 0 - (y-1)\cdot 1 = 2 - (y-1) = 3 - y y=1+(x2)1+(y1)0=1+(x2)=x1y' = 1 + (x-2)\cdot 1 + (y-1)\cdot 0 = 1 + (x-2) = x - 1

Apply to each vertex: A(2,0):x=30=3,y=21=1.A=(3,1).A(2,0): \quad x' = 3-0 = 3, \quad y' = 2-1 = 1. \quad A' = (3, 1). B(4,0):x=30=3,y=41=3.B=(3,3).B(4,0): \quad x' = 3-0 = 3, \quad y' = 4-1 = 3. \quad B' = (3, 3). C(4,2):x=32=1,y=41=3.C=(1,3).C(4,2): \quad x' = 3-2 = 1, \quad y' = 4-1 = 3. \quad C' = (1, 3).

Verification: AB=2|AB| = 2; AB=0+4=2|A'B'| = \sqrt{0+4} = 2 ✓.

Answer: A(3,1)A'(3, 1), B(3,3)B'(3, 3), C(1,3)C'(1, 3). \blacktriangleleft

Exercises

Exercise

(a) Find the image of P(0,5)P(0, 5) under rotation by 270°270° (counterclockwise) around the origin.

(b) A rotation around the origin maps A(1,0)A(1, 0) to A(0,1)A'(0, 1). What is the angle of rotation? Is there another rotation (by a different angle) that achieves the same result?

Exercise

Square ABCDABCD has vertices A(1,1)A(1,1), B(3,1)B(3,1), C(3,3)C(3,3), D(1,3)D(1,3). Show that rotation by 90°90° around the centre of the square O(2,2)O(2,2) maps the square to itself. What is the order of this rotation symmetry?