MathLabs

Geometry

Geometric transformations

Maps of the plane such as translations, rotations, reflections and dilations that preserve or scale shape.

IntuitionSliding, Spinning and Scaling Shapes

Every day you see shapes move without changing size (a book slides across a table, a wheel spins on its axle) and shapes that grow or shrink while keeping the same outline (a photograph enlarged for printing, a shadow that lengthens at sunset). A geometric transformation is a rule that turns each point MM of the plane into a new point M′M'. The four basic transformations you meet in school, translation, rotation, reflection and homothety (dilation), are the building blocks for describing symmetry, congruence and similarity precisely.

Interactive unit circle showing a point rotating by an angle
A plane transformation matrix: when det⁡A=1\det A = 1 with orthogonal columns (such as (0.8,0.6)(0.8, 0.6) and (−0.6,0.8)(-0.6, 0.8)) it is a pure rotation preserving lengths and areas; scaling the columns produces a dilation.

SchoolThe Four Basic Transformations

Definition: Translation

Given a fixed vector v⃗=(a,b)\vec{v} = (a, b), the translation Tv⃗T_{\vec{v}} sends each point M(x,y)M(x, y) to the point M′(x′,y′)M'(x', y') satisfying MM′⃗=v⃗\vec{MM'} = \vec{v}. In coordinates this is simply adding the vector's components to every point.

x′=x+a,y′=y+bx' = x + a, \qquad y' = y + b

Here (x,y)(x, y) are the coordinates of MM and (x′,y′)(x', y') the coordinates of its image M′M'; the pair (a,b)(a, b) are the horizontal and vertical components of the translation vector v⃗\vec{v}. A translation preserves distances, angles and orientation: it is an isometry that never rotates or flips the plane.

Definition: Rotation

Fix a center I(a,b)I(a, b) and an angle α\alpha. The rotation Q(I,α)Q_{(I, \alpha)} sends MM to the point M′M' such that IM′=IMIM' = IM and the angle from IM→\overrightarrow{IM} to IM′→\overrightarrow{IM'} equals α\alpha (measured counter-clockwise).

(x′y′)=(cos⁡α−sin⁡αsin⁡αcos⁡α)(x−ay−b)+(ab)\begin{pmatrix} x' \\ y' \end{pmatrix} = \begin{pmatrix} \cos\alpha & -\sin\alpha \\ \sin\alpha & \cos\alpha \end{pmatrix}\begin{pmatrix} x - a \\ y - b \end{pmatrix} + \begin{pmatrix} a \\ b \end{pmatrix}

The matrix rotates the vector from the center I(a,b)I(a, b) to M(x,y)M(x, y) by angle α\alpha, and the result is shifted back so the rotation truly fixes II. When α\alpha is 180°180°, the rotation coincides with the point reflection through II.

Definition: Reflection (axial symmetry)

Given a line dd, the reflection RdR_d sends each point MM to the point M′M' such that dd is the perpendicular bisector of segment MM′MM' (points on dd are fixed). Across the horizontal axis this is simply ROx(x,y)=(x,−y)R_{Ox}(x, y) = (x, -y).

ROx(x,y)=(x,−y)R_{Ox}(x, y) = (x, -y)

Definition: Homothety (dilation)

Given a center I(a,b)I(a, b) and a ratio k≠0k \neq 0, the homothety V(I,k)V_{(I, k)} sends MM to the point M′M' with IM′→=k IM→\overrightarrow{IM'} = k\,\overrightarrow{IM}. Unlike the previous three maps, a homothety with ∣k∣≠1|k| \neq 1 changes lengths, so it is not an isometry.

x′=a+k(x−a),y′=b+k(y−b)x' = a + k(x - a), \qquad y' = b + k(y - b)

A map obtained by composing an isometry (translation, rotation or reflection) with a homothety is called a similarity transformation: it preserves angles and multiplies every length by the same ratio ∣k∣|k|, so it sends any figure to a similar one.

Comparing the four basic plane transformations
TransformationFormulaScales distances byScales areas by
Translationx′=x+a,y′=y+bx' = x + a, \qquad y' = y + b1 (preserved)1 (preserved)
Rotationcenter II, angle α\alpha1 (preserved)1 (preserved)
ReflectionROx(x,y)=(x,−y)R_{Ox}(x, y) = (x, -y)1 (preserved)1 (preserved)
Homothety V(I,k)V_{(I, k)}x′=a+k(x−a),y′=b+k(y−b)x' = a + k(x - a), \qquad y' = b + k(y - b)∣k∣|k|k2k^2

