| Te bewijzen : | 3.4n + 6 = |
| m.a.w. | 3.4n + 6 is deelbaar door 9 |
| Bewijs : | |
| Deel I |
Voor de kleinste n-waarde, nl. 0 is de uitdrukking gelijk aan 3.40 + 6 = 9 → O.K. |
| Deel II | Gegeven : |
3.4k + 6 = |
| Te bewijzen: |
3.4k+1 + 6 = | |
| Bewijs : | LL = 3.4k+1 + 6 | |
| __ = 3.4.4k + 6 | ||
| __ = 3.4k + 3.3.4k + 6 | ||
| __ = (3.4k + 6) + 9.4k | ||
|
De eerste term () is deelbaar door 9 omwille van de inductiehypothese, de tweede omwille van de factor 9 die we voorop hebben kunnen zetten. De hele som is dus deelbaar door 9 Q.E.D. |