Teorema fundamental del cálculu

El **teorema fundamental del cálculu** consiste (intuitivamente) na afirmación de que la derivación y integración d'una función son operaciones inverses. Esto significa que toa función acutada y integrable (siendo continua o discontinua nun númberu finito de puntos) verifica que la derivada de la so integral ye igual a ella mesma. Esti teorema ye central na caña de les matemátiques denomada analís matemáticu o cálculu.

El teorema foi fundamental porque hasta entós el cálculu averáu d'árees integrales- nel que se venía trabayando dende Arquímedes, yera una caña de les matemátiques que se siguía por separáu del cálculu diferencial que se venía desenvolviendo por Isaac Newton, Isaac Barrow y Gottfried Leibniz nel sieglu XVIII, y dio llugar a conceutos como'l de les derivaes. Les integrales yeren investigaes como formes d'estudiar árees y volume, hasta que nesi puntu de la hestoria dambes cañes converxeron, al demostrase que l'estudiu del "área so una función" taba íntimamente venceyáu al cálculu diferencial, resultando la integración, la operación inversa a la derivación.

Una consecuencia direuta d'esti teorema ye la regla de Barrow, denomada n'ocasiones **segundu teorema fundamental del cálculu**, y que dexa calcular la integral d'una función utilizando la integral indefinida de la función al ser integrada.

## Historia

El teorema fundamental del cálculu referir a la diferenciación ya integración, demostrando qu'estos dos operaciones son esencialmente inverses la una de la otra. Antes del descubrimientu d'esti teorema, nun se reconoció qu'estos dos operaciones taben rellacionaes. Los antiguos matemáticos griegos sabíen cómo calcular l'área al traviés de los infinitesimales, una operación qu'agora llamaríamos integración. Los oríxenes de la diferenciación son tamién anteriores al teorema fundamental del cálculu en cientos d'años; por casu, nel sieglu XIV les nociones de *continuidá* de funciones y de *movimientu* yeren estudiaes polos calculadores de Oxford y otros estudiosos. La relevancia histórica del teorema fundamental del cálculu nun ye la capacidá de calcular estes operaciones, sinón la constatación de qu'estos dos operaciones distintes n'apariencia (cálculu d'árees xeométriques y cálculu de velocidaes) taben finalmente n'estrecha rellación.

La primer declaración publicada y prueba d'una versión acutada del teorema fundamental foi fecha por James Gregory (1638–1675). Isaac Barrow (1630–1677) demostró una versión más xeneralizada del teorema, ente que l'estudiante de Barrow, Isaac Newton (1642–1727), completó'l desenvolvimientu de la teoría matemática concernida. Gottfried Leibniz (1646–1716) sistematizó la conocencia nun cálculu de les cantidaes infinitesimales ya introdució la notación utilizada na actualidá.

## Intuición xeométrica

Supóngase que se tien una función continua *y* = f(*x*) y que la so representación gráfica ye una curva. Entós, pa cada valor de *x* tien sentíu de manera intuitiva pensar qu'esiste una función *A*(*x*) que representa l'área so la curva ente 0 y *x* entá ensin conocer la so espresión.

Supóngase agora que quier calculase l'área so la curva ente *x* y *x*+*h*. Podría faese topando l'área ente 0 y *x*+*h* y depués restando l'área ente 0 y *x*. En resume, l'área sería *A*(*x*+*h*) − *A*(*x*).

Otra manera d'envalorar esta mesma área ye multiplicar *h* por f(*x*) pa topar l'área d'un rectángulu que coincide aproximao cola "loncha". Nótese que l'aproximamientu al área buscada ye más precisa cuanto más pequeñu sía'l valor de *h*.

Poro, puede dicise que *A*(*x*+*h*) − *A*(*x*) ye aproximao igual a f(*x*) · *h*, y que la precisión d'esti aproximamientu ameyora al menguar el valor de *h*. N'otres pallabres, ƒ(*x*)·*h* ≈ *A*(*x*+*h*) − *A*(*x*), convirtiéndose esti aproximamientu n'igualdá cuando *h* tiende a 0 como llende.

Estremando los dos llaos de la ecuación por *h* llógrase 

Cuando *h* tiende a 0, reparar que'l miembru derechu de la ecuación ye cenciellamente la derivada *A*’(*x*) de la función *A*(*x*) y que'l miembru esquierdu quedar en ƒ(*x*) al yá nun tar *h* presente.

Amuésase entós de manera informal que ƒ(*x*) = *A*’(*x*), esto ye, que la derivada de la función d'área *A*(*x*) ye en realidá la función ƒ(*x*). Dichu d'otra forma, la función d'área *A*(*x*) ye la antiderivada de la función orixinal.

Lo que s'amosó ye que, intuitivamente, calcular la derivada d'una función y "topar l'área" so la so curva son operaciones "inverses", esto ye, l'oxetivu del teorema fundamental del cálculu integral.

## Primer teorema fundamental del cálculu

Usando la Regla de la cadena llogramos de resultes direuta del primer teorema fundamental del cálculu infinitesimal:

Siendo *f*(*t*) una función integrable sobre l'intervalu [*a*(*x*),*b*(*x*)] con *a*(*x*) y *b*(*x*) derivables.
 
 }.

