Q. What are the characteristics of theorems that seem to invite (or possess) several or even many distinct proofs?

What I have in mind are examples such as these:

The last is particularly striking to me, as it took some time for an accurate proof to emerge.1 I'm sure there are many other more modern examples; suggestions welcomed.

Is there some characteristic of these theorems that lend themselves to often rather distinct proofs? Or is it where within the network of mathematical connections these theorems reside? Or is it that these theorems are so useful that researchers keep inventing new proof approaches?

1Imre Lakatos, Proofs and Refutations. Wikipedia link.
  • 6
    $\begingroup$ Another prominent example is quadratic reciprocity. Does the fundamental theorem of algebra count? $\endgroup$ – M.G. Aug 18 at 0:20
  • 3
    $\begingroup$ The claim that two things are not equal (or variants of it) often has many fundamentally different proofs. This is because two things that are not equal are usually equal for many reasons - i.e. two integers are not equal because they are unequal mod $2$, unequal mod $3$, etc. Usually for an equality, there will be similarities between different proofs, and you can argue about whether they are really the same proof. $\endgroup$ – Will Sawin Aug 18 at 0:48
  • 3
    $\begingroup$ There are a plethora of proofs that there are $n^{n-2}$ trees on $n$ labelled points. I'd say an common feature of most such theorems is to be easy understand, hard enough to be challenging but not so hard as to be unapproachable. Then other criteria come into play, $\endgroup$ – Aaron Meyerowitz Aug 18 at 5:39
  • 3
    $\begingroup$ I don't have an answer, but two more examples: Robin Chapman collected $14$ proofs of $\zeta(2)=\pi^2/6$ at empslocal.ex.ac.uk/people/staff/rjchapma/etc/zeta2.pdf And $14$ is a good number – Stan Wagon won a prize for "Fourteen proofs of a result about tiling a rectangle." maa.org/programs/maa-awards/writing-awards/… $\endgroup$ – Gerry Myerson Aug 18 at 5:58
  • 2
    $\begingroup$ The example theorems all have one thing in common, which makes it far more likely that they will have many proofs: they are OLD. (Euler's formula is by far the newest of them, but even that is over 200 years old.) I would be surprised to learn of a >200-year-old theorem with fewer than, say, five proofs. $\endgroup$ – HJRW Aug 18 at 10:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.