# Fermat's Penultimate Theorem

**Fermat's Penultimate Theorem** is the name of the statement in number theory that

For any seven non-zero integers <latex>a</latex>, <latex>b</latex>, <latex>c</latex>, <latex>p</latex>, <latex>x</latex>, <latex>n</latex>, and <latex>m</latex> where <latex>a^p+b^p=c^p</latex> and where <latex>log_{x}a < n</latex> and <latex>log_{x}b < m</latex>, <latex>log_{x}c \leq n+m</latex>.^{[1]}

This theorem and its proof are rather unremarkable; the most surprising thing about it is that Fermat was not aware of a previously existing, more concise, proof of "his" theorem. The fact that the problem's statement and solution is understandable by schoolchildren makes it all the more frustrating that Fermat wasted over three and a half pages on the subject, leaving him no room to prove his last theorem. Among math nerds, Fermat's Penultimate Theorem has achieved almost cult status, and "making up Fermat proofs", the practice of making up new, convoluted proofs to simple mathematical problems, is one of the most pervasive memes at **Wolfram Mathworld**, a wiki dedicated to math satire.

## Fermat's Last Proof[edit]

**Fermat's Last Proof**, the proof to Fermat's Penultimate Theorem, was famously first written in Fermat's copy of **Arithmetica**, an ancient Greek book on math given to him by his wife (who thought he might like it) for his 30th birthday. He'd been using the margins as a diary, since he figured it would be a waste to just throw the book away.

Dear Diary,

I was thinking today about this problem I'd scribbled down on a napkin a few years ago. I hunted down the napkin (it was in my coat pocket) and tried to decipher it but it didn't make any sense. But while I was doing that, I thought of something pretty interesting that I would like to call **Fermat's Most Recent Theorem**. (I'll have to rename that last one...) It goes like this:

For any seven non-zero integers <latex>a</latex>, <latex>b</latex>, <latex>c</latex>, <latex>p</latex>, <latex>x</latex>, <latex>n</latex>, and <latex>m</latex> where <latex>a^p+b^p=c^p</latex> and where <latex>log_{x}a < n</latex> and <latex>log_{x}b < m</latex>, <latex>log_{x}c < n+m</latex>.

I don't know where that came from but I think it might be because I found a brand new Pythagorean Triplet this morning while taking a bath. It is 65, 72, and 97. I don't think anyone's found that one yet. (I should take baths more often. I get good ideas when I do.) I'm almost out of room in this book but I should have enough room to prove it.

<latex>a^2+b^2=c^2</latex> so let's say <latex>\log_{x}(a^2+b^2)=log_x{c^2}</latex>

<latex>2\log_{x}(a+b</latex> um...

<latex>\log_{x}(a^2) + \log(b^2)=log_x{c^2}</latex>

<latex>\log_{10}(65^2)+\log_{10}(72^2)=\log_{10}(92^2)</latex>

<latex>3.6+3.7=</latex>

^{[2]}

<latex>a^2+b^2=c^2</latex>

<latex>a < x^n</latex>

<latex>b < x^m</latex>

<latex>n < m</latex> (arbitrary, but you can just switch them if you want to)

<latex>c^p < (x^n)^p+(x^m)^p</latex>

It's dinner time. I'll finish this later.

Back. What the hell was I writing? Okay, so...

<latex>c^p < (x^{np}+x^{mp}) = x^{np}(1+x^{p(m-n)})</latex>

<latex>p\log_{x}(c) < \log_x(x^{np}(1+x^{p(m-n)}))</latex>

<latex>p\log_{x}(c) < np+\log_x(1+x^{p(m-n)})) \approx np+\log_x(x^{p(m-n)}))</latex>

<latex>p\log_{x}(c) < np+p(m-n)</latex>

<latex>\log_{x}(c) < n + m - n </latex>

and since n is positive,
<latex>\log_{x}(c) < n + m </latex>

I don't know how to solve this when <latex>x=1</latex> but I will write a letter to Joo-boy^{[3]} and find out. I haven't talked to him in a while. I wonder how he's doing.

At the time the proof was written, Fermat was pursuing post-graduate studies in math, but shortly afterwards, his father convinced him to get a real job, saying that over a decade ago, he'd promised to pay his father back for sending him to law school. He died 28 years later having never proved another mathematical theorem.

## The Preexisting Proof[edit]

