Trois formules à connaître

Les formules données par les trois théorèmes qui suivent vous seront souvent utiles.

Théorème 2 Pour tout entier $n\geqslant 1$ , la somme des premiers entiers vaut
.

$\displaystyle \sum_{k=1}^n k = 1+2+\cdots+n=\frac{n(n+1)}{2}\;.$

(4)

Démonstration : Nous donnons d'abord la démonstration par récurrence. Nous verrons ensuite une justification géométrique et une justification combinatoire. L'hypothèse de récurrence est :

$\displaystyle H(n)\quad\quad\sum_{k=1}^n k = \frac{n(n+1)}{2}\;.$

Pour

$\displaystyle \sum_{k=1}^1 k = 1=\frac{1(1+1)}{2}\;.$

Supposons maintenant que

est vraie. Ecrivons :

$\displaystyle \sum_{k=1}^{n+1} k = \left(\sum_{k=1}^n k\right) +(n+1)\;.$

En appliquant

, on obtient :

$\displaystyle \left(\sum_{k=1}^n k\right) +(n+1)=\frac{n(n+1)}{2}+(n+1)\;.$

Le membre de droite s'écrit :

$\displaystyle \frac{n(n+1)}{2}+(n+1)=\frac{(n+1)(n+2)}{2}\;.$

Nous avons donc démontré que :

$\displaystyle \sum_{k=1}^{n+1} k =\frac{(n+1)(n+2)}{2}\;,$

c'est-à-dire que

est vraie. $\square$

Voici maintenant une justification géométrique. Considérons un rectangle dont la largeur et la hauteur valent respectivement et unités (figure 1). Ce rectangle peut être découpé en deux moitiés superposables. Chacune est formée de $1+2+\cdots+n$ carrés de côté unité, et couvre une surface égale à la surface du rectangle divisée par 2, soit .

**Figure 1:** La somme des premiers entiers vaut .
$\includegraphics[width=7cm]{sommen}$

Voici maintenant une explication combinatoire. Autour d'une table

personnes sont assises et s'apprêtent à trinquer. Combien de bruits de verre entendra-t-on ? Il y a deux manières de compter. La première consiste à prendre les personnes dans l'ordre : la première doit trinquer avec les

autres. La seconde, qui a déjà trinqué avec la première, doit encore trinquer avec

autres. Ainsi de suite jusqu'à la

-ième personne, qui ayant déjà trinqué avec les

autres n'aura plus que la

-ième avec qui trinquer. On entendra donc $n+(n-1)+\cdots+1$ bruits de verre. La seconde manière de compter consiste à remarquer que le nombre de bruits de verre est égal au nombre de combinaisons de 2 personnes parmi

$\displaystyle \binom{n+1}{2}=\frac{n(n+1)}{2}\;.$

Les deux formules suivantes portent sur deux variables

que vous pouvez voir dans un premier temps comme deux réels. Ces formules sont aussi valables pour des nombres complexes, et plus généralement pour des objets quelconques que l'on peut ajouter et multiplier de façon commutative (par exemple des polynômes ou des fonctions de $\mathbb{R}$ dans $\mathbb{R}$ ). La première généralise l'identité remarquable

Théorème 3 Pour tout entier ,

$\displaystyle a^{n+1}-b^{n+1} = (a-b)\left(\sum_{k=0}^n a^{n-k}b^k\right) =(a-b)(a^n+a^{n-1}b+\cdots+ab^{n-1}+b^n).$

(5)

(Rappelons la convention

.) Démonstration : La démonstration se fait par récurrence. L'affirmation est vraie pour

puisque :

$\displaystyle \sum_{k=0}^0 a^0 b^0=1.$

Supposons le résultat vrai pour

$\displaystyle (a-b)\left(\sum_{k=0}^{n+1} a^{n+1-k}b^k\right)$	$\displaystyle =$	$\displaystyle (a-b)\left(\left(\sum_{k=0}^n a^{n+1-k}b^k\right)+b^{n+1}\right)$
	$\displaystyle =$	$\displaystyle (a-b)\left(a\left(\sum_{k=0}^n a^{n-k}b^k\right)+b^{n+1}\right)$
	$\displaystyle =$	$\displaystyle a(a-b)\left(\sum_{k=0}^n a^{n-k}b^k\right)+(a-b)b^{n+1}$
	$\displaystyle =$	$\displaystyle a(a^{n+1}-b^{n+1})+(a-b)b^{n+1}$
	$\displaystyle =$	$\displaystyle a^{n+2}-b^{n+2}$

