1

CAPITULO 6

Integral denida
Licda. Elsie Hernndez Sabor a o

Instituto Tecnolgico de Costa Rica o Escuela de Matemtica a

Revista digital Matemtica, educacin e internet (www.cidse.itcr.ac.cr) a o

2
Crditos e Rosario Alvarez, 1988. Marieth Villalobos, Alejandra Araya, Jessica Chacn y Lisseth Angulo. o Walter Mora. Walter Mora, Marieth Villalobos. escribir a wmora2@yahoo.com.mx

Primera edicin impresa: o Edicin LaTeX: o Edicin y composicin nal: o o Grcos: a Comentarios y correcciones:

Contenido
6.1 6.2 Introducin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 o La integral denida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 6.2.1 Propiedades fundamentales de la integral denida . . . . . . . . . . . . . . . . . . . . . . 12

6.1

Introducin o

Antes de abocarnos al estudio de la integral denida y de la integral indenida, daremos una pequea semblanza n histrica de la relacin entre el clculo diferencial y el integral. o o a A continuacin transcribiremos algunos de los prrafos al respecto tomados del libro La Matemtica: su cono a a tenido, mtodos y signicado (que se menciona en la bibliograf e a). Durante la segunda mitad del siglo XV II, Newton y Leibniz dieron un paso decisivo en la matemtica de las a magnitudes variables, al sentar las bases del clculon diferencial e integral. Este fue el verdadero comienzo a del anlisis, puesto que el objeto de este clculo son las propiedades de las funciones mismas, distinto del oba a jeto de la geometr anal a tica que son las guras geomtricas. De hecho, lo que hicieron Newton y Leibniz e fue completar esa cantidad inmensa de trabajo que hab desarrollado hasta entonces muchos matemticos an a y que se extend hasta los mtodos de determinacin de reas y volmenes empleados por los antiguos griegos. a e o a u Aqu solo queremos llamar la atencin acerca de los or o genes de este clculo, que fueron principalmente los a nuevos problemas de la mecnica y los viejos problemas de la geometr consistentes estos ultimos en la detera a, minacin de tangentes a una curva dada y el clculo de reas y volmenes. Estos problemas geomtricos hab o a a u e an sido ya estudiados por los antiguos (basta mencionar a Arqu mides), y tambin por Kepler, Cavalieri, y otros, a e principios del siglo XV II. Pero el factor decisivo fue el descubrimiento de una notable relacin entre estos dos o tipos de problemas y la formulacin de un mtodo general para resolverlos; tal fue la obra de Newton y Leibniz. o e Esta relacin, que permiti conectar los problemas de la mecnica con los de la geometr fue descubierta gracias o o a a, a la posibilidad (brindada por el mtodo de coordenadas) de hacer una representacin grca de la dependencia e o a de una variable respecto a la otra, o, en otras palabras, de una funcin. Con la ayuda de esta representacin o o grca es fcil formular la relacin antes mencionada entre los problemas de la mecnica y la geometr (relacin a a o a a o que fue el origen del clculo diferencial e integral) y describir as el contenido general de estos dos tipos de clculo. a a El clculo diferencial es, bsicamente, un mtodo para encontrar la velocidad de un movimiento cuando se a a e conoce la distancia recorrida en un tiempo dado. Este problema se resuelve por derivacin y es completao mente equivalente al problema de dibujar una tangente a la curva que representa la dependencia de la distancia respecto del tiempo. La velocidad en el instante t es igual a la pendiente de la tangente a la curva en el punto correspondiente a t.

El clculo integral es en esencia un mtodo para encontrar la distancia recorrida cuando se conoce la velocidad, a e y en general, de encontrar el resultado total de la accin de una magnitud variable. Evidentemente, este probo

