• No results found

MAT1030 – Diskret matematikk Plenumsregning 11: Ukeoppgaver fra kapittel 10 & Induksjonsbevis Roger Antonsen

N/A
N/A
Protected

Academic year: 2022

Share "MAT1030 – Diskret matematikk Plenumsregning 11: Ukeoppgaver fra kapittel 10 & Induksjonsbevis Roger Antonsen"

Copied!
142
0
0

Laster.... (Se fulltekst nå)

Fulltekst

(1)

MAT1030 – Diskret matematikk

Plenumsregning 11: Ukeoppgaver fra kapittel 10 & Induksjonsbevis

Roger Antonsen

Matematisk Institutt, Universitetet i Oslo

24. april 2008

(2)

Grafteori

Vi regner oppgavene p˚a tavlen i dag.

Oppgave 10.9 Oppgave 10.10 Oppgave 10.11 Oppgave 10.12 Oppgave 10.13 Oppgave 10.14 Oppgave 10.15 Oppgave 10.17 Oppgave 10.18 Oppgave 10.19

En nøtt om en maur og en kube.

(3)

Induksjonsbevis

Bevis ved induksjon er et kraftig verktøy som vi kan bruke til ˚a bevise universellep˚astander.

En universell p˚astand er en p˚astand p˚a formen “For enhver x ∈S s˚a er det slik at...”.

Typiske muligheter for mengden S er

N

en mengde av ord i et alfabet (eninduktiv definert mengde), en mengde av utsagnslogiske formler,

en mengde av grafer, en mengde av trær, og mye, mye mer...

(4)

Induksjonsbevis

Bevis ved induksjon er et kraftig verktøy som vi kan bruke til ˚a bevise universellep˚astander.

En universell p˚astand er en p˚astand p˚a formen “For enhver x ∈S s˚a er det slik at...”.

Typiske muligheter for mengden S er

N

en mengde av ord i et alfabet (eninduktiv definert mengde), en mengde av utsagnslogiske formler,

en mengde av grafer, en mengde av trær, og mye, mye mer...

(5)

Induksjonsbevis

Bevis ved induksjon er et kraftig verktøy som vi kan bruke til ˚a bevise universellep˚astander.

En universell p˚astand er en p˚astand p˚a formen “For enhver x ∈S s˚a er det slik at...”.

Typiske muligheter for mengden S er

N

en mengde av ord i et alfabet (eninduktiv definert mengde), en mengde av utsagnslogiske formler,

en mengde av grafer, en mengde av trær, og mye, mye mer...

(6)

Induksjonsbevis

Bevis ved induksjon er et kraftig verktøy som vi kan bruke til ˚a bevise universellep˚astander.

En universell p˚astand er en p˚astand p˚a formen “For enhver x ∈S s˚a er det slik at...”.

Typiske muligheter for mengden S er N

en mengde av ord i et alfabet (eninduktiv definert mengde), en mengde av utsagnslogiske formler,

en mengde av grafer, en mengde av trær, og mye, mye mer...

(7)

Induksjonsbevis

Bevis ved induksjon er et kraftig verktøy som vi kan bruke til ˚a bevise universellep˚astander.

En universell p˚astand er en p˚astand p˚a formen “For enhver x ∈S s˚a er det slik at...”.

Typiske muligheter for mengden S er N

en mengde av ord i et alfabet (eninduktiv definert mengde),

en mengde av utsagnslogiske formler, en mengde av grafer,

en mengde av trær, og mye, mye mer...

(8)

Induksjonsbevis

Bevis ved induksjon er et kraftig verktøy som vi kan bruke til ˚a bevise universellep˚astander.

En universell p˚astand er en p˚astand p˚a formen “For enhver x ∈S s˚a er det slik at...”.

Typiske muligheter for mengden S er N

en mengde av ord i et alfabet (eninduktiv definert mengde), en mengde av utsagnslogiske formler,

en mengde av grafer, en mengde av trær, og mye, mye mer...

(9)

Induksjonsbevis

Bevis ved induksjon er et kraftig verktøy som vi kan bruke til ˚a bevise universellep˚astander.

En universell p˚astand er en p˚astand p˚a formen “For enhver x ∈S s˚a er det slik at...”.

Typiske muligheter for mengden S er N

en mengde av ord i et alfabet (eninduktiv definert mengde), en mengde av utsagnslogiske formler,

en mengde av grafer,

en mengde av trær, og mye, mye mer...

(10)

Induksjonsbevis

Bevis ved induksjon er et kraftig verktøy som vi kan bruke til ˚a bevise universellep˚astander.

En universell p˚astand er en p˚astand p˚a formen “For enhver x ∈S s˚a er det slik at...”.

Typiske muligheter for mengden S er N

en mengde av ord i et alfabet (eninduktiv definert mengde), en mengde av utsagnslogiske formler,

en mengde av grafer, en mengde av trær,

og mye, mye mer...

(11)

Induksjonsbevis

Bevis ved induksjon er et kraftig verktøy som vi kan bruke til ˚a bevise universellep˚astander.

En universell p˚astand er en p˚astand p˚a formen “For enhver x ∈S s˚a er det slik at...”.

Typiske muligheter for mengden S er N

en mengde av ord i et alfabet (eninduktiv definert mengde), en mengde av utsagnslogiske formler,

en mengde av grafer, en mengde av trær, og mye, mye mer...

(12)

Noen typiske m˚ater ˚a bevise en universell p˚astand p˚a er følgende.

Man kan velge et vilk˚arlig element fra S og vise at p˚astanden holder for dette elementet. Siden elementet ervilk˚arligvalgt, s˚a ligger det ingen føringer p˚a hvilket element iS som er valgt, og hvis p˚astanden holder for dette elementet, s˚a m˚a p˚astanden holde for alleelementene iS.

Man kan gi et “ikke-konstruktivt” bevis ved ˚a anta (for motsigelse) at p˚astandenikkeholder for allex ∈S og s˚a utlede en motsigelse. Man kan gi et induksjonsbevis.

(13)

Noen typiske m˚ater ˚a bevise en universell p˚astand p˚a er følgende.

Man kan velge et vilk˚arlig element fraS og vise at p˚astanden holder for dette elementet. Siden elementet ervilk˚arlig valgt, s˚a ligger det ingen føringer p˚a hvilket element iS som er valgt, og hvis p˚astanden holder for dette elementet, s˚a m˚a p˚astanden holde for alleelementene iS.

Man kan gi et “ikke-konstruktivt” bevis ved ˚a anta (for motsigelse) at p˚astandenikkeholder for allex ∈S og s˚a utlede en motsigelse. Man kan gi et induksjonsbevis.

(14)

Noen typiske m˚ater ˚a bevise en universell p˚astand p˚a er følgende.

Man kan velge et vilk˚arlig element fraS og vise at p˚astanden holder for dette elementet. Siden elementet ervilk˚arlig valgt, s˚a ligger det ingen føringer p˚a hvilket element iS som er valgt, og hvis p˚astanden holder for dette elementet, s˚a m˚a p˚astanden holde for alleelementene iS.

Man kan gi et “ikke-konstruktivt” bevis ved ˚a anta (for motsigelse) at p˚astandenikkeholder for allex ∈S og s˚a utlede en motsigelse.

