1.11

1.11 Matematiske resonnementer og bevis

Påstander som er sanne eller usanne, moteksempler, implikasjon og ekvivalens, og direkte bevis med bokstaver.

50 min
16 oppgaver
PåstanderMoteksempelImplikasjon og ekvivalensDirekte bevis
Din fremgang i kapitlet
0 / 16 oppgaver

Påstander og begrunnelser

På eksamen i S1 møter du oppgaver av typen «Avgjør om påstanden er sann eller usann. Begrunn svaret.» Påstandene handler om alt i faget: potenser, logaritmer, funksjoner, derivasjon og kombinatorikk. Dette delkapitlet viser hvordan et slikt svar bygges opp, og hvordan du skriver et kort bevis med matematisk symbolspråk.

Påstand, bevis og moteksempel

En påstand er en matematisk setning som enten er sann eller usann.

- En påstand som gjelder alle tall (alle funksjoner, alle nn …), er sann bare hvis vi kan vise at den holder i hvert eneste tilfelle. Et slikt generelt argument kalles et bevis.
- En påstand som gjelder alle tilfeller, er usann hvis den svikter i ett tilfelle. Et slikt tilfelle kalles et moteksempel.

Føring av påstandsoppgaver

Et fullstendig svar har tre deler:

- konklusjonen: «Påstanden er sann» eller «Påstanden er usann»
- begrunnelsen: et bevis (sann) eller et moteksempel med utregning (usann)
- utregningen skrevet med symboler, én overgang per linje

Er påstanden usann, kan du ofte i tillegg si hva som er riktig, for eksempel hvilken betingelse som mangler.

✏️Eksempel 1: Moteksempel

Avgjør om påstanden er sann eller usann: «x2>xx^2 > x for alle reelle tall xx.»

Moteksempel: x=12x = \dfrac{1}{2}.

(12)2=14<12\left(\frac{1}{2}\right)^2 = \frac{1}{4} < \frac{1}{2}

Svar: Påstanden er usann. Den svikter for alle xx mellom 0 og 1 og for x=0x = 0 og x=1x = 1.

Implikasjon og ekvivalens

SymbolLesesBetyr
A⇒BA \Rightarrow BAA medfører BBNår AA er sann, er også BB sann.
A⇐BA \Leftarrow BAA følger av BBNår BB er sann, er også AA sann.
A⇔BA \Leftrightarrow BAA er ekvivalent med BBBegge pilene gjelder.

A⇒BA \Rightarrow B sier ingenting om den motsatte veien. Når vi løser likninger, skriver vi bare ⇔\Leftrightarrow mellom linjene hvis hver overgang kan gjøres begge veier. Kvadrering er ikke en slik overgang: x=3⇒x2=9x = 3 \Rightarrow x^2 = 9, men x2=9x^2 = 9 gir også x=−3x = -3.
✏️Eksempel 2: Riktig pil

Sett inn ⇒\Rightarrow, ⇐\Leftarrow eller ⇔\Leftrightarrow mellom utsagnene.

a) x=3□x2=9x = 3 \quad \square \quad x^2 = 9

b) 2x+1=7□x=32x + 1 = 7 \quad \square \quad x = 3

c) x2=4x□x=4x^2 = 4x \quad \square \quad x = 4

a) x2=9x^2 = 9 gir x=−3x = -3 eller x=3x = 3, så bare den ene veien gjelder.

Svar: x=3⇒x2=9x = 3 \Rightarrow x^2 = 9

b) 2x+1=72x + 1 = 7 har bare løsningen x=3x = 3, og x=3x = 3 oppfyller likningen.

Svar: 2x+1=7⇔x=32x + 1 = 7 \Leftrightarrow x = 3

c) x2=4x⇔x(x−4)=0⇔x=0∨x=4x^2 = 4x \Leftrightarrow x(x - 4) = 0 \Leftrightarrow x = 0 \lor x = 4. Likningen har også løsningen x=0x = 0.

Svar: x2=4x⇐x=4x^2 = 4x \Leftarrow x = 4

Direkte bevis med bokstaver

I et direkte bevis skriver vi de tallene påstanden handler om, med bokstaver, og regner oss fram til det som skal vises.

TallSkrives
et partall2n2n, der nn er et helt tall
et oddetall2n+12n + 1
tre påfølgende hele talln−1n - 1,   n\;n,   n+1\;n + 1
et tall delelig med 33n3n

