# Pascal's triangle

__: Triangular array of the binomial coefficients in mathematics__

**Short description**In mathematics, **Pascal's triangle** is a triangular array of the binomial coefficients that arises in probability theory, combinatorics, and algebra. In much of the Western world, it is named after the French mathematician Blaise Pascal, although other mathematicians studied it centuries before him in Persia,^{[1]} India,^{[2]} China, Germany, and Italy.^{[3]}

The rows of Pascal's triangle are conventionally enumerated starting with row [math]\displaystyle{ n = 0 }[/math] at the top (the 0th row). The entries in each row are numbered from the left beginning with [math]\displaystyle{ k = 0 }[/math] and are usually staggered relative to the numbers in the adjacent rows. The triangle may be constructed in the following manner: In row 0 (the topmost row), there is a unique nonzero entry 1. Each entry of each subsequent row is constructed by adding the number above and to the left with the number above and to the right, treating blank entries as 0. For example, the initial number of row 1 (or any other row) is 1 (the sum of 0 and 1), whereas the numbers 1 and 3 in row 3 are added to produce the number 4 in row 4.

## Formula

The entry in the [math]\displaystyle{ n }[/math]th row and [math]\displaystyle{ k }[/math]th column of Pascal's triangle is denoted [math]\displaystyle{ {n \choose k} }[/math]. For example, the unique nonzero entry in the topmost row is [math]\displaystyle{ {0 \choose 0} = 1 }[/math]. With this notation, the construction of the previous paragraph may be written as follows:

- [math]\displaystyle{ {n \choose k} = {n-1 \choose k-1} + {n-1 \choose k} }[/math],

for any non-negative integer [math]\displaystyle{ n }[/math] and any integer [math]\displaystyle{ 0 \le k \le n }[/math].^{[4]} This recurrence for the binomial coefficients is known as Pascal's rule.

## History

The pattern of numbers that forms Pascal's triangle was known well before Pascal's time. The Persian mathematician Al-Karaji (953–1029) wrote a now-lost book which contained the first formulation of the binomial coefficients and the first description of Pascal's triangle.^{[5]}^{[6]}^{[7]} It was later repeated by Omar Khayyám (1048–1131), another Persian mathematician; thus the triangle is also referred to as the **Khayyam triangle** (مثلث خیام) in Iran.^{[8]} Several theorems related to the triangle were known, including the binomial theorem. Khayyam used a method of finding *n*th roots based on the binomial expansion, and therefore on the binomial coefficients.^{[1]}

Pascal's triangle was known in China during the early 11th century as a result of the work of the Chinese mathematician Jia Xian (1010–1070). During the 13th century, Yang Hui (1238–1298) presented the triangle and hence it is still known as **Yang Hui's triangle** (杨辉三角; 楊輝三角) in China.^{[9]}

In Europe, Pascal's triangle appeared for the first time in the *Arithmetic* of Jordanus de Nemore (13th century).^{[10]}
The binomial coefficients were calculated by Gersonides during the early 14th century, using the multiplicative formula for them.^{[11]} Petrus Apianus (1495–1552) published the full triangle on the frontispiece of his book on business calculations in 1527.^{[12]} Michael Stifel published a portion of the triangle (from the second to the middle column in each row) in 1544, describing it as a table of figurate numbers.^{[11]} In Italy, Pascal's triangle is referred to as **Tartaglia's triangle**, named for the Italian algebraist Niccolò Fontana Tartaglia (1500–1577), who published six rows of the triangle in 1556.^{[11]} Gerolamo Cardano, also, published the triangle as well as the additive and multiplicative rules for constructing it in 1570.^{[11]}

Pascal's *Traité du triangle arithmétique* (*Treatise on Arithmetical Triangle*) was published posthumously in 1665.^{[13]} In this, Pascal collected several results then known about the triangle, and employed them to solve problems in probability theory. The triangle was later named for Pascal by Pierre Raymond de Montmort (1708) who called it "Table de M. Pascal pour les combinaisons" (French: Table of Mr. Pascal for combinations) and Abraham de Moivre (1730) who called it "Triangulum Arithmeticum PASCALIANUM" (Latin: Pascal's Arithmetic Triangle), which became the basis of the modern Western name.^{[14]}

## Binomial expansions

Pascal's triangle determines the coefficients which arise in binomial expansions. For example, consider the expansion

[math]\displaystyle{ (x + y)^2 = x^2 + 2xy + y^2 = \mathbf{1} x^2 y^0 + \mathbf{2} x^1 y^1 + \mathbf{1} x^0 y^2 }[/math].

The coefficients are the numbers in the second row of Pascal's triangle: [math]\displaystyle{ {2 \choose 0} = 1 }[/math], [math]\displaystyle{ {2 \choose 1} = 2 }[/math], [math]\displaystyle{ {2 \choose 2} = 1 }[/math].

In general, when a binomial like [math]\displaystyle{ x + y }[/math] is raised to a positive integer power of [math]\displaystyle{ n }[/math], we have:

[math]\displaystyle{ (x + y)^n = \sum_{k=0}^{n} a_{k} x^{n-k} y^{k} = a_{0} x^n + a_{1} x^{n - 1} y + a_{2} x^{n - 2} y^{2} + \ldots + a_{n - 1} x y^{n-1} + a_{n} y^{n} }[/math],

where the coefficients [math]\displaystyle{ a_{k} }[/math] in this expansion are precisely the numbers on row [math]\displaystyle{ n }[/math] of Pascal's triangle. In other words,

- [math]\displaystyle{ a_k = {n \choose k} }[/math].

This is the binomial theorem.

The entire right diagonal of Pascal's triangle corresponds to the coefficient of [math]\displaystyle{ y^{n} }[/math] in these binomial expansions, while the next diagonal corresponds to the coefficient of [math]\displaystyle{ x y^{n - 1} }[/math] and so on.

To see how the binomial theorem relates to the simple construction of Pascal's triangle, consider the problem of calculating the coefficients of the expansion of [math]\displaystyle{ (x + y)^{n + 1} }[/math] in terms of the corresponding coefficients of [math]\displaystyle{ (x + 1)^{n} }[/math] (setting [math]\displaystyle{ y = 1 }[/math] for simplicity). Suppose then that

- [math]\displaystyle{ (x + 1)^{n} = \sum_{k = 0}^{n} a_{k} x^{k} }[/math].

Now

- [math]\displaystyle{ (x+1)^{n+1} = (x+1)(x+1)^n = x(x+1)^n + (x+1)^n = \sum_{i=0}^n a_i x^{i+1} + \sum_{i=0}^n a_i x^i. }[/math]

The two summations can be reorganized as follows:

