Trabajo publicado en www.ilustrados.com La mayor Comunidad de difusión del conocimiento LA INTEGRAL DE RIEMANN Universidad de Sonora http://www.mat.uson.mx/eduardo/calculo2/area/areaHTML/area.htm INDICE Introducción Encontrando el área de un círculo de radio r cálculo del volumen de una pirámide Un problema de trabajo mecánico Calculando la distancia recorrida a partir de la velocidad instantánea Funciones monótonas El área bajo la parábola y = x2 en el intervalo [0, 1] Sumas superiores e inferiores para funciones monótonas Criterio de integrabilidad para funciones monótonas La Integral de f(x) = 1-x2 en [0, 1], como límite se sumas La Integral de f(x) = x3 en [-1, 0], como límite se sumas Hacia el Teorema Fundamental del Cálculo Ejercicios: Práctica 3 INTRODUCCION: Iniciaremos el estudio de la Integral, uno de los conceptos más importantes de toda la matemática. Los procesos de límite fundamentales del Cálculo son los de Derivación e Integración. Algunos casos aislados de estos procesos fueron considerados en la antigüedad, aunque su desarrollo sistemático inició hasta el siglo XVII con los trabajos de Newton y Leibnitz. En nuestros estudios elementales de Física y Matemáticas aprendimos a calcular áreas de ciertas figuras geométricas como rectángulos, volúmenes de paralelepípedos; trabajo mecánico desarrollado por una fuerza constante; la distancia recorrida por un cuerpo en movimiento rectilíneo a una cierta velocidad media, etc. En todos ellos la única herramienta matemática utilizada, es la operación fundamental de la multiplicación. En esta sección, a partir del concepto de Integral construiremos una herramienta que, entre otras cosas, nos permitirá resolver problemas más generales que los anteriores, es decir, determinar áreas de figuras y volúmenes de sólidos para las que la geometría no nos da una fórmula; el trabajo desarrollado por una fuerza variable en todo el recorrido; la distancia recorrida por un móvil cuando la velocidad varía en cada instante, etc. En la siguiente ilustración se muestran algunas de éstas generalizaciones. En el estudio de estas nuevas situaciones, la operación fundamental de la multiplicación es insuficiente, por lo que tenemos que hacerla evolucionar a una nueva herramienta más potente que permita solucionar este tipo de problemas. Observación. En este sentido, como herramienta aplicada a la solución de este tipo de problemas, diremos que la INTEGRAL es una "operación avanzada" que generaliza a la "operación elemental" de la MULTIPLICACION, al igual que la DERIVADA generaliza a la DIVISION. Además de ser una herramienta necesaria y útil, la Integral constituye una Teoría Matemática completa y rigurosa. ALGUNOS PROBLEMAS PARA MOTIVAR EL CONCEPTO DE INTEGRAL En los siguientes ejemplos resolveremos problemas de área, volumen, trabajo mecánico desarrollado por una fuerza no necesariamente constante y cálculo de la distancia recorrida por un cuerpo en el instante t, dada su velocidad instantánea. En los primeros dos encontraremos el área de un círculo de radio r, y el volumen de una pirámide, basándonos en una idea muy antigua, propuesta por primera vez por el sabio griego Antifón alrededor del año 430 A.C. y desarrollada posteriormente por el matemático griego Eudoxio. Se le conoce como el "Método de Exhaución de Eudoxio". En los otros, abordaremos dos problemas del campo de la Física; uno de trabajo mecánico y otro del cálculo de la distancia dada la velocidad instantánea. Ejemplo 1. Encuentre el área de un círculo de radio r. Solución: El método de exhaución de Eudoxio consiste en aproximar el área del círculo por áreas de polígonos regulares inscritos, en los cuales por supuesto la aproximación no es buena si el número de lados es pequeño; pero si consideramos polígonos con un número cada vez mayor de lados, las áreas de éstos se aproximarán cada vez más al área del círculo, como se aprecia en la figura. En cada caso, el área del polígono es menor que el área del círculo; pero si incrementamos el número de lados del polígono, entonces dentro de éste se incluirá más área del círculo. Consecuentemente, cuando el número de lados n tiende a infinito, el área del polígono regular agotará el área del círculo. Ya que es fácil encontrar una fórmula para el área de un polígono regular de n lados, podemos obtener el área del círculo al encontrar el límite de la fórmula cuando n tiende a infinito. Usemos el símbolo P(n) para denotar el área de un polígono regular de n lados inscrito en un círculo de radio r. Para obtener una fórmula para P(n) podemos usar el hecho de que cualquier polígono regular de n lados puede ser cortado en triángulos congruentes y así obtenemos el área del polígono como la suma de las áreas de los triángulos. Obsérvese que cada uno de estos triángulos es isósceles, ya que dos de sus lados son radios del círculo. Es más, podemos encontrar el valor del ángulo cúspide dividiendo 360º en n partes iguales. El área de cada triángulo puede calcularse al multiplicar un medio de su base por su altura; determinaremos esas dos dimensiones por medio de la trigonometría. Por ejemplo, la distancia del centro del círculo a un lado del polígono nos da la longitud de la altura del triángulo, a saber r cos(180º/n). Además, un medio de la base del triángulo, que es un medio de la longitud del lado del polígono, es r sen(180º/n). Estas dimensiones se muestran en la figura anterior. Así, el área total de nuestro polígono esta dada por la fórmula: P(n) = n r2 sen(180º/n) cos(180º/n). De manera completamente análoga, podemos aproximarnos al área del círculo utilizando polígonos regulares circunscritos Si Q(n) es el área del polígono de n lados circunscrito al círculo, podemos encontrar con un desarrollo similar al anterior que: Q(n) = n r2 tan(180º/n) En la tabla de abajo se muestran las áreas de los polígonos inscritos y circunscritos en algunos valores particulares de n, que usted puede visualizar aquí. P(n) n Q(n) 2 r2 4 4r2 2.8284 r2 8 3.3137 r2 3.0614 r2 16 3.1826 r2 3.1214 r2 32 3.1517 r2 3.1363 r2 64 3.1441 r2 3.1405 r2 128 3.1422 r2 3.1401 r2 256 3.1418 r2 3.14157 r2 1000 3.1416029 r2 3.141592447 r2 10000 3.141592757 r2 Nótese que el área A del círculo satisface: P(n) < A < Q(n) Es decir, de acuerdo al último renglón de la tabla 3.141592447 r2 < A < 3.141592757 r2 por lo que podemos afirmar que con un polígono de 10,000 lados podemos encontrar las primeras 6 cifras decimales correctas del número que multiplicado por r2 nos da el área del círculo de radio r: A (3.141592) r2 Sabemos por la conocida fórmula de la geometría que A = r2, por lo que este método nos permite encontrar las cifras decimales que deseemos del número . Con los recursos modernos de límites podemos encontrar el área exacta del círculo al hacer crecer indefinidamente el número de lados del polígono, como el que se desarrolla a continuación, en el que consideramos a 180º como radianes. multiplicando y dividiendo por la misma cantidad, /n, y sabiendo que , obtenemos: por lo que el área exacta del círculo de radio r es: Ejemplo 2. Calculo del volumen de una pirámide de base cuadrada de lado a y altura h. Solución. Primeramente encontraremos una aproximación al volumen de la pirámide, dividiendo en n partes iguales la altura de la pirámide y construyendo, para cada una de esas partes, un paralelepípedo inscrito. Cada una de éstas divisiones tendrá una longitud de k(h/n). El k-ésimo rectángulo se encuentra a k(h/n) unidades del vértice. Si le llamamos Lk al lado de la base del paralelepípedo inscrito, por semejanza de triángulos: o equivalentemente El volumen del k-ésimo paralelepípedo inscrito es: para k =1,2,3, . . . , (n-1) El volumen V de la pirámide será aproximadamente igual a la suma de los volúmenes Vk: y sustituyendo en la formula para la suma de los cuadrados de los primeros m naturales obtenemos Al igual que en el cálculo del área del círculo, para obtener el volumen exacto de la pirámide, hacemos tender n a infinito: obteniendo así, la fórmula que aparece en los textos de geometría. Ejemplo 3. Para estirar un resorte 1 cm se necesita una fuerza de 1 kgf ¿qué trabajo habrá que aplicar para estirarlo 6 cm? Solución. Por la ley de Hooke sabemos que la fuerza F aplicada al resorte es proporcional al estiramiento x, es decir: F = kx Sustituyendo F = 1 kgf y x = 0.01 m, obtenemos: 1 = (0.001)k k = 100 así pues la función fuerza estará dada por F(x) = 100x Cuya gráfica es: Obtendremos una aproximación para cada n natural, dividiendo el intervalo [0, 0.06] en n partes iguales, cada una de longitud 0.06/n. Si n es muy grande, podemos suponer que en cada subintervalo la fuerza no varía sensiblemente por lo que podemos suponerla constante e igual a la fuerza en el extremo izquierdo. Bajo este supuesto, el valor del trabajo será aproximadamente igual a la suma de los trabajos en cada subintervalo y el valor exacto del trabajo se conseguirá al tomar el límite cuando n tiende a infinito. Por lo tanto el trabajo requerido para estirar el resorte 6 cm es W = 0.18 kgf m. Observación: Al calcular en cada subintervalo el trabajo, suponiendo fuerza constante, lo que geométricamente estamos haciendo es calcular el área del correspondiente rectángulo inscrito, por lo que el procedimiento anterior nos lleva a calcular el área bajo la gráfica que en realidad es el área de un triángulo. Con la siguiente herramienta usted podrá, comprobar casos particulares, teclee 100*x en la ventana de la función y dé un valor para n y otro para b. Por ejemplo para b =0.062, n = 15 verá la gráfica: Ejemplo 4. Un móvil parte del reposo y su velocidad en cada instante t viene dada por V(t)=2t . Encuentre la distancia recorrida en cada instante t. Solución. Como en el caso anterior, dividimos el intervalo [0, t] en n partes iguales y podemos suponer que en cada pequeño subintervalo la velocidad es constante e igual a la velocidad en el extremo izquierdo. El intervalo [0,t] quedará dividido por los puntos: 0, t/n, 2(t/n), 3(t/n), ..., (n-1)(t/n), n(t/n) = n y la distancia recorrida en el tiempo t será igual a la suma de las distancias recorridas en cada uno de los subintervalos. Así pues d(t) = 0(t/n) + 2(t/n)(t/n) + 2(2t/n)(t/n) + 2(3t/n)(t/n) + ... + 2((n1)t/n)(t/n) y el valor exacto es: Así pues, si V(t) = 2t , entonces d(t) = t2 Con la siguiente herramienta usted podrá, comprobar casos particulares, teclee 2*x en la ventana de la función y dé un valor para n y otro para t. Por ejemplo para t = 2, n = 15 verá la gráfica: Observación: Si consideramos la velocidad instantánea en el caso de la caída libre, es decir , entonces el mismo desarrollo para esta función nos llevaría a que Observación: En la solución de los problemas anteriores se advierte una metodología común: se obtienen aproximaciones cada vez más precisas obteniendo el valor exacto mediante un paso a límite. Se puede pensar que la idea unificadora de estos problemas es el concepto de límite, sin embargo si analizamos con más detalle encontramos que en los últimos tres casos la aproximación siempre fue una suma a la cual se le tomó el límite; así pues podemos afirmar que la herramienta matemática utilizada fue la de " límite de sumas" que a continuación formalizaremos como el concepto de Integral. LA INTEGRAL PARA FUNCIONES MONOTONAS. En esta sección calcularemos el área bajo la gráfica de una función , monótona, es decir, creciente o decreciente, utilizando un procedimiento similar a los anteriores, definiremos el concepto de Integral de una función monótona y posteriormente generalizaremos los resultados obtenidos a una clase de funciones más amplia, las seccionalmente monótonas. Definición: Sea , diremos que: a) f es creciente en [a, b] si al tomar cualesquiera x, y [a, b] con x < y se cumple que . Si se cumple la desigualdad estricta, diremos que f es estrictamente creciente. a) f es decreciente en [a, b] si al tomar cualesquiera x, y [a, b] con x < y se cumple que . Si se cumple la desigualdad estricta, diremos que f es estrictamente decreciente. c) f es monótona en [a, b] si es creciente o decreciente en este intervalo. d) f es seccionalmente monótona en [a, b] si es posible dividir el intervalo en [a, b] en un número finito de subintervalos, en cada uno de los cuales la función es monótona. Empecemos calculando el área bajo la gráfica de una función creciente positiva. Ejemplo1. Encuentre el área bajo la gráfica de f(x) = x2 en el intervalo [0,1]. Solución: El procedimiento consistirá en dividir el intervalo en n partes iguales, y sobre cada uno de los subintervalos así formados, levantar rectángulos que nos permitan aproximar por abajo el área, es decir, debemos levantar en cada subintervalo un rectángulo de altura igual a la imagen del extremo izquierdo. En la figura de abajo se muestras aproximaciones con subdivisiones en 5 y 12 partes iguales respectivamente. Como se aprecia en estas figuras, la suma de las áreas de los rectángulos son una aproximación al área bajo la curva y entre mayor sea el número de subdivisiones del intervalo, mejor será la aproximación. A continuación se muestran las aproximaciones I5 e I12 I5 = (1/5)(0) + (1/5)(1/5)2 + (1/5)(2/5)2 + (1/5)(3/5)2 + (1/5)(4/5)2 = 0.24 I12 = (1/12)(0) +(1/12)(1/12)2 + (1/12)(2/12)2 + ... + (1/12)(11/12)2 = 0.292824 Verifíquelo en este vínculo tecleando x^2 en la pantalla y dando los correspondientes valors a n y b Encontremos ahora una expresión general para la aproximación al área bajo la curva, dividiendo el intervalo [0,1] en n subintervalos de la misma longitud. Le llamaremos In a la suma de las áreas de los n rectángulos inscritos: In= In= In= ) In= Para n = 1, 2, 3, ... I n es una sucesión de aproximaciones al área bajo la curva, por ejemplo para los valores de n = 5 y n = 12, tendremos los resultados ya obtenidos: es decir el área A bajo la gráfica es aproximadamente igual a: A I5 = 0.24 O bien mejorando la aproximación: A I12 = 0.29282407... Si estamos encontrando un valor aproximado, surge de manera natural la pregunta ¿qué error que se comete? El error cometido al aproximar con estos 4 rectángulos no excede la suma de las áreas de los rectángulos blancos encima de cada subintervalo, que como todos tienen la misma base, si los proyectamos a la derecha como en la figura, obtendremos un rectángulo de base 0.2 y altura 1. Por lo tanto el área bajo la curva es aproximadamente igual a 0.24 con un error que no excede de 0.2. A 0.24 con un error que no excede de 0.2 Claramente esta aproximación no es buena, por lo que intentaremos mejorarla. Al aproximarnos con los 11 rectángulos, obtuvimos 0.292828, Y calculado de manera análoga, el error no excede de (1/12)(1) = 0.083, lo cual no da una mejor aproximación. En general podemos observar que con n rectángulos, la aproximación es con un error que no excede de 1/n. En la siguiente tabla mostramos algunas de estas aproximaciones con sus respectivos errores: n In En 5 0.24 0.2 12 0.2928 0.0833 50 0.3234 0.02 100 0.32835 0.01 10,000 0.3332833 0.00001 1000,000 0.333332833 0.000001 Obsérvese que si el error En en la última columna tiende a cero al aumentar indefinidamente n, la aproximación In tiende a un número que al parecer sus primeras cifras decimales son iguales a 3 y a medida que n crece, también crece el número de veces que se repite el 3. Para obtener el valor exacto del área bajo la curva, tendríamos que tomar el valor límite de las aproximaciones In cuando n crece indefinidamente (tiende a infinito), es decir: que sustituyendo en la expresión obtenida para In , obtenemos: A =1/3 = 0.33333333... Gráficamente: Al igual que al calcular el área del círculo, podemos aproximarnos por arriba utilizando las mismas subdivisiones del intervalo [0,1], pero tomando como altura la imagen del extremo derecho del correspondiente subintervalo, como se muestra en la siguiente figura para n = 5 y n = 12. Si le llamamos Sn a la suma de las áreas de los rectángulos así construidos, Sn = Sn = Sn = Sn = También podemos observar en este caso que al tomar la aproximación se comete un error que no excede de 1/n. En la siguiente tabla mostramos algunas de estas aproximaciones con sus respectivos errores: n Sn En 5 0.44 0.2 12 0.376157 0.0833 50 0.3434 0.02 100 0.33835 0.01 10,000 0.3338335 0.00001 1000,000 0.3333338333335 0.000001 De nuevo se observa que al tender n a infinito, los valores de S n, se acercan a 1/3, lo cual podemos comprobarlo calculando que sustituyendo en la expresión obtenida para Sn , obtenemos: A =1/3 = 0.33333333... SUMAS SUPERIORES E INFERIORES PARA FUNCIONES MONÓTONAS En general, si tenemos una función creciente f : [a, b] R, y dividimos el intervalo en n partes iguales, cada una de longitud x = , los puntos de subdivisión del intervalo son: x0 = a , x1 = a + , x2 = a +2 x n-1 = a + (n-1) xn=a+n =b y definimos la SUMA INFERIOR de f, en relación a esta subdivisión, como: I n = f(xo) x + f(x1) x + f(x2) x + ... + f(x n-1) x O bien, expresado en notación sumatoria: In= f(xk) x Geométricamente, si f(x) > 0 en el intervalo [a, b], I n representa la suma de las áreas de los rectángulos que están por debajo de la curva, y por lo tanto es una aproximación por defecto al área bajo la curva. En caso de que la función tome valores positivos y negativos las áreas de los rectángulos encima del eje x se restan de los que están por debajo. Véanse las siguientes figuras. Análogamente definimos la SUMA SUPERIOR de f, también respecto a la misma subdivisión, como: S n = f(x1) x + f(x2) x + f(x3) x + ... + f(x n) x Que expresado en notación sumatoria: Sn= f(xk) x Geométricamente, si f(x) > 0 en el intervalo [a, b], S n representa la suma de las áreas de los rectángulos que están por arriba de la curva y por lo tanto es una aproximación por exceso al área bajo la curva. En caso de que la función tome valores positivos y negativos las áreas de los rectángulos encima del eje x se restan de los que están por debajo. CRITERIO DE INTEGRABILIDAD PARA FUNCIONES MONÓTONAS Si f es una función monótona creciente, consideramos la diferencia S n- I n y gráficamente podemos ver que S n - I n representa el área de la columna de la derecha, en la siguiente gráfica, es decir: S n- I n= [f(b) - f(a)]. Si hacemos crecer n, el número de subdivisiones del intervalo, la diferencia S n - I n se va acercando a cero, es decir, en la figura vemos que la base de la columna de la derecha tiende a cero y la altura se mantiene constante, y por lo tanto el área de la columna tiende a cero, es decir, o bien Por ser estos límites iguales diremos que la función f es INTEGRABLE en el intervalo [a,b], y al valor común de estos límites le llamaremos LA INTEGRAL de f sobre el intervalo [a,b], y la denotaremos por: Observación. La expresión encontrada por métodos geométricos para la diferencia S n - I n cuando f es positiva, S n- I n= [f(b) - f(a)] Puede verificarse en general para cualquier función creciente, no necesariamente positiva, de la siguiente manera: S n = f(x1) x + f(x2) x + f(x3) x + ... + f(x n-1) x + f(x n) x I n = f(xo) x + f(x1) x + f(x2) x + ... + f(x n-1) x S n - I n = - f(xo) x + f(x n) x Es decir, los términos unidos por líneas inclinadas son iguales y por lo tanto se cancelan al restarse, quedando solamente - f(xo) x y f(x n) x. Como xo = a , xn = b y x = Tenemos que S n - I n = - f(b) + f(a) Es decir, S n - I n = [f(b) - f(a)] Y en consecuencia TODA FUNCION CRECIENTE ES INTEGRABLE en un intervalo cerrado [a, b]. De una manera completamente análoga, que no desarrollaremos aquí, podemos ver que TODA FUNCIÓN DECRECIENTE ES INTEGRABLE. Observación. Al aproximarnos al área bajo la curva de una función creciente, ya sea con sumas superiores o sumas inferiores la expresión S n - I n nos sirve como una estimación del error. Nótese que si la función es decreciente, la estimación del error sería: S n - I n = [f(a) - f(b)] Ejemplo 3. Para f(x) = 1-x2 : a. Encuentre una aproximación para utilizando sumas superiores y dividiendo el intervalo de integración en 6 partes iguales. Estime el error. b. b) Encuentre el valor exacto de Solución: a) Dividimos el intervalo en 6 partes iguales cada una de longitud 1/6 y formamos la suma superior (Observe que como la función es decreciente, en cada subintervalo levantamos un rectángulo de altura igual a la imagen del extremo izquierdo, que es donde se alcanza el máximo valor.) Así pues 0.5787... Verifíquelo y el error cometido es E n < [f(a) - f(b)] = [f(0) - f(1)] = 0.1666... b) Para encontrar el valor exacto de la integral, dividimos el intervalo en n partes iguales, cada una de longitud 1/n y formamos la suma superior . y en consecuencia el valor del área será: por lo tanto: Ejemplo 3. Para f(x) = x3 : a) Encuentre una aproximación para dividiendo el intervalo de integración en 8 partes iguales y estime el error. b) Encuentre el valor exacto de Solución. a) En el intervalo [-1,0], la función toma valores negativos, por lo que en este caso no podemos interpretar a la integral como el área bajo la curva. Los puntos de división del intervalo serán: Determinando 8 intervalos, cada uno de longitud 1/8. Utilizaremos una suma superior para obtener la aproximación deseada. S 8 = (1/8)[(-7/8)3 + (-6/8)3 + (-5/8)3 + (-4/8)3 + (-3/8)3 + (-2/8)3 + (1/8)3 + (0)3] S8= Así pues -0.1914 con un error E8 < [f(b) - f(a)] = [f(0) - f(1)] = 1/8 = 0.125 Nótese que en este caso específico, la suma superior es exactamente igual al negativo de la aproximación al área bajo la curva, si se utiliza una suma inferior para f(x) = x3 en el intervalo [0,1], como se ve en la figura de abajo. b) Para encontrar el valor exacto de , dividimos el intervalo [-1, 0] en n partes iguales y como f es creciente, también es integrable y por lo tanto podemos utilizar tanto sumas superiores como inferiores. Sumas Superiores: Los puntos de subdivisión del intervalo son: De acuerdo a la definición de Suma Superior para una función creciente, en cada subintervalo multiplicamos 1/n por la evaluación de la función en el extremo derecho del mismo: Sn = 1/n[-(n-1)3/n3 -(n-2)3/n3 - . . . -33/n3 -23/n3 - 13/n3 -03/n3 ] Sn = -1/n4[(n-1)3 + (n-2)3 + . . . +33 + 23 + 13 + 03] Utilizando la fórmula para la suma de los cubos de los primeros k naturales: , sustituimos k = n-1 Así pues el valor exacto de la integral es: Definición: Si f : [a, b] R es seccionalmente monótona, elegimos xo = a, x1, x2, ..., xn = b tal que la función sea monótona en cada subintervalo, entonces: Observación: Aunque posteriormente definiremos la integral de funciones "más complicadas" que las seccionalmente monótonas, éstas cubren casi todos los casos de interés para los propósitos de este curso. HACIA EL TEOREMA FUNDAMENTAL DEL CALCULO En esta sección estableceremos la relación entre el concepto de integral aquí desarrollado y el concepto de derivada. La definición que hemos estudiado de integral, nos permite calcular la integral de funciones sencillas pero, como seguramente lo habremos notado, si complicamos un poco la función y el intervalo de integración es arbitrario, el cálculo del límite de sumas superiores o inferiores se volverá en general muy complicado. El hecho principal en que se basa el Teorema Fundamental del Cálculo ( T.F.C.) es el siguiente Teorema que discutiremos a continuación y a su vez utiliza un resultado de funciones continuas. Teorema del Valor Medio para Integrales. Sea f una función continua seccionalmente monótona, definida en el intervalo [a, b], entonces existe un punto xo entre a y b tal que: Demostración: Primer caso: f creciente Geométricamente lo que nos dice este teorema es que si f es positiva, el área bajo la curva se encuentra entre las áreas de los rectángulos de base (b-a) y alturas f(a) y f(b), como se observa en la figura de arriba, para una función creciente. Si Consideramos todos los rectángulos posibles de base (b-a) con altura inicial f(a) y altura final f(b), el área de uno de éstos forzosamente coincidirá con el área bajo la curva y esa altura será la imagen bajo f de algún punto en el intervalo [a, b], por la continuidad de f. Haremos primeramente la demostración sin aludir a la gráfica ni al hecho de ser positiva la función. Dividamos el intervalo [a, b] en n partes iguales, cada una de longitud x = (b-a)/n. A los puntos de subdivisión les llamaremos a = xo , x1 , x2 , ... , xn-1 , xn =b Como f es creciente, toma sus valores mínimo y máximo en f(a) y f(b) respectivamente, es decir: para toda Cada punto de la subdivisión satisface la anterior desigualdad. Si en ambos lados de estas desigualdades dobles multiplicamos por la cantidad positiva x y si las sumamos término a término. La suma de los términos medios de las desigualdades es la Suma Inferior de f relativa a esta subdivisión: . . . ____________________________________ pero como (n)( x) = (n)(b-a/n) = b-a para cada n = 1, 2, 3, ... Hasta este momento hemos probado que cualquier suma inferior se encuentra entre y , en consecuencia el límite de ellas también se encontrará entre estos números, es decir y utilizando el hecho de que , obtenemos: . O equivalentemente se encuentra entre f(a) y f(b) y como f es continua, se alcanzan todos los valores intermedios entre dos imágenes cualesquiera, por lo que esta cantidad debe ser la imagen de un punto entre a y b, es decir: = f(xo) para algún xo en el intervalo [a, b], que es lo que deseábamos demostrar. b) segundo caso: f decreciente La demostración para el caso de una función decreciente es completamente análoga y se deja como ejercicio. c) Tercer caso: f seccionalmente monótona En este caso lo ilustraremos geométricamente para una función monótona en dos secciones, como la de la gráfica, en el entendido de que la generalización es inmediata. Aplicamos el resultado para funciones crecientes y decrecientes a la función en los intervalos [a, c] y [c, b] respectivamente, es decir existen puntos x1 [a, c] y x2 [c, b] tales que: y Geométricamente vemos que la parte decreciente de la función tiene área bajo la curva igual a la del rectángulo de base c-a y altura f(x1) y la parte creciente tiene área igual a la del rectángulo de base b-c y altura f(x2). Obsérvese que podemos encontrar un rectángulo de base b-a con una altura intermedia H entre f(x1) y f(x2) de tal manera que el área de éste sea igual al área bajo la gráfica completa, como se ve en la siguiente ilustración. Por la continuidad, f toma todos los valores intermedios entre f(x1) y f(x2), es decir existe xo entre x1 y x2 tal que H = f(xo). Como H = , se tiene: para algún xo [a, b] En la siguiente sección utilizaremos este hecho para establecer el Teorema Fundamental del Cálculo, el cual nos permitirá, entre otras cosas, encontrar el valor de la integral definida en un intervalo [a, b] con la utilización de la herramienta del Cálculo Diferencial.