|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| [[Image:Pascal's triangle 5.svg|right|thumb|250px|The first six rows of Pascal's triangle]] | | I'm a 39 years old and working at the college (Social Science Education).<br>In my spare time I'm trying to [http://pinterest.com/search/pins/?q=learn+Spanish learn Spanish]. I've been twicethere and look forward to go there sometime near future. I like to read, preferably on my ipad. I really love to watch Family Guy and Sons of Anarchy as well as documentaries about anything geological. I love Kiteboarding.<br><br> |
|
| |
|
| In [[mathematics]], '''Pascal's triangle''' is a [[triangular array]] of the [[binomial coefficient]]s. It is named after the French mathematician [[Blaise Pascal]] in much of the [[Western world]], although other mathematicians studied it centuries before him in [[India]],<ref>Maurice Winternitz, ''History of Indian Literature'', Vol. III</ref> [[Greece]], [[Iran]], [[China]], [[Germany]], and [[Italy]].<ref name=roots>{{cite book |author=Peter Fox |title=Cambridge University Library: the great collections |url=http://books.google.com/books?id=xxlgKP5thL8C&pg=PA13 |year=1998 |publisher=Cambridge University Press |isbn=978-0-521-62647-7 |page=13}}</ref>
| | Also visit my page: [http://Learnlsn.org/members/marviboyles/activity/42984/ how To get free Fifa 15 coins] |
| | |
| The rows of Pascal's triangle are conventionally enumerated starting with row ''n'' = 0 at the top. The entries in each row are numbered from the left beginning with ''k'' = 0 and are usually staggered relative to the numbers in the adjacent rows. A simple construction of the triangle proceeds in the following manner. On row 0, write only the number 1. Then, to construct the elements of following rows, add the number above and to the left with the number above and to the right to find the new value. If either the number to the right or left is not present, substitute a zero in its place. For example, the first number in the first row is 0 + 1 = 1, whereas the numbers 1 and 3 in the third row are added to produce the number 4 in the fourth row.
| |
| | |
| This construction is related to the binomial coefficients by [[Pascal's rule]], which says that if
| |
| | |
| :<math>(x+y)^n=\sum_{k=0}^n{n \choose k}x^{n-k}y^{k}</math> | |
| | |
| then
| |
| | |
| :<math> {n \choose k} = {n-1 \choose k-1} + {n-1 \choose k}</math>
| |
| | |
| for any non-negative integer ''n'' and any integer ''k'' between 0 and ''n''.<ref>The binomial coefficient <math>\scriptstyle {n \choose k}</math> is conventionally set to zero if ''k'' is either less than zero or greater than ''n''.</ref>
| |
| | |
| Pascal's triangle has higher [[dimension]]al generalizations. The three-dimensional version is called ''[[Pascal's pyramid]]'' or ''Pascal's tetrahedron'', while the general versions are called ''[[Pascal's simplex|Pascal's simplices]]''.
| |
| | |
| [[Image:PascalTriangleAnimated2.gif|thumb|Each number in the triangle is the sum of the two directly above it.]]
| |
| | |
| ==History==
| |
| | |
| [[Image:Yanghui triangle.gif|thumb|right|[[Yang Hui]] (Pascal's) triangle, as depicted by the Chinese using [[Counting rods|rod numerals]].]]
| |
| [[Image:TrianguloPascal.jpg|thumb|right|Blaise Pascal's version of the triangle]]
| |
| | |
| The set of numbers that form Pascal's triangle were known before Pascal. However, Pascal developed many uses of it and was the first one to organize all the information together in his [[treatise]], ''Traité du triangle arithmétique'' (1653). The numbers originally arose from Indian studies of [[combinatorics]] and binomial numbers and the [[Ancient Greece|Greeks]]' study of [[figurate numbers]].<ref>[http://www.bookrags.com/research/pascals-triangle-wom/ Pascal's Triangle | World of Mathematics Summary]</ref>
| |
| | |
| From later commentary, it appears that the binomial coefficients and the additive formula for generating them, <math>\tbinom{n}{r}=\tbinom{n-1}{r}+\tbinom{n-1}{r-1}</math>, were known to [[Pingala]] in or before the 2nd century BC.<ref name="edwards">A. W. F. Edwards. ''Pascal's arithmetical triangle: the story of a mathematical idea.'' JHU Press, 2002. Pages 30–31.</ref><ref name="ed-cam">{{citation|contribution=The arithmetical triangle|first=A. W. F.|last=Edwards|pages=166–180|title=Combinatorics: Ancient and Modern|publisher=Oxford University Press|year=2013|editor1-first=Robin|editor1-last=Wilson|editor2-first=John J.|editor2-last=Watkins}}.</ref> While Pingala's work only survives in fragments, the commentator [[Varāhamihira]], around 505, gave a clear description of the additive formula,<ref name="ed-cam"/> and a more detailed explanation of the same rule was given by [[Halayudha]], around 975. Halayudha also explained obscure references to ''Meru-prastaara'', the "Staircase of [[Mount Meru]]", giving the first surviving description of the arrangement of these numbers into a triangle.<ref name="ed-cam"/> In approximately 850, the [[Jain]] mathematician [[Mahāvīra (mathematician)|Mahāvīra]] gave a different formula for the binomial coefficients, using multiplication, equivalent to the modern formula <math>\tbinom{n}{r}=\tfrac{n!}{r!(n-r)!}</math>.<ref name="ed-cam"/> In 1068, four columns of the first sixteen rows were given by the mathematician Bhattotpala, who was the first recorded mathematician to equate the additive and multiplicative formulas for these numbers.<ref name="ed-cam"/>
| |
| | |
| At around the same time, it was discussed in [[History of Iran|Persia]] (Iran) by the [[Mathematics in medieval Islam|Persian]] mathematician, [[Al-Karaji]] (953–1029).<ref name=Karaji>{{MacTutor|id=Al-Karaji|title=Abu Bekr ibn Muhammad ibn al-Husayn Al-Karaji}}</ref> It was later repeated by the Persian poet-astronomer-mathematician [[Omar Khayyám]] (1048–1131); thus the triangle is referred to as the '''Khayyam-Pascal triangle''' or '''Khayyam triangle''' in Iran. Several theorems related to the triangle were known, including the [[binomial theorem]]. Khayyam used a method of finding [[nth root|''n''th roots]] based on the binomial expansion, and therefore on the binomial coefficients.<ref>{{citation
| |
| | last = Coolidge | first = J. L. | author-link = Julian Coolidge
| |
| | journal = [[The American Mathematical Monthly]]
| |
| | jstor = 10.2307/2305028
| |
| | mr = 0028222
| |
| | pages = 147–157
| |
| | title = The story of the binomial theorem
| |
| | volume = 56
| |
| | year = 1949}}.</ref>
| |
| | |
| Pascal's triangle was known in China in the early 11th century through the work of the Chinese mathematician [[Jia Xian]] (1010–1070). In 13th century, [[Yang Hui]] (1238–1298) presented the triangle and hence it is still called '''Yang Hui's triangle''' in [[China]].<ref>Weisstein, Eric W. (2003). ''CRC concise encyclopedia of mathematics'', p.2169. ISBN 978-1-58488-347-0.</ref>
| |
| | |
| In the west, the binomial coefficients were calculated by [[Gersonides]] in the early 14th century, using the multiplicative formula for them.<ref name="ed-cam"/>
| |
| [[Petrus Apianus]] (1495–1552) published the full triangle on the [[Book frontispiece|frontispiece]] of his book on business calculations in 1527. This is the first record of the triangle in Europe.<ref>{{citation|title=Nature of Mathematics|first=Karl J.|last=Smith|publisher=Cengage Learning|year=2010|isbn=9780538737586|page=10|url=http://books.google.com/books?id=Di0HyCgDYq8C&pg=PA10}}.</ref> [[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 number]]s.<ref name="ed-cam"/> In [[Italy]], Pascal's triangle is referred to as '''Tartaglia's triangle''', named for the Italian [[algebra]]ist [[Niccolò Fontana Tartaglia]] (1500–77), who published six rows of the triangle in 1556.<ref name="ed-cam"/>
| |
| [[Gerolamo Cardano]], also, published the triangle as well as the additive and multiplicative rules for constructing it in 1570.<ref name="ed-cam"/>
| |
| | |
| Pascal's ''Traité du triangle arithmétique'' (''Treatise on Arithmetical Triangle'') was published posthumously in 1665. 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 after 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 modern Western name.<ref>{{Cite journal | doi = 10.2307/2975209 | title = The Binomial Coefficient Function | first = David | last = Fowler | authorlink = David Fowler (mathematician) | journal = [[The American Mathematical Monthly]] | volume = 103 | issue = 1 |date=January 1996 | pages = 1–17 | jstor = 2975209 }} See in particular p. 11.</ref>
| |
| | |
| ==Binomial expansions==
| |
| | |
| Pascal's triangle determines the coefficients which arise in [[binomial expansion]]s. For an example, consider the expansion
| |
| | |
| :(''x'' + ''y'')<sup>2</sup> = ''x''<sup>2</sup> + 2''xy'' + ''y''<sup>2</sup> = '''1'''''x''<sup>2</sup>''y''<sup>0</sup> + '''2'''''x''<sup>1</sup>''y''<sup>1</sup> + '''1'''''x''<sup>0</sup>''y''<sup>2</sup>.
| |
| | |
| Notice the coefficients are the numbers in row two of Pascal's triangle: 1, 2, 1.
| |
| In general, when a [[binomial]] like ''x'' + ''y'' is raised to a positive integer power we have:
| |
| | |
| :(''x'' + ''y'')<sup>''n''</sup> = ''a''<sub>0</sub>''x''<sup>''n''</sup> + ''a''<sub>1</sub>''x''<sup>''n''−1</sup>''y'' + ''a''<sub>2</sub>''x''<sup>''n''−2</sup>''y''<sup>2</sup> + ... + ''a''<sub>''n''−1</sub>''xy''<sup>''n''−1</sup> + ''a''<sub>''n''</sub>''y''<sup>''n''</sup>,
| |
| | |
| where the coefficients ''a''<sub>''i''</sub> in this expansion are precisely the numbers on row ''n'' of Pascal's triangle. In other words,
| |
| | |
| :<math>a_i = {n \choose i}.</math>
| |
| | |
| This is the [[binomial theorem]].
| |
| | |
| Notice that the entire right diagonal of Pascal's triangle corresponds to the coefficient of ''y''<sup>''n''</sup> in these binomial expansions, while the next diagonal corresponds to the coefficient of ''xy''<sup>''n''−1</sup> 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 (''x'' + 1)<sup>''n''+1</sup> in terms of the corresponding coefficients of (''x'' + 1)<sup>''n''</sup> (setting ''y'' = 1 for simplicity). Suppose then that
| |
| | |
| :<math>(x+1)^n=\sum_{i=0}^n a_i x^i.</math>
| |
| | |
| Now
| |
| | |
| :<math> (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>
| |
| | |
| [[Image:PascalsTriangleCoefficient.jpg|thumb|right|Six rows Pascal's triangle as Binomial Coefficients]]
| |
| | |
| The two summations can be reorganized as follows:
| |
| | |
| :<math>
| |
| \begin{align}
| |
| & \sum_{i=0}^{n } a_{i } x^{i+1} + \sum_{i=0}^n a_i x^i \\
| |
| & {} = \sum_{i=1}^{n+1} a_{i-1} x^{i } + \sum_{i=0}^n a_i x^i \\
| |
| & {} = \sum_{i=1}^{n } a_{i-1} x^{i } + \sum_{i=1}^n a_i x^i + a_0x^0 + a_{n}x^{n+1} \\
| |
| & {} = \sum_{i=1}^{n } (a_{i-1} + a_i)x^{i } + a_0x^0 + a_{n}x^{n+1} \\
| |
| & {} = \sum_{i=1}^{n } (a_{i-1} + a_i)x^{i } + x^0 + x^{n+1}
| |
| \end{align}
| |
| </math>
| |
| | |
| (because of how raising a polynomial to a power works, ''a''<sub>0</sub> = ''a''<sub>''n''</sub> = 1).
| |
| | |
| We now have an expression for the polynomial (''x'' + 1)<sup>''n''+1</sup> in terms of the coefficients of (''x'' + 1)<sup>''n''</sup> (these are the ''a''<sub>''i''</sub>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 ''x'', and that the a-terms are the coefficients of the polynomial (''x'' + 1)<sup>''n''</sup>, and we are determining the coefficients of (''x'' + 1)<sup>''n''+1</sup>. Now, for any given ''i'' not 0 or ''n'' + 1, the coefficient of the ''x''<sup>''i''</sup> term in the polynomial (''x'' + 1)<sup>''n''+1</sup> is equal to ''a''<sub>''i''</sub> (the figure above and to the left of the figure to be determined, since it is on the same diagonal) + ''a''<sub>''i''−1</sub> (the figure to the immediate right of the first figure). 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 (mathematics)|proof]] (by [[mathematical induction]]) of the binomial theorem. Since
| |
| (''a'' + ''b'')<sup>''n''</sup> = ''b''<sup>''n''</sup>(''a''/''b'' + 1)<sup>''n''</sup>, the coefficients are identical in the expansion of the general case.
| |
| | |
| An interesting consequence of the binomial theorem is obtained by setting both variables ''x'' and ''y'' equal to one. In this case, we know that (1 + 1)<sup>''n''</sup> = 2<sup>''n''</sup>, and so
| |
| | |
| :<math> {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 ''n''th row of Pascal's triangle is the ''n''th power of 2.
| |
| | |
| ==Combinations==
| |
| | |
| A second useful application of Pascal's triangle is in the calculation of [[combination]]s. For example, the number of combinations of ''n'' things taken ''k'' at a time (called ''[[n choose k]]'') can be found by the equation
| |
| | |
| :<math> \mathbf{C}(n,k) = \mathbf{C}_k^n= {_nC_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. For example, suppose a basketball team has 10 players and wants to know how many ways there are of selecting 8. Provided we have the first row and the first entry in a row numbered 0, the answer is entry 8 in row 10: 45. That is, the solution of 10 choose 8 is 45.
| |
| | |
| ==Relation to binomial distribution and convolutions==
| |
| When divided by 2<sup>''n''</sup>, the ''n''th row of Pascal's triangle becomes the [[binomial distribution]] in the symmetric case where ''p'' = 1/2. By the [[central limit theorem]], this distribution approaches the [[normal distribution]] as ''n'' 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 exactly corresponds to discrete convolution, so that repeatedly convolving the sequence {..., 0, 0, 1, 1, 0, 0, ...} with itself corresponds to taking powers of 1 + ''x'', 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 leads to the normal distribution in the limit.
| |
| | |
| ==Patterns and properties==
| |
| | |
| Pascal's triangle has many properties and contains many patterns of numbers.
| |
| | |
| === Rows ===
| |
| [[File:Pascal's triangle - 1000th row.png|150px|right|thumb|1000th row of Pascal's triangle, arranged vertically, with grey-scale representations of decimal digits of the coefficients right-aligned. The left boundary of the dark segment-like shape corresponds roughly to the graph of the logarithm of the binomial coefficients, and illustrates that they form a [[logarithmically concave function|log-concave]] sequence.]]
| |
| | |
| *The sum of the elements of a single row is twice the sum of the row preceding it. For example, row 0 (the first 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 {{mvar|n}} is equal to {{math|2<sup>''n''</sup>}}.
| |
| *Taking product of the elements in each row, the sequence of products ([http://oeis.org/A001142 Sloane's A001142]) is related to the base of the natural logarithm, ''[[E (mathematical constant)|e]]''.<ref>{{citation
| |
| | last = Brothers | first = H. J.
| |
| | doi = 10.4169/math.mag.85.1.51
| |
| | journal = [[Mathematics Magazine]]
| |
| | mr =
| |
| | pages = 51
| |
| | title = Finding e in Pascal’s triangle
| |
| | volume = 85
| |
| | year = 2012}}.</ref><ref>{{citation
| |
| | last = Brothers | first = H. J.
| |
| | doi =
| |
| | journal = [[The Mathematical Gazette]]
| |
| | mr =
| |
| | pages = 145–148
| |
| | title = Pascal's triangle: The hidden stor-''e''
| |
| | volume = 96
| |
| | year = 2012}}.</ref> Specifically, define the sequence ''s''<sub>''n''</sub> as follows:
| |
| ::<math>s_n=\prod_{k=0}^{n}\binom{n}{k} = \prod_{k=0}^{n}\frac{n!}{k!(n-k)!}~, ~ n \geq 0.</math>
| |
| :Then, the ratio of successive row products is
| |
| ::<math>\frac{s_{n+1}}{s_{n}}=\frac{(n+1)!^{(n+2)}\prod_{k=0}^{n+1}{k!^{-2}}}{n!^{(n+1)}\prod_{k=0}^{n}{k!^{-2}}}
| |
| =\frac{(n+1)^n}{n!}</math>
| |
| :and the ratio of these ratios is
| |
| ::<math>\frac{(s_{n+1})(s_{n-1})}{(s_n)^2}=\left(\frac{n+1}{n}\right)^n, ~ n\geq 1.</math>
| |
| :The right-hand side of the above equation takes the form of the limit definition of ''e''
| |
| ::<math>\textit{e} =\lim_{n\to\infty}\left(1+\frac{1}{n}\right)^{n}.</math>
| |
| * ''The value of a row'', if each entry is considered a decimal place (and numbers larger than 9 carried over accordingly) is a power of 11 ( {{math|11<sup>''n''</sup>}}, for row {{mvar|n}}). Thus, in row 2, {{math|⟨1, 2, 1⟩}} becomes 11<sup>2</sup>, while {{math|⟨1, 5, 10, 10, 5, 1⟩}} in row five becomes (after carrying) 161,051, which is 11<sup>5</sup>. This property is explained by setting {{math|1=''x'' = 10}} in the binomial expansion of {{math|(''x'' + 1)<sup>''n''</sup>}}, and adjusting values to the decimal system. But {{mvar|x}} can be chosen to allow rows to represent values in [[radix|''any'' base]].
| |
| ** In [[base 3]]: {{math|1=1 2 1<sub>3</sub> = 4<sup>2</sup> (16)}}
| |
| ** {{math|1=⟨1, 3, 3, 1⟩ → 2 1 0 1<sub>3</sub> = 4<sup>3</sup> (64)}}
| |
| ** In [[base 9]]: {{math|1=1 2 1<sub>9</sub> = 10<sup>2</sup> (100)}}
| |
| ** {{math|1=1 3 3 1<sub>9</sub> = 10<sup>3</sup> (1000)}}
| |
| ** {{math|1=⟨1, 5, 10, 10, 5, 1⟩ → 1 6 2 1 5 1<sub>9</sub> = 10<sup>5</sup> (100000)}}
| |
| *: In particular (see previous property), for {{math|1=''x'' = 1}} place value remains ''constant'' (1<sup>''place''</sup>=1). Thus entries can simply be added in interpreting the value of a row.
| |
| * 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 {{mvar|n}} equals the middle element of row {{math|2''n''}}. For example, 1<sup>2</sup> + 4<sup>2</sup> + 6<sup>2</sup> + 4<sup>2</sup> + 1<sup>2</sup> = 70. In general form:
| |
| ::<math>\sum_{k=0}^n {n \choose k}^2 = {2n \choose n}.</math>
| |
| * Another interesting pattern is that on any row {{mvar|n}}, where {{mvar|n}} is even, the middle term minus the term two spots to the left equals a [[Catalan number]], specifically the {{math|(''n''/2 + 1)}} Catalan number. For example: on row 4, {{math|1=6 − 1 = 5}}, which is the 3rd Catalan number, and {{math|1=4/2 + 1 = 3}}.
| |
| * Another interesting property of Pascal's triangle is that in a row {{mvar|p}} where {{mvar|p}} is a [[prime number]], all the terms in that row except the 1s are [[multiple (mathematics)|multiples]] of {{mvar|p}}. This can be proven easily, since if <math>p\in \mathbb{P}</math>, then {{mvar|p}} has no factors save for 1 and itself. Every entry in the triangle is an integer, so therefore by definition <math>(p-k)!</math> and <math>k!</math> are factors of <math>p!\,</math>. However, there is no possible way {{mvar|p}} itself can show up in the denominator, so therefore {{mvar|p}} (or some multiple of it) must be left in the numerator, making the entire entry a multiple of {{mvar|p}}.
| |
| <!--
| |
| [[Image:Exp binomial grey.svg|thumb|300px|left|Binomial matrix as matrix exponential (illustration for 5×5 matrices). All the dots represent 0.]] Comment: picture hidded since useless rescaling, also wrong paragraph for the pic -->
| |
| *'''Parity:''' To count [[odd number|odd]] terms in row {{mvar|n}}, convert {{mvar|n}} to [[binary numeral system|binary]]. Let {{mvar|x}} be the number of 1s in the binary representation. Then number of odd terms will be {{math|2<sup>''x''</sup>}}.<ref>{{citation
| |
| | last = Fine | first = N. J.
| |
| | doi = 10.2307/2304500
| |
| | journal = [[American Mathematical Monthly]]
| |
| | mr = 0023257
| |
| | pages = 589–592
| |
| | title = Binomial coefficients modulo a prime
| |
| | volume = 54
| |
| | year = 1947}}. See in particular Theorem 2, which gives a generalization of this fact for all prime moduli.</ref>
| |
| *Polarity: Yet another interesting pattern, when rows of Pascal's triangle are added and subtracted together sequentially, every row with a middle number, meaning rows that have an odd number of integers, they are always equal 0. Example, row 4 is , 1 4 6 4 1, so the formula would be 6 - (4+4) + (1+1) = 0, row 6 is 1 6 15 20 15 6 1, so the formula would be 20 - (15+15) + (6+6) - (1+1) = 0. So every even row of the Pascal triangle equals 0 when you take the middle number, then subtract the integers directly next to the center, then add the next integers, then subtract, so on and so forth until you reach the end of the row.
| |
| | |
| === 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 number]]s in order.
| |
| * Moving inwards, the next pair of diagonals contain the [[triangular number]]s in order.
| |
| * The next pair of diagonals contain the [[tetrahedral number]]s in order, and the next pair give [[pentatope number]]s.
| |
| | |
| ::<math>\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''<sup>th</sup> d-dimensional number is equal to the ''d''<sup>th</sup> ''n''-dimensional number.
| |
| | |
| An alternative formula that does not involve recursion is as follows:
| |
| | |
| ::<math>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''<sup>(''d'')</sup> is the [[Pochhammer symbol|rising factorial]].
| |
| | |
| The geometric meaning of a function P<sub>''d''</sub> is: P<sub>''d''</sub>(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<sub>''d''</sub>(1) = 1. Place these dots in a manner analogous to the placement of numbers in Pascal's triangle. To find P<sub>''d''</sub>(''x''), have a total of ''x'' dots composing the target shape. P<sub>''d''</sub>(''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<sub>0</sub>(''x'') = ''1'' and P<sub>1</sub>(''x'') = ''x'', which is the sequence of natural numbers. The number of dots in each layer corresponds to P<sub>''d'' − 1</sub>(''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>n</math> with the elements <math>\tbinom{n}{0}</math>, <math>\tbinom{n}{1}</math>, ..., <math>\tbinom{n}{n}</math>, begin with <math>\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> {n\choose k}= {n\choose k-1}\times \frac{n+1-k}{k}.</math>
| |
| | |
| For example, to calculate row 5, the fractions are <math>\tfrac{5}{1}</math>, <math>\tfrac{4}{2}</math>, <math>\tfrac{3}{3}</math>, <math>\tfrac{2}{4}</math> and <math>\tfrac{1}{5}</math>, and hence the elements are <math>\tbinom{5}{0}=1</math>, <math>\tbinom{5}{1}=1\times\tfrac{5}{1}=5</math>, <math>\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>\tbinom{n}{0}</math>, <math>\tbinom{n+1}{1}</math>, <math>\tbinom{n+2}{2}</math>, ..., we again begin with <math>\tbinom{n}{0}=1</math> and obtain subsequent elements by multiplication by certain fractions:
| |
| | |
| :<math> {n+k\choose k}= {n+k-1\choose k-1}\times \frac{n+k}{1+k}.</math>
| |
| | |
| For example, to calculate the diagonal beginning at <math>\tbinom{5}{0}</math>, the fractions are <math>\tfrac{6}{1}</math>, <math>\tfrac{7}{2}</math>, <math>\tfrac{8}{3}</math>, ..., and the elements are <math>\tbinom{5}{0}=1</math>, <math>\tbinom{6}{1}=1\times\tfrac{6}{1}=6</math>, <math>\tbinom{7}{2}=6\times\tfrac{7}{2}=21</math>, etc. By symmetry, these elements are equal to <math>\tbinom{5}{5}</math>, <math>\tbinom{6}{5}</math>, <math>\tbinom{7}{5}</math>, etc.
| |
| | |
| ===Overall patterns and properties===
| |
| [[Image:SierpinskiTriangle.PNG|thumb|Sierpinski triangle]]
| |
| * The pattern obtained by coloring only the odd numbers in Pascal's triangle closely resembles the [[fractal]] called the [[Sierpinski triangle]]. This resemblance becomes more and more 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.<ref>{{cite journal |author=Wolfram, S. |title=Computation Theory of Cellular Automata |journal=Comm. Math. Phys. |volume=96 |pages=15–57 |year=1984 |doi=10.1007/BF01217347 |bibcode=1984CMaPh..96...15W }}</ref> 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.
| |
| | |
| [[File:Pascal's triangle pathways.svg|thumb|Pascal's triangle overlaid on a grid gives the number of unique paths to each square, assuming only right and down movements are considered.]]
| |
| * Imagine each number in the triangle is a node in a grid which is connected to the adjacent numbers above and below it. Now for any node in the grid, count the number of paths there are in the grid (without backtracking) which connect this node to the top node (1) of the triangle. The answer is the Pascal number associated to that node. The interpretation of the number in Pascal's Triangle as the number of paths to that number from the tip means that on a [[Plinko]] game board shaped like a triangle, the probability of winning prizes nearer the center will be higher than winning prizes on the edges.
| |
| | |
| [[Image:Pascal's Triangle 4 paths.svg|center|400px]]
| |
| | |
| *One property of the triangle is revealed if the rows are left-justified. In the triangle below, the diagonal coloured bands sum to successive [[Fibonacci number]]s.
| |
| ::{| style="align:center;"
| |
| |- align=center
| |
| |bgcolor=red|1
| |
| |- align=center
| |
| | style="background:orange;"|1
| |
| | style="background:yellow;"|1
| |
| |- align=center
| |
| | style="background:yellow;"|1
| |
| |bgcolor=lime|2
| |
| |bgcolor=aqua|1
| |
| |- align=center
| |
| |bgcolor=lime|1
| |
| |bgcolor=aqua|3
| |
| | style="background:violet;"|3
| |
| |bgcolor=red|1
| |
| |- align=center
| |
| |bgcolor=aqua|1
| |
| | style="background:violet;"|4
| |
| |bgcolor=red|6
| |
| | style="background:orange;"|4
| |
| | style="background:yellow;"|1
| |
| |- align=center
| |
| | style="background:violet;"|1
| |
| |bgcolor=red|5
| |
| | style="background:orange;"|10
| |
| | style="background:yellow;"|10
| |
| |bgcolor=lime|5
| |
| |bgcolor=aqua|1
| |
| |- align=center
| |
| |bgcolor=red|1
| |
| | style="background:orange;"|6
| |
| | style="background:yellow;"|15
| |
| |bgcolor=lime|20
| |
| |bgcolor=aqua|15
| |
| | style="background:violet;"|6
| |
| |bgcolor=red|1
| |
| |- align=center
| |
| | style="background:orange;"|1
| |
| | style="background:yellow;"|7
| |
| |bgcolor=lime|21
| |
| |bgcolor=aqua|35
| |
| | style="background:violet;"|35
| |
| |bgcolor=red|21
| |
| | style="background:orange;"|7
| |
| | style="background:yellow;"|1
| |
| |- align=center
| |
| | style="background:yellow; width:50px;"|1
| |
| | style="background:lime; width:50px;"|8
| |
| | style="background:aqua; width:50px;"|28
| |
| | style="background:violet; width:50px;"|56
| |
| | style="background:red; width:50px;"|70
| |
| | style="background:orange; width:50px;"|56
| |
| | style="background:yellow; width:50px;"|28
| |
| | style="background:lime; width:50px;"|8
| |
| | style="background:aqua; width:50px;"|1
| |
| |}
| |
| | |
| === Construction as matrix exponential ===
| |
| [[Image:Exp binomial 256 wiki.png|thumb|right|Binomial matrix as matrix exponential. All the dots represent 0.]]
| |
| {{See also|Pascal matrix}}
| |
| 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.
| |
| {{-}}
| |
| | |
| === Number of elements 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 and a cube).
| |
| | |
| 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 ([[Vertex (graph theory)|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 [[simplex|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 (the meaning of the final 1 will be explained shortly). 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 [[cell (mathematics)|cells]] (polyhedral elements) is 0 (the original triangle possesses none) + 1 (built upon the single face of the original triangle) = '''1'''; the number of faces is 1 (the original triangle itself) + 3 (the new faces, each built upon an edge of the original triangle) = '''4'''; the number of edges is 3 (from the original triangle) + 3 (the new edges, each built upon a vertex of the original triangle) = '''6'''; the number of new vertices is 3 (from the original triangle) + 1 (the new vertex that was added to create the tetrahedron from the triangle) = '''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. Alternately, the "extra" 1 in a row can be thought of as the empty space, or field, in which the vertices, edges, faces, etc., exist.
| |
| | |
| A similar pattern is observed relating to [[square (geometry)|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)<sup>Row Number</sup>, instead of (''x'' + 1)<sup>Row Number</sup>. 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> {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:
| |
| | |
| 1
| |
| 1 2
| |
| 1 4 4
| |
| 1 6 12 8
| |
| 1 8 24 32 16
| |
| 1 10 40 80 80 32
| |
| 1 12 60 160 240 192 64
| |
| 1 14 84 280 560 672 448 128
| |
| | |
| The other way of manufacturing this triangle is to start with Pascal's triangle and multiply each entry by 2<sup>k</sup>, 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<sup>Position Number</sup> = 6 × 2<sup>2</sup> = 6 × 4 = 24. Now that the analog triangle has been constructed, the number of elements of any dimension that compose an arbitrarily dimensioned [[cube (geometry)|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<sup>''m'' − 1</sup>. Again, to use the elements of row 5 as an example: <math>1 + 8 + 24 + 32 + 16 = 81</math>, which is equal to <math>3^4 = 81</math>.
| |
| | |
| === Fourier transform of sin(''x'')<sup>''n''+1</sup>/''x'' ===
| |
| | |
| As stated previously, the coefficients of (''x'' + 1)<sup>''n''</sup> are the nth row of the triangle. Now the coefficients of (''x'' − 1)<sup>''n''</sup> 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'')<sup>''n''+1</sup>/''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.<ref>For a similar example, see e.g. {{citation|title=Solvent suppression in Fourier transform nuclear magnetic resonance|first=P. J.|last=Hore|journal=Journal of Magnetic Resonance|year=1983|volume=55|issue=2|pages=283–300|doi=10.1016/0022-2364(83)90240-8}}.</ref> For example, the values of the step function that results from:
| |
| | |
| :<math>\,\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>\,\mathfrak{Re}\left(\text{Fourier} \left[ \frac{\sin(x)^1}{x}\right] \right)</math>
| |
| | |
| is the [[boxcar function]].<ref>{{citation|title=An Introduction to Digital Signal Processing|first=John H.|last=Karl|publisher=Elsevier|year=2012|isbn=9780323139595|page=110|url=http://books.google.com/books?id=9Dv1PClLZWIC&pg=PA110}}.</ref> The corresponding row of the triangle is row 0, which consists of just the number 1.
| |
| | |
| If n is [[congruence relation|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 [[imaginary unit|i]], which cycle around the intersection of the axes with the unit circle in the complex plane:
| |
| | |
| :::<math> \, +i,-1,-i,+1,+i,\ldots \, </math>
| |
| | |
| === Elementary cellular automaton ===
| |
| The pattern produced by an [[elementary cellular automaton]] using rule 60 is exactly Pascal's triangle of binomial coefficients reduced modulo 2 (black cells correspond to odd binomial coefficients).<ref>{{cite book |author=Wolfram, S. |title=A New Kind of Science |publisher=Wolfram Media |location=Champaign IL |year=2002 |pages=870, 931–2 }}</ref> Rule 102 also produces this pattern when trailing zeros are omitted. [[Rule 90]] produces the same pattern but with an empty cell separating each entry in the rows.
| |
| | |
| == Extensions ==
| |
| | |
| Pascal's Triangle can be extended to negative row numbers.
| |
| | |
| First write the triangle in the following form:
| |
| | |
| {|
| |
| |-
| |
| | || ''m'' = 0 || ''m'' = 1 || ''m'' = 2 || ''m'' = 3 || ''m'' = 4 || ''m'' = 5 || ...
| |
| |-
| |
| | ''n'' = 0 || 1 || 0 || 0 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 1 || 1 || 1 || 0 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 2 || 1 || 2 || 1 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 3 || 1 || 3 || 3 || 1 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 4 || 1 || 4 || 6 || 4 || 1 || 0 || ...
| |
| |}
| |
| | |
| Next, extend the column of 1s upwards:
| |
| | |
| {|
| |
| |-
| |
| | || ''m'' = 0 || ''m'' = 1 || ''m'' = 2 || ''m'' = 3 || ''m'' = 4 || ''m'' = 5 || ...
| |
| |-
| |
| | ''n'' = −4 || 1 || || || || || || ...
| |
| |-
| |
| | ''n'' = −3 || 1 || || || || || || ...
| |
| |-
| |
| | ''n'' = −2 || 1 || || || || || || ...
| |
| |-
| |
| | ''n'' = −1 || 1 || || || || || || ...
| |
| |-
| |
| | ''n'' = 0 || 1 || 0 || 0 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 1 || 1 || 1 || 0 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 2 || 1 || 2 || 1 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 3 || 1 || 3 || 3 || 1 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 4 || 1 || 4 || 6 || 4 || 1 || 0 || ...
| |
| |}
| |
| | |
| Now the rule:
| |
| | |
| :<math> {n \choose m} = {n-1 \choose m-1} + {n-1 \choose m}</math>
| |
| | |
| can be rearranged to:
| |
| | |
| :<math> {n-1 \choose m} = {n \choose m} - {n-1 \choose m-1}</math>
| |
| | |
| which allows calculation of the other entries for negative rows:
| |
| | |
| {|
| |
| |-
| |
| | || ''m'' = 0 || ''m'' = 1 || ''m'' = 2 || ''m'' = 3 || ''m'' = 4 || ''m'' = 5 || ...
| |
| |-
| |
| | ''n'' = −4 || 1 || −4 || 10 || −20 || 35 || −56 || ...
| |
| |-
| |
| | ''n'' = −3 || 1 || −3 || 6 || −10 || 15 || −21 || ...
| |
| |-
| |
| | ''n'' = −2 || 1 || −2 || 3 || −4 || 5 || −6 || ...
| |
| |-
| |
| | ''n'' = −1 || 1 || −1 || 1 || −1 || 1 || −1 || ...
| |
| |-
| |
| | ''n'' = 0 || 1 || 0 || 0 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 1 || 1 || 1 || 0 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 2 || 1 || 2 || 1 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 3 || 1 || 3 || 3 || 1 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 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>
| |
| {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'')<sup>''n''</sup>:
| |
| :<math>
| |
| (1+x)^n = \sum_{k=0}^\infty {n \choose k} x^k \quad |x| < 1
| |
| </math>
| |
| For example:
| |
| :<math>
| |
| (1+x)^{-2} = 1-2x+3x^2-4x^3+\cdots \quad |x| < 1
| |
| </math>
| |
| | |
| When viewed as a series, the rows of negative ''n'' diverge. However, they are still [[Divergent series#Abelian means|Abel summable]], which summation gives the standard values of 2<sup>''n''</sup>. (In fact, the ''n'' = -1 row results in [[Grandi's series]] which "sums" to 1/2, and the ''n'' = -2 row results in [[1 − 2 + 3 − 4 + · · ·|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:
| |
| {|
| |
| | || ''m'' = −4 || ''m'' = −3 || ''m'' = −2 || ''m'' = −1 || ''m'' = 0 || ''m'' = 1 || ''m'' = 2 || ''m'' = 3 || ''m'' = 4 || ''m'' = 5 || ...
| |
| |-
| |
| | ''n'' = −4 || 1 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = −3 || || 1 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = −2 || || || 1 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = −1 || || || || 1 || 0 || 0 || 0 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 0 || 0 || 0 || 0 || 0 || 1 || 0 || 0 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 1 || 0 || 0 || 0 || 0 || 1 || 1 || 0 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 2 || 0 || 0 || 0 || 0 || 1 || 2 || 1 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 3 || 0 || 0 || 0 || 0 || 1 || 3 || 3 || 1 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 4 || 0 || 0 || 0 || 0 || 1 || 4 || 6 || 4 || 1 || 0 || ...
| |
| |}
| |
| Applying the same rule as before leads to
| |
| {|
| |
| | || ''m'' = −4 || ''m'' = −3 || ''m'' = −2 || ''m'' = −1 || ''m'' = 0 || ''m'' = 1 || ''m'' = 2 || ''m'' = 3 || ''m'' = 4 || ''m'' = 5 || ...
| |
| |-
| |
| | ''n'' = −4 || 1 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = −3 || −3 || 1 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = −2 || 3 || −2 || 1 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = −1 || −1 || 1 || −1 || 1 || 0 || 0 || 0 || 0 || 0 || 0 || ..
| |
| |-
| |
| | ''n'' = 0 || 0 || 0 || 0 || 0 || 1 || 0 || 0 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 1 || 0 || 0 || 0 || 0 || 1 || 1 || 0 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 2 || 0 || 0 || 0 || 0 || 1 || 2 || 1 || 0 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 3 || 0 || 0 || 0 || 0 || 1 || 3 || 3 || 1 || 0 || 0 || ...
| |
| |-
| |
| | ''n'' = 4 || 0 || 0 || 0 || 0 || 1 || 4 || 6 || 4 || 1 || 0 || ...
| |
| |}
| |
| | |
| Note that this extension also has the properties that just as
| |
| :<math>
| |
| \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>
| |
| \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> {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>\Gamma(z)</math>.
| |
| | |
| ==See also==
| |
| * [[Bean machine]], Francis Galton's "quincunx"
| |
| * [[Bell triangle]]
| |
| * [[Binomial expansion]]
| |
| * [[Euler triangle]]
| |
| * [[Floyd's triangle]]
| |
| * [[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]]
| |
| | |
| ==References==
| |
| {{reflist|colwidth=30em}}
| |
| Meeting: 1003, Atlanta, Georgia, SS 24A, AMS Special Session on Design Theory and Graph Theory, I
| |
| 1003-06-607 Avery S. Zoch, Pascal’s Grey Scale
| |
| | |
| == External links ==
| |
| {{Commons category}}
| |
| * {{springer|title=Pascal triangle|id=p/p071790}}
| |
| * {{MathWorld | urlname=PascalsTriangle | title=Pascal's triangle }}
| |
| * [http://www.york.ac.uk/depts/maths/histstat/images/triangle.gif 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)''
| |
| * Implementation of [http://pinch-hitter.livejournal.com/13183.html Pascal Triangle in Java] – with conversion of higher digits to single digits.
| |
| * [http://www.lib.cam.ac.uk/RareBooks/PascalTraite Pascal's Treatise on the Arithmetic Triangle] ''(page images of Pascal's treatise, 1655; [http://www.lib.cam.ac.uk/RareBooks/PascalTraite/pascalintro.pdf summary])''
| |
| * [http://jeff560.tripod.com/p.html Earliest Known Uses of Some of the Words of Mathematics (P)]
| |
| * [http://www.cut-the-knot.org/Curriculum/Combinatorics/LeibnitzTriangle.shtml Leibniz and Pascal triangles]
| |
| * [http://www.cut-the-knot.org/Curriculum/Algebra/DotPatterns.shtml Dot Patterns, Pascal's Triangle, and Lucas' Theorem]
| |
| * [http://www.stetson.edu/~efriedma/periodictable/html/O.html Omar Khayyam the mathematician]
| |
| * [http://ptri1.tripod.com Info on Pascal's Triangle]
| |
| * [http://mathforum.org/dr.math/faq/faq.pascal.triangle.html Explanation of Pascal's Triangle and common occurrences, including link to interactive version specifying # of rows to view]
| |
| * Interactive Implementation of [http://pascaltriangle.ayestaran.co.uk/ Pascal Triangle in SQL]
| |
| * [http://www.mathsisfun.com/pascals-triangle.html Pascal's Triangle at mathsisfun.com]
| |
| * [http://mike.cynn.com/applets/pascal/ Pascal's Triangle Interactive Java Applet]
| |
| | |
| {{Blaise Pascal}}
| |
| | |
| {{DEFAULTSORT:Pascal's Triangle}}
| |
| [[Category:Factorial and binomial topics]]
| |
| [[Category:Blaise Pascal]]
| |
| [[Category:Triangles of numbers]]
| |
| [[Category:Indian inventions]]
| |