- [math]\displaystyle{ \begin{align} \sum_{k=0}^{n} a_{k} x^{k+1} + \sum_{k=0}^n a_k x^k &= \sum_{k=1}^{n+1} a_{k-1} x^{k} + \sum_{k=0}^n a_k x^k \\ [4pt] &= \sum_{k=1}^{n} a_{k-1} x^{k} + \sum_{k=1}^n a_k x^k + a_0x^0 + a_{n}x^{n+1} \\[4pt] &= \sum_{k=1}^{n} (a_{k-1} + a_k)x^{k} + a_0x^0 + a_{n}x^{n+1} \\[4pt] &= \sum_{k=1}^{n} (a_{k-1} + a_k)x^{k} + x^0 + x^{n+1} \end{align} }[/math]

(because of how raising a polynomial to a power works, [math]\displaystyle{ a_{0} = a_{n} = 1 }[/math]).

We now have an expression for the polynomial [math]\displaystyle{ (x + 1)^{n + 1} }[/math] in terms of the coefficients of [math]\displaystyle{ (x + 1)^{n} }[/math] (these are the [math]\displaystyle{ a_{k} }[/math]s), which is what we need if we want to express a line in terms of the line above it. Recall that all the terms in a diagonal going from the upper-left to the lower-right correspond to the same power of [math]\displaystyle{ x }[/math], and that the [math]\displaystyle{ a }[/math]-terms are the coefficients of the polynomial [math]\displaystyle{ (x + 1)^{n} }[/math], and we are determining the coefficients of [math]\displaystyle{ (x + 1)^{n + 1} }[/math]. Now, for any given [math]\displaystyle{ 0 \lt k \lt n + 1 }[/math], the coefficient of the [math]\displaystyle{ x^{k} }[/math] term in the polynomial [math]\displaystyle{ (x + 1)^{n + 1} }[/math] is equal to [math]\displaystyle{ a_{k-1} + a_{k} }[/math]. This is indeed the simple rule for constructing Pascal's triangle row-by-row.

It is not difficult to turn this argument into a proof (by mathematical induction) of the binomial theorem.

Since [math]\displaystyle{ (a + b)^{n} = b^{n}\left(\frac{a}{b} + 1 \right)^{n} }[/math], the coefficients are identical in the expansion of the general case.

An interesting consequence of the binomial theorem is obtained by setting both variables [math]\displaystyle{ x }[/math] and [math]\displaystyle{ y }[/math] equal to one. In this case, we know that [math]\displaystyle{ (1 + 1)^{n} = 2^{n} }[/math], and so

- [math]\displaystyle{ \sum_{k = 0}^{n} {n \choose k} = {n \choose 0} + {n \choose 1} + \cdots + {n \choose n-1} + {n \choose n} = 2^{n}. }[/math]

In other words, the sum of the entries in the [math]\displaystyle{ n }[/math]th row of Pascal's triangle is the [math]\displaystyle{ n }[/math]th power of 2. This is equivalent to the statement that the number of subsets (the cardinality of the power set) of an [math]\displaystyle{ n }[/math]-element set is [math]\displaystyle{ 2^n }[/math], as can be seen by observing that the number of subsets is the sum of the number of combinations of each of the possible lengths, which range from zero through to [math]\displaystyle{ n }[/math].

## Combinations

A second useful application of Pascal's triangle is in the calculation of combinations. For example, the number of combinations of [math]\displaystyle{ n }[/math] items taken [math]\displaystyle{ k }[/math] at a time (pronounced *n choose k*) can be found by the equation

- [math]\displaystyle{ \mathbf{C}(n, k) = \mathbf{C}_{k}^{n}= {_{n}C_{k}} = {n \choose k} = \frac{n!}{k!(n-k)!} }[/math].

But this is also the formula for a cell of Pascal's triangle. Rather than performing the calculation, one can simply look up the appropriate entry in the triangle. Provided we have the first row and the first entry in a row numbered 0, the answer will be located at entry [math]\displaystyle{ k }[/math] in row [math]\displaystyle{ n }[/math]. For example, suppose 8 jobs need to be filled but there are 10 candidates; the selection committee wants to know how many ways there are of selecting 8 from the 10. The answer is entry 8 in row 10, which is 45; that is, 10 choose 8 is 45. ^{[15]}

## Relation to binomial distribution and convolutions

When divided by [math]\displaystyle{ 2^n }[/math], the [math]\displaystyle{ n }[/math]th row of Pascal's triangle becomes the binomial distribution in the symmetric case where [math]\displaystyle{ p = \frac{1}{2} }[/math]. By the central limit theorem, this distribution approaches the normal distribution as [math]\displaystyle{ n }[/math] increases. This can also be seen by applying Stirling's formula to the factorials involved in the formula for combinations.

This is related to the operation of discrete convolution in two ways. First, polynomial multiplication corresponds exactly to discrete convolution, so that repeatedly convolving the sequence [math]\displaystyle{ \{ \ldots, 0, 0, 1, 1, 0, 0, \ldots \} }[/math] with itself corresponds to taking powers of [math]\displaystyle{ x + 1 }[/math], and hence to generating the rows of the triangle. Second, repeatedly convolving the distribution function for a random variable with itself corresponds to calculating the distribution function for a sum of *n* independent copies of that variable; this is exactly the situation to which the central limit theorem applies, and hence results in the normal distribution in the limit.

## Patterns and properties

Pascal's triangle has many properties and contains many patterns of numbers.

### Rows