To ulike tall skal ha ulike bokstaver: to partall er 2m2m og 2n2n, ikke 2n2n og 2n2n.
✏️Eksempel 3: Tre påfølgende tall

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

De tre tallene er n−1n - 1, nn og n+1n + 1, der nn er et helt tall.

(n−1)+n+(n+1)=3n(n - 1) + n + (n + 1) = 3n

3n3n er delelig med 3 fordi nn er et helt tall.

Svar: Summen er 3n3n og dermed alltid delelig med 3.

✏️Eksempel 4: Påstand om vekstfart

Funksjonen ff er gitt ved f(x)=x2−3xf(x) = x^2 - 3x.

Påstand: «Den gjennomsnittlige vekstfarten til ff mellom x=ax = a og x=bx = b er lik den momentane vekstfarten midt mellom aa og bb.»

Avgjør om påstanden er sann eller usann.

Gjennomsnittlig vekstfart:

f(b)−f(a)b−a=b2−3b−a2+3ab−a=(b−a)(b+a)−3(b−a)b−a=a+b−3\begin{aligned} &\frac{f(b) - f(a)}{b - a} \\ = {}&\frac{b^2 - 3b - a^2 + 3a}{b - a} \\ = {}&\frac{(b - a)(b + a) - 3(b - a)}{b - a} \\ = {}&a + b - 3 \end{aligned}

Momentan vekstfart i x=a+b2x = \dfrac{a + b}{2}:

f′(x)=2x−3f'(x) = 2x - 3

f′(a+b2)=2⋅a+b2−3=a+b−3f'\left(\frac{a + b}{2}\right) = 2 \cdot \frac{a + b}{2} - 3 = a + b - 3

Svar: Påstanden er sann for alle a≠ba \neq b.

✏️Eksempel 5: Påstand om tredjegradsfunksjoner

Avgjør om påstanden er sann eller usann: «Grafen til en tredjegradsfunksjon har alltid et ekstremalpunkt.»

Moteksempel: f(x)=x3f(x) = x^3.

f′(x)=3x2f'(x) = 3x^2

f′(x)=0⇔x=0f'(x) = 0 \Leftrightarrow x = 0

f′(x)>0f'(x) > 0 på begge sider av x=0x = 0, så f′f' skifter ikke fortegn. (0,0)(0, 0) er et terrassepunkt, ikke et ekstremalpunkt.

Svar: Påstanden er usann.

✏️Eksempel 6: Påstand om grupper

I en klasse er det 9 elever. Påstand: «Det kan lages flere ulike grupper med 5 elever enn med 4 elever.»

(95)=126og(94)=126\binom{9}{5} = 126 \quad \text{og} \quad \binom{9}{4} = 126

Hver gruppe på 5 svarer til nøyaktig én gruppe på 4, nemlig de 4 elevene som ikke er med. Derfor er (nk)=(nn−k)\binom{n}{k} = \binom{n}{n - k}.

Svar: Påstanden er usann. Det er like mange grupper, 126 av hver.

Oppgaver

📝Oppgave 1.11.1

Avgjør om påstandene er sanne eller usanne. Gi et moteksempel når påstanden er usann.

a
x2≥0x^2 \ge 0 for alle reelle tall xx.
b
a+b=a+b\sqrt{a + b} = \sqrt{a} + \sqrt{b} for alle a,b≥0a, b \ge 0.
c
2x>x2x > x for alle reelle tall xx.
d
(ab)2=a2b2(ab)^2 = a^2b^2 for alle aa og bb.
📝Oppgave 1.11.2

Sett inn ⇒\Rightarrow, ⇐\Leftarrow eller ⇔\Leftrightarrow mellom utsagnene.

a
x=−2□x2=4x = -2 \quad \square \quad x^2 = 4
b
3x−2=10□x=43x - 2 = 10 \quad \square \quad x = 4
c
x(x−1)=0□x=1x(x - 1) = 0 \quad \square \quad x = 1
d
x>3□x>1x > 3 \quad \square \quad x > 1
📝Oppgave 1.11.3

Bruk bokstaver og vis påstandene.

a

Vis at summen av to partall er et partall.

b

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

📝Oppgave 1.11.4

Kvadrattall som følger etter hverandre.

a

Vis at (n+1)2−n2(n + 1)^2 - n^2 alltid er et oddetall når nn er et helt tall.

b

Bruk resultatet til å regne ut 502−49250^2 - 49^2 uten hjelpemidler.

Løs oppgaven
📝Oppgave 1.11.5

