6.1 Matematisk argumentasjon | Matematikk 1T

Hvordan bygge et matematisk argument og begrunne løsninger.

35 min

11 oppgaver

ArgumentasjonBegrunnelseLogisk resonnement

Du leser den tradisjonelle versjonen

Din fremgang i kapitlet

0 / 11 oppgaver

Kapitlets plass i kurset

Brukes videre i

6.2Lese og forstå bevis

I matematikk er det ikke nok å finne riktig svar – vi må også kunne begrunne hvorfor svaret er riktig. Matematisk argumentasjon handler om å bygge logiske resonnementer som overbeviser andre om at konklusjonen vår er korrekt.

I dette kapitlet lærer du:
- Hva som kjennetegner et godt matematisk argument
- Hvordan bruke kjente regler og setninger i begrunnelser
- Forskjellen på å vise et eksempel og å bevise noe generelt

Matematisk argument

Et matematisk argument er en logisk rekkefølge av påstander som leder fra noe vi vet er sant (premisser) til en konklusjon. Hvert steg i argumentet må være begrunnet med: - Kjente definisjoner - Aksiomer (grunnleggende antakelser) - Tidligere beviste setninger - Logiske slutninger

Strukturen i et matematisk argument

Et godt matematisk argument har tre deler:

1. Forutsetninger (hva vi vet)
Hva er gitt? Hva antar vi?

2. Resonnement (steg for steg)
Hvert steg må følge logisk fra det forrige.

3. Konklusjon (hva vi viser)
Hva har vi bevist eller vist?

✏️Eksempel 1

Vis at summen av to partall alltid er et partall.

Forutsetninger: La

a

b

være to partall.

Resonnement:
Et partall kan skrives som $2k$ der $k$ er et helt tall.

Så vi kan skrive:
- $a = 2m$ for et helt tall $m$
- $b = 2n$ for et helt tall $n$

Summen blir:
$a + b = 2m + 2n = 2(m + n)$

Siden $m + n$ er et helt tall, er $2(m + n)$ på formen $2k$ , altså et partall.

Konklusjon: Summen av to partall er alltid et partall.

Eksempel vs. bevis

- Et eksempel viser at noe kan være sant: " $2 + 4 = 6$ er partall"
- Et bevis viser at noe alltid er sant for alle tilfeller

Selv om vi sjekker 1000 eksempler, har vi ikke bevist at noe gjelder generelt. Bevis bruker generelle symboler (som $a$ , $b$ , $n$ ) for å dekke alle mulige tilfeller samtidig.

✏️Eksempel 2

Begrunn at produktet av to oddetall alltid er et oddetall.

Forutsetninger: La

a

b

være to oddetall.

Resonnement:
Et oddetall kan skrives som $2k + 1$ der $k$ er et helt tall.

Så vi kan skrive:
- $a = 2m + 1$ for et helt tall $m$
- $b = 2n + 1$ for et helt tall $n$

Produktet blir:
$a \cdot b = (2m + 1)(2n + 1)$
$= 4mn + 2m + 2n + 1$
$= 2(2mn + m + n) + 1$

Dette er på formen $2k + 1$ der $k = 2mn + m + n$ , altså et oddetall.

Konklusjon: Produktet av to oddetall er alltid et oddetall.

Uttrykk, likning, identitet og funksjon

- Et algebraisk uttrykk er en regneoppskrift uten likhetstegn, for eksempel $2x + 3$ eller $x^2 - 9$ . Et uttrykk kan vi forenkle, faktorisere eller regne ut for en gitt $x$ , men vi kan ikke løse det.
- En likning er en likhet som er sann for noen verdier av $x$ , eller for ingen. $2x + 3 = 7$ er sann bare for $x = 2$ . Å løse likningen er å finne disse verdiene.
- En identitet er en likhet som er sann for alle verdier av variablene, for eksempel $(x + 1)^2 = x^2 + 2x + 1$ . En identitet viser vi ved å omforme den ene siden til den andre.
- En funksjon gir hver $x$ -verdi nøyaktig én verdi $f(x)$ , for eksempel $f(x) = 2x + 3$ . Her betyr likhetstegnet at $f(x)$ er definert som $2x + 3$ .

