Bernoulli's triangle

From HandWiki
Revision as of 16:40, 6 February 2024 by HamTop (talk | contribs) (fix)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Short description: Array of partial sums of the binomial coefficients
Derivation of Bernoulli's triangle (blue bold text) from Pascal's triangle (pink italics)

Bernoulli's triangle is an array of partial sums of the binomial coefficients. For any non-negative integer n and for any integer k included between 0 and n, the component in row n and column k is given by:

[math]\displaystyle{ \sum_{p=0}^k {n \choose p}, }[/math]
As the numbers of com­po­si­tions of n +1 into k +1 ordered partitions form Pascal's triangle, the numbers of compositions of n +1 into k +1 or fewer ordered partitions form Bernoulli's triangle

i.e., the sum of the first k nth-order binomial coefficients.[1] The first rows of Bernoulli's triangle are:

[math]\displaystyle{ \begin{array}{cc|cccccc} & k & 0 & 1 & 2 & 3 & 4 & 5\\ n & & \\ \hline 0 & & 1 \\ 1 & & 1 & 2 \\ 2 & & 1 & 3 & 4 \\ 3 & & 1 & 4 & 7 & 8 \\ 4 & & 1 & 5 & 11 & 15 & 16 \\ 5 & & 1 & 6 & 16 & 26 & 31 & 32 \end{array} }[/math]

Similarly to Pascal's triangle, each component of Bernoulli's triangle is the sum of two components of the previous row, except for the last number of each row, which is double the last number of the previous row. For example, if [math]\displaystyle{ B_{n,k} }[/math] denotes the component in row n and column k, then:

[math]\displaystyle{ B_{n,k}=\begin{cases} 1 & \mbox{if } n=0 \\ B_{n-1,k}+B_{n-1,k-1} & \mbox{if } k\lt n \\ 2B_{n-1,k-1} = 2^n & \mbox{if } k=n \end{cases} }[/math]

Sequences derived from the Bernoulli triangle

Sequences from the On-Line Encyclopedia of Integer Sequences in Bernoulli's triangle

As in Pascal's triangle and other similarly constructed triangles,[2] sums of components along diagonal paths in Bernoulli's triangle result in the Fibonacci numbers.[3]

As the third column of Bernoulli's triangle (k = 2) is a triangular number plus one, it forms the lazy caterer's sequence for n cuts, where n ≥ 2.[4] The fourth column (k = 3) is the three-dimensional analogue, known as the cake numbers, for n cuts, where n ≥ 3.[5]

The fifth column (k = 4) gives the maximum number of regions in the problem of dividing a circle into areas for n + 1 points, where n ≥ 4.[6]

In general, the (k + 1)th column gives the maximum number of regions in k-dimensional space formed by n − 1 (k − 1)-dimensional hyperplanes, for nk.[7] It also gives the number of compositions (ordered partitions) of n + 1 into k + 1 or fewer parts.[8]

References

  1. On-Line Encyclopedia of Integer Sequences
  2. Hoggatt, Jr, V. E., A new angle on Pascal's triangle, Fibonacci Quarterly 6(4) (1968) 221–234; Hoggatt, Jr, V. E., Convolution triangles for generalized Fibonacci numbers, Fibonacci Quarterly 8(2) (1970) 158–171
  3. Neiter, D. & Proag, A., Links Between Sums Over Paths in Bernoulli's Triangles and the Fibonacci Numbers, Journal of Integer Sequences, 19 (2016) 16.8.3.
  4. "A000124 - Oeis". https://oeis.org/A000124. 
  5. "A000125 - Oeis". https://oeis.org/A000125. 
  6. "A000127 - Oeis". https://oeis.org/A000127. 
  7. "A006261 - Oeis". https://oeis.org/A006261. 
  8. "A008861 - Oeis". https://oeis.org/A008861. 

External links