Lander, Parkin, and Selfridge conjecture
The Lander, Parkin, and Selfridge conjecture concerns the integer solutions of equations which contain sums of like powers. The equations are generalisations of those considered in Fermat's Last Theorem. The conjecture is that if the sum of some k-th powers equals the sum of some other k-th powers, then the total number of terms in both sums combined must be at least k.
Background
[edit]Diophantine equations, such as the integer version of the equation a2 + b2 = c2 that appears in the Pythagorean theorem, have been studied for their integer solution properties for centuries. Fermat's Last Theorem states that for powers greater than 2, the equation ak + bk = ck has no solutions in non-zero integers a, b, c. Extending the number of terms on either or both sides, and allowing for higher powers than 2, led to Leonhard Euler to propose in 1769 that for all integers n and k greater than 1, if the sum of n kth powers of positive integers is itself a kth power, then n is greater than or equal to k.
In symbols, if where n > 1 and are positive integers, then his conjecture was that n ≥ k.
In 1966, a counterexample to Euler's sum of powers conjecture was found by Leon J. Lander and Thomas R. Parkin for k = 5:[1]
- 275 + 845 + 1105 + 1335 = 1445.
In subsequent years, further counterexamples were found, including for k = 4. The latter disproved the more specific Euler quartic conjecture, namely that a4 + b4 + c4 = d4 has no positive integer solutions. In fact, the smallest solution, found in 1988, is
- 4145604 + 2175194 + 958004 = 4224814.
Conjecture
[edit]In 1967, L. J. Lander, T. R. Parkin, and John Selfridge conjectured[2] that if , where ai ≠ bj are positive integers for all 1 ≤ i ≤ n and 1 ≤ j ≤ m, then m+n ≥ k. The equal sum of like powers formula is often abbreviated as (k, m, n).
Small examples with (related to generalized taxicab number) include (known to Euler) and (found by K. Subba Rao in 1934).
The conjecture implies in the special case of m = 1 that if (under the conditions given above) then n ≥ k − 1.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/2a/Plato_number.svg/220px-Plato_number.svg.png)
For this special case of m = 1, some of the known solutions satisfying the proposed constraint with n ≤ k, where terms are positive integers, hence giving a partition of a power into like powers, are:[3]
- k = 3
-
- 33 + 43 + 53 = 63.
- k = 4
-
- 958004 + 2175194 + 4145604 = 4224814, (Roger Frye, 1988)
- 304 + 1204 + 2724 + 3154 = 3534, (R. Norrie, 1911)
Fermat's Last Theorem implies that for k = 4 the conjecture is true.
- k = 5
-
- 275 + 845 + 1105 + 1335 = 1445, (Lander, Parkin, 1966)
- 75 + 435 + 575 + 805 + 1005 = 1075, (Sastry, 1934, third smallest)
- k = 6
-
- (None known. As of 2002, there are no solutions whose final term is ≤ 730000.[4] )
- k = 7
-
- 1277 + 2587 + 2667 + 4137 + 4307 + 4397 + 5257 = 5687, (M. Dodrill, 1999)
- k = 8
-
- 908 + 2238 + 4788 + 5248 + 7488 + 10888 + 11908 + 13248 = 14098, (Scott Chase, 2000)
- k ≥ 9
-
- (None known.)
Current status
[edit]It is not known if the conjecture is true, or if nontrivial solutions exist that would be counterexamples, such as ak + bk = ck + dk for k ≥ 5. [5] [6]
See also
[edit]- Beal's conjecture
- Fermat–Catalan conjecture
- Jacobi–Madden equation
- List of unsolved problems in mathematics
- Experimental mathematics (counterexamples to Euler's sum of powers conjecture, especially smallest solution for k = 4)
- Prouhet–Tarry–Escott problem
- Pythagorean quadruple
- Sums of powers, a list of related conjectures and theorems
References
[edit]- ^ L. J. Lander; T. R. Parkin (1966). "Counterexample to Euler's conjecture on sums of like powers". Bull. Amer. Math. Soc. 72: 1079. doi:10.1090/S0002-9904-1966-11654-3.
- ^ L. J. Lander; T. R. Parkin; J. L. Selfridge (1967). "A Survey of Equal Sums of Like Powers". Mathematics of Computation. 21 (99): 446–459. doi:10.1090/S0025-5718-1967-0222008-0. JSTOR 2003249.
- ^ Quoted in Meyrignac, Jean-Charles (14 February 2001). "Computing Minimal Equal Sums Of Like Powers: Best Known Solutions". Retrieved 17 July 2017.
- ^ Giovanni Resta and Jean-Charles Meyrignac (2002). The Smallest Solutions to the Diophantine Equation , Mathematics of Computation, v. 72, p. 1054 (See further work section).
- ^ A. Bremner; R. K. Guy (1998). "A Dozen Difficult Diophantine Dilemmas". American Mathematical Monthly. 95 (1): 31–36. doi:10.2307/2323442. JSTOR 2323442.
- ^ T.D. Browning (2002). "Equal sums of two kth powers". Journal of Number Theory. 96 (2): 293–318.
- Guy, Richard K. (2004). Unsolved Problems in Number Theory. Problem Books in Mathematics (3rd ed.). New York, NY: Springer-Verlag. D1. ISBN 0-387-20860-7. Zbl 1058.11001.
External links
[edit]- EulerNet: Computing Minimal Equal Sums Of Like Powers
- Jaroslaw Wroblewski Equal Sums of Like Powers
- Tito Piezas III: A Collection of Algebraic Identities
- Weisstein, Eric W. "Diophantine Equation--5th Powers". MathWorld.
- Weisstein, Eric W. "Diophantine Equation--6th Powers". MathWorld.
- Weisstein, Eric W. "Diophantine Equation--7th Powers". MathWorld.
- Weisstein, Eric W. "Diophantine Equation--8th Powers". MathWorld.
- Weisstein, Eric W. "Euler's Sum of Powers Conjecture". MathWorld.
- Weisstein, Eric W. "Euler Quartic Conjecture". MathWorld.
- Weisstein, Eric W. "Diophantine Equation--4th Powers". MathWorld.
- Euler's Conjecture at library.thinkquest.org
- A simple explanation of Euler's Conjecture at Maths Is Good For You!
- Mathematicians Find New Solutions To An Ancient Puzzle
- Ed Pegg Jr. Power Sums, Math Games