Sía h>0. Entós F(c+h)-F(c)={\int_c^{c+h} f(t)dt}.

Defínese m_h y M_h como:

Aplicando'l 'lema' reparar que:

Poro,

Sía h . Sean

Aplicando'l 'lema' reparar que:

Como:

entós, 

Yá que h , tiense que:

Y como **<math>f</math>** ye continua en **c** tiense que

y esto lleva a que

 } = f(c).}}
}}
### Exemplos

:F(x) = \int_{0}^{x} t^2 dt \quad\Rightarrow\quad F'(x) = x^2 
:H(x) = \int_{0}^{y^{3x}} \sin(t) dt \quad\rightarrow\quad H'(x) = \sin(y^{3x}) y^{3x} \cdot3 
:G(x) = \int_{0}^{x^2} \arcsin(t) dt\quad \rightarrow\quad G'(x) = \arcsin(x^2) \cdot 2x 
:J(x) = \int_{0}^{\int_{a}^{x} \frac{1}{(1+\sin^2t)}dt} \frac{1}{(1+\sin^2t)} dt\quad \rightarrow\quad J'(x)= \frac{1}{(1+\sin^2(\int_{a}^{x} \frac{1}{(1+\sin^2t)}dt))} \,\cdot\, \frac{1}{(1+\sin^2x)} 
 

## Segundu teorema fundamental del cálculu

El **segundu teorema fundamental del cálculu integral** (o **regla de [[Isaac Newton|Newton]]-[[Leibniz]]**, o tamién **regla de Barrow**, n'honor al matemáticu inglés Isaac Barrow, profesor d'Isaac Newton) ye una propiedá de les funciones continues que dexa calcular fácilmente'l valor de la integral definida a partir de cualesquier de les primitives de la función.

### Enunciáu

### Exemplos

:\int_0^{\pi} \cos(x)dx = \sin(\pi)-\sin(0)=0

:\int_1^y \frac{dx}{x} = \ln(y)-\ln(1)=1

Como puede integrase darréu.

## Ver tamién
* Métodos d'integración
* Regla de Leibniz
* Integral de Riemann

## Referencies

* APOSTOL, Cálculus
* SPIVAK, Cálculu Infinitesimal

## Enllaces esternos
* El descubrimientu del cálculu integral  – Universidá Autónoma de Madrid
* Interpretación gráfica del Teorema Fundamental del Cálculu – Manuel Sada Allo
* 
* Demostración Euclidiana del TFC – James Gregory, en Convergence (n'inglés)
* Isaac Barrow's proof of the Fundamental Theorem of Calculus (n'inglés)