Man kan gi et induksjonsbevis.

(15)

Noen typiske m˚ater ˚a bevise en universell p˚astand p˚a er følgende.

Man kan velge et vilk˚arlig element fraS og vise at p˚astanden holder for dette elementet. Siden elementet ervilk˚arlig valgt, s˚a ligger det ingen føringer p˚a hvilket element iS som er valgt, og hvis p˚astanden holder for dette elementet, s˚a m˚a p˚astanden holde for alleelementene iS.

Man kan gi et “ikke-konstruktivt” bevis ved ˚a anta (for motsigelse) at p˚astandenikkeholder for allex ∈S og s˚a utlede en motsigelse.

Man kan gi et induksjonsbevis.

(16)

Følgende er sakset fra forelesning 14:

Definisjon

LaP(n) være et predikat med en variabel n for et element iN. Anta at vi kan bevise

1 P(1)

2 ∀n(P(n)P(n+ 1))

Da kan vi konkludere ∀nP(n).

Denne m˚aten ˚a bevise ∀nP(n) p˚a kallesinduksjon.

1 kalles forinduksjonsstarteneller basissteget

2 kalles forinduksjonsskritteteller induksjonssteget

(17)

Følgende er sakset fra forelesning 14:

Definisjon

LaP(n) være et predikat med en variabel n for et element iN.

Anta at vi kan bevise

1 P(1)

2 ∀n(P(n)P(n+ 1))

Da kan vi konkludere ∀nP(n).

Denne m˚aten ˚a bevise ∀nP(n) p˚a kallesinduksjon.

1 kalles forinduksjonsstarteneller basissteget

2 kalles forinduksjonsskritteteller induksjonssteget

(18)

Følgende er sakset fra forelesning 14:

Definisjon

LaP(n) være et predikat med en variabel n for et element iN. Anta at vi kan bevise

1 P(1)

2 ∀n(P(n)P(n+ 1)) Da kan vi konkludere ∀nP(n).

Denne m˚aten ˚a bevise ∀nP(n) p˚a kallesinduksjon.

1 kalles forinduksjonsstarteneller basissteget

2 kalles forinduksjonsskritteteller induksjonssteget

(19)

Følgende er sakset fra forelesning 14:

Definisjon

LaP(n) være et predikat med en variabel n for et element iN. Anta at vi kan bevise

1 P(1)

2 ∀n(P(n)P(n+ 1)) Da kan vi konkludere ∀nP(n).

Denne m˚aten ˚a bevise ∀nP(n) p˚a kallesinduksjon.

1 kalles forinduksjonsstarteneller basissteget

2 kalles forinduksjonsskritteteller induksjonssteget

(20)

Følgende er sakset fra forelesning 14:

Definisjon

LaP(n) være et predikat med en variabel n for et element iN. Anta at vi kan bevise

1 P(1)

2 ∀n(P(n)P(n+ 1))

Da kan vi konkludere ∀nP(n).

Denne m˚aten ˚a bevise ∀nP(n) p˚a kallesinduksjon.

1 kalles forinduksjonsstarteneller basissteget

2 kalles forinduksjonsskritteteller induksjonssteget

(21)

Følgende er sakset fra forelesning 14:

Definisjon

LaP(n) være et predikat med en variabel n for et element iN. Anta at vi kan bevise

1 P(1)

2 ∀n(P(n)P(n+ 1)) Da kan vi konkludere ∀nP(n).

Denne m˚aten ˚a bevise ∀nP(n) p˚a kallesinduksjon.

1 kalles forinduksjonsstarteneller basissteget

2 kalles forinduksjonsskritteteller induksjonssteget

(22)

Følgende er sakset fra forelesning 14:

Definisjon

LaP(n) være et predikat med en variabel n for et element iN. Anta at vi kan bevise

1 P(1)

2 ∀n(P(n)P(n+ 1)) Da kan vi konkludere ∀nP(n).

Denne m˚aten ˚a bevise ∀nP(n) p˚a kalles induksjon.

1 kalles forinduksjonsstarteneller basissteget

2 kalles forinduksjonsskritteteller induksjonssteget

(23)

Følgende er sakset fra forelesning 14:

Definisjon

LaP(n) være et predikat med en variabel n for et element iN. Anta at vi kan bevise

1 P(1)

2 ∀n(P(n)P(n+ 1)) Da kan vi konkludere ∀nP(n).

Denne m˚aten ˚a bevise ∀nP(n) p˚a kalles induksjon.

1 kalles forinduksjonsstarteneller basissteget

2 kalles forinduksjonsskritteteller induksjonssteget

(24)

Følgende er sakset fra forelesning 14:

Definisjon

LaP(n) være et predikat med en variabel n for et element iN. Anta at vi kan bevise

1 P(1)

2 ∀n(P(n)P(n+ 1)) Da kan vi konkludere ∀nP(n).

Denne m˚aten ˚a bevise ∀nP(n) p˚a kalles induksjon.

1 kalles forinduksjonsstarteneller basissteget

2 kalles forinduksjonsskritteteller induksjonssteget

(25)

Viktig ˚ a huske p˚ a!

Man m˚a alltid ha klart for seg hva som bevises i et induksjonsbevis. Man m˚a vite hva P˚ASTANDEN som bevises er.

Først s˚a visesP˚ASTANDEN for tallet 1. S˚a antar man atP˚ASTANDEN holder forn.

Dette at P˚ASTANDEN holder forn kalles gjerne for induksjonshypotesen.

Ut fra denne antakelsen- alts˚a antakelsen om at induksjonshypotesen holder - s˚a viser man atP˚ASTANDEN holder forn+ 1.

Jeg gjentar (i tilfelle noen ikke fikk det med seg):

Man m˚a alltid ha klart for seg hvaP˚ASTANDEN som bevises er.

(26)

Viktig ˚ a huske p˚ a!

Man m˚a alltid ha klart for seg hva som bevises i et induksjonsbevis.

Man m˚a vite hva P˚ASTANDEN som bevises er. Først s˚a visesP˚ASTANDEN for tallet 1. S˚a antar man atP˚ASTANDEN holder forn.

Dette at P˚ASTANDEN holder forn kalles gjerne for induksjonshypotesen.

Ut fra denne antakelsen- alts˚a antakelsen om at induksjonshypotesen holder - s˚a viser man atP˚ASTANDEN holder forn+ 1.

Jeg gjentar (i tilfelle noen ikke fikk det med seg):

Man m˚a alltid ha klart for seg hvaP˚ASTANDEN som bevises er.

(27)

Viktig ˚ a huske p˚ a!

Man m˚a alltid ha klart for seg hva som bevises i et induksjonsbevis.

Man m˚a vite hva P˚ASTANDEN som bevises er.

Først s˚a visesP˚ASTANDEN for tallet 1. S˚a antar man atP˚ASTANDEN holder forn.

Dette at P˚ASTANDEN holder forn kalles gjerne for induksjonshypotesen.

Ut fra denne antakelsen- alts˚a antakelsen om at induksjonshypotesen holder - s˚a viser man atP˚ASTANDEN holder forn+ 1.

Jeg gjentar (i tilfelle noen ikke fikk det med seg):

Man m˚a alltid ha klart for seg hvaP˚ASTANDEN som bevises er.

(28)

Viktig ˚ a huske p˚ a!