5 lema es rec proco del problema de clculo diferencial (el problema de encontrar la velocidad), y se resuelve por a integracin. Resulta que el problema de la integracin es en todo equivalente al de encontrar el rea bajo la o o a curva que representa la dependencia de la velocidad respecto al tiempo. La distancia recorrida en el intervalo de tiempo t1 a t2 es igual al rea bajo la curva entre las rectas que corresponden en la grca a los valores t1 a t2 . a a

Haciendo abstraccin de la formulacin mecnica de los problemas y operando con funciones en vez de depeno o a dencias de distancia o velocidad respecto al tiempo se obtienen los problemas de clculo diferencial e integral a en forma abstracta. Fundamental para el clculo como para todo el desarrollo posterior del anlisis, es el concepto de l a a mite, que fue formulado algo ms tarde que los otros conceptos fundamentales de variable y funcin. En los primeros d a o as del anlisis el papel que ms tarde desempear el l a a n a mite, corri a cargo de ese concepto algo nebuloso que o es el innitsimo. Los mtodos para el clculo real de la velocidad, conocida la distancia recorrida (a saber, e e a la derivacin), y de la distancia, conocida la velocidad (integracin), se basaban en la unin del lgebra con el o o o a concepto de l mite. El anlisis se origin por la aplicacin de estos conceptos y mtodos a los referidos problea o o e mas de la mecnica y la geometr (y tambin a otros problemas: por ejemplo, los de mximos y m a a e a nimos). El anlisis fue a su vez absolutamente necesario para el desarrollo de la mecnica, en la formulacin de cuyas leyes a a o ya se encontraban los conceptos anal ticos en forma latente. Por ejemplo la segunda Ley de Newton, tal como l la formul, establece que la variacin de la cantidad de movimiento es proporcional a la fuerza actuante e o o (con ms precisin: el ritmo de variacin del impulso es proporcional a la fuerza). Por consiguiente, si deseamos a o o hacer uso de esta ley debemos estar en condiciones de denir el ritmo de variacin de una variable, esto es, o de derivarla. (Si establecemos la ley diciendo que la aceleracin es proporcional a la fuerza, el problema es el o mismo, porque la aceleracin es proporcional al ritmo de variacin del impulso). Tambin est perfectamente o o e a claro que, para establecer la ley que rige un movimiento cuando la fuerza es variable (en otras palabras, cuando el movimiento tiene lugar con aceleracin variable), es preciso resolver el problema inverso de encontrar una o magnitud dado su ritmo de variacin; en otras palabras, es preciso integrar. As pues, se puede decir que Newton o , se vio simplemente obligado a inventar la derivacin y la integracin con el n de poder desarrollar la mecnica. o o a (Aleksandrov, 1979, 71).

6.2

La integral denida

Hemos visto entonces, que el concepto de integral y en general del clculo integral tuvo su origen histrico en a o la necesidad de resolver problemas concretos, uno de cuyos ejemplos ms caracter a sticos es el clculo del rea a a de una gura curvil nea (AlekSandrov, 1979, 163). Consideremos una curva situada sobre el eje X que representa la grca de la funcin con ecuacin y = f (x). a o o Se desea encontrar el rea S de la supercie limitada por la curva con ecuacin y = f (x), el eje X y las rectas a o paralelas al eje Y con ecuaciones x = a y x = b. Para tal efecto, dividimos el intervalo [a, b] en n partes, no necesariamente iguales como se muestra a continuacin: o

Denotamos con x1 la longitud de la primera parte, la de la segunda parte con x2 y as sucesivamente hasta la ultima xn . En cada parte elegimos puntos r1 , r2 , ...rn , de tal forma que f (r1 ) x1 nos da el rea del a primer rectngulo, (x1 , es la base y f (r1 ) la altura), f (r2 ) x2 da el rea del segundo rectngulo y por lo a a a tanto f (rn ) xn da el rea del ensimo rectngulo. Luego se tiene que: a e a Sn = f (r1 ) x1 + f (r2 ) x2 + ... + f (rn ) xn

