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