• No results found

MAT1030 – Diskret matematikk Plenumsregning 8: Diverse ukeoppgaver fra kapittel 6 & 7,mm. Roger Antonsen

N/A
N/A
Protected

Academic year: 2022

Share "MAT1030 – Diskret matematikk Plenumsregning 8: Diverse ukeoppgaver fra kapittel 6 & 7,mm. Roger Antonsen"

Copied!
214
0
0

Laster.... (Se fulltekst nå)

Fulltekst

(1)

MAT1030 – Diskret matematikk

Plenumsregning 8: Diverse ukeoppgaver fra kapittel 6 & 7,mm.

Roger Antonsen

Matematisk Institutt, Universitetet i Oslo

27. mars 2008

(2)

Repetisjon

Funksjoner - Viktige begreper

Argumenter og verdier

Definisjonsomr˚adet til en funksjon Verdiomr˚adet til en funksjon Bildet til en funksjon Injektive funksjoner Surjektive funksjoner

Sammensetning av funksjoner Inverse funksjoner

MAT1030 – Diskret matematikk 27. mars 2008 2

(3)

Repetisjon

Funksjoner - Viktige begreper Argumenter og verdier

Definisjonsomr˚adet til en funksjon Verdiomr˚adet til en funksjon Bildet til en funksjon Injektive funksjoner Surjektive funksjoner

Sammensetning av funksjoner Inverse funksjoner

MAT1030 – Diskret matematikk 27. mars 2008 2

(4)

Repetisjon

Funksjoner - Viktige begreper Argumenter og verdier

Definisjonsomr˚adet til en funksjon

Verdiomr˚adet til en funksjon Bildet til en funksjon Injektive funksjoner Surjektive funksjoner

Sammensetning av funksjoner Inverse funksjoner

MAT1030 – Diskret matematikk 27. mars 2008 2

(5)

Repetisjon

Funksjoner - Viktige begreper Argumenter og verdier

Definisjonsomr˚adet til en funksjon Verdiomr˚adet til en funksjon

Bildet til en funksjon Injektive funksjoner Surjektive funksjoner

Sammensetning av funksjoner Inverse funksjoner

MAT1030 – Diskret matematikk 27. mars 2008 2

(6)

Repetisjon

Funksjoner - Viktige begreper Argumenter og verdier

Definisjonsomr˚adet til en funksjon Verdiomr˚adet til en funksjon Bildet til en funksjon

Injektive funksjoner Surjektive funksjoner

Sammensetning av funksjoner Inverse funksjoner

MAT1030 – Diskret matematikk 27. mars 2008 2

(7)

Repetisjon

Funksjoner - Viktige begreper Argumenter og verdier

Definisjonsomr˚adet til en funksjon Verdiomr˚adet til en funksjon Bildet til en funksjon Injektive funksjoner

Surjektive funksjoner

Sammensetning av funksjoner Inverse funksjoner

MAT1030 – Diskret matematikk 27. mars 2008 2

(8)

Repetisjon

Funksjoner - Viktige begreper Argumenter og verdier

Definisjonsomr˚adet til en funksjon Verdiomr˚adet til en funksjon Bildet til en funksjon Injektive funksjoner Surjektive funksjoner

Sammensetning av funksjoner Inverse funksjoner

MAT1030 – Diskret matematikk 27. mars 2008 2

(9)

Repetisjon

Funksjoner - Viktige begreper Argumenter og verdier

Definisjonsomr˚adet til en funksjon Verdiomr˚adet til en funksjon Bildet til en funksjon Injektive funksjoner Surjektive funksjoner

Sammensetning av funksjoner

Inverse funksjoner

MAT1030 – Diskret matematikk 27. mars 2008 2

(10)

Repetisjon

Funksjoner - Viktige begreper Argumenter og verdier

Definisjonsomr˚adet til en funksjon Verdiomr˚adet til en funksjon Bildet til en funksjon Injektive funksjoner Surjektive funksjoner

Sammensetning av funksjoner Inverse funksjoner

MAT1030 – Diskret matematikk 27. mars 2008 2

(11)

Repetisjon

Rekursjon og induksjon

Rekursive definisjoner Induksjonsbevis

Induksjonsstart & induksjonsskritt Rekurrenslikninger

Hvordan finne løsninger til rekurrenslikninger Den karakteristiske likningen til en rekurrenslikning Generell rekursjon og induksjon

Induktivt definerte mengder Rekursjon over slike

Alfabet, ord, formelle spr˚ak, formler Simultan rekursjon

MAT1030 – Diskret matematikk 27. mars 2008 3

(12)

Repetisjon

Rekursjon og induksjon Rekursive definisjoner

Induksjonsbevis

Induksjonsstart & induksjonsskritt Rekurrenslikninger

Hvordan finne løsninger til rekurrenslikninger Den karakteristiske likningen til en rekurrenslikning Generell rekursjon og induksjon

Induktivt definerte mengder Rekursjon over slike

Alfabet, ord, formelle spr˚ak, formler Simultan rekursjon

MAT1030 – Diskret matematikk 27. mars 2008 3

(13)

Repetisjon

Rekursjon og induksjon Rekursive definisjoner Induksjonsbevis

Induksjonsstart & induksjonsskritt Rekurrenslikninger

Hvordan finne løsninger til rekurrenslikninger Den karakteristiske likningen til en rekurrenslikning Generell rekursjon og induksjon

Induktivt definerte mengder Rekursjon over slike

Alfabet, ord, formelle spr˚ak, formler Simultan rekursjon

MAT1030 – Diskret matematikk 27. mars 2008 3

(14)

Repetisjon

Rekursjon og induksjon Rekursive definisjoner Induksjonsbevis

Induksjonsstart & induksjonsskritt

Rekurrenslikninger

Hvordan finne løsninger til rekurrenslikninger Den karakteristiske likningen til en rekurrenslikning Generell rekursjon og induksjon

Induktivt definerte mengder Rekursjon over slike

Alfabet, ord, formelle spr˚ak, formler Simultan rekursjon

MAT1030 – Diskret matematikk 27. mars 2008 3

(15)

Repetisjon

Rekursjon og induksjon Rekursive definisjoner Induksjonsbevis

Induksjonsstart & induksjonsskritt Rekurrenslikninger

Hvordan finne løsninger til rekurrenslikninger Den karakteristiske likningen til en rekurrenslikning Generell rekursjon og induksjon

Induktivt definerte mengder Rekursjon over slike

Alfabet, ord, formelle spr˚ak, formler Simultan rekursjon

MAT1030 – Diskret matematikk 27. mars 2008 3

(16)

Repetisjon

Rekursjon og induksjon Rekursive definisjoner Induksjonsbevis

Induksjonsstart & induksjonsskritt Rekurrenslikninger

Hvordan finne løsninger til rekurrenslikninger

Den karakteristiske likningen til en rekurrenslikning Generell rekursjon og induksjon

Induktivt definerte mengder Rekursjon over slike

Alfabet, ord, formelle spr˚ak, formler Simultan rekursjon

MAT1030 – Diskret matematikk 27. mars 2008 3

(17)

Repetisjon

Rekursjon og induksjon Rekursive definisjoner Induksjonsbevis

