4) Coefficients binomiaux. Soit $n$ un entier naturel et soit $k$ un entier tel que $0 \le k \le n$. On définit le coefficient binomial :
$\displaystyle{\left(
\begin{array}{c}
n \\
p
\end{array}
\right) = \frac{n!}{p!(n-p)!}}$.
Si $p>n$, on convient que $\displaystyle{\left(
\begin{array}{c}
n \\
p
\end{array}
\right) = 0}$.
Théorème :
$\left(
\begin{array}{c}
n \\
p
\end{array}
\right)$ est un entier.
Exemple :
$\left(
\begin{array}{c}
n \\
0
\end{array}
\right)=1$, $\left(
\begin{array}{c}
n \\
1
\end{array}
\right) = n$, $\left(
\begin{array}{c}
n \\
n
\end{array}
\right) = 1$.
$\displaystyle{\left(
\begin{array}{c}
7 \\
5
\end{array}
\right) = \frac{7!}{5!(7-5)!} = \frac{7!}{5! \times 2!} = \frac{6 \times 7}{ 2}}=21$ car $7! = 5! \times 6 \times 7$.
Théorème (propriété de symétrie des coefficients binomiaux) :
$\left(
\begin{array}{c}
n \\
p
\end{array}
\right) = \left(
\begin{array}{c}
n \\
n-p
\end{array}
\right)$.
Théorème (relation de Pascal) :
$\left(
\begin{array}{c}
n \\
p-1
\end{array}
\right)
+
\left(
\begin{array}{c}
n \\
p
\end{array}
\right)=
\left(
\begin{array}{c}
n+1 \\
p
\end{array}
\right)$.
La relation de Pascal permet de construire ce qui s'appelle le triangle de Pascal.
A la ligne $n$ et la colonne $p$, on place la valeur du coefficient binomial $\left(
\begin{array}{c}
n \\
p
\end{array}
\right)$.
La première colonne est remplie de $1$ car $\left(
\begin{array}{c}
n \\
0
\end{array}
\right) = 1$ et la diagonale est remplie de $1$ car $\left(
\begin{array}{c}
n \\
n
\end{array}
\right) = 1$.
Au dessus de la diagonale :
C'est-à-dire si $p>n$, les cases sont nulles car par définition $\displaystyle{\left(
\begin{array}{c}
n \\
p
\end{array}
\right) = 0}$.
Pour les autres cases, d'après la relation de Pascal, une case de coordonnées $(n+1,p)$ est somme de la case de coordonnées $(n,p-1)$ et de la case de coordonnées $(n,p)$.
$
\begin{array}{|c||c|c|c|c|c|c|}
\hline
n\backslash p & 0 & 1 & 2 & 3 & 4 & 5 \\
\hline
\hline
0 & 1&0 & 0& 0& 0&0\\
\hline
1 &1 &1 &0 & 0& 0&0\\
\hline
2 &1 &2&1& 0&0 &0\\
\hline
3 &1 &3&3&1& 0&0\\
\hline
4 &1 &4&6&4& 1&0\\
\hline
5 &1 &5 &10 &10 & 5&1\\
\hline
\end{array}
$