Bevis

bevistyper

Det finnes flere typer matematiske bevis. Matematiske bevis er sentrale for å etablere en sannhet i faget, men de er også viktige i læringsprosessen ved at de skal skape innsikt og forståelse. Det har liten verdi å pugge sekvenser i et bevis om man ikke forstår tankene som ligger til grunn for sekvensene og hva man har som mål. Nedenfor følger noen viktige metoder for matematiske bevis.

Direkte bevis

Ideen bak et direktebevis er at P impliserer Q.

1) Anta at P er sant.

2) Bruk P til å vise at Q er sant

Eksempel 1:

Utsagn: Summen av to oddetall er et partall.

Ett oddetall er et tall som ikke er delelig på 2 og kan generelt skrives som n= 2k + 1 der $k\in \mathbb{N}.$ To forskjellige oddetall kan skrives som $n_1=2k_1+1$ og $n_2=2k_2+1(k_1\ne k_2)$

Summen av $n_1$ og $n_2$: $n_1+n_2=2k_1+1+2k_2+1=2(k_1+k_2)+2=2(k_1+k_2+1)$

som er et tall delelig på 2, altså et partall.

Eksempel 2:

Påstand: ”Kvadratet av et partall er også et partall.”

Dersom vi plukker ut et vilkårlig tall p i mengden Z vet man at x = 2p alltid er et partall.

Vi kvadrerer og får:

$x^2=(2p{)}^2=4p^2=2(2p^2)$

Hvilket er et bevis for påstanden.

Indirekte bevis- kontrapositivt bevis

Ideen er å anta at konklusjonen er feil, og derved at premissene er feil. Det må da være feil at konklusjonen er feil.

Dersom man vil bevise at a medfører b, $a\Rightarrow b$ er det likeverdig med å bevise

$ikkeb\Rightarrow ikkea$.

Eksempel 3:

Dersom produktet av to positive reelle tall er større en 100 så er minst en av faktorene større enn 10.

$xy>100\Rightarrow x\ge 10\vee y\ge 10$

Nå antar vi at begge faktorene er mindre eller lik 10:

$0<x\le 10\wedge 0<y\le 10\Rightarrow xy\le 10\cdot 10\Rightarrow xy\le 100$

Hvilket er et bevis for påstanden i begynnelsen av eksemplet.

Bevis ved motsigelse (Reductio ad absurdum)

Man antar at påstanden er feil, og viser at dette fører til en motsigelse.

Eksempel 4:

Dersom et tall er irrasjonalt kan vi ikke skrive det som en brøk. La oss prøve å skrive kvadratroten av to som en brøk der teller og nevner ikke har noen felles faktorer.

$$\sqrt{2}=\frac{a}{b}$$ $$2=\frac{a^2}{b^2}$$ $$2b^2=a^2$$

Det betyr at $a^2$ og a er delelig på 2.

Det betyr at a kan skrives som et tell, k, multiplisert med 2:

$$a=2k$$

Innsatt for a i uttrykket $2b^2=a^2$ gir det

$$2b^2=a^2$$ $$2b^2=(2k{)}^2$$ $$2b^2=4k^2$$ $$b^2=2k^2$$

Hvilket betyr at $b^2$ og b er delelig på 2.

Dette er en motsigelse i forhold til hva vi forutsatte. Kvadratroten av to kan ikke skrives som en brøk og er derved irrasjonal.

Bevis ved moteksempel

Dersom man påstår: ” alle nordmenn har blå øyner” kan det være fornuftig å bruke denne teknikken dersom man ønsker å bevise at påstanden er feil.

Det er nok at man finner en nordmann som ikke har blå øyner for å bevise at ”alle nordmenn har blå øyner” er feil.

Man motbeviser en påstand ved å finne ett eksempel som bryter med påstanden.

Man kan motbevise en påstand med et eksempel, men man kan aldri bevise en påstand med et eksempel (ikke med to eller flere heller).

