Man kann sogar zeigen, dass der Ausdruck durch 9 teilbar ist.
Zu zeigen
4^n + 15·n - 1 ist durch 9 teilbar.
Induktionsanfang n = 1
4^1 + 15·1 - 1 ist durch 9 teilbar.
4 + 15 - 1 ist durch 9 teilbar.
18 ist durch 9 teilbar.
stimmt.
Induktionsschritt n --> n + 1
4^n + 15·n - 1 = 9·m --> 4^n = 9·m - 15·n + 1
4^{n + 1} + 15·(n + 1) - 1 ist durch 9 teilbar.
4·4^n + 15·n + 15 - 1 ist durch 9 teilbar.
4·(9·m - 15·n + 1) + 15·n + 15 - 1 ist durch 9 teilbar.
4·(9·m - 15·n + 1) + 15·n + 15 - 1 ist durch 9 teilbar.
36·m - 60·n + 4 + 15·n + 15 - 1 ist durch 9 teilbar.
36·m - 45·n + 18 ist durch 9 teilbar.
9·(4·m - 5·n + 2) ist durch 9 teilbar.