6.1 Matematisk argumentasjon | Matematikk 1T

Korleis byggje eit matematisk argument og grunngje løysingar.

35 min

11 oppgaver

ArgumentasjonGrunngjevingLogisk 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 ikkje nok å finne rett svar – vi må også kunne grunngi kvifor svaret er rett. Matematisk argumentasjon handlar om å byggje logiske resonnement som overtyder andre om at konklusjonen vår er korrekt.

I dette kapitlet lærer du:
- Kva som kjenneteiknar eit godt matematisk argument
- Korleis bruke kjende reglar og setningar i grunngjevingar
- Skilnaden på å vise eit døme og å bevise noko generelt

Matematisk argument

Eit matematisk argument er ei logisk rekkjefølgje av påstandar som leier frå noko vi veit er sant (premiss) til ein konklusjon. Kvart steg i argumentet må vere grunngitt med: - Kjende definisjonar - Aksiom (grunnleggjande antakingar) - Tidlegare beviste setningar - Logiske slutningar

Strukturen i eit matematisk argument

Eit godt matematisk argument har tre delar:

1. Føresetnader (kva vi veit)
Kva er gitt? Kva antar vi?

2. Resonnement (steg for steg)
Kvart steg må følgje logisk frå det førre.

3. Konklusjon (kva vi viser)
Kva har vi bevist eller vist?

✏️Døme 1

Vis at summen av to partal alltid er eit partal.

Føresetnader: La

a

b

vere to partal.

Resonnement:
Eit partal kan skrivast som $2k$ der $k$ er eit heilt tal.

Så vi kan skrive:
- $a = 2m$ for eit heilt tal $m$
- $b = 2n$ for eit heilt tal $n$

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

Sidan $m + n$ er eit heilt tal, er $2(m + n)$ på forma $2k$ , altså eit partal.

Konklusjon: Summen av to partal er alltid eit partal.

Døme vs. bevis

- Eit døme viser at noko kan vere sant: " $2 + 4 = 6$ er partal"
- Eit bevis viser at noko alltid er sant for alle tilfelle

Sjølv om vi sjekkar 1000 døme, har vi ikkje bevist at noko gjeld generelt. Bevis bruker generelle symbol (som $a$ , $b$ , $n$ ) for å dekkje alle moglege tilfelle samtidig.

✏️Døme 2

Grunngi at produktet av to oddetal alltid er eit oddetal.

Føresetnader: La

a

b

vere to oddetal.

Resonnement:
Eit oddetal kan skrivast som $2k + 1$ der $k$ er eit heilt tal.

Så vi kan skrive:
- $a = 2m + 1$ for eit heilt tal $m$
- $b = 2n + 1$ for eit heilt tal $n$

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

Dette er på forma $2k + 1$ der $k = 2mn + m + n$ , altså eit oddetal.

Konklusjon: Produktet av to oddetal er alltid eit oddetal.

Uttrykk, likning, identitet og funksjon

- Eit algebraisk uttrykk er ei rekneoppskrift utan likskapsteikn, til dømes $2x + 3$ eller $x^2 - 9$ . Eit uttrykk kan vi forenkle, faktorisere eller rekne ut for ein gitt $x$ , men vi kan ikkje løyse det.
- Ei likning er ein likskap som er sann for nokre verdiar av $x$ , eller for ingen. $2x + 3 = 7$ er sann berre for $x = 2$ . Å løyse likninga er å finne desse verdiane.
- Ein identitet er ein likskap som er sann for alle verdiar av variablane, til dømes $(x + 1)^2 = x^2 + 2x + 1$ . Ein identitet viser vi ved å omforme den eine sida til den andre.
- Ein funksjon gir kvar $x$ -verdi nøyaktig éin verdi $f(x)$ , til dømes $f(x) = 2x + 3$ . Her betyr likskapsteiknet at $f(x)$ er definert som $2x + 3$ .

Ein likskap kan altså vere sann for alle $x$ (identitet), for nokre $x$ (likning med løysing) eller for ingen $x$ (likning utan løysing). For å vise at ein likskap ikkje er ein identitet, er det nok med eitt motdøme.

✏️Døme: Alle, nokre eller ingen?

Avgjer om likskapen er sann for alle $x$ , for nokre $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) Kva er skilnaden på $x^2 - 9$ , $x^2 - 9 = 0$ og $f(x) = x^2 - 9$ ?

Løysing:

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

Svar: Venstre side blir lik høgre side for alle $x$ . Likskapen er ein identitet.

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

$4x = 0$

$x = 0$

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

Svar: Sann berre for $x = 0$ . Likskapen er ei likning, ikkje ein identitet.

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

$2 = 1$

Svar: Sann for ingen $x$ . Likninga har inga løysing.

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

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

