Teorema fundamental del cálculo

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. Esto significa que toda
función continua integrable 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.

El teorema es 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 las
matemáticas que se seguía por separado al 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, 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.

Intuición geométrica

El área rayada en rojo puede ser calculada como h × f(x), o si se conociera la función A(X), como
A(x+h) − A(x). Estos valores son aproximadamente iguales para valores pequeños de h.
Supóngase que se tiene una función continua y = f(x) y que su representación gráfica es una
curva. Entonces, para cada valor de x tiene sentido de manera intuitiva pensar que existe
una función A(x) que representa el área bajo la curva entre 0 y x aún sin conocer su
expresión.

Supóngase ahora que se quiere calcular el área bajo la curva entre x y x+h. Se podría hacer
hallando el área entre 0 y x+h y luego restando el área entre 0 y x. En resumen, el área de
esta especie de "loncha" sería A(x+h) − A(x).

Otra manera de estimar esta misma área es multiplicar h por 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.

Por lo tanto, se puede decir que A(x+h) − A(x) es aproximadamente igual a f(x) · h, y que la
precisión de esta aproximación mejora al disminuir el valor de h. En otras palabras, ƒ(x)·h
≈ A(x+h) − A(x), convirtiéndose esta aproximación en igualdad cuando h tiende a 0 como
límite.

Dividiendo los dos lados de la ecuación por h se obtiene

Cuando h tiende a 0, se observa que el miembro derecho de la ecuación es sencillamente la

derivada A’(x) de la función A(x) y que el miembro izquierdo se queda en ƒ(x) al ya no estar
h presente.

Se muestra entonces de manera informal que ƒ(x) = A’(x), es decir, que la derivada de la
función de área A(x) es en realidad la función ƒ(x). Dicho de otra forma, la función de área
A(x) es la antiderivada de la función original.

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.

[editar] Primer teorema fundamental del cálculo

Dada una función f integrable sobre el intervalo [a,b], definimos F

sobre [a,b] por . Si f es continua en ,

entonces F es derivable en c y F'(c) = f(c).

Consecuencia directa del primer teorema fundamental del cálculo infinitesimal es:
Siendo f(t) una función integrable sobre el intervalo [a(x),b(x)] con a(x) y b(x) derivables

[editar] Demostración

[editar] Lema

Sea [[f]] integrable sobre [a,b] y

Entonces

Demostración

Por definición se tiene que .

Sea h>0. Entonces .

Se define mh y Mh como:

Aplicando el 'lema' se observa que

Por lo tanto,
Sea h < 0. Sean

Aplicando el 'lema' se observa que

Como

entonces,

Puesto que h < 0, se tiene que

Y como f es continua en c se tiene que

y esto lleva a que

[editar] Ejemplos
[editar] Segundo teorema fundamental del cálculo
También se le llama regla de Barrow, en honor a Isaac Barrow o regla de Newton-
Leibniz.

Dada una función f continua en el intervalo [a,b] y sea g cualquier función

primitiva de f, es decir g'(x)=f(x) para todo , entonces:

Este teorema se usa frecuentemente para evaluar integrales definidas.

[editar] Demostración

Sea

Tenemos por el primer teorema fundamental del cálculo que:

Por lo tanto,

tal que .
Observamos que

y de eso se sigue que ; por lo tanto,

Y en particular si x = b tenemos que:

[editar] Ejemplos

Como se puede integrar inmediatamente.

Teorema de Unicidad
En muchos casos, uno requiere la solución de la ecuación de Poisson en regiones en que no
hay carga eléctrica; en éste caso, la ecuación que se obtiene es la llamada ecuación de
Laplace.

Observamos que esta ecuación es lineal, ya que si V1(r) y V2(r) son ambas soluciones,
entonces cualquier combinación lineal de ellas es también una solución posible (principio
de superposición). El teorema de Unicidad establece que dos soluciones de la ecuación de
Laplace que satisfacen la mismas condiciones de borde, difieren, a lo sumo, en una
constante aditiva.

Unicidad (Matemáticas)
En la matemática, el concepto de unicidad es importante y aparece en varios contextos:
 El más importante se refiere a la unicidad de de la solución de un problema
matemático. En ese tipo de contextos es frecuente que exista un teorema de unicidad
que pruebe que existe una y sólo una solución, este tipo de teoremas siempre usa la
misma idea básica presupone que existen dos soluciones S1 y S2 y de las
propiedades que debe tener una solución concluye que necesariamente S1 = S2.
 Un caso similar es la unicidad de un objeto, o el hecho de las propiedades de cierto
objeto definido matemáticamente hace que éste sea único. Dado un objeto que
cumpla con una cierta definición, entonces otro objeto que cumpla también la
definición debe entonces ser igual o equivalente al primero. Por ejemplo los
axiomas de Peano garantizan que el conjunto de los números naturales es único, o
que dados dos conjuntos que satisfacen dichos axiomas sólo son representaciones
diferentes de la misma estructura básica.
 En un sentido más reducido, la unicidad es una propiedad de una correspondencia
entre dos conjuntos, que hace de esa correspondencia una función matemática
propiamente dicha. Esa propiedad de unicidad, que significa que "cada elemento de
un conjunto A, está relacionado con un único (uno y solo un) elemento del conjunto
B. Se simboliza con .