Indktionsanfang:
Für n = 1 ist 1 = Q1 = 1·2·3 / 6 = 1.
Induktionsvoraussetzung:
Es gebe ein n für das die Behauptung gilt.
Induktionsschritt:
Zu zeigen ist Qn+1 = (n + 1)·(n + 2)·(2·n + 3) / 6.
Nach Induktionsvoraussetzung ist:
Qn+1 = Qn + (n + 1)2
= n·(n + 1)·(2·n + 1) / 6 + (n + 1)2
= (n + 1)·[n·(2·n + 1) + 6·(n + 1)] / 6
= (n + 1)·(2·n2 + 7·n + 6) / 6
= (n + 1)·(2·n + 3)·(n + 2) / 6.
Daraus folgt die Behauptung.
Zum zweiten Teil:
Behauptung:
Für n > 4 gilt 2n > n2.
Die Behauptung gilt offensichtlich für n = 5.
Die Behauptung gelte für ein n > 4. Zu zeigen bleibt: 2n+1 > (n + 1)2.
2n+1 = 2·2n > 2·n2 = n2 + n2 = n2 + n·n > n2 + 3·n = n2 + 2·n + n > n2 + 2·n + 1 = (n + 1)2.