# Holes in the Google Math Proof

**URL:** https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011
**Category:** Factual Questions
**Created:** [August 17, 2011, 11:10am UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011 "2011-08-17T11:10:56Z")
**Posts on this page:** 20
**Page:** 1

<div class="post-metadata">

### Author: ![Jinx](https://avatars.discourse-cdn.com/v4/letter/j/c6cbf5/32.png) [@Jinx](https://boards.straightdope.com/u/Jinx)
#### Post date: [August 17, 2011, 11:10am UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/1 "2011-08-17T11:10:56Z")

</div>

Today, Google boasts of someone’s 410th anniversary, IIRC, who claimed to have proven that x^n + y^n \<\> z^n. However, there are instances where this is true! So, despite that this proof exists…doesn’t one hole in the proof blow the whole proof away? What’s the SD from the SD’s mathematicians?

---

<div class="post-metadata">

### Author: ![Saffer](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/saffer/32/6440_2.png) [@Saffer](https://boards.straightdope.com/u/Saffer)
#### Post date: [August 17, 2011, 11:17am UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/2 "2011-08-17T11:17:50Z")

</div>

from wikipedia

“In number theory, Fermat’s Last Theorem states that no three positive integers a, b, and c can satisfy the equation an + bn = cn for any integer value of n greater than two.”

> **[Fermat's Last Theorem](https://en.wikipedia.org/wiki/Fermat%27s_Last_Theorem)**
>
> In number theory, Fermat's Last Theorem (sometimes called Fermat's conjecture, especially in older texts) states that no three positive integers a, b, and c satisfy the equation an + bn = cn for any integer value of n greater than 2. The cases n = 1 and n = 2 have been known since antiquity to have infinitely many solutions.
> The proposition was first stated as a theorem by Pierre de Fermat around 1637 in the margin of a copy of Arithmetica. Fermat added that he had a proof that was too large t...

---

<div class="post-metadata">

### Author: ![MikeS](https://avatars.discourse-cdn.com/v4/letter/m/919ad9/32.png) [@MikeS](https://boards.straightdope.com/u/MikeS)
#### Post date: [August 17, 2011, 11:21am UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/3 "2011-08-17T11:21:53Z")

</div>

Also, for x, y, z and n all positive integers. If you’ve managed to find a counterexample even with these restrictions, then that would be very interesting indeed.

---

<div class="post-metadata">

### Author: ![Bricker](https://avatars.discourse-cdn.com/v4/letter/b/977dab/32.png) [@Bricker](https://boards.straightdope.com/u/Bricker)
#### Post date: [August 17, 2011, 12:43pm UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/4 "2011-08-17T12:43:45Z")

</div>