Vis at n2+nn^2 + n er et partall for alle hele tall nn.

📝Oppgave 1.11.6

Avgjør om påstandene er sanne eller usanne for alle x>0x > 0 og alle a,b>0a, b > 0. Begrunn svaret.

a
lg⁡(x3)=3lg⁡x\lg\left(x^3\right) = 3\lg x
b
lg⁡(x3)=(lg⁡x)3\lg\left(x^3\right) = (\lg x)^3
c
ln⁡(a+b)=ln⁡a+ln⁡b\ln(a + b) = \ln a + \ln b
📝Oppgave 1.11.7

Avgjør om påstanden er sann eller usann: «Hvis f(2)=g(2)f(2) = g(2), så er f′(2)=g′(2)f'(2) = g'(2).»

📝Oppgave 1.11.8

Avgjør om påstanden er sann eller usann: «Grafen til en andregradsfunksjon f(x)=ax2+bx+cf(x) = ax^2 + bx + c, a≠0a \neq 0, har nøyaktig ett ekstremalpunkt.»

📝Oppgave 1.11.9

Avgjør om påstanden er sann eller usann: «Grafen til en femtegradsfunksjon har alltid et ekstremalpunkt.»

📝Oppgave 1.11.10

Avgjør om påstandene er sanne eller usanne.

a

Når en pris øker med 10 % to år på rad, har den til sammen økt med 20 %.

b

Når en pris først øker med 20 % og deretter synker med 20 %, er den tilbake der den startet.

📝Oppgave 1.11.11

Påstand: «For alle n≥3n \ge 3 er det flere måter å velge 3 av nn personer på enn å velge 2 av nn personer.»

a

Avgjør om påstanden er sann eller usann.

b

For hvilke nn er (n3)>(n2)\binom{n}{3} > \binom{n}{2}?

📝Oppgave 1.11.12

Vis at x2−4x+5>0x^2 - 4x + 5 > 0 for alle reelle tall xx.

📝Oppgave 1.11.13

Funksjonen ff er gitt ved f(x)=ax2+bx+cf(x) = ax^2 + bx + c, der a≠0a \neq 0. Vis at den gjennomsnittlige vekstfarten til ff mellom x=px = p og x=qx = q er lik f′(p+q2)f'\left(\dfrac{p + q}{2}\right).

📝Oppgave 1.11.14

Funksjonen ff er gitt ved f(x)=x2−9x−kf(x) = \dfrac{x^2 - 9}{x - k}, der kk er en konstant.

a

Avgjør om påstanden er sann eller usann: «Grafen til ff har den vertikale asymptoten x=kx = k for alle verdier av kk.»

b

For hvilke verdier av kk har grafen den vertikale asymptoten x=kx = k?

📝Oppgave 1.11.15

Funksjonen ff er gitt ved f(x)=x3−6x2+5x+2f(x) = x^3 - 6x^2 + 5x + 2.

a

Bestem xx-koordinaten til vendepunktet.

b

Påstand: «f′(2−h)=f′(2+h)f'(2 - h) = f'(2 + h) for alle hh.» Vis at påstanden er sann.

c

Vis at det samme gjelder for alle tredjegradsfunksjoner g(x)=ax3+bx2+cx+dg(x) = ax^3 + bx^2 + cx + d: Er x0x_0 vendepunktet, er g′(x0−h)=g′(x0+h)g'(x_0 - h) = g'(x_0 + h).

Løs oppgaven
📝Oppgave 1.11.16

Vis at a+b2≥ab\dfrac{a + b}{2} \ge \sqrt{ab} for alle a,b≥0a, b \ge 0, og at likhet gjelder bare når a=ba = b.

Oppsummering

- Svar alltid med konklusjon (sann eller usann) og begrunnelse.
- En påstand om alle tilfeller vises med et generelt argument med bokstaver.
- En påstand om alle tilfeller tilbakevises med ett moteksempel, regnet ut.
- A⇒BA \Rightarrow B betyr at BB følger av AA. ⇔\Leftrightarrow krever at begge veier gjelder.
- Partall skrives 2n2n, oddetall 2n+12n + 1 og påfølgende tall n−1n - 1, nn, n+1n + 1.
- Vanlige moteksempler: x3x^3 (terrassepunkt, ingen ekstremalpunkter), a=1a = 1 i potenser, tall mellom 0 og 1, negative tall.

Repetisjonsoppgaver
Din fremgang
0deloppgaver0 / 4 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.