xk+1 = -xk + 2*xk-1
Vermutung:
x(k) = 2*(-2)^k - 1
Wir zeigen, dass es für k=0 und k=1 gilt:
x(0) = 1
x(1) = -5
Das stimmt. Nun zeige ich das es für k+1 gilt unter der Annahme, dass es für k gilt.
x(k+1) = -x(k) + 2*x(k-1)
-1 - 2^{k + 2}·(-1)^k = -(2^{k + 1}·(-1)^k - 1) + 2*(-1 - (-2)^k)
-1 - 2^{k + 2}·(-1)^k = -(2^{k + 1}·(-1)^k - 1) + 2*(-1 - (-2)^k)
-1 - 2^{k + 2}·(-1)^k = -1 - 2^{k + 2}·(-1)^k
Damit ist es gezeigt.