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