Teorema fundamental del cálculo

Ir a la navegación

Ir a la búsqueda

El teorema fundamental del cálculo consiste (intuitivamente) en la afirmación de que la

derivación e integración de una función son operaciones inversas.1 Esto significa que toda
función acotada e integrable (siendo continua o discontinua en un número finito de puntos)
verifica que la derivada de su integral es igual a ella misma. Este teorema es central en la rama
de las matemáticas denominada análisis matemático o cálculo infinitesimal.

El teorema fue fundamental porque hasta entonces el cálculo aproximado de áreas -integrales-
en el que se venía trabajando desde Arquímedes, era una rama de la matemática que se seguía
por separado del cálculo diferencial que se venía desarrollando por Isaac Newton, Isaac Barrow
y Gottfried Leibniz en el siglo XVIII, y dio lugar a conceptos como el de las derivadas. Las
integrales eran investigadas como formas de estudiar áreas y volúmenes, hasta que en ese
punto de la historia ambas ramas convergieron, al demostrarse que el estudio del «área bajo
una función» estaba íntimamente vinculado al cálculo diferencial, resultando la integración la
operación inversa a la derivación.

Una consecuencia directa de este teorema es la regla de Barrow,2 denominada en ocasiones

segundo teorema fundamental del cálculo, y que permite calcular la integral de una función
utilizando la integral indefinida de la función al ser integrada.

Índice

1 Historia

2 Intuición geométrica

3 Primer teorema fundamental del cálculo

3.1 Teorema

3.2 Lema

3.2.1 Demostración

3.3 Demostración 1

3.4 Demostración 2

3.5 Consecuencias

3.5.1 Corolario

3.5.2 Demostración
 3.6 Ejemplos

3.6.1 Ejemplo 1

3.6.2 Ejemplo 2

3.6.3 Ejemplo 3

3.6.4 Ejemplo 4

4 Segundo teorema fundamental del cálculo

4.1 Teorema

4.2 Demostración

4.3 Ejemplos

5 Véase también

6 Referencias

7 Enlaces externos

Historia

El teorema fundamental del cálculo se refiere a la diferenciación e integración, demostrando

que estas dos operaciones son esencialmente inversas la una de la otra. Antes del
descubrimiento de este teorema, no se reconoció que estas dos operaciones estaban
relacionadas. Los antiguos matemáticos griegos sabían cómo calcular el área a través de los
infinitesimales, una operación que ahora llamaríamos integración. Los orígenes de la
diferenciación son también anteriores al teorema fundamental del cálculo en cientos de años;
por ejemplo, en el siglo XIV las nociones de continuidad de funciones y de movimiento eran
estudiadas por los calculadores de Oxford y otros estudiosos. La relevancia histórica del
teorema fundamental del cálculo no es la capacidad de calcular estas operaciones, sino la
constatación de que estas dos operaciones distintas en apariencia (cálculo de áreas
geométricas y cálculo de velocidades) estaban finalmente en estrecha relación.

La primera declaración publicada y prueba de una versión restringida del teorema

fundamental fue hecha por James Gregory (1638–1675).3 Isaac Barrow (1630–1677) demostró
una versión más generalizada del teorema,4 mientras que el estudiante de Barrow, Isaac
Newton (1642–1727), completó el desarrollo de la teoría matemática concernida. Gottfried
Leibniz (1646–1716) sistematizó el conocimiento en un cálculo de las cantidades
infinitesimales e introdujo la notación utilizada en la actualidad.

Intuición geométrica

El área rayada en rojo puede ser calculada como h {\displaystyle h} h veces f ( x ) {\displaystyle
f(x)} f(x), o, si se conociera la función A ( x ) {\displaystyle A(x)} {\displaystyle A(x)}, como A ( x +
h ) − A ( x ) {\displaystyle A(x+h)-A(x)} {\displaystyle A(x+h)-A(x)}. Estos valores son
aproximadamente iguales, especialmente para valores pequeños de h {\displaystyle h} h.

Supóngase que se tiene una función continua y = f ( x ) {\displaystyle y=f(x)} {\displaystyle

y=f(x)} cuya representación gráfica es una curva. Entonces, para cada valor de x {\displaystyle
x} x tiene sentido de manera intuitiva pensar que existe una función A ( x ) {\displaystyle A(x)}
{\displaystyle A(x)} que representa el área bajo la curva entre 0 {\displaystyle 0} {\displaystyle
0} y x {\displaystyle x} x aún sin conocer su expresión.

