# Les suites et séries/Les suites de puissances et la formule de Faulhaber

La suite des carrés des entiers naturels, celle des cubes, et bien d'autres se dérivent aussi à partir de la suite des entiers. Dans cette section, nous allons étudier les suites de puissances, à savoir les suites de la forme :
    $1^{k}+2^{k}+3^{k}+4^{k}+...+n^{k}=\sum _{i=0}^{n}i^{k}$
Nous avons déjà vu le cas où k=1, qui n'est autre que la suite des entiers naturels. Et nous savons déjà que la somme associée vaut :
    $\sum _{i=0}^{n}i={\frac {n(n+1)}{2}}\approx {\frac {n^{2}}{2}}$
Dans ce chapitre, nous allons voir les autres cas. Nous allons commencer par la suite des carrés, puis voir la suite des cubes, puis le cas général.

## La suite des carrés (nombres pyramidaux carrés)

Après avoir vu la somme des n premiers entiers, nous allons poursuivre en voyant la somme de leurs carrés. Encore une fois, il s'agit d'une suite de Riemann, dont la forme est la suivante :
    $\sum _{x=1}^{n}x^{2}=1^{2}+2^{2}+3^{2}+4^{2}+5^{2}+6^{2}+...+n^{2}$
La somme des n premiers carrés, qui n'est autre que le énième nombre pyramidal carré, vaut :
    $\sum _{x=1}^{n}x^{2}={\frac {n(n+1)(2n+1)}{6}}={\frac {n(n+1)}{2}}{\frac {2n+1}{3}}={\frac {2n^{3}+3n^{2}+n}{6}}={\frac {n^{3}}{3}}+{\frac {n^{2}}{2}}+{\frac {n}{6}}$
