Analyysin peruslause

Analyysin peruslauseet ovat lauseita, joiden mukaan kaksi analyysin perusmääritelmää, derivointi ja integrointi, ovat toistensa käänteistoimituksia. Analyysin peruslauseita on väitteen kumpaakin puoliskoa varten yksi, ja niiden nimet ovat analyysin ensimmäinen peruslause ja analyysin toinen peruslause. Siitä, kumpi on kumpi, ei liene täysin yksimielistä käytäntöä.

Jos ${\displaystyle f}$ on välillä ${\displaystyle }$ jatkuva funktio ja ${\displaystyle F}$ jokin sen integraalifunktio, niin F on derivoituva ja pätee:

${\displaystyle \displaystyle F'(x)=f(x)}$

Lause voidaan kirjoittaa myös muodossa

${\displaystyle {\frac {d}{dx}}\int _{c}^{x}f(t)\,dt=f(x)}$, missä ${\displaystyle c\in }$.^[1]

Olkoot ${\displaystyle F_{1}}$ ja ${\displaystyle F_{2}}$ funktion ${\displaystyle f}$ primitiivejä (integraalifunktioita). Tällöin löytyy vakio ${\displaystyle c}$ siten, että

${\displaystyle F_{1}(x)=F_{2}(x)+c}$ kaikille x.

Merkitään kuvasta funktion ${\displaystyle f}$ alueen, eli funktion alle jäävän pinta-alan, kokoa funktiolla ${\displaystyle A}$ (kuvassa punainen alue). Olkoon sinisen alueen leveys ${\displaystyle h}$. Kun h on pieni saadaan arvio siniselle alueelle:

${\displaystyle A\approx h\cdot f(x)}$

Toisaalta sininen alue on ${\displaystyle A(x+h)-A(x)}$. Yhdistämällä saadaan:

${\displaystyle {\begin{aligned}h\cdot f(x)&\approx A(x+h)-A(x)\\f(x)&\approx {\frac {A(x+h)-A(x)}{h}}\end{aligned}}}$

Siis ${\displaystyle f}$ on ${\displaystyle A}$:n derivaatta, kun väli ${\displaystyle h}$ lähestyy nollaa.

${\displaystyle {\begin{aligned}f(x)&={\frac {d}{dx}}A=\lim _{h\to 0}{\frac {A(x+h)-A(x)}{h}}\end{aligned}}}$

Tästä seuraa, että derivoinnin käänteisoperaatiolla funktiosta ${\displaystyle f}$ saadaan funktio ${\displaystyle A}$ eli funktion alle jäävä pinta-ala.

• Rikkonen, Harri: Matematiikan pitkä peruskurssi II: Reaalimuuttujan funktioiden differentiaalilasku. Helsinki: Otakustantamo, 1969. ISBN 951-671-022-0
• Pitkäranta, Juhani: Calculus Fennicus – TKK:n 1. lukuvuoden laaja matematiikka (2000–2013) (pdf) Helsinki: Avoimet oppimateriaalit ry.. ISBN 978-952-7010-12-9 ISBN 978-952-7010-13-6 (pdf)

• MathWorld. Fundamental Theorems of Calculus