Supóngase ahora que se quiere calcular el área bajo la curva entre x {\displaystyle x} x y x + h
{\displaystyle x+h} {\displaystyle x+h}. Se podría hacer hallando el área entre 0 {\displaystyle 0}
{\displaystyle 0} y x + h {\displaystyle x+h} {\displaystyle x+h} y luego restando el área entre 0
{\displaystyle 0} {\displaystyle 0} y x {\displaystyle x} x. En resumen, el área sería A ( x + h ) − A (
x ) {\displaystyle A(x+h)-A(x)} {\displaystyle A(x+h)-A(x)}.

Otra manera de estimar esta misma área es multiplicar h {\displaystyle h} h por f ( x )

{\displaystyle f(x)} f(x) para hallar el área de un rectángulo que coincide aproximadamente con
la «loncha». Nótese que la aproximación al área buscada es más precisa cuanto más pequeño
sea el valor de h {\displaystyle h} h.

Por lo tanto, se puede decir que A ( x + h ) − A ( x ) {\displaystyle A(x+h)-A(x)} {\displaystyle

A(x+h)-A(x)} es aproximadamente igual a f ( x ) ⋅ h {\displaystyle f(x)\cdot h} {\displaystyle
f(x)\cdot h}, y que la precisión de esta aproximación mejora al disminuir el valor de h
{\displaystyle h} h. En otras palabras, f ( x ) ⋅ h ≈ A ( x + h ) − A ( x ) {\displaystyle f(x)\cdot
h\approx A(x+h)-A(x)} {\displaystyle f(x)\cdot h\approx A(x+h)-A(x)}, convirtiéndose esta
aproximación en igualdad cuando h {\displaystyle h} h tiende a 0 como límite.

Dividiendo los dos lados de la ecuación por h {\displaystyle h} h se obtiene

f ( x ) ≈ A ( x + h ) − A ( x ) h {\displaystyle f(x)\approx {\frac {A(x+h)-A(x)}{h}}} {\displaystyle

f(x)\approx {\frac {A(x+h)-A(x)}{h}}}

Cuando h {\displaystyle h} h tiende a 0 {\displaystyle 0} {\displaystyle 0}, se observa que el

