9.1 Direkte bevis og moteksempler | Matematikk R1

Direkte bevisføring, bruk av moteksempler og logisk argumentasjon.

50 min

11 oppgaver

Direkte bevisMoteksemplerLogisk argumentasjonImplikasjon

Du leser den tradisjonelle versjonen

Din fremgang i kapitlet

0 / 11 oppgaver

Kapitlets plass i kurset

Brukes videre i

9.2Induksjon 9.3Kontrapositiv og kontradiksjon

Hvorfor bevise?

I matematikk nøyer vi oss ikke med å observere mønstre eller sjekke eksempler -- vi krever bevis. Et bevis er en logisk argumentrekke som viser at en påstand er sann i alle tilfeller, ikke bare i de eksemplene vi har sjekket.

Tenk deg at du har sjekket at $1 + 3 = 4$ , $1 + 3 + 5 = 9$ , $1 + 3 + 5 + 7 = 16$ og legger merke til at svarene er kvadrattall. Er det alltid slik? Selv om du sjekker tusen eksempler, vet du ikke om det gjelder for alle. Et bevis gir deg denne sikkerheten.

I dette kapittelet lærer du to grunnleggende teknikker: direkte bevis og moteksempler.

Implikasjon og ekvivalens

P

Kontrapositiv: Den kontrapositive av

P \Rightarrow Q

\neg Q \Rightarrow \neg P

. Disse er logisk ekvivalente.

Eksempel: "Hvis det regner, er bakken våt" har kontrapositiv: "Hvis bakken ikke er våt, regner det ikke."

Nødvendig og tilstrekkelig:
- " $P$ er tilstrekkelig for $Q$ " betyr $P \Rightarrow Q$
- " $Q$ er nødvendig for $P$ " betyr også $P \Rightarrow Q$

Direkte bevis

I et direkte bevis starter vi med forutsetningen $P$ og utleder konklusjonen $Q$ gjennom en rekke logiske steg. Hvert steg må være begrunnet med en definisjon, en kjent setning, eller en algebraisk omforming.

Oppskrift for direkte bevis:
1. Skriv forutsetningen tydelig
2. Bruk definisjoner til å omformulere
3. Utfør algebraiske manipulasjoner
4. Vis at konklusjonen følger

Partall og oddetall

n

✏️Eksempel 1: Summen av to partall

Vis at summen av to partall er et partall.

Bevis:

La $a$ og $b$ være partall. Da finnes heltall $m$ og $n$ slik at $a = 2m$ og $b = 2n$ .

$a + b = 2m + 2n = 2(m + n)$

Siden $m + n$ er et heltall, er $a + b = 2(m+n)$ et partall. $\square$

✏️Eksempel 2: Produktet av to oddetall

Vis at produktet av to oddetall er et oddetall.

Bevis:

La $a$ og $b$ være oddetall. Da er $a = 2m + 1$ og $b = 2n + 1$ for heltall $m$ og $n$ .

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

Siden $2mn + m + n$ er et heltall, er $a \cdot b$ på formen $2k + 1$ , altså et oddetall. $\square$

📝Oppgave 1

Vis at summen av et partall og et oddetall er et oddetall.

📝Oppgave 2

Vis at kvadratet av et oddetall er et oddetall.

Moteksempler

Ikke alle påstander er sanne. For å motbevise en generell påstand trenger vi bare å finne ett eneste eksempel der påstanden ikke holder. Et slikt eksempel kalles et moteksempel.

Viktig: Det kreves bare ett moteksempel for å motbevise en påstand, men ingen mengde eksempler kan bevise en generell påstand.

Fremgangsmaate:
1. Forstå hva påstanden sier
2. Proev systematisk med enkle tall
3. Presenter moteksempelet og vis at det bryter med påstanden

✏️Eksempel 3: Moteksempel for primtall

Er følgende påstand sann? "Summen av to primtall er alltid et partall."

Løsning:

Moteksempel: $2 + 3 = 5$ .

