Skip to main content
Mathematics LibreTexts

9: Proof Techniques IV - Magic

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    If you can keep your head when all about you are losing theirs, it’s just possible you haven’t grasped the situation.

    –Jean Kerr

    The famous mathematician Paul Erdös is said to have believed that God has a Book in which all the really elegant proofs are written. The greatest praise that a collaborator1 could receive from Erdös was that they had discovered a “Book proof.” It is not easy or straightforward for a mere mortal to come up with a Book proof but notice that, since the Book is inaccessible to the living, all the Book proofs of which we are aware were constructed by ordinary human beings. In other words, it’s not impossible!

    The title of this final chapter is intended to be whimsical – there is no real magic involved in any of the arguments that we’ll look at. Nevertheless, if you reflect a bit on the mental processes that must have gone into the development of these elegant proofs, perhaps you’ll agree that there is something magical there.

    At a minimum we hope that you’ll agree that they are beautiful – they are proofs from the Book2.

    Acknowledgment: Several of the topics in this section were unknown to the author until he visited the excellent mathematics website maintained by Alexander Bogomolny at

    • 9.1: Morley’s Miracle
      Probably you have heard of the impossibility of trisecting an angle. Because of the central place of Euclid’s Elements in mathematical training throughout the centuries, and thereby, a very strong predilection towards that which possible via compass and straight-edge alone, it is perhaps not surprising that a perfectly beautiful result that involved trisecting angles went undiscovered until 1899, when Frank Morley stated his Trisector Theorem.
    • 9.2: Five Steps Into the Void
      In this section we’ll talk about another Book proof also due to John Conway. This proof serves as an introduction to a really powerful general technique – the idea of an invariant. An invariant is some sort of quantity that one can calculate that itself doesn’t change as other things are changed. Of course different situations have different invariant quantities.
    • 9.3: Monge’s Circle Theorem
      There’s a nice sequence of matchstick puzzles that starts with "Use nine non-overlapping matchsticks to form 4 triangles (all of the same size).’’ It’s not that hard, and after a while most people come up with. The kicker comes when you next ask them to “use six matches to form 4 (equal sized) triangles.” The answer involves thinking three-dimensionally. Monge’s circle theorem has nothing to do with matchsticks, but it is a sweet example of a proof that works by moving to a higher dimension.

    This page titled 9: Proof Techniques IV - Magic is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Joseph Fields.

    • Was this article helpful?