miembro derecho de la ecuación es sencillamente la derivada A ′ ( x ) {\displaystyle A'(x)}
{\displaystyle A'(x)} de la función A ( x ) {\displaystyle A(x)} {\displaystyle A(x)} y que el
miembro izquierdo se queda en f ( x ) {\displaystyle f(x)} f(x) al ya no estar h {\displaystyle h} h
presente.
Se muestra entonces de manera informal que f ( x ) = A ′ ( x ) {\displaystyle f(x)=A'(x)}
{\displaystyle f(x)=A'(x)}, es decir, que la derivada de la función de área A ( x ) {\displaystyle
A(x)} {\displaystyle A(x)} es en realidad la función f ( x ) {\displaystyle f(x)} f(x). Dicho de otra
forma, la función de área A ( x ) {\displaystyle A(x)} {\displaystyle A(x)} es la antiderivada de la
función original.

Animación del teorema fundamental del cálculo

Lo que se ha mostrado es que, intuitivamente, calcular la derivada de una función y «hallar el

área» bajo su curva son operaciones «inversas», es decir, el objetivo del teorema fundamental
del cálculo integral.

Primer teorema fundamental del cálculo

Teorema

Sea f {\displaystyle f} f una función integrable en el intervalo [ a , b ] , {\displaystyle [a,b],}

{\displaystyle [a,b],} definimos F {\displaystyle F} F en [ a , b ] {\displaystyle [a,b]} [a,b] como

F ( x ) = ∫ a x f ( t ) d t {\displaystyle F(x)=\int _{a}^{x}f(t)dt} {\displaystyle F(x)=\int

_{a}^{x}f(t)dt}

si f {\displaystyle f} f es continua en c ∈ ( a , b ) {\displaystyle c\in (a,b)} c \in (a,b), entonces F

{\displaystyle F} F es diferenciable en c {\displaystyle c} c y

F ′ ( c ) = f ( c ) {\displaystyle F'(c)=f(c)} {\displaystyle F'(c)=f(c)}

Lema

Sea f {\displaystyle f} f integrable sobre [ a , b ] {\displaystyle [a,b]} [a,b] y m ≤ f ( x ) ≤ M ∀ x ∈

[ a , b ] {\displaystyle m\leq f(x)\leq M\quad \forall \;x\in [a,b]} {\displaystyle m\leq f(x)\leq
M\quad \forall \;x\in [a,b]} entonces

m ( b − a ) ≤ ∫ a b f ( t ) d t ≤ M ( b − a ) {\displaystyle m(b-a)\leq {\int _{a}^{b}f(t)dt}\leq M(b-

a)} m(b-a) \leq {\int_a^b f(t)dt} \leq M(b-a)

Demostración
Está claro que

m ( b − a ) ≤ L ( f , P ) y U ( f , P ) ≤ M ( b − a ) {\displaystyle m(b-a)\leq L(f,P)\ {\hbox{y}}\

U(f,P)\leq M(b-a)} m(b-a)\leq L(f,P) \ \hbox{y}\ U(f,P) \leq M(b-a)

para toda partición P {\displaystyle P} P. Puesto que

∫ a b f = sup L ( f , P ) = inf U ( f , P ) {\displaystyle \int _{a}^{b}f=\sup {L(f,P)}=\inf {U(f,P)}}

\int_{a}^{b}f = \sup {L(f,P)}=\inf{U(f,P)}

la desigualdad se sigue inmediatamente.

Demostración 1

Por definición se tiene que

F ′ ( c ) = lim h → 0 F ( c + h ) − F ( c ) h {\displaystyle F'(c)={\lim _{h\rightarrow 0}{\frac

{F(c+h)-F(c)}{h}}}} F'(c)={ \lim_{h \rightarrow 0} {\frac{F(c+h)-F(c)}{h}} }

Sea h > 0 {\displaystyle h>0} {\displaystyle h>0} entonces

F ( c + h ) − F ( c ) = ∫ c c + h f ( t ) d t {\displaystyle F(c+h)-F(c)={\int _{c}^{c+h}f(t)dt}} F(c+h)-

F(c)={\int_c^{c+h} f(t)dt}

Se definen m h {\displaystyle m_{h}} m_h y M h {\displaystyle M_{h}} M_h como:

m h = inf { f ( x ) | c ≤ x ≤ c + h } M h = sup { f ( x ) | c ≤ x ≤ c + h } {\displaystyle

{\begin{aligned}m_{h}&=\inf\{f(x)|c\leq x\leq c+h\}\\M_{h}&=\sup\{f(x)|c\leq x\leq
c+h\}\end{aligned}}} {\displaystyle {\begin{aligned}m_{h}&=\inf\{f(x)|c\leq x\leq
c+h\}\\M_{h}&=\sup\{f(x)|c\leq x\leq c+h\}\end{aligned}}}

Aplicando el lema se observa que:

m h ⋅ h ≤ ∫ c c + h f ( t ) d t ≤ M h ⋅ h {\displaystyle m_{h}\cdot h\leq {\int _{c}^{c+h}f(t)dt}\leq

M_{h}\cdot h} m_h \cdot h \leq {\int_c^{c+h} f(t)dt} \leq M_h \cdot h
Por lo tanto,

m h ≤ F ( c + h ) − F ( c ) h ≤ M h {\displaystyle m_{h}\leq {\frac {F(c+h)-F(c)}{h}}\leq M_{h}}

m_h \leq \frac{F(c+h)-F(c)}{h} \leq M_h

Sean h < 0 {\displaystyle h<0} h < 0 y

m h ∗ = inf { f ( x ) | c + h ≤ x ≤ c } M h ∗ = sup { f ( x ) | c + h ≤ x ≤ c } {\displaystyle

{\begin{aligned}{m}_{h}^{*}&=\inf\{f(x)|c+h\leq x\leq c\}\\{M}_{h}^{*}&=\sup\{f(x)|c+h\leq
x\leq c\}\end{aligned}}} {\displaystyle {\begin{aligned}{m}_{h}^{*}&=\inf\{f(x)|c+h\leq x\leq
c\}\\{M}_{h}^{*}&=\sup\{f(x)|c+h\leq x\leq c\}\end{aligned}}}

Aplicando el lema se observa que

m h ∗ ⋅ ( − h ) ≤ ∫ c + h c f ( t ) d t ≤ M h ∗ ⋅ ( − h ) {\displaystyle {m}_{h}^{*}\cdot (-h)\leq {\int

_{c+h}^{c}f(t)dt}\leq {M}_{h}^{*}\cdot (-h)} {\displaystyle {m}_{h}^{*}\cdot (-h)\leq {\int
_{c+h}^{c}f(t)dt}\leq {M}_{h}^{*}\cdot (-h)}

Como

F ( c + h ) − F ( c ) = ∫ c c + h f ( t ) d t = − ∫ c + h c f ( t ) d t {\displaystyle F(c+h)-F(c)={\int
_{c}^{c+h}f(t)dt}=-{\int _{c+h}^{c}f(t)dt}} F(c+h)-F(c)={\int_c^{c+h} f(t)dt} = -{\int_{c+h}^{c}
f(t)dt}

entonces

M h ∗ ⋅ h ≤ F ( c + h ) − F ( c ) ≤ m h ∗ ⋅ h {\displaystyle {M}_{h}^{*}\cdot h\leq F(c+h)-F(c)\leq

{m}_{h}^{*}\cdot h} {\displaystyle {M}_{h}^{*}\cdot h\leq F(c+h)-F(c)\leq {m}_{h}^{*}\cdot h}

Puesto que h < 0 {\displaystyle h<0} h < 0, se tiene que

m h ∗ ≤ F ( c + h ) − F ( c ) h ≤ M h ∗ {\displaystyle {m}_{h}^{*}\leq {\frac {F(c+h)-F(c)}{h}}\leq

{M}_{h}^{*}} {\displaystyle {m}_{h}^{*}\leq {\frac {F(c+h)-F(c)}{h}}\leq {M}_{h}^{*}}
Y como f {\displaystyle f} f es continua en c {\displaystyle c} c se tiene que

lim h → 0 m h = lim h → 0 M h = lim h → 0 m h ∗ = lim h → 0 M h ∗ = f ( c ) {\displaystyle \lim

_{h\rightarrow 0}m_{h}=\lim _{h\rightarrow 0}M_{h}=\lim _{h\rightarrow 0}{m}_{h}^{*}=\lim
_{h\rightarrow 0}{M}_{h}^{*}=f(c)} {\displaystyle \lim _{h\rightarrow 0}m_{h}=\lim
_{h\rightarrow 0}M_{h}=\lim _{h\rightarrow 0}{m}_{h}^{*}=\lim _{h\rightarrow 0}
{M}_{h}^{*}=f(c)}

y esto lleva a que

F ′ ( c ) = lim h → 0 F ( c + h ) − F ( c ) h = f ( c ) {\displaystyle F'(c)={\lim _{h\rightarrow 0}

{\frac {F(c+h)-F(c)}{h}}}=f(c)} F'(c)={ \lim_{h \rightarrow 0} {\frac{F(c+h)-F(c)}{h}} } = f(c)

