Te bewijzen : | 22n−1 − 2 = ![]() |
m.a.w. | 22n−1 − 2 is deelbaar door 3 |
Bewijs : | |
Deel I |
Voor de kleinste n-waarde, nl. 2 is de uitdrukking gelijk aan 24−1 − 2 = 8 − 2 = 6 = ![]() |
Deel II | Gegeven : |
22k−1 − 2 = ![]() |
Te bewijzen: |
22k+1 − 2 = ![]() | |
Bewijs : | 22k+1 − 2 | |
__ = 4.22k−1 − 2 | ||
__ = 3.22k−1 + (22k−1 − 2) | ||
__
3.22k−1 is deelbaar door 3 omwille van de factor 3 (22k−1 − 2) is deelbaar door 3 omwille van de Inductie Hyp. | ||
__ 22k+1 − 2 is dus deelbaar door 3 Q.E.D. |