$f(x) = x^2 - 9$ er ein funksjon. Grafen skjer $x$ -aksen der $x = -3$ og $x = 3$ .

Logiske slutningar

I matematisk argumentasjon bruker vi ofte følgjande logiske strukturar:

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

Døme: Viss $n$ er deleleg med 4, så er $n$ deleleg med 2.

Motsett implikasjon:
$P \Rightarrow Q$ er IKKJE det same som $Q \Rightarrow P$

Døme: At eit tal er deleleg med 2 betyr IKKJE at det er deleleg med 4.

✏️Døme 3

Grunngi at viss $n^2$ er partal, så er $n$ partal.

P

: «

n^2

er partal» og

Q

: «

n

er partal».

Vi bruker kontrapositivt bevis (kontraposisjon):

I staden for å vise « $n^2$ partal $\Rightarrow$ $n$ partal», viser vi det logisk ekvivalente utsegnet:

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

Bevis:
La $n$ vere eit oddetal, altså $n = 2k + 1$ for eit heilt tal $k$ .

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

Dette er på forma $2m + 1$ , altså eit oddetal.

Konklusjon: Vi har vist at $n$ oddetal gir $n^2$ oddetal, altså «ikkje $Q \Rightarrow$ ikkje $P$ ». Då gjeld også « $P \Rightarrow Q$ »: $n^2$ partal gir $n$ partal.

Kontraposisjon

P \Rightarrow Q

✏️Døme 4

Vis at $\sqrt{2}$ er eit irrasjonalt tal.

Vi bruker bevis ved sjølvmotseiing (indirekte bevis):

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

Då kan $\displaystyle \sqrt{2} = \frac{p}{q}$ der $p$ og $q$ er heile tal utan felles faktorar større enn 1 (brøken er forkorta 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 partal, som betyr at $p$ er partal (vist i døme 3).

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

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

Sjølvmotseiing: Både $p$ og $q$ er partal, og har felles faktor 2. Det motseier at brøken var forkorta så langt det går.

Konklusjon: Antakinga var feil, så $\sqrt{2}$ må vere irrasjonalt.

Oppsummering av bevismetodar

Metode	Når brukast den
Direkte bevis	Vis at $P \Rightarrow Q$ direkte
Kontraposisjon	Vis at ikkje $Q \Rightarrow$ ikkje $P$
Bevis ved sjølvmotseiing	Anta det motsette og finn ei sjølvmotseiing

📝Oppgave 1

Grunngi følgjande påstandar:

Summen av eit partal og eit oddetal er alltid eit oddetal.

Produktet av eit partal og eit vilkårleg heilt tal er alltid eit partal.

Differansen mellom to oddetal er alltid eit partal.

📝Oppgave 2

Vis at kvadratet av eit oddetal alltid er på forma $8k + 1$ der $k$ er eit heilt tal.

📝Oppgave 3

Grunngi at for alle reelle tal $a$ og $b$ gjeld: $|a + b| \leq |a| + |b|$ (trekantulikskapen).

📝Oppgave 4

Forklar kvifor følgjande "bevis" er feil: "La $a = b$ . Då 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 sjølvmotseiing til å vise at det finst uendeleg mange primtal.

📝Oppgave 6

Vis at summen av tre påfølgjande heile tal alltid er deleleg med 3.

📝Oppgave 7

Avgjer om likskapen er ein identitet (sann for alle verdiar), ei likning med løysing eller ei likning utan løysing. Vis utrekninga.

(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: Ei logisk kjede frå premiss til konklusjon, der kvart steg er grunngitt
- Døme vs. bevis: Eit døme viser at noko kan vere sant — eit bevis viser at det alltid er sant. Aldri så mange døme beviser ein generell påstand
- Motdøme: Eitt einaste motdøme er nok til å motbevise ein generell påstand
- Implikasjon: $P \Rightarrow Q$ betyr «viss $P$ , så $Q$ ». Den motsette implikasjonen $Q \Rightarrow P$ er ikkje automatisk sann
- Kontraposisjon: $P \Rightarrow Q$ er logisk ekvivalent med «ikkje $Q$ $\Rightarrow$ ikkje $P$ »
- Generelle tal: Partal skrivast $2n$ og oddetal $2n + 1$ , der $n$ er eit heilt tal

Nøkkelomgrep

Omgrep	Forklaring
Premiss	Det vi veit eller antar
Konklusjon	Det vi viser
Implikasjon	«Viss ... så ...» ( $\Rightarrow$ )
Motdøme	Døme som viser at ein påstand er usann
Identitet	Likskap som er sann for alle verdiar av variablane
Kontraposisjon	«Ikkje $Q$ $\Rightarrow$ ikkje $P$ »

Viktig

- Bruk generelle symbol (

n

a

b

) for å dekkje alle tilfelle samtidig

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.