Man m˚a alltid ha klart for seg hva som bevises i et induksjonsbevis.

Man m˚a vite hva P˚ASTANDEN som bevises er.

Først s˚a visesP˚ASTANDEN for tallet 1.

S˚a antar man atP˚ASTANDEN holder forn.

Dette at P˚ASTANDEN holder forn kalles gjerne for induksjonshypotesen.

Ut fra denne antakelsen- alts˚a antakelsen om at induksjonshypotesen holder - s˚a viser man atP˚ASTANDEN holder forn+ 1.

Jeg gjentar (i tilfelle noen ikke fikk det med seg):

Man m˚a alltid ha klart for seg hvaP˚ASTANDEN som bevises er.

(29)

Viktig ˚ a huske p˚ a!

Man m˚a alltid ha klart for seg hva som bevises i et induksjonsbevis.

Man m˚a vite hva P˚ASTANDEN som bevises er.

Først s˚a visesP˚ASTANDEN for tallet 1.

S˚a antar man atP˚ASTANDEN holder forn.

Dette at P˚ASTANDEN holder forn kalles gjerne for induksjonshypotesen.

Ut fra denne antakelsen- alts˚a antakelsen om at induksjonshypotesen holder - s˚a viser man atP˚ASTANDEN holder forn+ 1.

Jeg gjentar (i tilfelle noen ikke fikk det med seg):

Man m˚a alltid ha klart for seg hvaP˚ASTANDEN som bevises er.

(30)

Viktig ˚ a huske p˚ a!

Man m˚a alltid ha klart for seg hva som bevises i et induksjonsbevis.

Man m˚a vite hva P˚ASTANDEN som bevises er.

Først s˚a visesP˚ASTANDEN for tallet 1.

S˚a antar man atP˚ASTANDEN holder forn.

Dette at P˚ASTANDEN holder forn kalles gjerne for induksjonshypotesen.

Ut fra denne antakelsen- alts˚a antakelsen om at induksjonshypotesen holder - s˚a viser man atP˚ASTANDEN holder forn+ 1.

Jeg gjentar (i tilfelle noen ikke fikk det med seg):

Man m˚a alltid ha klart for seg hvaP˚ASTANDEN som bevises er.

(31)

Viktig ˚ a huske p˚ a!

Man m˚a alltid ha klart for seg hva som bevises i et induksjonsbevis.

Man m˚a vite hva P˚ASTANDEN som bevises er.

Først s˚a visesP˚ASTANDEN for tallet 1.

S˚a antar man atP˚ASTANDEN holder forn.

Dette at P˚ASTANDEN holder forn kalles gjerne for induksjonshypotesen.

Ut fra denne antakelsen- alts˚a antakelsen om at induksjonshypotesen holder - s˚a viser man atP˚ASTANDEN holder forn+ 1.

Jeg gjentar (i tilfelle noen ikke fikk det med seg):

Man m˚a alltid ha klart for seg hvaP˚ASTANDEN som bevises er.

(32)

Viktig ˚ a huske p˚ a!

Man m˚a alltid ha klart for seg hva som bevises i et induksjonsbevis.

Man m˚a vite hva P˚ASTANDEN som bevises er.

Først s˚a visesP˚ASTANDEN for tallet 1.

S˚a antar man atP˚ASTANDEN holder forn.

Dette at P˚ASTANDEN holder forn kalles gjerne for induksjonshypotesen.

Ut fra denne antakelsen- alts˚a antakelsen om at induksjonshypotesen holder - s˚a viser man atP˚ASTANDEN holder forn+ 1.

Jeg gjentar (i tilfelle noen ikke fikk det med seg):

Man m˚a alltid ha klart for seg hvaP˚ASTANDEN som bevises er.

(33)

Viktig ˚ a huske p˚ a!

Man m˚a alltid ha klart for seg hva som bevises i et induksjonsbevis.

Man m˚a vite hva P˚ASTANDEN som bevises er.

Først s˚a visesP˚ASTANDEN for tallet 1.

S˚a antar man atP˚ASTANDEN holder forn.

Dette at P˚ASTANDEN holder forn kalles gjerne for induksjonshypotesen.

Ut fra denne antakelsen- alts˚a antakelsen om at induksjonshypotesen holder - s˚a viser man atP˚ASTANDEN holder forn+ 1.

Jeg gjentar (i tilfelle noen ikke fikk det med seg):

Man m˚a alltid ha klart for seg hvaP˚ASTANDEN som bevises er.

(34)

Tenk domino!

Induksjonsstarten er at første brikke faller.

Induksjonsskrittet er at en brikke sl˚ar den neste over ende.

“Ved induksjonvil alle brikkene falle over ende.”

(35)

Tenk domino!

Induksjonsstarten er at første brikke faller.

Induksjonsskrittet er at en brikke sl˚ar den neste over ende.

“Ved induksjonvil alle brikkene falle over ende.”

(36)

Tenk domino!

Induksjonsstarten er at første brikke faller.

Induksjonsskrittet er at en brikke sl˚ar den neste over ende.

“Ved induksjonvil alle brikkene falle over ende.”

(37)

Tenk domino!

Induksjonsstarten er at første brikke faller.

Induksjonsskrittet er at en brikke sl˚ar den neste over ende.

“Ved induksjonvil alle brikkene falle over ende.”

(38)

Tenk domino!

Induksjonsstarten er at første brikke faller.

Induksjonsskrittet er at en brikke sl˚ar den neste over ende.

“Ved induksjonvil alle brikkene falle over ende.”

(39)

Flere viktige ting ˚ a huske p˚ a

Man m˚a alltid vise b˚ade induksjonsstarten og induksjonskrittet. Begynn induksjonskrittet med ˚a anta at induksjonshypotesen holder, f.eks. at p˚astanden holder for et tall n.

Bruk ordet “anta”. Hele poenget med matematiske bevis er ˚a tenke ut fra antakelser!

Hvis du ikke har brukt induksjonshypotesen underveis, s˚a er det sannsynligvis noe galt et sted.

Avslutt et induksjonsbevis med ˚a si noe som likner p˚a “Ved induksjon følger det at...”.

Les læreboka og forelesningsnotatene. Les gjerne p˚a nettet:

http://en.wikipedia.org/wiki/Mathematical_induction Og øv!

(40)

Flere viktige ting ˚ a huske p˚ a

Man m˚a alltid vise b˚ade induksjonsstarten og induksjonskrittet.

Begynn induksjonskrittet med ˚a anta at induksjonshypotesen holder, f.eks. at p˚astanden holder for et tall n.

Bruk ordet “anta”. Hele poenget med matematiske bevis er ˚a tenke ut fra antakelser!

Hvis du ikke har brukt induksjonshypotesen underveis, s˚a er det sannsynligvis noe galt et sted.

Avslutt et induksjonsbevis med ˚a si noe som likner p˚a “Ved induksjon følger det at...”.

Les læreboka og forelesningsnotatene. Les gjerne p˚a nettet:

http://en.wikipedia.org/wiki/Mathematical_induction Og øv!

(41)

Flere viktige ting ˚ a huske p˚ a

Man m˚a alltid vise b˚ade induksjonsstarten og induksjonskrittet.

Begynn induksjonskrittet med ˚a anta at induksjonshypotesen holder, f.eks. at p˚astanden holder for et tall n.

