25
$\begingroup$

I am teaching a math appreciation course to high school students who are approximately 17 years old, in their last year of high school, and who do not believe they will choose a STEM major in university. We will be doing a lesson on visual proofs of the Pythagorean theorem.

There are at least three that are easy and fun to do using some paper triangles. They'll be encouraged to vote on their favorite. But these students are bound to ask why do it three ways? Why do it 118 ways?

This post, this post, and others do a fine job discussing what makes two proofs different and how many proofs a theorem can have, but what I want to know is this: why do we care? Is it just a sense of nerdy joy in finding a different argument for the same theorem?

$\endgroup$
3
  • 9
    $\begingroup$ Please don't assume that everyone around the world understands your schooling system. Give us age ranges, not "grades" (whatever that means). $\endgroup$
    – TRiG
    Commented Nov 28, 2016 at 16:37
  • 1
    $\begingroup$ Out of curiosity, where are you that high school students (especially 11th graders) have declared majors before entering university? $\endgroup$
    – NiloCK
    Commented Nov 28, 2016 at 18:18
  • 1
    $\begingroup$ That is super fair. To be specific, this is a concurrent enrollment course which is delivered in a high school classroom and earns both high school and university credit. The target audience is students who think they will not declare a STEM major, but it is absolutely true that they do not have any official majors yet. Students at these schools who think they will choose a STEM major would be in calculus instead. I'll think of an appropriate edit. $\endgroup$
    – Eva
    Commented Nov 28, 2016 at 21:07

7 Answers 7

11
$\begingroup$

Worth noting here is that there is an additional level of certainty in the validity of a statement when you have multiple proofs of said statement. By having multiple ways to solve the same problem, all yielding the same answer, our surity of the statement increases dramatically. In a classroom setting you could perhaps bring up examples of "proofs" which were thought to be groundbreaking but were later proved wrong by subsequent results; on the other hand, you might also consider giving examples of when a theorem was questioned by the mathematical community but was confirmed by independent proofs, causing the theorem to be more widely accepted.

Originally From Comments:

There are plenty of examples. For the first case, perhaps start with this MathOverflow post. For example, that page lists the false result that

A convergent infinite series of continuous functions is continuous. Cauchy gave a proof of this (1821)...Five years later Abel pointed out that certain Fourier series are counterexamples.

A more trivial example is a tougher question. That same page lists the Euler's Formula $V\text{(ertices)}−E\text{(dges)}+F\text{(aces)}=2$ was long thought to hold for all polyhedra, and a proof was given that was initially accepted for many years until a counterexample was found.

As for the second case, immediate examples that come to mind include Cantor's Set Theory (though subsequent proofs were largely due to Cantor himself, with some strong avocation from Hilbert) as well as Godel's Incompleteness Theorem (see the page Rosser's Trick as well as Boolo's Short Proof ). Neither of these examples are fantastic, but I am sure a little research could definitely yield some better examples!