Demostración 2

Otra demostración del teorema fundamental del cálculo

Consecuencias

Corolario

Si f {\displaystyle f} f es continua en [ a , b ] {\displaystyle [a,b]} [a,b] y f = g ′ {\displaystyle f=g'}

{\displaystyle f=g'} para alguna función g {\displaystyle g} g entonces

∫ a b f ( t ) d t = g ( b ) − g ( a ) {\displaystyle \int _{a}^{b}f(t)dt=g(b)-g(a)} {\displaystyle \int

_{a}^{b}f(t)dt=g(b)-g(a)}

Demostración

Sea

F ( x ) = ∫ a x f ( t ) d t {\displaystyle F(x)=\int _{a}^{x}f(t)dt} {\displaystyle F(x)=\int

_{a}^{x}f(t)dt}

entonces F ′ = f = g ′ {\displaystyle F'=f=g'} {\displaystyle F'=f=g'} en [ a , b ] {\displaystyle [a,b]}

[a,b], por lo que ∃ c ∈ R {\displaystyle \exists \;c\in \mathbb {R} } {\displaystyle \exists
\;c\in \mathbb {R} } tal que
 F = g + c {\displaystyle F=g+c} {\displaystyle F=g+c}

Nótese que

0 = F ( a ) = g ( a ) + c {\displaystyle 0=F(a)=g(a)+c} {\displaystyle 0=F(a)=g(a)+c}

de donde se sigue que c = − g ( a ) {\displaystyle c=-g(a)} {\displaystyle c=-g(a)}; así

F ( x ) = g ( x ) − g ( a ) {\displaystyle F(x)=g(x)-g(a)} {\displaystyle F(x)=g(x)-g(a)}

En particular cuando x = b {\displaystyle x=b} x=b entonces

∫ a b f ( t ) d t = F ( b ) = g ( b ) − g ( a ) {\displaystyle \int _{a}^{b}f(t)dt=F(b)=g(b)-g(a)}

{\displaystyle \int _{a}^{b}f(t)dt=F(b)=g(b)-g(a)}

En ocasiones a este corolario se le llega a denominar como el «segundo teorema fundamental

del cálculo».

Si utilizamos la regla de la cadena obtenemos como consecuencia directa del primer teorema
fundamental del cálculo

d d x ∫ a ( x ) b ( x ) f ( t ) d t = f ( b ( x ) ) ⋅ b ′ ( x ) − f ( a ( x ) ) ⋅ a ′ ( x ) {\displaystyle {\dfrac
{\mathop {} \!\mathrm {d} }{\mathop {} \!\mathrm {d} x}}{\int _{a(x)}^{b(x)}f(t)\mathop
{} \!\mathrm {d} t}=f(b(x))\cdot b^{\prime }(x)-f(a(x))\cdot a^{\prime }(x)} {\displaystyle {\dfrac
{\mathop {} \!\mathrm {d} }{\mathop {} \!\mathrm {d} x}}{\int _{a(x)}^{b(x)}f(t)\mathop
{} \!\mathrm {d} t}=f(b(x))\cdot b^{\prime }(x)-f(a(x))\cdot a^{\prime }(x)}

siendo f ( t ) {\textstyle f(t)} {\textstyle f(t)} una función continua sobre el intervalo [ a ( x ) , b
( x ) ] {\displaystyle \left[a(x),b(x)\right]} {\displaystyle \left[a(x),b(x)\right]} donde a ( x )
{\displaystyle a(x)} {\displaystyle a(x)} y b ( x ) {\displaystyle b(x)} {\displaystyle b(x)} son
funciones diferenciables.

Ejemplos

Ejemplo 1

Si
 F ( x ) = ∫ 0 x t 2 d t {\displaystyle F(x)=\int _{0}^{x}t^{2}dt} {\displaystyle F(x)=\int
_{0}^{x}t^{2}dt}

entonces

F ′ ( x ) = x 2 {\displaystyle F'(x)=x^{2}} {\displaystyle F'(x)=x^{2}}

Ejemplo 2

Si

H ( x ) = ∫ 0 e 3 x sen ⁡( t ) d t {\displaystyle H(x)=\int _{0}^{e^{3x}}\operatorname {sen}(t)dt}

{\displaystyle H(x)=\int _{0}^{e^{3x}}\operatorname {sen}(t)dt}

entonces

H ′ ( x ) = sen ⁡( e 3 x ) e 3 x ⋅ 3 = 3 e 3 x sen ⁡( e 3 x ) {\displaystyle

{\begin{aligned}H'(x)&=\operatorname {sen} \left(e^{3x}\right)e^{3x}\cdot
3\\&=3e^{3x}\operatorname {sen} \left(e^{3x}\right)\end{aligned}}} {\displaystyle
{\begin{aligned}H'(x)&=\operatorname {sen} \left(e^{3x}\right)e^{3x}\cdot
3\\&=3e^{3x}\operatorname {sen} \left(e^{3x}\right)\end{aligned}}}

Ejemplo 3

Si

G ( x ) = ∫ 0 x 2 arcsen ( t ) d t {\displaystyle G(x)=\int _{0}^{x^{2}}{\text{arcsen}}(t)dt}

{\displaystyle G(x)=\int _{0}^{x^{2}}{\text{arcsen}}(t)dt}

entonces

G ′ ( x ) = arcsen ( x 2 ) ⋅ 2 x = 2 x arcsen ( x 2 ) {\displaystyle

{\begin{aligned}G'(x)&={\text{arcsen}}(x^{2})\cdot 2x\\&=2x\;{\text{arcsen}}
(x^{2})\end{aligned}}} {\displaystyle {\begin{aligned}G'(x)&={\text{arcsen}}(x^{2})\cdot
2x\\&=2x\;{\text{arcsen}}(x^{2})\end{aligned}}}
Ejemplo 4

Si

J ( x ) = ∫ 0 ∫ a x 1 ( 1 + sen 2 ⁡t ) d t 1 ( 1 + sen 2 ⁡t ) d t {\displaystyle J(x)=\int _{0}^{\int

_{a}^{x}{\frac {1}{(1+\operatorname {sen} ^{2}t)}}dt}{\frac {1}{(1+\operatorname {sen}
^{2}t)}}dt} {\displaystyle J(x)=\int _{0}^{\int _{a}^{x}{\frac {1}{(1+\operatorname {sen}
^{2}t)}}dt}{\frac {1}{(1+\operatorname {sen} ^{2}t)}}dt}

entonces

J ′ ( x ) = 1 ( 1 + sen 2 ⁡( ∫ a x 1 ( 1 + sen 2 ⁡t ) d t ) ) ⋅ 1 ( 1 + sen 2 ⁡x ) {\displaystyle J'(x)={\frac

{1}{\left(1+\operatorname {sen} ^{2}(\int _{a}^{x}{\frac {1}{(1+\operatorname {sen}
^{2}t)}}dt)\right)}}\,\cdot \,{\frac {1}{(1+\operatorname {sen} ^{2}x)}}} {\displaystyle J'(x)={\frac
{1}{\left(1+\operatorname {sen} ^{2}(\int _{a}^{x}{\frac {1}{(1+\operatorname {sen}
^{2}t)}}dt)\right)}}\,\cdot \,{\frac {1}{(1+\operatorname {sen} ^{2}x)}}}