Induksjonsstart & induksjonsskritt Rekurrenslikninger

Hvordan finne løsninger til rekurrenslikninger Den karakteristiske likningen til en rekurrenslikning

Generell rekursjon og induksjon Induktivt definerte mengder Rekursjon over slike

Alfabet, ord, formelle spr˚ak, formler Simultan rekursjon

MAT1030 – Diskret matematikk 27. mars 2008 3

(18)

Repetisjon

Rekursjon og induksjon Rekursive definisjoner Induksjonsbevis

Induksjonsstart & induksjonsskritt Rekurrenslikninger

Hvordan finne løsninger til rekurrenslikninger Den karakteristiske likningen til en rekurrenslikning Generell rekursjon og induksjon

Induktivt definerte mengder Rekursjon over slike

Alfabet, ord, formelle spr˚ak, formler Simultan rekursjon

MAT1030 – Diskret matematikk 27. mars 2008 3

(19)

Repetisjon

Rekursjon og induksjon Rekursive definisjoner Induksjonsbevis

Induksjonsstart & induksjonsskritt Rekurrenslikninger

Hvordan finne løsninger til rekurrenslikninger Den karakteristiske likningen til en rekurrenslikning Generell rekursjon og induksjon

Induktivt definerte mengder

Rekursjon over slike

Alfabet, ord, formelle spr˚ak, formler Simultan rekursjon

MAT1030 – Diskret matematikk 27. mars 2008 3

(20)

Repetisjon

Rekursjon og induksjon Rekursive definisjoner Induksjonsbevis

Induksjonsstart & induksjonsskritt Rekurrenslikninger

Hvordan finne løsninger til rekurrenslikninger Den karakteristiske likningen til en rekurrenslikning Generell rekursjon og induksjon

Induktivt definerte mengder Rekursjon over slike

Alfabet, ord, formelle spr˚ak, formler Simultan rekursjon

MAT1030 – Diskret matematikk 27. mars 2008 3

(21)

Repetisjon

Rekursjon og induksjon Rekursive definisjoner Induksjonsbevis

Induksjonsstart & induksjonsskritt Rekurrenslikninger

Hvordan finne løsninger til rekurrenslikninger Den karakteristiske likningen til en rekurrenslikning Generell rekursjon og induksjon

Induktivt definerte mengder Rekursjon over slike

Alfabet, ord, formelle spr˚ak, formler

Simultan rekursjon

MAT1030 – Diskret matematikk 27. mars 2008 3

(22)

Repetisjon

Rekursjon og induksjon Rekursive definisjoner Induksjonsbevis

Induksjonsstart & induksjonsskritt Rekurrenslikninger

Hvordan finne løsninger til rekurrenslikninger Den karakteristiske likningen til en rekurrenslikning Generell rekursjon og induksjon

Induktivt definerte mengder Rekursjon over slike

Alfabet, ord, formelle spr˚ak, formler Simultan rekursjon

MAT1030 – Diskret matematikk 27. mars 2008 3

(23)

Oppgave (fra forelesningen 25/2 p˚a side 33)

a) Vis at hvis f :X →Y og g :Y →Z begge har inversef−1 og g−1, s˚a vil sammensetningen

h =g◦f ogs˚a ha en invers.

b) Under antagelsene i a), vis at h−1 =f−1◦g−1.

MAT1030 – Diskret matematikk 27. mars 2008 4

(24)

Oppgave (fra forelesningen 25/2 p˚a side 33)

a) Vis at hvisf :X →Y og g :Y →Z begge har inversef−1 og g−1, s˚a vil sammensetningen

h =g◦f ogs˚a ha en invers.

b) Under antagelsene i a), vis at h−1 =f−1◦g−1.

MAT1030 – Diskret matematikk 27. mars 2008 4

(25)

Oppgave (fra forelesningen 25/2 p˚a side 33)

a) Vis at hvisf :X →Y og g :Y →Z begge har inversef−1 og g−1, s˚a vil sammensetningen

h =g◦f ogs˚a ha en invers.

b) Under antagelsene i a), vis at h−1 =f−1◦g−1.

MAT1030 – Diskret matematikk 27. mars 2008 4

(26)

Løsning (a)

Det g˚ar fint an ˚a vise dette direkte, men vi kan ogs˚a bruke det vi har lært om funksjoner.

(1) Vi har tidligere i kurset vist at en funksjon har en invers hvis og bare hvis den er injektiv og surjektiv. Det er derfor tilstrekkelig ˚a vise ath er b˚ade injektiv og surjektiv.

Ved (1), sidenf og g begge har inverser, s˚a m˚a f og g være b˚ade injektive og surjektive.

(2) Vi har tidligere vist at hvisf og g er injektive, s˚a erg ◦f injektiv. (3) Vi har tidligere vist at hvisf og g er surjektive, s˚a erg ◦f surjektiv.

Ved (2) og (3) er h b˚ade injektiv og surjektiv. Ved (1) har h en invers.

MAT1030 – Diskret matematikk 27. mars 2008 5

(27)

Løsning (a)

Det g˚ar fint an ˚a vise dette direkte, men vi kan ogs˚a bruke det vi har lært om funksjoner.

(1) Vi har tidligere i kurset vist at en funksjon har en invers hvis og bare hvis den er injektiv og surjektiv. Det er derfor tilstrekkelig ˚a vise ath er b˚ade injektiv og surjektiv.

Ved (1), sidenf og g begge har inverser, s˚a m˚a f og g være b˚ade injektive og surjektive.

(2) Vi har tidligere vist at hvisf og g er injektive, s˚a erg ◦f injektiv. (3) Vi har tidligere vist at hvisf og g er surjektive, s˚a erg ◦f surjektiv.

Ved (2) og (3) er h b˚ade injektiv og surjektiv. Ved (1) har h en invers.

MAT1030 – Diskret matematikk 27. mars 2008 5

(28)

Løsning (a)

Det g˚ar fint an ˚a vise dette direkte, men vi kan ogs˚a bruke det vi har lært om funksjoner.

(1) Vi har tidligere i kurset vist at en funksjon har en invers hvis og bare hvis den er injektiv og surjektiv. Det er derfor tilstrekkelig ˚a vise ath er b˚ade injektiv og surjektiv.

Ved (1), sidenf og g begge har inverser, s˚a m˚a f og g være b˚ade injektive og surjektive.

(2) Vi har tidligere vist at hvisf og g er injektive, s˚a erg ◦f injektiv. (3) Vi har tidligere vist at hvisf og g er surjektive, s˚a erg ◦f surjektiv.

Ved (2) og (3) er h b˚ade injektiv og surjektiv. Ved (1) har h en invers.

MAT1030 – Diskret matematikk 27. mars 2008 5

(29)

Løsning (a)

Det g˚ar fint an ˚a vise dette direkte, men vi kan ogs˚a bruke det vi har lært om funksjoner.

(1) Vi har tidligere i kurset vist at en funksjon har en invers hvis og bare hvis den er injektiv og surjektiv. Det er derfor tilstrekkelig ˚a vise ath er b˚ade injektiv og surjektiv.

Ved (1), sidenf og g begge har inverser, s˚a m˚a f og g være b˚ade injektive og surjektive.

