As a part of the study of Waring's problem, it is known that every positive integer is a sum of no more than 9 positive cubes (), that every "sufficiently large" integer is a sum of no more than 7 positive cubes (Linnik 1943; ; although it is not known if 7 can be reduced), and that every integer is a sum of at most 5 signed cubes (; although it is not known if 5 can be reduced to 4).
Elkies (2010) settled the second case for even numbers by proving that every even number greater than 454 is the sum of at most seven positive cubes. Siksek (2015) subsequently proved that all integers greater than 454 are the sum of at most seven positive cubes. The complete set of exceptional numbers requiring more than 7 positive cubes are 15, 22, 23, 50, 114, 167, 175, 186, 212, 231, 238, 239, 303, 364, 420, 428, and 454 (OEIS A018888), as conjectured by Jacobi (1851).
It is known that every can be written in the form
(1)
|
An elliptic curve of the form for an integer is known as a Mordell curve.
The 3.1.2 equation
(2)
|
is a case of Fermat's last theorem with . In fact, this particular case was known not to have any solutions long before the general validity of Fermat's last theorem was established. Thue showed that a Diophantine equation of the form
(3)
|
for , , and integers, has only finite many solutions (Hardy 1999, pp. 78-79).
Miller and Woollett (1955) and Gardiner et al. (1964) investigated integer solutions of
(4)
|
i.e., numbers representable as the sum of three (positive or negative) cubic numbers.
The general rational solution to the 3.1.3 equation
(5)
|
was found by Euler and Vieta (Hardy 1999, pp. 20-21; Dickson 2005, pp. 550-554). Hardy and Wright (1979, pp. 199-201) give a solution which can be based on the identities
(6)
| |||
(7)
|
This is equivalent to the general 3.2.2 solution found by Ramanujan (Berndt 1994, pp. 54 and 107; Hardy 1999, p. 11, 68, and 237; Dickson 2005, pp. 500 and 554). A partial quadratic form identity was also given by Ramanujan (Berndt 1994, p. 56)
(8)
|
the first instance of which gives the nice equation , which is one of Plato's numbers. Such partial quadratic form parametrizations can be found using the identity
(9)
|
where , , and , and is reduced to finding solutions to (or the sum may be any number of cubes), which is just a special case of an even more general identity (Piezas 2005).
The 22 smallest integer solutions are
(10)
| |||
(11)
| |||
(12)
| |||
(13)
| |||
(14)
| |||
(15)
| |||
(16)
| |||
(17)
| |||
(18)
| |||
(19)
| |||
(20)
| |||
(21)
| |||
(22)
| |||
(23)
| |||
(24)
| |||
(25)
| |||
(26)
| |||
(27)
| |||
(28)
| |||
(29)
| |||
(30)
| |||
(31)
|
Other small solutions include
(32)
| |||
(33)
| |||
(34)
| |||
(35)
| |||
(36)
| |||
(37)
| |||
(38)
| |||
(39)
| |||
(40)
| |||
(41)
| |||
(42)
| |||
(43)
| |||
(44)
| |||
(45)
| |||
(46)
| |||
(47)
| |||
(48)
| |||
(49)
|
(Fredkin 1972; Madachy 1979, pp. 124 and 141; Dutch). A database with sum for all is maintained by Wroblewski.
Other general solutions have been found by Binet (1841) and Schwering (1902), although Ramanujan's formulation is the simplest. No general solution giving all positive integral solutions is known (Dickson 2005, pp. 550-561). Y. Kohmoto has found a solution,
(50)
| |||
(51)
| |||
(52)
| |||
(53)
| |||
(54)
| |||
(55)
| |||
(56)
| |||
(57)
| |||
(58)
|
3.1.4 equations include
(59)
| |||
(60)
|
3.1.5 equations include
(61)
| |||
(62)
|
and a 3.1.6 equation is given by
(63)
|
The 3.2.2 equation
(64)
|
has a known parametric solution (Guy 1994, p. 140; Dickson 2005, pp. 550-554), and 10 solutions with sum ,
(65)
| |||
(66)
| |||
(67)
| |||
(68)
| |||
(69)
| |||
(70)
| |||
(71)
| |||
(72)
| |||
(73)
| |||
(74)
|
(OEIS A001235; Moreau 1898). The first number (Madachy 1979, pp. 124 and 141) in this sequence, the so-called Hardy-Ramanujan number, is associated with a story told about Ramanujan by G. H. Hardy, but was known as early as 1657 (Berndt and Bhargava 1993). The smallest number representable in ways as a sum of cubes is called the th taxicab number.
Ramanujan gave a general solution to the 3.2.2 equation as
(75)
|
where
(76)
|
(Berndt and Bhargava 1993; Berndt 1994, p. 107). Another form due to Ramanujan is
(77)
|
Hardy and Wright (1979, Theorem 412) prove that there are numbers that are expressible as the sum of two cubes in ways for any (Guy 1994, pp. 140-141). The proof is constructive, providing a method for computing such numbers: given rationals numbers and , compute
(78)
| |||
(79)
| |||
(80)
| |||
(81)
|
Then
(82)
|
The denominators can now be cleared to produce an integer solution. If is picked to be large enough, the and will be positive. If is still larger, the will be large enough for and to be used as the inputs to produce a third pair, etc. However, the resulting integers may be quite large, even for . E.g., starting with , the algorithm finds
(83)
|
giving
(84)
| |||
(85)
|
The numbers representable in three ways as a sum of two cubes (a equation) are
(86)
| |||
(87)
| |||
(88)
| |||
(89)
| |||
(90)
|
(Guy 1994, OEIS A003825). Wilson (1997) found 32 numbers representable in four ways as the sum of two cubes (a equation). The first is
(91)
|
The smallest known numbers so representable are 6963472309248, 12625136269928, 21131226514944, 26059452841000, ... (OEIS A003826). Wilson also found six five-way sums,
(92)
| |
(93)
| |
(94)
| |
(95)
| |
(96)
| |
(97)
| |
(98)
| |
(99)
| |
(100)
| |
(101)
| |
(102)
| |
(103)
| |
(104)
| |
(105)
| |
(106)
| |
(107)
| |
(108)
| |
(109)
| |
(110)
| |
(111)
| |
(112)
| |
(113)
| |
(114)
| |
(115)
| |
(116)
| |
(117)
| |
(118)
| |
(119)
| |
(120)
| |
(121)
|
and a single six-way sum
(122)
|
A solution to the 3.4.4 equation is
(123)
|
(Madachy 1979, pp. 118 and 133).
3.6.6 equations also exist:
(124)
| |
(125)
| |
(126)
|
(Madachy 1979, p. 142; Chen Shuwen).
In 1756-1757, Euler (1761, 1849, 1915) gave a parametric solution to
(127)
|
as
(128)
| |||
(129)
| |||
(130)
|
although relatively prime solutions require the use of fractional values of (Dickson 2005, p. 578). To avoid this, Euler also gave the solutions
(131)
| |||
(132)
| |||
(133)
|
for , and
(134)
| |||
(135)
| |||
(136)
|
for (Dickson 2005, p. 579).