Tetrahedral number

Last updated January 19, 2024

A pyramid with side length 5 contains 35 spheres. Each layer represents one of the first five triangular numbers. 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 $n$ th tetrahedral number, $Te n$ , is the sum of the first $n$ triangular numbers, that is,

Formula

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

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:

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 $n$ th triangular number is given by

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

It proceeds by induction.

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

Inductive step: ${\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.

Recursive relation

Tetrahedral and triangular numbers are related through the recursive formulas

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

The equation $(1)$ becomes

{\begin{aligned}&Te_{n}=Te_{n-1}+T_{n-1}+n\end{aligned}}

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

{\begin{aligned}&Te_{n-1}=Te_{n-2}+T_{n-1}\end{aligned}}

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

{\begin{aligned}&Te_{n}=2Te_{n-1}-Te_{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:^[1]

\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 ( $Te 5 = 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 $Te n$ 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$ .^[2]^{[ dubious – discuss ]}

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 $Te n = x$ :

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 $n$ th tetrahedral number.

Properties

$Te n + Te n -1 = 1 2 + 2 2 + 3 2 ... + n 2$ , the square pyramidal numbers.
$Te 2n+1 = 1 2 + 3 2 ... + (2n+1) 2$ , sum of odd squares.
$Te 2n = 2 2 + 4 2 ... + (2n) 2$ , sum of even squares.
A. J. Meyl proved in 1878 that only three tetrahedral numbers are also perfect squares, namely:
$Te 1 = 12 = 1$
$Te 2 = 22 = 4$
$Te 48 = 140 2 = 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:
$\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$
Numbers that are both triangular and tetrahedral must satisfy the binomial coefficient equation:
$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 ):

Te 1 = T 1 = 1

Te 3 = T 4 = 10

Te 8 = T 15 = 120

Te 20 = T 55 = 1540

Te 34 = T 119 = 7140

$Te n$ is the sum of all products p × q where (p, q) are ordered pairs and p + q = n + 1
$Te n$ is the number of (n + 2)-bit numbers that contain two runs of 1's in their binary expansion.

Popular culture

$Te 12 = 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 $Te n$ for verse n.

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

Related Research Articles

In mathematics, the binomial coefficients are the positive integers that occur as coefficients in the binomial theorem. Commonly, a binomial coefficient is indexed by a pair of integers $n \geq k \geq 0$ and is written $It is the coefficient of the x k term in the polynomial expansion of the binomial power (1 + x) n; this coefficient can be computed by the multiplicative formula$

In elementary algebra, the binomial theorem (or binomial expansion) describes the algebraic expansion of powers of a binomial. According to the theorem, it is possible to expand the polynomial $(x + y) n$ into a sum involving terms of the form $ax b y c$ , where the exponents $b$ and $c$ are nonnegative integers with $b + c = n$ , and the coefficient $a$ of each term is a specific positive integer depending on $n$ and $b$ . For example, for $n = 4$ ,

In mathematics, the Bernoulli numbers $B n$ are a sequence of rational numbers which occur frequently in analysis. The Bernoulli numbers appear in the Taylor series expansions of the tangent and hyperbolic tangent functions, in Faulhaber's formula for the sum of m-th powers of the first n positive integers, in the Euler–Maclaurin formula, and in expressions for certain values of the Riemann zeta function.

In mathematics, the Fibonacci sequence is a sequence in which each number is the sum of the two preceding ones. Numbers that are part of the Fibonacci sequence are known as Fibonacci numbers, commonly denoted $F n$ . The sequence commonly starts from 0 and 1, although some authors start the sequence from 1 and 1 or sometimes from 1 and 2. Starting from 0 and 1, the sequence begins

In mathematics, the Euler numbers are a sequence E_n of integers defined by the Taylor series expansion

In mathematics, a generating function is a representation of an infinite sequence of numbers as the coefficients of a formal power series. Unlike an ordinary series, the formal power series is not required to converge: in fact, the generating function is not actually regarded as a function, and the "variable" remains an indeterminate. Generating functions were first introduced by Abraham de Moivre in 1730, in order to solve the general linear recurrence problem. One can generalize to formal power series in more than one indeterminate, to encode information about infinite multi-dimensional arrays of numbers.

In mathematics, the Hermite polynomials are a classical orthogonal polynomial sequence.

A triangular number or triangle number counts objects arranged in an equilateral triangle. Triangular numbers are a type of figurate number, other examples being square numbers and cube numbers. The $n$ th triangular number is the number of dots in the triangular arrangement with $n$ dots on each side, and is equal to the sum of the $n$ natural numbers from 1 to $n$ . The sequence of triangular numbers, starting with the 0th triangular number, is

In mathematics, a polygonal number is a number represented as dots or pebbles arranged in the shape of a regular polygon. The dots are thought of as alphas (units). These are one type of 2-dimensional figurate numbers.

The Touchard polynomials, studied by Jacques Touchard (1939), also called the exponential polynomials or Bell polynomials, comprise a polynomial sequence of binomial type defined by

In mathematics, a square triangular number is a number which is both a triangular number and a square number. There are infinitely many square triangular numbers; the first few are:

A hexagonal number is a figurate number. The nth hexagonal number h_n is the number of distinct dots in a pattern of dots consisting of the outlines of regular hexagons with sides up to n dots, when the hexagons are overlaid so that they share one vertex.

A pentagonal number is a figurate number that extends the concept of triangular and square numbers to the pentagon, but, unlike the first two, the patterns involved in the construction of pentagonal numbers are not rotationally symmetrical. The nth pentagonal number p_n is the number of distinct dots in a pattern of dots consisting of the outlines of regular pentagons with sides up to n dots, when the pentagons are overlaid so that they share one vertex. For instance, the third one is formed from outlines comprising 1, 5 and 10 dots, but the 1, and 3 of the 5, coincide with 3 of the 10 – leaving 12 distinct dots, 10 in the form of a pentagon, and 2 inside.

In mathematics, the double factorial of a number $n$ , denoted by $n ‼$ , is the product of all the positive integers up to $n$ that have the same parity as $n$ . That is,

In mathematics, a pyramid number, or square pyramidal number, is a natural number that counts the number of stacked spheres in a pyramid with a square base. The study of these numbers goes back to Archimedes and Fibonacci. They are part of a broader topic of figurate numbers representing the numbers of points forming regular patterns within different shapes.

A pronic number is a number that is the product of two consecutive integers, that is, a number of the form $The study of these numbers dates back to Aristotle. They are also called oblong numbers, heteromecic numbers, or rectangular numbers; however, the term "rectangular number" has also been applied to the composite numbers.$

In elementary number theory, a centered square number is a centered figurate number that gives the number of dots in a square with a dot in the center and all other dots surrounding the center dot in successive square layers. That is, each centered square number equals the number of dots within a given city block distance of the center dot on a regular square lattice. While centered square numbers, like figurate numbers in general, have few if any direct practical applications, they are sometimes studied in recreational mathematics for their elegant geometric and arithmetic properties.

In number theory, a pentatope number is a number in the fifth cell of any row of Pascal's triangle starting with the 5-term row 1 4 6 4 1, either from left to right or from right to left. It is named because it represents the number of 3-dimensional unit spheres which can be packed into a pentatope of increasing side lengths.

In mathematics, particularly in combinatorics, a Stirling number of the second kind is the number of ways to partition a set of n objects into k non-empty subsets and is denoted by $or . Stirling numbers of the second kind occur in the field of mathematics called combinatorics and the study of partitions. They are named after James Stirling.$

In mathematics, a transformation of a sequence's generating function provides a method of converting the generating function for one sequence into a generating function enumerating another. These transformations typically involve integral formulas applied to a sequence generating function or weighted sums over the higher-order derivatives of these functions.

References

↑ Baumann, Michael Heinrich (2018-12-12). "Die $k$ -dimensionale Champagnerpyramide" (PDF). Mathematische Semesterberichte (in German). 66: 89–100. doi:10.1007/s00591-018-00236-x. ISSN 1432-1815. S2CID 125426184.
↑ "Tetrahedra". 21 May 2000. Archived from the original on 2000-05-21.
↑ Brent (2006-12-21). "The Twelve Days of Christmas and Tetrahedral Numbers". Mathlesstraveled.com. Retrieved 2017-02-28.

External links

Weisstein, Eric W. "Tetrahedral Number". MathWorld .
Geometric Proof of the Tetrahedral Number Formula by Jim Delany, The Wolfram Demonstrations Project.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Baumann, Michael Heinrich (2018-12-12). "Die $k$ -dimensionale Champagnerpyramide" (PDF). Mathematische Semesterberichte (in German). 66: 89–100. doi:10.1007/s00591-018-00236-x. ISSN 1432-1815. S2CID 125426184.

[2] "Tetrahedra". 21 May 2000. Archived from the original on 2000-05-21.

[3] Brent (2006-12-21). "The Twelve Days of Christmas and Tetrahedral Numbers". Mathlesstraveled.com. Retrieved 2017-02-28.

[1]

[2]

[3]