Segundo teorema fundamental del cálculo

El segundo teorema fundamental del cálculo integral (o regla de Newton-Leibniz, o también

regla de Barrow, en honor al matemático inglés Isaac Barrow, profesor de Isaac Newton) es
una propiedad de las funciones continuas que permite calcular fácilmente el valor de la
integral definida a partir de cualquiera de las primitivas de la función.

Teorema

Sea f {\displaystyle f} f una función integrable en el intervalo [ a , b ] {\displaystyle [a,b]} [a,b] y

f = g ′ {\displaystyle f=g'} {\displaystyle f=g'} para alguna función g {\displaystyle g} g entonces

∫ a b f ( x ) d x = g ( b ) − g ( a ) {\displaystyle \int _{a}^{b}f(x)dx=g(b)-g(a)} {\displaystyle \int

_{a}^{b}f(x)dx=g(b)-g(a)}

Demostración

Sea P = { t 0 < ⋯ < t n } {\displaystyle {\mathcal {P}}=\{t_{0}<\cdots <t_{n}\}} {\displaystyle

{\mathcal {P}}=\{t_{0}<\cdots <t_{n}\}} partición cualquiera del intervalo [ a , b ] {\displaystyle
[a,b]} [a,b], por el teorema del valor medio ∃ x i ∈ [ t i − 1 , t i ] {\displaystyle \exists \;x_{i}\in
[t_{i-1},t_{i}]} {\displaystyle \exists \;x_{i}\in [t_{i-1},t_{i}]} tal que

