Analysens fundamentalteorem
Eksempel 1: andregradsfunksjon
Vi ser på funksjonen gitt ved
I fagartikkelen "Definisjon av bestemt integral som grenseverdi" bruker vi GeoGebra og finner ut at arealet under grafen til i området er . Dette definerer vi til å være det bestemte integralet fra 3 til 7 av funksjonen.
Ha dette i bakhodet inntil videre.
Vi finner det ubestemte integralet til ved hjelp av GeoGebra.
Vi setter øvre og nedre grense fra arealberegningen ovenfor inn i funksjonen og regner ut ved hjelp av CAS:
Vi ser at dette er det samme resultatet som vi fikk da vi regnet ut det bestemte integralet tidligere. Legg også merke til at integrasjonskonstanten c1 forsvinner. Hvorfor skjer dette?
Det kan vises at denne sammenhengen gjelder generelt, og dette er et grunnleggende resultat i matematikken som kalles "analysens fundamentalteorem". Det er også vanlig å bruke betegnelsen "fundamentalsetningen i matematisk analyse".
Vi kan formulere resultatet slik:
Analysens fundamentalteorem
Vi kan formulere resultatet slik:
La være en kontinuerlig funksjon på intervallet .
La
Da er
Legg merke til skrivemåten med hakeparenteser.
Konsekvensen av analysens fundamentalteorem er at det bestemte integralet til en funksjon kan regnes ut ved hjelp av det ubestemte integralet til funksjonen.
Vi kan altså regne ut det bestemte integralet til en funksjon fra til ved hjelp av det ubestemte integralet til funksjonen.
Dette betyr i praksis at vi kan beregne arealet, , av området som er avgrenset av grafen til funksjonen , -aksen og linjene og , ved hjelp av det ubestemte integralet til :
Vi skal ikke bevise analysens fundamentalteorem her, men vi kan illustrere det gjennom et eksempel. Vi kommer også tilbake til fundamentalteoremet når vi skal arbeide mer med beregninger av bestemte integraler og arealer.
Eksempel 2: førstegradsfunksjon
Funksjonen er gitt ved .
Vi skal finne arealet avgrenset av grafen til og
-aksen mellom og .
Vi bruker formelen for arealet av en trekant og får
Bruker vi en tilfeldig variabel som grense i stedet for 4, får vi
Vi ser at dette uttrykket er akkurat det samme som den antideriverte til , og vi kan ut fra dette sette opp følgende sammenheng: