Te bewijzen : | 52n+1 + 22n+1 = |
m.a.w. | 52n+1 + 22n+1 is deelbaar door 7 |
Bewijs : | |
Deel I |
Voor de kleinste n-waarde, nl. 0 is de uitdrukking gelijk aan 5 + 2 = 7 → O.K. |
Deel II | Gegeven : | 52k+1 + 22k+1 = ( I.H.) |
Te bewijzen: | 52k+3 + 22k+3 = | |
Bewijs : | LL = 25.52k+1 + 4.22k+1 | |
__ = 4.52k+1 + 4.22k+1 + 21.52k+1 | ||
__ = 4.(52k+1 + 22k+1) + 3.7.52k+1 | ||
De eerste term (van twee) is deelbaar door 7 vanwege de inductiehypothe, de tweede omwille van de factor 7 die we hebben kunnen afzonderen. De hele som is dus deelbaar door 7 Q.E.D. |