6.1 Matematisk argumentasjon

Mer enn bare riktig svar

I matematikk er det ikke nok å finne svaret – du må også kunne forklare hvorfor svaret er riktig. Tenk deg en rettssak: det holder ikke å si at den tiltalte er skyldig – du må legge frem bevis som overbeviser juryen. Matematisk argumentasjon fungerer på samme måte. Vi bygger en kjede av logiske steg fra noe vi vet er sant (premissene), til noe vi ønsker å vise (konklusjonen).

I dette kapittelet skal vi lære hva et godt matematisk argument inneholder, hvordan vi strukturerer det, og hvilke metoder vi kan bruke. Vi skal se at det er en fundamental forskjell mellom å vise at noe fungerer i ett tilfelle og å vise at det fungerer alltid. Denne forskjellen er selve hjertet av matematikken.

Hva er et matematisk argument?

Et matematisk argument er en logisk rekkefølge av påstander som leder fra noe vi vet er sant til en konklusjon. Hvert steg må være begrunnet – enten med en kjent definisjon, et aksiom (en grunnleggende antakelse), en tidligere bevist setning, eller en logisk slutning.

Strukturen i et godt argument har tre deler. Først kommer forutsetningene: hva vet vi, og hva antar vi? Deretter følger resonnementet: en kjede av logiske steg der hvert steg bygger på det forrige. Til slutt har vi konklusjonen: hva har vi vist?

La oss se et enkelt eksempel. Vi vil vise at summen av to partall alltid er et partall. Forutsetningene: la $a$ og $b$ være to partall. Resonnement: et partall kan skrives som $2k$ for et helt tall $k$. Så $a = 2m$ og $b = 2n$ for noen hele tall $m$ og $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.

Legg merke til at vi brukte bokstaver i stedet for konkrete tall. Vi skrev $a = 2m$ og $b = 2n$ – ikke $a = 4$ og $b = 6$. Det er nettopp det som gjør argumentet generelt: det gjelder for alle partall, ikke bare de spesifikke tallene vi tilfeldigvis valgte.

Direkte bevis

Den mest naturlige bevismetoden er det direkte beviset. Vi starter med det vi vet og arbeider oss logisk fremover til det vi vil vise. La oss se et eksempel til.

Vi vil vise at produktet av to oddetall alltid er et oddetall. Et oddetall kan skrives som $2k + 1$ for et helt tall $k$. La $a = 2m + 1$ og $b = 2n + 1$ for hele tall $m$ og $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. Ferdig!

Hvert steg i dette beviset er begrunnet: vi brukte definisjonen av oddetall ($2k + 1$), vi ganget ut parentesene (algebra), og vi faktoriserte ut 2 for å vise at resultatet er på rett form. Ingen av stegene er «magiske» – alt følger logisk.

En annen nyttig observasjon: vi kan vise at summen av tre påfølgende hele tall alltid er delelig med 3. La tallene være $n$, $n + 1$ og $n + 2$. Summen er $n + (n + 1) + (n + 2) = 3n + 3 = 3(n + 1)$. Siden $3(n + 1)$ tydelig er delelig med 3, er vi ferdige.

Poenget er: i et direkte bevis velger vi en smart representasjon av tallene våre, gjør beregninger, og viser at resultatet har den ønskede egenskapen.

Logiske slutninger og implikasjon

For å bygge sterke argumenter trenger vi å forstå logiske sammenhenger. Den viktigste er implikasjon: «Hvis $P$ er sant, så er $Q$ sant», som skrives $P \Rightarrow Q$.

For eksempel: «Hvis $n$ er delelig med 4, så er $n$ delelig med 2.» Dette er sant – hvert tall som kan deles på 4, kan også deles på 2. Men den motsatte retningen er ikke sant: at et tall er delelig med 2 betyr ikke at det er delelig med 4. Tallet 6 er delelig med 2, men ikke med 4.

Denne asymmetrien er viktig. $P \Rightarrow Q$ er ikke det samme som $Q \Rightarrow P$. «Hvis det regner, er bakken våt» betyr ikke at «hvis bakken er våt, regner det» – bakken kan jo også være våt fordi noen har vært ute med hageslangen.

Men her er noe fascinerende: selv om $P \Rightarrow Q$ og $Q \Rightarrow P$ er forskjellige, finnes det en annen utsagn som er logisk ekvivalent med $P \Rightarrow Q$. Det er kontraposisjonen: «Hvis ikke $Q$, så ikke $P$», altså $\neg Q \Rightarrow \neg P$.