(2) Vi har tidligere vist at hvisf og g er injektive, s˚a erg ◦f injektiv. (3) Vi har tidligere vist at hvisf og g er surjektive, s˚a erg ◦f surjektiv.

Ved (2) og (3) er h b˚ade injektiv og surjektiv. Ved (1) har h en invers.

MAT1030 – Diskret matematikk 27. mars 2008 5

(30)

Løsning (a)

Det g˚ar fint an ˚a vise dette direkte, men vi kan ogs˚a bruke det vi har lært om funksjoner.

(1) Vi har tidligere i kurset vist at en funksjon har en invers hvis og bare hvis den er injektiv og surjektiv. Det er derfor tilstrekkelig ˚a vise ath er b˚ade injektiv og surjektiv.

Ved (1), sidenf og g begge har inverser, s˚a m˚a f og g være b˚ade injektive og surjektive.

(2) Vi har tidligere vist at hvisf og g er injektive, s˚a erg ◦f injektiv.

(3) Vi har tidligere vist at hvisf og g er surjektive, s˚a erg ◦f surjektiv. Ved (2) og (3) er h b˚ade injektiv og surjektiv.

Ved (1) har h en invers.

MAT1030 – Diskret matematikk 27. mars 2008 5

(31)

Løsning (a)

Det g˚ar fint an ˚a vise dette direkte, men vi kan ogs˚a bruke det vi har lært om funksjoner.

(1) Vi har tidligere i kurset vist at en funksjon har en invers hvis og bare hvis den er injektiv og surjektiv. Det er derfor tilstrekkelig ˚a vise ath er b˚ade injektiv og surjektiv.

Ved (1), sidenf og g begge har inverser, s˚a m˚a f og g være b˚ade injektive og surjektive.

(2) Vi har tidligere vist at hvisf og g er injektive, s˚a erg ◦f injektiv.

(3) Vi har tidligere vist at hvisf og g er surjektive, s˚a erg ◦f surjektiv.

Ved (2) og (3) er h b˚ade injektiv og surjektiv. Ved (1) har h en invers.

MAT1030 – Diskret matematikk 27. mars 2008 5

(32)

Løsning (a)

Det g˚ar fint an ˚a vise dette direkte, men vi kan ogs˚a bruke det vi har lært om funksjoner.

(1) Vi har tidligere i kurset vist at en funksjon har en invers hvis og bare hvis den er injektiv og surjektiv. Det er derfor tilstrekkelig ˚a vise ath er b˚ade injektiv og surjektiv.

Ved (1), sidenf og g begge har inverser, s˚a m˚a f og g være b˚ade injektive og surjektive.

(2) Vi har tidligere vist at hvisf og g er injektive, s˚a erg ◦f injektiv.

(3) Vi har tidligere vist at hvisf og g er surjektive, s˚a erg ◦f surjektiv.

Ved (2) og (3) er h b˚ade injektiv og surjektiv.

Ved (1) har h en invers.

MAT1030 – Diskret matematikk 27. mars 2008 5

(33)

Løsning (a)

Det g˚ar fint an ˚a vise dette direkte, men vi kan ogs˚a bruke det vi har lært om funksjoner.

(1) Vi har tidligere i kurset vist at en funksjon har en invers hvis og bare hvis den er injektiv og surjektiv. Det er derfor tilstrekkelig ˚a vise ath er b˚ade injektiv og surjektiv.

Ved (1), sidenf og g begge har inverser, s˚a m˚a f og g være b˚ade injektive og surjektive.

(2) Vi har tidligere vist at hvisf og g er injektive, s˚a erg ◦f injektiv.

(3) Vi har tidligere vist at hvisf og g er surjektive, s˚a erg ◦f surjektiv.

Ved (2) og (3) er h b˚ade injektiv og surjektiv.

Ved (1) har h en invers.

MAT1030 – Diskret matematikk 27. mars 2008 5

(34)

Løsning (b)

For ˚a vise atf−1◦g−1 er inversen til h, m˚a vi vise at

h((f−1◦g−1)(z)) =z for alle z ∈Z og at (f−1◦g−1)(h(x)) =x for alle x∈X.

For ˚a gjøre det m˚a vi bruke atf−1 er inversen til f og atg−1 er inversen til g.

h((f−1◦g−1)(z)) =h(f−1(g−1(z))) = (g ◦f)(f−1(g−1(z))) = g(f(f−1(g−1(z)))) =g(g−1(z)) =z

(f−1◦g−1)(h(x)) =f−1(g−1(h(x))) =f−1(g−1((g◦f)(x))) = f−1(g−1(g(f(x)))) =f−1(f(x)) =x

MAT1030 – Diskret matematikk 27. mars 2008 6

(35)

Løsning (b)

For ˚a vise atf−1◦g−1 er inversen til h, m˚a vi vise at h((f−1◦g−1)(z)) =z for allez ∈Z

og at (f−1◦g−1)(h(x)) =x for alle x∈X.

For ˚a gjøre det m˚a vi bruke atf−1 er inversen til f og atg−1 er inversen til g.

h((f−1◦g−1)(z)) =h(f−1(g−1(z))) = (g ◦f)(f−1(g−1(z))) = g(f(f−1(g−1(z)))) =g(g−1(z)) =z

(f−1◦g−1)(h(x)) =f−1(g−1(h(x))) =f−1(g−1((g◦f)(x))) = f−1(g−1(g(f(x)))) =f−1(f(x)) =x

MAT1030 – Diskret matematikk 27. mars 2008 6

(36)

Løsning (b)

For ˚a vise atf−1◦g−1 er inversen til h, m˚a vi vise at

h((f−1◦g−1)(z)) =z for allez ∈Z og at (f−1◦g−1)(h(x)) =x for alle x∈X.

For ˚a gjøre det m˚a vi bruke atf−1 er inversen til f og atg−1 er inversen til g.

h((f−1◦g−1)(z)) =h(f−1(g−1(z))) = (g ◦f)(f−1(g−1(z))) = g(f(f−1(g−1(z)))) =g(g−1(z)) =z

(f−1◦g−1)(h(x)) =f−1(g−1(h(x))) =f−1(g−1((g◦f)(x))) = f−1(g−1(g(f(x)))) =f−1(f(x)) =x

MAT1030 – Diskret matematikk 27. mars 2008 6

(37)

Løsning (b)

For ˚a vise atf−1◦g−1 er inversen til h, m˚a vi vise at

h((f−1◦g−1)(z)) =z for allez ∈Z og at (f−1◦g−1)(h(x)) =x for alle x∈X.

For ˚a gjøre det m˚a vi bruke atf−1 er inversen til f og atg−1 er inversen til g.

h((f−1◦g−1)(z)) =h(f−1(g−1(z))) = (g ◦f)(f−1(g−1(z))) = g(f(f−1(g−1(z)))) =g(g−1(z)) =z

(f−1◦g−1)(h(x)) =f−1(g−1(h(x))) =f−1(g−1((g◦f)(x))) = f−1(g−1(g(f(x)))) =f−1(f(x)) =x

MAT1030 – Diskret matematikk 27. mars 2008 6

(38)

Løsning (b)

For ˚a vise atf−1◦g−1 er inversen til h, m˚a vi vise at

h((f−1◦g−1)(z)) =z for allez ∈Z og at (f−1◦g−1)(h(x)) =x for alle x∈X.

For ˚a gjøre det m˚a vi bruke atf−1 er inversen til f og atg−1 er inversen til g.

h((f−1◦g−1)(z))

=h(f−1(g−1(z))) = (g ◦f)(f−1(g−1(z))) = g(f(f−1(g−1(z)))) =g(g−1(z)) =z

(f−1◦g−1)(h(x)) =f−1(g−1(h(x))) =f−1(g−1((g◦f)(x))) = f−1(g−1(g(f(x)))) =f−1(f(x)) =x

MAT1030 – Diskret matematikk 27. mars 2008 6

(39)

Løsning (b)

For ˚a vise atf−1◦g−1 er inversen til h, m˚a vi vise at

h((f−1◦g−1)(z)) =z for allez ∈Z og at (f−1◦g−1)(h(x)) =x for alle x∈X.

For ˚a gjøre det m˚a vi bruke atf−1 er inversen til f og atg−1 er inversen til g.

h((f−1◦g−1)(z)) =h(f−1(g−1(z)))

= (g ◦f)(f−1(g−1(z))) = g(f(f−1(g−1(z)))) =g(g−1(z)) =z

(f−1◦g−1)(h(x)) =f−1(g−1(h(x))) =f−1(g−1((g◦f)(x))) = f−1(g−1(g(f(x)))) =f−1(f(x)) =x

MAT1030 – Diskret matematikk 27. mars 2008 6

(40)

Løsning (b)

For ˚a vise atf−1◦g−1 er inversen til h, m˚a vi vise at

h((f−1◦g−1)(z)) =z for allez ∈Z og at (f−1◦g−1)(h(x)) =x for alle x∈X.

For ˚a gjøre det m˚a vi bruke atf−1 er inversen til f og atg−1 er inversen til g.

h((f−1◦g−1)(z)) =h(f−1(g−1(z))) = (g ◦f)(f−1(g−1(z)))

= g(f(f−1(g−1(z)))) =g(g−1(z)) =z

(f−1◦g−1)(h(x)) =f−1(g−1(h(x))) =f−1(g−1((g◦f)(x))) = f−1(g−1(g(f(x)))) =f−1(f(x)) =x

MAT1030 – Diskret matematikk 27. mars 2008 6

(41)

Løsning (b)

For ˚a vise atf−1◦g−1 er inversen til h, m˚a vi vise at

h((f−1◦g−1)(z)) =z for allez ∈Z og at (f−1◦g−1)(h(x)) =x for alle x∈X.

For ˚a gjøre det m˚a vi bruke atf−1 er inversen til f og atg−1 er inversen til g.

h((f−1◦g−1)(z)) =h(f−1(g−1(z))) = (g ◦f)(f−1(g−1(z))) = g(f(f−1(g−1(z))))

=g(g−1(z)) =z

(f−1◦g−1)(h(x)) =f−1(g−1(h(x))) =f−1(g−1((g◦f)(x))) = f−1(g−1(g(f(x)))) =f−1(f(x)) =x

MAT1030 – Diskret matematikk 27. mars 2008 6

(42)

Løsning (b)

For ˚a vise atf−1◦g−1 er inversen til h, m˚a vi vise at

h((f−1◦g−1)(z)) =z for allez ∈Z og at (f−1◦g−1)(h(x)) =x for alle x∈X.

For ˚a gjøre det m˚a vi bruke atf−1 er inversen til f og atg−1 er inversen til g.

h((f−1◦g−1)(z)) =h(f−1(g−1(z))) = (g ◦f)(f−1(g−1(z))) = g(f(f−1(g−1(z)))) =g(g−1(z))

=z

(f−1◦g−1)(h(x)) =f−1(g−1(h(x))) =f−1(g−1((g◦f)(x))) = f−1(g−1(g(f(x)))) =f−1(f(x)) =x

MAT1030 – Diskret matematikk 27. mars 2008 6

(43)

Løsning (b)

For ˚a vise atf−1◦g−1 er inversen til h, m˚a vi vise at

h((f−1◦g−1)(z)) =z for allez ∈Z og at (f−1◦g−1)(h(x)) =x for alle x∈X.

For ˚a gjøre det m˚a vi bruke atf−1 er inversen til f og atg−1 er inversen til g.

h((f−1◦g−1)(z)) =h(f−1(g−1(z))) = (g ◦f)(f−1(g−1(z))) = g(f(f−1(g−1(z)))) =g(g−1(z)) =z

(f−1◦g−1)(h(x)) =f−1(g−1(h(x))) =f−1(g−1((g◦f)(x))) = f−1(g−1(g(f(x)))) =f−1(f(x)) =x

MAT1030 – Diskret matematikk 27. mars 2008 6

(44)

Løsning (b)

For ˚a vise atf−1◦g−1 er inversen til h, m˚a vi vise at

h((f−1◦g−1)(z)) =z for allez ∈Z og at (f−1◦g−1)(h(x)) =x for alle x∈X.

For ˚a gjøre det m˚a vi bruke atf−1 er inversen til f og atg−1 er inversen til g.

h((f−1◦g−1)(z)) =h(f−1(g−1(z))) = (g ◦f)(f−1(g−1(z))) = g(f(f−1(g−1(z)))) =g(g−1(z)) =z

(f−1◦g−1)(h(x))

=f−1(g−1(h(x))) =f−1(g−1((g◦f)(x))) = f−1(g−1(g(f(x)))) =f−1(f(x)) =x

MAT1030 – Diskret matematikk 27. mars 2008 6

(45)

Løsning (b)

For ˚a vise atf−1◦g−1 er inversen til h, m˚a vi vise at

h((f−1◦g−1)(z)) =z for allez ∈Z og at (f−1◦g−1)(h(x)) =x for alle x∈X.

For ˚a gjøre det m˚a vi bruke atf−1 er inversen til f og atg−1 er inversen til g.

h((f−1◦g−1)(z)) =h(f−1(g−1(z))) = (g ◦f)(f−1(g−1(z))) = g(f(f−1(g−1(z)))) =g(g−1(z)) =z

(f−1◦g−1)(h(x)) =f−1(g−1(h(x)))

=f−1(g−1((g◦f)(x))) = f−1(g−1(g(f(x)))) =f−1(f(x)) =x

MAT1030 – Diskret matematikk 27. mars 2008 6

(46)

Løsning (b)

For ˚a vise atf−1◦g−1 er inversen til h, m˚a vi vise at

h((f−1◦g−1)(z)) =z for allez ∈Z og at (f−1◦g−1)(h(x)) =x for alle x∈X.

For ˚a gjøre det m˚a vi bruke atf−1 er inversen til f og atg−1 er inversen til g.

h((f−1◦g−1)(z)) =h(f−1(g−1(z))) = (g ◦f)(f−1(g−1(z))) = g(f(f−1(g−1(z)))) =g(g−1(z)) =z

(f−1◦g−1)(h(x)) =f−1(g−1(h(x))) =f−1(g−1((g◦f)(x)))

= f−1(g−1(g(f(x)))) =f−1(f(x)) =x

MAT1030 – Diskret matematikk 27. mars 2008 6

