Te bewijzen : | 62n−1 + 1 is deelbaar door 7 |
m.a.w. | 62n−1 + 1 is een veelvoud van 7 |
Bewijs : | |
Deel I |
Voor de kleinste n-waarde, nl. 1 is 62−1 + 1 = 7 uiteraard deelbaar door 7 |
Deel II | Gegeven : | 62k−1 + 1 is deelbaar door 7 ( I.H.) |
Te bewijzen: | 62k+1 + 1 is deelbaar door 7 | |
Bewijs : | 62k+1 + 1 | |
= 36.62k−1 + 1 | ||
= 62k−1 + 1 + 35.62k−1 | ||
62k−1 + 1 is deelbaar door 7 vanwege de inductiehypothe 35.62k−1 vanwege het feit dat de factor 35 deelbaar is door 7. | ||
De hele som is dus deelbaar door 7 Q.E.D. |