g ( t i ) − g ( t i − 1 ) = g ′ ( x i ) ( t i − t i − 1 ) = f ( x i ) ( t i − t i − 1 ) {\displaystyle
{\begin{aligned}g(t_{i})-g(t_{i-1})&=g'(x_{i})(t_{i}-t_{i-1})\\&=f(x_{i})(t_{i}-t_{i-1})\end{aligned}}}
{\displaystyle {\begin{aligned}g(t_{i})-g(t_{i-1})&=g'(x_{i})(t_{i}-t_{i-1})\\&=f(x_{i})(t_{i}-t_{i-
1})\end{aligned}}}

Si

m i = inf { f ( x ) : t i − 1 ≤ x ≤ t i } M i = sup { f ( x ) : t i − 1 ≤ x ≤ t i } {\displaystyle

{\begin{aligned}m_{i}&=\inf\{f(x):t_{i-1}\leq x\leq t_{i}\}\\M_{i}&=\sup\{f(x):t_{i-1}\leq x\leq
t_{i}\}\end{aligned}}} {\displaystyle {\begin{aligned}m_{i}&=\inf\{f(x):t_{i-1}\leq x\leq
t_{i}\}\\M_{i}&=\sup\{f(x):t_{i-1}\leq x\leq t_{i}\}\end{aligned}}}.

