[Etusivu]
[Sisältö]
[Luku
I
II
III
IV
V
VI]
[Hakemisto]
[Ylempi pääsivu]
[Edellinen sivu]
[Seuraava sivu]
Väite pätee aloitusluvulle
,
sillä
.
Oletetaan, että väite
pätee luvulle
.
Seuraavaksi osoitetaan, että väite pätee myös luvulle
. Tulee siis näyttää, että
.
Tiedetään, että
. Oletuksen mukaan
ja tällöin neliöjuuren määritelmän mukaan
,
joten myös
.
Nyt on siis osoitettu induktiolla, että esitetty väite pätee kaikille luonnollisille luvuille.
Väite pätee aloitusluvulle
,
sillä
ja
,
joten
.
Seuraavaksi osoitetaan, että väite pätee myös luvulle
. Tulee siis näyttää, että
.
Tiedetään, että
. Oletuksen mukaan
. Koska neliöjuurifunktio on aidosti kasvava (eli "neliöjuuri suuremmasta luvusta on suurempi kuin neliöjuuri pienemmästä luvusta"), niin
ja tällöin luonnollisesti
. Näin ollen on saatu näytettyä, että
.
Induktiotodistuksen mukaan väite siis pätee kaikille luonnollisille luvuille.
Väite pätee aloitusluvulle
,
sillä
.
Seuraavaksi osoitetaan, että väite pätee myös luvulle
. Tulee siis näyttää, että
.
Tiedetään, että
. Oletuksen mukaan
,
joten neliöjuurifunktion aidon kasvavuuden perusteella
ja tällöin luonnollisesti
. Siten
.
Induktiotodistuksen mukaan väite siis pätee kaikille luonnollisille luvuille.
[Opiskelutehtävä 1] [Vinkki tehtävään 1]