## Frank Morgan's Math Chat |

March 21, 2002

What is the main subjective difference between mathematics as taught in school and experienced by non-mathematicians, and mathematics as practiced by mathematicians?

It is the use of proofs. I claim that common sense includes rigorous
logical reasoning, and that it is possible for anyone of ordinary
intelligence to follow and *appreciate* real proofs, if they are presented
properly. If this were taught consistently at an early age, many more
people would learn to like mathematics!

Of course, the right definition of proof to use here is "a completely convincing argument," rather than the definition learned in school geometry courses involving axioms and rules of inference. The proofs I am talking about are not formalized like that, but they are still real proofs.

The ideal proof for a non-mathematician should have the following features:

1) There should be no prerequisites (the subject matter is something she already knows about and the proof shouldn't need any definitions or depend on any known results).

2) The conclusion should not be obvious.

3) The argument should give *insight* into why the theorem is true.

It's OK if the proof is long or tricky as long as you "tell the story" properly and there are beautiful insights along the way.

Here are some of my favorite examples (what are yours?). The proofs are intended to be demonstrated by a person, not read from a page.

**PROOFS IN GEOMETRY:**

G1) *The square on the hypotenuse of a right triangle is the sum of the
squares on the two sides.* (You do have to define some terms here, but the
proof is a pretty picture:

G2) *Every polygon can be cut into pieces which can be pasted together to
make a square.* Here is a verbal version of the proof, though it works
better with pictures:

1) Draw diagonals to break the polygon into triangles.

2) Cut each triangle along the altitude to the longest side and along the perpendicular bisector of this altitude. Then rotate the two pieces that don't touch the long side around to make a rectangle.

3) Show how any rectangle can be transformed into one with a base up to twice as wide by drawing a line from the upper left corner to a point on the lower half of the right side, sliding the top piece down and to the right until the lowest point is level with the base, and moving the triangular peak left on top to fill the hole at the bottom.

4) Adjust all the rectangles repeatedly as above, until they are as wide as the widest one; then stack them all on top of each other to make a new rectangle.

5) Turn the new rectangle so it is standing on its shorter side, and adjust it repeatedly as above until it is a square.

**PROOFS IN ARITHEMETIC:**

A1) *There is no largest prime number* (usual proof).

A2) *No integer square is twice another square.* (Do the usual proof, then
apply it to prove that the length of the diagonal of a unit square is not a
fraction.)

A3) *Every integer factors uniquely into primes.* (This can be presented
effectively to 8th graders, but it will need a whole class period because
it is subtle; it is important to begin by showing that it's not obvious,
using an example like 91 x 187 = 119 x 143).

**PROOFS IN TOPOLOGY:**

T1) *Knots don't cancel*--if two real knots are tied successively in a
piece of string and the ends are attached, the string can't be unknotted.
(There is an amazing visual proof, recommended only if you have prepared a
lot of pictures.)

But my all-time favorite "theorem for everyone" is one in combinatorics:

C1) *The Marriage Theorem: Given a collection of men and women, each of
whom has a preference ordering for the members of the opposite sex, there
is a stable way to pair them off.* This means that there will be no
"elopements"--no possible man-woman pair who prefer each other to their
current partners.

See the new challenge below.

**OLD CHALLENGE**. I have noticed that it takes me longer to run around a loop
near my house in one direction than the other; one direction has a long
slow rise and a steep downhill, where the reverse direction has a long slow
downslope and a steep climb. Which direction is faster?

**ANSWER**. The winning response comes from Joe DeVincentis: "I'd guess that
the direction with the steep downhill is faster, because you probably
compensate automatically for a very gentle slope in order to maintain a
steady running speed, while the steep climb in one direction slows you down
considerably in one direction."

Another way of putting this is that gentle uphills and downhills are in the range where you can still run at an efficient pace; while you waste energy climbing a steep hill (due either to slowing down and making more strides, or to expending energy at an unsustainable rate) but can make use of the gravitational energy on a downhill as long as it is not too steep to run down.

**NEW CHALLENGE**. Prove the Marriage Theorem (C1 above) in a way anyone can
understand. Extra credit for a proof which treats men and women
symmetrically, or for an example showing that an endless cycle of
elopements is possible if the matchmaking is bad enough (or for a proof
that no endless cycle is possible).

Copyright 2002, Frank Morgan.

Send answers, comments, and new questions by email to
Frank.Morgan@williams.edu,and JoeShipman@aol.com, to be eligible for* Flatland *and other book
awards. Winning answers will appear in the next Math Chat. Math Chat
appears on the first and third Thursdays of each month. Prof. Morgan's
homepage is at www.williams.edu/Mathematics/fmorgan.

THE MATH CHAT BOOK, including a $1000 Math Chat Book QUEST, questions and answers, and a list of past challenge winners, is now available from the MAA (800-331-1622).