Fagstoff

Noen matematiske bevistyper

Publisert: 22.10.2012, Oppdatert: 04.03.2017
  • Innbygg
  • Enkel visning
  • Lytt til tekst
  • Skriv ut

I matematikken har vi en rekke påstander eller setninger. Et eksempel er setningen som sier at summen av vinklene i en trekant er 180 grader. Vi godtar ikke slike påstander uten videre. Vi krever bevis. Vi skal nå se på to måter å føre matematiske bevis på.

Direkte bevis

Dette er den mest vanlige formen for bevisførsel, og det er egentlig dette vi gjør når vi for eksempel løser likninger.

Eksempel 1

Vi sier: Løs likningen

2x+4=6

Vi kunne like gjerne sagt: Bevis påstanden

2x+4=6x=1

Det vi gjør, er å løse likningen på vanlig måte. Vi antar at noe er sant og trekker logiske slutninger fram til konklusjonen. Vi bruker implikasjonstegnet for å vise at vi trekker en logisk slutning. Løsning av en likning kunne vi ført på følgende måte

Likning 1, matematiske bevis  

I dette tilfellet har vi også ekvivalens hele veien. Det betyr at den motsatte implikasjonen også gjelder: x=12x+4=6. Det vil si at x=1 er en løsning på likningen.

Vi kunne altså like gjerne skrevet

Likning 2, matematiske bevis  

Eksempel 2

En setning i matematikken sier at for et naturlig tall n gjelder

n er et partalln2 er delelig med 4

Et direkte bevis for denne påstanden kan føres slik

Likning 3, matematiske bevis  

I dette beviset brukte vi at ethvert partall kan skrives som 2t hvor t er et helt tall. Tilsvarende kan ethvert oddetall skrives som 2t + 1 eller 2t − 1 . Se nedenfor.

 

Partall og oddetall


Et helt tall n er partall hvis og bare hvis det finnes et helt tall t slik at n=2t.

Et helt tall n er oddetall hvis og bare hvis det finnes et helt tall t slik at n=2t+1 eller n=2t-1

 

Eksempel 3

Det kan ofte være lett å trekke gale slutninger. Det gjelder for eksempel når vi løser irrasjonale likninger.

Likninger hvor den ukjente befinner seg under ett eller flere rottegn, kalles irrasjonale likninger.

Gitt likningen

x+1=-3

For å løse slike likninger må vi kvadrere på begge sider av likhetstegnet

x+12=-32

Vi får da

x+1=9    x=8

Hvis vi nå setter prøve, får vi

venstre side: x+1=8+1=9=3høyre side: -3

Vi ser at x=8 ikke er en løsning av likningen. Hvordan kan det henge sammen?  

Forklaring

Alle er enige om at

-55

Men samtidig er

-52=52

Vi ser altså at når vi kvadrerer tall som er forskjellige, kan kvadratene bli like. Men -52=52 medfører ikke at -5=5.

Med implikasjons- og ekvivalenstegn ser vi at problemet er at vi ikke har ekvivalens når vi kvadrerer.

 Likning 4, matematiske bevis  

Eksempelet viser at det kan være viktig å være klar over når vi har implikasjon, og når vi har ekvivalens.

Når vi løser irrasjonale likninger, har vi bare implikasjon når vi kvadrerer. Det betyr at kvadreringen kan føre til at vi får en falsk løsning. Du må derfor alltid sette prøve på svaret når du løser irrasjonale likninger.

«Alle bergensere heier på Brann» eller «Ingen som ikke heier på Brann, er bergensere» …?«Alle bergensere heier på Brann» eller «Ingen som ikke heier på Brann, er bergensere» …?

Kontrapositive bevis

Påstand 1
Alle bergensere heier på Brann.

På «matematikkspråket» kan vi skrive dette slik

Per er bergenser  Per heier på Brann  

Påstand 2
Ingen som ikke heier på Brann, er bergensere.

På «matematikkspråket»

Per heier ikke på Brann  Per er ikke bergenser

Hva er forskjellen på påstand 1 og påstand 2?

La oss gå ut fra at påstand 1 er riktig, og at påstand 2 er gal.

At påstand 2 er gal, betyr at Per kan være bergenser selv om han ikke heier på Brann (rød pil på figuren nedenfor), men ifølge påstand 1 heier han da på Brann, og vi har en selvmotsigelse. (Enten heier man på Brann eller så gjør man det ikke.)

Påstand 2 kan altså ikke være gal hvis påstand 1 er riktig. Tilsvarende kan vi vise at påstand 1 ikke kan være gal hvis påstand 2 er riktig. Det er altså ingen forskjell på påstand 1 og påstand 2.

Påstander medfører  

I noen tilfeller er det vanskelig å føre et direkte bevis for en påstand, mens det derimot kan være mye enklere å føre et bevis for den kontrapositive («motsatte») påstanden.

Vi kan generalisere eksempelet ovenfor ved å kalle setningen «Per er Bergenser» for p, og setningen «Per heier på Brann» for q. Da kan vi på logikkspråket kalle setningen «Per er ikke Bergenser» for ikke p, og «Per heier ikke på Brann» for ikke q.

Vi har da vist følgende:

Vi vil bevise påstanden

 

pq

Dette er det samme som å bevise at

 

ikke qikke p

 

Eksempel

Vi skal vi bevise at

n2 er partalln er partall

Det kan vi gjøre ved å vise at

n er ikke partalln2 er ikke partall

Bevis

Likning 5, matematiske bevis  

Det siste uttrykket må være et oddetall.
Altså er n2 ikke partall, og setningen er bevist.

Bevis med moteksempel

Påstand
«Ingen elever i min klasse bruker briller.»

Vi kan bevise at denne påstanden er gal, hvis vi kan finne en elev i klassen som bruker briller.

 

Merk!

 

Vi kan motbevise en påstand met et moteksempel.

Vi kan aldi bevise en påstand med et eksempel.

Relatert innhold

Generelt