Contoh 2.1.4.
Kita akan membuktikan teorema binomial dengan induksi matematis; yaitu,
\begin{equation*}
(a + b)^n = \sum_{k = 0}^{n} \binom{n}{k} a^k b^{n - k}\text{,}
\end{equation*}
dengan \(a\) dan \(b\) bilangan real, \(n \in \mathbb{N}\text{,}\) dan
\begin{equation*}
\binom{n}{k} = \frac{n!}{k! (n - k)!}
\end{equation*}
merupakan koefisien binomial. Pertama-tama kita tunjukkan bahwa
\begin{equation*}
\binom{n + 1}{k} = \binom{n}{k} + \binom{n}{k - 1}\text{.}
\end{equation*}
Hasil ini diperoleh dari
\begin{align*}
\binom{n}{k} + \binom{n}{k - 1} & = \frac{n!}{k!(n - k)!} +\frac{n!}{(k-1)!(n - k + 1)!}\\
& = \frac{(n + 1)!}{k!(n + 1 - k)!}\\
& =\binom{n + 1}{k}\text{.}
\end{align*}
Jika \(n = 1\text{,}\) teorema binomial mudah diperiksa. Sekarang andaikan hasil tersebut benar untuk \(n\) yang lebih besar daripada atau sama dengan \(1\text{.}\) Maka
\begin{align*}
(a + b)^{n + 1} & = (a + b)(a + b)^n\\
& = (a + b) \left( \sum_{k = 0}^{n} \binom{n}{k} a^k b^{n - k}\right)\\
& = \sum_{k = 0}^{n} \binom{n}{k} a^{k + 1} b^{n - k} + \sum_{k = 0}^{n} \binom{n}{k} a^k b^{n + 1 - k}\\
& = a^{n + 1} + \sum_{k = 1}^{n} \binom{n}{k - 1} a^{k} b^{n + 1 - k} + \sum_{k = 1}^{n} \binom{n}{k} a^k b^{n + 1 - k} + b^{n + 1}\\
& = a^{n + 1} + \sum_{k = 1}^{n} \left[ \binom{n}{k - 1} + \binom{n}{k} \right]a^k b^{n + 1 - k} + b^{n + 1}\\
& = \sum_{k = 0}^{n + 1} \binom{n + 1}{k} a^k b^{n + 1- k}\text{.}
\end{align*}