2.4 Bestemt integral som grenseverdi

Arkimedes og kunsten å temme det krumme

Året er 212 f.Kr. Romerske soldater stormer Syrakus, og i sanden sitter en gammel mann fordypet i geometriske figurer. «Ikke rør sirklene mine,» skal Arkimedes ha sagt — hans siste ord. Det han hadde viet livet til, var blant annet et problem som hadde trosset menneskeheten i årtusener: hvordan måler man arealet av noe krumt?

Rektangler og trekanter er enkle. Men arealet under en parabel? Arkimedes' geniale idé var å fange det krumme med det rette: fyll området med mange smale figurer du kan regne på, og se hva som skjer når de blir flere og smalere. Med denne «uttømmingsmetoden» beregnet han parabelsegmenter og sirkler med forbløffende presisjon — to tusen år før kalkulus.

På 1800-tallet gjorde den tyske matematikeren Bernhard Riemann ideen vanntett. Hans Riemannsummer av rektangler, drevet til grensen der antallet går mot uendelig, er den moderne definisjonen av det bestemte integralet. I dette kapittelet følger vi den linjen fra Syrakus til presis matematikk — og regner ut et areal helt fra grunnen, uten antideriverte.

Rektanglene rykker inn: inndeling og Riemannsummer

Strategien begynner med å dele opp. Et intervall $[a, b]$ deles i $n$ like brede delintervaller av punktene $a = x_0 < x_1 < \cdots < x_n = b$, hvert med bredde

$$\Delta x = \frac{b - a}{n}$$

For $[0, 4]$ med $n = 4$ blir $\Delta x = 1$ og delingspunktene $0, 1, 2, 3, 4$.

På hvert delintervall reiser vi et rektangel med høyde lik en funksjonsverdi $f(x_i^*)$, der $x_i^*$ er et valgt punkt i delintervallet. Summen av rektangelarealene er en Riemannsum:

$$S_n = \sum_{i=1}^{n} f(x_i^*) \cdot \Delta x$$

Velger vi venstre endepunkt, får vi venstresummen; høyre endepunkt gir høyresummen; midtpunktet gir midtpunktsummen.

La oss regne en: $f(x) = x^2$ på $[0, 2]$ med $n = 4$, høyresum. $\Delta x = 0{,}5$, og høyre endepunkter er $0{,}5$, $1$, $1{,}5$ og $2$:

$$S_4 = (0{,}25 + 1 + 2{,}25 + 4) \cdot 0{,}5 = 3{,}75$$

Den eksakte verdien er $\displaystyle \frac{8}{3} \approx 2{,}67$, så høyresummen bommer oppover. Det er ikke tilfeldig: for en voksende funksjon er høyresummen alltid en oversum og venstresummen en undersum — det sanne arealet ligger klemt mellom dem. Og her kommer det avgjørende: når $n$ vokser, krymper gapet mellom over- og undersum mot null. Rektanglene tømmer det krumme området, akkurat som Arkimedes så for seg.

Grensen tas: et areal regnet fra grunnen

Nå gjennomfører vi Arkimedes' program med moderne verktøy: vi beregner $\int_0^3 x^2\,dx$ eksakt — kun med rektangler og en grenseverdi.

Først skriver vi høyresummen generelt. Med $n$ delintervaller er $\displaystyle \Delta x = \frac{3}{n}$ og $\displaystyle x_i = \frac{3i}{n}$, så

$$S_n = \sum_{i=1}^{n} \left(\frac{3i}{n}\right)^2 \cdot \frac{3}{n} = \frac{27}{n^3} \sum_{i=1}^{n} i^2$$

Her trenger vi summeformlene — gamle kjenninger fra rekkekapitlene:

$$\sum_{i=1}^{n} i = \frac{n(n+1)}{2}, \qquad \sum_{i=1}^{n} i^2 = \frac{n(n+1)(2n+1)}{6}$$

Innsatt og forenklet:

$$S_n = \frac{27}{n^3} \cdot \frac{n(n+1)(2n+1)}{6} = \frac{27(n+1)(2n+1)}{6n^2} = 9 + \frac{13{,}5}{n} + \frac{4{,}5}{n^2}$$

