| Te bewijzen : | 15n − 8n−2 = |
| 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 = |
| 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. |