[Etusivu]
[Sisältö]
[Luku
I
II
III
IV
V
VI]
[Hakemisto]
[Ylempi pääsivu]
[Edellinen sivu]
[Seuraava sivu]
Tehdään todistus matemaattisella induktiolla.
a) Väite:
eli väitteenä
P(
n) on, että
jollakin
.
1° Kun
,
väite
P(0) pätee, sillä
.
3° Induktioväite:
jollakin
. Huomaa, että tässä luvun
m ei tarvitse olla sama kuin luvun
k.
4° Induktiotodistus: Seuraavassa väitteen lauseketta sievennetään ensin sopivaan muotoon (Pascalin kolmiosta on apua binomin viidennen potenssin
avaamisessa), sitten neljännelle riville siirryttäessä hyödynnetään induktio-oletusta ja tämän jälkeen taas sievennetään:
Koska toiseksi viimeisen rivin lauseke
on kokonaislukujen tulojen summana kokonaisluku, voidaan sitä merkitä muuttujalla
ja näin ollen
ja siis
. Induktiotodistus saatiin näin valmiiksi ja siten
.
b) Väite:
eli väite
P(
n) on, että
jollain
.
1° Kun
,
väite
P(0) pätee, sillä
,
missä
.
2° Induktio-oletus:
jollekin
.
3° Induktioväite:
jollekin
. (Huomaa, että ei tarvitse olla
)
4° Induktiotodistus: Käyttämällä induktio-oletusta kolmannelle riville siirryttäessä, päästään lopulta haluttuun lopputulokseen:
Koska 6
k on välttämättä kuudella jaollinen, riittää osoittaa, että
on parillinen, sillä jälkimmäinen summattava sisältää silloin tekijöinään ainakin luvut 3 ja 2 ja on näin ollen jaollinen luvulla 6. Tällöin koko lauseke on jaollinen kuutosella, sillä kaikki summattavat ovat kuutosella jaollisia.
Osoitetaan siis, että
on parillinen. Sieventämällä lauseketta saadaan se muotoon:
. Koska
n ja
ovat peräkkäisiä kokonaislukuja, on jompi kumpi niistä välttämättä parillinen. Luku
eli
on siis parillinen, mikä todistaa väitteen.
[Opiskelutehtävä 14] [Vinkki tehtävään 14]