Área

Probablemente tiene una idea intuitiva de que el área de una fgura
geométrica es la medida que, en alguna forma, proporciona el tamaño de la
región encerrada por la fgura. Por ejemplo, se sabe que el área de un
rectángulo es el producto de su largo y su ancho, y el área de un triángulo es la
mitad del producto de las longitudes de su base y de su altura. l área de un
pol!gono puede defnirse como la suma de las áreas de los triángulos en que
puede ser descompuesto, y puede demostrarse que el área as! obtenida es
independiente de cómo se descompuso el pol!gono en triángulos. "bserve la
fgura #.
n esta sección, se defne el área de una región en un plano si la región está
limitada por una curva. $i desea saber porque se trataran tales áreas, la
respuesta es que se establecerán los fundamentos necesarios para motivar
geométricamente la defnición de integral defnida en la sección siguiente.
%ecuerde, se motivó geométricamente la defnición de la derivada de una
función como la pendiente de la recta tangente a la gráfca de la función. &usto
como con la derivada, después de haber establecido la integral defnida vera
que puede aplicarse la defnición en una gran variedad de campos
n el estudio del área se trataran sumas de muchos términos, de modo que
se introduce una notación, llamada notación sigma, para facilitar la escritura
de estas sumas. sta notación requiere el uso del s!mbolo ', la letra sigma
may(scula del alfabeto griego. n el ejemplo ilustrativo siguiente se dan
algunos ejemplos de notación sigma.
Ejemplo ilustrativo 1
4.4.1 Defnición de la notación sigma
)onde m y n son n(meros enteros, y m * n.
l miembro derecho de la ecuación de la defnición consiste de la
suma de +n,m-#. términos, el primero de los cuales se obtiene al
sustituir i por m en /+i., el segundo se obtiene al reempla0ar i por m-#
en /+i., y as! sucesivamente, hasta el (ltimo termino se obtiene
sustituyendo i por n en /+i..
l n(mero m se denomina l!mite inferior de la suma, y n se denomina
l!mite superior de la suma. l s!mbolo i recibe el nombre de !ndice de la
suma. ste es un s!mbolo 1fcticio2 porque cualquier otra letra puede
emplearse para este propósito. Por ejemplo,
s equivalente a
Ejemplo ilustrativo 2
n ocasiones los términos de una suma contienen sub!ndices, como se muestra
en el ejemplo ilustrativo siguiente.
Ejemplo ilustrativo 3
3os teoremas siguientes tratan sobre el uso de la notación sigma, son (tiles
para ciertos cálculos y se demuestran fácilmente.
4.4.2 Teorema
Demostración
4.4.3 Teorema
Demostración
4.4.4 Teorema
4.4.5 Teorema
+#.
4
+5.
Ejemplo ilustrativo 4
)e la ecuación +#. del teorema anterior,
)e la ecuación +5. del teorema anterior,
4.4.6 Teorema
Demostración
n el miembro derecho de esta ecuación se escribe la primera suma en otra
forma, y se aplica la ecuación +5. del teorema, con c6#, a la segunda suma.
ntonces,
4.4. Teorema
$i n es un n(mero entero positivo, entonces,
+/ormula #.
+/ormula 5.
+/ormula 7.
+/ormula 8.
9ntes de estudiar el área de una región plana, se indicara porque se utili0a la
terminolog!a 1medida del área2. 3a palabra medida se refere a un n(mero +no
se incluyen las unidades.. Por ejemplo, si el área de un triángulo es 5: , se
dice que la medida del área del triángulo, en cent!metros cuadrados, es 5:.
;uando la palabra medición se aplica, se incluyen las unidades.
)e este modo, la medición del área del triángulo es 5: .
9hora considere una región % del plano como muestra la fgura 5. 3a región
% está limitada por el eje <, las rectas <6a y <6b, y la curva cuya ecuación es
y6f+<., donde f es una función continua en el intervalo cerrado =a, b>. Por
simplicidad, se toma f+<. ? : para toda < en =a, b>. $e desea asignar un n(mero
9 a la medida del área de %, y utili0ar un proceso de limita semejante al
empleado en la defnición del área de un c!rculo@ l área de un c!rculo está
defnida como el l!mite de las áreas de los pol!gonos regulares inscritos cuando
el n(mero de lados aumenta sin l!mite. Antuitivamente, se ve que cualquiera
que haya sido el n(mero elegido para representar 9, ese n(mero debe ser por
lo menos tan grande como el área de cualquier región poligonal contenida en
%, y no debe ser mayor que la medida del área de cualquiera región poligonal
que contenga a %.
Primero se defne una región poligonal contenida en %. $e divide el intervalo
cerrado =a, b> en n subintervalos. Para simplifcar se consideran estos
subintervalos de igual longitud, por ejemplo, . Por tanto,
3os e<tremos de estos subintervalos se denotan por donde
. l i,esimo
subintervalo se denotara por = >. ;omo f es continua en el intervalo
cerrado =a, b>, es continua en cada subintervalo. Por el teorema del valor
e<tremo, e<iste un numero en cada subintervalo para el cual f tiene un valor
m!nimo absoluto. n el i,esimo subintervalo sea este n(mero, de modo que f
+ es el valor m!nimo absoluto de f en el subintervalo = >. ;onsidere los n
rectángulos +o elementos de área., cada uno de ancho unidades y altura de
f + unidades +reférase a la fgura 7.. $ea unidades cuadradas la suma de
las áreas de estos n rectángulosB entonces,
", con la notación sigma,
+7.
l miembro derecho de +7. proporciona la suma de las medidas de las áreas de
los n rectángulos inscritos. )e este modo, independientemente de cómo se
defne 9, debe ser tal que
9 ?
n la fgura 7 la región sombreada tiene un área de unidades cuadradas.
9 continuación se incrementara n. spec!fcamente, multiplique n por 5B
entonces el n(mero de rectángulos es el doble, y el ancho de cada rectángulo
se redujo a la mitad. sto se ilustra en la fgura 8, la cual muestra el doble de
rectángulos de la fgura 7. 9l comparar las dos fguras, se observa que la región
sombreada de la fgura 8 parece que se apro<ima más a la región % que la
región de la fgura 7. 9s!, la suma de las áreas de los rectángulos de la fgura 8
está más pró<ima al n(mero que se desea para representar la medida del área
de la región %.
;onforme n se incrementa, los valores de determinados a partir de la
ecuación +7. aumentan, y los valores sucesivos de diferen uno del otro en
cantidades arbitrariamente pequeñas. sto se demuestra en ;alculo avan0ado
mediante un teorema que establece que si f es continua en =a, b>, entonces
conforme n crece sin l!mite, el valor de dado por +7. se apro<ima al l!mite.
ste l!mite es el que se toma como defnición de la medida del área de la
región %.
4.4.! Defnición del "rea de una región plana
$uponga que la función f es continua en el intervalo cerrado =a, b>, con f+<.?:
para toda < en =a, b>, y que % es la región limitada por la curva y6f+<., el eje <
y las rectas <6a y <6b. )ivida el intervalo =a, b> en n subintervalos, cada uno
de longitud , y denote el i,esimo subintervalo por = >. ntonces si
es el valor de función m!nimo absoluto en el i,esimo subintervalo, la
medida del área de la región % está dada por
+8.
sta ecuación signifca que para cualquier e<iste un n(mero tal que
si n es un numero entero positivo y si entonces
n la discusión anterior pudieron haberse considerado rectángulos circunscritos
en lugar de rectángulos inscritos. n este caso, se toman como medidas de las
alturas de los rectángulos los valores má<imos absolutos de f en cada
subintervalo. 3a e<istencia de un valor má<imo absoluto de f en cada
subintervalo está garanti0ada por el teorema del valor e<tremo. 3as sumas
correspondientes de las medidas de las áreas de los rectángulos circunscritos
son por lo menos tan grandes como la medida del área de la región %, y puede
demostrarse que el l!mite de estas sumas conforme n crece sin l!mite es
e<actamente el mismo que el l!mite de la suma de las áreas de los rectángulos
inscritos. sto también se demuestra en ;álculo avan0ado. )e esta manera, se
puede defnir la medida del área de la región % por
+C.
donde es el valor má<imo absoluto de f en .
3a medida de la altura del rectángulo del i,esimo subintervalo en realidad
puede tomarse como el valor de la función de cualquier n(mero del
subintervalo, y el l!mite de la suma de las medidas de las áreas de los
rectángulos será el mismo sin importar que n(meros se hayan elegido. n la
sección 8.C se e<tenderá la defnición de la medida del área de una región
como el l!mite de dicha suma.
#ntegral Defnida
n la sección anterior, para llegar a la defnición de la medida del área de una
región plana como
+#.
se dividió el intervalo cerrado =a, b> en n subintervalos, cada uno de longitud
, y se tomo como el punto del i,esimo subintervalo para el cual f tiene un
valor m!nimo absoluto. Dambién se restringieron los valores de función f+<. a
valores no negativos en =a, b> y se pidió que f fuese continua en =a, b>. l l!mite
en +#. es un caso especial de un 1nuevo tipo2 de proceso de l!mite que conduce
a la defnición de la integral defnida. 9hora se discutirá este 1nuevo tipo2 de
limite.
$ea f una función defnida en el intervalo cerrado =a, b>. )ivida este
intervalo en n subintervalos eligiendo cualesquiera n,# puntos intermedios
entre a y b. $ean , y sean los puntos intermedios de
modo que
3os puntos no son necesariamente equidistantes. $ea la
longitud del primer subintervalo de modo que B sea la longitud
del segundo subintervalo de modo que B y as! sucesivamente de
modo que la longitud del i,esimo subintervalo es , y
9l conjunto de estos subintervalos del intervalo =a, b> se le denomina partición
del intervalo =a, b>. $ea dicha partición. 3a fgura # ilustra una de estas
particiones de =a, b>.
3a partición contiene n subintervalos. Eno de estos subintervalos es más
largoB sin embargo, puede haber más de uno. 3a longitud del subintervalo más
largo de la partición se llama norma de la partición y se denota por .
lija un punto en cada subintervalo de la partición @ sea el punto elegido
en de modo que y as! sucesivamente, de modo que es el
punto elegido en y . ;onsidere
" bien
+5.
sta (ltima suma recibe el nombre de suma de %iemann, en honor al
matemático alemán Feorg /riedrich Gernhard %iemann +#H5I,#HII..
Ejemplo ilustrativo 1
$uponga que , con . $e calculara la suma de
%iemann para la función f en =:.5C, 7> para la siguiente partición
, y
.
3a fgura 5 muestra la gráfca de f en =:.5C, 7> y los cinco rectángulos, cuyas
áreas son los términos de la suma de %iemann siguiente@
3a norma de la partición es la longitud del subintervalo mas largoB en
consecuencia,
n la defnición anterior de +5. como una suma de %iemann, los valores de
función no se restringieron a valores no negativos. Por tanto, algunos de los
podr!an ser negativos. n tal caso la interpretación geométrica de la
suma de %iemann ser!a la suma de las medidas de las áreas de los rectángulos
los que están sobre el eje < y los negativos de las medidas de las áreas de los
rectángulos que se encuentran debajo del eje <. sta situación se ilustra en la
fgura 7. 9qu!,
Porque y son n(meros negativos.
9hora suponga que para la función f en +5. e<iste un n(mero 3 tal que
Puede hacerse tan pequeño como se desee para todas las particiones cuyas
normas sean sufcientemente pequeñas, y para cualquier en el intervalo
cerrado = , . n tal caso se dice que f es integrable en =a, b>.
4.5.1 Defnición de $unción integra%le en un intervalo cerrado
$ea f una función cuyo dominio contiene al intervalo cerrado =a, b>. $e dice que
f es integrable en =a, b> si e<iste un numero 3 que satisface la condición de
que, para cualquier , e<iste una tal que para toda partición para la
cual , y para cualquier del intervalo cerrado ,
entonces
+7.
sta situación se representa como
+8.
sta defnición establece que, para una función f defnida en el intervalo
cerrado =a, b>, se puede apro<imar los valores de las sumas de %iemann a 3
tanto como se desee tomando las normas de todas las particiones de =a,
b> sufcientemente pequeñas para todas las posibles elecciones de los n(meros
para los cuales ,
"bserve que el proceso de limite dado por +8. es diferente del que se
estudió en el cap!tulo #.
l numero 3 en +8. e<iste si para cada e<iste una tal que para toda
partición para la cual , y para cualquier del intervalo cerrado =
, entonces la desigualdad +7. se cumple.
n la defnición se tuvo
+C.
$i para cualquier e<iste una tal que
$i entonces
n el proceso de limite +8., para una particular e<iste un numero infnito
de particiones que tienen norma . sto es análogo al hecho de que en
el proceso de limite +C., para una dada e<iste un numero ininito de
valores de < para los cuales . $in embargo, en el proceso de
limite +8. para cada partición e<iste un numero infnito de elecciones de .
s en este aspecto en el que diferen los dos procesos de l!mite.
l teorema, demostrado en la sección suplementaria, establece que si e
numero 3 en el proceso de limite +C. e<iste, entonces es (nico.
)e manera semejante se puede demostrar que si e<iste un n(mero 3 que
satisfaga la defnición, entonces es (nico. 9hora puede defnirse la integral
defnida.
4.5.2 Defnición de integral defnida
$i f es una función defnida en el intervalo cerrado =a, b>, entonces la integral
defnida de f de a , denotada por , está dada por
+I.
$i el l!mite e<iste.
"bserve que la oración 1la función f es integrable en el intervalo cerrado =a,
b>2 equivale a la oración 1la integral defnida de f de a e<iste2.
n la notación de la integral defnida , es el integrando, es el
limite inferior, y es el l!mite superior. l s!mbolo es el signo de integración.
l signo de integración se parece a la letra may(scula $, el cual es apropiado
porque la integral defnida es el l!mite de una suma. s el mismo s!mbolo que
se ha utili0ado para indicar la operación anti derivación. 3a ra0ón para emplear
el mismo s!mbolo se debe a que un teorema, llamado segundo teorema
fundamental del cálculo, permite evaluar una integral defnida mediante una
anti derivada +también denominada integral indefnida..
l teorema siguiente proporciona condiciones que garanti0an el hecho de
que una función es integrable en un intervalo cerrado dado.
4.5.3 Teorema
$i una función es continua en el intervalo cerrado =a, b>, entonces es integrable
en =a, b>.
3a demostración de este teorema está más allá del alcance de este libro y
puede encontrarse en te<tos de cálculo avan0ado. 3a condición de que f es
continua en =a, b>, es sufciente para garanti0ar que f es integrable en =a, b>,
mas no es una condición necesaria para la e<istencia de la integral defnida.
sto es, una función puede ser integrable en un intervalo cerrado aunque no
sea continua en ese intervalo. ;uando estudie integrales impropias en el
cap!tulo J, encontrara algunas funciones de este tipo. n el comien0o de esta
sección se dijo que el l!mite empleado en la defnición para defnir la medida
del área de una región es un caso especial del l!mite utili0ado en la defnición
para defnir la integral defnida. n este estudio de área, en intervalo =a, b> se
dividió en n subintervalos de igual longitud. Dal partición del intervalo =a, b> se
llama partición regular. $i es la longitud de cada subintervalo de una
partición regular, entonces cada , y la norma de la partición es . 9l
sustituir esto en +I. se obtiene
+J.
9demás,
4
9s!,
4
3a ra0ón de que es que y se apro<ima a cero a través de
valores positivos +porque .. 9 partir de estos l!mites se concluye que
s equivalente a
)e modo que de este enunciado y de +J., se tiene
+H.
$i se compara el l!mite de la defnición con el l!mite del miembro derecho de
+H., se tiene el primer caso
+K.
)onde es el valor de función m!nimo absoluto en . n el segundo
caso se tiene
+#:.
donde es cualquier n(mero del intervalo
$i la integral defnida e<iste, es el l!mite de todas las sumas de
%iemann de f en =a, b> incluyendo las de +K. y +#:.. )ebido a esto, se redefne
el área de una región de manera más general.
4.5.4 Defnición del "rea de una región plana
$ea f una función continua en =a, b> y para toda < en =a, b>. $ea % la
región limitada por la curva , el eje < y las rectas y . ntonces
la medida 9 del área de la región % está dada por
)e esta defnición, si f es continua en =a, b> y para toda < en =a, b>,
entonces la integral defnida puede interpretarse geométricamente
como la medida del área de la región % mostrada en la fgura 8.
4.5.5 Defnición de si
$i y e<iste, entonces
4.5.6 Defnición de
$i e<iste, entonces
l proceso para calcular el valor e<acto de una integral defnida a partir de
la defnición determinando el l!mite de una suma, como se hi0o en la sección
anterior para obtener áreas de regiones planas, es demasiado tedioso y casi
imposible. $in embargo, los dos teoremas fundamentales del cálculo,
presentados en la sección 8.J, proporcionan un método más conveniente para
este cálculo. Para demostrar estos dos teoremas importantes se necesitan
algunas propiedades de la integral defnida, las cuales se estudian en el resto
de esta sección y en la sección 8.I.
Primero se presentaran los dos teoremas siguientes acerca de las sumas de
%iemann.
4.5. Teorema
$i es una partición del intervalo cerrado =a, b>, entonces
Demostración
n consecuencia, para cualquier , cualquier elección de garanti0a
que
$i entonces
9s!, por la defnición 8.C.#
4.5.! Teorema
$i f está defnida en el intervalo cerrado =a, b>, y si
<iste, donde es cualquier partición de =a, b>, entonces si L es cualquier
constante,
4.5.& Teorema
$i L es cualquier constante, entonces
Demostración
$i f+<.6L para todo < en =a, b>, de la ecuación anterior se tiene
4.5.1' Teorema
$i la función f es integrable en el intervalo cerrado =a, b>, y si L es cualquier
constante, entonces
Demostración
;omo f es integrable en =a, b>,
<iste de modo que
Por tanto
4.5.11 Teorema
$i las funciones f y g son integrables en =a, b>, entonces f - g es integrable en
=a, b> y
3a demostración de este teorema se presenta en el suplemente de esta
sección. "bserve la semejan0a del teorema 8.C.## y el teorema de limites 8
+#.C.C., el l!mite de la suma de dos funciones. 3a demostración de los teoremas
son similares.
l signo más en el enunciado del teorema 8.C.## puede reempla0arse por
un signo menos aplicando el teorema 8.C.#: con L6,#.
l teorema 8.C.## puede e<tenderse a n funciones. sto es, si las funciones
son integrables en =a, b>, entonces es integrable en
=a, b> y
4.5.12 Teorema
$i la función f es integrable en los intervalos cerrados =a, b>, =a, c> y =c, b>,
entonces
)onde a M c M b.
4.5.13 Teorema
$i f es integrable en un intervalo cerrado que contiene los tres n(meros a, b y
c, entonces
+##.
sin importar el orden de a, b y c.
Demostración
$i a, b y c son diferentes, entonces e<isten seis ordenes posibles de estos tres
n(meros@ . l segundo
orden, , corresponde al teorema 8.C.#5. $e aplica este teorema a fn de
demostrar que la ecuación +##. se cumple para los otros órdenes.
$uponga que B entonces por el teorema 8.C.#5
+#5.
)e la defnición 8.C.C,
9l sustituir de esta ecuación en +#5. se obtiene
)e donde
3o cual es el resultado deseado.
3as demostraciones para los otros cuatro casos son semejantes y se dejan
como ejercicio. %eférase a los ejercicios 87 a 8I.
"tra posibilidad consiste en que dos n(meros sean igualesB por ejemplo, a 6
c M b. ntonces
Dambién, como a 6 c,
Por tanto,
l cual es el resultado deseado.