Ero sivun ”Matemaattinen induktio” versioiden välillä
Siirry navigaatioon
Siirry hakuun
[arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
p Botti lisäsi: uk:Математична індукція |
p Botti lisäsi: simple:Mathematical induction |
||
Rivi 82: | Rivi 82: | ||
[[ro:Inducţie matematică]] |
[[ro:Inducţie matematică]] |
||
[[ru:Математическая индукция]] |
[[ru:Математическая индукция]] |
||
[[simple:Mathematical induction]] |
|||
[[sk:Matematická indukcia]] |
[[sk:Matematická indukcia]] |
||
[[sl:Matematična indukcija]] |
[[sl:Matematična indukcija]] |
Versio 23. helmikuuta 2009 kello 20.06
Matemaattinen induktio on matemaattinen todistus, joka kuuluu matemaattisen algebran päähaaraan.
Matemaattinen induktio perustuu induktioperiaatteeseen, jolla todistetaan luonnollista lukua koskeva väite todeksi kaikilla :n arvoilla, esimerkiksi . Tämä perustuu siihen, että jos joukolle A pätee
- 1) ja
- 2) Ehdosta ,
niin .
Matemaattinen induktio koostuu kolmesta vaiheesta:
- Perusaskel
- Osoitetaan, että on tosi
- Induktioaskel
- Induktio-oletus: on tosi arvolla
- Induktioväite: tosi arvolla
- Todistus: todistetaan, että oletuksesta seuraa väitös
- Johtopäätös
- Induktioaskeleessa todistettiin, että on tosi aina seuraavalla :n arvolla.
- Tämän induktioperiaatteen mukaan on tosi kaikilla :n luonnollisilla arvoilla.
Esimerkki
Todistetaan esimerkissä kaava .
- Perusaskel:
- Todistetaan, että P(0) pätee:
- Induktioaskel:
- Induktio-oletus: P(n) on tosi. (Varmaksi tiedetään jo P(0) paikkansapitävyys).
- Induktioväite: P(n + 1) on tosi.
- Koska yllä todettiin jo, että kaava pätee arvolla n = 0, voidaan tehdä sijoitus .
- Jos yhtälön vasen puoli voidaan esittää muodossa , on induktiotodistus saatettu loppuun.
Tästä siis seuraa, että kaava pätee arvolla n + 1. Kaavan todettiin alussa pitävän paikkansa, kun n = 0. Tästä seuraa, että kaava on tosi myös arvolla n = 0 + 1. Seurauksena taas tästä kaava pitää myös paikkansa arvoilla