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