6.2 Lese og forstå bevis | Matematikk 1T

Lær å lese, forstå og utvikle enkle matematiske bevis.

35 min

11 oppgaver

BevisAlgebraiske bevisGeometriske bevis

Du leser den tradisjonelle versjonen

Din fremgang i kapitlet

0 / 11 oppgaver

Kapitlets plass i kurset

Bygger på

6.1Matematisk argumentasjon

I dette kapitlet lærer du å lese og forstå matematiske bevis. Et bevis er en fullstendig logisk begrunnelse for hvorfor en matematisk påstand er sann.

Du skal lære:
- Strukturen i et matematisk bevis
- Ulike typer bevis (direkte, indirekte, induksjon)
- Hvordan lese og analysere bevis fra læreboka
- Hvordan utvikle egne enkle bevis

Matematisk bevis

Et matematisk bevis er en kjede av logiske argumenter som viser at en påstand (teorem) følger fra aksimer, definisjoner og tidligere beviste resultater. Viktige begreper: - Teorem/setning: En påstand som kan bevises - Lemma: En hjelpesetning som brukes i et større bevis - Korollar: En enkel følge av et teorem

Hvordan lese et bevis

Når du leser et bevis, bør du:

1. Forstå påstanden: Hva skal bevises? Hva betyr alle begrepene?

2. Identifiser strukturen: Er det et direkte bevis, motbevis, eller induksjon?

3. Følg hvert steg: Hvorfor følger dette steget fra det forrige?

4. Se det store bildet: Hva er hovedideen i beviset?

5. Prøv selv: Kan du gjenskape beviset uten å se på løsningen?

📜1. kvadratsetning

For alle tall

a

b

gjelder:

(a + b)^2 = a^2 + 2ab + b^2

✏️Eksempel 1: Bevis av 1. kvadratsetning

Bevis at $(a + b)^2 = a^2 + 2ab + b^2$ .

Bevis (algebraisk):

$(a + b)^2 = (a + b)(a + b)$

Ved å gange ut parentesene:
$= a \cdot a + a \cdot b + b \cdot a + b \cdot b$
$= a^2 + ab + ab + b^2$
$= a^2 + 2ab + b^2$ ∎

Bevis (geometrisk):

Et kvadrat med side $(a + b)$ har areal $(a + b)^2$ .

Dette kvadratet kan deles inn i:
- Et kvadrat med side $a$ (areal $a^2$ )
- Et kvadrat med side $b$ (areal $b^2$ )
- To rektangler med sider $a$ og $b$ (areal $ab$ hver)

Totalt areal: $a^2 + b^2 + 2ab = a^2 + 2ab + b^2$ ∎

Direkte bevis

I et direkte bevis starter vi med det vi vet (premissene) og arbeider oss logisk frem til konklusjonen.

Struktur:
1. Anta at premissen $P$ er sann
2. Bruk definisjoner, setninger og logikk
3. Vis at konklusjonen $Q$ følger

Eksempel på direkte bevis: Vis at summen av to partall er partall.

📜Pytagoras' setning

I en rettvinklet trekant med kateter

a

b

og hypotenus

c

gjelder:

a^2 + b^2 = c^2

✏️Eksempel 2: Et geometrisk bevis

Bevis Pytagoras' setning.

Bevis (med areal):

Tegn et stort kvadrat med side $a + b$ .

Metode 1: Del opp i fire rettvinklede trekanter og et lite kvadrat i midten.
- Fire trekanter med areal $\displaystyle \frac{1}{2}ab$ hver: totalt $2ab$
- Kvadrat i midten har side $c$ (hypotenusene): areal $c^2$
- Totalt areal: $2ab + c^2$

Metode 2: Del opp i to rektangler og to kvadrater.
- To kvadrater med sider $a$ og $b$ : areal $a^2 + b^2$
- To rektangler med sider $a$ og $b$ : areal $2ab$
- Totalt areal: $a^2 + b^2 + 2ab$

Sammenlignet:
$2ab + c^2 = a^2 + b^2 + 2ab$
$c^2 = a^2 + b^2$ ∎

Indirekte bevis

I et indirekte bevis (motbevis) antar vi at påstanden er usann og viser at dette fører til en selvmotsigelse.

Struktur:
1. Anta at konklusjonen $Q$ er usann
2. Utled logiske konsekvenser
3. Finn en selvmotsigelse
4. Konkluder at $Q$ må være sann

Når brukes det: Når det er vanskelig å bevise noe direkte, eller når påstanden involverer "det finnes ikke" eller "uendelig mange".

✏️Eksempel 3: Indirekte bevis

Vis at $\sqrt{3}$ er irrasjonalt.

Bevis ved selvmotsigelse:

Anta det motsatte: $\sqrt{3}$ er rasjonalt.

Da kan vi skrive $\displaystyle \sqrt{3} = \frac{p}{q}$ der $p$ og $q$ er hele tall uten felles faktorer (brøken er maksimalt forkortet).

$\sqrt{3} = \frac{p}{q} \Rightarrow 3 = \frac{p^2}{q^2} \Rightarrow p^2 = 3q^2$

Så $p^2$ er delelig med 3, som betyr at $p$ er delelig med 3.