$\endgroup$
4
  • $\begingroup$ Do you know of any examples of those types of theorems? I think this would resonate with them. $\endgroup$
    – Eva
    Commented Nov 29, 2016 at 0:20
  • 2
    $\begingroup$ @Amanda there are plenty of examples. For the first case, perhaps start here. For example, that page lists the false result that "A convergent infinite series of continuous functions is continuous. Cauchy gave a proof of this (1821)...Five years later Abel pointed out that certain Fourier series are counterexamples." A more trivial example is a tougher question. That same page lists the Euler's Formula $V(ertices)-E(dges)+F(aces)=2$ was long thought to hold for all polyhedra, and a.... $\endgroup$ Commented Nov 29, 2016 at 1:59
  • 2
    $\begingroup$ ... proof was given that was initially accepted for many years until a counterexample was found. Such an example is pretty easy to visualize, and finding those examples only took a few minutes... I'm sure Google will be your best friend here :) As far as the second case goes, immediate examples that come to mind include Cantor's Set Theory (though subsequent proofs were largely due to Cantor himself, with some strong avocation from Hilbert, Godel's Incompleteness Theorem (see the page Rosser's Trick... $\endgroup$ Commented Nov 29, 2016 at 2:07
  • 2
    $\begingroup$ ... as well as Boolo's Short Proof ). Neither of these examples are fantastic, but I am sure a little research could definitely yield some better examples! $\endgroup$ Commented Nov 29, 2016 at 2:09
20
$\begingroup$

I'd say different proofs usually employ different techniques, which in turn might be applicable to different sets of other theorems. So the more proofs I know for one theorem, the higher the chances that I'll be able to adapt at least one of them to a similar (or maybe not so similar) theorem I'm trying to prove.

Furthermore, seeing several techniques applied to a single theorem also helps comparing the techniques, both in objective terms (e.g. is it constructive, is it algebraic) and subjective terms (e.g. do I consider the approach intuitive, can I see how the goal dictates the steps to reach it). If each technique were demonstrated using a different theorem, the differences in these theorems might overshadow the differences between techniques.

$\endgroup$
1
  • 3
    $\begingroup$ +1 It could also be that e.g. an indirect proof is simple to understand, while a constructive (but complicated) one yields means of actually applying the theorem in question. $\endgroup$ Commented Nov 28, 2016 at 10:37
8
$\begingroup$

Claude Monet did a famous series of over 20 paintings, all of one or two haystacks, all in the the same field, with various types of light and weather conditions. Here's one example:

enter image description here

Here is another, for contrast:

enter image description here

A mathematical proof is much like a painting. There is an overall conclusion and many fine details, and one gets a real sense of beauty from nicely made ones.

$\endgroup$
1
  • $\begingroup$ A friend of mine used song covers as an example similar to this. I really like it. $\endgroup$
    – Eva
    Commented Nov 28, 2016 at 18:00
6
$\begingroup$

The main motivation is that different proofs generalize to different situations.

In addition to that

  1. Different proofs may require different tools and different theory. Sometimes, it is nice to have an "elementary" proof, which only uses simple tools, but maybe in a difficult or hard-to-understand way. Sometimes, another theory, once developed, might give certain result as an obvious corollary, but to really understand it one has to understand the entire theory.
  2. Different proofs often have slightly different assumptions. They might be written in a standard form, but upon inspecting the proof and seeing what assumptions are actually used, some of them might be weaker than what is written down. This is often the case in analysis, where there are several different degrees to which something can be continuous or differentiable.

Neither of these concerns is easy to demonstrate before university-level mathematics, I fear.


A didactic reason is that different people might understand or remember different proofs, especially if some are visual, others algebraic, and so on. A proof is always a way to reconstruct and remember a theorem.

$\endgroup$
3
$\begingroup$

For me this question brought to mind Bill Thurston's On Proof and Progress in Mathematics. There is value in being able to understand the same idea from different viewpoints (that is, the same person adopting different viewpoints, not just different people choosing their own preferred one).

$\endgroup$
3
$\begingroup$

Sometimes a different proof can provide more insight, or a different kind of insight.

As a relatively elementary example, you could think of the angle sum formula for sine.

The first proof I learned used computed the length of a certain line segment in two ways: using the law of cosines, and using the distance formula. After a lot of algebra, the formula falls out. However, I get very little intuition for why the result is true.

A proof I discovered much later uses the linearity of rotation as a map from $\mathbb{R}^2 \to \mathbb{R}^2$. The angle sum formulas for both sine and cosine are the result of matrix multiplication of rotation matrices. Not only is this proof more intuitive, it is so intuitive that I no longer remember the angle sum formulas: I just take a second to derive them each time.

Take home message: a proof is an explanation for why something works. Sometimes some explanations appeal to you more than others. So it is worth it to prove the same result in many ways.

$\endgroup$
1
  • 1
    $\begingroup$ Just to reiterate what Steven said, in different words: Because the more ways you can prove something, the better you know it. And that answers another question your students have likely asked, "When will I ever use this?" One answer is, "Never, if you don't know it." The better you know something, the more likely you will be to find a use for it later. $\endgroup$ Commented Nov 28, 2016 at 21:55
1
$\begingroup$

It is better to solve one problem five different ways, than to solve five problems one way. —George Polya

$\endgroup$
2
  • 1
    $\begingroup$ I like that quote, but that doesn't really answer the original question. It merely asserts what the OP Is asking why. $\endgroup$ Commented Nov 30, 2016 at 13:27
  • $\begingroup$ Where did Polya say/write this? $\endgroup$
    – user378
    Commented Nov 10, 2018 at 12:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.