L'hypothèse de récurrence a été utilisée pour obtenir l'avant-dernière égalité. Le résultat est vrai pour

, donc pour tout

. $\square$

Des cas particuliers du théorème 3 reviennent souvent dans les calculs. Nous avons déjà rencontré le cas . Vous pouvez retenir le suivant:

$\displaystyle (1-x)\left(\sum_{k=0}^n x^k\right) = (1-x)(1+x+x^2+\cdots+x^n) = 1-x^{n+1}.$

Plus généralement, on a la relation:

Proposition 1 (Somme d'une série géométrique) Soit un nombre réel différent de 0 et de et soient et des entiers relatifs tels que $p\leqslant q$ . Alors :

$\displaystyle \sum_{k=p}^qx^k=\frac{x^p-x^{q+1}}{1-x}\cdot$

Démonstration : Il suffit de remarquer que :

$\displaystyle (1-x)\left(\sum_{k=p}^qx^k\right)=\sum_{k=p}^{q}x^k-\sum_{k=p+1}^{q+1}x^k =x^p-x^{q+1}.$

$\square$ Une autre formule à connaître est celle du binôme de Newton, qui généralise

Théorème 4 Pour tout entier $n\geqslant 1$ ,

$\displaystyle (a+b)^n = \sum_{k=0}^n \binom{n}{k} a^kb^{n-k} = b^n+nb^{n-1}a+\cdots+nba^{n-1}+a^n.$

(6)

À cause de (6), les nombres $\binom{n}{k}$ s'appellent les coefficients binomiaux. Démonstration : Ici encore la démonstration se fait par récurrence, nous donnerons ensuite une justification combinatoire. Pour

$\displaystyle (a+b)^1=\binom{1}{0}a^0b^1+\binom{1}{1}a^1b^0\;.$

Supposons que la formule est vraie pour

et démontrons-la pour

$\displaystyle (a+b)^{n+1}$	$\displaystyle =$	$\displaystyle (a+b)(a+b)^n$
	$\displaystyle =$	$\displaystyle (a+b)\left(\sum_{k=0}^n \binom{n}{k} a^kb^{n-k}\right)$
	$\displaystyle =$	$\displaystyle \left(\sum_{k=0}^n \binom{n}{k} a^{k+1}b^{n-k}\right) +\left(\sum_{k=0}^n \binom{n}{k} a^kb^{n+1-k}\right)$
	$\displaystyle =$	$\displaystyle \left(\sum_{h=1}^{n+1} \binom{n}{h-1} a^{h}b^{n+1-h}\right) +\left(\sum_{k=0}^n \binom{n}{k} a^kb^{n+1-k}\right)$
	$\displaystyle =$	$\displaystyle a^{n+1}+ \left(\sum_{h=1}^{n} \binom{n}{h-1} a^{h}b^{n+1-h}\right) +\left(\sum_{k=1}^n \binom{n}{k} a^kb^{n+1-k}\right)+b^{n+1}$
	$\displaystyle =$	$\displaystyle a^{n+1}+ \left(\sum_{k=1}^n \left(\binom{n}{k-1}+\binom{n}{k}\right) a^kb^{n+1-k}\right)+b^{n+1}$
	$\displaystyle =$	$\displaystyle \sum_{k=0}^{n+1} \binom{n+1}{k} a^k b^{n+1-k}\;.$

Pour la dernière égalité, nous avons appliqué la formule du triangle de Pascal (3). Le résultat est démontré. $\square$

Voici maintenant la justification combinatoire. La quantité est le produit de facteurs, chacun contenant deux termes et . Quand on développe le produit, on prend dans le premier facteur un des deux termes, on le multiplie par un terme du second facteur, ainsi de suite jusqu'au -ième facteur. Le produit obtenu est égal à $a^kb^{n-k}$ si on a choisi le terme dans facteurs et le terme dans les autres. Le nombre de produits égaux à $a^kb^{n-k}$ est le nombre de combinaisons de facteurs parmi , soit $\binom{n}{k}$ .