Analysens fundamentalteorem og konsekvenser

Analysens fundamentalteorem kobler den GRENSEVERDI-baserte definisjonen av integralet (Riemann-summer) til noe langt RASKERE å regne ut: en antiderivert. Teoremet sier at hvis $F(x) = \int_a^x f(t)\,dt$ (arealet under grafen fra $a$ til $x$ , som en FUNKSJON av $x$ ), så er $F'(x) = f(x)$ – den DERIVERTE av arealfunksjonen er selve den opprinnelige funksjonen. Dette er den dype KONSEKVENSEN: integrasjon og derivasjon er OMVENDTE operasjoner av hverandre.

Analysens fundamentalteorem

$F(x) = \int_a^x f(t)\, dt \quad \Rightarrow \quad F'(x) = f(x)$

Konsekvensen av fundamentalteoremet
Størrelse	Betyr
F(x) = ∫ₐˣ f(t) dt	Arealfunksjonen (areal fra a til x)
F'(x)	Er lik f(x) – derivasjon 'opphever' integrasjon

Tips

Legg merke til at $F(x)$ er en FUNKSJON av $x$ (den øvre grensen i integralet), mens $t$ bare er en «dummy»-variabel som brukes internt i selve integrasjonen.
Fundamentalteoremet er GRUNNEN til at du kan regne bestemte integraler med antideriverte i stedet for å måtte summere uendelig mange rektangler hver gang.

Eksempel: Verifisere fundamentalteoremets konsekvens direkte

La $F(x) = \int_2^x 3t^2\, dt$ . Finn $F(x)$ eksplisitt ved å integrere, deretter $F'(x)$ – og bekreft at $F'(x) = 3x^2$ , altså integranden selv.

Fra integral til bekreftet derivert
Steg	Uttrykk
F(x) = ∫₂ˣ 3t² dt	x³ − 8
F'(x)	3x²
Sammenlign med f(x)=3x²	Identisk, som forutsagt

Løsning:

Vi finner først antideriverten til $3t^2$ , som er $t^3$ , og setter inn grensene: $F(x) = \left[t^3\right]_2^x = x^3 - 2^3 = x^3 - 8$
deriver dette uttrykket: $F'(x) = 3x^2$
sammenlign med integranden $f(t) = 3t^2$ , altså $f(x) = 3x^2$
de er NØYAKTIG LIKE, akkurat slik fundamentalteoremet forutsier: $F'(x) = f(x)$ .

Alternativ forklaring/metode: Bruk fundamentalteoremet direkte, uten mellomregning

Alternativ metode – innenfor pensum, men ikke hovedmetoden her

Se konsekvensen uten å regne ut det bestemte integralet

I stedet for å regne ut $F(x) = x^3 - 8$ eksplisitt og derivere det, kan du bruke fundamentalteoremet DIREKTE: siden $F(x) = \int_2^x 3t^2\,dt$ er nøyaktig den formen teoremet beskriver, vet du UMIDDELBART at $F'(x) = 3x^2$ – uten å måtte integrere først i det hele tatt. Dette er selve KRAFTEN i fundamentalteoremet: det garanterer svaret på forhånd, uansett hvor komplisert integralet ellers ville vært å regne ut.

Direkte vs. utregnet vei til F'(x)
Metode	Steg til F'(x)
Regn ut F(x) først	2 steg (integrer, deriver)
Bruk teoremet direkte	1 steg (les av integranden)

Oppgaver

Prøv minst én oppgave på hvert nivå.

Lett(3)

L-21Hva sier analysens fundamentalteorem om sammenhengen mellom $F(x) = \int_a^x f(t)\,dt$ og $f(x)$ ?

Vis fasit

Fundamentalteoremet
Størrelse	Sammenheng
F(x) = ∫ₐˣ f(t) dt	F'(x) = f(x)

Fundamentalteoremet kobler arealfunksjonens deriverte til selve integranden
F'(x) = f(x)

L-22Hvilken variabel i

F(x) = \int_a^x f(t)\,dt

er «dummy»-variabelen som bare brukes internt?

Vis fasit

Dummy-variabelen
Variabel	Rolle
x	Øvre grense
t	Dummy-variabel

x er den øvre grensen F avhenger av, t er kun en indre integrasjonsvariabel
t er dummy-variabelen

L-23Hva betyr det, i praktiske termer, at integrasjon og derivasjon er OMVENDTE operasjoner?

Vis fasit

Omvendte operasjoner
Operasjon	Resultat
Integrer f, deriver resultatet	Får tilbake f

Deriverer du F(x) = integralet av f, får du tilbake f(x) selv
de to operasjonene 'opphever' hverandre

Middels(3)

M-21La

G(x) = \int_0^x (2t+1)\,dt

. Finn

G(x)

eksplisitt.

Vis fasit

Finn G(x)
Integrand	G(x)
2t + 1	x² + x

Antideriverte av 2t+1 er t²+t
sett inn grensene 0 til x
G(x) = x² + x − 0 = x² + x

M-22Finn

G'(x)

for

G(x)

fra forrige oppgave, og bekreft at det stemmer med integranden

2x+1

Vis fasit

Deriver G(x)
G(x)	G'(x)
x² + x	2x + 1

G(x) = x² + x deriveres til 2x + 1
stemmer nøyaktig med integranden 2t+1 evaluert ved t=x

M-23Uten å regne ut integralet eksplisitt: hva er

H'(x)

hvis

H(x) = \int_5^x \sqrt{t+1}\,dt

Vis fasit

Finn H'(x) direkte
H(x)	H'(x)
∫₅ˣ kvadratroten av (t+1) dt	kvadratroten av (x+1)

Selv om nedre grense er 5, gir fundamentalteoremet direkte H'(x) = integranden evaluert ved x
H'(x) = kvadratroten av (x+1)

Vanskelig(3)

V-21La

F(x) = \int_1^x (4t^3 - 2)\,dt

. Finn

F(x)

eksplisitt, og bruk det til å bekrefte

F'(x)

Vis fasit

Finn F(x) og F'(x)
Steg	Uttrykk
F(x)	x⁴ − 2x + 1
F'(x)	4x³ − 2

Antiderivert av 4t³-2 er t⁴-2t
F(x) = (x⁴-2x) - (1-2) = x⁴-2x+1
deriver: F'(x) = 4x³ − 2, stemmer med integranden

V-22Forklar hvorfor fundamentalteoremet gjør det MULIG å regne ut kompliserte bestemte integraler uten å måtte summere Riemann-summer for hånd.

Vis fasit

Hvorfor fundamentalteoremet er en snarvei
Metode	Krever
Riemann-sum	Uendelig mange rektangler
Fundamentalteoremet	Bare en antiderivert

Riemann-summer krever uendelig mange rektangler for et eksakt svar
fundamentalteoremet gir en snarvei via antideriverte, uten grenseverdi-beregning hver gang

V-23La

F(x) = \int_0^x f(t)\,dt

der

f(t) = t^2 + 1

. Hvis

F'(3) = 10

, stemmer dette med fundamentalteoremet? Begrunn.

Vis fasit

Sjekk mot fundamentalteoremet
x	f(x) = x²+1	F'(x)
3	10	10 – stemmer

Med F(x) = integralet fra 0 til x: fundamentalteoremet sier F'(x) = f(x)
f(3) = 3²+1 = 9+1 = 10
stemmer nøyaktig med den oppgitte verdien F'(3)=10