Bruk ordet “anta”. Hele poenget med matematiske bevis er ˚a tenke ut fra antakelser!

Hvis du ikke har brukt induksjonshypotesen underveis, s˚a er det sannsynligvis noe galt et sted.

Avslutt et induksjonsbevis med ˚a si noe som likner p˚a “Ved induksjon følger det at...”.

Les læreboka og forelesningsnotatene. Les gjerne p˚a nettet:

http://en.wikipedia.org/wiki/Mathematical_induction Og øv!

(42)

Flere viktige ting ˚ a huske p˚ a

Man m˚a alltid vise b˚ade induksjonsstarten og induksjonskrittet.

Begynn induksjonskrittet med ˚a anta at induksjonshypotesen holder, f.eks. at p˚astanden holder for et tall n.

Bruk ordet “anta”. Hele poenget med matematiske bevis er ˚a tenke ut fra antakelser!

Hvis du ikke har brukt induksjonshypotesen underveis, s˚a er det sannsynligvis noe galt et sted.

Avslutt et induksjonsbevis med ˚a si noe som likner p˚a “Ved induksjon følger det at...”.

Les læreboka og forelesningsnotatene. Les gjerne p˚a nettet:

http://en.wikipedia.org/wiki/Mathematical_induction Og øv!

(43)

Flere viktige ting ˚ a huske p˚ a

Man m˚a alltid vise b˚ade induksjonsstarten og induksjonskrittet.

Begynn induksjonskrittet med ˚a anta at induksjonshypotesen holder, f.eks. at p˚astanden holder for et tall n.

Bruk ordet “anta”. Hele poenget med matematiske bevis er ˚a tenke ut fra antakelser!

Hvis du ikke har brukt induksjonshypotesen underveis, s˚a er det sannsynligvis noe galt et sted.

Avslutt et induksjonsbevis med ˚a si noe som likner p˚a “Ved induksjon følger det at...”.

Les læreboka og forelesningsnotatene. Les gjerne p˚a nettet:

http://en.wikipedia.org/wiki/Mathematical_induction Og øv!

(44)

Flere viktige ting ˚ a huske p˚ a

Man m˚a alltid vise b˚ade induksjonsstarten og induksjonskrittet.

Begynn induksjonskrittet med ˚a anta at induksjonshypotesen holder, f.eks. at p˚astanden holder for et tall n.

Bruk ordet “anta”. Hele poenget med matematiske bevis er ˚a tenke ut fra antakelser!

Hvis du ikke har brukt induksjonshypotesen underveis, s˚a er det sannsynligvis noe galt et sted.

Avslutt et induksjonsbevis med ˚a si noe som likner p˚a “Ved induksjon følger det at...”.

Les læreboka og forelesningsnotatene. Les gjerne p˚a nettet:

http://en.wikipedia.org/wiki/Mathematical_induction Og øv!

(45)

Flere viktige ting ˚ a huske p˚ a

Man m˚a alltid vise b˚ade induksjonsstarten og induksjonskrittet.

Begynn induksjonskrittet med ˚a anta at induksjonshypotesen holder, f.eks. at p˚astanden holder for et tall n.

Bruk ordet “anta”. Hele poenget med matematiske bevis er ˚a tenke ut fra antakelser!

Hvis du ikke har brukt induksjonshypotesen underveis, s˚a er det sannsynligvis noe galt et sted.

Avslutt et induksjonsbevis med ˚a si noe som likner p˚a “Ved induksjon følger det at...”.

Les læreboka og forelesningsnotatene.

Les gjerne p˚a nettet:

http://en.wikipedia.org/wiki/Mathematical_induction Og øv!

(46)

Flere viktige ting ˚ a huske p˚ a

Man m˚a alltid vise b˚ade induksjonsstarten og induksjonskrittet.

Begynn induksjonskrittet med ˚a anta at induksjonshypotesen holder, f.eks. at p˚astanden holder for et tall n.

Bruk ordet “anta”. Hele poenget med matematiske bevis er ˚a tenke ut fra antakelser!

Hvis du ikke har brukt induksjonshypotesen underveis, s˚a er det sannsynligvis noe galt et sted.

Avslutt et induksjonsbevis med ˚a si noe som likner p˚a “Ved induksjon følger det at...”.

Les læreboka og forelesningsnotatene.

Les gjerne p˚a nettet:

http://en.wikipedia.org/wiki/Mathematical_induction

Og øv!

(47)

Flere viktige ting ˚ a huske p˚ a

Man m˚a alltid vise b˚ade induksjonsstarten og induksjonskrittet.

Begynn induksjonskrittet med ˚a anta at induksjonshypotesen holder, f.eks. at p˚astanden holder for et tall n.

Bruk ordet “anta”. Hele poenget med matematiske bevis er ˚a tenke ut fra antakelser!

Hvis du ikke har brukt induksjonshypotesen underveis, s˚a er det sannsynligvis noe galt et sted.

Avslutt et induksjonsbevis med ˚a si noe som likner p˚a “Ved induksjon følger det at...”.

Les læreboka og forelesningsnotatene.

Les gjerne p˚a nettet:

http://en.wikipedia.org/wiki/Mathematical_induction Og øv!

(48)

La oss bevise at p˚astanden

1 + 3 + 5 +· · ·+ (2n−1) =n2 holder for alle naturlige tall n≥1.

Først sjekker vi om det er plausibelt:

n= 1 gir 1 = 12

n= 2 gir 1 + 3 = 4 = 22 n= 3 gir 1 + 3 + 5 = 9 = 32 n= 4 gir 1 + 3 + 5 + 7 = 16 = 42 og s˚a videre...

Men, vi ønsker et bevis for at dette holder foralle naturlige tall! Da er et induksjonsbevis veien ˚a g˚a.

Vi viser p˚astandenved induksjon p˚a naturlige tall.

(49)

La oss bevise at p˚astanden

1 + 3 + 5 +· · ·+ (2n−1) =n2 holder for alle naturlige tall n≥1.

Først sjekker vi om det er plausibelt:

n= 1 gir 1 = 12

n= 2 gir 1 + 3 = 4 = 22 n= 3 gir 1 + 3 + 5 = 9 = 32 n= 4 gir 1 + 3 + 5 + 7 = 16 = 42 og s˚a videre...

Men, vi ønsker et bevis for at dette holder foralle naturlige tall! Da er et induksjonsbevis veien ˚a g˚a.

Vi viser p˚astandenved induksjon p˚a naturlige tall.

(50)

La oss bevise at p˚astanden

1 + 3 + 5 +· · ·+ (2n−1) =n2 holder for alle naturlige tall n≥1.

Først sjekker vi om det er plausibelt:

n= 1 gir 1 = 12

n= 2 gir 1 + 3 = 4 = 22 n= 3 gir 1 + 3 + 5 = 9 = 32 n= 4 gir 1 + 3 + 5 + 7 = 16 = 42 og s˚a videre...

Men, vi ønsker et bevis for at dette holder foralle naturlige tall! Da er et induksjonsbevis veien ˚a g˚a.

Vi viser p˚astandenved induksjon p˚a naturlige tall.

(51)

La oss bevise at p˚astanden

1 + 3 + 5 +· · ·+ (2n−1) =n2 holder for alle naturlige tall n≥1.

Først sjekker vi om det er plausibelt:

n= 1 gir 1 = 12

n= 2 gir 1 + 3 = 4 = 22

n= 3 gir 1 + 3 + 5 = 9 = 32 n= 4 gir 1 + 3 + 5 + 7 = 16 = 42 og s˚a videre...

Men, vi ønsker et bevis for at dette holder foralle naturlige tall! Da er et induksjonsbevis veien ˚a g˚a.

Vi viser p˚astandenved induksjon p˚a naturlige tall.

(52)

La oss bevise at p˚astanden

1 + 3 + 5 +· · ·+ (2n−1) =n2 holder for alle naturlige tall n≥1.

Først sjekker vi om det er plausibelt:

n= 1 gir 1 = 12

n= 2 gir 1 + 3 = 4 = 22 n= 3 gir 1 + 3 + 5 = 9 = 32

n= 4 gir 1 + 3 + 5 + 7 = 16 = 42 og s˚a videre...

Men, vi ønsker et bevis for at dette holder foralle naturlige tall! Da er et induksjonsbevis veien ˚a g˚a.

Vi viser p˚astandenved induksjon p˚a naturlige tall.

(53)

La oss bevise at p˚astanden

1 + 3 + 5 +· · ·+ (2n−1) =n2 holder for alle naturlige tall n≥1.

Først sjekker vi om det er plausibelt:

n= 1 gir 1 = 12

n= 2 gir 1 + 3 = 4 = 22 n= 3 gir 1 + 3 + 5 = 9 = 32 n= 4 gir 1 + 3 + 5 + 7 = 16 = 42

og s˚a videre...

Men, vi ønsker et bevis for at dette holder foralle naturlige tall! Da er et induksjonsbevis veien ˚a g˚a.

Vi viser p˚astandenved induksjon p˚a naturlige tall.

(54)

La oss bevise at p˚astanden

1 + 3 + 5 +· · ·+ (2n−1) =n2 holder for alle naturlige tall n≥1.

Først sjekker vi om det er plausibelt:

n= 1 gir 1 = 12

n= 2 gir 1 + 3 = 4 = 22 n= 3 gir 1 + 3 + 5 = 9 = 32 n= 4 gir 1 + 3 + 5 + 7 = 16 = 42 og s˚a videre...

Men, vi ønsker et bevis for at dette holder foralle naturlige tall! Da er et induksjonsbevis veien ˚a g˚a.

Vi viser p˚astandenved induksjon p˚a naturlige tall.

(55)

La oss bevise at p˚astanden

1 + 3 + 5 +· · ·+ (2n−1) =n2 holder for alle naturlige tall n≥1.

Først sjekker vi om det er plausibelt:

n= 1 gir 1 = 12

n= 2 gir 1 + 3 = 4 = 22 n= 3 gir 1 + 3 + 5 = 9 = 32 n= 4 gir 1 + 3 + 5 + 7 = 16 = 42 og s˚a videre...

Men, vi ønsker et bevis for at dette holder foralle naturlige tall!

Da er et induksjonsbevis veien ˚a g˚a.

Vi viser p˚astandenved induksjon p˚a naturlige tall.

(56)

La oss bevise at p˚astanden

1 + 3 + 5 +· · ·+ (2n−1) =n2 holder for alle naturlige tall n≥1.

Først sjekker vi om det er plausibelt:

n= 1 gir 1 = 12

n= 2 gir 1 + 3 = 4 = 22 n= 3 gir 1 + 3 + 5 = 9 = 32 n= 4 gir 1 + 3 + 5 + 7 = 16 = 42 og s˚a videre...

Men, vi ønsker et bevis for at dette holder foralle naturlige tall!

Da er et induksjonsbevis veien ˚a g˚a.

Vi viser p˚astandenved induksjon p˚a naturlige tall.

(57)

La oss bevise at p˚astanden

1 + 3 + 5 +· · ·+ (2n−1) =n2 holder for alle naturlige tall n≥1.

Først sjekker vi om det er plausibelt:

n= 1 gir 1 = 12

n= 2 gir 1 + 3 = 4 = 22 n= 3 gir 1 + 3 + 5 = 9 = 32 n= 4 gir 1 + 3 + 5 + 7 = 16 = 42 og s˚a videre...

Men, vi ønsker et bevis for at dette holder foralle naturlige tall!

Da er et induksjonsbevis veien ˚a g˚a.

Vi viser p˚astandenved induksjon p˚a naturlige tall.

(58)

Bevis

Hva er P˚ASTANDEN? Hva vil det si at p˚astanden holder forn? Det er at 1 + 3 + 5 +· · ·+ (2n−1) =n2 er sant.

Induksjonsstarten er at P˚ASTANDEN holder forn= 1.

Vi setter inn 1 fornog f˚ar 1 = 12, som stemmer.

Induksjonsskrittet er athvis P˚ASTANDEN holder fork, s˚a holder den for k+ 1.

Her kommer induksjonsskrittet i beviset.

Anta at P˚ASTANDEN holder fork.

Det betyr at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant. a m˚a vi vise at P˚ASTANDEN holder fork+ 1.

Vi m˚a alts˚a vise at 1 + 3 + 5 +· · ·+ (2(k+ 1)1) =(k+ 1)2er sant. Vi m˚a vise at venstresiden er lik høyresiden.

Venstresiden er lik 1 + 3 + 5 +· · ·+ (2k+ 1) som er lik 1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1)

Vi m˚a vise at dette er lik høyresiden, som er lik (k+ 1)2.

(59)

Bevis

Hva er P˚ASTANDEN? Hva vil det si at p˚astanden holder forn?

Det er at 1 + 3 + 5 +· · ·+ (2n−1) =n2 er sant. Induksjonsstarten er at P˚ASTANDEN holder forn= 1.

Vi setter inn 1 fornog f˚ar 1 = 12, som stemmer.

Induksjonsskrittet er athvis P˚ASTANDEN holder fork, s˚a holder den for k+ 1.

Her kommer induksjonsskrittet i beviset.

Anta at P˚ASTANDEN holder fork.

Det betyr at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant. a m˚a vi vise at P˚ASTANDEN holder fork+ 1.

Vi m˚a alts˚a vise at 1 + 3 + 5 +· · ·+ (2(k+ 1)1) =(k+ 1)2er sant. Vi m˚a vise at venstresiden er lik høyresiden.

Venstresiden er lik 1 + 3 + 5 +· · ·+ (2k+ 1) som er lik 1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1)

Vi m˚a vise at dette er lik høyresiden, som er lik (k+ 1)2.

(60)

Bevis

Hva er P˚ASTANDEN? Hva vil det si at p˚astanden holder forn?

Det er at 1 + 3 + 5 +· · ·+ (2n−1) =n2 er sant.

Induksjonsstarten er at P˚ASTANDEN holder forn= 1.

Vi setter inn 1 fornog f˚ar 1 = 12, som stemmer.

Induksjonsskrittet er athvis P˚ASTANDEN holder fork, s˚a holder den for k+ 1.

Her kommer induksjonsskrittet i beviset.

Anta at P˚ASTANDEN holder fork.

Det betyr at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant. a m˚a vi vise at P˚ASTANDEN holder fork+ 1.