La $p = 3k$ :
$p^2 = 9k^2 = 3q^2 \Rightarrow q^2 = 3k^2$

Så $q^2$ er delelig med 3, som betyr at $q$ er delelig med 3.

Selvmotsigelse: Både $p$ og $q$ er delelig med 3, men vi antok at brøken var maksimalt forkortet!

Konklusjon: $\sqrt{3}$ er irrasjonalt. ∎

Bevis ved induksjon

Matematisk induksjon brukes til å bevise påstander som gjelder for alle naturlige tall.

Struktur:
1. Grunntilfelle: Vis at påstanden er sann for $n = 1$ (eller et annet startpunkt)
2. Induksjonsantagelse: Anta at påstanden er sann for $n = k$
3. Induksjonssteg: Vis at påstanden da også er sann for $n = k + 1$

Analogi: Som dominobrikker – hvis den første faller, og hver brikke slår ned den neste, så faller alle.

✏️Eksempel 4: Bevis ved induksjon

Vis at $\displaystyle 1 + 2 + 3 + ... + n = \frac{n(n+1)}{2}$ for alle $n \geq 1$ .

Bevis ved induksjon:

Grunntilfelle ( $n = 1$ ):
Venstre side: $1$
Høyre side: $\displaystyle \frac{1 \cdot 2}{2} = 1$ ✓

Induksjonsantagelse:
Anta at formelen stemmer for $n = k$ :
$1 + 2 + ... + k = \frac{k(k+1)}{2}$

Induksjonssteg (vis for $n = k + 1$ ):
$1 + 2 + ... + k + (k + 1)$
$= \frac{k(k+1)}{2} + (k + 1) \text{ (bruker antagelsen)}$
$= \frac{k(k+1) + 2(k+1)}{2}$
$= \frac{(k+1)(k+2)}{2}$
$= \frac{(k+1)((k+1)+1)}{2}$

Dette er formelen med $n = k + 1$ . ✓

Konklusjon: Formelen gjelder for alle $n \geq 1$ . ∎

Oppsummering av bevistyper

Bevistype	Når brukes det	Struktur
Direkte	Standard tilnærming	$P \Rightarrow Q$ direkte
Kontraposisjon	Når konklusjonen er "negativ"	$\neg Q \Rightarrow \neg P$
Motbevis	Når direkte er vanskelig	Anta $\neg Q$ , finn selvmotsigelse
Induksjon	For påstander om alle $n$	Grunntilfelle + induksjonssteg

📝Oppgave 1

Les beviset for 1. kvadratsetning i eksempel 1. Bevis deretter 2. og 3. kvadratsetning på samme måte.

2. kvadratsetning: $(a - b)^2 = a^2 - 2ab + b^2$

3. kvadratsetning: $(a + b)(a - b) = a^2 - b^2$

📝Oppgave 2

Bruk induksjon til å bevise at $1 + 3 + 5 + ... + (2n - 1) = n^2$ for alle $n \geq 1$ .

📝Oppgave 3

Vis ved motbevis at $\sqrt{5}$ er irrasjonalt.

📝Oppgave 4

Bruk induksjon til å bevise at $n^3 - n$ er delelig med 6 for alle $n \geq 1$ .

📝Oppgave 5

Bevis geometrisk at arealet av en sirkel er $A = \pi r^2$ ved å dele sirkelen i mange tynne "kakestykker" og omorganisere dem.

📝Oppgave 6

Vis ved induksjon at $\displaystyle 1^2 + 2^2 + 3^2 + ... + n^2 = \frac{n(n+1)(2n+1)}{6}$ for alle $n \geq 1$ .

Oppsummering

I dette kapittelet har du lært:

- Bevisets struktur: Forstå påstanden, identifiser bevistypen, følg hvert steg, og se hovedideen
- Direkte bevis: Start med premissene og arbeid deg logisk fram til konklusjonen
- Indirekte bevis (motbevis): Anta at påstanden er usann, og vis at det fører til en selvmotsigelse
- Bevis ved induksjon: Vis grunntilfellet ( $n = 1$ ), og vis at hvis påstanden gjelder for $n = k$ , gjelder den også for $n = k + 1$
- Begreper: Teorem (bevist påstand), lemma (hjelpesetning) og korollar (følge av et teorem)

Nøkkelbegreper

Begrep	Forklaring
Teorem	Påstand som kan bevises
Lemma	Hjelpesetning til et større bevis
Direkte bevis	Fra premiss til konklusjon steg for steg
Indirekte bevis	Antar det motsatte og finner selvmotsigelse
Induksjon	Grunntilfelle + induksjonssteg

Viktige resultater fra kapittelet

(a + b)^2 = a^2 + 2ab + b^2

(1. kvadratsetning)
-

\displaystyle 1 + 2 + \cdots + n = \frac{n(n+1)}{2}

Repetisjonsoppgaver

Din fremgang

0deloppgaver0 / 5 oppgaver

Dette kapitlet er skrevet av Anthropics toppmodeller (Claude Opus og Claude Fable) og er foreløpig ikke manuelt gjennomgått — kvalitetskontrollen gjøres av uavhengige KI-agenter, og innmeldte feil rettes fortløpende. Funnet en feil? Meld fra, så retter vi den. Les mer om hvordan innholdet lages.