(47)

Løsning (b)

For ˚a vise atf−1◦g−1 er inversen til h, m˚a vi vise at

h((f−1◦g−1)(z)) =z for allez ∈Z og at (f−1◦g−1)(h(x)) =x for alle x∈X.

For ˚a gjøre det m˚a vi bruke atf−1 er inversen til f og atg−1 er inversen til g.

h((f−1◦g−1)(z)) =h(f−1(g−1(z))) = (g ◦f)(f−1(g−1(z))) = g(f(f−1(g−1(z)))) =g(g−1(z)) =z

(f−1◦g−1)(h(x)) =f−1(g−1(h(x))) =f−1(g−1((g◦f)(x))) = f−1(g−1(g(f(x))))

=f−1(f(x)) =x

MAT1030 – Diskret matematikk 27. mars 2008 6

(48)

Løsning (b)

For ˚a vise atf−1◦g−1 er inversen til h, m˚a vi vise at

h((f−1◦g−1)(z)) =z for allez ∈Z og at (f−1◦g−1)(h(x)) =x for alle x∈X.

For ˚a gjøre det m˚a vi bruke atf−1 er inversen til f og atg−1 er inversen til g.

h((f−1◦g−1)(z)) =h(f−1(g−1(z))) = (g ◦f)(f−1(g−1(z))) = g(f(f−1(g−1(z)))) =g(g−1(z)) =z

(f−1◦g−1)(h(x)) =f−1(g−1(h(x))) =f−1(g−1((g◦f)(x))) = f−1(g−1(g(f(x)))) =f−1(f(x))

=x

MAT1030 – Diskret matematikk 27. mars 2008 6

(49)

Løsning (b)

For ˚a vise atf−1◦g−1 er inversen til h, m˚a vi vise at

h((f−1◦g−1)(z)) =z for allez ∈Z og at (f−1◦g−1)(h(x)) =x for alle x∈X.

For ˚a gjøre det m˚a vi bruke atf−1 er inversen til f og atg−1 er inversen til g.

h((f−1◦g−1)(z)) =h(f−1(g−1(z))) = (g ◦f)(f−1(g−1(z))) = g(f(f−1(g−1(z)))) =g(g−1(z)) =z

(f−1◦g−1)(h(x)) =f−1(g−1(h(x))) =f−1(g−1((g◦f)(x))) = f−1(g−1(g(f(x)))) =f−1(f(x)) =x

MAT1030 – Diskret matematikk 27. mars 2008 6

(50)

Oppgave (fra forelesningen 3/3 p˚a side 20)

Vi vet at vi kan dele planet opp i to felter ved hjelp av en sirkel. Vi vet at to sirkler kan skjære hverandre i to punkter

Vi vet at 2n punkter vil dele en sirkel opp i 2n buestykker.

