| Te bewijzen : | 7.52n + 24n+1 = |
| m.a.w. | 7.52n + 24n+1 is deelbaar door 9 |
| Bewijs : | |
| Deel I |
Voor de kleinste n-waarde, nl. 0 is de uitdrukking gelijk aan 7.1 + 2 = 9 → O.K. |
| Deel II | Gegeven : |
7.52k + 24k+1 = |
| Te bewijzen: |
7.52k+2 + 24k+5 = | |
| Bewijs : | LL = 7.25.52k + 16.24k+1 | |
| __ = 7.16.52k + 7.9.52k + 16.24k+1 | ||
| __ = 16.(7.52k + 24k+1) + 7.9.52k | ||
|
De eerste term 16( ) is deelbaar omwille van de inductiehypothese, de tweede omwille van de factor 9. De hele som is dus deelbaar door 9 Q.E.D. |