| Te bewijzen : | 22n − 3n − 1 = |
| m.a.w. | 22n − 3n − 1 is deelbaar door 9 |
| Bewijs : | |
| Deel I |
Voor de kleinste n-waarde, nl. 1 is 2² −3 −1 = 0 = |
| Deel II | Gegeven : |
22k − 3k − 1 = |
| Te bewijzen: |
22k+2 − 3k − 4 = | |
| Bewijs : | 22k+2 − 3k − 4 | |
| = 4.22k − 12k + 9k − 4 | ||
| = 4.(22k − 3k − 1) + 9k | ||
|
Uiteraard is 9k deelbaar door 9 maar ook is 4.(22k − 3k − 1) deelbaar door 9 (vanwege de Inductie Hypothese) | ||
| De som is dus deelbaar door 9 Q.E.D. |