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 = ( I.H.) |
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. |