Ganz normale vollständige Induktion.
Behauptung. Für \(B = \left(\begin{smallmatrix}1&a\\0&1\end{smallmatrix}\right)\) und \(n\in \mathbb{N}\) ist
\(B^n = \text{[Term zur Berechnung von $B^n$]}\)
Beweis.
Induktionsanfang: Sei \(n = 1\). Dann ist
\(\begin{aligned}&B^n\\ =& B^1\\ =&\ \dots\\ =&\text{[Term zur Berechnung von $B^n$]}\end{aligned}\)
Induktionsvoraussetzung: Sei \(n \in \mathbb{N}\) und
\(B^n = \text{[Term zur Berechnung von $B^n$]}\).
Induktionsschluss: Es gilt
\(\begin{aligned}&B^{n+1}\\ =& B^n\cdot B\\ =&\ \text{[Term zur Berechnung von $B^n$]}\cdot B\\ =&\dots\end{aligned}\)