Og så grensen. Når $n \to \infty$ forsvinner brøkleddene, og

$$\lim_{n \to \infty} S_n = 9$$

Arealet under parabelen fra $0$ til $3$ er nøyaktig $9$. Ingen antideriverte, ingen snarveier — bare rektangler, summeformler og en grenseverdi. Hvert ledd i formelen har mening: $9$ er arealet, og $\displaystyle \frac{13{,}5}{n}$ er omtrent overskuddet rektanglene stikker over grafen med, et overskudd som tynnes ut når rektanglene blir smale.

Definisjonen: integralet som grenseverdi

Nå kan vi reise byggverket. For en kontinuerlig funksjon $f$ på $[a, b]$ definerer vi det bestemte integralet som grenseverdien av Riemannsummene:

$$\int_a^b f(x) \, dx = \lim_{n \to \infty} \sum_{i=1}^{n} f(x_i^*) \cdot \Delta x$$

Nå avsløres også integraltegnets hemmelighet fra kapittel 2.2: $\int$ er en strukket S for summa — integralet er en uendelig forfinet sum, der $\Delta x$ er blitt til $dx$.

Definisjonen rommer mer enn areal. Er $f(x) \geq 0$ på intervallet, gir integralet arealet mellom grafen og $x$-aksen. Men er $f$ negativ noen steder, bidrar rektanglene der med negative «høyder» — integralet måler fortegnsareal, med plusstegn over aksen og minustegn under. Den nyansen får et helt kapittel snart.

En sunnhetskontroll til slutt: $\int_0^2 3\,dx$. Geometrisk er dette et rektangel med bredde $2$ og høyde $3$ — areal $6$. Via Riemannsummer: $\displaystyle S_n = \sum_{i=1}^n 3 \cdot \frac{2}{n} = \frac{6}{n} \cdot n = 6$ for alle $n$, så grensen er selvsagt $6$. Definisjonen leverer det åpenbare svaret når fasiten er kjent — og det er nettopp slike kontroller som gir oss tillit til den når fasiten ikke er det.

Men én ting skurrer: grenseverdi-regningen for $\int_0^3 x^2\,dx$ var mye jobb for å få svaret $9$ — som antideriverten $\displaystyle \frac{x^3}{3}$ gir på sekunder via $\displaystyle \frac{27}{3} - 0$. Er det en tilfeldighet? Slett ikke. Sammenhengen mellom Riemannsummer og antideriverte er selve fundamentalsetningen — neste kapittels tema.

Oppsummering: fra sandtegninger til presis definisjon

Linjen fra Arkimedes' sirkler i sanden til Riemanns rektangler er en av matematikkhistoriens lengste og fineste: det krumme temmes ved å fylles med det rette, og presisjonen kommer i grensen. Oppskriften er nå din: del $[a,b]$ i $n$ biter med bredde $\displaystyle \Delta x = \frac{b-a}{n}$, reis rektangler med høyder $f(x_i^*)$, og summer til Riemannsummen $S_n = \sum f(x_i^*)\,\Delta x$. For voksende funksjoner klemmer venstresum (undersum) og høyresum (oversum) det sanne arealet mellom seg, og når $n \to \infty$ møtes de i én verdi — det bestemte integralet:

$$\int_a^b f(x)\,dx = \lim_{n \to \infty} \sum_{i=1}^{n} f(x_i^*)\,\Delta x$$

Med summeformlene $\displaystyle \sum i = \frac{n(n+1)}{2}$ og $\displaystyle \sum i^2 = \frac{n(n+1)(2n+1)}{6}$ gjennomførte vi hele programmet for hånd og fant $\int_0^3 x^2\,dx = 9$ — og lærte samtidig at integralet egentlig måler fortegnsareal, ikke bare areal. Men regningen var tung, og antideriverten ga samme svar på et øyeblikk. Den mistanken — at uendelige summer og antideriverte er to sider av samme sak — er blant de største innsiktene i matematikkens historie. Den har til og med et navn som skinner: analysens fundamentalsetning.