Sums Of Four Cubes Problem

The sum of four cubes problem 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. 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:
$6x = (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,$
and
$18x+8 = (x-5)^3+(-x+14)^3+(-3x+29)^3+(3x-30)^3.$
These 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.V.A. Demjanenko, "On sums of four cubes", Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, vol. 54, no. 5, 1966, p. 63-69, available online a
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, onlin
here
o
here

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'
translation
of Demjanenko's paper, these identities
$54x + 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)^$
together with their complementary identities leave the 108x±38 case, proving the proposition.
He also proves the 108x±38 case in his paper.

See also

* Sums of three cubes

Notes and references

{{reflist

Diophantine equations
Unsolved problems in mathematics