Vi m˚a alts˚a vise at 1 + 3 + 5 +· · ·+ (2(k+ 1)1) =(k+ 1)2er sant. Vi m˚a vise at venstresiden er lik høyresiden.

Venstresiden er lik 1 + 3 + 5 +· · ·+ (2k+ 1) som er lik 1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1)

Vi m˚a vise at dette er lik høyresiden, som er lik (k+ 1)2.

(61)

Bevis

Hva er P˚ASTANDEN? Hva vil det si at p˚astanden holder forn?

Det er at 1 + 3 + 5 +· · ·+ (2n−1) =n2 er sant.

Induksjonsstarten er at P˚ASTANDEN holder forn= 1.

Vi setter inn 1 fornog f˚ar 1 = 12, som stemmer.

Induksjonsskrittet er athvis P˚ASTANDEN holder fork, s˚a holder den for k+ 1.

Her kommer induksjonsskrittet i beviset.

Anta at P˚ASTANDEN holder fork.

Det betyr at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant. a m˚a vi vise at P˚ASTANDEN holder fork+ 1.

Vi m˚a alts˚a vise at 1 + 3 + 5 +· · ·+ (2(k+ 1)1) =(k+ 1)2er sant. Vi m˚a vise at venstresiden er lik høyresiden.

Venstresiden er lik 1 + 3 + 5 +· · ·+ (2k+ 1) som er lik 1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1)

Vi m˚a vise at dette er lik høyresiden, som er lik (k+ 1)2.

(62)

Bevis

Hva er P˚ASTANDEN? Hva vil det si at p˚astanden holder forn?

Det er at 1 + 3 + 5 +· · ·+ (2n−1) =n2 er sant.

Induksjonsstarten er at P˚ASTANDEN holder forn= 1.

Vi setter inn 1 fornog f˚ar 1 = 12, som stemmer.

Induksjonsskrittet er athvis P˚ASTANDEN holder fork, s˚a holder den for k+ 1.

Her kommer induksjonsskrittet i beviset.

Anta at P˚ASTANDEN holder fork.

Det betyr at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant. a m˚a vi vise at P˚ASTANDEN holder fork+ 1.

Vi m˚a alts˚a vise at 1 + 3 + 5 +· · ·+ (2(k+ 1)1) =(k+ 1)2er sant. Vi m˚a vise at venstresiden er lik høyresiden.

Venstresiden er lik 1 + 3 + 5 +· · ·+ (2k+ 1) som er lik 1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1)

Vi m˚a vise at dette er lik høyresiden, som er lik (k+ 1)2.

(63)

Bevis

Hva er P˚ASTANDEN? Hva vil det si at p˚astanden holder forn?

Det er at 1 + 3 + 5 +· · ·+ (2n−1) =n2 er sant.

Induksjonsstarten er at P˚ASTANDEN holder forn= 1.

Vi setter inn 1 fornog f˚ar 1 = 12, som stemmer.

Induksjonsskrittet er athvis P˚ASTANDEN holder fork, s˚a holder den for k+ 1.

Her kommer induksjonsskrittet i beviset.

Anta at P˚ASTANDEN holder fork.

Det betyr at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant. a m˚a vi vise at P˚ASTANDEN holder fork+ 1.

Vi m˚a alts˚a vise at 1 + 3 + 5 +· · ·+ (2(k+ 1)1) =(k+ 1)2er sant. Vi m˚a vise at venstresiden er lik høyresiden.

Venstresiden er lik 1 + 3 + 5 +· · ·+ (2k+ 1) som er lik 1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1)

Vi m˚a vise at dette er lik høyresiden, som er lik (k+ 1)2.

(64)

Bevis

Hva er P˚ASTANDEN? Hva vil det si at p˚astanden holder forn?

Det er at 1 + 3 + 5 +· · ·+ (2n−1) =n2 er sant.

Induksjonsstarten er at P˚ASTANDEN holder forn= 1.

Vi setter inn 1 fornog f˚ar 1 = 12, som stemmer.

Induksjonsskrittet er athvis P˚ASTANDEN holder fork, s˚a holder den for k+ 1.

Her kommer induksjonsskrittet i beviset.

Anta at P˚ASTANDEN holder fork.

Det betyr at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant. a m˚a vi vise at P˚ASTANDEN holder fork+ 1.

Vi m˚a alts˚a vise at 1 + 3 + 5 +· · ·+ (2(k+ 1)1) =(k+ 1)2er sant. Vi m˚a vise at venstresiden er lik høyresiden.

Venstresiden er lik 1 + 3 + 5 +· · ·+ (2k+ 1) som er lik 1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1)

Vi m˚a vise at dette er lik høyresiden, som er lik (k+ 1)2.

(65)

Bevis

Hva er P˚ASTANDEN? Hva vil det si at p˚astanden holder forn?

Det er at 1 + 3 + 5 +· · ·+ (2n−1) =n2 er sant.

Induksjonsstarten er at P˚ASTANDEN holder forn= 1.

Vi setter inn 1 fornog f˚ar 1 = 12, som stemmer.

Induksjonsskrittet er athvis P˚ASTANDEN holder fork, s˚a holder den for k+ 1.

Her kommer induksjonsskrittet i beviset.

Anta at P˚ASTANDEN holder fork.

Det betyr at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant. a m˚a vi vise at P˚ASTANDEN holder fork+ 1.

Vi m˚a alts˚a vise at 1 + 3 + 5 +· · ·+ (2(k+ 1)1) =(k+ 1)2er sant. Vi m˚a vise at venstresiden er lik høyresiden.

Venstresiden er lik 1 + 3 + 5 +· · ·+ (2k+ 1) som er lik 1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1)

Vi m˚a vise at dette er lik høyresiden, som er lik (k+ 1)2.

(66)

Bevis

Hva er P˚ASTANDEN? Hva vil det si at p˚astanden holder forn?

Det er at 1 + 3 + 5 +· · ·+ (2n−1) =n2 er sant.

Induksjonsstarten er at P˚ASTANDEN holder forn= 1.

Vi setter inn 1 fornog f˚ar 1 = 12, som stemmer.

Induksjonsskrittet er athvis P˚ASTANDEN holder fork, s˚a holder den for k+ 1.

Her kommer induksjonsskrittet i beviset.

Anta at P˚ASTANDEN holder fork.

Det betyr at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant.

a m˚a vi vise at P˚ASTANDEN holder fork+ 1.

Vi m˚a alts˚a vise at 1 + 3 + 5 +· · ·+ (2(k+ 1)1) =(k+ 1)2er sant. Vi m˚a vise at venstresiden er lik høyresiden.

Venstresiden er lik 1 + 3 + 5 +· · ·+ (2k+ 1) som er lik 1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1)

Vi m˚a vise at dette er lik høyresiden, som er lik (k+ 1)2.

(67)

Bevis

Hva er P˚ASTANDEN? Hva vil det si at p˚astanden holder forn?

Det er at 1 + 3 + 5 +· · ·+ (2n−1) =n2 er sant.

Induksjonsstarten er at P˚ASTANDEN holder forn= 1.

Vi setter inn 1 fornog f˚ar 1 = 12, som stemmer.

Induksjonsskrittet er athvis P˚ASTANDEN holder fork, s˚a holder den for k+ 1.