es la suma de las reas de los rectngulos de la gura anterior. a a Obsrvese que cuanto ms na sea la subdivisin de segmento [a, b], ms prxima estar Sn al rea S. Si se e a o a o a a considera una sucesin de tales valores por divisin del intervalo [a, b] en partes cada vez ms pequeas, eno o a n tonces la suma Sn tender a S. Al decir subdivisiones cada vez ms pequeas, estamos suponiendo no solo, que a a n n crece indenidamente, sino tambin que la longitud del mayor de los xi , en la ensima divisin tiende a cero. e e o Luego: S= [f (r1 ) x1 + f (r2 ) x2 + ... + f (rn ) n f (ri ) xi (A) S= lim max xi 0 i=1
max xi 0

lim

xn ]

7 Por lo que el clculo del rea buscada se ha reducido a calcular el l a a mite (A). El clculo del l a mite (A) tambin se presenta en otros problemas; por ejemplo, cuando se desea determinar la e distancia S recorrida por un cuerpo que se mueve a lo largo de una l nea recta, con velocidad variable v = f (t), en el intervalo de tiempo entre t = a y t = b. Supongamos que la funcin f (t) es continua, o sea, que en intervalos pequeos de tiempo la velocidad solo o n var ligeramente. Se divide el intervalo [a, b] en n partes de longitudes t1 , t2 , ..., tn . Para calcular un a valor aproximado de la distancia recorrida en cada intervalo ti , (con i = 1, 2, ..., n) vamos a suponer que la velocidad en este intervalo de tiempo es constante e igual a su verdadero valor en algn punto intermedio ri . u Luego, la distancia total recorrida estar expresada aproximadamente por la siguiente suma: a n Sn = i=1 siendo el verdadero valor de la distancia S recorrida en el tiempo b a, el l mite de tales sumas para subdivisiones cada vez ms nas, o sea, que ser el l a a mite (A): S=
max

f (ri ) ti

lim

n f (ri ) i=1

ti

ti 0

Es necesario determinar ahora la conexin entre el clculo diferencial y el integral, pero antes calculemos el rea o a a de la regin limitada por la curva en ecuacin y = x2 y las rectas con ecuacin y = 0, x = 3. o o o

Dividimos el intervalo [0, 3] en n partes iguales de tal forma que la longitud de cada x est dado por e 3 30 = , y tomamos como puntos ri los extremos derechos de cada segmento, por lo que n n r0 = 0, r1 = 0 + x, r2 = 0 + 2 x, ..., rn = b = n x

8 Luego: Sn = = = = f (r1 ) x + f (r2 ) x + f (r3 ) x + ... + f (rn ) x

( x)2 x + (2 x)2 x + (3 x)2 x + ... + (n x)2 x ( x)3 (1 + 22 + 32 + ... + n2 ) ( x)3 n(n + 1)(2n + 1) 6 (*) n(n + 1)(2n + 1) puede comprobarse utilizando el mtodo de induncin e o 6

La igualdad 1 + 22 + 32 + ... + n2 = matemtica. a 3 n

3

Sn

n(n + 1)(2n + 1) 6

= = = = Entonces

27 n(n + 1)(2n + 1) n3 6 9 (n + 1)(2n + 1) 2 n2 9 n + 1 2n + 1 2 n n 9 2 1+ 1 n 2+ 1 n

n+

lim Sn = lim

n+

9 2

1+

1 n

2+

1 n

9 (1 + 0)(2 + 0) = 9 2

Por lo tanto, el rea de la regin es 9 unidades cuadradas. a o Puede observarse que el procedimiento utilizado es bastante laborioso y depende del conocimiento de una serie de frmulas como la sealada con (*). Es necesario por tanto establecer un procedimiento que agilice el clculo o n a del rea de una regin curvil a o nea y pa ra ello, vamos a establecer la relacin existente entre el clculo diferencial o a e integral. El l mite (A) recibe el nombre de integral denida de la funcin f (x) en el intervalo [a, b] y se denota por o
b

