Matematisk induksjon som bevismetode for påstander om naturlige tall.
Matematisk induksjon
Tenk deg ei uendeleg rad med dominobrikker. Viss du veit at:
1. Den første brikka veltar
2. Kvar gong ei brikke veltar, veltar ho òg den neste
Då veit du at alle brikkene veltar.
Dette er ideen bak matematisk induksjon -- ein bevismetode for påstandar som gjeld for alle naturlege tal . Metoden er særleg nyttig for å bevise formlar for summar, delelegheit og ulikskapar.
For å bevise at ein påstand gjeld for alle heiltal , viser vi:
1. Basissteg: Vis at er sann.
2. Induksjonssteg: Vis at viss er sann for ein vilkårleg (induksjonsantakinga), så er òg sann.
Då følgjer det at gjeld for alle .
Basissteget gjev oss .
Induksjonssteget med gjev oss , altså .
Induksjonssteget med gjev oss , altså .
Slik held vi fram og når kvart naturleg tal .
Vis at for alle .
Basissteg (): Venstre side: . Høgre side: . Stemmer.
Induksjonsantaking: Anta at formelen gjeld for , dvs.:
Induksjonssteg (vis for ):
Dette er formelen med .
Ved induksjonsprinsippet gjeld formelen for alle .
1. Gløymer basissteget: Utan basissteg har beviset inga forankring. Ein kan "bevise" usanne påstandar.
2. Sirkelargument: I induksjonssteget må du vise . Du må bruke som ei antaking og utleie , ikkje anta direkte.
3. Feil retning: Start med den sida du veit noko om (som inneheld ), og omform til .
Vis ved induksjon at for alle .
Vis at for alle .
Basissteg (): Venstre side: . Høgre side: .
Induksjonsantaking: .
Induksjonssteg:
Dette er formelen med (sjekk: ).
Vis ved induksjon at for alle og .
Induksjon og delelegheit
Induksjon er òg eit kraftig verktøy for å bevise at visse uttrykk alltid er delelege med eit bestemt tal. Strategien er å skrive ved hjelp av og vise at delelegheitskravet er oppfylt.
Vis at er deleleg med for alle .
Basissteg (): . Deleleg med .
Induksjonsantaking: er deleleg med , dvs. for eit heiltal .
Induksjonssteg:
Første ledd er deleleg med (induksjonsantakinga). For andre ledd: er produktet av to påfølgjande heiltal, så det er alltid partal. Altså er deleleg med .
Summen av to tal delelege med er deleleg med .
Vis ved induksjon at er deleleg med for alle .
Vis ved induksjon at summen for alle .
Induksjon og ulikskapar
Induksjon kan òg brukast til å bevise ulikskapar. Framgangsmaaten er den same, men i induksjonssteget brukar vi ofte at gjev ei nedre (eller øvre) skranke som vi kan byggje vidare på.
Vis at for alle og .
Basissteg (): . Likskap gjeld.
Induksjonsantaking: for ein .
Induksjonssteg:
der vi brukte antakinga og at (sidan ).
der siste ulikskap gjeld fordi .
Altså .
Vis ved induksjon at for alle .
Vis ved induksjon at for alle .
Oppsummering
Matematisk induksjon er ein bevismetode for påstandar som gjeld for alle :
1. Basissteg: Vis at er sann
2. Induksjonssteg: Vis at
Vanlege bruksområde:
- Summeformlar:
- Delelegheit: " er deleleg med "
- Ulikskapar: "" (Bernoullis ulikskap)
Tips:
- Skriv alltid induksjonsantakinga tydeleg
- I induksjonssteget: start med venstre side for og bruk antakinga
- Marker tydeleg kvar induksjonsantakinga vert brukt
- Hugs at induksjonsantakinga ikkje er "sirkelbevis" -- ho er ei betinga antaking 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.
