Intermediate level

Geometric transformations

Reflection in a line, reflection in a point, translation and rotation move a figure without changing its size — and each of them comes down to a single operation on coordinates. Plus two compass-and-straightedge constructions: the perpendicular bisector of a segment and the bisector of an angle.

Before you start

This topic builds on earlier ideas. Before you start, it's worth working through the lessons below — they'll make everything click:

Where this is used

Real situations where you count exactly the way this lesson teaches:

  • 2D graphics and moving a sprite
    A game character drawn at (120, 80) is to move by the vector [45, −20]. The engine adds the coordinates and draws it at (165, 60). The same operation run backwards — from (165, 60) to the starting point — is a subtraction, and that is what an undo is built on.
  • Mirrored machining on a CNC
    The program cutting the left-hand part has points (30, 12) and (55, 40). The right-hand, mirrored part comes from a reflection in the vertical axis: (−30, 12) and (−55, 40). No second program is needed, only a sign change in one coordinate of every point.
  • Printing and a mirrored plate
    A flexographic plate has to be a mirror image of the print, because it meets the substrate image-side down. A caption with corners (0, 0) and (140, 25) mm goes onto the plate as (0, 0) and (−140, 25) mm — one reflection instead of redrawing by hand.
  • Wallpaper and tile patterns
    A 20 cm tile whose motif is rotated by 180° matches itself in every position, because a 180° rotation is a reflection in the centre of the tile — the point (6, 4) goes to (14, 16) about the centre (10, 10). The tiler therefore never has to check which way up a tile goes.
  • Woodwork without a protractor
    To mark the middle of a board 187 cm long there is no need to divide by two: two arcs struck from both ends with the same compass opening cross at two points, and the line through them lands exactly at the middle and is perpendicular to the edge.

All formulas

  • Reflection in the x axis

    SOX:(x, y)(x, y)S_{OX}: (x,\ y) \mapsto (x,\ -y)

    the ordinate changes sign

  • Reflection in the y axis

    SOY:(x, y)(x, y)S_{OY}: (x,\ y) \mapsto (-x,\ y)

    the abscissa changes sign

  • Reflection in the origin

    SO:(x, y)(x, y)S_{O}: (x,\ y) \mapsto (-x,\ -y)

    the same thing as a 180° rotation

  • Reflection in a point S(p, q)

    SS:(x, y)(2px, 2qy)S_{S}: (x,\ y) \mapsto (2p - x,\ 2q - y)

    S is the midpoint of AA′

  • Translation by the vector [a, b]

    Tv:(x, y)(x+a, y+b)T_{\vec{v}}: (x,\ y) \mapsto (x + a,\ y + b)

    read backwards it is a subtraction

A geometric transformation assigns to every point of the plane its image. The four transformations in this lesson are isometries — they preserve distances, so a figure and its image are congruent: the position changes, the size and the shape do not.

All four can be written as a single operation on coordinates, and that is the shortest route to the image of any point.

Reflection in a line

Reflecting in a line works like a mirror: the image lies on the other side, at the same distance, on the perpendicular to that line. For the coordinate axes this gives two formulas:

SOX:(x, y)(x, y),SOY:(x, y)(x, y)S_{OX}: (x,\ y) \mapsto (x,\ -y), \qquad S_{OY}: (x,\ y) \mapsto (-x,\ y)
−6−5−4−3−2−101234567−5−4−3−2−1012345ABCA′B′C′ABCA′B′C′
The triangle ABC and its image under reflection in the x axis. Every vertex kept its abscissa and flipped the sign of its ordinate.

What changes is the coordinate measured perpendicular to the axis of reflection — a mirror in the horizontal axis swaps "up and down", one in the vertical axis swaps "left and right".

A figure has an axis of symmetry when it coincides with its own image: a square has four, a rectangle two, an equilateral triangle three, and a circle infinitely many.

Reflection in a point

A reflection in a point SS takes a point AA to the point AA' for which SS is the midpoint of AAAA'. It is simply a rotation by 180180^\circ about SS.

For the origin the formula is as short as it gets:

SO:(x, y)(x, y)S_{O}: (x,\ y) \mapsto (-x,\ -y)

For an arbitrary point S=(p, q)S = (p,\ q) we use the midpoint formula read backwards:

