Irregular Webcomic!

Archive     Cast     Forum     RSS     Podcast     Poll Results     FAQ     Search     News     Facebook     Fan Art     More Stuff     Random
<   No. 1807   2008-01-07   >

Comic #1807

1 {scene: The Vatican Library. The Joneses stand cowering near the locked door as trap noises rumble all around them.}
1 [sound]: CLANK! CRUNCH! GRIND! CLANK! Flutter flutter... {a piece of paper drops gently from the ceiling}
2 Monty: A piece of paper falling from the ceiling? That's it? That's da Vinci's Last Deathtrap?
3 Minnesota Jones: {grabbing the paper} It's Italian mirror writing.
3 Prof. Jones: The hand of da Vinci!
3 Monty: What's it say?!
4 Minnesota Jones: "I have devised a most cunning and inescapable deathtrap. Unfortunately, this room is too small to contain it."

First (1) | Previous (1806) | Next (1808) || Latest Rerun (960) | Latest New (3358)
First 5 | Previous 5 | Next 5 | Latest 5
Cliffhangers theme: First | Previous | Next | Latest || First 5 | Previous 5 | Next 5 | Latest 5
This strip's permanent URL: http://www.irregularwebcomic.net/1807.html
Annotations off: turn on
Annotations on: turn off

Pierre de Fermat was a French lawyer and an amateur mathematician, with a particular interest in number theory and diophantine equations (polynomial equations with variables constrained to integer values).

Anyone who has studied calculus for at least a month or two will be familiar with one of Fermat's many mathematical theorems. The one known simply as Fermat's theorem says that local maxima and minima of a differentiable function are stationary points; i.e. the value of the derivative at a maximum or minimum is zero. This is the underpinning of a standard technique in calculus, and used and loved by school students everywhere.

He is also known for a number of other theorems, including:

The interesting thing about Fermat is that, as an amateur mathematician, he almost always stated his results without providing any proof for them. Over the centuries since his death in 1665, this has caused various amounts of intrigue and grief to a number of later mathematicians. For example, Fermat's little theorem was first proved by Gottfried Leibniz, around 1683, nearly 20 years after Fermat had died.

Fermat's theorem on the sums of two squares remained unproven until the great Leonhard Euler finally found a proof for it, in 1749.

Fermat is probably best known, however, for what came to be known as Fermat's last theorem. This wasn't the last theorem he wrote (he wrote it in 1637), but it was the last one to be proven. In fact, for a long time, nobody was sure if it was actually true or not. A long time. Over 300 years.

It was proven, finally, in 1994.

It was proven thanks to the concerted efforts of a series of highly skilled professional mathematicians in a sequence of work dating back to the 1960s, which laid the theoretical foundations of what would turn into a monstrous multi-faceted edifice of inter-related work. These efforts slowly chipped away at various aspects of the theorem, showing that it was equivalent to other, more complicated statements of number theory that could themselves be attacked by other analytical methods. Eventually, in 1994, the last bricks were put into place and Fermat's last theorem was proven to be true.

The really interesting thing about Fermat's last theorem is what Fermat himself wrote about it. He had a copy of the 3rd century Greek mathematical text Arithmetica, by Diophantus (after whom diophantine equations are named). In this book, Diophantus poses a problem closely related to Pythagoras' theorem (the most popular theorem in all of mathematics, according to a reliable source). He asks how to solve equations of the form:

a2 = b2 + c2.
In the margin next to this, in his copy of Arithmetica, Fermat wrote (in Latin):
Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est dividere cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.
Translating the 17th century mathematical jargon into modern terms, this reads:
There are no integer solutions for the equation an = bn + cn for n > 2. I have discovered a truly marvellous proof of this, which this margin is too narrow to contain.
This final throwaway line of Fermat's has gone down in the annals of history as one of the most famous comments ever written about mathematics. Taking it at face value, and aware of the fact that Fermat discovered and recorded many other powerful theorems that were later proven to be true, one could conclude that Fermat did indeed have some sort of proof for his statement.

Although we know now that he was right, the proof only came about because of a concerted effort by dozens of mathematicians using 20th century analytical techniques that would have been far beyond the understanding of mathematicians of the 17th century. This is clearly incompatible with whatever conjectured proof that Fermat may have had. If he had a proof, it would have been relatively simple and elegant - a supposition supported by his claim that his proof was "truly marvellous".

The failure of anyone else to find a simple and elegant proof of Fermat's last theorem for the past 370 years raises a couple of possibilities:

  1. Fermat did indeed have a relatively simple proof, but nobody else has been clever enough to reproduce it.
  2. Fermat was mistaken about his proof, but happened to pick some statement about mathematics that was in fact true, but would take mathematics nearly 400 years more advanced to actually prove.
Either of these possibilities is fairly mind-boggling. Of course, there's always the other choice:
  1. Fermat was a time traveller.

Iustinus offers this translation of da Vinci's note into Latin:
Decipulam mortiferam sane detexui. Hanc musei exiguitas non caperet.
He notes that was constructed to keep the initial letters of all the words the same as the corresponding parts of Fermat's marginal note.

LEGO® is a registered trademark of the LEGO® Group of companies, which does not sponsor, authorise, or endorse this site.
This material is presented in accordance with the LEGO® Fair Play Guidelines.

Irregular Webcomic! | Darths & Droids | Planet of Hats | mezzacotta | Lightning Made of Owls | Square Root of Minus Garfield | Awkward Fumbles | Comments on a Postcard
Last Modified: Monday, 7 January 2008; 02:11:01 PST.
© 2002-2014 Creative Commons License
This work is copyright and is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 3.0 Unported Licence by David Morgan-Mar. dmm@irregularwebcomic.net
Hosted by: DreamHost