entonces

m i ( t i − t i − 1 ) ≤ f ( x i ) ( t i − t i − 1 ) ≤ M i ( t i − t i − 1 ) {\displaystyle m_{i}(t_{i}-t_{i-1})\leq
f(x_{i})(t_{i}-t_{i-1})\leq M_{i}(t_{i}-t_{i-1})} {\displaystyle m_{i}(t_{i}-t_{i-1})\leq f(x_{i})(t_{i}-
t_{i-1})\leq M_{i}(t_{i}-t_{i-1})}

es decir

m i ( t i − t i − 1 ) ≤ g ( t i ) − g ( t i − 1 ) ≤ M i ( t i − t i − 1 ) {\displaystyle m_{i}(t_{i}-t_{i-1})\leq
g(t_{i})-g(t_{i-1})\leq M_{i}(t_{i}-t_{i-1})} {\displaystyle m_{i}(t_{i}-t_{i-1})\leq g(t_{i})-g(t_{i-
1})\leq M_{i}(t_{i}-t_{i-1})}

Sumando estas ecuaciones para i = 1 , 2 , … , n {\displaystyle i=1,2,\dots ,n} {\displaystyle

i=1,2,\dots ,n} se obtiene

∑ i = 1 n m i ( t i − t i − 1 ) ≤ g ( b ) − g ( a ) ≤ ∑ i = 1 n M i ( t i − t i − 1 ) {\displaystyle \sum
_{i=1}^{n}m_{i}(t_{i}-t_{i-1})\leq g(b)-g(a)\leq \sum _{i=1}^{n}M_{i}(t_{i}-t_{i-1})}
{\displaystyle \sum _{i=1}^{n}m_{i}(t_{i}-t_{i-1})\leq g(b)-g(a)\leq \sum _{i=1}^{n}M_{i}(t_{i}-
t_{i-1})}

de manera que
 L ( f , P ) ≤ g ( b ) − g ( a ) ≤ U ( f , P ) {\displaystyle {\mathcal {L}}(f,{\mathcal {P}})\leq g(b)-
g(a)\leq {\mathcal {U}}(f,{\mathcal {P}})} {\displaystyle {\mathcal {L}}(f,{\mathcal {P}})\leq g(b)-
g(a)\leq {\mathcal {U}}(f,{\mathcal {P}})}

para toda partición de P {\displaystyle {\mathcal {P}}} \mathcal{P}, por lo tanto

∫ a b f ( t ) d t = g ( b ) − g ( a ) {\displaystyle \int _{a}^{b}{f(t)}\,dt=g(b)-g(a)} {\displaystyle \int

_{a}^{b}{f(t)}\,dt=g(b)-g(a)}

Ejemplos

Considérese la integral

∫ 0 π cos ⁡( x ) d x {\displaystyle \int _{0}^{\pi }\cos(x)dx} {\displaystyle \int

_{0}^{\pi }\cos(x)dx}

