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 aksiomer, 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, bevis ved selvmotsigelse, 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$
- Figuren i midten har fire sider $c$ (hypotenusene). Hver vinkel i den er $180° - (u + v) = 90°$ , fordi de spisse vinklene $u$ og $v$ i en rettvinklet trekant er til sammen $90°$ . Den er altså et kvadrat med side $c$ : 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 (bevis ved selvmotsigelse) 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. Da er også $p$ delelig med 3: et helt tall som ikke er delelig med 3, er $3k + 1$ eller $3k + 2$ , og

$(3k + 1)^2 = 9k^2 + 6k + 1 = 3(3k^2 + 2k) + 1$
$(3k + 2)^2 = 9k^2 + 12k + 4 = 3(3k^2 + 4k + 1) + 1$

begge gir rest 1 ved deling med 3. Bare $p = 3k$ gir $p^2$ delelig med 3.

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

Så $q^2$ er delelig med 3, og av samme grunn er $q$ 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. ∎

Fordypning: Bevis ved induksjon

Fordypning: Induksjon er ikke en del av 1T, men er nyttig for den som vil videre i matematikk.

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 (fordypning)

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 den brukes)	Struktur
Direkte (standard tilnærming)	$P \Rightarrow Q$ direkte
Kontraposisjon (når konklusjonen er «negativ»)	ikke $Q \Rightarrow$ ikke $P$
Bevis ved selvmotsigelse (når direkte er vanskelig)	Anta at påstanden er usann, finn selvmotsigelse
Induksjon, fordypning (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

Fordypning. Bruk induksjon til å bevise at

1 + 3 + 5 + ... + (2n - 1) = n^2

for alle

n \geq 1

📝Oppgave 3

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

📝Oppgave 4

Fordypning. Bruk induksjon til å bevise at

n^3 - n

er delelig med 6 for alle

n \geq 1

📝Oppgave 5

Begrunn at arealet av en sirkel er $A = \pi r^2$ ved å dele sirkelen i mange tynne «kakestykker» og legge dem om.

📝Oppgave 6

Fordypning. 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 (bevis ved selvmotsigelse): Anta at påstanden er usann, og vis at det fører til en selvmotsigelse
- Bevis ved induksjon (fordypning): 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 (fordypning)	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.