(1)
| |||
(2)
| |||
(3)
|
where
is the
th
triangular number and
is a binomial coefficient.
These numbers correspond to placing discrete points in the configuration of a tetrahedron (triangular base pyramid). Tetrahedral numbers
are pyramidal numbers with
, and are the sum of consecutive triangular
numbers. The first few are 1, 4, 10, 20, 35, 56, 84, 120, ... (OEIS A000292).
The generating function for the tetrahedral
numbers is
(4)
|
Tetrahedral numbers are even, except for every fourth tetrahedral number, which is odd (Conway and Guy 1996).
The only numbers which are simultaneously square and tetrahedral are ,
,
and
(giving
,
,
and
),
as proved by Meyl (1878; cited in Dickson 2005, p. 25).
Numbers which are simultaneously triangular and tetrahedral satisfy the binomial coefficient equation
(5)
|
the only solutions of which are
(6)
| |||
(7)
| |||
(8)
| |||
(9)
| |||
(10)
|
(OEIS A027568; Avanesov 1966/1967; Mordell 1969, p. 258; Guy 1994, p. 147).
Beukers (1988) has studied the problem of finding numbers which are simultaneously tetrahedral and pyramidal via integer
points on an elliptic curve, and finds that the
only solution is the trivial .
The minimum number of tetrahedral numbers needed to sum to , 2, ... are given by 1, 2, 3, 1, 2, 3, 4, 2, 3, 1, ... (OEIS
A104246). Pollock's
conjecture states that every number is the sum of at most five tetrahedral numbers.
The numbers that are not the sum of
tetrahedral numbers are given by the sequence 17, 27,
33, 52, 73, ..., (OEIS A000797) containing
241 terms, with
being almost certainly the last such number.