A pyramid with side length 5 contains 35 spheres. Each layer represents one of the first five triangular numbers.
This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: "Tetrahedral number" – news · newspapers · books · scholar · JSTOR (February 2017) (Learn how and when to remove this template message)

A tetrahedral number, or triangular pyramidal number, is a figurate number that represents a pyramid with a triangular base and three sides, called a tetrahedron. The nth tetrahedral number, Ten, is the sum of the first n triangular numbers, that is,

${\displaystyle Te_{n}=\sum _{k=1}^{n}T_{k}=\sum _{k=1}^{n}{\frac {k(k+1)}{2))=\sum _{k=1}^{n}\left(\sum _{i=1}^{k}i\right)}$

The tetrahedral numbers are:

1, 4, 10, 20, 35, 56, 84, 120, 165, 220, ... (sequence A000292 in the OEIS)

## Formula

Derivation of Tetrahedral number from a left-justified Pascal's triangle

The formula for the nth tetrahedral number is represented by the 3rd rising factorial of n divided by the factorial of 3:

${\displaystyle Te_{n}=\sum _{k=1}^{n}T_{k}=\sum _{k=1}^{n}{\frac {k(k+1)}{2))=\sum _{k=1}^{n}\left(\sum _{i=1}^{k}i\right)={\frac {n(n+1)(n+2)}{6))={\frac {n^{\overline {3))}{3!))}$

The tetrahedral numbers can also be represented as binomial coefficients:

${\displaystyle Te_{n}={\binom {n+2}{3)).}$

Tetrahedral numbers can therefore be found in the fourth position either from left or right in Pascal's triangle.

### Proofs of formula

This proof uses the fact that the nth triangular number is given by

${\displaystyle T_{n}={\frac {n(n+1)}{2)).}$

It proceeds by induction.

Base case
${\displaystyle Te_{1}=1={\frac {1\cdot 2\cdot 3}{6)).}$
Inductive step
{\displaystyle {\begin{aligned}Te_{n+1}\quad &=Te_{n}+T_{n+1}\\&={\frac {n(n+1)(n+2)}{6))+{\frac {(n+1)(n+2)}{2))\\&=(n+1)(n+2)\left({\frac {n}{6))+{\frac {1}{2))\right)\\&={\frac {(n+1)(n+2)(n+3)}{6)).\end{aligned))}

The formula can also be proved by Gosper's algorithm.

## Generalization

The pattern found for triangular numbers ${\displaystyle \sum _{n_{1}=1}^{n_{2))n_{1}={\binom {n_{2}+1}{2))}$ and for tetrahedral numbers ${\displaystyle \sum _{n_{2}=1}^{n_{3))\sum _{n_{1}=1}^{n_{2))n_{1}={\binom {n_{3}+2}{3))}$ can be generalized. This leads to the formula:[1]

${\displaystyle \sum _{n_{k-1}=1}^{n_{k))\sum _{n_{k-2}=1}^{n_{k-1))\ldots \sum _{n_{2}=1}^{n_{3))\sum _{n_{1}=1}^{n_{2))n_{1}={\binom {n_{k}+k-1}{k))}$

## Geometric interpretation

Tetrahedral numbers can be modelled by stacking spheres. For example, the fifth tetrahedral number (Te5 = 35) can be modelled with 35 billiard balls and the standard triangular billiards ball frame that holds 15 balls in place. Then 10 more balls are stacked on top of those, then another 6, then another three and one ball at the top completes the tetrahedron.

When order-n tetrahedra built from Ten spheres are used as a unit, it can be shown that a space tiling with such units can achieve a densest sphere packing as long as n ≤ 4.[2][dubious ]

## Tetrahedral roots and tests for tetrahedral numbers

By analogy with the cube root of x, one can define the (real) tetrahedral root of x as the number n such that Ten = x:

${\displaystyle n={\sqrt[{3}]{3x+{\sqrt {9{x^{2))-{\frac {1}{27))))))+{\sqrt[{3}]{3x-{\sqrt {9{x^{2))-{\frac {1}{27))))))-1}$

which follows from Cardano's formula. Equivalently, if the real tetrahedral root n of x is an integer, x is the nth tetrahedral number.

## Properties

• Ten + Ten−1 = 12 + 22 + 32 ... + n2, the square pyramidal numbers.
Te2n+1= 12 + 32 ... + (2n+1)2, sum of odd squares.
Te2n= 22 + 42 ... + (2n)2, sum of even squares.
• A. J. Meyl proved in 1878 that only three tetrahedral numbers are also perfect squares, namely:
Te1 = 12 = 1
Te2 = 22 = 4
Te48 = 1402 = 19600.
• Sir Frederick Pollock conjectured that every number is the sum of at most 5 tetrahedral numbers: see Pollock tetrahedral numbers conjecture.
• The only tetrahedral number that is also a square pyramidal number is 1 (Beukers, 1988), and the only tetrahedral number that is also a perfect cube is 1.
• The infinite sum of tetrahedral numbers' reciprocals is 3/2, which can be derived using telescoping series:
${\displaystyle \sum _{n=1}^{\infty }{\frac {6}{n(n+1)(n+2)))={\tfrac {3}{2)).}$
• The parity of tetrahedral numbers follows the repeating pattern odd-even-even-even.
• An observation of tetrahedral numbers:
Te5 = Te4 + Te3 + Te2 + Te1
• Numbers that are both triangular and tetrahedral must satisfy the binomial coefficient equation:
${\displaystyle T_{n}={\binom {n+1}{2))={\binom {m+2}{3))=Te_{m}.}$
The only numbers that are both tetrahedral and triangular numbers are (sequence A027568 in the OEIS):
Te1 = T1 = 1
Te3 = T4 = 10
Te8 = T15 = 120
Te20 = T55 = 1540
Te34 = T119 = 7140

## Popular culture

Number of gifts of each type and number received each day and their relationship to figurate numbers

Te12 = 364 is the total number of gifts "my true love sent to me" during the course of all 12 verses of the carol, "The Twelve Days of Christmas".[3] The cumulative total number of gifts after each verse is also Ten for verse n.

The number of possible KeyForge three-house combinations is also a tetrahedral number, Ten−2 where n is the number of houses.