What Is Symmetry?

We may learn the etymology of the word from The Words of Mathematics by S. Schwartzman:

  symmetric (adjective), symmetry (noun): the first element from the Greek sun- "together with," from the Indo-European root ksun "with." The second element is from Greek metron "a measure." The Indo-European root is probably me- "to measure." Suppose two points are symmetric with respect to a line; if you measure the distance between one of the points and the line of symmetry, then "together with" that measurement you have simultaneously also measured the distance between the other point and the line of symmetry; the two distances are equal.

As a matter of fact, the symmetry in line is just one appearance of the term symmetry in geometry. In mathematics, in general, the word "symmetry" may also be encountered in non-geometric contexts.

In plane geometry, we have symmetries in a line and in a point, the latter is often called a half-turn. In 3D, similarly, we study symmetries in a plane, a line, and a point. Accordingly, two figures are symmetric (in a plane, a line, or a point) if points of one uniquely correspond to the points of the other by means of a symmetry. To obtain a symmetric figure one performs a symmetry transform that maps points into their symmetric counterparts. A figure may be its own image under a symmetry, in which case it is said to be symmetric or possess a plane of symmetry, or an axis of symmetry, or a center of symmetry. When symmetry is associated with a transformation it is often referred to as a reflection.

A circle has a center of symmetry whilst every line through the center serves as an axis of symmetry. A square is symmetric in its center, the two diagonals, and the two lines joining the midpoints of the opposite sides. Both shapes have additional symmetries. A circle maps onto itself with any rotation around its center. A square maps onto itself by any rotation through a multiple of 90°. The isometries of a figure form a group known as the symmetry group of the figure. The classification of symmetry groups is a matter of intense study. The symmetry group of a regular n-gon is called dihedral - Dn - group. Infinite strips of a repeated motif (known as border designs or frieze patterns) may have 7 different symmetries. Wall paper patterns may have 17 different types of symmetry. (The proof of the latter fact was given by George Polya in 1924.)

An apparent lack of symmetry in the definition of the symmetry in a circle suggests that, in mathematics, the concepts of symmetry may transcend our intuitive notions.

In algebra, symmetric group is a group of permutation and a relation may or may not be symmetric. A polynomial of several variables also may or may not be symmetric. For example, polynomial P(x, y) = x³ + xy + y³ is symmetric because it does not change under a permutation of its variables: P(x, y) = P(y, x).

The argument by symmetry resembles that by similarity. In a triangle, there are three pairs of medians. Should anything be true for any one pair of medians that is shown true without invoking any specific properties of sides or angles of the triangle, then it could be argued by symmetry that the same is true for any other pair of medians. One of the proofs of Morley's theorem supplies another example of an argument by symmetry.

[E. Barbeau, pp. 21-22] refers to an example by [D. Wells]. Wells observes that from a non-symmetric equality a = b + c, one can deduce (via double squaring and rearrangement of terms) a symmetric equality

  a4 + b4 + c4 = 2b2c2 + 2c2a2 + 2a2b2.

and asks where does the symmetry come from. He argues that the double squaring eliminates the effect of minus signs in the expressions, a - b - c, b - c - a, or c - a - b and leads to the same result as it would for the expression a + b + c. This implies that all four expressions are factors of

  P(a, b, c) = a4 + b4 + c4 - 2b2c2 - 2c2a2 - 2a2b2.

E. Barbeau observes that factoring P(a, b, c)

  P(a, b, c) = (a + b + c)(a - b - c)(b - c - a)(c - a - b)

makes the nature of the symmetry evident and notes that on the right, by Heron's formula, we have 16 times the area of a triangle with sides a, b, c which may be expected to be a symmetric form in the three variables.

It is also possible to observe that, since

  P(a, b, c) = Pa, ±b, ±c),

the fact that P(a, b, c) has one of the factors, say, (a - b - c), makes it indeed obvious that it has other three factors as well. So if

  P(b + c, b, c) = 0

checks out we, by symmetry, have grounds to claim that

  P(a, b, c) = k(a + b + c)(a - b - c)(b - c - a)(c - a - b),

for some k. That k = 1 can be seen by comparing any two equal terms on both sides, say a4.

References

  1. E. J. Barbeau, Mathematical Fallacies, Flaws, and Flimflam, MAA, 2000
  2. E. J. Borowski & J. M. Borwein, The Harper Collins Dictionary of Mathematics, Harper Perennial, 1991
  3. J. H. Conway, H. Burgiel, C. Goodman-Strauss, The Symmetries of Things, A K Peters, 2008
  4. H. S. M. Coxeter, Introduction to Geometry, John Wiley & Sons, 1961
  5. J. Daintith, R. D. Nelson (eds), The Penguin Dictionary of Mathematics, Penguin Books, 1989
  6. S. Schwartzman, The Words of Mathematics, MAA, 1994
  7. P. Zeitz, The Art and Craft of Problem Solving, John Wiley & Sons, 1999
  8. D. Wells, You are a Mathematician, John Wiley & Sons, 1995, p. 88

Related material
Read more...

  • Right Pentagonal Prism
  • Square Pyramid
  • Right Triangular Prism
  • Twisted Triangular Prism
  • Tetrahedron: an Interactive Model
  • Octahedron: an Interactive Model
  • Cube: an Interactive Model
  • Icosahedron: an Interactive Model
  • Dodecahedron: an Interactive Model
  • Three Pyramids are Better Than Two
  • Cube In Octahedron
  • Octahedron In Cube
  • Octahedron In Tetrahedron
  • Tetrahedron In Cube
  • Icosahedron In Cube
  • Great Stellated Dodecahedron
  • Lennes' Polyhedron
  • Triangulated Dinosaur
  • Volumes of Two Pyramids
  • Császár Polyhedron 1
  • Császár Polyhedron 4
  • Szilassi Polyhedron
  • Dissection of a Square Pyramid
  • |Contact| |Front page| |Contents| |Up| |Store|

    Copyright © 1996-2012 Alexander Bogomolny

     40615925

    A math books store at a unique math study site. Shopping at the store helps maintain the site. Thank you.
    Sites for teachers
    Sites for parents
    Terms of use
    Awards
    Interactive Activities

    CTK Exchange
    CTK Wiki Math
    CTK Insights - a blog
    Math Help
    Games & Puzzles
    What Is What
    Arithmetic
    Algebra
    Geometry
    Probability
    Outline Mathematics
    Make an Identity
    Book Reviews
    Stories for Young
    Eye Opener
    Analog Gadgets
    Inventor's Paradox
    Did you know?...
    Proofs
    Math as Language
    Things Impossible
    Visual Illusions
    My Logo
    Math Poll
    Cut The Knot!
    MSET99 Talk
    Old and nice bookstore
    Other Math sites
    Front Page
    Movie shortcuts
    Personal info
    Privacy Policy

    Guest book
    News sites

    Recommend this site

    Sites for parents

    Education & Parenting

    Search:
    Keywords:

    Google
    Web CTK
    Supported by
    3wVentures