> [@Jinx](#):
>
> Today, Google boasts of someone’s 410th anniversary, IIRC, who claimed to have proven that x^n + y^n \<\> z^n. However, there are instances where this is true! So, despite that this proof exists…doesn’t one hole in the proof blow the whole proof away? What’s the SD from the SD’s mathematicians?

What instances were you thinking of?

---

<div class="post-metadata">

### Author: ![GoodOmens](https://avatars.discourse-cdn.com/v4/letter/g/d26b3c/32.png) [@GoodOmens](https://boards.straightdope.com/u/GoodOmens)
#### Post date: [August 17, 2011, 12:45pm UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/5 "2011-08-17T12:45:00Z")

</div>

It is true that one counterexample would falsify the entire theorem. As far as I’m aware, no such counterexample has been found.

---

<div class="post-metadata">

### Author: ![Asympotically\_fat](https://avatars.discourse-cdn.com/v4/letter/a/e47c2d/32.png) [@Asympotically\_fat](https://boards.straightdope.com/u/Asympotically_fat)
#### Post date: [August 17, 2011, 12:56pm UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/6 "2011-08-17T12:56:29Z")

</div>

> [@Jinx](#):
>
> Today, Google boasts of someone’s 410th anniversary, IIRC, who claimed to have proven that x^n + y^n \<\> z^n. However, there are instances where this is true! So, despite that this proof exists…doesn’t one hole in the proof blow the whole proof away? What’s the SD from the SD’s mathematicians?

It’s was only proved in the 1990s by Andrew Wiles.

I’m guessing you’ve simply forgot the condition n \> 2.

---

<div class="post-metadata">

### Author: ![Johanna](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/johanna/32/8318_2.png) [@Johanna](https://boards.straightdope.com/u/Johanna)
#### Post date: [August 17, 2011, 1:23pm UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/7 "2011-08-17T13:23:37Z")

</div>

> [@Saffer](#):
>
> from wikipedia
> 
> “In number theory, Fermat’s Last Theorem states that no three positive integers a, b, and c can satisfy the equation an + bn = cn for any integer value of n greater than two.”
> 
> [Fermat's Last Theorem - Wikipedia](http://en.wikipedia.org/wiki/Fermat%27s_Last_Theorem)

If you don’t use superscripts, it becomes a totally different equation. Your exponents become coefficients.

---

<div class="post-metadata">

### Author: ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)
#### Post date: [August 17, 2011, 2:07pm UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/8 "2011-08-17T14:07:36Z")

</div>

> [@These are my own pants](#):
>
> I’m guessing you’ve simply forgot the condition n \> 2.

This.

---

<div class="post-metadata">

### Author: ![Terminus\_Est](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/terminus_est/32/3087_2.png) [@Terminus\_Est](https://boards.straightdope.com/u/Terminus_Est)
#### Post date: [August 17, 2011, 2:17pm UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/9 "2011-08-17T14:17:05Z")

</div>

I, too, would really like to know what counterexamples the OP is thinking of.

---

<div class="post-metadata">

### Author: ![robardin](https://avatars.discourse-cdn.com/v4/letter/r/43a26b/32.png) [@robardin](https://boards.straightdope.com/u/robardin)
#### Post date: [August 17, 2011, 3:06pm UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/10 "2011-08-17T15:06:06Z")

</div>

> [@Terminus\_Est](#):
>
> I, too, would really like to know what counterexamples the OP is thinking of.

5!

No… 6.

Hmm.

7?

OK wait just a sec, I had this down somewhere… brb

---

<div class="post-metadata">

### Author: ![Dewey\_Finn](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/dewey_finn/32/4222_2.png) [@Dewey\_Finn](https://boards.straightdope.com/u/Dewey_Finn)
#### Post date: [August 17, 2011, 3:20pm UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/11 "2011-08-17T15:20:15Z")

</div>

> [@Bricker](#):
>
> > [@Jinx](#):
> >
> > Today, Google boasts of someone’s 410th anniversary, IIRC, who claimed to have proven that x^n + y^n \<\> z^n. However, there are instances where this is true! So, despite that this proof exists…doesn’t one hole in the proof blow the whole proof away? What’s the SD from the SD’s mathematicians?
> 
> What instances were you thinking of?

I wouldn’t hold your breath waiting for clarification. **Jinx** rarely returns to his threads to answer questions or acknowledge replies.

---

<div class="post-metadata">

### Author: ![CurtC](https://avatars.discourse-cdn.com/v4/letter/c/ce73a5/32.png) [@CurtC](https://boards.straightdope.com/u/CurtC)
#### Post date: [August 17, 2011, 3:43pm UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/12 "2011-08-17T15:43:53Z")

</div>

I bet Jinx was thinking of this one:

9[sup]3[/sup] + 10[sup]3[/sup] = 12[sup]3[/sup] + 1[sup]3[/sup]

---

<div class="post-metadata">

### Author: ![Thudlow\_Boink](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/thudlow_boink/32/320_2.png) [@Thudlow\_Boink](https://boards.straightdope.com/u/Thudlow_Boink)
#### Post date: [August 17, 2011, 4:21pm UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/13 "2011-08-17T16:21:55Z")

</div>

> [@Terminus\_Est](#):
>
> I, too, would really like to know what counterexamples the OP is thinking of.

Perhaps [1782[sup]12[/sup] + 1841[sup]12[/sup] = 1922[sup]12[/sup]](http://falseproofs.blogspot.com/2006/06/simpsons-and-fermats-last-theorem.html)?

---

<div class="post-metadata">

### Author: ![sco3tt](https://avatars.discourse-cdn.com/v4/letter/s/45deac/32.png) [@sco3tt](https://boards.straightdope.com/u/sco3tt)
#### Post date: [August 17, 2011, 8:21pm UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/14 "2011-08-17T20:21:46Z")

</div>

> [@Dewey\_Finn](#):
>
> I wouldn’t hold your breath waiting for clarification. **Jinx** rarely returns to his threads to answer questions or acknowledge replies.

Perhaps he’ll at least leave a marginal response that there isn’t room enough to provide the answer here.

---

<div class="post-metadata">

### Author: ![Snickers](https://avatars.discourse-cdn.com/v4/letter/s/5daacb/32.png) [@Snickers](https://boards.straightdope.com/u/Snickers)
#### Post date: [August 17, 2011, 8:44pm UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/15 "2011-08-17T20:44:55Z")

</div>

Damn you, **sco3tt**! Bastard took my joke! 😉

---

<div class="post-metadata">

### Author: ![JoelUpchurch](https://avatars.discourse-cdn.com/v4/letter/j/f05b48/32.png) [@JoelUpchurch](https://boards.straightdope.com/u/JoelUpchurch)
#### Post date: [August 17, 2011, 8:59pm UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/16 "2011-08-17T20:59:45Z")

</div>

I actually managed to reference X^2+Y^2=Z^2 in an archeology class I was taking. The professor was talking about the mathematical relationships in temples that were built in Sicily by the Greeks. I pointed out that a temple had 6 columns on one side and 13 on the long side. That meant that the spaces between the columns was 5 spaces and 12 spaces. This meant that the hypotenuse was equal to 13 spaces and that 5^2+12^2=13^2 which was a Pythagorean triple. He ended writing a paper about that and other mathematical relationship in the temple and I got a footnote.

---

<div class="post-metadata">

### Author: ![KneadToKnow](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/kneadtoknow/32/3999_2.png) [@KneadToKnow](https://boards.straightdope.com/u/KneadToKnow)
#### Post date: [August 17, 2011, 9:00pm UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/17 "2011-08-17T21:00:37Z")

</div>

I was teaching an Internet Basics workshop today and went to Google. Understandably, the class was a little confused by the logo. One asked “What’s that?” in a bewildered way, and when I turned to look at the screen, I said somewhat off-hand (because I wanted to get back to the topic and not get bogged down in a discussion of Google’s logo games), “That’s Fermat’s last theorem, I think.”

At least one person when I turned back around had that “Do you know _everything_?” look on their face that librarians get sometimes.

Good times.

---

<div class="post-metadata">

### Author: ![The\_Other\_Waldo\_Pepper](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/the_other_waldo_pepper/32/12370_2.png) [@The\_Other\_Waldo\_Pepper](https://boards.straightdope.com/u/The_Other_Waldo_Pepper)
#### Post date: [August 17, 2011, 9:33pm UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/18 "2011-08-17T21:33:41Z")

</div>

How 'bout zero cubed plus zero cubed equals zero cubed?

Can’t blame a guy for trying…

---

<div class="post-metadata">

### Author: ![Digital\_is\_the\_new\_Analog](https://avatars.discourse-cdn.com/v4/letter/d/a88e4f/32.png) [@Digital\_is\_the\_new\_Analog](https://boards.straightdope.com/u/Digital_is_the_new_Analog)
#### Post date: [August 17, 2011, 10:01pm UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/19 "2011-08-17T22:01:24Z")

</div>

> [@The\_Other\_Waldo\_Pepper](#):
>
> How 'bout zero cubed plus zero cubed equals zero cubed?
> 
> Can’t blame a guy for trying…

That’s a good example, for sufficiently large values of 0.  
-D/a

---

<div class="post-metadata">

### Author: ![sco3tt](https://avatars.discourse-cdn.com/v4/letter/s/45deac/32.png) [@sco3tt](https://boards.straightdope.com/u/sco3tt)
#### Post date: [August 17, 2011, 10:46pm UTC](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011/20 "2011-08-17T22:46:26Z")

</div>

> [@Snickers](#):
>
> Damn you, **sco3tt**! Bastard took my joke! 😉

Sorry, I had to do it. It’s not often that a philistine like me gets to crack a history joke in a room full of mathematicians.

[Next page](https://boards.straightdope.com/t/holes-in-the-google-math-proof/593011.md?page=2)
