Mark Dettinger's Conjecture

This is the story of a conjecture I made in 1995.
Meanwhile I know that Euler made the same conjecture before, but anyway...

May 5, 1995

I think you all know Fermat's Conjecture. Fermat stated that the equation a^n + b^n = c^n has no integer solutions for n>2. He alleged to have the proof, but didn't publish it in his book. ("I have the proof, but there isn't room to write it in this margin.") Since then for centuries mathematicians tried to prove the conjecture or to find a counter-example, without success.
Two years ago Andrew Wiles from the University of Cambridge proved that Fermat was right (although I heard there were still some dodgy areas in the proof).
So I think the mathematicians of the world need something for the centuries to come...Here is MY conjecture:
a^n + b^n = c^n has no integer solutions for n>2.
a^n + b^n + c^n = d^n has no integer solutions for n>3.
(a^n + b^n + c^n + d^n = e^n has no integer solutions for n>4.)
a^n + b^n + c^n + d^n + e^n = f^n has no integer solutions for n>5.
a^n + b^n + c^n + d^n + e^n + f^n = g^n has no integer solutions for n>6.
...
In other words, I think, Fermat's Last Theorem is only the first and simplest one of an infinite cascade of theorems.

June 2, 1995

Damned! There's a counter-example!
27^5 + 84^5 + 110^5 + 133^5 = 144^5

What do you think? Do you know a second counter-example?
By the way, for a^4 + b^4 + c^4 = d^4 there's no one with d<=220000.
For a^5 + b^5 + c^5 + d^5 = e^5 there's no second one with e<=765.

December 5, 1996

Today I got an interesting mail from Randall Rathbun:

Noam Elkies found:
2682440^4 + 15365639^4 + 18796760^4 = 20615673^4
New York Times carried his solution.
Then Roger Fry (Thinking Machines Corporation) found by brute force search 95800^4 + 217519^4 + 414560^4 = 422481^4 and this is the smallest integer solution.
Noam published a paper showing how his and Roger's solutions may be obtained from certain conductors or pencils of elliptic curve and surface intersections and rational points on these surfaces. Actually I think Noam started with the Fauquamberque parametrization and worked from there.

Remaining Questions

After these counter-examples, the conjecture isn't worth much any more, so I'll try to reformulate it.

How many terms do you have to add to make a n-th power?
For n=2 you need 2 terms (3^2 + 4^2 = 5^2).
For n=3 you need 3 terms (3^3 + 4^3 + 5^3 = 6^3).
For n=4 you need 3 terms (95800^4 + 217519^4 + 414560^4 = 422481^4).

How many terms do you need for n=5? 3 or 4?
Let f(n) denote the number of terms you need for a n-th power. Now my new conjecture is:

f(n) is monotonically increasing.

(Note, that the original conjecture was f(n) >= n.)

Another generalization of Fermat's Last Theorem.



If you have any comments, please mail me.
February 6, 1997
Back to the Mathematical Circus
Back to my Homepage