Se tiene que F ( x ) = sen ⁡( x ) {\displaystyle F(x)=\operatorname {sen}(x)} {\displaystyle

F(x)=\operatorname {sen}(x)} pues F ′ ( x ) = f ( x ) = cos ⁡( x ) {\displaystyle F'(x)=f(x)=\cos(x)}
{\displaystyle F'(x)=f(x)=\cos(x)} por lo que

∫ 0 π cos ⁡( x ) d x = sen ⁡( x ) | 0 π = sen ⁡( π ) − sen ⁡( 0 ) = 0 {\displaystyle {\begin{aligned}\int

_{0}^{\pi }\cos(x)dx&=\operatorname {sen}(x){\bigg |}_{0}^{\pi }\\&=\operatorname {sen}
(\pi )-\operatorname {sen}(0)\\&=0\end{aligned}}} {\displaystyle {\begin{aligned}\int
_{0}^{\pi }\cos(x)dx&=\operatorname {sen}(x){\bigg |}_{0}^{\pi }\\&=\operatorname {sen}
(\pi )-\operatorname {sen}(0)\\&=0\end{aligned}}}

Considérese la integral

∫ 1 e d x x {\displaystyle \int _{1}^{e}{\frac {dx}{x}}} {\displaystyle \int _{1}^{e}{\frac {dx}{x}}}

Se tiene que F ( x ) = ln ⁡( x ) {\displaystyle F(x)=\ln(x)} {\displaystyle F(x)=\ln(x)} pues F ′ ( x ) = f (

x ) = 1 / x {\displaystyle F'(x)=f(x)=1/x} {\displaystyle F'(x)=f(x)=1/x} por lo que
 ∫ 1 e d x x = ln ⁡( x ) | 1 e = ln ⁡( e ) − ln ⁡( 1 ) = 1 {\displaystyle {\begin{aligned}\int _{1}^{e}
{\frac {dx}{x}}&=\ln(x){\bigg |}_{1}^{e}\\&=\ln(e)-\ln(1)\\&=1\end{aligned}}} {\displaystyle
{\begin{aligned}\int _{1}^{e}{\frac {dx}{x}}&=\ln(x){\bigg
|}_{1}^{e}\\&=\ln(e)-\ln(1)\\&=1\end{aligned}}}

Como se puede integrar inmediatamente.

Véase también

Métodos de integración

Regla de Leibniz

Integral de Riemann

Referencias

«El Teorema Fundamental del Cálculo (1)». Matemáticas Visuales. Consultado el 15 de marzo
de 2016.

«La Regla de Barrow». Secctor Matemática. Archivado desde el original el 20 de agosto de

2016. Consultado el 15 de marzo de 2016.

See, e.g., Marlow Anderson, Victor J. Katz, Robin J. Wilson, Sherlock Holmes in Babylon and
Other Tales of Mathematical History, Mathematical Association of America, 2004, p. 114.

Véase en:[1]

APOSTOL, Cálculus

SPIVAK, Cálculo Infinitesimal

Enlaces externos

El descubrimiento del cálculo integral – Universidad Autónoma de Madrid

Interpretación gráfica del Teorema Fundamental del Cálculo – Manuel Sada Allo

Weisstein, Eric W. «Teorema fundamental del cálculo». En Weisstein, Eric W, ed. MathWorld
(en inglés). Wolfram Research.

Demostración Euclidiana del TFC – James Gregory, en Convergence (en inglés)

Isaac Barrow's proof of the Fundamental Theorem of Calculus (en inglés)

Control de autoridades

Proyectos Wikimedia Wd Datos: Q1217677 Commonscat Multimedia: Fundamental theorem

of calculus

Identificadores Microsoft Academic: 81150689 Diccionarios y enciclopedias Britannica: url

Categorías:

Cálculo integralTeoremas fundamentalesTeoremas de cálculoCiencia y tecnología de Reino

Unido del siglo XVIICiencia de 1667

Menú de navegación

No has accedido

Discusión

Contribuciones

Crear una cuenta

Acceder

Artículo

Discusión

Leer

Editar

Ver historial

Buscar

Portada

Portal de la comunidad
 Actualidad

Cambios recientes

Páginas nuevas

Página aleatoria

Ayuda

Donaciones

Notificar un error

Herramientas

Lo que enlaza aquí

Cambios en enlazadas

Subir archivo

Páginas especiales

Enlace permanente

Información de la página

Citar esta página

Elemento de Wikidata

Imprimir/exportar

Crear un libro

Descargar como PDF

Versión para imprimir

En otros proyectos

Wikimedia Commons

En otros idiomas
 Asturianu

Català

Deutsch

English

Euskara

Galego

हिन्दी
‫اردو‬
中文

Editar enlaces

Esta página se editó por última vez el 22 sep 2021 a las 12:56.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0;
pueden aplicarse cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de
uso y nuestra política de privacidad.

Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin
ánimo de lucro.

Política de privacidad

Acerca de Wikipedia

Limitación de responsabilidad

Versión para móviles

Desarrolladores

Estadísticas

Declaración de cookies

Wikimedia Foundation

Powered by MediaWiki