f (x) dx, donde f (x) dx se llama integrando, los l mites de integracin son a y b, con a como l o mite inferior y b como l mite superior. Debemos contar con un mtodo general que permita el clculo de las e a integrales denidas.
a

Histricamente esta cuestin interes a los matemticos durante mucho tiempo, por la utilidad que ello supon o o o a a para el clculo de reas de guras curvil a a neas, volmenes de cuerpos limitados por supercies curvas, etc. u

9 El nmero de problemas particulares que se consigui resolver (clculo de reas, volmenes, centros de gravedad u o a a u de slidos, etc.) fue creciendo gradualmente, pero los progresos en lo referente a encontrar un mtodo general o e fueron, al principio, extremadamente lentos. Dicho mtodo slo fue descubierto cuando se hubo acumulado e o suciente material terico y prctico, proporcionado por la experiencia diaria. El trabajo de recoger y genero a alizar este material avanz muy lentamente hasta el nal de la Edad Media; y su rpido desarrollo posterior o a fue una consecuencia directa del acelerado crecimiento del poder productivo de Europa como resultado de la desaparicin de los primitivos mtodos (feudales) de produccin, y la aparicin de otros nuevos (capitalistas). o e o o La acumulacin de datos relacionados con las integrales denidas march paralela a la investigacin de probleo o o mas relacionados con la derivada de una funcin. o Esta inmensa labor preparatoria fue coronada con el xito en el siglo XV III por los trabajos de Newton y e Leibniz. En este sentido se puede decir que Newton y Leibniz son los creadores del clculo diferencial e integral. a Una de las contribuciones fundamentales de Newton y Leibniz fue que aclararon nalmente la profunda conexin o entre el clculo diferencial e integral, que proporciona, en particular, un mtodo general para calcular las intea e grales denidas de una clase bastante amplia de funciones. Para calcular esta conexin, analicemos un ejemplo tomado de la mecnica. Supongamos que un punto material o a se mueve a lo largo de una l nea recta con velocidad y = f (t), donde t es el tiempo. Se sabe que la distancia recorrida por el punto en el intervalo de tiempo desde t = t1 a t = t2 viene expresada por la integral denida:
t2

=
t1

f (t) dt

Supongamos conocida la ecuacin del movimiento del punto material; esto es, la funcin s = F (t), que expresa o o la dependencia de la distancia s respecto al tiempo t a partir de un punto inicial A sobre la recta. La distancia recorrida en el intervalo de tiempo [t1 , t2 ] es evidentemente igual a la diferencia = F (t2 ) F (t1 ) De este modo, consideraciones f sicas llevan a la igualdad:
t2

f (t) dt = F (t2 ) F (t1 )

t1

que expresa la conexin entre la ecuacin del movimiento del punto material y su velocidad. o o Desde un punto de vista matemtico la funcin F (t) puede denirse como una funcin cuya derivada para todos a o o los valores de t del intervalo dado es igual a f (t), esto es:

F (t) = f (t) Una tal funcin se llama primitiva de f (t). o Hay que tener en cuenta que si la funcin f (t) tiene al menos una primitiva, entonces tiene un nmero innito o u de ellas; porque si F (t) es una primitiva de f (t); entonces F (t) + C (donde C es una constante arbitraria) es tambin una primitiva. Adems de este modo obtenemos todas las primitivas de f (t) puesto que si F1 (t) y F2 (t) e a son primitivas de la misma funcin f (t) entonces su diferencia (t) = F1 (t) F2 (t), tiene una derivada (t) o que es igual a cero en todo punto del intervalo dado, por lo que (t) es constante. Nota: Por el teorema del valor medio (t) (t0 ) = (v)(t t0 ) = 0 donde v se encuentra entre t y t0 . As (t0 ) = (t0 ) = constante para todo t.

