Mathematics · Book 1 · Grades 1–9

Primary & Middle School Mathematics

Primary & Middle School Mathematics · Grades 1–9

52Central Symmetry and Parallelograms

Turn a figure by half a turn around a point: this is central symmetry, the second transformation of the book after the reflections of Chapter 42. Its star figure is the parallelogram — the quadrilateral that is symmetric about the crossing point of its own diagonals.

52.1 Central symmetry

Definition 52.1 (Symmetric about a point)

The symmetric of a point MM about a point OO is the point MM' such that OO is the midpoint of [MM][MM']. The symmetric figure is what the original becomes after a half-turn (180180^\circ) around OO.

Symmetry about O: each point and its image are aligned with O, at equal distances on both sides (tick marks).
Symmetry about OO: each point and its image are aligned with OO, at equal distances on both sides (tick marks).

Method 52.2 (Constructing the symmetric of a point)

To construct the symmetric MM' of MM about OO:

  1. draw the line (MO)(MO) and extend it beyond OO;
  2. measure MOMO (ruler or compass);
  3. place MM' on the extension with OM=OMOM' = OM.

On grid paper: count the horizontal and vertical steps from MM to OO, and repeat the same steps from OO to reach MM'.

Example 52.3 (On a grid)

If MM is 33 squares left and 11 square up from OO, its symmetric MM' is 33 squares right and 11 square down from OO: central symmetry reverses both directions at once (a reflection reverses only one).

Proposition 52.4 (What a half-turn preserves)

Central symmetry preserves lengths, angles, perimeters and areas; the image of a line is a parallel line, the image of a segment is a parallel segment of the same length, the image of a circle is a circle of the same radius (centered at the symmetric of the center).

Proof. Admitted at this level.

Remark 52.5

Compare with reflections (Proposition 42.4): both preserve lengths and angles; but the reflection flips figures over (a “b” becomes a “d”), while the half-turn keeps them readable — upside down (a “b” becomes a “q”). And unlike a reflection, a half-turn sends every line to a line parallel to it.

Definition 52.6 (Center of symmetry)

A point OO is a center of symmetry of a figure when the half-turn around OO sends the figure exactly onto itself. For instance, the letters S, N, Z have a center of symmetry; a circle has one (its center); a triangle never has one.

52.2 Parallelograms

Definition 52.7 (Parallelogram)

A parallelogram is a quadrilateral whose diagonals cross at their common midpoint. That crossing point is then a center of symmetry of the figure: each vertex is the half-turn image of the opposite vertex.

Theorem 52.8 (Properties of a parallelogram)

In a parallelogram ABCDABCD with center OO:

  1. opposite sides are parallel: (AB)(CD)(AB) \parallel (CD) and (BC)(AD)(BC) \parallel (AD);
  2. opposite sides have the same length: AB=CDAB = CD and BC=ADBC = AD;
  3. opposite angles are equal: A^=C^\widehat A = \widehat C and B^=D^\widehat B = \widehat D.

Proof. The half-turn around OO sends AA to CC and BB to DD (definition: OO is the midpoint of both diagonals). So it sends the segment [AB][AB] to the segment [CD][CD]; by Proposition 52.4 the image is parallel to [AB][AB] and of the same length: points 1 and 2. It also sends the angle at AA to the angle at CC, and angles are preserved: point 3.

A parallelogram and its center O: the diagonals (red) cut each other at their midpoints, opposite sides are parallel and equal (tick marks).
A parallelogram and its center OO: the diagonals (red) cut each other at their midpoints, opposite sides are parallel and equal (tick marks).

Theorem 52.9 (Recognizing a parallelogram)

A quadrilateral (with no crossing sides) is a parallelogram as soon as one of the following holds:

  1. its diagonals have the same midpoint (the definition);
  2. its opposite sides are parallel two by two;
  3. two opposite sides are parallel and of the same length.

Proof. Admitted at this level.

Example 52.10

