Basis für n=1: \(\sum\limits_{k=0}^{0} q^k\) = q0 = 1 = (q1 - 1) / (q-1) ist wahr
Sei n∈ℕ beliebig aber fest:
Induktionsschluss: \(\sum\limits_{k=0}^{n-1} q^k\) = (qn - 1) / (q-1) ⇒ \(\sum\limits_{k=0}^{n} q^k\) = (qn+1- 1) / (q-1)
Nachweis:
\(\sum\limits_{k=0}^{n} q^k\) = \(\sum\limits_{k=0}^{n-1} q^k\) + qn =IV (qn - 1) / (q-1) + qn
= [ qn - 1 + qn • (q-1) ] / (q-1)
= [ qn - 1 + qn+1 - qn ] / (q-1)
= [ qn+1 - 1 ] / (q - 1)
Gruß Wolfgang