10 Desde un punto de vista f sico los diferentes valores de la constante C determinan movimiento que slo dieren o entre s en el hecho de que corresponden a todas las posibles elecciones del punto inicial del movimiento. Se llega as al resultado de que para una clase muy amplia de funciones f (x), que incluye todos los casos en los que la funcin f (x) puede ser considerada como velocidad de un punto en el instante x se verica la siguiente o igualdad.
b

f (x) dx = F (b) F (a)

a

(B)

donde F (x) es una primitiva cualquiera de f (x). Esta desigualdad es la famosa frmula da Leibniz y Newton que reduce el problema de calcular la integral o denida de una funcin a la obtencin de una primitiva de la misma, y constituye as un enlace entre el clculo o o a diferencial e integral. Muchos de los problemas concretos estudiados por los ms grandes matemticos se resuelven automticamente a a a con esta frmula que establece sencillamente que la integral denida de la funcin f (x) en el intervalo [a, b] es o o igual a la diferencia entre los valores de cualquiera de sus primitivas en los extremos superior superior e inferior del intervalo. La diferencia (B) se acostumbra escribir as : b F (x) a = F (b) F (a)

(Aleksandrov, 1979, 166 169)

3

Por ejemplo, utilizando la frmula de Newton-Leibniz puede calcularse o

0

x2 dx, que determina el rea de la a

regin limitada por la curva con ecuacin y = x2 y las rectas con ecuaciones y = 0, x = 3 y x = 0, de la o o siguiente manera:
3 0

x2 dx =

03 x3 3 33 = 9 0 = 9(ul)2 = 3 0 3 3 x3 3 = 3x2 x3 = x2 , por lo que es una primitiva de x2 . 3 3

Observe que Dx

Veamos otro ejemplo en el que utilizamos esta frmula: o

4 2

(x2 + 1) dx x3 +x 3 4 2 = 43 +4 3 23 +2 3 = 62 3

Note que: Dx x3 +x 3 = x2 + 1 por lo que x3 + x es una primitiva de x2 + 1 3

