Matematisk induksjon som bevismetode for påstander om naturlige tall.
Matematisk induksjon
Tenk deg en uendelig rad med dominobrikker. Hvis du vet at:
1. Den første brikken velter
2. Hver gang en brikke velter, velter den også den neste
Da vet du at alle brikkene velter.
Dette er ideen bak matematisk induksjon -- en bevismetode for påstander som gjelder for alle naturlige tall . Metoden er spesielt nyttig for å bevise formler for summer, delelighet og ulikheter.
For å bevise at en påstand gjelder for alle heltall , viser vi:
1. Basissteg: Vis at er sann.
2. Induksjonssteg: Vis at hvis er sann for et vilkårlig (induksjonsantagelsen), så er også sann.
Da følger det at gjelder for alle .
Basissteget gir oss .
Induksjonssteget med gir oss , altså .
Induksjonssteget med gir oss , altså .
Slik fortsetter vi og når ethvert naturlig tall .
Vis at for alle .
Basissteg (): Venstre side: . Høyre side: . Stemmer.
Induksjonsantagelse: Anta at formelen gjelder for , dvs.:
Induksjonssteg (vis for ):
Dette er formelen med .
Ved induksjonsprinsippet gjelder formelen for alle .
1. Glemmer basissteget: Uten basissteg har beviset ingen forankring. Man kan "bevise" usanne påstander.
2. Sirkelargument: I induksjonssteget må du vise . Du må bruke som en antagelse og utlede , ikke anta direkte.
3. Feil retning: Start med den siden du vet noe om (som inneholder ), og omform til .
Vis ved induksjon at for alle .
Vis at for alle .
Basissteg (): Venstre side: . Høyre side: .
Induksjonsantagelse: .
Induksjonssteg:
Dette er formelen med (sjekk: ).
Vis ved induksjon at for alle og .
Induksjon og delelighet
Induksjon er også et kraftig verktøy for å bevise at visse uttrykk alltid er delelige med et bestemt tall. Strategien er å skrive ved hjelp av og vise at delelighetskravet er oppfylt.
Vis at er delelig med for alle .
Basissteg (): . Delelig med .
Induksjonsantagelse: er delelig med , dvs. for et heltall .
Induksjonssteg:
Første ledd er delelig med (induksjonsantagelsen). For andre ledd: er produktet av to påfølgende heltall, så det er alltid partall. Altså er delelig med .
Summen av to tall delelige med er delelig med .
Vis ved induksjon at er delelig med for alle .
Vis ved induksjon at summen for alle .
Induksjon og ulikheter
Induksjon kan også brukes til å bevise ulikheter. Fremgangsmaaten er den samme, men i induksjonssteget bruker vi ofte at gir en nedre (eller øvre) skranke som vi kan bygge videre på.
Vis at for alle og .
Basissteg (): . Likhet gjelder.
Induksjonsantagelse: for et .
Induksjonssteg:
der vi brukte antagelsen og at (siden ).
der siste ulikhet gjelder fordi .
Altså .
Vis ved induksjon at for alle .
Vis ved induksjon at for alle .
Oppsummering
Matematisk induksjon er en bevismetode for påstander som gjelder for alle :
1. Basissteg: Vis at er sann
2. Induksjonssteg: Vis at
Vanlige bruksområder:
- Summeformler:
- Delelighet: " er delelig med "
- Ulikheter: "" (Bernoullis ulikhet)
Tips:
- Skriv alltid induksjonsantagelsen tydelig
- I induksjonssteget: start med venstre side for og bruk antagelsen
- Marker tydelig hvor induksjonsantagelsen brukes
- Husk at induksjonsantagelsen ikke er "sirkelbevis" -- den er en betinget antagelse i implikasjonen
Dette kapitlet er skrevet av Anthropics toppmodeller (Claude Opus og Claude Fable) og er foreløpig ikke manuelt gjennomgått — kvalitetskontrollen gjøres av uavhengige KI-agenter, og innmeldte feil rettes fortløpende. Funnet en feil? Meld fra, så retter vi den. Les mer om hvordan innholdet lages.
