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, bevis ved sjølvmotseiing, 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$
- Figuren i midten har fire sider $c$ (hypotenusane). Kvar vinkel i han er $180° - (u + v) = 90°$ , fordi dei spisse vinklane $u$ og $v$ i ein rettvinkla trekant er til saman $90°$ . Han er altså eit kvadrat med side $c$ : 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 (bevis ved sjølvmotseiing) 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.

Då 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. Då er også $p$ deleleg med 3: eit heilt tal som ikkje er deleleg 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. Berre $p = 3k$ gir $p^2$ deleleg med 3.

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

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

Fordjuping: Bevis ved induksjon

Fordjuping: Induksjon er ikkje ein del av 1T, men er nyttig for den som vil vidare i matematikk.

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 då 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 (fordjuping)

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 han blir brukt)	Struktur
Direkte (standard tilnærming)	$P \Rightarrow Q$ direkte
Kontraposisjon (når konklusjonen er «negativ»)	ikkje $Q \Rightarrow$ ikkje $P$
Bevis ved sjølvmotseiing (når direkte er vanskeleg)	Anta at påstanden er usann, finn sjølvmotseiing
Induksjon, fordjuping (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

Fordjuping. Bruk induksjon til å bevise at

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

for alle

n \geq 1

📝Oppgave 3

Vis ved sjølvmotseiing at $\sqrt{5}$ er irrasjonalt.

📝Oppgave 4

Fordjuping. Bruk induksjon til å bevise at

n^3 - n

er deleleg med 6 for alle

n \geq 1

📝Oppgave 5

Grunngi at arealet av ein sirkel er $A = \pi r^2$ ved å dele sirkelen i mange tynne «kakestykke» og leggje dei om.

📝Oppgave 6

Fordjuping. 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 (bevis ved sjølvmotseiing): Anta at påstanden er usann, og vis at det fører til ei sjølvmotseiing
- Bevis ved induksjon (fordjuping): 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 (fordjuping)	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.