- The sum of the elements of a single row is twice the sum of the row preceding it. For example, row 0 (the topmost row) has a value of 1, row 1 has a value of 2, row 2 has a value of 4, and so forth. This is because every item in a row produces two items in the next row: one left and one right. The sum of the elements of row [math]\displaystyle{ n }[/math] equals to [math]\displaystyle{ 2^n }[/math].
- Taking the product of the elements in each row, the sequence of products (sequence A001142 in the OEIS) is related to the base of the natural logarithm,
*e*.^{[16]}^{[17]}Specifically, define the sequence [math]\displaystyle{ s_{n} }[/math] for all [math]\displaystyle{ n \ge 0 }[/math] as follows: [math]\displaystyle{ s_{n} = \prod_{k = 0}^{n} {n \choose k} = \prod_{k = 0}^{n} \frac{n!}{k!(n-k)!} }[/math] Then, the ratio of successive row products is [math]\displaystyle{ \frac{s_{n+1}}{s_{n}} = \frac{ \displaystyle (n+1)!^{n+2} \prod_{k = 0}^{n + 1} \frac{1}{k!^2}}{\displaystyle n!^{n+1}\prod_{k=0}^{n}{\frac{1}{k!^2}}} = \frac{(n + 1)^n}{n!} }[/math] and the ratio of these ratios is [math]\displaystyle{ \frac{s_{n + 1} \cdot s_{n - 1}}{s_{n}^{2}} = \left( \frac{n + 1}{n} \right)^n, ~ n\ge 1. }[/math] The right-hand side of the above equation takes the form of the limit definition of [math]\displaystyle{ e }[/math] [math]\displaystyle{ e =\lim_{n \to \infty} \left( 1 + \frac{1}{n} \right)^{n} }[/math]. - [math]\displaystyle{ \pi }[/math] can be found in Pascal's triangle by use of the Nilakantha infinite series.
^{[18]}[math]\displaystyle{ \pi = 3 + \sum_{n = 1}^{\infty} (-1)^{n + 1} \frac{{2n + 1 \choose 1}}{{2n + 1 \choose 2}{2n + 2 \choose 2}} }[/math] - The [math]\displaystyle{ n }[/math]th row reads as the numeral [math]\displaystyle{ 11^{n}_{a} }[/math] for all [math]\displaystyle{ a }[/math]. See Extension to arbitrary bases.
- Some of the numbers in Pascal's triangle correlate to numbers in Lozanić's triangle.
- The sum of the squares of the elements of row n equals the middle element of row 2
*n*. For example, 1^{2}+ 4^{2}+ 6^{2}+ 4^{2}+ 1^{2}= 70. In general form: [math]\displaystyle{ \sum_{k=0}^n {n \choose k}^2 = {2n \choose n}. }[/math] - On any row n, where n is even, the middle term minus the term two spots to the left equals a Catalan number, specifically the (
*n*/2 + 1)th Catalan number. For example: on row 4, 6 − 1 = 5, which is the 3rd Catalan number, and 4/2 + 1 = 3. - In a row p where p is a prime number, all the terms in that row except the 1s are multiples of p. This can be proven easily, since if [math]\displaystyle{ p\in \mathbb{P} }[/math], then p has no factors save for 1 and itself. Every entry in the triangle is an integer, so therefore by definition [math]\displaystyle{ (p-k)! }[/math] and [math]\displaystyle{ k! }[/math] are factors of [math]\displaystyle{ p! }[/math]. However, there is no possible way p itself can show up in the denominator, so therefore p (or some multiple of it) must be left in the numerator, making the entire entry a multiple of p.
*Parity*: To count odd terms in row n, convert n to binary. Let x be the number of 1s in the binary representation. Then the number of odd terms will be 2^{x}. These numbers are the values in Gould's sequence.^{[19]}- Every entry in row 2
^{n}− 1,*n*≥ 0, is odd.^{[20]} *Polarity*: When the elements of a row of Pascal's triangle are alternately added and subtracted together, the result is 0. For example, row 6 is 1, 6, 15, 20, 15, 6, 1, so the formula is 1 − 6 + 15 − 20 + 15 − 6 + 1 = 0.

### Diagonals

The diagonals of Pascal's triangle contain the figurate numbers of simplices:

- The diagonals going along the left and right edges contain only 1's.
- The diagonals next to the edge diagonals contain the natural numbers in order. The 1-dimensional simplex numbers increment by 1 as the line segments extend to the next whole number along the number line.
- Moving inwards, the next pair of diagonals contain the triangular numbers in order.
- The next pair of diagonals contain the tetrahedral numbers in order, and the next pair give pentatope numbers.

- [math]\displaystyle{ \begin{align} P_0(n) &= P_d(0) = 1, \\ P_d(n) &= P_d(n-1) + P_{d-1}(n) \\ &= \sum_{i=0}^n P_{d-1}(i) = \sum_{i=0}^d P_i(n-1). \end{align} }[/math]

The symmetry of the triangle implies that the *n*^{th} d-dimensional number is equal to the *d*^{th} *n*-dimensional number.

An alternative formula that does not involve recursion is
[math]\displaystyle{ P_d(n)=\frac{1}{d!}\prod_{k=0}^{d-1} (n+k) = {n^{(d)}\over d!} = \binom{n+d-1}{d}, }[/math]
where *n*^{(d)} is the rising factorial.

The geometric meaning of a function *P*_{d} is: *P*_{d}(1) = 1 for all *d*. Construct a *d*-dimensional triangle (a 3-dimensional triangle is a tetrahedron) by placing additional dots below an initial dot, corresponding to *P*_{d}(1) = 1. Place these dots in a manner analogous to the placement of numbers in Pascal's triangle. To find P_{d}(*x*), have a total of *x* dots composing the target shape. P_{d}(*x*) then equals the total number of dots in the shape. A 0-dimensional triangle is a point and a 1-dimensional triangle is simply a line, and therefore *P*_{0}(*x*) = 1 and *P*_{1}(*x*) = *x*, which is the sequence of natural numbers. The number of dots in each layer corresponds to *P*_{d − 1}(*x*).

### Calculating a row or diagonal by itself

There are simple algorithms to compute all the elements in a row or diagonal without computing other elements or factorials.

To compute row [math]\displaystyle{ n }[/math] with the elements [math]\displaystyle{ \tbinom{n}{0}, \tbinom{n}{1}, \ldots, \tbinom{n}{n} }[/math], begin with [math]\displaystyle{ \tbinom{n}{0}=1 }[/math]. For each subsequent element, the value is determined by multiplying the previous value by a fraction with slowly changing numerator and denominator:

- [math]\displaystyle{ {n\choose k}= {n\choose k-1}\times \frac{n+1-k}{k}. }[/math]

For example, to calculate row 5, the fractions are [math]\displaystyle{ \tfrac{5}{1} }[/math], [math]\displaystyle{ \tfrac{4}{2} }[/math], [math]\displaystyle{ \tfrac{3}{3} }[/math], [math]\displaystyle{ \tfrac{2}{4} }[/math] and [math]\displaystyle{ \tfrac{1}{5} }[/math], and hence the elements are [math]\displaystyle{ \tbinom{5}{0}=1 }[/math], [math]\displaystyle{ \tbinom{5}{1}=1\times\tfrac{5}{1}=5 }[/math], [math]\displaystyle{ \tbinom{5}{2}=5\times\tfrac{4}{2}=10 }[/math], etc. (The remaining elements are most easily obtained by symmetry.)

To compute the diagonal containing the elements [math]\displaystyle{ \tbinom{n}{0}, \tbinom{n+1}{1}, \tbinom{n+2}{2},\ldots, }[/math] we again begin with [math]\displaystyle{ \tbinom{n}{0} = 1 }[/math] and obtain subsequent elements by multiplication by certain fractions:

- [math]\displaystyle{ {n+k\choose k}= {n+k-1\choose k-1}\times \frac{n+k}{k}. }[/math]

By symmetry, this same process can be used to compute the diagonal [math]\displaystyle{ \tbinom{n}{n}, \tbinom{n+1}{n}, \tbinom{n+2}{n},\ldots }[/math] .

For example, to calculate the diagonal beginning at [math]\displaystyle{ \tbinom{5}{0} }[/math], the fractions are [math]\displaystyle{ \tfrac{6}{1}, \tfrac{7}{2}, \tfrac{8}{3}, \ldots }[/math], and the elements are [math]\displaystyle{ \tbinom{5}{0}=1, \tbinom{6}{1}=1 \times \tfrac{6}{1}=6, \tbinom{7}{2}=6\times\tfrac{7}{2}=21 }[/math], etc. By symmetry, these elements are equal to [math]\displaystyle{ \tbinom{5}{5}, \tbinom{6}{5}, \tbinom{7}{5} }[/math], etc.

