Te bewijzen : | 0² + 1² + 2² + ... + (n − 1)² > ![]() |
m.a.w. | |
Bewijs : | |
Deel I |
Voor de kleinste zinvolle n-waarde, nl. 1 is LL = 0² = 0 (de eerste term) RL = − ![]() |
Deel II | Gegeven : |
0² + 1² + 2² + ... + (k − 1)² > ![]() |
Te bewijzen: |
0² + 1² + 2² + ... + (k − 1)² + k² > ![]() | |
Bewijs : | Uit de inductiehypothese volgt direct, door k² bij te tellen in beide leden : | |
0² + 1² + 2² + ... + (k − 1)² + k² > ![]() | ||
0² + 1² + 2² + ... + (k − 1)² + k² > ![]() | ||
0² + 1² + 2² + ... + (k − 1)² + k² > ![]() | ||
Nog aan te tonen :![]() ![]() ⇔ k³ > (k² + 2k + 1).(k − 3) ⇔ k³ > k³ − 3k² + 2k² − 6k + k − 3 ⇔ 0 > − k² − 5k − 3 evident voor elk natuurlijk getal k |