SS:(x, y)(2px, 2qy)S_{S}: (x,\ y) \mapsto (2p - x,\ 2q - y)
Find the image of A(3, −5) under the reflection in S(−1, 2).

A figure has a centre of symmetry when it coincides with its image under such a reflection — a circle, a square, a rectangle, a rhombus and a parallelogram do, an equilateral triangle does not.

Translation by a vector

A translation moves every point by the same segment in the same direction. That segment with a direction is a vector, and its coordinates are simply added:

Tv:(x, y)(x+a, y+b),v=[a, b]T_{\vec{v}}: (x,\ y) \mapsto (x + a,\ y + b), \qquad \vec{v} = [a,\ b]
A′(4, 1) is the image of A under a translation by [6, −3]. Find A.

That "backwards" question is the trickiest thing in the topic: the wording of the exercise looks the same and the operation is the opposite one.

Rotation

A rotation by an angle α\alpha about a point OO moves every point along a circle centred at OO. Two cases have formulas simple enough to be worth knowing:

Rotation about OOImage of (x, y)(x,\ y)
9090^\circ counter-clockwise(y, x)(-y,\ x)
180180^\circ(x, y)(-x,\ -y)
270270^\circ counter-clockwise(y, x)(y,\ -x)

A rotation by 180180^\circ is the same transformation as a reflection in the centre of rotation — not two operations, but two names for one.

Compass-and-straightedge constructions

Two classical constructions need no arithmetic at all and give an exact result rather than a measured one.

The perpendicular bisector of a segment is the line perpendicular to it through its midpoint. Strike arcs of equal radius (greater than half the segment) from both endpoints and join the points where they cross.

ABaak
The crossing points of the arcs are equidistant from A and from B, so the line through them is the set of all such points.

The bisector has a property that makes it useful beyond drawing: it consists of exactly those points that are equidistant from the two endpoints.

An angle bisector cuts an angle into two equal angles. Strike an arc from the vertex, then two arcs of equal radius from the points where it meets the arms.

S35°35°p
The bisector of a 70° angle splits it into two angles of 35°. It consists of exactly those points that are equidistant from both arms.

Practice

Work through a set of exercises — they get harder as you go. At the end you'll see your score and the mistakes worth reviewing.

Exercise 1 of 8Score: 0
image under reflection in the axis OX: A(−1, 3)

Common mistakes

  • Flipping the wrong coordinate — reflecting in the x axis changes the ordinate, because that is what measures the distance from that axis.
  • Adding the vector instead of subtracting it in a backwards question — the image comes from adding, so the original comes from subtracting.
  • Confusing a reflection in a point with one in a line — the first preserves the orientation of the figure, the second reverses it.
  • Giving an equilateral triangle a centre of symmetry — it has three axes of symmetry but no centre.
  • Using (x, y)(-x,\ -y) for a reflection in a point other than the origin — there the formula is (2px, 2qy)(2p - x,\ 2q - y).
  • Striking arcs of different radii in the bisector construction — the radius has to be the same from both endpoints, or the crossings are not equidistant from them.

Formula card

Topic: Geometric transformations

  • Reflection in the x axis

    SOX:(x, y)(x, y)S_{OX}: (x,\ y) \mapsto (x,\ -y)

    the ordinate changes sign

  • Reflection in the y axis

    SOY:(x, y)(x, y)S_{OY}: (x,\ y) \mapsto (-x,\ y)

    the abscissa changes sign

  • Reflection in the origin

    SO:(x, y)(x, y)S_{O}: (x,\ y) \mapsto (-x,\ -y)

    the same thing as a 180° rotation

  • Reflection in a point S(p, q)

    SS:(x, y)(2px, 2qy)S_{S}: (x,\ y) \mapsto (2p - x,\ 2q - y)

    S is the midpoint of AA′

  • Translation by the vector [a, b]

    Tv:(x, y)(x+a, y+b)T_{\vec{v}}: (x,\ y) \mapsto (x + a,\ y + b)

    read backwards it is a subtraction

−6−5−4−3−2−101234567−5−4−3−2−1012345ABCA′B′C′ABCA′B′C′
A triangle and its image under reflection in the x axis. The ordinates change sign, the abscissas stay put.
ABaak
Constructing the perpendicular bisector: two arcs of the same radius struck from both endpoints determine a line through the midpoint, perpendicular to the segment.

Frequently asked questions

Related articles