### Overall patterns and properties

- The pattern obtained by coloring only the odd numbers in Pascal's triangle closely resembles the fractal known as the Sierpinski triangle. This resemblance becomes increasingly accurate as more rows are considered; in the limit, as the number of rows approaches infinity, the resulting pattern
*is*the Sierpinski triangle, assuming a fixed perimeter. More generally, numbers could be colored differently according to whether or not they are multiples of 3, 4, etc.; this results in other similar patterns.

- In a triangular portion of a grid (as in the images below), the number of shortest grid paths from a given node to the top node of the triangle is the corresponding entry in Pascal's triangle. On a Plinko game board shaped like a triangle, this distribution should give the probabilities of winning the various prizes.

File:Pascal's Triangle 4 paths.svg

- If the rows of Pascal's triangle are left-justified, the diagonal bands (colour-coded below) sum to the Fibonacci numbers.

1 1 1 1 2 1 1 3 3 1 1 4 6 4 1 1 5 10 10 5 1 1 6 15 20 15 6 1 1 7 21 35 35 21 7 1

### Construction as matrix exponential

Due to its simple construction by factorials, a very basic representation of Pascal's triangle in terms of the matrix exponential can be given: Pascal's triangle is the exponential of the matrix which has the sequence 1, 2, 3, 4, ... on its subdiagonal and zero everywhere else.

### Relation to geometry of polytopes

Pascal's triangle can be used as a lookup table for the number of elements (such as edges and corners) within a polytope (such as a triangle, a tetrahedron, a square, or a cube).

#### Number of elements of simplices

Let's begin by considering the 3rd line of Pascal's triangle, with values 1, 3, 3, 1. A 2-dimensional triangle has one 2-dimensional element (itself), three 1-dimensional elements (lines, or edges), and three 0-dimensional elements (vertices, or corners). The meaning of the final number (1) is more difficult to explain (but see below). Continuing with our example, a tetrahedron has one 3-dimensional element (itself), four 2-dimensional elements (faces), six 1-dimensional elements (edges), and four 0-dimensional elements (vertices). Adding the final 1 again, these values correspond to the 4th row of the triangle (1, 4, 6, 4, 1). Line 1 corresponds to a point, and Line 2 corresponds to a line segment (dyad). This pattern continues to arbitrarily high-dimensioned hyper-tetrahedrons (known as simplices).

To understand why this pattern exists, one must first understand that the process of building an *n*-simplex from an (*n* − 1)-simplex consists of simply adding a new vertex to the latter, positioned such that this new vertex lies outside of the space of the original simplex, and connecting it to all original vertices. As an example, consider the case of building a tetrahedron from a triangle, the latter of whose elements are enumerated by row 3 of Pascal's triangle: **1** face, **3** edges, and **3** vertices. To build a tetrahedron from a triangle, we position a new vertex above the plane of the triangle and connect this vertex to all three vertices of the original triangle.

The number of a given dimensional element in the tetrahedron is now the sum of two numbers: first the number of that element found in the original triangle, plus the number of new elements, *each of which is built upon elements of one fewer dimension from the original triangle*. Thus, in the tetrahedron, the number of cells (polyhedral elements) is 0 + 1 = **1**; the number of faces is 1 + 3 = **4**; the number of edges is 3 + 3 = **6**; the number of new vertices is 3 + 1 = **4**. This process of summing the number of elements of a given dimension to those of one fewer dimension to arrive at the number of the former found in the next higher simplex is equivalent to the process of summing two adjacent numbers in a row of Pascal's triangle to yield the number below. Thus, the meaning of the final number (1) in a row of Pascal's triangle becomes understood as representing the new vertex that is to be added to the simplex represented by that row to yield the next higher simplex represented by the next row. This new vertex is joined to every element in the original simplex to yield a new element of one higher dimension in the new simplex, and this is the origin of the pattern found to be identical to that seen in Pascal's triangle.

#### Number of elements of hypercubes

A similar pattern is observed relating to squares, as opposed to triangles. To find the pattern, one must construct an analog to Pascal's triangle, whose entries are the coefficients of (*x* + 2)^{row number}, instead of (*x* + 1)^{row number}. There are a couple ways to do this. The simpler is to begin with row 0 = 1 and row 1 = 1, 2. Proceed to construct the analog triangles according to the following rule:

- [math]\displaystyle{ {n \choose k} = 2\times{n-1 \choose k-1} + {n-1 \choose k}. }[/math]

That is, choose a pair of numbers according to the rules of Pascal's triangle, but double the one on the left before adding. This results in:

- [math]\displaystyle{ \begin{matrix} \text{ 1} \\ \text{ 1} \quad \text{ 2} \\ \text{ 1} \quad \text{ 4} \quad \text{ 4} \\ \text{ 1} \quad\text{ 6} \quad \text{ 12} \quad\text{ 8} \\ \text{ 1} \quad\text{ 8} \quad \text{ 24} \quad \text{ 32} \quad \text{ 16} \\ \text{ 1} \quad \text{ 10} \quad \text{ 40} \quad \text{ 80} \quad \text{ 80} \quad \text{ 32} \\ \text{ 1} \quad \text{ 12} \quad \text{ 60} \quad 160 \quad 240 \quad 192 \quad \text{ 64} \\ \text{ 1} \quad \text{ 14} \quad \text{ 84} \quad 280 \quad 560 \quad 672 \quad 448 \quad 128 \end{matrix} }[/math]

The other way of producing this triangle is to start with Pascal's triangle and multiply each entry by 2^{k}, where k is the position in the row of the given number. For example, the 2nd value in row 4 of Pascal's triangle is 6 (the slope of 1s corresponds to the zeroth entry in each row). To get the value that resides in the corresponding position in the analog triangle, multiply 6 by 2^{position number} = 6 × 2^{2} = 6 × 4 = 24. Now that the analog triangle has been constructed, the number of elements of any dimension that compose an arbitrarily dimensioned cube (called a hypercube) can be read from the table in a way analogous to Pascal's triangle. For example, the number of 2-dimensional elements in a 2-dimensional cube (a square) is one, the number of 1-dimensional elements (sides, or lines) is 4, and the number of 0-dimensional elements (points, or vertices) is 4. This matches the 2nd row of the table (1, 4, 4). A cube has 1 cube, 6 faces, 12 edges, and 8 vertices, which corresponds to the next line of the analog triangle (1, 6, 12, 8). This pattern continues indefinitely.

