Matemaatiline induktsioon: definitsioon, induktsioonisamm ja näited
Matemaatiline induktsioon on loogiline meetod väidete tõestamiseks, mis kehtivad kõigi (või alates mõnest algusest kõigi järgneva) naturaalarvude puhul. Põhiolemus on lihtne: kui suudame näidata, et väide kehtib lähtejuhtumi kohta ja et ühe arvu puhul kehtivus viib alati kehtivuseni järgmisel arvul, siis kehtib väide kõikide järgnevate arvude puhul. See toimib nagu dominoefekt: kui esimene klots langeb ja iga klotsi langemine paneb järgmise liikuma, siis langevad lõpuks kõik klotsid.
Induktsiooni standardne kaks sammu
- Baasjeis (algjuhtum): näita, et väide on tõene mingi algväärtuse kohta (tavaliselt n=1, kuid võib olla ka n=0 või muu sobiv algväärtus).
- Induktsioonisamm: eeldades, et väide on tõene mõne suvalise, kuid fikseeritud naturaalarvu n puhul (see eeldus nimetatakse induktsioonihüpoteesiks), näita, et sellest järeldub väite tõeväärtus ka arvule n+1.
Kui mõlemad sammud on õigesti tõestatud, siis kehtib väide kõigi vastavate naturaalarvude puhul: alates algväärtusest edasi iga samm viib järgmise õigeks, seega ka kõik järgnevad.
Mida täpselt "induktsioonimuutujaks" nimetatakse?
Induktsioonimuutuja on tavaliselt n — see on naturaalarv, mille kohta väidet tõendame. Mõnikord kirjutatakse seda matemaatilises tekstis ka kujul n {\displaystyle n}. Oluline on selgelt määratleda, millistele väärtustele induktsioon kehtib (näiteks kõigile naturaalarvudele alates 1-st või alates 0-st).
Induktsiooni samm ja selle loogika
- Baasjeis kontrollimine kinnitab, et ehkki induktsioonibeemari (järjestikuste järelduste ahel) algab, on algus olemas.
- Induktsioonihüpotees ehk oletus, et väide kehtib mingi suvalise, fikseeritud n {\displaystyle n}
puhul, võimaldab meil tuletada väite kehtivuse ka n+1 {\displaystyle n+1}
kohta.
- Selle kombinatsiooni tõttu levib tõde samm-sammult üle kõikide järgneva väärtuste.
Trikid ja tähelepanekud
- Algjuhtum ei pruugi alati olla n=1; mõnikord peab alustama näiteks n=0-st või mõnest muust arvust.
- On olemas ka tugev induktsioon (või täielik induktsioon), kus induktsioonihüpotees eeldab väite kehtivust kõigi väiksemate väärtuste kohta, et järeldada seejärel kehtivus järgmise väärtuse kohta. See on kasulik, kui vajate järelduseks rohkem kui lihtsalt eelmise sammu infot.
- Induktsioon ei "leiuta" tõestust — see ainult ühendab baasjeisu ja induktsioonisammu loogiliselt tervikuks; mõlemad peavad olema korrektsed.
Näide induktsioonitõestusest
Tõestame, et kõigi naturaalarvude n puhul kehtib võrdus
1 + 2 + 3 + . . . . + ( n - 1 ) + n = 1 2 n ( n + 1 ) {\displaystyle 1+2+3+....+(n-1)+n={\tfrac {1}{2}}n(n+1)}
Kirjeldame tõestust samm-sammult:
Baasjeis: kui n = 1, siis vasakul pool on 1 ja paremal pool on
2 ∑ k = 1 1 k = 2 ( 1 ) = 1 ( 1 + 1 ) {\displaystyle 2\sum _{k=1}^{1}k=2(1)=1(1+1)}
seega avaldus on tõene baasjuhtumi jaoks.
Induktsioonihüpotees: oletame, et väide kehtib mingis fikseeritud naturaalarvus n = n0, s.t.
2 ∑ k = 1 n 0 k = n 0 ( n 0 + 1 ) {\displaystyle 2\sum _{k=1}^{n_{0}}k=n_{0}(n_{0}+1)}
Induktsioonisamm: näitame, et sellega järgneb avalduse tõeväärtus ka n = n0 + 1 puhul. Kirjutame summa kuni n0+1 kujul
2 ∑ k = 1 n 0 + 1 k {\displaystyle 2\sum _{k=1}^{{n_{0}}+1}k}}
mida saab ümber kirjutada kui olemasolev summa kuni n0 pluss viimane liikmelisus:
2 ( ∑ k = 1 n 0 k + ( n 0 + 1 ) ) {\displaystyle 2\left(\sum _{k=1}^{n_{0}}k+(n_{0}+1)\right)}
Kuna induktsioonihüpoteesi kohaselt kehtib 2 ∑ k = 1 n 0 k = n 0 ( n 0 + 1 ) , {\displaystyle 2\sum _{k=1}^{n_{0}}k=n_{0}(n_{0}+1),}, asendades saame
2 ∑ k = 1 n 0 + 1 k = n 0 ( n 0 + 1 ) + 2 ( n 0 + 1 ) = ( n 0 + 1 ) ( n 0 + 2 ) {\displaystyle 2\sum _{k=1}^{n_{0}+1}k=n_{0}(n_{0}+1)+2(n_{0}+1)=(n_{0}+1)(n_{0}+2)}
Jagades mõlemad pooled kahega (või lihtsalt tõlgendades selle tulemusena saadud väljendit), näeme, et
{\displaystyle \sum_{k=1}^{n_{0}+1}k={\tfrac{1}{2}}(n_{0}+1)(n_{0}+2)}
see on täpselt sama kuju nagu pärisavalduse parempoolne osa, kuid n asendatud n0+1-ga. Seega induktsioonisamm õnnestus ja väide kehtib ka n0+1 puhul.
Kuna baasjeis on avaldus tõene (n=1) ja induktsioonisamm näitab, et suvalise n puhul kehtivus viib kehtivuseni n+1 puhul, siis kehtib antud avaldus kõikide naturaalarvude n kohta.
Kokkuvõte
- Matemaatiline induktsioon on võimas ja laialt kasutatav tööriist tõestamaks väiteid, mis sõltuvad naturaalarvustest.
- Oluline on korrektselt tuua välja baasjuhtum ja selgelt sõnastada ning õigesti kasutada induktsioonihüpoteesi induktsioonisammus.
- Praktikas aitab induktsiooni õppida mitmete konkreetsete näidete kaudu (summa-, korrutis- ja rekursiivsed jada-väited, omaduste ülekanne jpm).
Sarnased tõendid
Matemaatiline induktsioon esitatakse sageli algväärtusega 0 (mitte 1). Tegelikult töötab see sama hästi erinevate algväärtustega. Siin on näide, kui algväärtus on 3. n-suunalise hulknurga sisekülgede summa on ( n - 2 ) 180 {\displaystyle (n-2)180}
kraadi.
Algväärtus on 3 ja kolmnurga sisemise nurga väärtus on ( 3 - 2 ) 180 {\displaystyle (3-2)180} kraadi. Oletame, et n {\displaystyle n}
-külgse hulknurga sisenurgad on ( n - 2 ) 180 {\displaystyle (n-2)180}
kraadi. Lisame kolmnurga, mis teeb kujundist n + 1 {\displaystyle n+1} kolmnurga {\displaystyle n+1}.
-küljeline hulknurk, mis suurendab nurkade arvu 180 kraadi võrra ( n - 2 ) 180 + 180 = ( n + 1 - 2 ) 180 {\displaystyle (n-2)180+180=(n+1-2)180}
kraadi. Tõendatud.
On väga palju matemaatilisi objekte, mille puhul tõestamine matemaatilise induktsiooni abil toimib. Tehniline termin on hästi korrastatud hulk.
Induktiivne määratlus
Sama mõte võib toimida nii defineerimiseks kui ka tõestamiseks.
Määratlege n {\displaystyle n} kolmanda astme nõbu:
- 1 {\displaystyle 1}
esimese astme sugulane on vanema õe või venna laps.
- n + 1 {\displaystyle n+1}
esimese astme sugulane on vanema n {\displaystyle n}
kolmanda astme sugulase laps.
Loomulike arvude aritmeetika jaoks on olemas aksioomide kogum, mis põhineb matemaatilisel induktsioonil. Seda nimetatakse "Peano aksioomideks". Määratlemata sümbolid on | ja =. Aksioomid on järgmised.
- | on loomulik arv
- Kui n {\displaystyle n}
on naturaalarv, siis n | {\displaystyle n|}
on naturaalarv.
- Kui n | = m | {\displaystyle n|=m|}
siis n = m {\displaystyle n=m}
Seejärel saab matemaatilise induktsiooni abil defineerida liitmise ja korrutamise jne operatsioonid. Näiteks:
- m + | = m | {\displaystyle m+|=m|}
- m + n | = ( m + n ) | {\displaystyle m+n|=(m+n)|}
Küsimused ja vastused
K: Mis on matemaatiline induktsioon?
V: Matemaatiline induktsioon on eriline matemaatilise tõe tõestamise viis, mille abil saab tõestada, et miski on tõene kõigi naturaalarvude või positiivsete arvude puhul alates teatud punktist.
K: Kuidas toimub tõendamine induktsiooni teel?
V: Induktsiooniga tõestamine käib tavaliselt nii, et tõendus tehakse üle n, näidatakse, et väide on tõene, kui n on 1, eeldatakse, et väide on tõene mis tahes naturaalarvu n puhul, ja seejärel näidatakse, et see on tõene järgmise arvu (n+1) puhul.
K: Mida tähendab induktiivses sammus millegi eeldamine?
V: Induktiivses sammus midagi eeldada tähendab, et võtame selle tõeseks ilma tõendeid või tõestust esitamata. See on lähtepunktiks edasise uurimise jaoks.
K: Milliseid arvusid kasutatakse matemaatilises induktsioonis?
V: Matemaatilises induktsioonis kasutatakse tavaliselt naturaalarvusid või positiivseid arvusid alates teatud punktist.
K: Kuidas näidata, et midagi on tõene järgmise arvu (n+1) puhul?
V: Et näidata, et miski on tõene järgmise arvu (n+1) puhul, tuleb kõigepealt tõestada, et see on tõene, kui n=1, ja seejärel kasutada induktiivse sammu eeldust, et näidata, et see on tõene ka n+1 puhul.