3 2^ n -1 ist durch 2n+2 teilbar, beweis?
Neue Interpretation:
Verankerung n=1
9-1 = 8. 23= 8. ok mit k=1.
Induktionsschritt n --> n+1
Induktionsvoraussetzung:
32^n -1 = k*2n+2 k aus N
Induktionsbehauptung:
32^ (n+1) -1 = m*2n+3 m aus N
32^ (n+1) -1 = 32*2^ (n) -1 = (32^ (n) -1) (32^ (n) + 1)
= k*2n+2 * (32^ (n) + 1)
|Klammer ist gerade Zahl. Also 2*t t Element N
= k*2n+2 * 2t
= kt*2^{n+3} = m*2^{n+3} qed Induktionsschritt.