Her skal du lære ein bevistype som eignar seg godt ved arbeid med rekker.
Når vi jobbar med matematiske rekker, har vi ofte ein formel for til dømes summen av dei første ledda i rekka eller ein eksplisitt formel for an.
Induksjonsbevis
I matematikken har vi ein bevistype som høver spesielt godt til å vise at slike formlar er rette, det vi kallar induksjonsbevis. Innan logikken inneber induksjon at at vi trekker ei slutning om noko allmenngyldig ut frå enkelttilfelle. Eit matematisk induksjonsbevis har tre viktige nivå:
Trinn 1: Vi viser at påstanden gjeld for ein bestemd verdi av n, som oftast n=1. Dette trinnet blir ofte kalla induksjonsgrunnlaget.
Trinn 2: Vi viser at dersom påstanden gjeld for ein generell verdi k, vil han òg gjelde for k+1. Dette trinnet blir kalla induksjonstrinnet.
Konklusjon
Vi skal vise korleis induksjonsbevis blir gjennomførte ved hjelp av eit døme.
Vi skal bevise denne påstanden:
P(n):2+6+10+...+4n-2=2n2
Trinn 1
Vi vil først vise at venstre side er lik høgre side for n=1. Sidan dette er ei rekke, vil venstre side bli berre det første leddet:
VS=2HS=2·12=2
Påstanden stemmer altså for n=1.
Trinn 2
I dette trinnet gjer vi det vi kallar ei antaking. Vi går ut frå at påstanden vår er sann for n=k. Dette kan vi ikkje vite om er sant, men vi skal vise at dersom det er sant, må påstanden òg vere sann for n=k+1.
Vi går ut frå at Pk, det vil seie at vi går ut frå at
2+6+10+...+4k-2=2k2
Dette betyr at vi må undersøke om
2+6+10+...+4k-2+4k+1-2=2k+12
Det siste leddet på venstre side (det blå) er ledd nummer k+1, mens høgre side er den formelen vi skal bevise innsett k+1.
Ved å bruke antakinga vår, kan vi skrive om uttrykket slik:
2k2+4k+1-2=2k+12
Vi undersøker om venstre side og høgre side er like:
Vi har no vist at dersom påstanden stemmer for n=k, må han òg stemme for n=k+1. Matematisk skriv vi at Pk⇒Pk+1.
Konklusjon
No har vi det vi treng for å konkludere med at påstanden vår held for alle n. I trinn 1 viste vi at påstanden held for n=1. Ved hjelp av trinn 2 veit vi no at påstanden held for n=2 òg. Sidan påstanden held for n=2, veit vi at han held for n=3 òg. Slik kan vi halde fram, og dermed har vi bevist at påstanden held for alle n≥1.
Tenk over
I trinn 2 viste vi at dersom påstanden held for n=k, vil han òg halde for n=k+1. Kvifor er ikkje dette godt nok bevis åleine?
Forklaring
Vi må hugse på at i trinn 2 gjorde vi ei antaking om at påstanden heldt for ein generell k. Men vi kan ikkje eigentleg vite om det er sant. Til det treng vi trinn 1.
Vi kan tenke oss matematisk induksjon som eit dominospel. Det at alle brikkene fell, inneber at påstanden er sann. I trinn 2 viser vi at brikkene står nært nok kvarandre, slik at ei brikke vil rive ned den neste dersom ho fell. Men det hjelper ikkje at brikkene står nært nok dersom ikkje ei einaste brikke fell. I trinn 1 viser vi nettopp dette: Brikke nummer 1 fell, og då fell også alle dei andre brikkene etter tur.
Døme
Ei rekke er gitt ved
a1=2ogan+1=an+n+2
Vi skal bruke induksjon til å vise at ledd nummer n kan skrivast som
Pn:an=nn+32
Trinn 1
VS=a1=2HS=1(1+3)2=2
Vi ser at P1 held.
Trinn 2
Vi går ut frå at Pk held, det vil seie at ak=kk+32.
Vi undersøker om Pk⇒Pk+1:
Pk+1:ak+k+2=k+1k+1+32kk+32+k+2=k+1k+42
Vi sjekkar om venstre side er lik høgre side:
VS=kk+32+k+2=kk+32+2k+22=k2+3k+2k+42=k2+5k+42
HS=k+1k+42=k2+4k+k+42=k2+5k+42
Vi ser at P(k+1) held dersom Pk held.
Konklusjon
Vi har no bevist ved induksjon at Pn er sann for alle n≥1.