Theorema Fundamentale Calculi
Calculus saepe intellegitur ut "lingua" ad mutationem et accumulationem explicandam. Ex una parte, derivativas investigamus ad rationem mutationis functionis metiendam. Ex altera parte, integrales investigamus ad accumulationem calculandam, ut aream sub curva vel "summam continuam" quantitatis. Theorema Fundamentale Calculi (FTC) est pons magnus has duas ideas coniungens: apparet differentiationem et integrationem non esse duo argumenta separata, sed potius duas operationes reciprocas. Hoc theorema est quod calculum tam potentem facit in scientia, arte ingeniaria, oeconomia, et multis aliis campis.
Summarium: mutationes et accumulatio
Finge currum in via moveri. Velocitas currus est proportio mutationis positionis per tempus, dum spatium percursum est accumulatio "velocitatis" per tempus. Mathematice, si ∫(t)∫ est velocitas, tum spatium percursum a tempore ∫(a)∫ ad ∫(b)∫ exprimi potest per integrale
\[
`int_a^bv(t)`, dt.
\]
Interea, si s(t) positio est, tum velocitas derivativum est:
\[
v(t) = s'(t).
\]
Theorema Fundamentale Calculi affirmat has duas operationes arcte inter se conexas esse: integrale derivativi mutationem nettam in functione reddit, et derivativum integralis definiti functionem originalem reddit. Haec relatio calculum areae, distantiae, massae, energiae, et multarum aliarum rerum multo magis systematicum reddit.
Praerequisitum celeriter: quid sunt integralia definita et derivativa?
Antequam ad enuntiationem theorematis perveniamus, duo notiones magni momenti sunt:
1. Derivativa ∫(x)∫: inclinationem graphi vel rationem mutationis ∫(x)∫ metitur cum ∫(x)∫ leviter mutatur. Intuitive, si ∫(x)∫ positionem describit, tum ∫(x)∫ velocitatem describit.
2. Integrale definitum (\int_a^bf(x)\,dx\): accumulationem \(f\) in intervallo \([a,b]\) metitur. Geometrice, saepe definitur ut area signata (area positiva supra axem \(x\), area negativa infra axem \(x\)) sub curva \(y=f(x)\) ab \(x=a\) ad \(x=b\).
Integrale definitum formaliter definitur limite summae Riemanni, id est, area approximando per rectangula parva, deinde limitem sumen cum latitudo rectangulorum ad nihilum tendit.
Enuntiatio Theorematis Fundamentalis Calculi (Pars II)
Pars 1 TFK dicit: si \(f\) continua est in \([a,b]\), tum novam functionem definimus.
\[
F(x) = ∫_a^xf(t) ∫_dt
\]
tum \(F\) ex \((a,b)\) derivari potest et
\[
F'(x) = f(x).
\]
Significatio magni momenti est: integrale "constructum" ex \(f\) functionem antiderivativam \(f\) producit. Aliis verbis, processus accumulationis usque ad punctum \(x\), cum differentiatum est, ad rationem accumulationis in illo puncto redibit.
Intuitio Pars Prima
Nota parvam mutationem in \(F(x)\) cum \(x\) parva quantitate \(Δx\) augetur:
\[
F(x + Δx) - F(x) = ∫a^{x + Δx} f(t), dt – ∫a^xf(t), dt = ∫x^{x + Δx} f(t), dt.
\]
Si Δx parvum est, hoc integrale fere aequale est f(x)Δx. Ergo,
\[
\frac{F(x + Δx) - F(x)}{Δx} \circiter f(x).
\]
Cum Δx ad 0 est, approximatio exacta fit, ita ut F'(x) = f(x)).
Exemplum simplex
Ponamus \(f(t) = 2t\). Definiamus
\[
F(x) = ∫_0^x 2t ∫_dt.
\]
Scimus (∫²t, dt = t²), ergo F(x) = x². Derivatum est F'(x) = 2x), quod ad f(x) redit. Hoc Partem 1 concrete illustrat.
Enuntiatio Theorematis Fundamentalis Calculi (Pars II)
Pars 2 TFK dicit: si (f) continua est in ([a,b]) et (F) est antiderivativa (f) (i.e. (F'(x) = f(x)), tum...
\[
\int_a^bf(x)\,dx = F(b) - F(a).
\]
Haec est forma theorematis frequentissima in computatione integrali. Affirmat nos, ad integrale definitum computandum, non iam debere limitem summae Riemanni directe applicare; simpliciter antiderivativam \(F\) invenire, deinde eam ad limites superiorem et inferiorem aestimare.
Exemplum calculi
Numerus:
\[
\int_1^3 (x^2 + 1)\,dx.
\]
Antiderivata est
\[
F(x) = \frac{x^3}{3} + x. (vel F(x) = \frac{x^3}{3} + x)
\]
Ita:
\[
\int_1^3 (x^2+1)\,dx = \left(\frac{3^3}{3}+3\right)-\left(\frac{1^3}{3}+1\right)
= \left(9+3\right)-\left(\frac{1}{3}+1\right)
=12-\frac{4}{3}=\frac{32}{3}.
\]
Sine TFK, integrale definire et limitem computare deberemus—multo diutius.
Cur "fundamentale" appellatur?
Hoc theorema fundamentale est quia:
1. Duas notiones maiores calculi coniunge: derivativam (mutationem) et integralem (accumulationem).
2. Methodum practicam praebet: integralia definita per antiderivata calculari possunt.
3. Subiacet multis applicationibus: physicae (operi et energiae), statisticae (distributioni et opportunitati), oeconomiae (sumptu totali contra sumptum marginalem), biologiae (incremento populationis), etc.
Conceptuliter, calculus instrumentum cohaerens fit: facile inter exempla "rate" et "totalia" commutare possumus.
Applicationes frequenter apparentes
1. Distantia a celeritate
Si v(t) est velocitas, tum dislocatio netta est:
\[
s(b) - s(a) = ∫_a^bv(t)\,dt.
\]
Hoc directe ex parte secunda TFK est si v(t) = s'(t)). Si v(t) interdum negativum est, integrale dat dislocationem nettam; pro distantia totali plerumque computatur ut a^b |v(t)|dt).
2. Accumulatio mutationis celeritatis
Si cisterna impletur ratione \(r(t)\) litrorum/minuto, tum volumen quod intra intervallum \([a,b]\) est \(\int_a^br(t)\, dt\). Si et influxus et effluxus adsunt, tum mutatio voluminis netta est integrale (influxus - effluxus).
3. Theorema valoris medii pro integralibus
Ex TFK, variae consequentiae oriuntur, ut valor medius functionis:
\[
f_{\text{med}} = \frac{1}{ba} \int_a^bf(x)\, dx. (vel: f_{\frac{1}{ba} \int_a^bf(x)\, dx}
\]
Hoc magni momenti est in analysi et modellatione datorum.
Notae magni momenti: condiciones et stipulationes
Functio TFK plerumque continuitatem functionis \(f\) in intervallo in questione requirit ut eius expressio lenis sit. In studiis ulterioribus, hoc theorema ad functiones extendi potest quae non necessario continuae sunt (e.g., functiones quae sub certis condicionibus integrabiles sunt Riemannianae vel Lebesgue), sed pro calculo elementari, suppositio continuitatis est communis.
Praeterea, integralia definita areas signatas, non semper "areas geometricas puras," producunt. Si graphum infra axem x est, integrale negativum est. Pro areis geometricis, valores absoluti vel separationes intervallorum plerumque adhibentur.
Extrema
Theorema Fundamentale Calculi est nucleus derivativum et integrale uniens. Pars 1 demonstravit accumulationem functionis continuae, cum differentiatur, ad functionem originalem redire. Pars 2 modum celerem ad integralia definita computanda demonstravit: simpliciter invenire antiderivativam et differentiam ad limites aestimare. Hoc theoremate, calculus fit non solum collectio technicarum mathematicarum, sed elegans structura ad mundum intellegendum: quomodo res mutantur per tempus, et quomodo hae mutationes ad summam accumulantur.
Si postea methodos integrationis, aequationes differentiales, vel exempla physica studebis, TFK post scaenam operantem videre perges — quasi "pontem" qui calculum instrumentum tam potens facit.