11 De los razonamientos hechos al exponer la frmula de Newton y Leibniz se desprende, claramente que esta o frmula es la expresin matemtica a una conexin autntica del mundo real. Es un bello e importante ejemo o a o e plo de cmo la matemtica da expresin a las leyes objetivas. Debemos observar que en sus investigaciones o a o matemticas Newton siempre adopt un punto de vista f a o sico. Sus trabajos sobre los fundamentos del clculo a diferencial e integral no pueden ser separados de sus trabajos sobre los principios de la mecnica. a Los conceptos de anlisis matemtico -como la derivada o la integral- tal como se presentaban a Newton y sus a a contemporneos, an no hab roto del todo con sus or a u a genes f sico y geomtrico (velocidad y rea). De hecho e a era de un carcter mitad matemtico y mitad f a a sico. Las condiciones existentes en esa poca no eran todav e a las apropiadas para lograr una denicin puramente matemtica de esos conceptos. Por consiguiente, el inveso a tigador slo pod manejarlos correctamente en situaciones complejas s permanec en contacto inmediato con o a a los aspectos prcticos del problema incluso durante las etapas intermedias (matemticas) de su razonamiento. a a Desde este punto de vista el trabajo creador de Newton tuvo un carcter diferente del de Leibniz, ya que sus a descubrimientos tuvieron lugar independientemente. Newton se dj guiar siempre por el enfoque f o sico de los problemas. En cambio las investigaciones de Leibniz no tienen una conexin tan inmediata con la f o sica, hecho que, en ausencia de deniciones matemticas precisas, le condujo a veces a conclusines equivocadas. Por otra a o parte el rasgo ms carater a stico de la actividad creadora de Leibniz fue su esfuerzo por generalizar su bsqueda u de los mtodos ms generales de resolucin de los problemas del anlisis matemtico. e a o a a El mayor mrito de Leibniz fue la creacin de un simbolismo matemtico que expresaba lo esencial de la cuestin. e o a o Las notaciones por conceptos fundamentales del anlisis matemtico tales como la diferencial dx, la diferencial a a segunda d2 x, la integral y dx, y la derivada d/dx fueron propuestas por Leibniz. El hecho de que estas notaciones se utilicen todav muestra lo acertado de su eleccin. a o Una de las ventajas de un simbol smo bien elegido es que hace las demostraciones y clculos ms cortos y fciles, a a a y evita tambin, a veces, conclusiones equivocadas. Leibniz, quien no ignoraba esto, prest especial atencin en e o o todo su trabajo a la eleccin de notaciones. o La evolucin de los conceptos del anlisis matemtico (derivada, integra, etc.) continu, naturalmente, despus o a a o e de Newton y Leibniz y contina todav en nuestros d pero hay una etapa en esta evolucin que merece ser u a as; o destacada. Tuvo lugar a comienzos del siglo pasado y est particularmente relacionado con el trabajo de Cauchy. a Cauchy dio una denicin formal precisa del concepto de l o mite y la utiliz como base para sus deniciones de o continuidad, derivada, diferencial e integral. Estos conceptos se emplean constantemente en el anlisis moderno. a La gran importancia de estos resultados reside en el hecho de que gracias a ellos es posible operar de un modo puramente formal y llegar a conclusiones correctas no slo en la aritmtica, el lgebra y la geometr elemental, o e a a sino tambin en esa nueva y extensa rama de la matemtica, el anlisis matemtico. e a a a En cuanto a los resultados prcticos del anlisis matemtico se puede decir hoy lo siguiente: si los datos origia a a nales se toman del mundo real entonces el resultado de los razonamientos matemticos tambin se vericar en l. a e a e Y, si estamos completamente seguros de la precisin de los datos originales, no hay necesidad de hacer una o comparacin prctica de la exactitud de los resultados matemticos, hasta comprobar la exactitud de los rao a a zonamientos formales. Esta armacin tiene naturalmente la siguiente limitacin. En los razonamientos matemticos los datos origo o a inales que tomamos del mundo real slo son verdaderos con una cierta precisin. Esto signica que en cada o o etapa de razonamiento matemtico los resultados obtenidos contendrn ciertos errores que, conforme avanza el a a razonamiento(Por ejemplo de a = b y b = c sigue formalmente que a = c. Pero en la prctica esta relacin a o aparece como sigue: del hecho de que a = b con un error igual a y b = c con un error tambin se sigue que e a = c con un error igual a 2 ) puede irse acumulando.

12 Volviendo ahora a la integral denida, consideremos una cuestin de capital importancia. Para qu funciones o e
b

f (x) denidas sobre el intervalo [a, b] es posible garantizar la existencia de la integral denida n decir, un nmero para el cual la suma u
a

f (x) dx, es

f (ri ) xi tenga l mite cuando max xi 0?. Debe tenerse en 1 cuenta que este nmero ser el mismo para todas las subdivisiones del intervalo [a, b] y para cualquier eleccin u a o de puntos ri . Las funciones para las cuales la integral denida es decir, el l mite (A) existe se dicen integrables en el intervalo [a, b]. Investigaciones realizadas en el ultimo siglo demostraron que todas las funciones continuas son integrables. Pero hay tambin funciones discontinuas que son integrables y entre ellas guran por ejemplo e las funciones que son acotadas y crecientes (o decrecientes) en el intervalo [a, b].

