Andre matematiske bevis
Geometriske bevis
I tidligere matematikkundervisning har du kanskje lært at i en rettvinklet trekant der vinklene er og , vil hypotenusen være dobbelt så lang som den korteste kateten. Her skal vi bevise denne setningen gjennom et geometrisk bevis der vi bruker figuren som støtte.
Vi har gitt en trekant der og . Påstanden vi skal bevise, er at i en slik trekant er .
Fra hjørnet til motstående side trekker vi ei linje til punktet slik at .
Siden to av vinklene i er , har vi også at den siste vinkelen er . En trekant der alle vinklene er , er likesidet. Det betyr at .
Vi har at . Dette gir at er en likebeint trekant siden to av vinklene er like store. Det betyr at vi har , som igjen betyr at vi har .
Vi har til slutt at , som var det vi skulle vise.
På slutten av et matematisk bevis vil du ofte møte på forkortelsen q.e.d., som står for det greske uttrykket quod erat demonstrandum. Dette betyr "hvilket skulle bevises".
Epsilon-delta-bevis for grenseverdier
I fagartikkelen "Utforsking av grenseverdier" i R1 er det kort beskrevet hvordan matematikere bruker de to greske bokstavene epsilon () og delta () i for å definere grenseverdier. Her skal vi se litt nærmere på denne metoden. Slike bevis vil du møte i høyere utdanning dersom du velger å studere matematikk videre. I R2 er et av kompetansemålene at du skal kunne "analysere og forstå matematiske bevis, forklare de bærende ideene i et matematisk bevis og utvikle egne bevis". Et epsilon-delta-bevis er utenfor det vi forventer at du skal kunne føre selv, men å kunne analysere, forstå og forklare de bærende idéene i et slikt bevis er nyttig.
Vi ser på et eksempel først.
Vi skal vise at
Den intuitive definisjonen av denne grenseverdien er at hvis vi kan få verdien av uttrykket så nærme 10 vi ønsker dersom vi lar være nær nok til 2, er grenseverdien til uttrykket 10. (Her er det viktig å ikke la seg forvirre av at vi kan få uttrykket til å bli nøyaktig 10 dersom vi setter inn nøyaktig 2 for . Det er det som skjer med uttrykket når vi lar nærme seg 2 vi er ute etter her.)
Vi kan formulere dette på følgende måte: Dersom vi gjør avstanden mellom og 2, det vil si uttrykket , tilstrekkelig liten, vil forskjellen mellom og 10, det vil si uttrykket , bli så liten vi ønsker. Med en enda mer matematisk notasjon får vi dette:
Dersom det for ethvert tall finnes et tall slik at og , er .
Vi vet ut fra det vi kan fra før om grenseverdier, at grenseverdien er 10. Så hvordan kan vi finne og slik at vi kan bevise det?
Vi starter med å se på hva som skal til for at :
Vi ser nå at dersom , er . Kravet var at vi skulle kunne finne en slik at for alle . Det betyr at vi kan sette , og så har vi det vi trenger. Legg merke til at vi her kan gjøre så liten vi bare vil, for siden er avhengig av , kan vi alltid finne en slik at betingelsen er oppfylt.
Generell epsilon-delta-definisjon for grenseverdier
Dersom det for ethvert tall finnes et tall slik at og , er .
Bevis for første grenseverdisetning
Vi skal bruke et epsilon-delta-bevis for å bevise den første grenseverdisetningen:
Vi setter
og
Vi skal vise at dette innebærer at
Dette kan vi gjøre ved å vise at det alltid finnes en og en slik at og .
Siden grenseverdiene til og er oppgitt til og , vet vi at det finnes en og en slik at og , og at det finnes en og en slik at og .
Dette medfører at
og at
(Overgangen mellom linje 2 og 3 skal du vise i en oppgave.)
Hvis vi nå setter og , er beviset fullført.