Bruk dette til ˚a definere funksjonenG(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 forG(n) og se om du kan vise den ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 7

(51)

Oppgave (fra forelesningen 3/3 p˚a side 20)

Vi vet at vi kan dele planet opp i to felter ved hjelp av en sirkel.

Vi vet at to sirkler kan skjære hverandre i to punkter Vi vet at 2n punkter vil dele en sirkel opp i 2n buestykker.

Bruk dette til ˚a definere funksjonenG(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 forG(n) og se om du kan vise den ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 7

(52)

Oppgave (fra forelesningen 3/3 p˚a side 20)

Vi vet at vi kan dele planet opp i to felter ved hjelp av en sirkel.

Vi vet at to sirkler kan skjære hverandre i to punkter

Vi vet at 2n punkter vil dele en sirkel opp i 2n buestykker.

Bruk dette til ˚a definere funksjonenG(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 forG(n) og se om du kan vise den ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 7

(53)

Oppgave (fra forelesningen 3/3 p˚a side 20)

Vi vet at vi kan dele planet opp i to felter ved hjelp av en sirkel.

Vi vet at to sirkler kan skjære hverandre i to punkter Vi vet at 2n punkter vil dele en sirkel opp i 2n buestykker.

Bruk dette til ˚a definere funksjonenG(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 forG(n) og se om du kan vise den ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 7

(54)

Oppgave (fra forelesningen 3/3 p˚a side 20)

Vi vet at vi kan dele planet opp i to felter ved hjelp av en sirkel.

Vi vet at to sirkler kan skjære hverandre i to punkter Vi vet at 2n punkter vil dele en sirkel opp i 2n buestykker.

Bruk dette til ˚a definere funksjonenG(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 forG(n) og se om du kan vise den ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 7

(55)

Oppgave (fra forelesningen 3/3 p˚a side 20)

Vi vet at vi kan dele planet opp i to felter ved hjelp av en sirkel.

Vi vet at to sirkler kan skjære hverandre i to punkter Vi vet at 2n punkter vil dele en sirkel opp i 2n buestykker.

Bruk dette til ˚a definere funksjonenG(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 forG(n) og se om du kan vise den ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 7

(56)

Løsning

G(1) = 2, siden ´en sirkel gir to omr˚ader.

Hvis n sirkler deler planet opp iG(n) omr˚ader, m˚a vi se p˚a hva som skjer n˚ar vi legger til en ny sirkel.

Siden den nye sirkelen vil skjære hver av de andren sirklene høyst 2 steder, s˚a f˚ar vi høyst 2n nye skjæringspunkter.

Disse skjæringspunktene deler den nye sirkelen inn i 2n buestykker, og hvert av disse buestykkene kan dele et av de gamle omr˚adene inn i to. Vi kan alts˚a f˚a 2n nye omr˚ader n˚ar vi legger til sirkel nummern+ 1. Det betyr at G(n+ 1) =G(n) + 2n

MAT1030 – Diskret matematikk 27. mars 2008 8

(57)

Løsning

G(1) = 2, siden ´en sirkel gir to omr˚ader.

Hvis n sirkler deler planet opp iG(n) omr˚ader, m˚a vi se p˚a hva som skjer n˚ar vi legger til en ny sirkel.

Siden den nye sirkelen vil skjære hver av de andren sirklene høyst 2 steder, s˚a f˚ar vi høyst 2n nye skjæringspunkter.

Disse skjæringspunktene deler den nye sirkelen inn i 2n buestykker, og hvert av disse buestykkene kan dele et av de gamle omr˚adene inn i to. Vi kan alts˚a f˚a 2n nye omr˚ader n˚ar vi legger til sirkel nummern+ 1. Det betyr at G(n+ 1) =G(n) + 2n

MAT1030 – Diskret matematikk 27. mars 2008 8

(58)

Løsning

G(1) = 2, siden ´en sirkel gir to omr˚ader.

Hvis n sirkler deler planet opp iG(n) omr˚ader, m˚a vi se p˚a hva som skjer n˚ar vi legger til en ny sirkel.

Siden den nye sirkelen vil skjære hver av de andren sirklene høyst 2 steder, s˚a f˚ar vi høyst 2n nye skjæringspunkter.

Disse skjæringspunktene deler den nye sirkelen inn i 2n buestykker, og hvert av disse buestykkene kan dele et av de gamle omr˚adene inn i to. Vi kan alts˚a f˚a 2n nye omr˚ader n˚ar vi legger til sirkel nummern+ 1. Det betyr at G(n+ 1) =G(n) + 2n

MAT1030 – Diskret matematikk 27. mars 2008 8

(59)

Løsning

G(1) = 2, siden ´en sirkel gir to omr˚ader.

Hvis n sirkler deler planet opp iG(n) omr˚ader, m˚a vi se p˚a hva som skjer n˚ar vi legger til en ny sirkel.

Siden den nye sirkelen vil skjære hver av de andren sirklene høyst 2 steder, s˚a f˚ar vi høyst 2n nye skjæringspunkter.

Disse skjæringspunktene deler den nye sirkelen inn i 2n buestykker, og hvert av disse buestykkene kan dele et av de gamle omr˚adene inn i to. Vi kan alts˚a f˚a 2n nye omr˚ader n˚ar vi legger til sirkel nummern+ 1. Det betyr at G(n+ 1) =G(n) + 2n

MAT1030 – Diskret matematikk 27. mars 2008 8

(60)

Løsning

G(1) = 2, siden ´en sirkel gir to omr˚ader.

Hvis n sirkler deler planet opp iG(n) omr˚ader, m˚a vi se p˚a hva som skjer n˚ar vi legger til en ny sirkel.

Siden den nye sirkelen vil skjære hver av de andren sirklene høyst 2 steder, s˚a f˚ar vi høyst 2n nye skjæringspunkter.

Disse skjæringspunktene deler den nye sirkelen inn i 2n buestykker, og hvert av disse buestykkene kan dele et av de gamle omr˚adene inn i to.

Vi kan alts˚a f˚a 2n nye omr˚ader n˚ar vi legger til sirkel nummern+ 1. Det betyr at G(n+ 1) =G(n) + 2n

MAT1030 – Diskret matematikk 27. mars 2008 8

(61)

Løsning

G(1) = 2, siden ´en sirkel gir to omr˚ader.

Hvis n sirkler deler planet opp iG(n) omr˚ader, m˚a vi se p˚a hva som skjer n˚ar vi legger til en ny sirkel.

Siden den nye sirkelen vil skjære hver av de andren sirklene høyst 2 steder, s˚a f˚ar vi høyst 2n nye skjæringspunkter.

Disse skjæringspunktene deler den nye sirkelen inn i 2n buestykker, og hvert av disse buestykkene kan dele et av de gamle omr˚adene inn i to.

Vi kan alts˚a f˚a 2n nye omr˚ader n˚ar vi legger til sirkel nummern+ 1.

Det betyr at G(n+ 1) =G(n) + 2n

MAT1030 – Diskret matematikk 27. mars 2008 8

(62)

Løsning

G(1) = 2, siden ´en sirkel gir to omr˚ader.

Hvis n sirkler deler planet opp iG(n) omr˚ader, m˚a vi se p˚a hva som skjer n˚ar vi legger til en ny sirkel.

Siden den nye sirkelen vil skjære hver av de andren sirklene høyst 2 steder, s˚a f˚ar vi høyst 2n nye skjæringspunkter.

Disse skjæringspunktene deler den nye sirkelen inn i 2n buestykker, og hvert av disse buestykkene kan dele et av de gamle omr˚adene inn i to.

Vi kan alts˚a f˚a 2n nye omr˚ader n˚ar vi legger til sirkel nummern+ 1.

Det betyr at G(n+ 1) =G(n) + 2n

MAT1030 – Diskret matematikk 27. mars 2008 8

(63)

Løsning

Hvis vi skal tippe p˚a en formel direkte, s˚a ser vi atG(n) ligger ganske nærme n2.

n G(n) n2

G(n)−n2

1 2 1 1

2 4 4 0

3 8 9 −1

4 14 16 −2

5 22 25 −3

6 32 36 −4

Vi ser at differansen mellomG(n) og n2 er −n+ 2. Vi tipper derfor p˚a formelenG(n) =n2−n+ 2. Vi viser at G(n) =n2−n+ 2 ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 9

(64)

Løsning

Hvis vi skal tippe p˚a en formel direkte, s˚a ser vi atG(n) ligger ganske nærme n2.

n G(n) n2

G(n)−n2

1 2 1 1

2 4 4 0

3 8 9 −1

4 14 16 −2

5 22 25 −3

6 32 36 −4

Vi ser at differansen mellomG(n) og n2 er −n+ 2. Vi tipper derfor p˚a formelenG(n) =n2−n+ 2. Vi viser at G(n) =n2−n+ 2 ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 9

(65)

Løsning

Hvis vi skal tippe p˚a en formel direkte, s˚a ser vi atG(n) ligger ganske nærme n2.

n G(n) n2

G(n)−n2

1 2 1 1

2 4 4 0

3 8 9 −1

4 14 16 −2

5 22 25 −3

6 32 36 −4

Vi ser at differansen mellomG(n) og n2 er −n+ 2. Vi tipper derfor p˚a formelenG(n) =n2−n+ 2. Vi viser at G(n) =n2−n+ 2 ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 9

(66)

Løsning

Hvis vi skal tippe p˚a en formel direkte, s˚a ser vi atG(n) ligger ganske nærme n2.

n G(n) n2

G(n)−n2

1 2 1

1

2 4 4 0

3 8 9 −1

4 14 16 −2

5 22 25 −3

6 32 36 −4

Vi ser at differansen mellomG(n) og n2 er −n+ 2. Vi tipper derfor p˚a formelenG(n) =n2−n+ 2. Vi viser at G(n) =n2−n+ 2 ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 9

(67)

Løsning

Hvis vi skal tippe p˚a en formel direkte, s˚a ser vi atG(n) ligger ganske nærme n2.

n G(n) n2

G(n)−n2

1 2 1

1

2 4 4

0

3 8 9 −1

4 14 16 −2

5 22 25 −3

6 32 36 −4

Vi ser at differansen mellomG(n) og n2 er −n+ 2. Vi tipper derfor p˚a formelenG(n) =n2−n+ 2. Vi viser at G(n) =n2−n+ 2 ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 9

(68)

Løsning

Hvis vi skal tippe p˚a en formel direkte, s˚a ser vi atG(n) ligger ganske nærme n2.

n G(n) n2

G(n)−n2

1 2 1

1

2 4 4

0

3 8 9

−1

4 14 16 −2

5 22 25 −3

6 32 36 −4

Vi ser at differansen mellomG(n) og n2 er −n+ 2. Vi tipper derfor p˚a formelenG(n) =n2−n+ 2. Vi viser at G(n) =n2−n+ 2 ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 9

(69)

Løsning

Hvis vi skal tippe p˚a en formel direkte, s˚a ser vi atG(n) ligger ganske nærme n2.

n G(n) n2

G(n)−n2

1 2 1

1

2 4 4

0

3 8 9

−1

4 14 16

−2

5 22 25 −3

6 32 36 −4

Vi ser at differansen mellomG(n) og n2 er −n+ 2. Vi tipper derfor p˚a formelenG(n) =n2−n+ 2. Vi viser at G(n) =n2−n+ 2 ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 9

(70)

Løsning

Hvis vi skal tippe p˚a en formel direkte, s˚a ser vi atG(n) ligger ganske nærme n2.

n G(n) n2

G(n)−n2

1 2 1

1

2 4 4

0

3 8 9

−1

4 14 16

−2

5 22 25

−3

6 32 36 −4

Vi ser at differansen mellomG(n) og n2 er −n+ 2. Vi tipper derfor p˚a formelenG(n) =n2−n+ 2. Vi viser at G(n) =n2−n+ 2 ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 9

(71)

Løsning

Hvis vi skal tippe p˚a en formel direkte, s˚a ser vi atG(n) ligger ganske nærme n2.

n G(n) n2

G(n)−n2

1 2 1

1

2 4 4

0

3 8 9

−1

4 14 16

−2

5 22 25

−3

6 32 36

−4 Vi ser at differansen mellomG(n) og n2 er −n+ 2. Vi tipper derfor p˚a formelenG(n) =n2−n+ 2. Vi viser at G(n) =n2−n+ 2 ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 9

(72)

Løsning

Hvis vi skal tippe p˚a en formel direkte, s˚a ser vi atG(n) ligger ganske nærme n2.

n G(n) n2 G(n)−n2

1 2 1

1

2 4 4

0

3 8 9

−1

4 14 16

−2

5 22 25

−3

6 32 36

−4 Vi ser at differansen mellomG(n) og n2 er −n+ 2. Vi tipper derfor p˚a formelenG(n) =n2−n+ 2. Vi viser at G(n) =n2−n+ 2 ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 9

(73)

Løsning

Hvis vi skal tippe p˚a en formel direkte, s˚a ser vi atG(n) ligger ganske nærme n2.

n G(n) n2 G(n)−n2

1 2 1 1

2 4 4

0

3 8 9

−1

4 14 16

−2

5 22 25

−3

6 32 36

−4 Vi ser at differansen mellomG(n) og n2 er −n+ 2. Vi tipper derfor p˚a formelenG(n) =n2−n+ 2. Vi viser at G(n) =n2−n+ 2 ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 9

(74)

Løsning

Hvis vi skal tippe p˚a en formel direkte, s˚a ser vi atG(n) ligger ganske nærme n2.

n G(n) n2 G(n)−n2

1 2 1 1

2 4 4 0

3 8 9

−1

4 14 16

−2

5 22 25

−3

6 32 36

−4 Vi ser at differansen mellomG(n) og n2 er −n+ 2. Vi tipper derfor p˚a formelenG(n) =n2−n+ 2. Vi viser at G(n) =n2−n+ 2 ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 9

(75)

Løsning

Hvis vi skal tippe p˚a en formel direkte, s˚a ser vi atG(n) ligger ganske nærme n2.

n G(n) n2 G(n)−n2

1 2 1 1

2 4 4 0

3 8 9 −1

4 14 16

−2

5 22 25

−3

6 32 36

−4 Vi ser at differansen mellomG(n) og n2 er −n+ 2. Vi tipper derfor p˚a formelenG(n) =n2−n+ 2. Vi viser at G(n) =n2−n+ 2 ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 9

(76)

Løsning

Hvis vi skal tippe p˚a en formel direkte, s˚a ser vi atG(n) ligger ganske nærme n2.

n G(n) n2 G(n)−n2

1 2 1 1

2 4 4 0

3 8 9 −1

4 14 16 −2

5 22 25

−3

6 32 36

−4 Vi ser at differansen mellomG(n) og n2 er −n+ 2. Vi tipper derfor p˚a formelenG(n) =n2−n+ 2. Vi viser at G(n) =n2−n+ 2 ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 9

(77)

Løsning

Hvis vi skal tippe p˚a en formel direkte, s˚a ser vi atG(n) ligger ganske nærme n2.

n G(n) n2 G(n)−n2

1 2 1 1

2 4 4 0

3 8 9 −1

4 14 16 −2

5 22 25 −3

6 32 36

−4 Vi ser at differansen mellomG(n) og n2 er −n+ 2. Vi tipper derfor p˚a formelenG(n) =n2−n+ 2. Vi viser at G(n) =n2−n+ 2 ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 9

(78)

Løsning

Hvis vi skal tippe p˚a en formel direkte, s˚a ser vi atG(n) ligger ganske nærme n2.

n G(n) n2 G(n)−n2

1 2 1 1

2 4 4 0

3 8 9 −1

4 14 16 −2

5 22 25 −3

6 32 36 −4

Vi ser at differansen mellomG(n) og n2 er −n+ 2. Vi tipper derfor p˚a formelenG(n) =n2−n+ 2. Vi viser at G(n) =n2−n+ 2 ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 9

(79)

Løsning

Hvis vi skal tippe p˚a en formel direkte, s˚a ser vi atG(n) ligger ganske nærme n2.

n G(n) n2 G(n)−n2

1 2 1 1

2 4 4 0

3 8 9 −1

4 14 16 −2

5 22 25 −3

6 32 36 −4

Vi ser at differansen mellomG(n) og n2 er −n+ 2.

Vi tipper derfor p˚a formelenG(n) =n2−n+ 2. Vi viser at G(n) =n2−n+ 2 ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 9

(80)

Løsning

Hvis vi skal tippe p˚a en formel direkte, s˚a ser vi atG(n) ligger ganske nærme n2.

n G(n) n2 G(n)−n2

1 2 1 1

2 4 4 0

3 8 9 −1

4 14 16 −2

5 22 25 −3

6 32 36 −4

Vi ser at differansen mellomG(n) og n2 er −n+ 2.

Vi tipper derfor p˚a formelenG(n) =n2−n+ 2.

Vi viser at G(n) =n2−n+ 2 ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 9

(81)

Løsning

Hvis vi skal tippe p˚a en formel direkte, s˚a ser vi atG(n) ligger ganske nærme n2.

n G(n) n2 G(n)−n2

1 2 1 1

2 4 4 0

3 8 9 −1

4 14 16 −2

5 22 25 −3

6 32 36 −4

Vi ser at differansen mellomG(n) og n2 er −n+ 2.

Vi tipper derfor p˚a formelenG(n) =n2−n+ 2.

Vi viser at G(n) =n2−n+ 2 ved induksjon.

MAT1030 – Diskret matematikk 27. mars 2008 9

(82)

Løsning

Basissteget er ˚a vise at formelen G(n) =n2−n+ 2 holder forn= 1:

G(1) = 12−1 + 2 = 2, som stemmer.

Vi antar s˚a at G(n) =n2−n+ 2. Det er induksjonshypotesen. Induksjonsstegetg˚ar ut p˚a ˚a vise atG(n+ 1) = (n+ 1)2−(n+ 1) + 2. Vi regner p˚a følgende m˚ate:

G(n+ 1) = G(n) + 2n (ved antakelse)

= (n2−n+ 2) + 2n (ved induksjonshypotese)

= n2+n+ 2

= (n2+ 2n+ 1)−n+ 1

= (n+ 1)2−n+ 1

= (n+ 1)2−(n+ 1) + 2

MAT1030 – Diskret matematikk 27. mars 2008 10

(83)

Løsning

Basissteget er ˚a vise at formelen G(n) =n2−n+ 2 holder forn= 1:

G(1)

= 12−1 + 2 = 2, som stemmer.

Vi antar s˚a at G(n) =n2−n+ 2. Det er induksjonshypotesen. Induksjonsstegetg˚ar ut p˚a ˚a vise atG(n+ 1) = (n+ 1)2−(n+ 1) + 2. Vi regner p˚a følgende m˚ate:

G(n+ 1) = G(n) + 2n (ved antakelse)

= (n2−n+ 2) + 2n (ved induksjonshypotese)

= n2+n+ 2

= (n2+ 2n+ 1)−n+ 1

= (n+ 1)2−n+ 1

= (n+ 1)2−(n+ 1) + 2

MAT1030 – Diskret matematikk 27. mars 2008 10

(84)

Løsning

Basissteget er ˚a vise at formelen G(n) =n2−n+ 2 holder forn= 1:

G(1) = 12−1 + 2

= 2, som stemmer.

Vi antar s˚a at G(n) =n2−n+ 2. Det er induksjonshypotesen. Induksjonsstegetg˚ar ut p˚a ˚a vise atG(n+ 1) = (n+ 1)2−(n+ 1) + 2. Vi regner p˚a følgende m˚ate:

G(n+ 1) = G(n) + 2n (ved antakelse)

= (n2−n+ 2) + 2n (ved induksjonshypotese)

= n2+n+ 2

= (n2+ 2n+ 1)−n+ 1

= (n+ 1)2−n+ 1

= (n+ 1)2−(n+ 1) + 2

MAT1030 – Diskret matematikk 27. mars 2008 10

(85)

Løsning

Basissteget er ˚a vise at formelen G(n) =n2−n+ 2 holder forn= 1:

G(1) = 12−1 + 2 = 2

, som stemmer.

Vi antar s˚a at G(n) =n2−n+ 2. Det er induksjonshypotesen. Induksjonsstegetg˚ar ut p˚a ˚a vise atG(n+ 1) = (n+ 1)2−(n+ 1) + 2. Vi regner p˚a følgende m˚ate:

G(n+ 1) = G(n) + 2n (ved antakelse)

= (n2−n+ 2) + 2n (ved induksjonshypotese)

= n2+n+ 2

= (n2+ 2n+ 1)−n+ 1

= (n+ 1)2−n+ 1

= (n+ 1)2−(n+ 1) + 2

MAT1030 – Diskret matematikk 27. mars 2008 10

(86)

Løsning

Basissteget er ˚a vise at formelen G(n) =n2−n+ 2 holder forn= 1:

G(1) = 12−1 + 2 = 2, som stemmer.

Vi antar s˚a at G(n) =n2−n+ 2. Det er induksjonshypotesen. Induksjonsstegetg˚ar ut p˚a ˚a vise atG(n+ 1) = (n+ 1)2−(n+ 1) + 2. Vi regner p˚a følgende m˚ate:

G(n+ 1) = G(n) + 2n (ved antakelse)

= (n2−n+ 2) + 2n (ved induksjonshypotese)

= n2+n+ 2

= (n2+ 2n+ 1)−n+ 1

= (n+ 1)2−n+ 1

= (n+ 1)2−(n+ 1) + 2

MAT1030 – Diskret matematikk 27. mars 2008 10

(87)

Løsning

Basissteget er ˚a vise at formelen G(n) =n2−n+ 2 holder forn= 1:

G(1) = 12−1 + 2 = 2, som stemmer.

Vi antar s˚a at G(n) =n2−n+ 2.

Det er induksjonshypotesen. Induksjonsstegetg˚ar ut p˚a ˚a vise atG(n+ 1) = (n+ 1)2−(n+ 1) + 2. Vi regner p˚a følgende m˚ate:

G(n+ 1) = G(n) + 2n (ved antakelse)

= (n2−n+ 2) + 2n (ved induksjonshypotese)

= n2+n+ 2

= (n2+ 2n+ 1)−n+ 1

= (n+ 1)2−n+ 1

= (n+ 1)2−(n+ 1) + 2

MAT1030 – Diskret matematikk 27. mars 2008 10

(88)

Løsning

Basissteget er ˚a vise at formelen G(n) =n2−n+ 2 holder forn= 1:

G(1) = 12−1 + 2 = 2, som stemmer.

Vi antar s˚a at G(n) =n2−n+ 2. Det er induksjonshypotesen.

Induksjonsstegetg˚ar ut p˚a ˚a vise atG(n+ 1) = (n+ 1)2−(n+ 1) + 2. Vi regner p˚a følgende m˚ate:

G(n+ 1) = G(n) + 2n (ved antakelse)

= (n2−n+ 2) + 2n (ved induksjonshypotese)

= n2+n+ 2

= (n2+ 2n+ 1)−n+ 1

= (n+ 1)2−n+ 1

= (n+ 1)2−(n+ 1) + 2

MAT1030 – Diskret matematikk 27. mars 2008 10

(89)

Løsning

Basissteget er ˚a vise at formelen G(n) =n2−n+ 2 holder forn= 1:

G(1) = 12−1 + 2 = 2, som stemmer.

Vi antar s˚a at G(n) =n2−n+ 2. Det er induksjonshypotesen.

Induksjonsstegetg˚ar ut p˚a ˚a vise atG(n+ 1) = (n+ 1)2−(n+ 1) + 2.

Vi regner p˚a følgende m˚ate:

G(n+ 1) = G(n) + 2n (ved antakelse)

= (n2−n+ 2) + 2n (ved induksjonshypotese)

= n2+n+ 2

= (n2+ 2n+ 1)−n+ 1

= (n+ 1)2−n+ 1

= (n+ 1)2−(n+ 1) + 2

MAT1030 – Diskret matematikk 27. mars 2008 10

(90)

Løsning

Basissteget er ˚a vise at formelen G(n) =n2−n+ 2 holder forn= 1:

G(1) = 12−1 + 2 = 2, som stemmer.

Vi antar s˚a at G(n) =n2−n+ 2. Det er induksjonshypotesen.

Induksjonsstegetg˚ar ut p˚a ˚a vise atG(n+ 1) = (n+ 1)2−(n+ 1) + 2.

Vi regner p˚a følgende m˚ate:

G(n+ 1) = G(n) + 2n (ved antakelse)

= (n2−n+ 2) + 2n (ved induksjonshypotese)

= n2+n+ 2

= (n2+ 2n+ 1)−n+ 1

= (n+ 1)2−n+ 1

= (n+ 1)2−(n+ 1) + 2

MAT1030 – Diskret matematikk 27. mars 2008 10

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

Tirsdag 27/5 12-14 Onsdag 28/5 10-12 Tirsdag 3/6 12-14 Onsdag 4/6 12-14!. Jeg lager et løsningsforslag til ekstraoppgavene (Oppgavesett 4) og legger det ut i begynnelsen av

ikkesiffer oppdaget kalles gjerne for en logisk (eller Boolsk) variabel, siden den kun vil ta verdiene true eller false.. Kunne ha skrevet ‘until ikkesiffer oppdaget ’ i

ikkesiffer oppdaget kalles gjerne for en logisk (eller Boolsk) variabel, siden den kun vil ta verdiene true eller false.. Kunne ha skrevet ‘until ikkesiffer oppdaget ’ i

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

Da er enten ¬B eller ¬C sann, ved sannhetsbetingelsen for ¬-formler... Da er enten ¬B eller ¬C sann,

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...