Tetrahedral number

File:Pyramid of 35 spheres animation.gif

A pyramid with side length 5 contains 35 spheres. Each layer represents one of the first five triangular numbers.

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 Template:Mvarth tetrahedral number, Template:Mvar, is the sum of the first Template:Mvar triangular numbers, that is,

T e_{n} = \sum_{k = 1}^{n} T_{k} = \sum_{k = 1}^{n} \frac{k (k + 1)}{2} = \sum_{k = 1}^{n} (\sum_{i = 1}^{k} i)

The tetrahedral numbers are:

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

Formula

Template:Pascal triangle simplex numbers.svg

The formula for the Template:Mvarth tetrahedral number is represented by the 3rd rising factorial of Template:Mvar divided by the factorial of 3:

T e_{n} = \sum_{k = 1}^{n} T_{k} = \sum_{k = 1}^{n} \frac{k (k + 1)}{2} = \sum_{k = 1}^{n} (\sum_{i = 1}^{k} i) = \frac{n (n + 1) (n + 2)}{6} = \frac{n^{\overline{3}}}{3!}

The tetrahedral numbers can also be represented as binomial coefficients:

T e_{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

File:Visual proof tetrahedral number.svg

Six copies of a triangular pyramid with Template:Mvar steps can fit in a cuboid of size

n (n + 1)(n + 2)

Script error: No such module "Check for unknown parameters". ^[1]

This proof uses the fact that the Template:Mvarth triangular number is given by

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

It proceeds by induction.

Base case: $T e_{1} = 1 = \frac{1 \cdot 2 \cdot 3}{6} .$

Inductive step: $\begin{aligned} T e_{n + 1} & = T e_{n} + T_{n + 1} \\ = \frac{n (n + 1) (n + 2)}{6} + \frac{(n + 1) (n + 2)}{2} \\ = (n + 1) (n + 2) (\frac{n}{6} + \frac{1}{2}) \\ = \frac{(n + 1) (n + 2) (n + 3)}{6} . \end{aligned}$

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

Recursive relation

Tetrahedral and triangular numbers are related through the recursive formulas

\begin{aligned} T e_{n} = T e_{n - 1} + T_{n} & (1) \\ T_{n} = T_{n - 1} + n & (2) \end{aligned}

The equation $(1)$ becomes

\begin{aligned} T e_{n} = T e_{n - 1} + T_{n - 1} + n \end{aligned}

Substituting $n - 1$ for $n$ in equation $(1)$

\begin{aligned} T e_{n - 1} = T e_{n - 2} + T_{n - 1} \end{aligned}

Thus, the $n$ th tetrahedral number satisfies the following recursive equation

\begin{aligned} T e_{n} = 2 T e_{n - 1} - T e_{n - 2} + n \end{aligned}

Generalization

The pattern found for triangular numbers $\sum_{n_{1} = 1}^{n_{2}} n_{1} = (\binom{n_{2} + 1}{2})$ and for tetrahedral numbers $\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:^[2] $\sum_{n_{k - 1} = 1}^{n_{k}} \sum_{n_{k - 2} = 1}^{n_{k - 1}} \dots \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 ( $Te 5 = 35$ Script error: No such module "Check for unknown parameters".) 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-Template:Mvar tetrahedra built from $Te n$ Script error: No such module "Check for unknown parameters". 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 \leq 4$ Script error: No such module "Check for unknown parameters"..^[3]Script error: No such module "Unsubst".

Tetrahedral roots and tests for tetrahedral numbersScript error: No such module "anchor".

By analogy with the cube root of Template:Mvar, one can define the (real) tetrahedral root of Template:Mvar as the number $n$ Script error: No such module "Check for unknown parameters". such that $Te n = x$ Script error: No such module "Check for unknown parameters".: $n = \sqrt[3]{3 x + \sqrt{9 x^{2} - \frac{1}{27}}} + \sqrt[3]{3 x - \sqrt{9 x^{2} - \frac{1}{27}}} - 1$

which follows from Cardano's formula. Equivalently, if the real tetrahedral root Template:Mvar of Template:Mvar is an integer, Template:Mvar is the Template:Mvarth tetrahedral number.

Properties

$Te n + Te n -1 = 1 2 + 2 2 + 3 2 ... + n 2$ Script error: No such module "Check for unknown parameters"., the square pyramidal numbers.

$Te 2n+1 = 1 2 + 3 2 ... + (2n+1) 2$ Script error: No such module "Check for unknown parameters"., sum of odd squares.

$Te 2n Template:Figure space Template:Figure space = 2 2 + 4 2 ... + (2n) 2 Template:Figure space Template:Figure space$ Script error: No such module "Check for unknown parameters"., sum of even squares.
A. J. Meyl proved in 1878 that only three tetrahedral numbers are also perfect squares, namely:
$Te 1 Template:Figure space = Template:Figure space Template:Figure space 12 = Template:Figure space Template:Figure space Template:Figure space Template:Figure space 1$ Script error: No such module "Check for unknown parameters".

$Te 2 Template:Figure space = Template:Figure space Template:Figure space 22 = Template:Figure space Template:Figure space Template:Figure space Template:Figure space 4$ Script error: No such module "Check for unknown parameters".

$Te 48 = 140 2 = 19600$ Script error: No such module "Check for unknown parameters"..
Sir Frederick Pollock conjectured that every positive integer 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 Template:Sfrac, which can be derived using telescoping series:
$\sum_{n = 1}^{\infty} \frac{6}{n (n + 1) (n + 2)} = \frac{3}{2} .$
The parity of tetrahedral numbers follows the repeating pattern odd-even-even-even.
An observation of tetrahedral numbers:
$Te 5 = Te 4 + Te 3 + Te 2 + Te 1$ Script error: No such module "Check for unknown parameters".
Numbers that are both triangular and tetrahedral must satisfy the binomial coefficient equation:
$T_{n} = (\binom{n + 1}{2}) = (\binom{m + 2}{3}) = T e_{m} .$

File:Tetrahedral triangular number 10.svg

The third tetrahedral number equals the fourth triangular number as the nth k-simplex number equals the kth n-simplex number due to the symmetry of Pascal's triangle, and its diagonals being simplex numbers; similarly, the fifth tetrahedral number (35) equals the fourth pentatope number, and so forth

The only numbers that are both tetrahedral and triangular numbers are (sequence A027568 in the OEIS):

Te 1 Template:Figure space = T 1 Template:Figure space Template:Figure space = Template:Figure space Template:Figure space Template:Figure space 1

Script error: No such module "Check for unknown parameters".

Te 3 Template:Figure space = T 4 Template:Figure space Template:Figure space = Template:Figure space Template:Figure space 10

Script error: No such module "Check for unknown parameters".

Te 8 Template:Figure space = T 15 Template:Figure space = Template:Figure space 120

Script error: No such module "Check for unknown parameters".

Te 20 = T 55 Template:Figure space = 1540

Script error: No such module "Check for unknown parameters".

Te 34 = T 119 = 7140

Script error: No such module "Check for unknown parameters".

$Te n$ Script error: No such module "Check for unknown parameters". is the sum of all products p × q where (p, q) are ordered pairs and p + q = n + 1
$Te n$ Script error: No such module "Check for unknown parameters". is the number of (n + 2)-bit numbers that contain two runs of 1's in their binary expansion.
The largest tetrahedral number of the form $2^{a} + 3^{b} + 1$ for some integers $a$ and $b$ is 8436.

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

$Te 12 = 364$ Script error: No such module "Check for unknown parameters". 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".^[4] The cumulative total number of gifts after each verse is also $Te n$ Script error: No such module "Check for unknown parameters". for verse n.

The number of possible KeyForge three-house combinations is also a tetrahedral number, $Te n -2$ Script error: No such module "Check for unknown parameters". where Template:Mvar is the number of houses.

References

↑ http://demonstrations.wolfram.com/GeometricProofOfTheTetrahedralNumberFormula
↑ Script error: No such module "Citation/CS1".
↑ Script error: No such module "citation/CS1".
↑ Script error: No such module "citation/CS1".

Script error: No such module "Check for unknown parameters".

External links

Script error: No such module "Template wrapper".
Geometric Proof of the Tetrahedral Number Formula by Jim Delany, The Wolfram Demonstrations Project.

Template:Figurate numbers Template:Classes of natural numbers

[1] ttp://demonstrations.wolfram.com/GeometricProofOfTheTetrahedralNumberFormula

[2] Script error: No such module "Citation/CS1".

[3] Script error: No such module "citation/CS1".

[4] Script error: No such module "citation/CS1".

[1]

[2]

[3]

[4]

Tetrahedral number

Contents

Formula

Proofs of formula

Recursive relation

Generalization

Geometric interpretation

Tetrahedral roots and tests for tetrahedral numbersScript error: No such module "anchor".

Properties

Popular culture

See also

References

External links

Navigation menu

Tetrahedral number

Formula

Proofs of formula

Recursive relation

Generalization

Geometric interpretation

Tetrahedral roots and tests for tetrahedral numbersScript error: No such module "anchor".

Properties

Popular culture

See also

References

External links

Navigation menu

Search