Cut the knot: learn to enjoy mathematics
A math books store at a unique math study site. Shopping at the store helps maintain the site. Thank you.
Learning Math Online
Sites for teachers
Sites for parents
Terms of use
Awards
Interactive Activities

CTK Exchange
CTK Wiki Math
CTK Insights - a blog
Math Help

III Millennium Olympiad

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
Other Math sites
Front Page
Movie shortcuts
Personal info
Privacy Policy

Guest book
News sites

Recommend this site

Sites for parents

Education & Parenting

Manifesto  |  Bookstore  |  Contents  |  Amazon store  |  Term index  |  What changed?  |  Contact  |  Recommend
RSS Feed: Recent changes at CTK

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 45°. 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

Copyright © 1996-2007 Alexander Bogomolny

35701007Page copy protected against web site content infringement by Copyscape

Search:
Keywords:

Google
Web CTK