Her kommer induksjonsskrittet i beviset.

Anta at P˚ASTANDEN holder fork.

Det betyr at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant.

a m˚a vi vise at P˚ASTANDEN holder fork+ 1.

Vi m˚a alts˚a vise at 1 + 3 + 5 +· · ·+ (2(k+ 1)1) =(k+ 1)2er sant. Vi m˚a vise at venstresiden er lik høyresiden.

Venstresiden er lik 1 + 3 + 5 +· · ·+ (2k+ 1) som er lik 1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1)

Vi m˚a vise at dette er lik høyresiden, som er lik (k+ 1)2.

(68)

Bevis

Hva er P˚ASTANDEN? Hva vil det si at p˚astanden holder forn?

Det er at 1 + 3 + 5 +· · ·+ (2n−1) =n2 er sant.

Induksjonsstarten er at P˚ASTANDEN holder forn= 1.

Vi setter inn 1 fornog f˚ar 1 = 12, som stemmer.

Induksjonsskrittet er athvis P˚ASTANDEN holder fork, s˚a holder den for k+ 1.

Her kommer induksjonsskrittet i beviset.

Anta at P˚ASTANDEN holder fork.

Det betyr at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant.

a m˚a vi vise at P˚ASTANDEN holder fork+ 1.

Vi m˚a alts˚a vise at 1 + 3 + 5 +· · ·+ (2(k+ 1)1) =(k+ 1)2er sant.

Vi m˚a vise at venstresiden er lik høyresiden.

Venstresiden er lik 1 + 3 + 5 +· · ·+ (2k+ 1) som er lik 1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1)

Vi m˚a vise at dette er lik høyresiden, som er lik (k+ 1)2.

(69)

Bevis

Hva er P˚ASTANDEN? Hva vil det si at p˚astanden holder forn?

Det er at 1 + 3 + 5 +· · ·+ (2n−1) =n2 er sant.

Induksjonsstarten er at P˚ASTANDEN holder forn= 1.

Vi setter inn 1 fornog f˚ar 1 = 12, som stemmer.

Induksjonsskrittet er athvis P˚ASTANDEN holder fork, s˚a holder den for k+ 1.

Her kommer induksjonsskrittet i beviset.

Anta at P˚ASTANDEN holder fork.

Det betyr at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant.

a m˚a vi vise at P˚ASTANDEN holder fork+ 1.

Vi m˚a alts˚a vise at 1 + 3 + 5 +· · ·+ (2(k+ 1)1) =(k+ 1)2er sant.

Vi m˚a vise at venstresiden er lik høyresiden.

Venstresiden er lik 1 + 3 + 5 +· · ·+ (2k+ 1) som er lik 1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1)

Vi m˚a vise at dette er lik høyresiden, som er lik (k+ 1)2.

(70)

Bevis

Hva er P˚ASTANDEN? Hva vil det si at p˚astanden holder forn?

Det er at 1 + 3 + 5 +· · ·+ (2n−1) =n2 er sant.

Induksjonsstarten er at P˚ASTANDEN holder forn= 1.

Vi setter inn 1 fornog f˚ar 1 = 12, som stemmer.

Induksjonsskrittet er athvis P˚ASTANDEN holder fork, s˚a holder den for k+ 1.

Her kommer induksjonsskrittet i beviset.

Anta at P˚ASTANDEN holder fork.

Det betyr at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant.

a m˚a vi vise at P˚ASTANDEN holder fork+ 1.

Vi m˚a alts˚a vise at 1 + 3 + 5 +· · ·+ (2(k+ 1)1) =(k+ 1)2er sant.

Vi m˚a vise at venstresiden er lik høyresiden.

Venstresiden er lik 1 + 3 + 5 +· · ·+ (2k+ 1) som er lik 1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1)

Vi m˚a vise at dette er lik høyresiden, som er lik (k+ 1)2.

(71)

Bevis

Hva er P˚ASTANDEN? Hva vil det si at p˚astanden holder forn?

Det er at 1 + 3 + 5 +· · ·+ (2n−1) =n2 er sant.

Induksjonsstarten er at P˚ASTANDEN holder forn= 1.

Vi setter inn 1 fornog f˚ar 1 = 12, som stemmer.

Induksjonsskrittet er athvis P˚ASTANDEN holder fork, s˚a holder den for k+ 1.

Her kommer induksjonsskrittet i beviset.

Anta at P˚ASTANDEN holder fork.

Det betyr at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant.

a m˚a vi vise at P˚ASTANDEN holder fork+ 1.

Vi m˚a alts˚a vise at 1 + 3 + 5 +· · ·+ (2(k+ 1)1) =(k+ 1)2er sant.

Vi m˚a vise at venstresiden er lik høyresiden.

Venstresiden er lik 1 + 3 + 5 +· · ·+ (2k+ 1) som er lik 1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1)

Vi m˚a vise at dette er lik høyresiden, som er lik (k+ 1)2.

(72)

Vi m˚a tenke ut fra antakelser! Hva vet vi?

Vi vet at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant. (Det er at P˚ASTANDEN holder fork.)

Hva er m˚aletv˚art?

Det er ˚a vise atvenstresiden1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1) er likhøyresiden(k+ 1)2.

(Det er at P˚ASTANDEN holder fork+ 1.)

Ved ˚a bytte ut 1 + 3 + 5 +· · ·+ (2k−1) medk2 ivenstresiden, s˚a f˚ar vi k2+ (2k+ 1).

Det er lik (k+ 1)2

som er det samme som høyresiden, nøyaktigdet vi skulle vise! Ved induksjon følger det at p˚astanden holder for alle naturlige tall n≥1.

(73)

Vi m˚a tenke ut fra antakelser!

Hva vet vi?

Vi vet at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant. (Det er at P˚ASTANDEN holder fork.)

Hva er m˚aletv˚art?

Det er ˚a vise atvenstresiden1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1) er likhøyresiden(k+ 1)2.

(Det er at P˚ASTANDEN holder fork+ 1.)

Ved ˚a bytte ut 1 + 3 + 5 +· · ·+ (2k−1) medk2 ivenstresiden, s˚a f˚ar vi k2+ (2k+ 1).

Det er lik (k+ 1)2

som er det samme som høyresiden, nøyaktigdet vi skulle vise! Ved induksjon følger det at p˚astanden holder for alle naturlige tall n≥1.

(74)

Vi m˚a tenke ut fra antakelser!

Hva vet vi?

Vi vet at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant. (Det er at P˚ASTANDEN holder fork.)

Hva er m˚aletv˚art?

Det er ˚a vise atvenstresiden1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1) er likhøyresiden(k+ 1)2.

(Det er at P˚ASTANDEN holder fork+ 1.)

Ved ˚a bytte ut 1 + 3 + 5 +· · ·+ (2k−1) medk2 ivenstresiden, s˚a f˚ar vi k2+ (2k+ 1).

Det er lik (k+ 1)2

som er det samme som høyresiden, nøyaktigdet vi skulle vise! Ved induksjon følger det at p˚astanden holder for alle naturlige tall n≥1.

(75)

Vi m˚a tenke ut fra antakelser!

Hva vet vi?

Vi vet at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant.

(Det er at P˚ASTANDEN holder fork.) Hva er m˚aletv˚art?

