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)=∫axf(t) dtF(x) = \int_a^x f(t)\,dt (arealet under grafen fra aa til xx, som en FUNKSJON av xx), så er F′(x)=f(x)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)=∫axf(t) dt⇒F′(x)=f(x)F(x) = \int_a^x f(t)\, dt \quad \Rightarrow \quad F'(x) = f(x)

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

Tips

  • Legg merke til at F(x)F(x) er en FUNKSJON av xx (den øvre grensen i integralet), mens tt 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)=∫2x3t2 dtF(x) = \int_2^x 3t^2\, dt. Finn F(x)F(x) eksplisitt ved å integrere, deretter F′(x)F'(x), og bekreft at F′(x)=3x2F'(x) = 3x^2, altså integranden selv.

Løsning:
  1. Vi finner først antideriverten til 3t23t^2, som er t3t^3, og setter inn grensene: F(x)=[t3]2x=x3−23=x3−8F(x) = \left[t^3\right]_2^x = x^3 - 2^3 = x^3 - 8
  2. deriver dette uttrykket: F′(x)=3x2F'(x) = 3x^2
  3. sammenlign med integranden f(t)=3t2f(t) = 3t^2, altså f(x)=3x2f(x) = 3x^2
  4. de er NØYAKTIG LIKE, akkurat slik fundamentalteoremet forutsier: F′(x)=f(x)F'(x) = f(x).
Fra integral til bekreftet derivert
StegUttrykk
F(x) = ∫₂ˣ 3t² dtx³ − 8
F'(x)3x²
Sammenlign med f(x)=3x²Identisk, som forutsagt
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)=x3−8F(x) = x^3 - 8 eksplisitt og derivere det, kan du bruke fundamentalteoremet DIREKTE: siden F(x)=∫2x3t2 dtF(x) = \int_2^x 3t^2\,dt er nøyaktig den formen teoremet beskriver, vet du UMIDDELBART at F′(x)=3x2F'(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)
MetodeSteg til F'(x)
Regn ut F(x) først2 steg (integrer, deriver)
Bruk teoremet direkte1 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)=∫axf(t) dtF(x) = \int_a^x f(t)\,dt og f(x)f(x)?

Vis fasit
  1. Fundamentalteoremet kobler arealfunksjonens deriverte til selve integranden
  2. F'(x) = f(x)
Fundamentalteoremet
StørrelseSammenheng
F(x) = ∫ₐˣ f(t) dtF'(x) = f(x)

L-22Hvilken variabel i F(x)=∫axf(t) dtF(x) = \int_a^x f(t)\,dt er «dummy»-variabelen som bare brukes internt?

Vis fasit
  1. x er den øvre grensen F avhenger av, t er kun en indre integrasjonsvariabel
  2. t er dummy-variabelen
Dummy-variabelen
VariabelRolle
xØvre grense
tDummy-variabel

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

Vis fasit
  1. Deriverer du F(x) = integralet av f, får du tilbake f(x) selv
  2. de to operasjonene 'opphever' hverandre
Omvendte operasjoner
OperasjonResultat
Integrer f, deriver resultatetFår tilbake f
Middels(3)

M-21La G(x)=∫0x(2t+1) dtG(x) = \int_0^x (2t+1)\,dt. Finn G(x)G(x) eksplisitt.

Vis fasit
  1. Antideriverte av 2t+1 er t²+t
  2. sett inn grensene 0 til x
  3. G(x) = x² + x − 0 = x² + x
Finn G(x)
IntegrandG(x)
2t + 1x² + x

M-22La G(x)=∫0x(2t+1) dt=x2+xG(x) = \int_0^x (2t+1)\,dt = x^2 + x. Finn G′(x)G'(x), og bekreft at det stemmer med integranden 2x+12x+1.

Vis fasit
  1. G(x) = x² + x deriveres til 2x + 1
  2. stemmer nøyaktig med integranden 2t+1 evaluert ved t=x
Deriver G(x)
G(x)G'(x)
x² + x2x + 1

M-23Uten å regne ut integralet eksplisitt: hva er H′(x)H'(x) hvis H(x)=∫5xt+1 dtH(x) = \int_5^x \sqrt{t+1}\,dt?

Vis fasit
  1. Selv om nedre grense er 5, gir fundamentalteoremet direkte H'(x) = integranden evaluert ved x
  2. H'(x) = (x+1)\sqrt{(x+1)}
Finn H'(x) direkte
H(x)H'(x)
∫₅ˣ kvadratroten av (t+1) dtkvadratroten av (x+1)
Vanskelig(3)

V-21La F(x)=∫1x(4t3−2) dtF(x) = \int_1^x (4t^3 - 2)\,dt. Finn F(x)F(x) eksplisitt, og bruk det til å bekrefte F′(x)F'(x).

Vis fasit
  1. Antiderivert av 4t³-2 er t⁴-2t
  2. F(x) = (x⁴-2x) - (1-2) = x⁴-2x+1
  3. deriver: F'(x) = 4x³ − 2, stemmer med integranden
Finn F(x) og F'(x)
StegUttrykk
F(x)x⁴ − 2x + 1
F'(x)4x³ − 2

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

Vis fasit
  1. Riemann-summer krever uendelig mange rektangler for et eksakt svar
  2. fundamentalteoremet gir en snarvei via antideriverte, uten grenseverdi-beregning hver gang
Hvorfor fundamentalteoremet er en snarvei
MetodeKrever
Riemann-sumUendelig mange rektangler
FundamentalteoremetBare en antiderivert

V-23La F(x)=∫0xf(t) dtF(x) = \int_0^x f(t)\,dt der f(t)=t2+1f(t) = t^2 + 1. Hvis F′(3)=10F'(3) = 10, stemmer dette med fundamentalteoremet? Begrunn.

Vis fasit
  1. Med F(x) = integralet fra 0 til x: fundamentalteoremet sier F'(x) = f(x)
  2. f(3) = 3²+1 = 9+1 = 10
  3. stemmer nøyaktig med den oppgitte verdien F'(3)=10
Sjekk mot fundamentalteoremet
xf(x) = x²+1F'(x)
31010 – stemmer