* Démonstration
* Illustration du quatrième nombre pyramidale.
* Cette somme peut se représenter sous la forme d'une figure géométrique, comme les nombres triangulaires. Mais cette forme est en trois dimensions : c'est une pyramide dont la base est carrée. D'où le nom de nombres pyramidaux carrés donné aux nombres provenant d'une somme des n premiers carrés. On voit que la pyramide est composée de plusieurs couches (n couches pour être précis), chaque couche étant un carré. La somme des carrés correspond donc au volume de la pyramide et ce fait nous permet de trouver une formule pour le calculer.
* Prenons trois de ces pyramides, et assemblons-les comme illustré ci-dessous. On voit que le résultat ressemble à un pavé de côtés (n, n, n+1), si ce n'est qu'il y a quelques cubes en trop au sommet (n gris ans le schéma ci-dessous). Les cubes qui manquent forment un triangle de côté n, ce qui fait qu'il y a exactement $n(n+1) \over 2$ (le énième nombre triangulaire) cubes en trop.
* Preuve géométrique de la formule de la somme des carrés.
* L'observation géométrique précédente peut se traduire en équation. Le pavé est composé de trois pyramides, plus du énième nombre triangulaire. En notant $V_{pyramide}$ le volume d'une pyramide et $T_{n}$ le énième nombre triangulaire, on a :
* $3\cdot V_{pyramide}=V_{pave}+T_{n}$
* Le pavé a un volume de $n^{2}\cdot (n+1)=n^{3}+n^{2}$.
* $3\cdot V_{pyramide}=n^{3}+n^{2}+T_{n}$
* Le énième nombre triangulaire vaut ${\frac {n(n+1)}{2}}={\frac {n^{2}+n}{2}}={\frac {n^{2}}{2}}+{\frac {n}{2}}$ :
* $3\cdot V_{pyramide}=n^{3}+n^{2}+{\frac {n^{2}}{2}}+{\frac {n}{2}}$
* Enfin, le volume d'une pyramide est la somme des n premiers carrés.
* $3\cdot \left(\sum _{i=0}^{n-1}i^{2}\right)=n^{3}+n^{2}+{\frac {n^{2}}{2}}+{\frac {n}{2}}$
* Simplifions :
* $3\cdot \left(\sum _{i=0}^{n-1}i^{2}\right)=n^{3}+{\frac {3n^{2}}{2}}+{\frac {n}{2}}$
* On divise par trois :
* $\sum _{i=0}^{n-1}i^{2}={\frac {n^{3}}{3}}+{\frac {3n^{2}}{6}}+{\frac {n}{6}}$
* Simplifions :
* $\sum _{i=0}^{n-1}i^{2}={\frac {n^{3}}{3}}+{\frac {n^{2}}{2}}+{\frac {n}{6}}$
* Démonstration
* Pour démontrer cette formule, nous allons utiliser les notations suivantes pour la somme des n premiers entiers, des n premiers carrés et des n premiers cubes :
* $S_{n}^{1}=1+2+3+4+5+6+...+n$
* $S_{n}^{2}=1+2^{2}+3^{2}+4^{2}+5^{2}+6^{2}+...+n^{2}$
* $S_{n}^{3}=1+2^{3}+3^{3}+4^{3}+5^{3}+6^{3}+...+n^{3}$
* Pour faire la démonstration, nous allons partir du développement du cube de n+1 :
* $(n+1)^{3}=(n+1)\times (n+1)^{2}=n^{3}+3n^{2}+3n+1$
* Appliquons maintenant cette formule sur tous les nombres de 1 à n + 1 :
* $(n+1)^{3}=(n+1)+(n+1)^{2}=n^{3}+3n^{2}+3n+1$
* $2^{3}=1^{3}+3(1)^{2}+3(1)+1$
* $1^{3}=0^{3}+3(0)^{2}+3(0)+1$
* Additionnons le tout en colonnes. On trouve alors :
* $S_{n+1}^{3}=S_{n}^{3}+3S_{n}^{2}+3S_{n}+n+1$
* $S_{n+1}^{3}-S_{n}^{3}=3S_{n}^{2}+3S_{n}+n+1$
* Or, on voit que $S_{n+1}^{3}-S_{n}^{3}$ vaut, par définition $(n+1)^{3}$. Faisons le remplacement :
* $(n+1)^{3}=3S_{n}^{2}+3S_{n}+n+1$
* $3S_{n}^{2}=(n+1)^{3}-(3S_{n}+n+1)$
* Développons $(n+1)^{3}$ :
* $3S_{n}^{2}=(n^{3}+3n^{2}+3n+1)-(3S_{n}+n+1)$
* $3S_{n}^{2}=n^{3}+3n^{2}+2n-3S_{n}$
* $S_{n}^{2}={\frac {n^{3}+3n^{2}+2n-3S_{n}}{3}}$
* $S_{n}^{2}={\frac {n^{3}+3n^{2}+2n}{3}}-S_{n}$
* Or, on sait que : $u_{n}={\frac {n(n+1)}{2}}={\frac {n^{2}+n}{2}}$, ce qui donne :
* $S_{n}^{2}={\frac {n^{3}+3n^{2}+2n}{3}}-{\frac {n^{2}+n}{2}}$
* Mettons au même dénominateur :
* $S_{n}^{2}={\frac {2n^{3}+6n^{2}+4n}{6}}-{\frac {3n^{2}+3n}{6}}$
* $S_{n}^{2}={\frac {2n^{3}+3n^{2}+n}{6}}$

## La suite des cubes (nombres triangulaires carrés)

Maintenant, passons à la suite de l'inverse des cubes, définie par :
    $\sum _{x=1}^{n}x^{3}=1^{3}+2^{3}+3^{3}+4^{3}+5^{3}+6^{3}+...+n^{3}$
On peut prouver que :
    $\sum _{x=1}^{n}x^{3}=\left(\sum _{x=1}^{n}x\right)^{2}$
Ce qui peut s’écrire comme suit, sachant que $\sum _{x=1}^{n}x={\frac {n(n+1)}{2}}$ :
    $\sum _{x=1}^{n}x^{3}={\frac {n^{2}(n+1)^{2}}{4}}={\frac {n^{4}+2n^{3}+n^{2}}{4}}$