«Hvis det regner, er bakken våt» er logisk det samme som «Hvis bakken ikke er våt, regner det ikke.» Denne ekvivalensen er nyttig som bevismetode: noen ganger er det lettere å vise kontraposisjonen enn det opprinnelige utsagnet.

Bevis ved kontraposisjon og motbevis

La oss bruke kontraposisjon i praksis. Vi vil vise at «hvis $n^2$ er partall, så er $n$ partall.» I stedet for å vise dette direkte, viser vi kontraposisjonen: «hvis $n$ er oddetall, så er $n^2$ oddetall.»

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

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

Dette er på formen $2m + 1$, altså et oddetall. Vi har vist kontraposisjonen, og dermed er det opprinnelige utsagnet også sant.

En annen viktig bevismetode er motbevis (bevis ved selvmotsigelse). Her antar vi at konklusjonen er usann og viser at dette fører til noe umulig – en selvmotsigelse.

Det mest berømte motbeviset viser at $\sqrt{2}$ er irrasjonalt. Anta det motsatte: $\displaystyle \sqrt{2} = \frac{p}{q}$ der brøken er fullt forkortet. Da er $\displaystyle 2 = \frac{p^2}{q^2}$, altså $p^2 = 2q^2$. Siden $p^2$ er partall, er $p$ partall (det viste vi nettopp). La $p = 2k$. Da er $4k^2 = 2q^2$, som gir $q^2 = 2k^2$, altså er $q$ også partall. Men da har $p$ og $q$ begge faktor 2, noe som motsier at brøken var fullt forkortet. Selvmotsigelse! Altså er $\sqrt{2}$ irrasjonalt.

Fallgruver og feilslutninger

Det er like viktig å gjenkjenne feil argumenter som å bygge korrekte. La oss se på en klassisk feilslutning som «beviser» at $2 = 1$.

La $a = b$. Da er $a^2 = ab$, altså $a^2 - b^2 = ab - b^2$. Vi faktoriserer begge sider: $(a + b)(a - b) = b(a - b)$. Vi deler på $(a - b)$ og får $a + b = b$. Siden $a = b$, gir dette $2b = b$, altså $2 = 1$.

Hva gikk galt? Feilen er å dele på $(a - b)$. Siden vi antok at $a = b$, er $a - b = 0$, og vi kan aldri dele på null. Dette er et eksempel på at hvert eneste steg i et argument må være gyldig – én feil ødelegger hele kjeden.

En annen vanlig feil er å forveksle et utsagn med dets omvending. «Alle hunder er dyr» betyr ikke at «alle dyr er hunder.» I matematikken: «alle primtall større enn 2 er oddetall» betyr ikke at «alle oddetall er primtall» (9 er oddetall, men ikke primtall).

Vi kan oppsummere bevismetodene. I et direkte bevis viser vi $P \Rightarrow Q$ steg for steg. I et kontrapositivt bevis viser vi i stedet at $\neg Q \Rightarrow \neg P$. I et motbevis antar vi $\neg Q$ og finner en selvmotsigelse. Hvilken metode du velger, avhenger av hva som er lettest for det aktuelle problemet.

Oppsummering

Et matematisk argument er en logisk kjede fra forutsetninger til konklusjon. Hvert steg må begrunnes med definisjoner, aksiomer, tidligere setninger eller logiske slutninger. Et enkelt eksempel er ikke et bevis – det viser bare at noe kan skje, ikke at det alltid skjer.

Direkte bevis er den mest naturlige metoden: vi starter med premissene og arbeider oss steg for steg til konklusjonen. Nøkkelen er å representere tallene generelt med bokstaver (for eksempel $2k$ for partall, $2k + 1$ for oddetall) og vise at resultatet har den ønskede formen.

Kontraposisjon utnytter at $P \Rightarrow Q$ er logisk ekvivalent med $\neg Q \Rightarrow \neg P$. Noen ganger er den motsatte retningen lettere å vise.

Motbevis (bevis ved selvmotsigelse) antar at konklusjonen er usann og utleder noe umulig. Det klassiske beviset for at $\sqrt{2}$ er irrasjonalt bruker denne teknikken.

Husk også å være på vakt mot feilslutninger. Sjekk at hvert steg er gyldig – spesielt at du ikke deler på null, forveksler en implikasjon med dens omvending, eller generaliserer fra enkeltstående eksempler.