# Fermat's last theorem and Pythagorean quadruples

**URL:** <https://boards.straightdope.com/t/fermats-last-theorem-and-pythagorean-quadruples/433992>\
**Category:** Factual Questions\
**Created:** [January 18, 2008, 6:16am UTC](https://boards.straightdope.com/t/fermats-last-theorem-and-pythagorean-quadruples/433992 "2008-01-18T06:16:06Z")\
**Posts on this page:** 13\
**Page:** 1

<div class="post-metadata">

**Author:** ![Enola\_Straight](https://avatars.discourse-cdn.com/v4/letter/e/dec6dc/32.png) [@Enola\_Straight](https://boards.straightdope.com/u/Enola_Straight)\
**Post date:** [January 18, 2008, 6:16am UTC](https://boards.straightdope.com/t/fermats-last-theorem-and-pythagorean-quadruples/433992/1 "2008-01-18T06:16:06Z")

</div>

We have X^2 + y^2 = z^2…the Pythagorean theorem

examples of perfect Pythagorean triples are:

3:4:5  
5:12:13

Fermat’s Last Theorem states for X^n + Y^n = Z^n, no perfect triple can be found for integer values of n larger than 2.

Messing around one day with my calculator, I have (re)discovered what I call Pythagorean quadruples, of the form X^3+Y^3+Z^3=W^3…examples:

3:4:5:6  
7:14:17:20

My question is: can a perfect Pythagorean quadruple be found for  
X^n+Y^n+Z^n=W^n with an integer value for n larger than 3?

---

<div class="post-metadata">

**Author:** ![Rysto](https://avatars.discourse-cdn.com/v4/letter/r/ecccb3/32.png) [@Rysto](https://boards.straightdope.com/u/Rysto)\
**Post date:** [January 18, 2008, 6:24am UTC](https://boards.straightdope.com/t/fermats-last-theorem-and-pythagorean-quadruples/433992/2 "2008-01-18T06:24:02Z")

</div>

[Solutions exist for n=4](http://mathworld.wolfram.com/DiophantineEquation4thPowers.html)

ETA: [And n=5](http://en.wikipedia.org/wiki/Euler%27s_sum_of_powers_conjecture)

---

<div class="post-metadata">

**Author:** ![Enola\_Straight](https://avatars.discourse-cdn.com/v4/letter/e/dec6dc/32.png) [@Enola\_Straight](https://boards.straightdope.com/u/Enola_Straight)\
**Post date:** [January 18, 2008, 6:50am UTC](https://boards.straightdope.com/t/fermats-last-theorem-and-pythagorean-quadruples/433992/3 "2008-01-18T06:50:27Z")

</div>

Definitively answered.

Flawless victory.

---

<div class="post-metadata">

**Author:** ![CJJ](https://avatars.discourse-cdn.com/v4/letter/c/ecc23a/32.png) [@CJJ](https://boards.straightdope.com/u/CJJ)\
**Post date:** [January 18, 2008, 3:34pm UTC](https://boards.straightdope.com/t/fermats-last-theorem-and-pythagorean-quadruples/433992/4 "2008-01-18T15:34:43Z")

</div>

One interesting point about the link **Rysto** gives is that the solution with the smallest integers is 95800^4 + 217519^4 + 414560^4 = 422481^4, which are fairly large values.

For years before FLT was proved, mathematicians kept coming up with proofs that any integer solution had to have values higher than some enourmous limit X, so one could be forgiven for thinking that FLT was in all likelyhood true even before Wiles proof came along. The example above justifies skepticism even in the face of overwhelmig finite evidence…

---

<div class="post-metadata">

**Author:** ![CalMeacham](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/calmeacham/32/35_2.png) [@CalMeacham](https://boards.straightdope.com/u/CalMeacham)\
**Post date:** [January 18, 2008, 3:51pm UTC](https://boards.straightdope.com/t/fermats-last-theorem-and-pythagorean-quadruples/433992/5 "2008-01-18T15:51:42Z")

</div>

In David wells’nteresting book **The Dictionary of Interesting Numbers** there are examples of these for many higher values of **n**. I noticed that in each case, the number of terms added had to be equal to **n** , and so I thought “Aha! a pattern!” But for n = 5 or n = 6 it breaks dow, with vcounterexamples that require fewer than n terms.

---

<div class="post-metadata">

**Author:** ![Lumpy](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/lumpy/32/446_2.png) [@Lumpy](https://boards.straightdope.com/u/Lumpy)\
**Post date:** [January 19, 2008, 2:00am UTC](https://boards.straightdope.com/t/fermats-last-theorem-and-pythagorean-quadruples/433992/6 "2008-01-19T02:00:09Z")

</div>

[QUOTE=CalMeacham]  
In David wells’nteresting book **The Dictionary of Interesting Numbers** there are examples of these for many higher values of **n**. I noticed that in each case, the number of terms added had to be equal to **n** , and so I thought “Aha! a pattern!” But for n = 5 or n = 6 it breaks dow, with vcounterexamples that require fewer than n terms.  
[/QUOTE]  
A related story: A long while ago I was interested in whole number solutions to the Pythagorean equation (Pythagorean Triples, although I didn’t know there was a term for it at the time). Based on limited examples and some slightly flawed reasoning, I concluded that as you used larger and larger numbers (3,4,5/ 5,12,13/ 7,24.25 etc.) the only solutions you would find would represent triangles that were increasingly narrow slivers. Recently I found an excellent [Ask Dr. Math](http://mathforum.org/dr.math/faq/faq.pythag.triples.html) page, in which I found I had been dead wrong all along. Part of the reason was you have to go up to 20 before you find a counter-example ( 20[sup]2[/sup] +21[sup]2[/sup] =29[sup]2[/sup]).

---

<div class="post-metadata">

**Author:** ![Xema](https://avatars.discourse-cdn.com/v4/letter/x/9de053/32.png) [@Xema](https://boards.straightdope.com/u/Xema)\
**Post date:** [January 19, 2008, 3:00am UTC](https://boards.straightdope.com/t/fermats-last-theorem-and-pythagorean-quadruples/433992/7 "2008-01-19T03:00:58Z")

</div>

[QUOTE=Enola Straight]  
Fermat’s Last Theorem states for X^n + Y^n = Z^n, no perfect triple can be found for integer values of n larger than 2.  
[/QUOTE]

Provided “perfect” is in this case understood to mean “integer”.

---

<div class="post-metadata">

**Author:** ![mla1](https://avatars.discourse-cdn.com/v4/letter/m/c0e974/32.png) [@mla1](https://boards.straightdope.com/u/mla1)\
**Post date:** [May 27, 2011, 5:20pm UTC](https://boards.straightdope.com/t/fermats-last-theorem-and-pythagorean-quadruples/433992/8 "2011-05-27T17:20:27Z")

</div>

is 3^3 + 4^3 + 5^3 = 6^3 a perfect triplet

---

<div class="post-metadata">

**Author:** ![RadicalPi](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/radicalpi/32/9806_2.png) [@RadicalPi](https://boards.straightdope.com/u/RadicalPi)\
**Post date:** [May 27, 2011, 10:25pm UTC](https://boards.straightdope.com/t/fermats-last-theorem-and-pythagorean-quadruples/433992/9 "2011-05-27T22:25:45Z")

</div>

> [@mla1](#):
>
> is 3^3 + 4^3 + 5^3 = 6^3 a perfect triplet

Yes.

---

<div class="post-metadata">

**Author:** ![mla1](https://avatars.discourse-cdn.com/v4/letter/m/c0e974/32.png) [@mla1](https://boards.straightdope.com/u/mla1)\
**Post date:** [May 28, 2011, 11:40am UTC](https://boards.straightdope.com/t/fermats-last-theorem-and-pythagorean-quadruples/433992/10 "2011-05-28T11:40:22Z")

</div>

then is a^4 + b^4 + c^4 = d^4?

---

<div class="post-metadata">

**Author:** ![Hari\_Seldon](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/hari_seldon/32/5173_2.png) [@Hari\_Seldon](https://boards.straightdope.com/u/Hari_Seldon)\
**Post date:** [May 28, 2011, 7:36pm UTC](https://boards.straightdope.com/t/fermats-last-theorem-and-pythagorean-quadruples/433992/11 "2011-05-28T19:36:06Z")

</div>

For exponent 3, there are infinitely many solutions in relatively prime integers (no common divisor). I don’t know about higher exponents.

3^3 + 4^3 + 5^3 = 6^3 reminds of the story that when Remanujan told Hardy that 1729 is the smallest positive integer that is the sum of two cubes in two different ways, he was wrong (if that’s what he said, which was Hardy’s story). 91 = 3^3 + 4^3 = (-5)^3 + 6^3 is the smallest. Moreover 8\*91 = 728 is the sum of two cubes in three different ways, multiply the above by 2^3 to get two of them and then observe that 728 = (12)^3 + (-10)^3.

---

<div class="post-metadata">

**Author:** ![Indistinguishable](https://avatars.discourse-cdn.com/v4/letter/i/90ced4/32.png) [@Indistinguishable](https://boards.straightdope.com/u/Indistinguishable)\
**Post date:** [May 28, 2011, 8:25pm UTC](https://boards.straightdope.com/t/fermats-last-theorem-and-pythagorean-quadruples/433992/12 "2011-05-28T20:25:20Z")

</div>

The phrase as given by Hardy was “smallest number expressible as the sum of two cubes in two different ways”.

I think it’s reasonably charitable (even assuming Hardy’s anecdotal retelling was to be word-for-word) to allow that “cube” is from context to be taken to mean “cube within the semiring of natural numbers”. One might just as well object that, for example, 9 can be written as both 1^3 + 2^3 and 1.5^3 + (cube root of 5.625)^3…

---

<div class="post-metadata">

**Author:** ![KarlGauss](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/karlgauss/32/3713_2.png) [@KarlGauss](https://boards.straightdope.com/u/KarlGauss)\
**Post date:** [May 28, 2011, 11:27pm UTC](https://boards.straightdope.com/t/fermats-last-theorem-and-pythagorean-quadruples/433992/13 "2011-05-28T23:27:44Z")

</div>

While thinking about some of the things in this thread (i.e. which integers can be sides of a ‘primitive’ Pythagorean triangle), I came across a wonderful site which might have been titled, “Everything You Ever Wanted to Know About Pythagorean Triangles”. Alas, it doesn’t even seem to have a name; but it _is_ terrific. Worth a look if you’ve followed this thread.

[Unnamed but wonderful Pythagorean Triangle site](http://www.maths.surrey.ac.uk/hosted-sites/R.Knott/Pythag/pythag.html).
