[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]