Det er ˚a vise atvenstresiden1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1) er likhøyresiden(k+ 1)2.

(Det er at P˚ASTANDEN holder fork+ 1.)

Ved ˚a bytte ut 1 + 3 + 5 +· · ·+ (2k−1) medk2 ivenstresiden, s˚a f˚ar vi k2+ (2k+ 1).

Det er lik (k+ 1)2

som er det samme som høyresiden, nøyaktigdet vi skulle vise! Ved induksjon følger det at p˚astanden holder for alle naturlige tall n≥1.

(76)

Vi m˚a tenke ut fra antakelser!

Hva vet vi?

Vi vet at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant.

(Det er at P˚ASTANDEN holder fork.)

Hva er m˚aletv˚art?

Det er ˚a vise atvenstresiden1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1) er likhøyresiden(k+ 1)2.

(Det er at P˚ASTANDEN holder fork+ 1.)

Ved ˚a bytte ut 1 + 3 + 5 +· · ·+ (2k−1) medk2 ivenstresiden, s˚a f˚ar vi k2+ (2k+ 1).

Det er lik (k+ 1)2

som er det samme som høyresiden, nøyaktigdet vi skulle vise! Ved induksjon følger det at p˚astanden holder for alle naturlige tall n≥1.

(77)

Vi m˚a tenke ut fra antakelser!

Hva vet vi?

Vi vet at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant.

(Det er at P˚ASTANDEN holder fork.) Hva er m˚aletv˚art?

Det er ˚a vise atvenstresiden1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1) er likhøyresiden(k+ 1)2.

(Det er at P˚ASTANDEN holder fork+ 1.)

Ved ˚a bytte ut 1 + 3 + 5 +· · ·+ (2k−1) medk2 ivenstresiden, s˚a f˚ar vi k2+ (2k+ 1).

Det er lik (k+ 1)2

som er det samme som høyresiden, nøyaktigdet vi skulle vise! Ved induksjon følger det at p˚astanden holder for alle naturlige tall n≥1.

(78)

Vi m˚a tenke ut fra antakelser!

Hva vet vi?

Vi vet at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant.

(Det er at P˚ASTANDEN holder fork.) Hva er m˚aletv˚art?

Det er ˚a vise atvenstresiden1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1)

er likhøyresiden(k+ 1)2.

(Det er at P˚ASTANDEN holder fork+ 1.)

Ved ˚a bytte ut 1 + 3 + 5 +· · ·+ (2k−1) medk2 ivenstresiden, s˚a f˚ar vi k2+ (2k+ 1).

Det er lik (k+ 1)2

som er det samme som høyresiden, nøyaktigdet vi skulle vise! Ved induksjon følger det at p˚astanden holder for alle naturlige tall n≥1.

(79)

Vi m˚a tenke ut fra antakelser!

Hva vet vi?

Vi vet at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant.

(Det er at P˚ASTANDEN holder fork.) Hva er m˚aletv˚art?

Det er ˚a vise atvenstresiden1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1) er likhøyresiden(k+ 1)2.

(Det er at P˚ASTANDEN holder fork+ 1.)

Ved ˚a bytte ut 1 + 3 + 5 +· · ·+ (2k−1) medk2 ivenstresiden, s˚a f˚ar vi k2+ (2k+ 1).

Det er lik (k+ 1)2

som er det samme som høyresiden, nøyaktigdet vi skulle vise! Ved induksjon følger det at p˚astanden holder for alle naturlige tall n≥1.

(80)

Vi m˚a tenke ut fra antakelser!

Hva vet vi?

Vi vet at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant.

(Det er at P˚ASTANDEN holder fork.) Hva er m˚aletv˚art?

Det er ˚a vise atvenstresiden1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1) er likhøyresiden(k+ 1)2.

(Det er at P˚ASTANDEN holder fork+ 1.)

Ved ˚a bytte ut 1 + 3 + 5 +· · ·+ (2k−1) medk2 ivenstresiden, s˚a f˚ar vi k2+ (2k+ 1).

Det er lik (k+ 1)2

som er det samme som høyresiden, nøyaktigdet vi skulle vise! Ved induksjon følger det at p˚astanden holder for alle naturlige tall n≥1.

(81)

Vi m˚a tenke ut fra antakelser!

Hva vet vi?

Vi vet at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant.

(Det er at P˚ASTANDEN holder fork.) Hva er m˚aletv˚art?

Det er ˚a vise atvenstresiden1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1) er likhøyresiden(k+ 1)2.

(Det er at P˚ASTANDEN holder fork+ 1.)

Ved ˚a bytte ut 1 + 3 + 5 +· · ·+ (2k−1) med k2 ivenstresiden, s˚a f˚ar vi k2+ (2k+ 1).

Det er lik (k+ 1)2

som er det samme som høyresiden, nøyaktigdet vi skulle vise! Ved induksjon følger det at p˚astanden holder for alle naturlige tall n≥1.

(82)

Vi m˚a tenke ut fra antakelser!

Hva vet vi?

Vi vet at 1 + 3 + 5 +· · ·+ (2k1) =k2er sant.

(Det er at P˚ASTANDEN holder fork.) Hva er m˚aletv˚art?

Det er ˚a vise atvenstresiden1 + 3 + 5 +· · ·+ (2k1) + (2k+ 1) er likhøyresiden(k+ 1)2.

(Det er at P˚ASTANDEN holder fork+ 1.)

Ved ˚a bytte ut 1 + 3 + 5 +· · ·+ (2k−1) med k2 ivenstresiden, s˚a f˚ar vi k2+ (2k+ 1).

Det er lik (k+ 1)2

som er det samme som høyresiden, nøyaktigdet vi skulle vise! Ved induksjon følger det at p˚astanden holder for alle naturlige tall n≥1.

Referanser

RELATERTE DOKUMENTER

(Vi skiller ikke mellom store og sm˚ a bokstaver og tar ikke med æ,ø,˚ a.) Et passord m˚ a inneholde minst ett tall.. Hvor mange mulige passord

Modifiser algoritmen fra 1.2.1 slik at den ogs˚ a returnerer posisjonen i listen hvor det minste tallet

Forklar følgende p˚ astand ved ˚ a vise til beregninger med reelle tall p˚ a eksponentiell form: “Man mister presisjon n˚ ar nesten like tall

Hvis b˚ ade m og n hadde vært partall, kunne vi ha delt teller og nevner med 2 og f˚ att en enklere brøk. Vi konkluderer med at m er

Løsning c Et utsagnslogisk uttrykk som kun inneholder bindeordet ↔ er en tautologi hvis og bare hvis det inneholder et partall forekomster av

Hvordan finne løsninger til rekurrenslikninger Den karakteristiske likningen til en rekurrenslikning Generell rekursjon og induksjon. Induktivt definerte mengder Rekursjon

Bruk dette til ˚ a definere funksjonen G(n) ved rekursjon, hvor G (n) er antall omr˚ ader vi kan dele planet opp i ved hjelp av n sirkler. Foresl˚ a en formel for G (n) og se om du

b) Formuler, etter beste evne, et kriterium for n˚ ar et ord med symbolene (, ), [ og ] er korrekt, slik at kriteriet kan brukes som grunnlag for en algoritme som tester dette...