Te bewijzen : | 15n − 8n−2 = (n=2, 3, ...) |
m.a.w. | 15n − 8n−2 is deelbaar door 7 |
Bewijs : | |
Deel I |
Voor de kleinste n-waarde, nl. 2 is de uitdrukking gelijk aan 152 − 80 = 225 − 1 = 224 = 7.32 → O.K. |
Deel II | Gegeven : | 15k − 8k−2 = ( I.H.) |
Te bewijzen: | 15k+1 − 8k−1 = | |
Bewijs : | 15k+1 − 8k−1 | |
__ = 15.15k − 8.8k−2 | ||
__ = 15.15k − 15.8k−2 + 7.8k−2 | ||
__ = 15.(15k − 8k−2) + 7.8k−2 | ||
De eerste term is deelbaar door 7 omwille van de Inductiehypothese, de tweede omwille van de facor 7. Alle termen zijn dus deelbaar door 7, dus ook de som Q.E.D. |