Cette identité est connue sous le nom d'identité de Nicomaque, en l'honneur du découvreur de cette formule, Nicomaque de Gérase. Il existe plusieurs démonstrations de cette formule, mais la plus simple est clairement la démonstration par induction.
* Démonstration
* Pour commencer, la formule est valable pour n = 1 :
* $1={\frac {1^{2}(1+1)^{2}}{4}}$
* Maintenant, supposons que la formule soit valable pour n, et regardons ce que cela donne pour n+1. Partons de la formule de la somme des cubes jusqu’à n+1, écrite comme suit :
* $\sum _{x=1}^{n+1}x^{3}=\sum _{x=1}^{n}x^{3}+(n+1)^{3}$
* Vu qu'on suppose que la formule de Nicomaque est valide pour n, appliquons-la :
* $\sum _{x=1}^{n+1}x^{3}={\frac {n^{2}(n+1)^{2}}{4}}+(n+1)^{3}$
* Mettons le tout au même dénominateur :
* $\sum _{x=1}^{n+1}x^{3}={\frac {n^{2}(n+1)^{2}}{4}}+{\frac {4(n+1)^{3}}{4}}$
* Factorisons $(n+1)^{2} \over 4$ :
* $\sum _{x=1}^{n+1}x^{3}={\frac {(n+1)^{2}}{4}}\left[n^{2}+4(n+1)\right]$
* Développons le terme entre parenthèses :
* $\sum _{x=1}^{n+1}x^{3}={\frac {(n+1)^{2}}{4}}\left[n^{2}+4n+4\right]$
* On utilise alors l'identité remarquable $(n+2)^{2}=n^{2}+4n+4$ :
* $\sum _{x=1}^{n+1}x^{3}={\frac {(n+1)^{2}(n+2)^{2}}{4}}$
* On voit donc que la formule de Nicomaque est respectée pour n+1, si elle est respectée pour n. L'induction est donc valide.
* Démonstration
* A plus b au carre.
* Il existe aussi une démonstration géométrique de l'identité de Nicomaque. Cette démonstration se base sur l'étude d'un carré de côté (a+b) bien particulier. Rappelons l'identité remarquable suivante :
* $(a+b)^{2}=a^{2}+2\cdot a\cdot b+b^{2}$
* Dans le cas qui nous intéresse, nous allons prendre $a=\sum _{i=0}^{n-1}i$ et $b=n$, ce qui donne $(a+b)=\sum _{i=0}^{n}i$.
* On a donc :
* $\left(\sum _{i=0}^{n}i\right)^{2}=\left(\sum _{i=0}^{n-1}i\right)^{2}+2\cdot n\cdot \left(\sum _{i=0}^{n-1}i\right)+n^{2}$
* En faisant le remplacement $\sum _{i=0}^{n-1}={\frac {n^{2}-n}{2}}$, on a :
* $\left(\sum _{i=0}^{n}i\right)^{2}=\left(\sum _{i=0}^{n-1}i\right)^{2}+2\cdot n\cdot {\frac {n^{2}-n}{2}}+n^{2}$
* Simplifions le terme de droite :
* $\left(\sum _{i=0}^{n}i\right)^{2}=\left(\sum _{i=0}^{n-1}i\right)^{2}+n^{3}$
* Maintenant, examinons le terme : $\left(\sum _{i=0}^{n-1}i\right)^{2}$. En utilisant la formule précédente, on peut l'écrire de la manière suivante : $(n-1)^{3}+\left(\sum _{i=0}^{n-2}i\right)^{2}$. En injectant dans l'équation précédente, on a :
* $\left(\sum _{i=0}^{n}i\right)^{2}=\left(\sum _{i=0}^{n-2}i\right)^{2}+(n-1)^{3}+n^{3}$
* Et on répéte le procédé autant de fois qu'il le faut, jusqu'à ne plus avoir que des cubes dans le terme de droite. On a alors :
* $\left(\sum _{i=0}^{n}i\right)^{2}=1^{3}+2^{3}+3^{3}+...+(n-1)^{3}+n^{3}$
* En clair, on a :
* $\left(\sum _{i=0}^{n}i\right)^{2}=\sum _{i=0}^{n}i^{3}$

