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 = ( I.H.) |
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. |