Induksjonsbevis uten grunntilfelle

Mange finner bevis vanskelig. Her er rom for spørsmål vedrørende bevis, og for å dele dine bevis med andre. Vi tenker først og fremst videregående nivå, men det er ingen begrensninger her.

Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa

Svar
Aleks855
Rasch
Rasch
Innlegg: 6855
Registrert: 19/03-2011 15:19
Sted: Trondheim
Kontakt:

La oss betrakte påstanden $1+3+5+\cdots + (2n-1) = n^2+3$

Under induksjonssteget kan vi lett se at dersom påstanden holder for $n=k$, så vil $1+3+5+\cdots+(2k-1) + (2k+1) = k^2 + 3 + (2k + 1) = (k+1)^2 + 3$.

Så induksjonssteget holder.

Men problemet her er at det er vanskelig å finne et grunntilfelle som påstanden holder for. Vi kan kjapt verifisere at påstanden IKKE holder for $n \in \{1, 2, 3\}$ og man kan sikkert fortsette.

Spørsmålet er jo da om det KAN finnes en $n$ som påstanden holder for, eller om det ikke kan finnes noen.

Det står ikke helt klart i boka hva man kan konkludere, men slik jeg ser det, så kan man vel bytte ut likhetstegnet med ulikhetstegn i beviset, og heller la det stå som et bevis for at $1+3+5+\cdots + (2n-1) \neq n^2+3 \ \ \forall n\in\mathbb N$, gitt at man viser ulikheten for grunntilfellet $n=1$?
Bilde
Brahmagupta
Guru
Guru
Innlegg: 628
Registrert: 06/08-2011 01:56

Aleks855 skrev: Det står ikke helt klart i boka hva man kan konkludere, men slik jeg ser det, så kan man vel bytte ut likhetstegnet med ulikhetstegn i beviset, og heller la det stå som et bevis for at $1+3+5+\cdots + (2n-1) \neq n^2+3 \ \ \forall n\in\mathbb N$, gitt at man viser ulikheten for grunntilfellet $n=1$?
Ja, dette stemmer. Det som videre er verdt å merke seg er at induksjonssteget går igjennom
hvis $n^2+3$ blir byttet ut med $n^2+a$ for en vilkårlig $a\in \mathbb{Z}$. Dermed ved å velge
$a$ slik at påstanden holder for $n=1$, så vil man finne en lukket formel for $\sum_{k=1}^n (2k-1)$.
Dette er jo ikke vanskelig, bare velg $a=0$. Følgelig kommer vi frem til formelen
\[ \sum_{k=1}^n (2k-1)=n^2 \]
Mattebruker

1 + 3 + 5 + ...........+ ( 2n - 1 ) = summen av dei n første oddetala = n[tex]^2[/tex].

Denne formelen kan vi lett vise ved å bruke summeformelen for aritmetisk rekkje

s[tex]_n[/tex] = (a[tex]_1[/tex] + a[tex]_n[/tex])/2 * n

eller ved induksjon.
Gustav
Tyrann
Tyrann
Innlegg: 4555
Registrert: 12/12-2008 12:44

La oss betrakte påstanden $1+3+5+\cdots + (2n-1) \neq n^2+3\quad\forall n\in\mathbb{N}$
Bevis ved motsigelse:

Formelen er gyldig for n=1 siden $1\neq 4$.

Induksjonssteget:

Anta formelen er gyldig for $n=k$. Da er $1+3+5+\cdots + (2k-1) \neq k^2+3$. Anta $1+3+5+\cdots + (2k-1) +(2k+1) = (k+1)^2+3$. Da er $1+3+5+\cdots + (2k-1)=(k+1)^2+3-(2k+1)=k^2+2k+1+3-2k-1=k^2+3$, som er en motsigelse. Ergo er $1+3+5+\cdots + (2n-1) \neq n^2+3$ for alle naturlige tall $n$.
Svar