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. |