<latex>a</latex> is an <latex>n</latex>-digit number (in base <latex>x</latex>^{[4]}) and <latex>b</latex> is an <latex>m</latex>-digit number. <latex>a^p</latex> and <latex>b^p</latex> will have *at most* <latex>np</latex> and <latex>mp</latex> digits. The sum of two numbers has no more than one digit more than the larger of the two numbers. Regardless of which is bigger, <latex>np+1</latex> and <latex>1+mp</latex> are both smaller than (or equal to in the degenerate case) <latex>np+mp</latex> meaning <latex>c^p</latex> has at most <latex>p(n+m)</latex> digits and <latex>c</latex> has at most <latex>n+m</latex> digits. Duh.^{[5]}

## Fermat's Penultimate Theorem in Popular Culture[edit]

There are very few math references in actual popular culture, but there are often references to Fermat's Penultimate Theorem in more nerdy subcultures.

- On
**Star Trek: The Next Generation**, a prop nameplate lists a room belonging to "Frenchie McLastProof" and "Joo-boy". - An early
**Barenaked Ladies**demo features a song called "Maybe I'm Dumb" with lyrics made up almost entirely of stupid things historical intellectuals have said. It ends with the line "It's dinner time, I'll finish this later." and a sudden cut. The song was dropped from their repertoire in the early 90s. - Nerdcore rap group
**Optimus Rhyme**has a song titled "Take a Log" that makes a few direct references to Fermat's Penultimate Theorem and Last Proof. - If you attempt to take the log of a number in base 1 in
**Matlab**, you get an error message that reads "Go back to bed, Fermat." Unfortunately, this error is rarely seen because the most common trigger, attempting to convert to base 1, also triggers a divide by zero error, crashing the program. - Almost every
**Wolfram Mathworld**article begins with a proof attributed to Fermat. Many are subtle changes to his Last Proof, some are simply in the same style, and some were just pulled out of the contributor's ass. This meme has not yet spread to the rest of the internet, apart from an image macro of a chimpanzee "taking a log" that is popular on**4chan**.

It is unclear if any of these reference are well-known or how many people outside of mathematics academia get them.

**Mathematicians**Al Gebra + Augustin-Louis Cauchy + Benoit Mandelbrot + Bernhard Riemann + Blaise Pascal + Isaac Newton =?

**:****Other People**Asians + Mathemagicians + Nerds + Osum Bin Adden + Your Math Tutor =?

**:****Tools**Abacus + Calculator + Flow chart + Glossary + Graphs + OEIS + Slide rule + Texas Instruments =?

**:****Algebra**Equation + How to Divide by Zero + Linear Algebra + Polynomial + Pre-Algebra + Transitive property =?

**:****Calculus**∫ + 2 Girls 1 Calculus Equation + Cauchy's theorem + Differential Equations + Integral + Lambda Calculus + Transcendental curve + Vector calculus =?

**:****Geometry & Topology**Fractal + Hairy ball theorem + Invisible Geometry + Perfect Square + Tangent + Trigonometry =?

**:****Logic & Computer Science**Monty Hall problem + Number Bases + Recursive + Turing test =?

**:****Numerology**0 + 0.999... + 9/11 + 1+1 + Twenty + Nillion + Oodles + Infinity + The largest number =?

**:****Number Theory**Complex numbers + Fermat's Last Theorem + Fermat's Penultimate Theorem + Fibonacci Sequence + Imaginary Number + Is one a number? + Link theory + Negative Numbers + Odd + Pi + Approximations of pi + Prime number + Rational numbers =?

**:****Paradoxes**Achilles and the Tortoise + Fallacy + Pointless Paradox + Shit A Shitter Paradox + White Horses =?

**:****Physics & Mathy Sciences**Einstein's Malicious Theories + Fourier Transform + Laws of Physics + Principle of Least Action + Quantum physics =?

**:****Probability & Statistics**9 out of 10 + Random Statistics + The Popularity of War =?

**:****Veggie Maths**Counting to potato + Negative potato =?

**:**- ↑ It is worth noting that by Fermat's Last Theorem, <latex>p = 2</latex> or <latex>p = 1</latex>, which makes the problem a lot easier to grasp. Of course, at the time when Fermat's Penultimate Theorem was proven, Fermat's Last Theorem had not yet been proven.
- ↑ To be fair, logarithms hadn't been used in math at all until 1614, just 13 years before this proof was written.
- ↑ Swiss mathematician
**Joost Bürgi**died a few years prior. This is likely who Fermat was referring to as he was one of the few people at the time who understood logarithms. - ↑ If you don't know what that means, pretend <latex>x=10</latex>.
- ↑ This proof ignores the case where <latex>x=1</latex>, as it should.