Eksempel 5:

Vi har følgende påstand:

$x^2=y^2\Rightarrow x=y$

Sagt med ord utrykker påstanden at dersom kvadratet av et tall er lik kvadratet av et annet tall så impliserer det at det ene tallet er lik det andre tallet.

Dersom x = 2 og y = 2 stemmer begge sider av implikasjonen, men dersom x = 2 og y = - 2 stemmer bare venstre side. Høyre side er feil, og man har bevist at påstanden er feil.

Induksjonsbevis

Bevis ved induksjon er delt i to trinn, induksjonsgrunnlaget og induksjonstrinnet.

La $U(n)$ være et åpent utsagn som gjelder for alle $n\ge n_0$

Dersom

1. induksjonsgrunnlaget $U(n_0)$ er sann

og

2. induksjonstrinnet $U(k)\Rightarrow U(k+1),k\ge n_0$ er sann,

så er $U(n)$ sann for alle $n\ge n_0.$

Prinsippet for induksjonsbevis illustreres enklest via et konkret eksempel: La oss si at vi ønsker å bevise formelen

$$\sum _{i=1}^{n}i=\frac{n(n+1)}{2}\mathrm{\forall }n\in \mathbb{N}$$

Trinn 1

Det første vi gjør er å verifisere at formelen gjelder for spesialtilfellet $n=1$. Dette er trivielt siden $\sum _{i=1}^{1}i=1$ og $\frac{1\cdot (1+1)}{2}=1$; høyresiden er lik venstresiden.

Trinn 2 (induksjonstrinnet)

I induksjonstrinnet antar vi at formelen gjelder for en bestemt verdi av n, si $n=k$ og utleder deretter via kjente regneregler at formelen også gjelder for $n=k+1$. Dersom vi lykkes, vil dette indusere en dominoeffekt: Fra trinn 1 vet vi at formelen gjelder for $n=1$ og trinn 2 sikrer at formelen gjelder for $n=2$ (og på samme måte at formelen gjelder for $n=3$ etc.).

I det konkrete eksempelet vil induksjonstrinnet se slik ut:

Vi antar at formelen er riktig for $n=k$:

$$\sum _{i=1}^{k}i=\frac{k(k+1)}{2}$$

Vi undersøker så summen når $n=k+1$ ved å bruke denne antagelsen:

$$\begin{array}{rl}\sum _{i=1}^{k+1}i& =\sum _{i=1}^{k}i+(k+1)\\ & =\frac{k(k+1)}{2}+(k+1)\\ & =\frac{(k+1)(k+2)}{2}\end{array}$$

Her ser vi altså at dersom formelen er riktig for $n=k$, så vil formelen være riktig for $n=k+1$. Dette kompletterer induksjonsbeviset.

Denne "malen" for induksjonsbevis vil i prinsippet gjelde for alle problemer, dog vil det kunne oppstå ulike vanskeligheter for de spesifikke variasjonene, men disse er av "algebraisk" karakter. For å bli fortrolig med induksjon er man nødt til å regne gjennom en del eksempler.

Eksempel 6:

La oss se litt nærmere på eksemplet over, denne gangen uten bruk av summetegn:

$$1+2+3+\dots +n=\frac{n(n+1)}{2}$$

Tallet n skal være et positivt helt tall.

Først undersøker man induksjonsgrunnlaget: Når n = 1 blir høyre side lik venstre side.

I induksjonstrinnet antar vi først at formelen er riktig for n = k:

$$1+2+3+\dots +k=\frac{k(k+1)}{2}$$

Deretter undersøker vi summen for n = k + 1, ved å bruke antagelsen:

$$\begin{array}{rl}1+2+3+\dots +k+(k+1)& =\frac{k(k+1)}{2}+(k+1)\\ & =(k+1)(\frac{k}{2}+1)\\ & =\frac{(k+1)(k+2)}{2}\end{array}$$

