Tetrahedral Numbers
   HOME

TheInfoList



OR:

A tetrahedral number, or triangular pyramidal number, is a
figurate number The term figurate number is used by different writers for members of different sets of numbers, generalizing from triangular numbers to different shapes (polygonal numbers) and different dimensions (polyhedral numbers). The ancient Greek mathemat ...
that represents a
pyramid A pyramid () is a structure whose visible surfaces are triangular in broad outline and converge toward the top, making the appearance roughly a pyramid in the geometric sense. The base of a pyramid can be of any polygon shape, such as trian ...
with a triangular base and three sides, called a
tetrahedron In geometry, a tetrahedron (: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular Face (geometry), faces, six straight Edge (geometry), edges, and four vertex (geometry), vertices. The tet ...
. The th tetrahedral number, , is the sum of the first
triangular number 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 th triangular number is the number of dots in ...
s, that is, : Te_n = \sum_^n T_k = \sum_^n \frac = \sum_^n \left(\sum_^k i\right) The tetrahedral numbers are: : 1, 4, 10, 20, 35, 56, 84, 120, 165, 220, ...


Formula

The formula for the th tetrahedral number is represented by the 3rd
rising factorial In mathematics, the falling factorial (sometimes called the descending factorial, falling sequential product, or lower factorial) is defined as the polynomial \begin (x)_n = x^\underline &= \overbrace^ \\ &= \prod_^n(x-k+1) = \prod_^(x-k) . \end ...
of divided by the
factorial In mathematics, the factorial of a non-negative denoted is the Product (mathematics), product of all positive integers less than or equal The factorial also equals the product of n with the next smaller factorial: \begin n! &= n \times ...
of 3: :Te_n= \sum_^n T_k = \sum_^n \frac = \sum_^n \left(\sum_^k i\right)=\frac = \frac The tetrahedral numbers can also be represented as
binomial coefficient 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 and is written \tbinom. It is the coefficient of the t ...
s: :Te_n=\binom. Tetrahedral numbers can therefore be found in the fourth position either from left or right in
Pascal's triangle In mathematics, Pascal's triangle is an infinite triangular array of the binomial coefficients which play a crucial role in probability theory, combinatorics, and algebra. In much of the Western world, it is named after the French mathematician Bla ...
.


Proofs of formula

This proof uses the fact that the th triangular number is given by :T_n=\frac. It proceeds by induction. ;Base case :Te_1 = 1 = \frac. ;Inductive step :\begin Te_ \quad &= Te_n + T_ \\ &= \frac + \frac \\ &= (n+1)(n+2)\left(\frac+\frac\right) \\ &= \frac. \end The formula can also be proved by
Gosper's algorithm In mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. ...
.


Recursive relation

Tetrahedral and triangular numbers are related through the recursive formulas :\begin & Te_n = Te_ + T_n &(1)\\ & T_n = T_ + n &(2) \end The equation (1) becomes :\begin & Te_n = Te_ + T_ + n \end Substituting n-1 for n in equation (1) :\begin & Te_ = Te_ + T_ \end Thus, the nth tetrahedral number satisfies the following recursive equation :\begin & Te_ = 2Te_ - Te_ + n \end


Generalization

The pattern found for triangular numbers \sum_^n_1=\binom and for tetrahedral numbers \sum_^\sum_^n_1=\binom can be generalized. This leads to the formula: \sum_^\sum_^\ldots\sum_^\sum_^n_1=\binom


Geometric interpretation

Tetrahedral numbers can be modelled by stacking spheres. For example, the fifth tetrahedral number () can be modelled with 35
billiard ball A billiard ball is a small, hard ball used in cue sports, such as carom billiards, pool, and snooker. The number, type, diameter, color, and pattern of the balls differ depending upon the specific game being played. Various particular ball pro ...
s 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- tetrahedra built from spheres are used as a unit, it can be shown that a space tiling with such units can achieve a densest
sphere packing In geometry, a sphere packing is an arrangement of non-overlapping spheres within a containing space. The spheres considered are usually all of identical size, and the space is usually three-dimensional Euclidean space. However, sphere packing p ...
as long as .


Tetrahedral roots and tests for tetrahedral numbers

By analogy with the
cube root In mathematics, a cube root of a number is a number that has the given number as its third power; that is y^3=x. The number of cube roots of a number depends on the number system that is considered. Every real number has exactly one real cub ...
of , one can define the (real) tetrahedral root of as the number such that : n = \sqrt +\sqrt -1 which follows from
Cardano's formula In algebra, a cubic equation in one variable is an equation of the form ax^3+bx^2+cx+d=0 in which is not zero. The solutions of this equation are called root of a function, roots of the cubic function defined by the left-hand side of the equ ...
. Equivalently, if the real tetrahedral root of is an integer, is the th tetrahedral number.


Properties

*:, the
square pyramidal number In mathematics, a pyramid number, or square pyramidal number, is a natural number that counts the stacked spheres in a pyramid (geometry), pyramid with a square base. The study of these numbers goes back to Archimedes and Fibonacci. They are part ...
s. *:, sum of odd squares. *:, sum of even squares. * A. J. Meyl proved in 1878 that only three tetrahedral numbers are also perfect squares, namely: *: *: *:. * Sir Frederick Pollock conjectured that every positive integer is the sum of at most 5 tetrahedral numbers: see
Pollock tetrahedral numbers conjecture Pollock's conjectures are closely related conjectures in additive number theory. They were first stated in 1850 by Sir Frederick Pollock, better known as a lawyer and politician, but also a contributor of papers on mathematics to the Royal Society ...
. * The only tetrahedral number that is also a
square pyramidal number In mathematics, a pyramid number, or square pyramidal number, is a natural number that counts the stacked spheres in a pyramid (geometry), pyramid with a square base. The study of these numbers goes back to Archimedes and Fibonacci. They are part ...
is 1 (Beukers, 1988), and the only tetrahedral number that is also a
perfect cube In arithmetic and algebra, the cube of a number is its third power, that is, the result of multiplying three instances of together. The cube of a number is denoted , using a superscript 3, for example . The cube operation can also be defin ...
is 1. * The
infinite sum In mathematics, a series is, roughly speaking, an addition of infinitely many terms, one after the other. The study of series is a major part of calculus and its generalization, mathematical analysis. Series are used in most areas of mathemati ...
of tetrahedral numbers' reciprocals is , which can be derived using
telescoping series In mathematics, a telescoping series is a series whose general term t_n is of the form t_n=a_-a_n, i.e. the difference of two consecutive terms of a sequence (a_n). As a consequence the partial sums of the series only consists of two terms of (a_n ...
: *: \sum_^ \frac = \frac. * The parity of tetrahedral numbers follows the repeating pattern odd-even-even-even. *An observation of tetrahedral numbers: *: *Numbers that are both triangular and tetrahedral must satisfy the
binomial coefficient 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 and is written \tbinom. It is the coefficient of the t ...
equation: *:T_n=\binom=\binom=Te_m. : The only numbers that are both tetrahedral and triangular numbers are : :: :: :: :: :: * is the sum of all products ''p'' × ''q'' where (''p'', ''q'') are ordered pairs and ''p'' + ''q'' = ''n'' + 1 * 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.


Popular culture

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". The cumulative total number of gifts after each verse is also for verse ''n''. The number of possible KeyForge three-house combinations is also a tetrahedral number, where is the number of houses.


See also

*
Centered triangular number A centered (or centred) triangular number is a centered figurate number that represents an equilateral triangle with a dot in the center and all its other dots surrounding the center in successive equilateral triangular layers. This is also t ...


References


External links

*
Geometric Proof of the Tetrahedral Number Formula
by Jim Delany,
The Wolfram Demonstrations Project The Wolfram Demonstrations Project is an open-source collection of interactive programmes called Demonstrations. It is hosted by Wolfram Research. At its launch, it contained 1300 demonstrations but has grown to over 10,000. The site won a Pa ...
. {{DEFAULTSORT:Tetrahedral Number Figurate numbers Simplex numbers Tetrahedra