To understand why this pattern exists, first recognize that the construction of an *n*-cube from an (*n* − 1)-cube is done by simply duplicating the original figure and displacing it some distance (for a regular *n*-cube, the edge length) orthogonal to the space of the original figure, then connecting each vertex of the new figure to its corresponding vertex of the original. This initial duplication process is the reason why, to enumerate the dimensional elements of an *n*-cube, one must double the first of a pair of numbers in a row of this analog of Pascal's triangle before summing to yield the number below. The initial doubling thus yields the number of "original" elements to be found in the next higher *n*-cube and, as before, new elements are built upon those of one fewer dimension (edges upon vertices, faces upon edges, etc.). Again, the last number of a row represents the number of new vertices to be added to generate the next higher *n*-cube.

In this triangle, the sum of the elements of row *m* is equal to 3^{m}. Again, to use the elements of row 4 as an example: 1 + 8 + 24 + 32 + 16 = 81, which is equal to [math]\displaystyle{ 3^4 = 81 }[/math].

#### Counting vertices in a cube by distance

Each row of Pascal's triangle gives the number of vertices at each distance from a fixed vertex in an *n*-dimensional cube. For example, in three dimensions, the third row (1 3 3 1) corresponds to the usual three-dimensional cube: fixing a vertex *V*, there is one vertex at distance 0 from *V* (that is, *V* itself), three vertices at distance 1, three vertices at distance √2 and one vertex at distance √3 (the vertex opposite *V*). The second row corresponds to a square, while larger-numbered rows correspond to hypercubes in each dimension.

### Fourier transform of sin(*x*)^{n+1}/*x*