La funcin que es igual a cero en los puntos racionales de [a, b] e igual a uno en los puntos irracionales puede o servir de ejemplo de funcin no integrable, puesto que para una subdivicin arbitraria la suma sn ser igual a o o a cero o a uno segn elijamos los puntos ri entre los nmeros irracionales o racionales. u u Sealamos que en muchos casos la frmula de Newton y Leibniz proporciona la solucin al problema de calcular n o o una integral denida. Pero surge entonces el problema de encontrar una primitiva de una funcin dada, esto o es, de encontrar una funcin que tenga por derivada la funcin dada. o o Procedemos ahora a discutir este punto. Observemos de paso que el problema de encontrar una primitiva tiene gran importancia entre otras ramas de la matemtica particularmente en la solucin de ecuaciones diferenciales. a o (Aleksandrov, 1979, 170, 173)

6.2.1

Propiedades fundamentales de la integral denida

1. Si k es un nmero real constante, y f es una funcin integrable en el intervalo cerrado [a, b], entonces: u o

k f (x) dx = k
a a

f (x) dx

Prueba: Al nal del cap tulo. 2. Si f y g son dos funciones integrables en [a, b] entonces f + g tambin es integrable en [a, b] y: e

[f (x) + g(x)] dx =
a a

f (x) dx +
a

g(x) dx

Prueba: Al nal del cap tulo. 3. Si f y g son dos funciones integrables en [a, b] (con a < b) y adems f (x) g(x) x [a, b] entonces: a

f (x) dx
a a

g(x) dx

13 Prueba: Al nal del cap tulo. Podemos ilustrar geomtricamente esta propiedad como sigue: e Sea f (x) > 0 y g(x) > 0 para x [a, b], adems g(x) f (x) para cada x [a, b], como se muestra en a la gura siguiente:

Note que el rea del trapecio curvil a neo a Q R b es mayor que el trapecio curvil neo a R S b, por lo que:

f (x) dx
a a

g(x) dx

4. Si M y m son los valores mximo y m a nimo respectivamente de la funcin f (x) en el intervalo [a, b], o con a b, y adems f es integrable en [a, b] entonces: a

m(b a)
a

f (x) dx M (b a)

Prueba: Al nal del cap tulo. Puede ilustrarse esta propiedad geomtricamente como sigue: sea f (x) 0 para x [a, b] (a < b) y e consideremos la siguiente representacin grca: o a

14