Vi ser at den siste linjen er høyresiden i formelen når n = k + 1. Altså er beviset fullført.

Eksempel 7:

Bevis formelen

$$1^2+2^2+3^2+.....+n^2=\frac{n(n+1)(2n+1)}{6}n\in \mathbb{N}$$

Man finner først om induksjonsgrunnlaget er sant. Når n = 1 er venstre side lik $1^2=1,$ og høyre side er $\frac{1\cdot 2\cdot 3}{6}=1.$ Induksjonsgrunnlaget er dermed sant, begge sider er lik 1 for n=1.

I induksjonstrinnet antar vi først at formelen er riktig for n = k:

$$1^2+2^2+3^2+\dots +k^2=\frac{k(k+1)(2k+1)}{6}$$

Så undersøker vi summen for n = k + 1 ved å bruke antagelsen:

$$\begin{array}{rl}{1}^2+2^2+3^2+.....+k^2+(k+1{)}^2& =\frac{k(k+1)(2k+1)}{6}+(k+1{)}^2\\ & =(k+1)[\frac{k(2k+1)}{6}+(k+1)]\\ & =(k+1)\frac{k[2k+1+6(k+1)]}{6}\\ & =\frac{(k+1)[2k^2+7k+6]}{6}\\ & =\frac{(k+1)[2(k+2)(k+\frac{3}{2})]}{6}\\ & =\frac{(k+1)(k+2)(2k+3)}{6}\end{array}$$

Den siste linjen er høyresiden i formelen når n = k + 1.

Q.E.D. (quod erat demonstrandum)

Eksempel 8:

Bevis derivasjonsregelen $(x^n{)}^{\prime }=n{x}^{n-1}.$

I induksjonsgrunnlaget viser vi først at formelen gjelder for n = 1:

Høyre side: $n\cdot x^{n-1}=1\cdot x^0=1$

Venstre side $(x^1{)}^{\prime }=x^{\prime }=1$

Induksjonsgrunnlaget er sann: Linjen y = x har stigningstall 1.

I induksjonstrinnet antar vi som vanlig at formelen er riktig for n = k:

$$(x^k{)}^{\prime }=k{x}^{k-1}$$

Vi viser så at formelen holder for n = k + 1, ved å bruke antagelsen sammen med regelen for derivering av et produkt:

$$\begin{array}{rl}(x^{k+1}{)}^{\prime }& =(x\cdot x^k{)}^{\prime }\\ & =x^k+x\cdot k\cdot x^{k-1}\\ & =x^k+k{x}^k\\ & =(1+k)x^k\end{array}$$

Q.E.D.

Eksempel 9:

Bevis at $n^3-4n+6$ er delelig på 3 når n er et ikke-negativt heltall.

1. Induksjonsgrunnlag: n=0 gir $n^3-4n+6=6$, som er delelig på 3.

2. Induksjonstrinnet: Anta at $n^3-4n+6$ er delelig på 3 når n = k. Med n = k + 1 får vi

$$\begin{array}{rl}(k+1{)}^3-4(k+1)+6& =(k+1)(k^2+2k+1)-(4k+4)+6\\ & =(k^3+2k^2+k+k^2+2k+1)-4k+2\\ & =(k^3-4k+6)+3(k^2+k-1)\end{array}$$

Den første parantesen er delelig på 3, i følge antagelsen for n = k. Den andre inneholder faktoren 3. Sammen gir dette at hele uttrykket er delelig på 3.

Se også:

• Bevisføring

• Bevis -derivasjon sinus
• Bevis av aritmetikkens fundamentalsetning
• Bevis for cosinussetningen
• Bevis for derivasjon av a^x
• Bevis for derivasjon av e^x
• Bevis for derivasjon av lg(x)
• Bevis for derivasjon av log x, vilkårlig base
• Bevis for derivasjon av produkt
• Bevis for derivasjon av tan(x)
• Bevis for potens derivasjon