## Le cas général : la méthode récursive

Dans cette section, nous allons voir une méthode générale pour calculer la somme :
    $1^{k}+2^{k}+3^{k}+4^{k}+...+n^{k}=\sum _{i=0}^{n}i^{k}$
La méthode en question demande cependant de connaitre les sommes pour la puissance immédiatement inférieure k-1. En clair, pour calculer la somme pour k=5, il faut connaitre la formule pour k=4. La formule en question est la suivante :
    $(n+1)\sum _{i=0}^{n}i^{k-1}=\sum _{i=0}^{n}i^{k}+\sum _{p=0}^{n}\sum _{i=0}^{p}i^{k-1}$

### Le cas de la somme des carrés

La formule se comprend assez bien sous forme géométrique. Pour l'étudier, commençons par le cas le plus simple, où l'on cherche à avoir la somme des carrés. Pour cela, étudions un rectangle tel que sa hauteur soit égale à $n+1$ et sa longueur soit égale à la somme $\sum _{i=0}^{n}i$ des premiers entiers. Le tout est illustré ci-dessous, dans le cas où n = 8. Sa surface est donc de :
    $S_{rectangle}=(n+1)\cdot \sum _{i=0}^{n}i$
Sur sa longueur, on a découpé les distances égales à 1, 2, 3, 4, etc. En jaune, on représente les carrés de côté 1, 2, 3, 4, etc. L'aire en jaune est donc égale à :
    $S_{carres}=\sum _{i=0}^{n}i^{2}$
