Aloha :)
Behauptung : Sn : =k=0∑n3k=23n+1−1fu¨r n≥0
Induktionsverankerung bei n=0Sn=S0=k=0∑03k=30=1;23n+1−1=230+1−1=23−1=1✓Für n=0 ist die Behauptung also erfüllt.
Induktionsschritt von n auf (n+1)
Wir haben gezeigt, dass die Behauptung für ein bestimmtes n erfüllt ist. Wir nutzen diese Erkenntnis, um zu folgern, dass die Behauptung auch für das nachfolgende (n+1) gilt.Sn+1=k=0∑n+13k=3n+1+k=0∑n3kDie letzte Summe können wir nach dem bisher Gezeigten durch die Summenformel ersetzen:Sn+1=3n+1+23n+1−1=22⋅3n+1+23n+1−1=22⋅3n+1+3n+1−1Sn+1=23⋅3n+1−1=23n+2−1=23(n+1)+1−1✓
Wenn die Behauptung für ein bestimmtes n gilt, gilt sie also auch für das nachfolgende (n+1). In vollständiger Induktion gilt die Behauptung also für alle n∈N0.