Direkte bevis
Et bevis er et argument som viser at noe er nødt til å være sant. Det finnes forskjellige typer bevis. Direkte bevis er kanskje den enkleste typen bevis. Man tar da utgangspunkt i en forutsetning og viser at noe følger direkte derfra.
Eksempel 1
Vis at hvis og er partall, så er også partall.
Bevis:
Et partall er et tall som kan deles på 2. La og .
Da er og dermed er også delelig på 2, så det er et partall.
Eksempel 2
Vis at hvis er et partall og er et heltall større enn 0, da er også et partall.
Altså, er et partall og er et heltall er et partall.
Bevis:
er et partall, hvis og bare hvis vi kan skrive det som for et heltall . Vi får dermed
.
siden er større enn 0, kan vi trekke ut 2 og vi ser dermed at også er et partall. Her har vi vist resultatet direkte fra forutsetningen.
Eksempel 3
Vis at hvis er et partall og er et oddetall, så er et oddetall.
Bevis:
Her må vi først bli enige med oss selv om hva det vil si at noe er et oddetall eller partall.
er et partall hvis det kan deles på to, og da kan vi skrive det som for et heltall .
er et oddetall hvis det ikke kan deles på to, og da kan vi skrive det som for et heltall .
Nå kan vi prøve å bevise påstanden over ved å se på :
er et heltall, og dermed ser vi at , så det er et oddetall! Dette fullfører beviset.
Eksempel 4
Vis første Første kvadratsetning sier at . Første kvadratsetning
Bevis:
.
Del på Facebook