Både $2$ og $3$ er primtall, men summen $5$ er et oddetall. Påstanden er usann.

(Påstanden holder når begge primtallene er odde, men $2$ er et partall-primtall.)

✏️Eksempel 4: Moteksempel for algebraisk uttrykk

Er følgende påstand sann? "For alle reelle tall $a$ og $b$ gjelder $\sqrt{a^2 + b^2} = a + b$ ."

Løsning:

Moteksempel: La $a = 3$ og $b = 4$ .

Venstre side: $\sqrt{3^2 + 4^2} = \sqrt{25} = 5$

Høyre side: $3 + 4 = 7$

Siden $5 \neq 7$ , er påstanden usann.

📝Oppgave 3

Finn et moteksempel som viser at følgende påstand er usann: "Hvis $n$ er et positivt heltall, så er $n^2 + n + 41$ et primtall."

📝Oppgave 4

Avgjør om følgende påstander er sanne eller usanne. Bevis de sanne, og finn moteksempel for de usanne.

a) Produktet av to irrasjonale tall er alltid irrasjonalt.

b) Summen av tre påfølgende heltall er alltid delelig med $3$ .

Algebraiske identiteter og ulikheter

Mange bevis handler om å vise at en algebraisk identitet eller ulikhet gjelder for alle verdier av variablene. Strategien er ofte å omforme den ene siden til den andre, eller å vise at differansen har et bestemt fortegn.

Nyttig teknikk: For å vise at $A \geq B$ , vis at $A - B \geq 0$ , gjerne ved å skrive $A - B$ som et fullstendig kvadrat.

✏️Eksempel 5: AM-GM for to tall

Vis at $a^2 + b^2 \geq 2ab$ for alle reelle tall $a$ og $b$ .

Bevis:

Vi regner ut differansen:

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

Siden ethvert kvadrat er $\geq 0$ , har vi $(a-b)^2 \geq 0$ , altså:

$a^2 + b^2 \geq 2ab \quad \square$

Merk: Likhet gjelder når $a = b$ .

✏️Eksempel 6: Tre påfølgende heltall

Vis at produktet av tre påfølgende heltall er delelig med $6$ .

Bevis:

La de tre påfølgende heltallene være $n$ , $n+1$ og $n+2$ .

Delelig med $2$ : Blant tre påfølgende heltall er minst ett partall (annenhvert tall er partall). Altså er produktet delelig med $2$ .

Delelig med $3$ : Blant tre påfølgende heltall har ett rest $0$ ved divisjon med $3$ , ett har rest $1$ , og ett har rest $2$ . Altså er nøyaktig ett av dem delelig med $3$ .

Siden produktet er delelig med både $2$ og $3$ , og $\gcd(2,3) = 1$ , er produktet delelig med $2 \cdot 3 = 6$ . $\square$

📝Oppgave 5

Vis at differansen mellom kvadratene til to påfølgende heltall er lik summen av de to tallene. Det vil si: vis at $(n+1)^2 - n^2 = n + (n+1)$ .

📝Oppgave 6

Vis at $\displaystyle \frac{a}{b} + \frac{b}{a} \geq 2$ for alle $a, b > 0$ .

Oppsummering

Direkte bevis: Start med forutsetningen, bruk definisjoner og kjente resultater, og utled konklusjonen steg for steg.

Moteksempler: For å motbevise en generell påstand holder det med ett eneste moteksempel.

Implikasjon: $P \Rightarrow Q$ betyr "hvis $P$ , så $Q$ ". Kontrapositiven $\neg Q \Rightarrow \neg P$ er logisk ekvivalent.

Algebraiske bevis: For å vise $A \geq B$ , vis at $A - B \geq 0$ , gjerne ved å skrive differansen som et fullstendig kvadrat.

Tips for godt bevis:
- Definer alle variable tydelig
- Begrunn hvert steg
- Bruk hele setninger
- Avslutt med $\square$ eller "q.e.d."

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.