En likhet kan altså være sann for alle $x$ (identitet), for noen $x$ (likning med løsning) eller for ingen $x$ (likning uten løsning). For å vise at en likhet ikke er en identitet, er det nok med ett moteksempel.

✏️Eksempel: Alle, noen eller ingen?

Avgjør om likheten er sann for alle $x$ , for noen $x$ eller for ingen $x$ .

a) $(x - 3)(x + 3) = x^2 - 9$

b) $(x + 2)^2 = x^2 + 4$

c) $2(x + 1) = 2x + 1$

d) Hva er forskjellen på $x^2 - 9$ , $x^2 - 9 = 0$ og $f(x) = x^2 - 9$ ?

Løsning:

a) $(x - 3)(x + 3) = x^2 + 3x - 3x - 9 = x^2 - 9$

Svar: Venstre side blir lik høyre side for alle $x$ . Likheten er en identitet.

b) $x^2 + 4x + 4 = x^2 + 4$

$4x = 0$

$x = 0$

Moteksempel: $x = 1$ gir $(1 + 2)^2 = 9$ og $1^2 + 4 = 5$ .

Svar: Sann bare for $x = 0$ . Likheten er en likning, ikke en identitet.

c) $2x + 2 = 2x + 1$

$2 = 1$

Svar: Sann for ingen $x$ . Likningen har ingen løsning.

d) $x^2 - 9$ er et uttrykk. Vi kan faktorisere det: $(x - 3)(x + 3)$ .

$x^2 - 9 = 0$ er en likning med løsningene $x = -3$ og $x = 3$ .

$f(x) = x^2 - 9$ er en funksjon. Grafen skjærer $x$ -aksen der $x = -3$ og $x = 3$ .

Logiske slutninger

I matematisk argumentasjon bruker vi ofte følgende logiske strukturer:

Hvis-så (implikasjon):
"Hvis $P$ er sant, så er $Q$ sant" skrives $P \Rightarrow Q$

Eksempel: Hvis $n$ er delelig med 4, så er $n$ delelig med 2.

Motsatt implikasjon:
$P \Rightarrow Q$ er IKKE det samme som $Q \Rightarrow P$

Eksempel: At et tall er delelig med 2 betyr IKKE at det er delelig med 4.

✏️Eksempel 3

Begrunn at hvis $n^2$ er partall, så er $n$ partall.

P

: «

n^2

er partall» og

Q

: «

n

er partall».

Vi bruker kontrapositivt bevis (kontraposisjon):

I stedet for å vise « $n^2$ partall $\Rightarrow$ $n$ partall», viser vi det logisk ekvivalente utsagnet:

« $n$ oddetall $\Rightarrow$ $n^2$ oddetall»

Bevis:
La $n$ være et oddetall, altså $n = 2k + 1$ for et helt tall $k$ .

$n^2 = (2k + 1)^2 = 4k^2 + 4k + 1 = 2(2k^2 + 2k) + 1$

Dette er på formen $2m + 1$ , altså et oddetall.

Konklusjon: Vi har vist at $n$ oddetall gir $n^2$ oddetall, altså «ikke $Q \Rightarrow$ ikke $P$ ». Da gjelder også « $P \Rightarrow Q$ »: $n^2$ partall gir $n$ partall.

Kontraposisjon

P \Rightarrow Q

✏️Eksempel 4

Vis at $\sqrt{2}$ er et irrasjonalt tall.

Vi bruker bevis ved selvmotsigelse (indirekte bevis):

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

