|
|||||
Volledige Inductie. | |||||
|
|||||
Een bewijs via
volledige inductie is eigenlijk een oneindige rij dominostenen die
omvalt. Stel dat je van een perfect opgestelde rij dominostenen bij elke steen zeker weet dat แls die omvalt, dat dan ook de volgende omvalt..... Volgens mij weet je dan ook zeker dat, als je de eerste omgooit, de hele rij zal vallen. Ja toch? |
|||||
|
|||||
Nou, dat heb je het
principe van de volledige inductie begrepen. Als je een eigenschap met een inductiebewijs wilt bewijzen dan gaat dat altijd in twee stappen: |
|||||
stap 1. | Laat zien dat de eigenschap voor het eerste geval geldt. | ||||
stap 2. | Laat zien dat, als de eigenschap voor een geval geldt, dat hij dan ook voor het volgende geval geldt. | ||||
Stap 1 brengt de boel
op gang, en stap 2 zorgt dat de eigenschap voor geval 1, dan 2, dan 3,
dan 4, ...... geldt. Ofwel: de dominoreeks valt! De eigenschap geldt altijd!!! q.e.d. Voorbeeld 1: een formule van Gauss. |
|||||
stap 1: | de stelling geldt voor n = 1, kijk maar: 1 = 1/2 1 2 | ||||
stap 2: | stel dat de stelling
klopt voor een bepaalde n. dan geldt dus 1 + 2 + ... + n
= 1/2 n (n
+ 1) het volgende geval is dan n + 1. Het gaat dan om 1 + 2 + ... + n + (n + 1) en we hopen dat dat gelijk is aan 1/2 (n + 1) (n + 2) We kunnen nu alles van 1 tm n vervangen door die formule, immers die klopte voor n: 1 + 2 + ... + n + (n + 1) = 1/2 n (n + 1) + (n + 1) 1 + 2 + ... + n + (n + 1) = 1/2 n (n + 1) + 1/2 2 (n + 1) 1 + 2 + ... + n + (n + 1) = 1/2 (n + 1) (n + 2) En daar staat dat de stelling dan ook voor n + 1 geldt. De domino's doen de rest. q.e.d. |
||||
Kijk uit dat je de volgende stap wel echt bewijst.
Dat je je aardig kunt vergissen blijkt misschien wel uit de volgende serie. We gaan een
cirkel verdelen in segmenten door een aantal punten op de omtrek met elkaar te
verbinden. Als we steeds een punt toevoegen groeit het aantal segmenten. Hieronder staat het maximaal aantal segmenten |
|||||
|
|||||
Je denkt uiteraard "bewezen"
te hebben dat de laatste cirkel wel 32 segmenten zal bevatten. Maar is dat wel zo? ???? |
|||||
ฉ h.hofstede (h.hofstede@hogeland.nl) |