Il ne reste qu'à calculer la différence entre rectangle et somme des carrés. Sur la première ligne, on voit qu'il manque (1+2+3+4+..+n). Sur la seconde ligne, il manque (1+2+3+4+5+ ... + (n-1). Et ainsi de suite. En clair, la surface totale manquante est égale à :
    $S_{manquante}=\sum _{p=0}^{n}\sum _{i=0}^{p}i$
En combinant le tout, on obtient la formule vue plus haut, mais dans le cas où k=2:
    $(n+1)\sum _{i=0}^{n}i=\sum _{i=0}^{n}i^{2}+\sum _{p=0}^{n}\sum _{i=0}^{p}i$
On peut alors combiner la formule précédente avec la formule $\sum _{i=0}^{n}i={\frac {n^{2}+n}{2}}$. On a alors :
    $(n+1)\sum _{i=0}^{n}i=\sum _{i=0}^{n}i^{2}+\sum _{p=0}^{n}{\frac {p^{2}+p}{2}}$
On sort le 1/2 du dernier terme :
    $(n+1)\sum _{i=0}^{n}i=\sum _{i=0}^{n}i^{2}+{\frac {1}{2}}\sum _{p=0}^{n}(p^{2}+p)$
On développe la dernière somme :
    $(n+1)\sum _{i=0}^{n}i=\sum _{i=0}^{n}i^{2}+{\frac {1}{2}}\sum _{p=0}^{n}p^{2}+{\frac {1}{2}}\sum _{p=0}^{n}p$
On soustrait la somme ${\frac {1}{2}}\sum _{p=0}^{n}p$ des deux côtés :
    $\left(n+{\frac {1}{2}}\right)\sum _{i=0}^{n}i=\sum _{i=0}^{n}i^{2}+{\frac {1}{2}}\sum _{p=0}^{n}p^{2}$
Le terme de droit se factorise en :
    $\left(n+{\frac {1}{2}}\right)\sum _{i=0}^{n}i={\frac {3}{2}}\sum _{i=0}^{n}i^{2}$
On multiplie par $2 \over 3$ des deux côtés :
    ${\frac {2n+1}{3}}\sum _{i=0}^{n}i=\sum _{i=0}^{n}i^{2}$
En faisant le remplacement, on trouve :
    $\sum _{i=0}^{n}i^{2}={\frac {n(n+1)}{2}}{\frac {2n+1}{3}}$
Soit le même résultat que nous avions trouvé plus haut.

### Le cas de la somme des cubes

Le raisonnement précédent marche aussi pour la somme des cubes, sous réserve que l'on change la longueur du rectangle. On garde une hauteur de (n+1), sauf que cette fois-ci la longueur du rectangle est changée pour la somme des carrés $\sum _{i=0}^{n}i^{2}$. Sa surface totale est donc de :
    $S_{rectangle}=(n+1)\sum _{i=0}^{n}i^{2}$
On peut ensuite découper la longueur en segments de longueur $1^{2},2^{2},3^{2},4^{2},...,n^{2}$. On peut alors créer des rectangles avec chaque segment, dont la hauteur est de k. Leur surface est donc égale à $1^{3},2^{3},3^{3},4^{3},...,n^{3}$. La somme totale de ces rectangles a une surface de :
    $S_{sous-rectangles}=\sum _{i=0}^{n}i^{3}$
La différence entre les deux sommes précédentes est composé d'une somme de lignes. Chaque ligne a pour surface la somme des carrés jusqu’à un certain rang, tous les rangs étant représentés. La surface totale occupée par ces lignes est donc de :
    $S_{lignes}=\sum _{p=0}^{n}\sum _{i=0}^{p}i^{2}$
En combinant tout cela, on a la formule générale :
    $S_{rectangle}=S_{sous-rectangles}+S_{lignes}$
En faisant le remplacement avec les équations précédentes, on trouve :
    $(n+1)\sum _{i=0}^{n}i^{2}=\sum _{i=0}^{n}i^{3}+\sum _{p=0}^{n}\sum _{i=0}^{p}i^{2}$

### Le cas général

le raisonnement peut se généraliser pour un k quelconque. Il suffit de prendre un rectangle de hauteur $n+1$ et de longueur égale à $\sum _{i=0}^{n}i^{k-1}$ (donc une puissance en-dessous de celle voulue). Sa surface totale est donc de :
    $S_{rectangle}=(n+1)\sum _{i=0}^{n}i^{k-1}$
On peut ensuite découper la longueur en segments de longueur $1^{k-1},2^{k},3^{k-1},4^{k-1},...,n^{k-1}$. On peut alors créer des rectangles avec chaque segment, dont la hauteur est de k. Leur surface est donc égale à $1^{k},2^{k},3^{k},4^{k},...,n^{k}$. La somme totale de ces rectangles a une surface de :
    $S_{sous-rectangles}=\sum _{i=0}^{n}i^{k}$
La différence entre les deux sommes précédentes est composé d'une somme de ligne qui ont pour surface $1^{k-1},2^{k},3^{k-1},4^{k-1},...,n^{k-1}$. La surface totale occupée par ces lignes est donc de :
    $S_{lignes}=\sum _{p=0}^{n}\sum _{i=0}^{p}i^{k-1}$
En combinant tout cela, on a la formule générale :
    $S_{rectangle}=S_{sous-rectangles}+S_{lignes}$
En faisant le remplacement avec les équations précédentes, on trouve :
    $(n+1)\sum _{i=0}^{n}i^{k-1}=\sum _{i=0}^{n}i^{2}+\sum _{p=0}^{n}\sum _{i=0}^{p}i^{k-1}$

## Le cas général : la formule de Faulhaber

Maintenant, étudions le cas général, mais sans recourir à une récursion.
    $1^{k}+2^{k}+3^{k}+4^{k}+...+n^{k}=\sum _{i=0}^{n}i^{k}$
Et pour cela, commençons par étudier quelques exemples.
    $\sum _{x=1}^{n}x^{0}=n$
    $\sum _{x=1}^{n}x^{1}={\frac {1}{2}}n^{2}+{\frac {1}{2}}n$
    $\sum _{x=1}^{n}x^{2}={\frac {1}{3}}n^{3}+{\frac {1}{2}}n^{2}+{\frac {1}{6}}n$
    $\sum _{x=1}^{n}x^{3}={\frac {1}{4}}n^{4}+{\frac {1}{2}}n^{3}+{\frac {1}{4}}n^{2}$
    $\sum _{x=1}^{n}x^{4}={\frac {1}{5}}n^{5}+{\frac {1}{2}}n^{4}+{\frac {1}{3}}n^{3}+{\frac {1}{30}}n$
    $\sum _{x=1}^{n}x^{5}={\frac {1}{6}}n^{6}+{\frac {1}{2}}n^{5}+{\frac {5}{12}}n^{4}+{\frac {1}{12}}n^{2}$
    $\sum _{x=1}^{n}x^{6}={\frac {1}{7}}n^{7}+{\frac {1}{2}}n^{6}+{\frac {1}{2}}n^{5}+{\frac {1}{6}}n^{3}+{\frac {1}{42}}n$
Les exemples montrent que la formule finale est toujours un polynôme de degré égal à $k+1$ et on peut démontrer que cela se généralise à toute somme de puissance. De plus, le premier terme est toujours de la forme $n^{k+1} \over k+1$. On peut donc établir l'approximation suivante :
    $\sum _{i=0}^{n}i^{k}\approx {\frac {n^{k+1}}{k+1}}$
On peut même aller plus loin en regardant le second terme, qui est toujours de la forme $n^{k} \over 2$. On a donc :
    $\sum _{i=0}^{n}i^{k}\approx {\frac {n^{k+1}}{k+1}}+{\frac {n^{k}}{2}}$
Par contre, il ne semble pas y avoir de règle évidente pour les autres termes.
Maintenant, cherchons une formule non pas approchée, mais exacte.

### Une approche intuitive de la formule de Faulhaber

Il existe une formule qui permet de calculer le cas général, appelée la formule de Faulhaber, du nom de son découvreur. Pour comprendre comment elle a été découverte, étudions les premiers exemples. Nous allons supposer que les formules sont des polynômes de degré $k+1$ et allons tenir compte des termes nuls.
    $\sum _{x=1}^{n}x^{0}=n$
    $\sum _{x=1}^{n}x^{1}={\frac {1}{2}}n^{2}+{\frac {1}{2}}n$
    $\sum _{x=1}^{n}x^{2}={\frac {1}{3}}n^{3}+{\frac {1}{2}}n^{2}+{\frac {1}{6}}n$
    $\sum _{x=1}^{n}x^{3}={\frac {1}{4}}n^{4}+{\frac {1}{2}}n^{3}+{\frac {1}{4}}n^{2}+0\cdot n$
    $\sum _{x=1}^{n}x^{4}={\frac {1}{5}}n^{5}+{\frac {1}{2}}n^{4}+{\frac {1}{3}}n^{3}+0\cdot n^{2}+{\frac {1}{30}}n$
    $\sum _{x=1}^{n}x^{5}={\frac {1}{6}}n^{6}+{\frac {1}{2}}n^{5}+{\frac {5}{12}}n^{4}+0\cdot n^{3}+{\frac {1}{12}}n^{2}+0\cdot n$
    $\sum _{x=1}^{n}x^{6}={\frac {1}{7}}n^{7}+{\frac {1}{2}}n^{6}+{\frac {1}{2}}n^{5}+0\cdot n^{4}+{\frac {1}{6}}n^{3}+0\cdot n^{2}+{\frac {1}{42}}n$
Le premier terme est égal à $n^{k+1} \over k+1$. En factorisant $k+1$, on obtient :
    $\sum _{x=1}^{n}x^{0}={\frac {1}{1}}\left[n\right]$
    $\sum _{x=1}^{n}x^{1}={\frac {1}{2}}\left[n^{2}+2\cdot {\frac {1}{2}}\cdot n\right]$
    $\sum _{x=1}^{n}x^{2}={\frac {1}{3}}\left[n^{3}+3\cdot {\frac {1}{2}}\cdot n^{2}+3\cdot {\frac {1}{6}}\cdot n\right]$
    $\sum _{x=1}^{n}x^{3}={\frac {1}{4}}\left[n^{4}+4\cdot {\frac {1}{2}}\cdot n^{3}+6\cdot {\frac {1}{6}}\cdot n^{2}+0\cdot n\right]$
    $\sum _{x=1}^{n}x^{4}={\frac {1}{5}}\left[n^{5}+5\cdot {\frac {1}{2}}\cdot n^{4}+10\cdot {\frac {1}{6}}\cdot n^{3}+5\cdot {\frac {1}{30}}\cdot n^{2}+0\cdot n\right]$
    $\sum _{x=1}^{n}x^{5}={\frac {1}{6}}\left[n^{6}+6\cdot {\frac {1}{2}}\cdot n^{5}+15\cdot {\frac {5}{6}}\cdot n^{4}+0\cdot n^{3}+15\cdot {\frac {1}{30}}\cdot n^{2}+0\cdot n\right]$
    $\sum _{x=1}^{n}x^{6}={\frac {1}{7}}\left[n^{7}+7\cdot {\frac {1}{2}}\cdot n^{6}+21\cdot {\frac {1}{6}}\cdot n^{5}+0\cdot n^{4}+0\cdot n^{3}+35\cdot {\frac {1}{30}}\cdot n^{2}+7\cdot {\frac {1}{42}}\cdot n\right]$
Reste à trouver un moyen de calculer les coefficients, dont on voit qu'ils sont le produit de deux termes : un terme entier et une fraction. Maintenant, comparons les termes entiers avec ceux du triangle de Pascal, un triangle de nombres très connu en mathématiques et souvent utilisé dans des domaines divers. On voit que les termes entiers correspondent exactement à ceux du triangle de Pascal. Un triangle de pascal est donné ci-contre pour que vous puissiez comparer avec les termes des polynômes précédents. Par définition, le nombre situé à la ligne numéro $i$ et la colonne $j$ est égal à ce qu'on appelle le coefficient binomial ${i \choose j}$. Pour rappel, le coefficient binomial ${i \choose j}$ donne le nombre de configurations de $i$ éléments parmi un ensemble de $j$ éléments. On les calcule avec la formule suivante :
    ${n \choose k}={\frac {n!}{k!\cdot (n-k)!}}$.
Les polynomes précédents se reformulent donc :
    $\sum _{x=1}^{n}x^{0}={\frac {1}{1}}\left[{1 \choose 0}n\right]$
    $\sum _{x=1}^{n}x^{1}={\frac {1}{2}}\left[{2 \choose 0}n^{2}+{2 \choose 1}\cdot {\frac {1}{2}}\cdot n\right]$
    $\sum _{x=1}^{n}x^{2}={\frac {1}{3}}\left[{3 \choose 0}n^{3}+{3 \choose 1}\cdot {\frac {1}{2}}\cdot n^{2}+{3 \choose 2}\cdot {\frac {1}{6}}\cdot n^{1}\right]$
    $\sum _{x=1}^{n}x^{3}={\frac {1}{4}}\left[{4 \choose 0}n^{4}+{4 \choose 1}\cdot {\frac {1}{2}}\cdot n^{3}+{4 \choose 2}\cdot {\frac {1}{6}}\cdot n^{2}+{4 \choose 3}\cdot 0\cdot n\right]$
    $\sum _{x=1}^{n}x^{4}={\frac {1}{5}}\left[{5 \choose 0}n^{5}+{5 \choose 1}\cdot {\frac {1}{2}}\cdot n^{4}+{5 \choose 2}\cdot {\frac {1}{6}}\cdot n^{3}+{5 \choose 3}\cdot 0\cdot n^{2}+{5 \choose 4}\cdot {\frac {1}{30}}\cdot n\right]$
    $\sum _{x=1}^{n}x^{5}={\frac {1}{6}}\left[{5 \choose 0}n^{6}+{6 \choose 1}\cdot {\frac {1}{2}}\cdot n^{5}+{6 \choose 2}\cdot {\frac {1}{6}}\cdot n^{4}+{6 \choose 3}\cdot 0\cdot n^{3}+{6 \choose 4}\cdot {\frac {1}{30}}\cdot n^{2}+{6 \choose 5}\cdot 0\cdot n\right]$
    $\sum _{x=1}^{n}x^{6}={\frac {1}{7}}\left[{7 \choose 0}n^{7}+{7 \choose 1}\cdot {\frac {1}{2}}\cdot n^{6}+{7 \choose 2}\cdot {\frac {1}{6}}\cdot n^{5}+{7 \choose 3}\cdot 0\cdot n^{4}+{7 \choose 4}\cdot {\frac {1}{30}}\cdot n^{3}+{7 \choose 5}\cdot 0\cdot n^{2}+{7 \choose 6}\cdot {\frac {1}{42}}\cdot n\right]$
Les coefficients fractionnaires placés juste avant les coefficients binomiaux sont appelés les nombres de Bernoulli , en référence à leur découvreur. En soi, les nombres de Bernoulli sont conçus de manière à ce que la méthode présentée au-dessus marche. On peut les fabriquer par des séries génératrices ou d'autres méthodes assez complexes, mais ils n'ont rien de particulier à eux seuls. Du moins, c'est ce qui apparaît au premier abord, mais ils sont utilisés dans divers développements mathématiques, comme en analyse, en théorie des nombres et dans d'autres domaines. Le énième nombre de la suite de Bernoulli sera notés $B_{n}$ dans ce qui suit. Les premiers nombres de Bernoulli sont : $B_{0}=1,\quad B_{1}=-{\tfrac {1}{2}},\quad B_{2}={\tfrac {1}{6}},\quad B_{3}=0,\quad B_{4}=-{\tfrac {1}{30}}\quad \dots$ Tous les termes impairs au-delà de $B_{1}$ sont égaux à zéro, ce qui élimine beaucoup de termes. Ils sont définis par la formule récursive suivante :
    $B_{0}=1$
    $B_{1}={1 \over 2}$
    ${\frac {1}{m+1}}\sum _{i=0}^{m}{m+1 \choose i}B_{i}=1$

### La formule de Faulhaber : formalisation

Formalisons les observations précédentes. Pour commencer, les premières observations nous disent que la formule est un polynôme de degré $k+1$ :
    $\sum _{i=0}^{n}i^{k}=\sum _{i=0}^{n}\left(a_{i}\cdot n^{k+1-i}\right)=a\cdot n^{k+1}+b\cdot n^{k}+c\cdot n^{k-1}+d\cdot n^{k-2}+...$
On factorise alors $k+1$, ce qui donne des polynômes obtenus de la forme :
    $\sum _{i=0}^{n}i^{k}={\frac {1}{k+1}}\sum _{i=0}^{n}\left(k_{i}\cdot n^{k+1-i}\right)={\frac {1}{k+1}}\left[k_{1}\cdot n^{k+1}+k_{2}\cdot n^{k}+k_{2}\cdot n^{k-1}+k_{3}\cdot n^{k-2}+...\right]$
On sait que les coefficients $k_{i}$ sont le produit d'un coefficient binomial ${k+1 \choose i}$ par le nombre de Bernoulli $B_{i}$.
    $\sum _{i=0}^{n}i^{k}={\frac {1}{k+1}}\sum _{i=0}^{n}\left[{k+1 \choose i}\cdot B_{i}\cdot n^{k+1-i}\right]={\frac {1}{k+1}}\left[n^{k+1}+{\frac {k+1}{2}}n^{k}+{\frac {1}{6}}{k+1 \choose 2}n^{k-1}-{\frac {1}{30}}{k+1 \choose 4}n^{k-3}+{\frac {1}{42}}{k+1 \choose 6}n^{k-5}+...\right]$
Une formule équivalente, mais plus lisible, est la suivante :
    $\sum _{i=0}^{n}i^{k}={\frac {n^{k+1}}{k+1}}+{\frac {n^{k}}{2}}+\sum _{i=2}^{n}\left[{\frac {B_{i}}{i!}}\cdot {\frac {k!}{(k-i-1)!}}\cdot n^{k+1-i}\right]$