ABCDABCD has (AB)(CD)(AB) \parallel (CD) and AB=CD=5AB = CD = 5 cm. Criterion 3 applies: ABCDABCD is a parallelogram — so without any further measuring we also know AD=BCAD = BC, (AD)(BC)(AD) \parallel (BC), and that its diagonals cut each other in their middle.

Remark 52.11 (Special parallelograms)

The rectangle, rhombus and square of Chapter 41 are exactly the parallelograms with an extra property: equal diagonals (rectangle), perpendicular diagonals (rhombus), both (square). The angle argument promised in Example 41.6 now works: in a parallelogram, consecutive angles are supplementary (alternate/corresponding angles with the parallels, Theorem 51.2), so one right angle forces all four.

52.3 Exercises

Exercise 52.1

On grid paper, place OO, then MM four squares right of OO and one square up. Construct the symmetric MM' of MM about OO, and the symmetric of MM across the vertical grid line through OO. Compare the two images.

Solution

Solution of Exercise 52.1.

Half-turn image: MM' is four squares left of OO and one square down (both directions reversed). Reflection image across the vertical line: four squares left but still one square up. The two images differ: they are vertical mirror images of each other.

Exercise 52.2

Draw a triangle ABCABC and a point OO outside it. Construct its image ABCA'B'C' by the half-turn around OO. What can you say about the lengths ABA'B' and ABAB? About the lines (AB)(A'B') and (AB)(AB)?

Solution

Solution of Exercise 52.2.

AB=ABA'B' = AB (half-turns preserve lengths) and (AB)(AB)(A'B') \parallel (AB) (the image of a line is a parallel line, Proposition 52.4).

Exercise 52.3

Which digits, written as on a calculator display (00 to 99), have a center of symmetry? Which capital letters among H, A, N, S, T, Z, O?

Solution

Solution of Exercise 52.3.

Calculator digits with a center of symmetry: 00, 22, 55, 88 (and 11 if drawn as a plain bar). Letters: H, N, S, Z, O have one; A and T do not (they have an axis instead).

Exercise 52.4

KLMNKLMN is a parallelogram of center OO with KL=7KL = 7 cm, LM=4LM = 4 cm and K^=115\widehat K = 115^\circ. Give, with reasons: MNMN, NKNK, M^\widehat M, and the midpoint of [LN][LN].

Solution

Solution of Exercise 52.4.

Opposite sides equal: MN=KL=7MN = KL = 7 cm and NK=LM=4NK = LM = 4 cm. Opposite angles equal: M^=K^=115\widehat M = \widehat K = 115^\circ. The diagonals cut each other at their common midpoint, and that point is OO: the midpoint of [LN][LN] is OO.

Exercise 52.5

Construct a parallelogram ABCDABCD from its diagonals: AC=8AC = 8 cm and BD=5BD = 5 cm, crossing at their midpoints with an angle of 6060^\circ between them. (Draw the diagonals first!)

Solution

Solution of Exercise 52.5.

Draw a segment [AC][AC] of 88 cm, mark its midpoint OO, draw through OO a line making 6060^\circ with (AC)(AC), and place BB and DD on it at 2.52.5 cm from OO on either side. Join AA, BB, CC, DD: the diagonals cut at their midpoints, so ABCDABCD is a parallelogram by definition.

Exercise 52.6

In a parallelogram, one angle measures 115115^\circ. Using the remark on supplementary consecutive angles, give the three other angles.

Solution

Solution of Exercise 52.6.

Consecutive angles are supplementary: next to 115115^\circ sits 180115=65180 - 115 = 65^\circ. Opposite angles are equal, so the four angles are 115115^\circ, 6565^\circ, 115115^\circ, 6565^\circ (sum 360360^\circ).

Exercise 52.7 ★★

Plot A(1,1)A(1, 1), B(4,2)B(4, 2) and the point O(2.5,2.5)O(2.5, 2.5). Compute the coordinates of the images AA' and BB' by the half-turn around OO (use the grid counting of Example 52.3).