UndergraduateComposition of Transformations and the Isometry Group

Let d1d_1 and d2d_2 be two lines intersecting at a point II such that the directed angle from d1d_1 to d2d_2 is α\alpha. Then the composition of the reflection across d1d_1 followed by the reflection across d2d_2 is the rotation about II by angle 2α2\alpha: Rd2∘Rd1=Q(I,2α)R_{d_2} \circ R_{d_1} = Q_{(I, 2\alpha)}.

Why is it true?

A single reflection flips orientation (left hand becomes right hand), so doing two reflections in a row restores the original orientation and must be a rigid motion without flipping. Since the intersection point II lies on both mirrors, neither reflection moves II, so the combined motion must be a rotation around II, and each mirror contributes twice the angle between the point and that mirror.

Proof

First, since II lies on both d1d_1 and d2d_2, both reflections fix II. Take any point MM distinct from II, and let M1=Rd1(M)M_1 = R_{d_1}(M) and M′=Rd2(M1)M' = R_{d_2}(M_1).

Because d1d_1 is the perpendicular bisector of MM1MM_1 and d2d_2 is the perpendicular bisector of M1M′M_1M', we have IM=IM1=IM′IM = IM_1 = IM', so MM and M′=Rd2(M1)M' = R_{d_2}(M_1) lie on the same circle centered at II.

Let φ1\varphi_1 be the directed angle from ray IM→\overrightarrow{IM} to Id1→\overrightarrow{Id_1}, and φ2\varphi_2 be the directed angle from Id1→\overrightarrow{Id_1} to Id2→\overrightarrow{Id_2}. Reflection across d1d_1 sends IM→\overrightarrow{IM} to IM1→\overrightarrow{IM_1} by rotating through 2φ12\varphi_1, and reflection across d2d_2 sends IM1→\overrightarrow{IM_1} to IM′→\overrightarrow{IM'} by rotating through 2φ22\varphi_2. Adding the directed angles gives (IM→,IM′→)=2φ1+2φ2=2(φ1+φ2)=2α(\overrightarrow{IM}, \overrightarrow{IM'}) = 2\varphi_1 + 2\varphi_2 = 2(\varphi_1 + \varphi_2) = 2\alpha, which is independent of MM. Hence every point is rotated around II by 2α2\alpha, proving the composition equals Q(I,2α)Q_{(I, 2\alpha)}.

