1. Vérifier que \mathrm{R}_{0} est vraie.
2. Soit
k un entier naturel tel que
\mathrm{R}_{k} est vraie, c'est‑à‑dire tel que
(u+v)^{k}=\mathop{\sum}\limits_{p=0}\limits^{k}\left(\begin{array}{l}k \\ p\end{array}\right) u^{k-p} v^{p}.
On souhaite montrer que
\mathrm{R}_{k+1} est vraie, autrement dit que
(u+v)^{k+1}=\mathop{\sum}\limits_{p=0}\limits^{k+1}\left(\begin{array}{c}k+1 \\ p\end{array}\right) u^{k+1-p} v^{p}.
a. Montrer que :
(u+v)^{k+1}=u \mathop{\sum}\limits_{p=0}\limits^{k}\left(\begin{array}{l}k \\ p\end{array}\right) u^{k-p} v^{p}+v \mathop{\sum}\limits_{p=0}\limits^{k}\left(\begin{array}{l}k \\ p\end{array}\right) u^{k-p} v^{p}.
b. En déduire que :
(u+v)^{k+1}=\mathop{\sum}\limits_{p=0}\limits^{k}\left(\begin{array}{l}k \\ p\end{array}\right) u^{k+1-p} v^{p}+\mathop{\sum}\limits_{p=0}\limits^{k}\left(\begin{array}{l}k \\ p\end{array}\right) u^{k-p} v^{p+1}.