Solution

Solution of Exercise 52.7.

From A(1,1)A(1,1) to O(2.5,2.5)O(2.5, 2.5): 1.51.5 right and 1.51.5 up; continuing the same: A(4,4)A'(4, 4). From B(4,2)B(4,2) to OO: 1.51.5 left and 0.50.5 up; continuing: B(1,3)B'(1, 3).

Exercise 52.8 ★★

ABCDABCD is a quadrilateral in which AB=CDAB = CD. Is that enough to make it a parallelogram? If not, sketch a counterexample (an isosceles trapezoid helps), and state what must be added to the hypothesis.

Solution

Solution of Exercise 52.8.

No. An isosceles trapezoid has its two slanted sides equal without being a parallelogram (the two parallel sides have different lengths). What suffices is criterion 3 of Theorem 52.9: two opposite sides equal and parallel.

Exercise 52.9 ★★

Let ABCABC be a triangle and OO the midpoint of [BC][BC]. Construct the symmetric AA' of AA about OO. Show that ABACABA'C is a parallelogram. (Which criterion of Theorem 52.9 is free of charge here?)

Solution

Solution of Exercise 52.9.

OO is the midpoint of [BC][BC] by choice, and it is the midpoint of [AA][AA'] by construction of the symmetric. The quadrilateral ABACABA'C has diagonals [AA][AA'] and [BC][BC] sharing the midpoint OO: criterion 1 (the definition) makes it a parallelogram at no extra cost.

Exercise 52.10 ★★

True or false, with a reason: “a quadrilateral whose opposite angles are equal two by two is a parallelogram”; “a parallelogram with perpendicular diagonals is a rhombus”; “a parallelogram with one right angle is a rectangle”.

Solution

Solution of Exercise 52.10.

“Opposite angles equal \Rightarrow parallelogram”: true (this is another recognition criterion; with the angle sum 360360^\circ, equal opposite pairs force supplementary consecutive angles, hence parallel sides by Theorem 51.2).

Perpendicular diagonals \Rightarrow rhombus”: true for a parallelogram (the diagonals already cut at their midpoints).

“One right angle \Rightarrow rectangle”: true — consecutive angles are supplementary, so all four become right.

Exercise 52.11 ★★★

Let ABCDABCD be any quadrilateral and II, JJ, KK, LL the midpoints of its sides [AB][AB], [BC][BC], [CD][CD], [DA][DA]. Draw several examples. What does IJKLIJKL always seem to be? (The proof, with the midpoint theorem, comes in Chapter 59 — and again with vectors, in the High School volume.)

Solution

Solution of Exercise 52.11.

Whatever the quadrilateral — even a very irregular one — the midpoints II, JJ, KK, LL always form a parallelogram. The proof with the midpoint theorem is in Chapter 59 (Exercise 59.9).

52.4 Problem: The cake, the median, and the impossible second center

Problem 52.1

Weekend problem — half-turns at work: fair cake cuts, a bound on medians, and why no shape can have two centers of symmetry

The half-turn looks like the simplest of transformations — yet it cuts cakes into provably fair halves, measures the medians of a triangle, and hides a small pearl of pure mathematics: a bounded figure can have one center of symmetry, but never two. The proof uses a discovery you will make in Part I: two half-turns, performed one after the other, add up to a slide.

Part I — Half-turn gymnastics.

  1. On grid paper, take the origin O(0,0)O(0, 0) as center. Using the grid counting of Example 52.3, give the images of M(3,1)M(3, 1), N(2,4)N(-2, 4) and P(0,5)P(0, -5) by the half-turn about OO. What is the general rule for (x,y)(x, y)?
  2. Now the center is C(2,1)C(2, 1). Compute the image of M(5,3)M(5, 3), and check the general recipe: each coordinate of the image is twice the center’s minus the point’s.
  3. Playing cards are designed to read the same upside down — a central symmetry, so neither player sees the card “wrongly”. Explain why, on a card with an odd number of pips, one pip must sit exactly at the card’s center.
  4. Two half-turns in a row: take the centers O1(2,0)O_1(2, 0) and O2(5,0)O_2(5, 0). Send the point A(1,1)A(1, 1) through the half-turn about O1O_1, then send the image through the half-turn about O2O_2. Compare start and finish. Repeat with B(0,3)B(0, 3). What single, simple transformation did the two half-turns amount to?
  5. Measure the slide of question 4 against the distance O1O2O_1 O_2, and state the discovery. (Compare with the two parallel mirrors of Problem 42.1: same phenomenon, new actors.)

Part II — Cakes and medians.

  1. Let OO be the center of a parallelogram. Explain why any line through OO meets the boundary at two points that are symmetric about OO, and why the line cuts the parallelogram into two pieces that are exact half-turn copies of each other — hence of equal areas.
  2. The baker’s theorem: a rectangular cake is shared perfectly fairly by any straight cut through its center. Better: a rectangular cake has a rectangular hole (any size, any position, even tilted). Describe the one straight cut that gives two parts with equally much cake — and justify it with question 6.
  3. Three vertices of a parallelogram ABCDABCD are A(0,0)A(0, 0), B(6,1)B(6, 1) and C(8,5)C(8, 5). Compute the coordinates of DD and of the center OO.
  4. Exercise 52.9 built, from a triangle ABCABC and the midpoint OO of [BC][BC], the parallelogram ABACABA'C where AA' is the symmetric of AA about OO. Use it, together with the triangle inequality (Theorem 51.6) in the triangle ABAABA', to prove the median bound: the median [AO][AO] satisfies

    AO<AB+AC2.AO < \frac{AB + AC}{2} .

    (Note that AA=2AOAA' = 2\,AO and BA=ACBA' = AC.)

  5. In a triangle with AB=5AB = 5 cm and AC=7AC = 7 cm, between which two values must the length of the median from AA lie? (Use both directions of the triangle inequality in ABAABA'.)

Part III — How many centers can a figure have?

  1. For each figure, say whether it has a center of symmetry, and where: a segment; a full line; an equilateral triangle; a square; a circle; the letters S and Z.
  2. Prove your claim for the equilateral triangle: a half-turn sending the triangle to itself would pair up the three vertices — but three is odd, so some vertex would be sent to itself. What would that force the vertex to be, and why is it impossible?
  3. Generalize question 12: explain why no polygon with an odd number of vertices has a center of symmetry.
  4. The pearl: suppose a figure had two distinct centers of symmetry O1O_1 and O2O_2. Perform the two half-turns one after the other and use the discovery of question 5: what motion must send the figure exactly onto itself? Explain why a figure that fits on a sheet of paper cannot survive that, and conclude.
  5. Question 14’s conclusion leaves a loophole: unbounded figures. Verify on an infinite frieze — say, an endless strip of footprints, left, right, left, right … — that it has (at least) two different centers of symmetry, and identify the translation that question 14 predicted.
Solution

Solution of Problem 52.1.

1. M(3,1)(3,1)M(3, 1) \to (-3, -1); N(2,4)(2,4)N(-2, 4) \to (2, -4); P(0,5)(0,5)P(0, -5) \to (0, 5). Rule: the half-turn about the origin sends (x,y)(x, y) to (x,y)(-x, -y) — both coordinates change sign.

2. From M(5,3)M(5, 3): three squares right of CC becomes three squares left, two up becomes two down: image (1,1)(-1, -1). Recipe check: twice the center minus the point, (2×25, 2×13)=(1,1)(2 \times 2 - 5,\ 2 \times 1 - 3) = (-1, -1).

3. The half-turn about the card’s center swaps the pips in pairs. With an odd number of pips, one pip has no partner: it must be its own image, and the only point that is its own image is the center itself. Hence the middle pip of the 3, the 5, the 7 … sits dead center (look at a real card: it does).

4. About O1(2,0)O_1(2,0): A(1,1)(3,1)A(1,1) \to (3,-1); about O2(5,0)O_2(5,0): (3,1)(7,1)(3,-1) \to (7,1). Start A(1,1)A(1,1), finish (7,1)(7,1): slid 66 to the right, not flipped. Same for B(0,3)(4,3)(6,3)B(0,3) \to (4,-3) \to (6,3): slid 66 right. The two half-turns amount to a translation.

5. The slide is 66, and O1O2=3O_1 O_2 = 3: the translation covers twice the distance between the centers (in the direction from O1O_1 to O2O_2) — just as two parallel mirrors translated by twice their gap in Problem 42.1.

6. The half-turn about OO sends the parallelogram onto itself (that is what “center of symmetry” means for it, Theorem 52.8). A line through OO is also sent onto itself, so the two points where it crosses the boundary swap with each other: they are symmetric about OO. The two pieces of the parallelogram on either side of the line swap too, so they are exact copies (Proposition 52.4) — equal areas.

7. Cut along the line through the two centers: the center of the cake rectangle and the center of the hole. By question 6 applied to the cake rectangle, the cut halves the cake; applied to the hole rectangle (the line passes through its center too), it halves the hole. Each part gets half the cake minus half the hole: perfectly fair.

8. D=(0+86, 0+51)=(2,4)D = (0 + 8 - 6,\ 0 + 5 - 1) = (2, 4) (the diagonals share their midpoint, so DD is the half-turn image of BB about the center). Center: midpoint of [AC][AC], O(4, 2.5)O(4,\ 2.5).

9. In the parallelogram ABACABA'C, opposite sides are equal: BA=ACBA' = AC. The triangle inequality in ABAABA' gives AA<AB+BA=AB+ACAA' < AB + BA' = AB + AC. Since OO is the midpoint of [AA][AA'], AA=2AOAA' = 2\,AO, so 2AO<AB+AC2\,AO < AB + AC, i.e. AO<AB+AC2AO < \frac{AB + AC}{2}.

10. Upper bound: AO<5+72=6AO < \frac{5 + 7}{2} = 6 cm. Lower bound: in ABAABA', AA>BAAB=75=2AA' > BA' - AB = 7 - 5 = 2, so AO>1AO > 1 cm. The median from AA lies strictly between 11 and 66 cm.

11. Segment: yes, its midpoint. Line: yes — every one of its points is a center. Equilateral triangle: none. Square: yes, the crossing of the diagonals. Circle: yes, its center. S and Z: yes, their middle point (turn the page upside down: they read the same).

12. The half-turn would pair the three vertices among themselves; three being odd, one vertex AA would be its own image, forcing AA to be the center of the half-turn. The two other vertices BB and CC would then be symmetric about AA — so AA would be the midpoint of [BC][BC], putting the three vertices on one line. A triangle has no three aligned vertices: contradiction. No center exists.

13. The same parity argument: a half-turn preserving the polygon pairs up its vertices; an odd number of vertices forces a fixed vertex, which must be the center and the midpoint of the segment joining two other vertices — three aligned vertices, impossible in a polygon … so no polygon with an odd number of vertices has a center of symmetry.

14. Performing the half-turn about O1O_1, then about O2O_2, sends the figure onto itself both times — so their combination does too. By question 5, that combination is a translation by twice the distance O1O2O_1 O_2, which is not zero since the centers differ. A figure fitting on a sheet cannot equal itself slid by a fixed nonzero amount (slide it enough times and it leaves the sheet entirely). So a bounded figure has at most one center of symmetry.

15. On the endless strip, a half-turn about the point midway between a left footprint and the following right one sends the pattern onto itself; the point one full step further does too: two distinct centers. Composing the two half-turns gives the translation by twice the half-step — exactly the one-step slide that visibly maps the infinite frieze onto itself, as question 14 predicts. Unbounded patterns live by different rules: that is the mathematics of wallpaper.