Under a homothety V(I,k)V_{(I, k)} with center II and ratio k≠0k \neq 0, for any two points A,BA, B with images A′=V(I,k)(A)A' = V_{(I,k)}(A) and B′=V(I,k)(B)B' = V_{(I,k)}(B), we have B′A′→=k BA→\overrightarrow{B'A'} = k\,\overrightarrow{BA} and hence A′B′=∣k∣⋅ABA'B' = |k|\cdot AB. Consequently, the area of any triangle ABCABC scales by the square of the ratio: [A′B′C′]=k2⋅[ABC][A'B'C'] = k^2 \cdot [ABC].

Why is it true?

Because every point is pushed away from (or pulled toward) the center II by the same factor kk, the triangle formed by II and any two points A,BA, B is scaled uniformly in both radial sides, so by Thales' theorem the third side A′B′A'B' stays parallel to ABAB and scales by ∣k∣|k|. Area is two-dimensional (base times height), and since both base and height are multiplied by ∣k∣|k|, their product is multiplied by ∣k∣⋅∣k∣=k2|k| \cdot |k| = k^2.

Proof

By the definition of homothety, IA′→=k IA→\overrightarrow{IA'} = k\,\overrightarrow{IA} and IB′→=k IB→\overrightarrow{IB'} = k\,\overrightarrow{IB}. Subtracting the second vector equation from the first yields IA′→−IB′→=k(IA→−IB→)\overrightarrow{IA'} - \overrightarrow{IB'} = k(\overrightarrow{IA} - \overrightarrow{IB}).

Using the head-to-tail rule IA→−IB→=BA→\overrightarrow{IA} - \overrightarrow{IB} = \overrightarrow{BA} on both sides, we obtain B′A′→=k BA→\overrightarrow{B'A'} = k\,\overrightarrow{BA}. Taking lengths of both vectors immediately gives A′B′=∣B′A′→∣=∣k∣⋅∣BA→∣=∣k∣⋅ABA'B' = |\overrightarrow{B'A'}| = |k| \cdot |\overrightarrow{BA}| = |k| \cdot AB.

Now consider any triangle ABCABC. Its altitude hh from CC to line ABAB is the distance between CC and its orthogonal projection HH on ABAB. Since homothety preserves parallelism and angles, it preserves perpendicularity, so H′=V(I,k)(H)H' = V_{(I,k)}(H) is the foot of the altitude of A′B′C′A'B'C'. Thus both the base A′B′=∣k∣⋅ABA'B' = |k|\cdot AB and the altitude C′H′=∣k∣⋅CHC'H' = |k|\cdot CH scale by ∣k∣|k|, giving [A′B′C′]=12A′B′⋅C′H′=∣k∣2⋅12AB⋅CH=k2⋅[ABC][A'B'C'] = \tfrac{1}{2} A'B' \cdot C'H' = |k|^2 \cdot \tfrac{1}{2} AB \cdot CH = k^2 \cdot [ABC].

UndergraduatePractical Applications and Worked Examples

Geometric transformations are the everyday language of computer graphics (every frame of a 2D or 3D game applies translation, rotation and scaling matrices to thousands of vertices on the GPU), robotics (a robot arm's hand position is the composition of rotations at each joint), crystallography (atoms in a crystal lattice repeat under a discrete group of translations, rotations and reflections) and cartography (map projections and pantographs use homothety to scale terrain accurately).

Example: Rotating a Robot Sensor by 90 Degrees

A planar robot wrist pivots at the origin O(0,0)O(0, 0). A laser sensor mounted on the hand is currently at P(3,4)P(3, 4). Find the new coordinates P′(x′,y′)P'(x', y') of the sensor after the wrist rotates counter-clockwise by α=90°\alpha = 90°.

Solution

Use the rotation formula around the origin (a,b)=(0,0)(a, b) = (0, 0) with α=90°\alpha = 90°: x′=xcos⁡90°−ysin⁡90°x' = x\cos 90° - y\sin 90° and y′=xsin⁡90°+ycos⁡90°y' = x\sin 90° + y\cos 90°.

Since cos⁡90°=0\cos 90° = 0 and sin⁡90°=1\sin 90° = 1, the formula simplifies to the standard quarter-turn rule (x′,y′)=(−y,x)(x', y') = (-y, x).

Substituting (x,y)=(3,4)(x, y) = (3, 4) gives P′=(−4,3)P' = (-4, 3). Notice that the distance to the pivot is preserved: OP′=(−4)2+32=5=OPOP' = \sqrt{(-4)^2 + 3^2} = 5 = OP.

Example: Scaling an Architectural Blueprint by Homothety

On a coordinate grid with origin at the corner I(1,2)I(1, 2) of a courtyard, a pillar is located at A(4,6)A(4, 6) and a triangular flowerbed has area S=5S = 5. The architect enlarges the drawing by the homothety V(I,3)V_{(I, 3)} centered at I(1,2)I(1, 2) with ratio k=3k = 3. Find the new coordinates A′A' of the pillar and the new area S′S' of the flowerbed.

Solution

Apply the homothety coordinate formula x′=a+k(x−a)x' = a + k(x - a), y′=b+k(y−b)y' = b + k(y - b) with center (a,b)=(1,2)(a, b) = (1, 2), point (x,y)=(4,6)(x, y) = (4, 6) and ratio k=3k = 3.

We compute x′=1+3(4−1)=10x' = 1 + 3(4 - 1) = 10 and y′=2+3(6−2)=14y' = 2 + 3(6 - 2) = 14, so the pillar moves to A′(10,14)A'(10, 14).

By the area scaling theorem, areas multiply by k2=32=9k^2 = 3^2 = 9, so the enlarged flowerbed has area S′=9⋅5=45S' = 9 \cdot 5 = 45.

What is the image of the point M(3,−2)M(3, -2) under the translation Tv⃗T_{\vec{v}} by vector v⃗=(−1,5)\vec{v} = (-1, 5)?

What is the image of M(0,2)M(0, 2) under the counter-clockwise rotation Q(O,90°)Q_{(O, 90°)} about the origin?

Two mirror lines d1d_1 and d2d_2 intersect at II with a directed angle of 35°35° from d1d_1 to d2d_2. Reflecting across d1d_1 and then across d2d_2 is equivalent to which single transformation?

A park has area 66 on a city map. If the map is scaled by a homothety V(O,−4)V_{(O, -4)} with ratio k=−4k = -4, what is the area of the park's image?

References

  1. H. S. M. Coxeter (1969). Introduction to Geometry
  2. Wikipedia contributors (2026). Geometric transformation — Wikipedia