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. Eit bevis er ei fullstendig logisk grunngjeving for kvifor ein matematisk påstand er sann.

Du skal lære:
- Strukturen i eit matematisk bevis
- Ulike typar bevis (direkte, indirekte, induksjon)
- Korleis lese og analysere bevis frå læreboka
- Korleis utvikle eigne enkle bevis

Matematisk bevis

Eit matematisk bevis er ei kjede av logiske argument som viser at ein påstand (teorem) følgjer frå aksiom, definisjonar og tidlegare beviste resultat. Viktige omgrep: - Teorem/setning: Ein påstand som kan bevisast - Lemma: Ei hjelpesetning som brukast i eit større bevis - Korollar: Ei enkel følgje av eit teorem

Korleis lese eit bevis

Når du les eit bevis, bør du:

1. Forstå påstanden: Kva skal bevisast? Kva betyr alle omgrepa?

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

3. Følg kvart steg: Kvifor følgjer dette steget frå det førre?

4. Sjå det store biletet: Kva er hovudideen i beviset?

5. Prøv sjølv: Kan du gjenskape beviset utan å sjå på løysinga?

📜1. kvadratsetning

For alle tal

a

b

gjeld:

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

✏️Døme 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 parentesane:
$= 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):

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

Dette kvadratet kan delast inn i:
- Eit kvadrat med side $a$ (areal $a^2$ )
- Eit kvadrat med side $b$ (areal $b^2$ )
- To rektangel med sider $a$ og $b$ (areal $ab$ kvar)

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

Direkte bevis

I eit direkte bevis startar vi med det vi veit (premissa) og arbeider oss logisk fram til konklusjonen.

Struktur:
1. Anta at premissen $P$ er sann
2. Bruk definisjonar, setningar og logikk
3. Vis at konklusjonen $Q$ følgjer

Døme på direkte bevis: Vis at summen av to partal er partal.

📜Pytagoras' setning

I ein rettvinkla trekant med katetar

a

b

og hypotenus

c

gjeld:

a^2 + b^2 = c^2

✏️Døme 2: Eit geometrisk bevis

Bevis Pytagoras' setning.

Bevis (med areal):

Teikn eit stort kvadrat med side $a + b$ .

Metode 1: Del opp i fire rettvinkla trekantar og eit lite kvadrat i midten.
- Fire trekantar med areal $\displaystyle \frac{1}{2}ab$ kvar: totalt $2ab$
- Kvadrat i midten har side $c$ (hypotenusane): areal $c^2$
- Totalt areal: $2ab + c^2$

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

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

Indirekte bevis

I eit indirekte bevis (motbevis) antar vi at påstanden er usann og viser at dette fører til ei sjølvmotseiing.

Struktur:
1. Anta at konklusjonen $Q$ er usann
2. Utlei logiske konsekvensar
3. Finn ei sjølvmotseiing
4. Konkluder at $Q$ må vere sann

Når brukast det: Når det er vanskeleg å bevise noko direkte, eller når påstanden involverer "det finst ikkje" eller "uendeleg mange".

✏️Døme 3: Indirekte bevis

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

Bevis ved sjølvmotseiing:

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

Da kan vi skrive $\displaystyle \sqrt{3} = \frac{p}{q}$ der $p$ og $q$ er heile tal utan felles faktorar (brøken er maksimalt forkorta).

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

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

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

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

Sjølvmotseiing: Både $p$ og $q$ er delelege med 3, men vi antok at brøken var maksimalt forkorta!

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

Bevis ved induksjon

Matematisk induksjon brukast til å bevise påstandar som gjeld for alle naturlege tal.

Struktur:
1. Grunntilfelle: Vis at påstanden er sann for $n = 1$ (eller eit anna startpunkt)
2. Induksjonsantaking: 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 – viss den første fell, og kvar brikke slår ned den neste, så fell alle.

✏️Døme 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øgre side: $\displaystyle \frac{1 \cdot 2}{2} = 1$ ✓

Induksjonsantaking:
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 antakinga)}$
$= \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 gjeld for alle $n \geq 1$ . ∎

Oppsummering av bevistypar

Bevistype	Når brukast 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 vanskeleg	Anta $\neg Q$ , finn sjølvmotseiing
Induksjon	For påstandar om alle $n$	Grunntilfelle + induksjonssteg

📝Oppgave 1

Les beviset for 1. kvadratsetning i døme 1. Bevis deretter 2. og 3. kvadratsetning på same måten.

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 deleleg med 6 for alle $n \geq 1$ .

📝Oppgave 5

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

📝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:

- Strukturen i beviset: Forstå påstanden, identifiser bevistypen, følg kvart steg, og sjå hovudideen
- Direkte bevis: Start med premissa og arbeid deg logisk fram til konklusjonen
- Indirekte bevis (motbevis): Anta at påstanden er usann, og vis at det fører til ei sjølvmotseiing
- Bevis ved induksjon: Vis grunntilfellet ( $n = 1$ ), og vis at viss påstanden gjeld for $n = k$ , gjeld han også for $n = k + 1$
- Omgrep: Teorem (bevist påstand), lemma (hjelpesetning) og korollar (følgje av eit teorem)

Nøkkelomgrep

Omgrep	Forklaring
Teorem	Påstand som kan bevisast
Lemma	Hjelpesetning til eit større bevis
Direkte bevis	Frå premiss til konklusjon steg for steg
Indirekte bevis	Antar det motsette og finn sjølvmotseiing
Induksjon	Grunntilfelle + induksjonssteg

Viktige resultat frå kapittelet

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

(1. kvadratsetning)
-

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

Repetisjonsoppgåver

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.