As stated previously, the coefficients of (*x* + 1)^{n} are the nth row of the triangle. Now the coefficients of (*x* − 1)^{n} are the same, except that the sign alternates from +1 to −1 and back again. After suitable normalization, the same pattern of numbers occurs in the Fourier transform of sin(*x*)^{n+1}/*x*. More precisely: if *n* is even, take the real part of the transform, and if *n* is odd, take the imaginary part. Then the result is a step function, whose values (suitably normalized) are given by the *n*th row of the triangle with alternating signs.^{[21]} For example, the values of the step function that results from:

- [math]\displaystyle{ \mathfrak{Re}\left(\text{Fourier} \left[ \frac{\sin(x)^5}{x} \right]\right) }[/math]

compose the 4th row of the triangle, with alternating signs. This is a generalization of the following basic result (often used in electrical engineering):

- [math]\displaystyle{ \mathfrak{Re}\left(\text{Fourier} \left[ \frac{\sin(x)^1}{x}\right] \right) }[/math]

is the boxcar function.^{[22]} The corresponding row of the triangle is row 0, which consists of just the number 1.

If n is congruent to 2 or to 3 mod 4, then the signs start with −1. In fact, the sequence of the (normalized) first terms corresponds to the powers of i, which cycle around the intersection of the axes with the unit circle in the complex plane: [math]\displaystyle{ +i,-1,-i,+1,+i,\ldots }[/math]

## Extensions

### To higher dimensions

Pascal's triangle has higher dimensional generalizations. The three-dimensional version is known as *Pascal's pyramid* or *Pascal's tetrahedron*, while the general versions are known as *Pascal's simplices*.

### To the integers

The domain of the binomial coefficients [math]\displaystyle{ n \choose k }[/math] can be extended to negative values of [math]\displaystyle{ n }[/math] and [math]\displaystyle{ k }[/math]. The symmetry and algebraic properties of Pascal's triangle are preserved under this extension.^{[23]}

First write the triangle in the following form:

mn |
0 | 1 | 2 | 3 | 4 | 5 | ... |
---|---|---|---|---|---|---|---|

0 | 1 | 0 | 0 | 0 | 0 | 0 | ... |

1 | 1 | 1 | 0 | 0 | 0 | 0 | ... |

2 | 1 | 2 | 1 | 0 | 0 | 0 | ... |

3 | 1 | 3 | 3 | 1 | 0 | 0 | ... |

4 | 1 | 4 | 6 | 4 | 1 | 0 | ... |

Next, extend the column of 1s upwards:

mn |
0 | 1 | 2 | 3 | 4 | 5 | ... |
---|---|---|---|---|---|---|---|

−4 | 1 | ... | |||||

−3 | 1 | ... | |||||

−2 | 1 | ... | |||||

−1 | 1 | ... | |||||

0 | 1 | 0 | 0 | 0 | 0 | 0 | ... |

1 | 1 | 1 | 0 | 0 | 0 | 0 | ... |

2 | 1 | 2 | 1 | 0 | 0 | 0 | ... |

3 | 1 | 3 | 3 | 1 | 0 | 0 | ... |

4 | 1 | 4 | 6 | 4 | 1 | 0 | ... |

Now the rule:

- [math]\displaystyle{ {n \choose m} = {n-1 \choose m-1} + {n-1 \choose m} }[/math]

can be rearranged to:

- [math]\displaystyle{ {n-1 \choose m} = {n \choose m} - {n-1 \choose m-1} }[/math]

which allows calculation of the other entries for negative rows:

mn |
0 | 1 | 2 | 3 | 4 | 5 | ... |
---|---|---|---|---|---|---|---|

−4 | 1 | −4 | 10 | −20 | 35 | −56 | ... |

−3 | 1 | −3 | 6 | −10 | 15 | −21 | ... |

−2 | 1 | −2 | 3 | −4 | 5 | −6 | ... |

−1 | 1 | −1 | 1 | −1 | 1 | −1 | ... |

0 | 1 | 0 | 0 | 0 | 0 | 0 | ... |

1 | 1 | 1 | 0 | 0 | 0 | 0 | ... |

2 | 1 | 2 | 1 | 0 | 0 | 0 | ... |

3 | 1 | 3 | 3 | 1 | 0 | 0 | ... |

4 | 1 | 4 | 6 | 4 | 1 | 0 | ... |

This extension preserves the property that the values in the *m*th column viewed as a function of *n* are fit by an order *m* polynomial, namely

- [math]\displaystyle{ {n \choose m} = \frac{1}{m!}\prod_{k=0}^{m-1} (n-k) = \frac{1}{m!}\prod_{k=1}^{m} (n-k+1) }[/math].

This extension also preserves the property that the values in the *n*th row correspond to the coefficients of (1 + *x*)^{n}:

- [math]\displaystyle{ (1+x)^n = \sum_{k=0}^\infty {n \choose k} x^k \quad |x| \lt 1 }[/math]

For example:

- [math]\displaystyle{ (1+x)^{-2} = 1-2x+3x^2-4x^3+\cdots \quad |x| \lt 1 }[/math]

When viewed as a series, the rows of negative *n* diverge. However, they are still Abel summable, which summation gives the standard values of 2^{n}. (In fact, the *n* = −1 row results in Grandi's series which "sums" to 1/2, and the *n* = −2 row results in another well-known series which has an Abel sum of 1/4.)

Another option for extending Pascal's triangle to negative rows comes from extending the *other* line of 1s:

mn |
−4 | −3 | −2 | −1 | 0 | 1 | 2 | 3 | 4 | 5 | ... |
---|---|---|---|---|---|---|---|---|---|---|---|

−4 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | ... |

−3 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | ... | |

−2 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | ... | ||

−1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | ... | |||

0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | ... |

1 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | ... |

2 | 0 | 0 | 0 | 0 | 1 | 2 | 1 | 0 | 0 | 0 | ... |

3 | 0 | 0 | 0 | 0 | 1 | 3 | 3 | 1 | 0 | 0 | ... |

4 | 0 | 0 | 0 | 0 | 1 | 4 | 6 | 4 | 1 | 0 | ... |

Applying the same rule as before leads to

mn |
−4 | −3 | −2 | −1 | 0 | 1 | 2 | 3 | 4 | 5 | ... |
---|---|---|---|---|---|---|---|---|---|---|---|

−4 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | ... |

−3 | −3 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | ... |

−2 | 3 | −2 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | ... |

−1 | −1 | 1 | −1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | .. |

0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | ... |

1 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | ... |

2 | 0 | 0 | 0 | 0 | 1 | 2 | 1 | 0 | 0 | 0 | ... |

3 | 0 | 0 | 0 | 0 | 1 | 3 | 3 | 1 | 0 | 0 | ... |

4 | 0 | 0 | 0 | 0 | 1 | 4 | 6 | 4 | 1 | 0 | ... |

This extension also has the properties that just as

- [math]\displaystyle{ \exp\begin{pmatrix} . & . & . & . & . \\ 1 & . & . & . & . \\ . & 2 & . & . & . \\ . & . & 3 & . & . \\ . & . & . & 4 & . \end{pmatrix} = \begin{pmatrix} 1 & . & . & . & . \\ 1 & 1 & . & . & . \\ 1 & 2 & 1 & . & . \\ 1 & 3 & 3 & 1 & . \\ 1 & 4 & 6 & 4 & 1 \end{pmatrix}, }[/math]

we have

- [math]\displaystyle{ \exp\begin{pmatrix} . & . & . & . & . & . & . & . & . & . \\ -4 & . & . & . & . & . & . & . & . & . \\ . & -3 & . & . & . & . & . & . & . & . \\ . & . & -2 & . & . & . & . & . & . & . \\ . & . & . & -1 & . & . & . & . & . & . \\ . & . & . & . & 0 & . & . & . & . & . \\ . & . & . & . & . & 1 & . & . & . & . \\ . & . & . & . & . & . & 2 & . & . & . \\ . & . & . & . & . & . & . & 3 & . & . \\ . & . & . & . & . & . & . & . & 4 & . \end{pmatrix} = \begin{pmatrix} 1 & . & . & . & . & . & . & . & . & . \\ -4 & 1 & . & . & . & . & . & . & . & . \\ 6 & -3 & 1 & . & . & . & . & . & . & . \\ -4 & 3 & -2 & 1 & . & . & . & . & . & . \\ 1 & -1 & 1 & -1 & 1 & . & . & . & . & . \\ . & . & . & . & . & 1 & . & . & . & . \\ . & . & . & . & . & 1 & 1 & . & . & . \\ . & . & . & . & . & 1 & 2 & 1 & . & . \\ . & . & . & . & . & 1 & 3 & 3 & 1 & . \\ . & . & . & . & . & 1 & 4 & 6 & 4 & 1 \end{pmatrix} }[/math]

Also, just as summing along the lower-left to upper-right diagonals of the Pascal matrix yields the Fibonacci numbers, this second type of extension still sums to the Fibonacci numbers for negative index.

Either of these extensions can be reached if we define

- [math]\displaystyle{ {n \choose k} = \frac{n!}{(n-k)! k!} \equiv \frac{\Gamma(n+1)}{\Gamma(n-k+1)\Gamma(k+1)} }[/math]

and take certain limits of the gamma function, [math]\displaystyle{ \Gamma(z) }[/math].

### To complex numbers

When the factorial function is defined as [math]\displaystyle{ z! = \Gamma(z + 1) }[/math], Pascal's triangle can be extended beyond the integers to [math]\displaystyle{ \Complex }[/math], since [math]\displaystyle{ \Gamma(z + 1) }[/math] is meromorphic to the entire complex plane.^{[24]}

### To arbitrary bases

Isaac Newton once observed that the first five rows of Pascal’s Triangle, considered as strings, are the corresponding powers of eleven. He claimed
without proof that subsequent rows also generate powers of eleven.^{[25]} In 1964, Dr. Robert L. Morton presented the more generalized argument that each row [math]\displaystyle{ n }[/math] can be read as a radix [math]\displaystyle{ a }[/math] numeral, where [math]\displaystyle{ \lim {n \to \infty} 11^{n} {a} }[/math] is the hypothetical terminal row, or limit, of the triangle, and the rows are its partial products.^{[26]} He proved the entries of row [math]\displaystyle{ n }[/math], when interpreted directly as a place-value numeral, correspond to the binomial expansion of [math]\displaystyle{ (a + 1)^n = 11^{n}_{a} }[/math]. More rigorous proofs have since been developed.^{[27]}^{[28]} To better understand the principle behind this interpretation, here are some things to recall about binomials:

- A radix [math]\displaystyle{ a }[/math] numeral in positional notation (e.g. [math]\displaystyle{ 14641_{a} }[/math]) is a univariate polynomial in the variable [math]\displaystyle{ a }[/math], where the degree of the variable of the [math]\displaystyle{ i }[/math]th term (starting with [math]\displaystyle{ i = 0 }[/math]) is [math]\displaystyle{ i }[/math]. For example, [math]\displaystyle{ 14641_{a} = 1 \cdot a^{4} + 4 \cdot a^{3} + 6 \cdot a^{2} + 4 \cdot a^{1} + 1 \cdot a^{0} }[/math].
- A row corresponds to the binomial expansion of [math]\displaystyle{ (a + b)^{n} }[/math]. We can eliminate [math]\displaystyle{ b }[/math] from the expansion by setting [math]\displaystyle{ b = 1 }[/math]. The expansion now typifies the expanded form of a radix [math]\displaystyle{ a }[/math] numeral,
^{[29]}^{[30]}as demonstrated above. Thus, when the entries of the row are concatenated and read in radix [math]\displaystyle{ a }[/math] they form the numerical equivalent of [math]\displaystyle{ (a + 1)^{n} = 11^{n}_{a} }[/math]. If [math]\displaystyle{ c = a + 1 }[/math] for [math]\displaystyle{ c \lt 0 }[/math], then the theorem holds for [math]\displaystyle{ a = \{c - 1, -(c + 1)\} \;\mathrm{mod}\; 2c }[/math] with odd values of [math]\displaystyle{ n }[/math] yielding negative row products.^{[31]}^{[32]}^{[33]}

By setting the row's radix (the variable [math]\displaystyle{ a }[/math]) equal to one and ten, row [math]\displaystyle{ n }[/math] becomes the product [math]\displaystyle{ 11^{n}_{1} = 2^{n} }[/math] and [math]\displaystyle{ 11^{n}_{10} = 11^{n} }[/math], respectively. To illustrate, consider [math]\displaystyle{ a = n }[/math], which yields the row product [math]\displaystyle{ n^n \left( 1 + \frac{1}{n} \right)^{n} = 11^{n}_{n} }[/math]. The numeric representation of [math]\displaystyle{ 11^{n} {n} }[/math] is formed by concatenating the entries of row [math]\displaystyle{ n }[/math]. In the image above, the twelfth row denotes the product:

- [math]\displaystyle{ 11^{12}_{12} = 1:10:56:164:353:560:650:560:353:164:56:10:1_{12} = 27433a9699701_{12} }[/math]

with compound digits (delimited by ":") in radix [math]\displaystyle{ 12 }[/math]. The digits from [math]\displaystyle{ k = n - 1 }[/math] through [math]\displaystyle{ k = 1 }[/math] are compound because these row entries compute to values greater than or equal to [math]\displaystyle{ 12 }[/math]. To normalize^{[34]} the numeral, simply carry the first compound entry's prefix, that is, remove the prefix of the coefficient [math]\displaystyle{ {n \choose n - 1} }[/math] from its leftmost digit up to, but excluding, its rightmost digit, and use radix-[math]\displaystyle{ 12 }[/math] arithmetic to sum the removed prefix with the entry on its immediate left, then repeat this process, proceeding leftward, until the leftmost entry is reached. In this particular example, the normalized string ends with [math]\displaystyle{ 01 }[/math] for all [math]\displaystyle{ n }[/math]. The leftmost digit is [math]\displaystyle{ 2 }[/math] for [math]\displaystyle{ n \gt 2 }[/math], which is obtained by carrying the [math]\displaystyle{ 1 }[/math] of [math]\displaystyle{ 10_{n} }[/math] at entry [math]\displaystyle{ k = 1 }[/math]. It follows that the length of the normalized value of [math]\displaystyle{ 11^{n}_{n} }[/math] is equal to the row length, [math]\displaystyle{ n + 1 }[/math]. The integral part of [math]\displaystyle{ 1.1^{n}_{n} }[/math] contains exactly one digit because [math]\displaystyle{ n }[/math] (the number of places to the left the decimal has moved) is one less than the row length. Below is the normalized value of [math]\displaystyle{ 1.1^{1234}_{1234} }[/math]. Compound digits remain in the value because they are radix [math]\displaystyle{ 1234 }[/math] residues represented in radix ten:

- [math]\displaystyle{ 1.1^{1234}_{1234} = 2.885:2:35:977:696:\overbrace{\ldots}^\text{1227 digits}:0:1_{1234} = 2.717181235\ldots_{10} }[/math]

## See also

- Bean machine, Francis Galton's "quincunx"
- Bell triangle
- Bernoulli's triangle
- Binomial expansion
- Euler triangle
- Floyd's triangle
- Gaussian binomial coefficient
- Hockey-stick identity
- Leibniz harmonic triangle
- Multiplicities of entries in Pascal's triangle (Singmaster's conjecture)
- Pascal matrix
- Pascal's pyramid
- Pascal's simplex
- Proton NMR, one application of Pascal's triangle
- Star of David theorem
- Trinomial expansion
- Trinomial triangle
- Polynomials calculating sums of powers of arithmetic progressions

## References

- ↑
^{1.0}^{1.1}"The story of the binomial theorem",*The American Mathematical Monthly***56**(3): 147–157, 1949, doi:10.2307/2305028. - ↑ Maurice Winternitz,
*History of Indian Literature*, Vol. III - ↑ Peter Fox (1998).
*Cambridge University Library: the great collections*. Cambridge University Press. p. 13. ISBN 978-0-521-62647-7. https://books.google.com/books?id=xxlgKP5thL8C&pg=PA13. - ↑ The binomial coefficient [math]\displaystyle{ \scriptstyle {n \choose k} }[/math] is conventionally set to zero if
*k*is either less than zero or greater than*n*. - ↑ Selin, Helaine (2008-03-12) (in en).
*Encyclopaedia of the History of Science, Technology, and Medicine in Non-Western Cultures*. Springer Science & Business Media. p. 132. ISBN 9781402045592. Bibcode: 2008ehst.book.....S. https://books.google.com/books?id=kt9DIY1g9HYC&q=al+karaji+pascal%27s+triangle&pg=PA132. - ↑ The Development of Arabic Mathematics Between Arithmetic and Algebra - R. Rashed "Page 63"
- ↑ Sidoli, Nathan; Brummelen, Glen Van (2013-10-30) (in en).
*From Alexandria, Through Baghdad: Surveys and Studies in the Ancient Greek and Medieval Islamic Mathematical Sciences in Honor of J.L. Berggren*. Springer Science & Business Media. p. 54. ISBN 9783642367366. https://books.google.com/books?id=kAjABAAAQBAJ&q=al+karaji+binomial+theorem&pg=PA54. - ↑ Kennedy, E. (1966).
*Omar Khayyam. The Mathematics Teacher 1958*. National Council of Teachers of Mathematics. pp. 140–142. - ↑ Weisstein, Eric W. (2003).
*CRC concise encyclopedia of mathematics*, p. 2169. ISBN 978-1-58488-347-0. - ↑ Hughes, Barnabas (1 August 1989). "The arithmetical triangle of Jordanus de Nemore".
*Historia Mathematica***16**(3): 213–223. doi:10.1016/0315-0860(89)90018-9. - ↑
^{11.0}^{11.1}^{11.2}^{11.3}Edwards, A. W. F. (2013), "The arithmetical triangle", in Wilson, Robin; Watkins, John J.,*Combinatorics: Ancient and Modern*, Oxford University Press, pp. 166–180. - ↑ Smith, Karl J. (2010),
*Nature of Mathematics*, Cengage Learning, p. 10, ISBN 9780538737586, https://books.google.com/books?id=Di0HyCgDYq8C&pg=PA10. - ↑ Traité du triangle arithmétique, avec quelques autres petits traitez sur la mesme matière at gallica
- ↑ Fowler, David (January 1996). "The Binomial Coefficient Function".
*The American Mathematical Monthly***103**(1): 1–17. doi:10.2307/2975209. See in particular p. 11. - ↑ "Pascal's Triangle in Probability". http://5010.mathed.usu.edu/Fall2018/HWheeler/probability.html.
- ↑ Brothers, H. J. (2012), "Finding e in Pascal's triangle",
*Mathematics Magazine***85**: 51, doi:10.4169/math.mag.85.1.51. - ↑ Brothers, H. J. (2012), "Pascal's triangle: The hidden stor-
*e*",*The Mathematical Gazette***96**: 145–148, doi:10.1017/S0025557200004204. - ↑ Foster, T. (2014), "Nilakantha's Footprints in Pascal's Triangle",
*Mathematics Teacher***108**: 247, doi:10.5951/mathteacher.108.4.0246 - ↑ Fine, N. J. (1947), "Binomial coefficients modulo a prime",
*American Mathematical Monthly***54**(10): 589–592, doi:10.2307/2304500. See in particular Theorem 2, which gives a generalization of this fact for all prime moduli. - ↑ Hinz, Andreas M. (1992), "Pascal's triangle and the Tower of Hanoi",
*The American Mathematical Monthly***99**(6): 538–544, doi:10.2307/2324061. Hinz attributes this observation to an 1891 book by Édouard Lucas,*Théorie des nombres*(p. 420). - ↑ For a similar example, see e.g. Hore, P. J. (1983), "Solvent suppression in Fourier transform nuclear magnetic resonance",
*Journal of Magnetic Resonance***55**(2): 283–300, doi:10.1016/0022-2364(83)90240-8, Bibcode: 1983JMagR..55..283H. - ↑ Karl, John H. (2012),
*An Introduction to Digital Signal Processing*, Elsevier, p. 110, ISBN 9780323139595, https://books.google.com/books?id=9Dv1PClLZWIC&pg=PA110. - ↑ Hilton, P. (1989). "Extending the binomial coefficients to preserve symmetry and pattern".
*Symmetry 2*. In International Series in Modern Applied Mathematics and Computer Science. Pergamon. pp. 89–102. doi:10.1016/B978-0-08-037237-2.50013-1. https://www.sciencedirect.com/science/article/pii/B9780080372372500131.. - ↑ Hilton, P. (1989). "Extending the binomial coefficients to preserve symmetry and pattern".
*Symmetry 2*. In International Series in Modern Applied Mathematics and Computer Science. Pergamon. pp. 100-102. doi:10.1016/B978-0-08-037237-2.50013-1. https://www.sciencedirect.com/science/article/pii/B9780080372372500131.. - ↑ Newton, Isaac (1736), "A Treatise of the Method of Fluxions and Infinite Series",
*The Mathematical Works of Isaac Newton*: 1:31–33, https://www.loc.gov/item/42048007/. - ↑ Morton, Robert L. (1964), "Pascal's Triangle and powers of 11",
*The Mathematics Teacher***57**(6): 392-394. - ↑ Arnold, Robert (2004), "Newton’s Unfinished Business: Uncovering the Hidden Powers of Eleven in Pascal’s Triangle",
*Proceedings of Undergraduate Mathematics Day*, https://ecommons.udayton.edu/mth_epumd/6/. - ↑ Islam, Robiul (2020),
*Finding any row of Pascal's triangle extending the concept of power of 11*, https://www.researchgate.net/publication/341785706_Finding_any_row_of_Pascal's_triangle_extending_the_concept_of_power_of_11. - ↑ Winteridge, David J. (1984), "Pascal's Triangle and Powers of 11",
*Mathematics in School***13**(1): 12-13. - ↑ Kallós, Gábor (2006), "A generalization of Pascal’s triangle using powers of base numbers",
*ANNALES MATHÉMATIQUES***13**(1): 1-15, https://ambp.centre-mersenne.org/item/10.5802/ambp.211.pdf. - ↑ Hilton, P. (1989). "Extending the binomial coefficients to preserve symmetry and pattern".
*Symmetry 2*. In International Series in Modern Applied Mathematics and Computer Science. Pergamon. pp. 89-91. doi:10.1016/B978-0-08-037237-2.50013-1. https://www.sciencedirect.com/science/article/pii/B9780080372372500131.. - ↑ Mueller, Francis J. (1965), "More on Pascal's Triangle and powers of 11",
*The Mathematics Teacher***58**(5): 425-428. - ↑ Low, Leone (1966), "Even more on Pascal's Triangle and Powers of 11",
*The Mathematics Teacher***59**(5): 461-463. - ↑ The
*a priori*[math]\displaystyle{ {n \choose n - 1} = \{10_{n}, 0\} }[/math] and [math]\displaystyle{ {n \choose 1} = 10_{n} }[/math] of the terminal row implies an exhaustion and repetition of [math]\displaystyle{ \mathbb{Z} }[/math], which leads to a violation of the*Pascal identity*in Hilton's extension of the triangle, i.e. [math]\displaystyle{ 10_{n} = n \equiv \{-1, 0\} \;\mathrm{mod}\; \text{“Z + 1”} }[/math] where [math]\displaystyle{ \text{“Z + 1”} }[/math] is prime (coprime to [math]\displaystyle{ \mathbb{Z} }[/math]) since its divisors would otherwise continue cycling*through*Z to form products larger than Z (its residue classes each contain exactly one member, even if Z itself somehow repeats). Since [math]\displaystyle{ {n \choose k} = \frac{n!}{k! (n - k)!} }[/math], [math]\displaystyle{ n = k + 1 }[/math] in the limit as [math]\displaystyle{ a = n }[/math] approaches [math]\displaystyle{ \infty }[/math]. Factoring [math]\displaystyle{ n^{n} = n! }[/math] from the row series yields [math]\displaystyle{ 1.1^{n}_{n} }[/math], which entails [math]\displaystyle{ k = {\scriptstyle {n \choose k}} = {\scriptstyle {0 \choose 0} = \frac{0}{0}} }[/math] in the hexagonal array. If [math]\displaystyle{ k + 0 = k + 10_{1} }[/math], then [math]\displaystyle{ k = {\scriptstyle \frac{0}{0}} = \{(-1)^Z, Z - Z\} }[/math], thus [math]\displaystyle{ k = \{-1, 0\} }[/math], thus [math]\displaystyle{ k = \{0, 1\} }[/math], thus [math]\displaystyle{ k = \{1, 2\} }[/math], and so on. Fjelstad, P. (1991), "Extending Pascal's Triangle",*Computers & Mathematics with Applications***21**(9): 3, doi:10.1016/0898-1221(91)90119-O, https://www.sciencedirect.com/science/article/pii/089812219190119O.

## External links

- Hazewinkel, Michiel, ed. (2001), "Pascal triangle",
*Encyclopedia of Mathematics*, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=p/p071790 - Weisstein, Eric W.. "Pascal's triangle". http://mathworld.wolfram.com/PascalsTriangle.html.
- The Old Method Chart of the Seven Multiplying Squares
*(from the Ssu Yuan Yü Chien of Chu Shi-Chieh, 1303, depicting the first nine rows of Pascal's triangle)* - Pascal's Treatise on the Arithmetic Triangle
*(page images of Pascal's treatise, 1654; summary)*

Original source: https://en.wikipedia.org/wiki/Pascal's triangle.
Read more |