Eksempel 2
Oppgave 1
La $P_n$ være en påstand som avhenger av et naturlig tall $n$. Anta at vi kan vise at:
- $P_i$ er sann, hvor $i$ er et naturlig tall.
- Dersom det finnes et naturlig tall $k$ slik at $P_k$ er sann, så er $P_{k+1}$ også sann.
Forklar hvorfor vi med dette ikke kan påstå at $P_n$ er sann for $n < i$.
Løsning
Dersom vi klarer å vise påstand 2, har vi vist at dersom vi klarer å finne en $n$ hvor påstanden gjelder, så gjelder den også for den neste. I første påstand viser vi at at $P_n$ gjelder for $n=i$. Påstand 2 sier da at den også gjelder for den neste, altså $i+1$. Når vi har $i+1$, sier påstand 2 at den også gjelder for den neste, altså $i+2$. Og slik kan vi fortsette. La oss si at $i=3$. Da har vi bevist at påstanden $P_n$ gjelder for $n=3,4,5,6,7,...$. Problemet er at påstand 2 kun gir oss det neste leddet, men ikke tidligere ledd. Altså beviser vi at påstanden gjelder for $n=3$, vil påstand 2 gjøre at den også gjelder for alle ledd større enn 3. Men vi har ingen steder i induksjonsbeviset hvor det står at påstanden gjelder for $n< i$, her for $n=1$ og $n=2$.
Merk at dette betyr ikke at påstanden ikke gjelder for $n < i$, men vi kan ikke påstå at vi har bevist det utifra induksjonsmetoden. Dersom vi er interesserte i $n < i$, må vi velge $i$ til å være den laveste $n$'en vi er interesserte i. Påstand 2 i induksjonsbeviset gir oss da at $P_n$ gjelder for alle ledd høyere enn $i$.