Sum of four cubes problem explained

The sum of four cubes problem[1] asks whether every integer is the sum of four cubes of integers. It is conjectured the answer is affirmative, but this conjecture has been neither proven nor disproven.[2] Some of the cubes may be negative numbers, in contrast to Waring's problem on sums of cubes, where they are required to be positive.

Partial results

The substitutions

X=T

,

Y=T

, and

Z=-T+1

in the identity (X + Y + Z)^ - X^ - Y^ - Z^ = 3 (X + Y) (X + Z) (Y + Z)lead to the identity(T + 1)^ + (- T)^ + (- T)^ + (T - 1)^ = 6 T,which shows that every integer multiple of 6 is the sum of four cubes. (More generally, the same proof shows that every multiple of 6 in every ring is the sum of four cubes.)

Since every integer is congruent to its own cube modulo 6, it follows that every integer is the sum of five cubes of integers.

In 1966, proved that any integer that is congruent neither to 4 nor to −4 modulo 9 is the sum of four cubes of integers. For this, he used the following identities:\begin6x &= (x+1)^+(x-1)^-x^-x^ \\6x+3 &= x^3+(-x+4)^3+(2x-5)^3+(-2x+4)^3 \\18x+1 &= (2x+14)^3+(-2x-23)^3+(-3x-26)^3+(3x+30)^3 \\18x+7 &= (x+2)^3+(6x-1)^3+(8x-2)^3+(-9x+2)^3 \\18x+8 &= (x-5)^3+(-x+14)^3+(-3x+29)^3+(3x-30)^3\ .\endThese identities (and those derived from them by passing to opposites) immediately show that any integer which is congruent neither to 4 nor to −4 modulo 9 and is congruent neither to 2 nor to −2 modulo 18 is a sum of four cubes of integers. Using more subtle reasonings, Demjanenko proved that integers congruent to 2 or to −2 modulo 18 are also sums of four cubes of integers.[3]

The problem therefore only arises for integers congruent to 4 or to −4 modulo 9. One example is 13 = 10^3 + 7^3 + 1^3 + (-11)^3,but it is not known if every such integer can be written as a sum of four cubes.

18x±2 case

According to Henri Cohen's translation[4] of Demjanenko's paper, these identities

\begin54x + 2 & = (29484x^ + 2211x + 43)^ + (-29484x^ - 2157x - 41)^ + (9828x^ + 485x + 4)^ + (-9828x^ - 971x - 22)^ \\54x + 20 & = (3x - 11)^ + (-3x + 10)^ + (x + 2)^ + (-x + 7)^ \\216x - 16 & = (14742x^ - 2157x + 82)^ + (-14742x^ + 2211x - 86)^ + (4914x^ - 971x + 44)^ + (-4914x^ + 485x - 8)^ \\216x + 92 & = (3x - 164)^ + (-3x + 160)^ + (x - 35)^ + (-x + 71)^\endtogether with their complementary identities leave the 108x±38 case, proving the proposition. He also proves the 108x±38 case in his paper.

See also

Notes and References

  1. Referred to as the "four cube problem" in H. Davenport, The Higher Arithmetic: An Introduction to the Theory of Numbers, Cambridge University Press, 7th edition, 1999, p. 173, 177.
  2. At least in 1982. See Philippe Revoy, “Sur les sommes de quatre cubes”, L’Enseignement Mathématique, t. 29, 1983, p. 209-220, online here or here, p. 209 on the point in question.
  3. V.A. Demjanenko, "On sums of four cubes", Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, vol. 54, no. 5, 1966, p. 63-69, available online at the site Math-Net.Ru. For a demonstration in French, see Philippe Revoy, “Sur les sommes de quatre cubes”, L’Enseignement Mathématique, t. 29, 1983, p. 209-220, online here or here.
  4. http://www.math.u-bordeaux1.fr/~cohen/sum4cub.ps