Da kan $\displaystyle \sqrt{2} = \frac{p}{q}$ der $p$ og $q$ er hele tall uten felles faktorer større enn 1 (brøken er forkortet så langt det går).

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

Så $p^2$ er partall, som betyr at $p$ er partall (vist i eksempel 3).

La $p = 2k$ :
$p^2 = 4k^2 = 2q^2 \Rightarrow q^2 = 2k^2$

Så $q^2$ er partall, som betyr at $q$ er partall.

Selvmotsigelse: Både $p$ og $q$ er partall, og har felles faktor 2. Det motsier at brøken var forkortet så langt det går.

Konklusjon: Antagelsen var feil, så $\sqrt{2}$ må være irrasjonalt.

Oppsummering av bevismetoder

Metode	Når brukes den
Direkte bevis	Vis at $P \Rightarrow Q$ direkte
Kontraposisjon	Vis at ikke $Q \Rightarrow$ ikke $P$
Bevis ved selvmotsigelse	Anta det motsatte og finn en selvmotsigelse

📝Oppgave 1

Begrunn følgende påstander:

Summen av et partall og et oddetall er alltid et oddetall.

Produktet av et partall og et vilkårlig helt tall er alltid et partall.

Differansen mellom to oddetall er alltid et partall.

📝Oppgave 2

Vis at kvadratet av et oddetall alltid er på formen $8k + 1$ der $k$ er et helt tall.

📝Oppgave 3

Begrunn at for alle reelle tall $a$ og $b$ gjelder: $|a + b| \leq |a| + |b|$ (trekantulikheten).

📝Oppgave 4

Forklar hvorfor følgende "bevis" er feil: "La $a = b$ . Da er $a^2 = ab$ , så $a^2 - b^2 = ab - b^2$ , altså $(a+b)(a-b) = b(a-b)$ . Deler vi på $(a-b)$ får vi $a + b = b$ , så $2b = b$ , altså $2 = 1$ ."

📝Oppgave 5

Bruk bevis ved selvmotsigelse til å vise at det finnes uendelig mange primtall.

📝Oppgave 6

Vis at summen av tre påfølgende hele tall alltid er delelig med 3.

📝Oppgave 7

Avgjør om likheten er en identitet (sann for alle verdier), en likning med løsning eller en likning uten løsning. Vis utregningen.

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

x^2 - 2x = x(x - 2)

(x - 1)^2 = x^2 - 1

3(x - 2) = 3x - 2

\displaystyle \frac{x^2 - 1}{x - 1} = x + 1

Oppsummering

I dette kapittelet har du lært:

- Matematisk argument: En logisk kjede fra premisser til konklusjon, der hvert steg er begrunnet
- Eksempel vs. bevis: Et eksempel viser at noe kan være sant — et bevis viser at det alltid er sant. Aldri så mange eksempler beviser en generell påstand
- Moteksempel: Ett eneste moteksempel er nok til å motbevise en generell påstand
- Implikasjon: $P \Rightarrow Q$ betyr «hvis $P$ , så $Q$ ». Den motsatte implikasjonen $Q \Rightarrow P$ er ikke automatisk sann
- Kontraposisjon: $P \Rightarrow Q$ er logisk ekvivalent med «ikke $Q$ $\Rightarrow$ ikke $P$ »
- Generelle tall: Partall skrives $2n$ og oddetall $2n + 1$ , der $n$ er et helt tall

Nøkkelbegreper

Begrep	Forklaring
Premiss	Det vi vet eller antar
Konklusjon	Det vi viser
Implikasjon	«Hvis ... så ...» ( $\Rightarrow$ )
Moteksempel	Eksempel som viser at en påstand er usann
Identitet	Likhet som er sann for alle verdier av variablene
Kontraposisjon	«Ikke $Q$ $\Rightarrow$ ikke $P$ »

Viktig

- Bruk generelle symboler (

n

a

b

) for å dekke alle tilfeller samtidig

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.