Zu b):
Aus \(|x_{n+1}-x_n|\leq q\cdot |x_n-x_{n-1}|\) kann man per Induktion schließen:
\(|x_{n+k}-x_{n+k-1}| \leq q^{k-1}\cdot |x_{n+1}-x_n|\) für nat. \(k\geq 1\).
Hieraus ergibt sich
\(|x_{n+k}-x_n|=|x_{n+k}-x_{n+k-1}+x_{n+k-1}-x_{n+k-2}+- ... +x_{n+1}-x_n|\leq\)
\(|x_{n+k}-x_{n+k-1}|+|x_{n+k-1}-x_{n+k-2}|+ ... +|x_{n+1}-x_n|\leq \)
\(q^{k-1}|x_{n+1}-x_n|+\cdots q|x_{n+1}-x_n|+|x_{n+1}-x_n|=\)
\(=(q^{k-1}+ \cdots + q + 1)\cdot |x_{n+1}-x_n|\leq\)
\(\frac {1}{1-q}\cdot |x_{n+1}-x_n|\leq \frac{1}{1-q}q^{n-1}|x_2-x_1|\to 0\) für \(n\to \infty\).
Daher ist \((x_n)\) eine Cauchy-Folge.