On pose
\(P(n)\) la proposition
\(H(n) \geq 1+\frac{n}{2}\) pour
\(n\in\,\N\text{.}\)
Étape de base: On montre que \(P(0)\) est vraie. Or, on a que \(P(0): 1\geq 1+\frac{0}{2},\) ce qui est vrai, puisque
\begin{equation*}
1\geq 1 =1+\frac{0}{2}\text{.}
\end{equation*}
Étape d’induction: On suppose que
\(k\) est un entier quelconque
\(k\geq 0,\) et on suppose que
\(P(k)\) est vraie (c’est-à-dire que
\(H(k) \geq 1+\frac{k}{2},\) est notre H.I.), et on veut montrer que
\(P(k+1)\) est alors vraie.
Ainsi, on veut montrer que
\begin{equation*}
H(k+1) =1+\frac{1}{2}+\frac{1}{3}+\cdots + \frac{1}{2^k}+\frac{1}{2^k+1}+\frac{1}{2^k+2}+\cdots +\frac{1}{2^{k+1}}\geq 1+\frac{k+1}{2}
\end{equation*}
à l’aide de l’H.I. En partant du membre de gauche de l’inégalité, on a
\begin{align*}
\amp H(k+1) =1+\frac{1}{2}+\frac{1}{3}+\cdots + \frac{1}{2^k}+\frac{1}{2^k+1}+\frac{1}{2^k+2}+\cdots+\frac{1}{2^{k+1}}\\
\amp= \left(1+\frac{1}{2}+\frac{1}{3}+\cdots + \frac{1}{2^k}\right)+ \frac{1}{2^k+1}+\frac{1}{2^k+2}+\cdots+\frac{1}{2^{k+1}}\\
\amp\geq \left(1+\frac{k}{2}\right)+ \frac{1}{2^k+1}+\frac{1}{2^k+2}+\cdots+\frac{1}{2^{k+1}}\text{ par H.I.}\\
\amp\geq \left(1+\frac{k}{2}\right)+ \frac{1}{2^{k+1}}+\frac{1}{2^{k+1}}+\cdots+\frac{1}{2^{k+1}} \text{ car } \frac{1}{2^k + i} \geq \frac{1}{2^{k+1}} \text{ pour } 1\leq i \leq 2^k\\
\amp= 1+\frac{k2^{k}}{2^{k+1}}+ \frac{2^k}{2^{k+1}} \text{ en mettant sur le même dénominateur, et car il y a } 2^k \text{ termes dans la somme à droite.}\\
\amp= 1+\frac{k2^{k}+2^k}{2^{k+1}}\\
\amp= 1+\frac{(k+1)2^{k}}{2^{k+1}} \\
\amp= 1+\frac{k+1}{2}
\end{align*}
c’est-à-dire que \(H({k+1})\geq 1+\frac{k+1}{2}\text{.}\)
On a montré que
\(P(0)\) est vraie, et que si
\(P(k)\) est vraie pour un entier
\(k\geq 0\text{,}\) alors
\(P(k+1)\) est vraie. Ainsi, par le principe d’induction, on a montré que la proposition est vraie pour tout
\(n\geq 0\text{.}\)