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

Kvifor bevise?

I matematikk nøyer vi oss ikkje med å observere mønster eller sjekke eksempel -- vi krev bevis. Eit bevis er ei logisk argumentrekkje som viser at ein påstand er sann i alle tilfelle, ikkje berre i dei eksempla vi har sjekka.

Tenk deg at du har sjekka at $1 + 3 = 4$ , $1 + 3 + 5 = 9$ , $1 + 3 + 5 + 7 = 16$ og legg merke til at svara er kvadrattal. Er det alltid slik? Sjølv om du sjekkar tusen eksempel, veit du ikkje om det gjeld for alle. Eit bevis gir deg denne vissa.

I dette kapittelet lærer du to grunnleggjande teknikkar: direkte bevis og moteksempel.

Implikasjon og ekvivalens

P

Kontrapositiv: Den kontrapositive av

P \Rightarrow Q

\neg Q \Rightarrow \neg P

. Desse er logisk ekvivalente.

Eksempel: "Dersom det regnar, er bakken våt" har kontrapositiv: "Dersom bakken ikkje er våt, regnar det ikkje."

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

Direkte bevis

I eit direkte bevis startar vi med føresetnaden $P$ og utleier konklusjonen $Q$ gjennom ei rekkje logiske steg. Kvart steg må vere grunngitt med ein definisjon, ei kjend setning, eller ei algebraisk omforming.

Oppskrift for direkte bevis:
1. Skriv føresetnaden tydeleg
2. Bruk definisjonar til å omformulere
3. Utfør algebraiske manipulasjonar
4. Vis at konklusjonen følgjer

Partal og oddetal

n

✏️Eksempel 1: Summen av to partal

Vis at summen av to partal er eit partal.

Bevis:

Lat $a$ og $b$ vere partal. Då finst heiltal $m$ og $n$ slik at $a = 2m$ og $b = 2n$ .

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

Sidan $m + n$ er eit heiltal, er $a + b = 2(m+n)$ eit partal. $\square$

✏️Eksempel 2: Produktet av to oddetal

Vis at produktet av to oddetal er eit oddetal.

Bevis:

Lat $a$ og $b$ vere oddetal. Då er $a = 2m + 1$ og $b = 2n + 1$ for heiltal $m$ og $n$ .

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

Sidan $2mn + m + n$ er eit heiltal, er $a \cdot b$ på forma $2k + 1$ , altså eit oddetal. $\square$

📝Oppgave 1

Vis at summen av eit partal og eit oddetal er eit oddetal.

📝Oppgave 2

Vis at kvadratet av eit oddetal er eit oddetal.

Moteksempel

Ikkje alle påstandar er sanne. For å motbevise ein generell påstand treng vi berre å finne eitt einaste eksempel der påstanden ikkje held. Eit slikt eksempel blir kalla eit moteksempel.

Viktig: Det krevst berre eitt moteksempel for å motbevise ein påstand, men inga mengd eksempel kan bevise ein generell påstand.

Framgangsmåte:
1. Forstå kva påstanden seier
2. Prøv systematisk med enkle tal
3. Presenter moteksempelet og vis at det bryt med påstanden

✏️Eksempel 3: Moteksempel for primtal

Er følgjande påstand sann? "Summen av to primtal er alltid eit partal."

Løysing:

Moteksempel: $2 + 3 = 5$ .

Både $2$ og $3$ er primtal, men summen $5$ er eit oddetal. Påstanden er usann.

(Påstanden held når begge primtala er odde, men $2$ er eit partal-primtal.)

✏️Eksempel 4: Moteksempel for algebraisk uttrykk

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

Løysing:

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

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

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

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

📝Oppgave 3

Finn eit moteksempel som viser at følgjande påstand er usann: "Dersom $n$ er eit positivt heiltal, så er $n^2 + n + 41$ eit primtal."

📝Oppgave 4

Avgjer om følgjande påstandar er sanne eller usanne. Bevis dei sanne, og finn moteksempel for dei usanne.

a) Produktet av to irrasjonale tal er alltid irrasjonalt.

b) Summen av tre påfølgjande heiltal er alltid deleleg med $3$ .

Algebraiske identitetar og ulikskapar

Mange bevis handlar om å vise at ein algebraisk identitet eller ulikskap gjeld for alle verdiar av variablane. Strategien er ofte å omforme den eine sida til den andre, eller å vise at differansen har eit bestemt forteikn.

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

✏️Eksempel 5: AM-GM for to tal

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

Bevis:

Vi reknar ut differansen:

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

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

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

Merk: Likskap gjeld når $a = b$ .

✏️Eksempel 6: Tre påfølgjande heiltal

Vis at produktet av tre påfølgjande heiltal er deleleg med $6$ .

Bevis:

Lat dei tre påfølgjande heiltala vere $n$ , $n+1$ og $n+2$ .

Deleleg med $2$ : Blant tre påfølgjande heiltal er minst eitt partal (annakvart tal er partal). Altså er produktet deleleg med $2$ .

Deleleg med $3$ : Blant tre påfølgjande heiltal har eitt rest $0$ ved divisjon med $3$ , eitt har rest $1$ , og eitt har rest $2$ . Altså er nøyaktig eitt av dei deleleg med $3$ .

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

📝Oppgave 5

Vis at differansen mellom kvadrata til to påfølgjande heiltal er lik summen av dei to tala. Det vil seie: 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 føresetnaden, bruk definisjonar og kjende resultat, og utlei konklusjonen steg for steg.

Moteksempel: For å motbevise ein generell påstand held det med eitt einaste moteksempel.

Implikasjon: $P \Rightarrow Q$ tyder "dersom $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 eit fullstendig kvadrat.

Tips for godt bevis:
- Definer alle variable tydeleg
- Grunngi kvart steg
- Bruk heile setningar
- Avslutt med $\square$ eller "q.e.d."

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.