Te bewijzen : | 7n + 5 = |
m.a.w. | 7n + 5 is deelbaar door 6 |
Bewijs : | |
Deel I |
Voor de kleinste n-waarde, nl. 0 is de uitdrukking gelijk aan 70 + 5 = 1 + 5 = 6 → O.K. |
Deel II | Gegeven : | 7k + 5 = ( I.H.) |
Te bewijzen: | 7k+1 + 5 = | |
Bewijs : | 7k+1 + 5 | |
__ = 7.7k + 5 | ||
__ = (7k + 5) + 6.7k | ||
De eerste term (..) is deelbaar door 6 omwille van de inductiehypothese, de tweede omwille van de factor 6. De ganse som is dus deelbaar door 6 Q.E.D. |