Triangle de Bernoulli

Le triangle de Bernoulli est une présentation en tableau triangulaire des sommes partielles des lignes du triangle de Pascal.

Il est répertorié comme Modèle:OEIS.

Description

Pour tout entier naturel Modèle:Mvar et tout entier Modèle:Mvar entre 0 et Modèle:Mvar, le terme de la ligne d'indice Modèle:Mvar et de la colonne d'indice Modèle:Mvar est donné par :

$B_{n,k}=\sum _{p=0}^k(\genfrac{}{}{0ex}{}{n}{p}),$

i.e., la somme des Modèle:Mvar + 1 premiers coefficients binomiaux de la ligne d'indice Modèle:Mvar du triangle de Pascal.

Les premières lignes en sont :

${}_n╲{}^k$	0	1	2	3	4	5
0	1	1	1	1	1	1
1	1	2	2	2	2	2
2	1	3	4	4	4	4
3	1	4	7	8	8	8
4	1	5	11	15	16	16
5	1	6	16	26	31	32

Le triangle a été complété par les termes pour $k>n$, où dans ce cas $B_{n,k}=\sum _{p=0}^k(\genfrac{}{}{0ex}{}{n}{p})=\sum _{p=0}^n(\genfrac{}{}{0ex}{}{n}{p})=2^n$.

On obtient donc le triangle de Bernoulli en ajoutant à chaque colonne du triangle de Pascal les colonnes précédentes.

Comme dans le triangle de Pascal, chaque terme du triangle de Bernoulli est la somme de deux termes de la ligne précédente, c'est-à-dire que :

$B_{n,k}=B_{n-1,k}+B_{n-1,k-1}.$

L'initialisation pour le triangle est $B_{n,0}=1$ (identique à celle du triangle de Pascal), et $B_{n,n}=2^n$.

Pour le triangle complété, il suffit de prendre $B_{0,k}=1$.

Remarque : avec la même initialisation : $T_{n,0}=T_{0,k}=1$, mais la relation de récurrence $T_{n,k}=T_{n-1,k}+T_{n,k-1}$, on obtient $T_{n,k}=(\genfrac{}{}{0ex}{}{n+k}{k})$, et avec la relation de récurrence : $T_{n,k}=T_{n-1,k}+T_{n-1,k-1}+T_{n,k-1}$, on obtient $T_{n,k}=D(n,k)$, nombre de Delannoy.

Formule close

Il existe une formule close exprimant $B_{n,k}=\sum _{p=0}^k(\genfrac{}{}{0ex}{}{n}{p})$, mais elle fait intervenir une fonction hypergéométrique (voir Modèle:OEIS2C) (alors que la somme alternée partielle d'une ligne du triangle de Pascal s'exprime simplement : $\sum _{p=0}^k(-1{)}^p(\genfrac{}{}{0ex}{}{n}{p})=(-1{)}^k(\genfrac{}{}{0ex}{}{n-1}{k})$).

On peut par contre exprimer simplement le terme central : $B(2n,n)=\frac{4^n+(\genfrac{}{}{0ex}{}{2n}{n})}{2}$, voir la Modèle:OEIS.

Propriétés

$B_{n,k}=1+n+\frac{n(n-1)}{2}+\cdots +\frac{n(n-1)\cdots (n-k+1)}{k!}$ est un polynôme en Modèle:Mvar de degré Modèle:Mvar. C'est l'unique polynôme de Lagrange de degré Modèle:Mvar , $L_k$, tel que $L_k(n)=2^n$ pour $n=0,1,\cdots ,k$.

Somme d'un colonne

En itérant la relation de récurrence, on obtient que $B_{n,k}=B_{n-1,k-1}+B_{n-2,k-1}+\cdots +B_{0,k-1}+1$ : chaque terme est la somme des termes de la colonne précédente (complétée) jusqu'à la ligne précédente augmentée de 1 ; par exemple, dans la ligne 4 : 15 = 7+4+2+1+1.

Somme d'une diagonale descendante

En itérant autrement la relation de récurrence, on obtient que $B_{n,k}=B_{n-1,k}+B_{n-2,k-2}+\cdots +B_{n-k-1,0}$ : chaque terme est la somme des termes de la diagonale descendante jusqu'à la ligne précédente ; par exemple, dans la ligne 4 : 15 = 8+4+2+1.

Somme d'une diagonale montante

Comme dans le triangle de Pascal et d'autres triangles de construction similaire, la somme des termes d'une diagonale montante du triangle de Bernoulli complété s'exprime à l'aide de la suite de Fibonacci  : $\sum _{k=0}^n{B}_{n-k,k}=F_{n+3}-1$. Par exemple, à partir de la ligne 3 : $1+3+2+1=7=F_6-1$. Si on se limite au triangle, $\sum _{k=0}^{\lfloor \frac{n}{2}\rfloor }{B}_{n-k,k}=F_{n+3}-2^{\lfloor \frac{n+1}{2}\rfloor }$ ; voir la Modèle:OEIS.

Suites associées aux colonnes

Colonnes du triangle de Bernoulli avec indication en anglais de la suite correspondante et son numéro dans l'OEIS.

• $B_{n,1}=n+1$ est le nombre de parties d'un segment séparé par Modèle:Mvar points distincts.

• $B_{n,2}=\frac{n^2+n+2}{2}$ est le nombre maximal de morceaux que l'on peut obtenir en coupant un disque (ou un convexe plan ) par Modèle:Mvar coupes rectilignes (voir la suite du traiteur paresseux).
• $B_{n,3}=\frac{1}{6}(n+1)(n(n-1)+6)$ est le nombre maximal de morceaux que l'on peut obtenir en coupant un convexe de l'espace par Modèle:Mvar coupes planes (voir la suite des nombres gâteaux).
• Plus généralement, $B_{n,k}$ est le nombre maximal de morceaux que l'on peut obtenir en coupant un convexe de ${ℝ}^k$ par Modèle:Mvar hyperplans affines.
• $B_{n,4}=1+(\genfrac{}{}{0ex}{}{n+1}{2})+(\genfrac{}{}{0ex}{}{n+1}{4})$ est aussi le nombre maximal de régions déterminées par les cordes joignant $n+1$ points sur un cercle Modèle:,Modèle:,Modèle:,Modèle:,.

Voir aussi

Article connexe

• Jacques Bernoulli

Lien externe

• Bernoulli's triangle dans l'OEIS