Note que el rea del trapecio curvil a neo a Q T b est comprendida entre las reas de los rectngulos a a a a P U b y a R S b. (El rea del rectngulo a P U b es m(b a), la del rectngulo a R S b es M (b a) a a a
b

y la del trapecio curvil nieo es

a

f (x) dx

Ejemplo 1

Consideremos la regin limitada por la curva con ecuacin y = x2 + 1 y las rectas cuyas ecuaciones son o o x = 1, x = 3; la representacin grca es la siguiente: o a

15 Note que el valor m nimo que toma la funcin es 2 y el mximo es 10. El rea del rectngulo a P S b es o a a a 4 (ul)2 , la del rectngulo a Q R b es 20 (ul)2 y la del trapecio curvil a neo a P R b es:
3 1

x2 dx =

x3 3

3 1

27 1 26 = (ul)2 3 3 3
3 1

Observe que 4 <

26 < 20 y por tanto 2(3 1) < 3

x2 dx < 10(3 1)

5. Teorema del valor medio para integrales

Teorema 1 Si f es una funcin continua en el intervalo [a, b], entonces existe en ste un punto tal que se verique o e la siguiente igualdad:

f (x) dx = (b a)f ()
a

Prueba: Al nal del cap tulo. Podemos dar una interpretacin geomtrica como sigue: consideremos una funcin f tal que f (x) 0, o e o para todos los valores de x en el intervalo [a, b].
b

Entonces
a

f (x) dx es el rea de la regin limitada por la curva con ecuacin y = f (x), el eje X y las a o o

rectas con ecuaciones x = a, x = b

La propiedad 5. establece que existe un nmero en [a, b] tal que el rea del rectngulo a Q S b, cuya u a a altura es f () y que tiene ancho de (b a) unidades, es igual al rea de la regin a P R b. a o

16 El valor de no es necesariamente unico. Aunque el teorema no establece un mtodo para determinar , s garantiza que existe un valor de , lo e cual se utiliza para demostrar otros teoremas.

Ejemplo 2

Determinar, en cada caso, el valor de tal que:

2

i.
1 4

x3 dx = f ()(2 1) (x2 + 4x + 5) dx = f ()(4 1) (x2 + 1) dx = f ()(2 + 2) Ejercicio para el estudiante.

ii.
1 2

iii.
2

Solucin: o
2

i. Calculemos primero
1

x3 dx
2

Como Dx
2

x4 4

= x3 entonces
1

x3 dx =

x4 15 16 1 = = 4 4 4 4

Luego
1

15 x3 dx = = f ()(2 1) de donde: 4

15 f () = (en este caso f (x) = x3 ) 4 3 = 15 y por ultimo = 4

3

15 4

1, 55

Grcamente se tiene: a
4

ii. Calculemos
1 3

(x2 + 4x + 5) dx = x2 + 4x + 5 entonces:
4 1

Como Dx
4 1 4

x + 2x2 + 5x 3

x2 + 4x + 5 =

x3 + 2x2 + 5x 3

1 43 + 2(4)2 + 5 4 ( + 2 + 5) = 66 3 3

Luego:
1

(x2 + 4x + 5) = 66 = f ()(4 1)

de donde f () = 22, como f (x) = x2 + 4x + 5 entonces: 2 + 4 + 5 = 22 y los valores de que satisfacen la ecuacin son 1 = 2 + o este ultimo valor se descarta pues no pertenece al intervalo [1, 4] 21, 2 = 2 21;

17

Luego el valor de que satisface el teorema del valor medio para integrales es = Grcamente se tiene: a

21 2

21

6. Si f es una funcin integrable en los intervalos cerrados [a, b], [a, c] y [c, b] con a < c < b entonces: o
b c b

f (x) dx =
a a

f (x) dx +
c

f (x) dx

18 Asumimos esta propiedad sin demostracin. o Ejemplos Sea [a, b] = [0, 3] y c = 2

3 0 2

x2 dx =

x3 3

3 0

=9
3 2

Ahora:
0 3

x2 dx + x2 dx =
0

x2 dx = x2 dx +

x3 3
3 0

2 0

x3 3

3 2

8 8 +9 =9 3 3

Luego:
0

x2 dx

Geomtricamente podemos interpretar esta propiedad como sigue: e Si f (x) 0 para x [a, b] entonces la propiedad anterior establece que, el rea de la regin limitada por a o la curva con ecuacin y = f (x), el eje X y las rectas con ecuaciones y las rectas con ecuacin x = a, x = b, o o es igual a la suma de las reas de las regiones desde a hasta c y desde c hasta b. a

El resultado anterior es vlido para cualquier orden de a, b y c, como se establece a continuacin. a o

Teorema 2 Sea f una funcin integrable en un intervalo cerrado que contiene los tres nmeros a, b y c. o u

19
b c b

Entonces:
a

f (x) dx =
a

f (x) dx +
c

f (x) dx sin importar cul es el orden de a, b y c. a

Prueba: Al nal del cap tulo. Para la prueba de esta propiedad se necesitan las siguientes deniciones:
b a

a.
a

f (x) dx =
b

f (x) dx

Ejemplo 3
3

x dx
1 1

x2 2 x2 2
3 1

3 1 1 3

= =

9 1 =4 2 2 1 9 = 4 2 2
1

x dx
3

Luego:
a

x dx =
3

x dx

b.
a

f (x) dx = 0, en este caso note que la longitud del trapecio curvil neo es cero por lo que se rea a tambin es igual a cero. e

Las propiedades 6 y 7 anteriores sern de gran utilidad al calcular el rea de diversas regiones, como estudiaremos a a en el apartado de aplicaciones de la integral denida.