Pascal Type Triangles(1,m) (Part II)

Triangles with Ascending Diagonals

An interesting property of Pascal's triangle is that its diagonals sum to the Fibonacci sequence as shown online. (Just type in Pascal Fibonacci image). It can be stated here that an infinite number of Pascal type triangles, where the last number on a row may be any integer greater than zero, may be constructed as was shown in Part I. In addition, a method for their construction uses the expression (1 + mx)(1 + x)n where m > 0 and (1 + x)n is the polynomial used to generate the Pascal triangle. First the Pascal triangle(1,3) will be constructed and it will be shown that its coefficients can also be generated using the partial sums of a MacLaurin series as well as the binomial expansion of (1 + mx)(1 + x)n. Table I shows the known Pascal triangle(1,3) A095660 along with the sum of each of the rows corresponding to the Sloane number A198633 which can be generated by the formula 2n+2, starting at n=0 for row 2, given an initial number of 3.

The Pascal Triangle(1,3)

Table I (Triangle m=3)
3 3
13 4
143 8
1573 16
1612103 32
171822133 64
1825403516 3128
1933657551 193256

As can be seen, just as in the Pascal triangle, every number in each row of the triangle is obtained by adding the two numbers nearest it (diagonally) in the row above, except the two end numbers, which are 1 and 3.

We can produce the coefficients of the triangle(1,3) using a partial sums MacLaurin series which is a power series generated by a function f:

f(0) + f '(0)/1! x + f ''(0)/2! x2 + f '''(0)/3! x3 + ... + f n(0)/n! xn + ...

To derive the series, we first list the function and its derivatives and using the product rule on f(x) and its derivatives:

f(x) = (1 + 3x)(1 + x)n
f '(x) = 3(1 + x)n + (1 + 3x)(n)(1 + x)n-1
f ''(x) = 6n(1 + x)n-1 + (1 + 3x)(n)(n-1)(1 + x)n-2
f '''(x) = 9n(n-1)(1 + x)n-2 + (1 + 3x)(n)(n-1)(n-2)(1 + x)n-3
.
.
.
f k(x) = 3kn(n-1)...(n-k+1)(1 + x)n-k+1 + (1 + 3x)(n)(n-1)(n-2)...(n-k+1)(1 + x)n-k

Since we are given the first row as 3, for the three examples below we start the evaluation at the second thru fourth rows of the triangle, treating row 2 as n=0, and then sum up the partial sums to give the coefficients of each of these rows:

at n=0
f (0) = 1(1) = 1
f '(0) = 3(1) + 0 = 3
f(0) + f '(0)/1! x = 1 + 3x

at n=1
f (0) = 1(1) = 1
f '(0) = 3(1) + 1 = 4
f ''(0) = 6(1) + 0 = 6
f(0) + f '(0)/1! x + f ''(0)/2! = 1 + 4x + 3x2

at n=2
f (0) = 1(1) = 1
f '(0) = 3(1) + 2 = 5
f ''(0) = 12(1) + 2 = 14
f '''(0) = 18(1) + 0 = 18
f(0) + f '(0)/1! x + f ''(0)/2! x2 + f '''(0)/3! x3 = 1 + 5x + 7x2 + 3x3

Alternatively, we can compute the coefficients of the Pascal triangle(1,3) using the binomial theorem and multiplying each of the terms by (1 + 3x):

A binomial theorem

where (n/k) is the number of combinations.

Table I can also be displayed in irregular triangle array format and to show that the ascending diagonals corresponding to the Fibonacci sequence A104449 are generated from the Pascal triangle(1,3). The sequence shown in the first row of Table II and its ascending diagonals are depicted in bicolor:

Table II (Pascal(1,3)/Diagonals)
SD31 459 1423 376097 157
3
13
143
157 3
1612 103
1718 22133
1825 4035163
193365 7551193
11042 9814012670223
11152140238266 19692253

Go back to Part I. Go back to homepage.


Copyright © 2021 by Eddie N Gutierrez. E-Mail: enaguti1949@gmail.com