Beruflich Dokumente
Kultur Dokumente
Integral de Riemann
8.1. Introduccin
El clculo integral tiene sus orgenes en los llamados problemas de cuadraturas. Inicialmente, en la antigua Grecia, dichos problemas eran geomtricos y consistan en construir, siguiendo reglas precisas, un cuadrado con rea igual a la de una figura plana dada. En el siglo
XVII, con el descubrimiento de nuevas curvas, los aspectos geomtricos de estos problemas
pasaron a un segundo plano y las tcnicas de clculo ocuparon su lugar, los problemas de cuadraturas pasaron a ser simplemente problemas de clculo de reas y de volmenes. Se atribuye
a Eudoxo la invencin del mtodo de exhauscin, una tcnica para calcular el rea de una regin aproximndola por una sucesin de polgonos. Arqumedes perfeccion este mtodo y,
entre otros resultados, calcul el rea de un segmento de parbola y el volumen de un segmento
de paraboloide, as como el rea y el volumen de una esfera.
Sorprende que, siendo tan antiguos sus orgenes, la primera definicin matemtica de integral no fuera dada hasta el siglo XIX por Augustin Louis Cauchy. Una posible explicacin
es que, durante los siglos XVII y XVIII, la integracin fue considerada como la operacin
inversa de la derivacin; el clculo integral consista esencialmente en el clculo de primitivas. Naturalmente, se conoca la utilidad de las integrales para calcular reas y volmenes,
pero los matemticos de la poca consideraban estas nociones como dadas de forma intuitiva
y no vieron la necesidad de precisar su significacin matemtica. Los trabajos de Joseph Fourier (1768-1830) sobre representacin de funciones por series trigonomtricas, hicieron que el
concepto de funcin evolucionara, desde la idea restrictiva de funcin como frmula, hasta la
definicin moderna de funcin dada por Dirichlet en 1837. Para entender el significado de la integral de estas nuevas funciones ms generales se vio la necesidad de precisar matemticamente
los conceptos de rea y de volumen.
386
Introduccin
387
Aproximaciones al rea
388
tico. Nos interesa la integral como herramienta de clculo y, aunque para ese propsito la integral de Cauchy sera suficiente para nosotros, estudiaremos la integral de Riemann, que es ms
general sin ser ms complicada, y que aporta la ventaja de su gran poder heurstico como tendremos ocasin de comprobar. He reducido la teora al mnimo indispensable para una correcta
comprensin del Teorema Fundamental del Clculo cuya demostracin se da con detalle, no
as las de otros resultados y propiedades de la integral, de fcil comprensin conceptual, cuyas
demostraciones, bastante previsibles, no me ha parecido conveniente incluir.
La integracin es una de las herramientas ms verstiles del Clculo, sus aplicaciones no
se limitan a calcular reas de regiones planas o volmenes de slidos, tambin se utiliza para
calcular longitudes de curvas, centros de masas, momentos de inercia, reas de superficies, para
representar magnitudes fsicas como el trabajo, la fuerza ejercida por una presin, o la energa
potencial en un campo de fuerzas.
y D f .x/
Nos proponemos calcular el rea de regiones de este tipo. Puesto que, en general, G.f; a; b/
no puede descomponerse en tringulos o rectngulos, no hay una frmula que nos permita
calcular directamente su rea.
En situaciones como esta, una estrategia bsica consiste en obtener soluciones aproximadas que permitan definir el valor exacto del rea como lmite de las mismas. Fjate que, al
proceder as, estamos definiendo dicho valor exacto, es decir, estamos dando una definicin
matemtica del concepto intuitivo de rea1 . Naturalmente, queremos que dicha definicin sea
lo ms general posible, lo que depende del tipo de soluciones aproximadas que elijamos. Las
aproximaciones consideradas en la teora de la integral de Lebesgue conducen a un concepto
de rea muy general. En lo que sigue vamos a considerar las aproximaciones que conducen a
la integral de Riemann.
1 Ello trae como consecuencia inevitable que haya regiones extraas en el plano que, segn la definicin dada,
no tengan rea.
Universidad de Granada
Dpto. de Anlisis Matemtico
Aproximaciones al rea
389
Como los conceptos que vamos a introducir se interpretan con ms facilidad cuando la
funcin f es positiva, es conveniente tener bien presente en lo que sigue el siguiente artificio
que permite representar cualquier funcin como diferencia de dos funciones positivas.
Cualquier funcin f puede escribirse como diferencia de dos funciones positivas:
f C .x/ D
jf .x/j C f .x/
D mKax ff .x/; 0g
2
f .x/ D
jf .x/j
f .x/
2
D mKax f f .x/; 0g
Es claro que f .x/ D f C .x/ f .x/ y que f C .x/ > 0, f .x/ > 0. La funcin f C se llama
parte positiva de f , y la funcin f se llama parte negativa de f . Si f .x/ > 0 se tiene que
f .x/Df C .x/ y f .x/D0; mientras que si f .x/60 se tiene que f .x/D f .x/ y f C .x/D0.
Fjate que, a pesar de su nombre y de la forma en que se simboliza, la funcin f es una funcin
positiva. Tambin es consecuencia de las definiciones dadas que jf .x/j D f C .x/ C f .x/.
y Df C .x/
y Df .x/
y D f .x/
a
< xn D b
Se dice que estos puntos constituyen una particin de a; b. A continuacin se elige en cada
subintervalo un punto tk 2 xk 1 ; xk , y se forma el rectngulo cuya base es el intervalo
n
X
xk 1 ; xk y altura igual a f .tk /. Finalmente se forma la suma
f .tk /.xk xk 1 /.
kD1
n
X
f .tk /.xk
xk
1/
kD1
Universidad de Granada
Dpto. de Anlisis Matemtico
Aproximaciones al rea
390
n
X
kD1
n
X
f .tk /.xk
xk
f C .tk /.xk
1/ D
xk
1/
kD1
n
X
.f C .tk /
kD1
n
X
f .tk //.xk
f .tk /.xk
xk
kD1
1/
xk
1 /D
D .f C ; P /
.f ; P /
En este caso .f; P / es una aproximacin del rea de G.f C ; a; b/ menos el rea de G.f ; a; b/.
En la siguiente figura puede apreciarse esta aproximacin.
y D f .x/
y D f .x/
n
X
kD1
Mk .xk
xk
1 /;
I.f; P / D
n
X
mk .xk
xk
1/
kD1
Para cada particin hay una nica suma superior y otra inferior.
Cuando f es positiva y suficientemente buena, y las longitudes de todos los subintervalos de la particin son suficientemente pequeas, el nmero S.f; P / es un valor aproximado
2 Es
para definir estas sumas para lo que se precisa que f est acotada en a; b.
Universidad de Granada
Dpto. de Anlisis Matemtico
391
por exceso del rea de la regin G.f; a; b/, y el nmero I.f; P / es un valor aproximado por
defecto del rea de la regin G.f; a; b/.
Cuando la funcin f toma valores positivos y negativos, el nmero S.f; P / es un
valor aproximado por exceso del rea de G.f C ; a; b/ menos el rea de G.f ; a; b/, y el nmero I.f; P / es un valor aproximado por defecto del rea de G.f C ; a; b/ menos el rea de
G.f ; a; b/.
En la siguiente figura pueden apreciarse estas aproximaciones.
y D f .x/
y D f .x/
sup fI.f; P / W P 2 P a; bg :
Donde hemos representado por P a; b el conjunto de todas las particiones del intervalo a; b.
Llegados aqu, podemos ya dar la definicin principal de la teora de la integral de Riemann.
8.6 Definicin. Sea f una funcin acotada y positiva en a; b. Se dice que el conjunto G.f; a; b/
tiene rea cuando
Knf fS.f; P / W P 2 P a; bg D sup fI.f; P / W P 2 P a; bg
Dicho valor comn es, por definicin, el valor del rea y lo representaremos por .G.f; a; b//.
Cuando esto ocurre, se dice tambin que la funcin f es integrable Riemann en a; b y, por
definicin, la integral de f en a; b es igual a .G.f; a; b//. Simblicamente escribimos:
wb
a
Universidad de Granada
Dpto. de Anlisis Matemtico
392
En el caso general en que la funcin f toma valores positivos y negativos, se dice que f es
integrable Riemann en a; b cuando lo son las funciones f C y f , en cuyo caso se define la
integral de f en a; b como el nmero:
wb
a
.G.f ; a; b//
8.7 Observaciones.
rb
No te confundas con la notacin. El smbolo a f .x/ dx representa un nmero. La
variable x que figura en l se suele decir que es una variable muda. Naturalmente, la letra x no
tiene ningn significado especial y puede sustituirse por la que t quieras o no poner ninguna;
por ejemplo:
wb
wb
wb
f .t / dt ;
f .s/ ds ;
f
a
son tres formas de escribir lo mismo. Volveremos sobre esta notacin ms adelante cuando
estudiemos tcnicas de integracin.
La definicin anterior debes entenderla como una primera aproximacin matemtica al
concepto intuitivo de rea. Aunque te pueda parecer extrao, el concepto de rea (y de integral)
que acabamos de definir es bastante restrictivo.
En el caso en que la funcin f toma valores positivos y negativos, observa que la
grfica de f se obtiene por simetra respecto al eje de abscisas de las partes de la grfica de
f en las que f .x/ < 0. Como regiones simtricas respecto de una recta tienen la misma rea,
se sigue que:
.G.f; a; b// D .G.f C ; a; b// C .G.f ; a; b// D .G.f C C f ; a; b//D
D .G.jf j; a; b// D
wb
a
jf .x/j dx
rb
Seamos prcticos. Cmo podemos, a partir de la definicin dada, calcular a f .x/ dx ?
Una primera idea en este sentido consiste en observar que cuanto mayor sea el nmero de
intervalos de la particin y ms pequea la longitud de cada uno de ellos cabe esperar que la
aproximacin obtenida sea mejor. Para precisar esta idea, definimos el paso de una particin
P , y lo representamos por .P /, como la mayor de las longitudes de los subintervalos de
dicha particin.
8.8 Teorema (Convergencia de las sumas integrales). Sea f W a; b ! R una funcin integrable, fPn g una sucesin de particiones de a; b tal que f.Pn /g ! 0 y .f; Pn/ una suma
de Riemann de f para la particin Pn . Se verifica entonces que:
lKm S.f; Pn / D lKm .f; Pn/ D lKm I.f; Pn/ D
n!1
n!1
n!1
wb
f .x/ dx
(8.1)
Este resultado permite en algunos casos particulares y con bastante esfuerzo e ingenio
calcular ciertas integrales. Como ms adelante aprenderemos a calcular integrales con facilidad,
Universidad de Granada
Dpto. de Anlisis Matemtico
393
es ms interesante usar dicho resultado sensu contrario para calcular los lmites de ciertas
sucesiones. Para ello se usa con frecuencia el siguiente corolario.
8.9 Corolario. Para toda funcin f integrable en 0; 1 se verifica que:
w1
n
k
1X
f
D f .x/ dx
lKm
n!1 n
n
kD1
(8.2)
Teniendo en cuenta que cualesquiera sean las funciones f; g y los nmeros ; , se verifica
que .f C g; P / D .f; P / C .g; P /, para toda particin P , se deduce, haciendo uso
del teorema 8.8, que la integral es lineal. Esta propiedad, junto con otras propiedades bsicas
de las integrales se recogen en el siguiente resultado.
8.10 Proposicin (Propiedades bsicas de la integral).
i) Linealidad. Si f; g son integrables en a; b y ; son nmeros reales, se verifica que la
funcin f C g tambin es integrable en a; b y
wb
a
wb
wb
.f .x/ C g.x// dx D f .x/ dx C g.x/ dx :
a
ii) Conservacin del orden. Si f; g son integrables en a; b y f .x/ 6 g.x/ para todo
x 2 a; b, entonces se verifica que:
wb
f .x/ dx 6
wb
g.x/ dx
a/ 6
wb
f .x/ dx 6 M .b
a/
(8.3)
wb
wb
f .x/ dx 6 jf .x/j dx
(8.4)
a
a
iv) El producto de funciones integrables Riemann tambin es una funcin integrable Riemann.
v) Aditividad respecto del intervalo. Sea a < c < b. Una funcin f es integrable en a; b
si, y slo si, es integrable en a; c y en c; b, en cuyo caso se verifica la igualdad:
wb
a
Universidad de Granada
Dpto. de Anlisis Matemtico
f .x/ dx D
wc
a
f .x/ dx C
wb
f .x/ dx
394
Ha llegado el momento de preguntarse por condiciones que garanticen que una funcin es
integrable Riemann. Nos vamos a contentar con una respuesta parcial a esta pregunta, que es
suficiente para nuestros propsitos.
8.11 Teorema (Condiciones suficientes de integrabilidad Riemann). Sea f W a; b ! R .
Cada una de las siguientes condiciones garantizan que f es integrable Riemann en a; b.
i) f est acotada en a; b y tiene un nmero finito de discontinuidades en a; b. En particular, toda funcin continua en un intervalo cerrado y acotado es integrable en dicho intervalo.
ii) f es montona en a; b.
Demostracin. Segn la definicin dada, una funcin f positiva y acotada en un intervalo a; b
es integrable en a; b cuando las aproximaciones superiores estn arbitrariamente prximas
de las aproximaciones inferiores al rea del conjunto ordenado de f . En otros trminos, una
funcin f positiva y acotada en un intervalo a; b es integrable en a; b si, y slo si, para todo
" > 0, hay una particin P" de a; b tal que S.f; P" / I.f; P" / 6 "3 . Probaremos que las
funciones continuas y las funciones montonas en a; b satisfacen esta condicin.
Ses f W a; b ! R continua en a; b, entonces sabemos que f est acotada en a; b. En
particular, hay un nmero M tal que f .x/ 6 M para todo x 2 a; b. Por tanto la funcin
M f es continua y positiva en a; b y, como las funciones constantes son integrables, la
integrabilidad de la funcin M f equivale a la integrabilidad de f . Podemos, por tanto,
suponer que f es positiva en a; b. En virtud del teorema 7.59 la funcin f es uniformemente
continua en a; b. Por tanto, dado " > 0, hay un nmero > 0, tal que para todos x; y 2 a; b
con jx yj < se verifica que jf .x/ f .y/j < "=.b a/. Sea P" una particin del intervalo
a; b cuyos subintervalos Ik D xk 1 ; xk tienen longitud menor que . En virtud del teorema
4.29 hay puntos uk ; vk enIk en los que la funcin f alcanza su valor mnimo y mximo
absolutos respectivamente en el intervalo Ik . Tenemos que:
S.f; P" /
I.f; P" / D
n
X
f .vn /
kD0
f .un / .xk
xk / <
"
b
n
X
.xk
kD0
xk / D ":
I.f; P" / 6 .c
a/M C S.f; Q/
I.f; Q/ C .b
d /M < ":
Universidad de Granada
Dpto. de Anlisis Matemtico
395
n
X
kD0
f .xk / f .xk 1 / .xk
"
f .b/
f .a/
.f .b/
xk / <
"
f .b/ f .a/
n
X
kD0
f .xk / f .xk 1 / D
f .a// D ":
En relacin con el punto ii) de este teorema, conviene observar que hay funciones montonas con infinitas discontinuidades.
E.1=x/
X
1
para to2n
nD1
do x 20; 1, donde E.1=x/ indica la parte de entera de 1=x, es decreciente en 0; 1 y tiene
1
para n D 1; 2; : : : .
discontinuidades en todos los puntos de la forma nC1
8.12 Ejemplo. La funcin f W 0; 1 ! R dada por f .0/ D 1 y f .x/ D
2;
1
1
< 2 C 4;
1
1
1
f .x/ D
2 C 4 C 8;
1
1
2 C 4 C C
:
1;
1
2
1
3
1
4
1
2n ;
< x 6 1;
< x 6 12 ;
< x 6 13 ;
1
nC1
< x 6 n1 ;
x D 0;
En la figura 8.5 puedes ver su grfica en la que se han indicado con trazos verticales punteados
las discontinuidades de salto de la funcin.
Un tipo frecuente de funciones integrables son las que se definen a continuacin.
8.13 Definicin. Se dice que funcin f es continua a trozos en un intervalo a; b si hay una
particin a D x0 < x1 < x2 < : : : < xn 1 < xn D b del intervalo a; b de forma que:
f es continua en cada intervalo xi
1 ; xi ,
para i D 1; 2; : : : ; n.
Universidad de Granada
Dpto. de Anlisis Matemtico
396
b
b
b
b
1
2
1
4
1
2
1
8
1
16
b
1
4
1
8
b
1
2
1
4
b
1
2
b
1
6
1
5
1
4
1
3
1
2
8.14 Corolario. Seam f y g funciones que coinciden en todos los puntos de un intervalo a; b
excepto en un nmero finito de ellos. Entonces se verifica que f es integrable en a; b si, y
slo si, g es integrable en a; b, en cuyo caso se verifica que las integrales en a; b de ambas
funciones coinciden.
Demostracin. Definamos h D f
g. La funcin h es nula en todos los puntos de a; b
excepto en un conjunto finito de ellos, por tanto, h es una funcin continua a trozos en a; b y,
rb
en consecuencia, h es integrable en a; b. Adems, es evidente que a h.x/ dx D 0 (piensa que
el conjunto ordenado de h entre a y b es un conjunto finito de segmentos verticales). Si, por
ejemplo, f es integrable en a; b, la igualdad g D f h implica que tambin g es integrable
rb
rb
rb
rb
2
en a; b y a g.x/ dx D a f .x/ dx
a h.x/ dx D a f .x/ dx .
8.15 Observacin. El resultado anterior nos dice que, para estudiar la integrabilidad de una
funcin, podemos modificar los valores de la misma en un conjunto finito de puntos porque eso
no afecta para nada a su integrabilidad ni al valor de su integral. Igualmente, si una funcin no
est definida en un conjunto finito de puntos de un intervalo, para estudiar su integrabilidad la
definimos como queramos en dichos puntos, con la seguridad de que la funcin resultante ser
o no integrable con independencia de nuestra definicin. En particular, una funcin continua
y acotada en a; b n fa1 ; a2 ; : : : ; am g, donde los aj son puntos de a; b en los que f no est
definida, es integrable en a; b.
Por ejemplo, la funcin f .x/ D sen.1=x/ no est definida en 0. Si queremos estudiar su
Universidad de Granada
Dpto. de Anlisis Matemtico
397
integrabilidad en 0; 1, podemos definir f .0/ D 1 (o el valor que t quieras); con ello, f es una
funcin continua en 0; 1 y acotada en 0; 1, por lo que es integrable en 0; 1.
~ Observa que aqu la variable es x el lmite superior de la integral. Por eso, es obligado no
Por definicin F.x/ D .G.f C ; a; x// .G.f ; a; x//. Por supuesto, si f es positiva
entonces F.x/ D .G.f; a; x// es rel rea del conjunto ordenado de f entre a y x. No debes
x
olvidar en lo que sigue que F.x/D a f .t/ dt se ha definido en trminos de reas. A la funcin
F la llamaremos la funcin rea de f en a; b.
rx
A veces hay que considerar funciones de la forma H .x/ D c f .t/
r xdt en donde a < c < b
y x 2 a; b; por lo que es necesario precisar lo que se entiende por c f .t / dt cuando x < c.
El convenio que se hace es que:
wv
u
f .t/ dt D
wu
f .t / dt
cualesquiera sean los nmeros u y v. La justificacin de este convenio es que, con l, la igualdad:
wy
wz
wx
f .t / dt C f .t / dt C f .t/ dt D 0
(8.5)
x
wx
f .t/ dt
(8.6)
398
ii) En todo punto c de a; b en el que f sea continua se verifica que F es derivable en dicho
punto siendo F 0 .c/ D f .c/. En particular, si f es continua en a; b, entonces F es derivable
en a; b y F 0 .x/ D f .x/ para todo x 2 a; b.
Demostracin.
i) Como f es integrable debe estar acotada. Sea M > 0 tal que jf .x/j 6 M para todo
x 2 a; b. Entonces, si x < y son puntos de a; b tenemos que
y
y
w
w
Por la misma razn, si suponemos que y < x, tendremos que jF.y/ F.x/j 6 M.y x/.
Estas dos desigualdades nos dicen que jF.y/ F.x/j 6 M jy xj para todo par de puntos
x; y 2 a; b. De esta desigualdad se sigue inmediatamente la continuidad de F en a; b.
ii) Pongamos
F.x/
x
F.c/
c
f .c/ D
F.x/
wx
F.c/
x
.f .t/
.x
c
c/f .c/
wx
D
f .t / dt
wx
f .c/ dt
f .c// dt
Dado, " > 0, la continuidad de f en c nos dice que hay un > 0 tal que para todo t 2 a; b
con jt cj < se tiene que jf .t / f .c/j < ". Tomemos ahora un punto cualquiera x 2 a; b
tal que jx cj < . Entonces es claro que para todo t comprendido entre x y c se tendr que
jt cj < y, por tanto, jf .t/ f .c/j < " por lo que:
x
.f .t / f .c// dt 6 "jx cj
.f
.t
/
f
.c//
dt
"jx cj
F.x/ F.c/
c
D
f
.c/
6
D"
x c
jx cj
jx cj
x!c
F.x/
x
F.c/
D f .c/, esto es, F es derivable en c y F 0 .c/ D f .c/. 2
c
399
Es importante advertir que no todas las funciones tienen primitivas. Por ejemplo, una condicin necesaria que debe cumplir una funcin para tener primitivas es que dicha funcin tenga
la propiedad del valor intermedio pues, como recordars, las funciones derivadas tienen esa
propiedad. Tambin, como consecuencia del teorema del valor medio, es inmediato que dos
primitivas de una funcin en un mismo intervalo se diferencian en una constante. Por ello, si
conocemos una primitiva de una funcin en un intervalo las conocemos todas.
El siguiente resultado es una consecuencia muy importante del Teorema Fundamental del
Clculo.
8.18 Corolario. Toda funcin continua en un intervalo tiene primitivas en dicho intervalo.
Demostracin. Sea f una funcin continua en un intervalo I . Elijamos un punto 2 I . Cualquiera sea x 2 I el intervalo de extremos y x est contenido en I y f es continua en l y
por tanto es integrable
r x en l. Podemos por ello definir la funcin H W I ! R dada para todo
x 2 I por H .x/ D f .t / dt . Esta funcin es derivable en todo intervalo cerrado y acotado
contenido en I . Pues si a; b I , para todo x 2 a; b se tiene que:
H .x/ D
wx
wa
wx
f .t/ dt D f .t / dt C f .t / dt :
Por tanto, salvo una constante aditiva, la funcin H coincide en el intervalo a; b con la funcin
rea de f en a; b, es decir, con la funcin F.x/ definida por 8.6. Como f es continua en a; b
(por ser continua en I ) el teorema fundamental del clculo nos dice que F es derivable en todo
punto x 2 a; b y F 0 .x/ D f .x/. Deducimos que H es derivable en todo punto x 2 a; b y
H 0 .x/ D f .x/.
Finalmente, el hecho de que H sea derivable en todo intervalo cerrado y acotado contenido
en I , implica, por la propiedad local de la derivabilidad, que H es derivable en I y su derivada
en todo punto x 2 I viene dada por H 0 .x/ D f .x/.
2
Es importante que aprecies que este es un resultado de existencia; es la definicin que
hemos dado de rea y por consiguiente de integral lo que nos ha permitido construir la
funcin primitiva de f . La integracin es por tanto una herramienta que permite construir
una funcin cuya derivada es conocida; por eso la integracin es una potente herramienta para
construir nuevas funciones.
8.19 Estrategia.
r g.x/
Para derivar funciones de la forma H .x/ D a f .t/ dt donde f es una funcin
continua y g es una funcin derivable, se aplica el teorema fundamental del clculo y la regla
r x de la cadena para derivar la funcin compuesta H .x/ D F.g.x//, donde
F.x/ D a f .t/ dt .
r v.x/
Para derivar funciones de la forma H .x/ D u.x/ f .t/ dt donde f es una funcin conr u.x/
r v.x/
f .t/ dt y
tinua y u, v son funciones derivables, se escribe H .x/ D a f .t / dt
a
se aplica lo dicho en el punto anterior.
El Teorema Fundamental del Clculo proporciona tambin una tcnica para calcular la
integral de una funcin continua en un intervalo a; b. Para ello lo que hacemos es calcular una
Universidad de Granada
Dpto. de Anlisis Matemtico
400
rx
primitiva de f en a; b. Si h es una tal primitiva, entonces las funciones F.x/ D a f .t/ dt , y
h.x/ h.a/ son dos primitivas de f en a; b que coinciden en un punto, pues ambas se anulan
rb
en a. Deducimos que F.x/ D h.x/ h.a/ para todo x 2 a; b y, por tanto, F.b/ D a f .t / dt D
h.b/ h.a/. Podemos generalizar este resultado como sigue.
8.20 Teorema (Regla de Barrow). Sea f W a; b ! R integrable y supongamos que h es una
primitiva de f en a; b. Entonces:
wb
a
f .t / dt D h.b/
Demostracin. Sea P D fa D x0 ; x1 ; x2 ; : : : ; xn
el teorema de valor medio, tenemos que:
h.b/
h.a/ D
n
X
.h.xk /
h.xk
kD1
1 ; xn
1 // D
n
X
h.a/
f .tk /.xk
kD1
xk
1/
D .f; P /
La igualdad anterior nos dice que para toda particin P de a; b hay alguna suma de Riemann de f asociada a dicha particin, .f; P /, que es igual a h.b/ h.a/. Si ahora tomamos una sucesin fPn g de particiones del intervalo a; b tales que .Pn / ! 0, tenemos que
h.b/ h.a/ D .f; Pn/ para alguna suma de Riemann, .f; Pn /, de f asociada a la particin
rb
rb
Pn . Pero sabemos que .f; Pn / ! a f , por lo que obtenemos que h.b/ h.a/ D a f . 2
Fjate que en la regla de Barrow no se supone que f sea continua sino tan slo que es
integrable y que, adems, tiene una primitiva.
yD
1
x
1
w21
1
dt
0
0
Universidad de Granada
Dpto. de Anlisis Matemtico
401
Espero que ests de acuerdo conmigo: la forma ms fcil e intuitiva de imaginar el nmero
log t es como el rea de la regin plana limitada por la curva y D 1=x, las rectas x D 1, x D t ,
y el eje de abscisas. Dicha rea se considera positiva si t > 1 y negativa si t < 1. Dicho de otra
forma:
wt 1
dx
log t D
x
1
El Teorema Fundamental del Clculo nos dice que la funcin logaritmo natural es derivable
(y por tanto continua) y que log 0 t D 1=t . Como la derivada es positiva, deducimos que dicha
funcin es estrictamente creciente.
Dado a > 0, sea h.x/ D log.ax/. Entonces h 0 .x/ D a=.ax/ D 1=x. Luego la funcin
h.x/ log.x/ tiene derivada nula en RC , por lo que es constante y, como para x D 1 es igual
a log a, se sigue que h.x/ log.x/ D log a. Hemos probado as que log.ax/ D log a C log x
para todo a > 0 y para todo x > 0.
Observa que en poco ms de tres lneas hemos obtenido ya las propiedades principales del
logaritmo. Sigamos nuestro estudio.
De lo ya visto se sigue que log.2n / D n log 2 para todo nmero entero n. De aqu se deduce
que la funcin logaritmo natural no est mayorada ni minorada y, como es estrictamente creciente, concluimos que lKm log x D y lKm log x D C. Por tanto, podemos afirmar
x!0
x!C1
402
1
log
0 .'.x//
D '.x/
wx
0
1
dt :
1 C t2
Lo que constituye un punto de partida para definir las dems funciones trigonomtricas. Este
proceso est desarrollado con detalle en [16]. Veremos ms adelante otro procedimiento ms
directo para definir las funciones trigonomtricas.
h.t/ D 2
w1 1
p
2 t lKm p dx D 2:
t !0
x
t
w1 1
p dx D 2:
x
0
Universidad de Granada
Dpto. de Anlisis Matemtico
403
dx D
1
.1
C1
w
lKm
t !C1
dx D
wt
dx D
1
:
1
:
En el primer ejemplo hemos considerado una funcin no acotada, y en el segundo un intervalo no acotado.
8.24 Definicin. Sea f W c; b! R una funcin continua en el intervalo c; b, donde suponemos que c 2 R y que b un nmero real mayor que c o bien b D C. Se define la integral
impropia de Riemann de f en c; b como el lmite:
wb
c
f .x/ dx D lKm
t !b
wt
f .x/ dx
(8.7)
Supuesto, claro est, que dicho lmite exista y sea un nmero real, en cuyo caso se dice tambin
que la integral de f es convergente en c; b.
Sea f Wa; c ! R una funcin continua en el intervalo a; c, donde suponemos que c 2 R
y que a un nmero real menor que c o bien a D . Se define la integral impropia de Riemann
de f en a; c como el lmite:
wc
a
f .x/ dx D lKm
t !a
wc
f .x/ dx
(8.8)
Supuesto, claro est, que dicho lmite exista y sea un nmero real, en cuyo caso se dice tambin
que la integral de f es convergente en a; c.
Cuando el lmite (8.7) o (8.8) existe y es igual a C (resp.
integral es positivamente o negativamente divergente.
f .x/ dx D
wc
a
f .x/ dx C
wb
f .x/ dx
(8.9)
f .t/ dt D
wu
c
f .t/ dt C
wx
f .t/ dt ;
404
1
1
Deducimos que:
C1
w
1
Anlogamente:
8
< 1
wt 1
1
dx
D
lK
m
dx
D
a 1
:C
t !C1
xa
xa
1
8
< 1
w1 1
w1 1
dx
D
lK
m
dx
D
1 a
:C
xa
xa
t !0
t
0
si a > 1
(8.10)
si a < 1
si a < 1
(8.11)
si a > 1
8.27 Ejemplo. Sea a 1. Usando la tcnica de integracin por partes, que estudiaremos ms
log x
adelante, es fcil calcular una primitiva de la funcin f .x/ D a . Comprueba que:
x
F.x/ D
x1
Anlogamente:
a.
1 C .1 a/ log x/
.1 a/2
rt
1 f .x/ dx
D F.t/
1
log x
dx D .1 a/2
:
xa
C
8
<
8
1
<
w1 log x
.1 a/2
dx D
:
xa
0
F.1/. En consecuencia:
si a > 1
(8.12)
si a < 1
si a < 1
(8.13)
si a > 1
Universidad de Granada
Dpto. de Anlisis Matemtico
405
De estas dos desigualdades se deduce, por el criterio de comparacin anterior, que las integrales
de f y de g en u; b son ambas convergentes o ambas divergen positivamente. Basta tener ahora
en cuenta la observacin 8.25.
2
8.31 Definicin. Se dice que la integral de f es absolutamente convergente en un cierto
intervalo cuando la integral de la funcin jf j es convergente en dicho intervalo.
Naturalmente, los criterios de convergencia antes vistos para integrales de funciones positivas, pueden usarse para estudiar la convergencia absoluta de la integral de cualquier funcin.
Por ello, el siguiente resultado es de gran utilidad. Para demostrarlo usaremos la siguiente caracterizacin de la existencia de lmite.
8.32 Proposicin (Condicin de Cauchy para la existencia de lmite). Sea b un nmero
real o bien b D C1, sea c < b y sea f W c; b! R una funcin. Equivalen las siguientes
afirmaciones:
a) La funcin f tiene lmite finito en b, es decir, lKm f .x/ D L 2 R.
x!b
b) Para todo " > 0 existe un nmero u" 2c; b tal que para todos x; y 2u" ; b se verifica
que jf .x/ f .y/j < ".
Universidad de Granada
Dpto. de Anlisis Matemtico
406
Demostracin.
a b/. Por hiptesis, para todo " > 0 existe un nmero u" 2c; b tal que para todo
x 2u" ; b se verifica que jf .x/ Lj < "=2. Para y 2u" ; b tambin ser jf .y/ Lj < "=2.
Deducimos que:
"
"
jf .x/ f .y/j D jf .x/ L .f .y/ L/j 6 jf .x/ Lj C jf .y/ Lj < C D ":
2
2
b a/. Probaremos que hay un nmero L 2 R tal que para toda sucesin fxn g ! b se verifica
que ff .xn /g ! L. Segn sabemos, por la proposicin 7.41, esto equivale a que f tenga lmite
en b igual a L. Sea fxn g ! b, para probar que ff .xn /g es convergente probaremos que
dicha sucesin verifica la condicin de Cauchy. Dado " > 0, por la hiptesis hecha, hay un
nmero u" 2c; b tal que para todos x; y 2u" ; b se verifica que jf .x/ f .y/j < "=2. Como
fxn g ! c, existe un nmero natural m" tal que para todo p > m" se tiene que xp 2u" ; c.
Deducimos que si p > m" y q > m" , entonces jf .xp / f .xq /j < ", lo que prueba que la
sucesin ff .xn /g es de Cauchy y, por el teorema de completitud de R, es convergente. Sea
L 2 R el lmite de ff .xn /g. Si ahora consideramos cualquier otra sucesin fyn g ! b, el
mismo razonamiento anterior prueba que ff .yn /g converge. Debemos probar que su lmite
tambin es L. Para ello, basta con observar que, como consecuencia de la hiptesis hecha, la
sucesin ff .xn / f .yn /g converge a 0, pues para todo n suficientemente grande se tiene que
xn ; yn 2u" ; b, por lo que jf .xn / f .yn /j < ".
2
La proposicin anterior tiene una versin anloga para el caso de considerar un intervalo
del tipo a; c con a un nmero real o a D 1.
La condicin del punto b) de la proposicin anterior se llama condicin de Cauchy para f
en b.
8.33 Teorema. Si la integral de f es absolutamente convergente, entonces la integral de f
tambin es convergente.
Demostracin.rSupongamos que la integral
de f es absolutamente convergente en c; b. Ponrx
x
gamos G.x/ D b jf .t/j dt , F.x/ D c f .t/ dt . Por la hiptesis hecha, existe el lmite de G en
b y es finito. En tal caso, se verifica la condicin de Cauchy para G en b. Dado " > 0, hay un
nmero u" 2c; b tal que para todos x; y 2u" ; b es jG.x/ G.y/j < ". Teniendo en cuenta
la desigualdad:
x
y
y
w
w
w
wy
se deduce que la funcin F verifica la condicin de Cauchy en b, por lo que dicha funcin tiene
lmite finito en b, es decir, la integral de f en c; b es convergente.
2
407
cualquiera
r x de dicho intervalo, podemos aplicar el teorema del valor medio a la funcin derivable
F.x/D f .t/ dt en el intervalo I . Segn dicho teorema, para cualquier par de puntos a; b 2 I
se verifica que hay algn punto c comprendido entre a y b tal que:
F.b/
b
F.a/
D F 0 .c/:
a
wb
a
f .x/ dx D f .c/
wb
a
f .x/ dx D f .c/.b
a/:
rb
El nmero b 1 a a f .x/ dx se llama promedio integral o media integral de f en a; b. Con
poco esfuerzo podemos obtener un resultado ms general.
8.34 Teorema (Primer teorema de la media para integrales). Sean f una funcin continua
en a; b y g una funcin positiva e integrable en a; b. Entonces se verifica que hay algn
punto c 2 a; b tal que:
wb
wb
f .x/g.x/ dx D f .c/ g.x/ dx :
(8.14)
a
rb
rb
De esta desigualdad se sigue que si a g.x/ dx D 0, entonces tambin es a f .x/g.x/ dx D 0
y la igualdad del enunciado se satisface trivialmente para todo c 2 a; b. En otro caso debe ser
rb
a g.x/ dx > 0 y deducimos que:
m6
rb
a
f .x/g.x/ dx
6 M:
rb
g.x/
dx
a
Universidad de Granada
Dpto. de Anlisis Matemtico
rb
a
f .x/g.x/ dx
:
rb
a g.x/ dx
2
Prof. Javier Prez
Clculo diferencial e integral
408
8.35 Teorema (Segundo teorema de la media para integrales). Sea ' una funcin montona
y con derivada continua en a; b, y sea f una funcin continua en a; b. Entonces hay algn
punto c 2 a; b tal que:
wb
a
wc
wb
f .x/'.x/ dx D '.a/ f .x/ dx C '.b/ f .x/ dx
a
(8.15)
Demostracin.
Supongamos que ' es decreciente en a; b y '.b/D0. Definamos las funciones
rx
F.x/ D a f .t/ dt y H .x/ D F.x/'.x/. Tenemos que H 0 .x/ D F 0 .x/'.x/ C F.x/' 0 .x/ D
f .x/'.x/ C F.x/' 0 .x/. Por la regla de Barrow, obtenemos que:
wb
a
wb
wb
f .x/'.x/CF.x/' 0.x/ dx DH .b/ H .a/D0 f .x/'.x/ dx D F.x/. ' 0 .x// dx :
a
Como ' 0 .x/ > 0 para todo x 2 a; b, podemos aplicar a la ltima integral el primer teorema
de la media que asegura que hay algn c 2 a; b tal que:
wb
a
wb
wc
F.x/. ' 0 .x// dx D F.c/ . ' 0 .x// dx D F.c/'.a/ D '.a/ f .x/ dx :
a
wc
f .x/'.x/ dx D '.a/ f .x/ dx :
(8.16)
Esta igualdad es un caso particular de la igualdad del enunciado (recuerda que hemos supuesto
que '.b/D0). Consideremos ahora que ' es decreciente en a; b (no suponemos que '.b/D0).
Podemos aplicar la igualdad 8.16 a la funcin ' '.b/ y obtenemos que hay algn c 2 a; b
tal que:
wb
wc
'.b// f .x/ dx
'.b// dx D .'.a/
wb
wc
wb
wc
wb
f .x/.'.x/
wc
'.b/ f .x/ dx D
a
409
h.t / dt D
wb
a
f .t / dt C i
wb
g.t/ dt :
Naturalmente, si F y G son, respectivamente, primitivas de f y g en un intervalo a; b, entonces H .t/ D F.t / C iG.t / es una primitiva de h en a; b y se verifica la regla de Barrow:
wb
a
h.t/ dt D
wb
a
f .t/ dt C i
wb
a
g.t/ dt D .F.b/
F.a// C i.G.b/
G.a// D H .b/
H .a/:
wx
a
h.t/ dt D
wx
a
f .t/ dt C i
wx
g.t/ dt
es una primitiva de h en I .
8.36 Ejemplo. Sea C i un nmero complejo, la funcin:
h.t/ D e.Ci/t D et eit D et cos.t/ C i et sen.t/
es derivable y su derivada viene dada por:
h 0 .t / D et cos.t/
et sen.t/ C i et sen.t/ C et cos.t / D
D et . C i/ cos.t / C i sen.t/ D . C i/ et eit D. C i/h.t/:
d .Ci/t
e
D. C i/ e.Ci/t :
dt
En consecuencia:
e.Ci/t dt D
1
e.Ci/t
C i
(8.17)
En algunos de los siguientes ejercicios debers calcular algunas primitivas muy sencillas,
es un buen momento para que repases las derivadas de las funciones elementales.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
410
rb
a
w x 9 dx
1
1
1
1
nC1
1
1 w dx
< I b/ p <
<
I c/
< log
< :
a/ <
6
10 C x
5
10
nC1
n
n
10 2 0 10 C x
0
n
Deduce de la ltima desigualdad que e D lKm 1 C 1n .
r
368. Calcula la integral f .x/ dx donde f .x/ D sen x C cos x, y calcula el rea de la
regin limitada por la grfica de f y el eje de abscisas cuando x 2 ; .
369. Calcula los lmites de las siguientes sucesiones expresndolas como sumas de Riemann.
1 C 2 C C n
; . > 0/
nC1
1
1
1
Cp
C C p
b/ xn D p
n.n C 1/
n.n C 2/
n.n C n/
1
1
1
c/ xn D
C
C C
nC1
nC2
nCn
n
n
n
C 2
C C 2
d / xn D 2
n C1
n C4
n C n2
nC2
nCn
nC1
C 2
C C 2
e/ xn D 2
n C1
n C4
n C n2
a/ xn D
f / xn D
h/ xn D
n
X
.n
kD1
.2n/!
n!nn
k/k
n3
1=n
n
1 X
k
g/ xn D 2
k sen
n2
n
kD1
nq
X 1
i/ xn D
.p; q 2 N; p < q/
k
kDnpC1
f .x/ dx D lKm
t !0
w1 1
t
1
E
dx D 1
x
Ejercicios propuestos
411
371. Sea f derivable en a; b y sea M > 0 tal que jf 0 .x/j 6 M para todo x 2 a; b.
Dado n 2 N sea P la particin de a; b definida por los puntos xk D a C k b n a , donde
n
X
b a
. Prueba que:
k D 0; 1; 2; : : : ; n. Pongamos D
f .xk /
n
kD1
S.f; P /
6M
a/2
.b
n
y deduce que:
wb
f .x/ dx
.b a/2
:
6 M
n
w1
2
.x 2
1/6 2x dx
b/
d/
we2
e
1
dx
x log x
2
3
2
jcos xj dx
w sen px
dx
e/
p
x
0
w4 p
g/
cos x sen x dx
w3
h/
w
0
sen x
dx
cos x C 4
we log x
dx
x
c/
w4 1 C sen x
f/
dx
cos2 x
0
w2 2
i/
x
x3
dx
y F 00 .x/.
x3
w
cos.t 2 / dt
0
x 2wCx
p
wx
1
p
dt
3
2 C t2
0
@
y
w
0
1
sen
w2 x
1
1
dt A dy
1 C sen2 t
cos.log2 .t 2 // dt
ex
b/ G.x/ D
d / G.x/ D
w1
esen t dt
x2
wex
sen.log t/ dt
r x sen u
1
f / G.x/ D
wu
0
du
1
dt
t 2 C sen4 t
w1 3x 2 t 3
h/ G.x/ D
dt
1 C t4
0
Ejercicios propuestos
412
f .x/ D
wx
0
f .t/2 C f 0 .t/2 dt C 2008:
sen
w2 x
p
p
arc sen t D
arc cos t dt C
4
0
378. Sea g una funcin derivable en R y dos veces derivable en 0, siendo adems g.0/ D 0.
Estudia la derivabilidad de la funcin f W R ! R definida por:
f .0/ D
x
1 w g.t/
f .x/ D
dt
x
t
g 0 .0/;
.x 0/:
Es f de clase C 1 ?
r 2x
2
379. Sea F W 0; C1! R definida por F.x/ D x e t dt . Estudia los extremos relativos
y absolutos de F , intervalos de concavidad y convexidad, puntos de inflexin y calcula
el lmite de F en C1.
380. Sea f la funcin dada por:
f .x/ D
Estudia la derivabilidad de F.x/ D
rx
2 x; si x 6 1;
2 C x; si x > 1.
f .t / dt .
wx
a/ lKm
p
sen. t/ dt
x2
w
dt
b/ lKm
x!0 wx
x3
x!0
x>0
t2
c/ lKm
e sen t dt
t2
p
x x
x!0
x>0
t2
dt
0
2
xw
C1
d / lKm
wx
dt
e/
x2
x!0
t2
dt
lKm
x!C1
wx
2t 2
!2
wx
f / lKm
.sen t C cos t
1/ dt
x2
x!0
dt
382. Estudia la convergencia de las siguientes integrales impropias y calclalas cuando sean
convergentes.
a/
C1
w
d/
1
C1
w
0
dx
p
x 4x 2 C x C 1
x4
1C
dx
.x 2 C 1/3
Universidad de Granada
Dpto. de Anlisis Matemtico
b/
C1
w
xe
x2
dx
c/
w1 log x
dx
e/
x
0
f/
C1
w
1
dx
p
x.1 C x/
0
C1
w
1
1
dx
1 C x2
Ejercicios propuestos
413
w1 1
d/
0
C1
w
cos x
p dx
2
x x
b/
w1
e/
w1
x
dx
ex 1
x
dx
sen x
log x log.1
c/
C1
w
0
x/ dx
xC5
dx
x3 C x
w1 1
f / p sen.1=x/ dx
x
0
C1
w
x C sen x
dx
x sen x
C1
w
x ex dx
b/
C1
w
0
1
dx
x .1 C x /
c/
w1
x .1
x/ dx
.0 x 1/:
w1 t 1
dt .
Aplicacin. Calcula la integral
log t
0
t 1
Sugerencia: Sea g.t/ D
. Utiliza el primer teorema de la media para integrales para
log t
obtener que si 0 < x 1 hay algn punto c D c.x/ comprendido entre x y x 2 tal que:
x2
w
1
f .x/ D g.c/
dt :
t
1
x
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
414
389. Justifica, usando integrales, que para todo x > 0 se verifica que:
1
< log.1 C x/
1Cx
log x <
1
:
x
n!1
pn
X
1
D log p:
k
kDnC1
8x 2 0; 1
06
w1
0
f .x/ dx 6
w1
0
ex dx D e 1
rb
Ejercicio resuelto 181 Sea f una funcin continua y positiva en a; b con a f .x/ dx D 0.
Prueba que f .x/ D 0 para todo x 2 a; b.
rb
rx
rb
Solucin. Sea x 2 a; b. Pongamos a f D a f C x f . Como f .t/ > 0 para todo
rb
rb
rx
tr 2 a; b, se verifica que x f > 0, por lo que 0 D a f >r a f > 0. Deducimos que
x
x
a f D 0. Como f es continua en a; b, la funcin F.x/ D a f es derivable en a; b y
F 0 .x/Df .x/ para todo x 2 a; b. Evidentemente, F 0 es la funcin nula, luego f .x/D0
para todo x 2 a; b.
rx
Alternativamente, la funcin F.x/ D a f .t/ dt es derivable con F 0 .x/ D f .x/ > 0,
lo que implica que F es creciente en a; b. Como F.a/ D F.b/ D 0, deducimos que
F.x/ D 0 para todo x 2 a; b, lo que implica que f es la funcin nula en a; b.
w x 9 dx
1
1
1
1
nC1
1
1 w dx
< I b/ p <
<
I c/
< log
< :
a/ <
6
10 C x
5
10
nC1
n
n
10 2 0 10 C x
0
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
415
n
Deduce de la ltima desigualdad que e D lKm 1 C 1n .
Solucin. El resultado obtenido en el ejercicio anterior nos dice que si f es una funcin
continua, positiva y no idnticamente nula en un intervalo a; b, entonces se verifica que
rb
a f .x/ dx > 0. Las desigualdades propuestas son todas consecuencia de este resultado.
1
1
1
1
y g.x/D
son continuas,
10 10 C x r
10 C x 12
r
2
2
positivas y no idnticamente nulas en 0; 2, luego 0 f .x/ dx > 0 y 0 g.x/ dx > 0.
Esto prueba las desigualdades pedidas.
1
1
1
c) Dado n 2 N, para todo x 2 n; n C 1 se tiene que
< < . Razonando com
nC1
x
n
antes, se sigue que:
nC1
nC1
nC1
w
w 1
w 1
nC1
1
1
1
D
dx <
dx D log
<
dx D :
nC1
nC1
x
n
n
n
n
n
n
Ejercicio resuelto 183 Calcula los lmites de las siguientes sucesiones expresndolas como
sumas de Riemann.
1 C 2 C C n
; . > 0/
nC1
nC2
nCn
nC1
C 2
C C 2
e/ xn D 2
n C1
n C4
n C n2
1=n
.2n/!
i/ xn D
n!nn
a/ xn D
lKm fxn g D
n!1
Universidad de Granada
Dpto. de Anlisis Matemtico
w1
0
x dx D
1
:
C1
Ejercicios resueltos
416
e) Podemos escribir:
xn D
n
n
X
nCk
1X
D
n
n2 C k 2
1 C kn
2
k
kD1 1 C
n
kD1
1Cx
1Cx 2
k
n
n!1
w1 1 C x
w1
w1 x
1
dx
D
dx
C
dx D
1 C x2
1 C x2
1 C x2
0
p
1
D arc tg 1 C log 2 D C log 2:
2
4
i) Tomando logaritmos tenemos que:
1
1
log..2n/!/ log n!nn D
log n!.n C 1/ .2n/
n log n log n! D
log.xn /D
n
n
n
1
1X
nCk
D .log.n C 1/ C log.n C 2/ C C log.2n/ n log n/ D
D
log
n
n
n
kD1
n
k
1X
:
log 1 C
D
n
n
kD0
Por tanto, la sucesin yn Dlog.xn / es una suma de Riemann de la funcin log.1Cx/ para
la particin del intervalo 0; 1 dada por los puntos xk D kn , k D 0; 1; : : : ; n. Aplicando el
corolario citado al principio, deducimos que:
w1
1 w1 x
u D log.1 C x/
dx D2 log 2 1:
lKmfyn gD log.1Cx/ dx D
Dx log.1Cx/0
dv D dx
1Cx
0
Luego fxn g !
4
e.
Universidad de Granada
Dpto. de Anlisis Matemtico
f .x/ dx D
wn
t
f .x/ dx C
n
X1
wk
f .x/ dx :
kD1 1
kC1
Ejercicios resueltos
417
1
< x6
Para kC1
tenemos:
w1
t
1
k
f .x/ dx D .t / C
n
X1
kD1
1
wk 1
x
1
kC1
n
X1
D .t / C
log.k C 1/
D .t / C log n
kD1
f .x/ dx ,
dx D
log k
kD1
n
X1
r n1
1
k
1
k C1
n
X
1
k
1
D .t/ C 1
k C1
D
!
log n
kD1
t !0
w1
t
f .x/ dx D 1
lKm
n!1
n
X
1
k
kD1
log n D 1
x3
w
0
x 2wCx
p
wx
0
1
p
dt
3
2 C t2
0
@
la funcin F.x/ D
d / G.x/ D
1
y
w
1
dt A dy
1 C sen2 t
b/ G.x/ D
cos.t / dt
x3
w
w1
esen t dt
x2
wex
sen.log t/ dt
r x sen u
1
f / G.x/ D
wu
0
du
1
dt
t 2 C sen4 t
del clculo, sabemos que F 0 .x/ D cos.x 2 /. Por la regla de la cadena, tenemos que:
G 0 .x/ D .F h/ 0 .x/ D F 0 .h.x//h 0 .x/ D F 0 .x 2 /2x D 2x cos.x 4 /:
c) Observa que en este ejercicio debes considerar que x > 0. Pongamos:
G.x/ D
x 2wCx
p
Universidad de Granada
Dpto. de Anlisis Matemtico
x 2wCx
1
1
p
dt D
p
dt
3
3
2 C t2
2 C t2
0
wx
0
1
p
dt :
3
2 C t2
Ejercicios resueltos
418
Definamos F.x/ D
wx
0
p
1
p
dt , g.x/ D x, h.x/ D x 2 C x. Tenemos que
3
2
2C t
G.x/ D F.h.x//
Como F 0 .x/ D
que:
F.g.x// D .F h/.x/
.F g/.x/:
1
1
p
, g 0 .x/ D p , h 0 .x/ D 2x C 1, deducimos, al igual que antes,
3
2
2
x
2C x
F 0 .g.x//g 0 .x/ D
e) Definamos H .y/ D
y
w
1
2C
p
3
2x C 1
x 4 C 2x 3 C x 2
1
1
p
p :
3
2C x2 x
w
1
dt
.
Entonces
G.x/
D
H .y/ dy . Como la funcin
1 C sen2 t
0
1
sen x
:
h.x/2 C sen4 h.x/ x
Ejercicio resuelto 186 Prueba que para todo x 2 0; =2 se verifica la igualdad:
cos
w2 x
0
sen
w2 x
p
p
arc cos t dt C
arc sen t D
4
0
sen
w2 x
p
p
arc sen t. Tenemos que:
arc cos t dt C
cos
w2 x
0
Ejercicio resuelto 187 Sea g una funcin derivable en R y dos veces derivable en 0, siendo
adems g.0/ D 0. Estudia la derivabilidad de la funcin f W R ! R definida por:
f .0/ D
Universidad de Granada
Dpto. de Anlisis Matemtico
g 0 .0/;
x
1 w g.t/
dt
f .x/ D
x
t
0
.x 0/:
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos
419
Es f de clase C 1 ?
Solucin. Pongamos h.x/ D
g.x/
para x 0. Como
x
g.x/
x
x!0
x!0
g.0/
D g 0 .0/;
0
0 .x/ D
x g.x/
x
rx
0
x2
g.t /
t
dt
rx
g.x/
0
x2
g.t /
t
dt
x!0
x!0
x!0
g.x/
x
lKm
g.x/
x!0
xg 0 .x/
:
2x 2
Este ltimo lmite no puede calcularse por la regla de LHpital porque no sabemos si g 0
es derivable. Pensando un poquito, nos damos cuenta de que podemos calcularlo como
sigue. La idea es conseguir utilizar la hiptesis de que g es dos veces derivable en 0.
g.x/
xg 0 .x/ g.x/
D
2x 2
xg 0 .0/ C xg 0 .0/
2x 2
xg 0 .x/
g.x/
Para calcular el lmite de la primera fraccin en 0 podemos aplicar LHpital (o el teorema de Taylor Young) y tenemos:
lKm
g.x/
x!0
xg 0 .0/
g 0 .x/ g 0 .0/ 1 00
D g .0/:
D
lK
m
4x
4
x!0
2x 2
g 0 .x/ g 0 .0/ 1 00
1
D g .0/. Concluimos que lKm f 0 .x/ D g 00 .0/. Por la propo2x
2
4
x!0
x!0
1 00
0
sicin 6.19, concluimos que f es derivable en 0 con f .0/ D g .0/ y, por tanto, f 0 es
4
continua en 0, luego f es una funcin de clase C 1 en R.
r 2x
2
Ejercicio resuelto 188 Sea F W 0; C1! R definida por F.x/ D x e t dt . Estudia los
extremos relativos y absolutos de F , intervalos de concavidad y convexidad, puntos de
inflexin y calcula el lmite de F en C1.
Y lKm
Solucin. Observa que todo lo que se pide en este ejercicio depende del conocimiento
de la funcin derivada de F que podemos calcular fcilmente.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
420
Poniendo F.x/ D
r 2x
0
F 0 .x/ D 2 e
t2
rx
dt
4x 2
El signo de F 0 es el mismo de 2 e
t2
x2
dt , deducimos que:
x2
De
3x 2
2e
3x 2
1. Tenemos que:
1
.x > 0/
r
log 2
1
2
2e
1>0 e
> 3x 6 log 2 jxj 6
2
3
q
Como consideramos que x > 0, obtenemos que F 0 .x/> para x 2 0; log3 2 y F 0 .x/ 6 0
q
q
q
log 2
log 2
log 2
para x >
es creciente en 0;
3 . Por tanto F
3 y es decreciente en
3 ; C1.
q
log 2
Deducimos que en x0 D
3 la funcin F alcanza un valor mximo absoluto en
0; C1. No hay otros extremos relativos, adems de x0 , porque la derivada solamente se anula en x0 .
3x 2
3x 2
Por su definicin, se tiene que F.x/ > 0 para todo x > 0, pues F es la integral de la
2
funcin continua positiva e t en el intervalo x; 2x. Como F.0/ D 0, resulta que F
alcanza en 0 un valor mnimo absoluto.
Calculemos la segunda derivada.
F 00 .x/ D 16x e
4x 2
x2
C2x e
x2
D2x e
3x 2
8e
.x > 0/
p
p
00
Se obtiene fcilmente que F 00 .x/
p6 0 para x 2 0; logp2 y F .x/ > 0 para x > log 2.
en log 2; C1. Deducimos que F
Por tanto, F es cncava en 0; log 2 y convexa
p
tiene un nico punto de inflexin en x1 D log 2.
Finalmente, como:
0 6 F.x/ D
x2
y lKm x e
x!C1
2x
w
t2
dt 6
2x
w
x2
x2
dt D x e
lKm F.x/ D 0.
x!C1
p
sen. t/ dt
a/ lKm
t2
x!0 wx
x2
w
dt
b/ lKm
x3
x!0
x>0
wx
c/ lKm
t2
e sen t dt
x!0
x>0
t2
p
x x
dt
0
x 2wC1
d / lKm
x!0
wx
e
t
dt
x2
e/
lKm
x!C1
t2
dt
wx
2t 2
!2
wx
f / lKm
x!0
.sen t C cos t
1/ dt
x2
dt
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
421
a) lKm
p
sen. t/ dt
x3
x!0
x>0
p
2x sen. x 2 /
2 sen.jxj/
2
2 sen x
D lKm
D lKm
D lKm
D :
2
x!0
x!0 3
x
x!0 3 x
3
3x
x>0
x2
x>0
p
sen. t/ dt
x>0
x!0
x<0
2
, por tanto, no existe el lmite en 0 de dicha fun3
x3
cin.
1
1.
lKm
x!C1
2
x t2
e
dt
0
rx 2
2t dt
0 e
r
2 ex
D lKm
x!C1
2 ex
D lKm
2x
x!C1
rx
0 e
2x
e 2
t 2 dt
D lKm
D lKm
x!C1
rx
0
et dt
ex 2
x!C1
2
ex
1
D0
x
Ejercicio resuelto 190 Estudia la convergencia de las siguientes integrales impropias y calclalas cuando sean convergentes.
a/
C1
w
d/
1
C1
w
0
dx
b/
p
x 4x 2 C x C 1
C1
w
xe
x2
dx
c/
w1 log x
dx
e/
x
x4
1C
dx
.x 2 C 1/3
f/
C1
w
1
dx
p
x.1 C x/
0
C1
w
1
1
dx
1 C x2
Solucin. En todos los casos, salvo a/ y d /, podemos calcular una primitiva inmediata
que se puede usar para calcular la integral y, de paso, comprobar su convergencia. Antes
de hacer a/ y d / estudia las tcnicas de clculo de primitivas.
c)
C1
w
0
w
p
1
1
p
p
dx D lKm
dx D 2 lKm arc tg u D .
u!C1
u!C1
x.1 C x/
x.1 C x/
0
p
1
1
x2
dx D lKm
t! 1
Universidad de Granada
Dpto. de Anlisis Matemtico
p
1
1
x2
dx C lKm
t !1
wt
0
p
1
1
x2
dx D
t! 1
w1 log x
w1 log x
dx D lKm
dx D
e)
x
x
t !0
t
0
w0
1 y 1.
t !1
lKm
t !0
1
.log t/2 D 1.
2
Ejercicios resueltos
422
w1 1
0
cos x
p dx ;
2
x x
b/
w1
0
x
dx
sen x
c/
C1
w
0
xC5
dx
x3 C x
xC5 1
1
5
xC5 1
2 .x ! C1/
.x ! 0/;
f .x/ D
1 x2
x
1 C x2 x
x
xCx
r C1 1
Como la integral 1 x2 dx es convergente, se sigue que la integral de f en 1; C1 es
convergente.
r1
Como la integral 0 x1 dx es positivamente divergente, se sigue que la integral de f en
0; 1 es positivamente divergente. Por tanto la integral de f en 0; C1 es positivamente
divergente.
f .x/ D
C1
w
x C sen x
dx
x sen x
x C sen x
. Como jsen xj < x para todo x > 0, se sigue
x sen x
que f .x/ > 0 para todo x > 0. Se trata de estudiar la convergencia de la integral de f
en 0; C1. Para ello estudiaremos la convergencia de las integrales de f en 0; 1 y en
1; C1. Tenemos las equivalencias asintticas:
x C sen x 2x
y x
sen x
1 3
x
3
.x ! 0/ f .x/ 6x
r1
Como la integral 0 x 2 dx es convergente si, y slo si,
integral de f en 0; 1 es convergente si, y slo si, > 1.
2>
.x ! 0/
1, deducimos que la
Tenemos
r C1 tambin la equivalencia asinttica f .x/ x para x ! C1. Como la integral
x dx es convergente si, y slo si, < 1, deducimos que la integral de f en
1
1; C1 es convergente si, y slo si, < 1. Por tanto, la integral de f en 0; C1 no
converge para ningn valor de .
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
423
r C1 sen x
Ejercicio resuelto 193 Prueba que la integral 1
x p dx es absolutamente convergente
para p > 1, es convergente pero no absolutamente convergente para 0 < p 6 1 y no es
convergente para p 6 0.
Sugerencia. Para 0 < p 6 1 usa el segundo teorema de la media.
1
x
Solucin. Pongamos f .x/D sen
x p . Como jf .x/j6 x p y, para p > 1 la integral
r C1
es convergente, se sigue, por el criterio de comparacin, que la integral 1
absolutamente convergente para p > 1.
r C1
1
1
xp
sen x
x p dx
dx
es
Teniendo en cuenta que a sen x dx Djcos a cos bj6jcos ajCjcos bj62, deducimos
que:
v
w sen x
2
2
dx
6 p C p:
p
u
x
v
u
rx t
De esta desigualdad se deduce que la funcin F.x/ D 1 sen
t p dt satisface la condicin
"
2
de Cauchy en C1. Pues, dado " > 0, basta tomar u" > 1 tal que p < (lo que puede
2
u"
hacerse por ser p > 0) para obtener que para todos v > u > u" es:
v
w sen x
2
2
jF.u/ F.v/j D
dx 6 p C p < ":
p
u
x
v
u
Concluimos, por
la proposicin 8.32, que la funcin F.x/ tiene lmite finito en C1, esto
r C1
sen x
es, la integral 1
x p dx es convergente.
Para probar que la integral no es absolutamente
p convergente para 0 < p 6 1 podemos
razonar como sigue. Observa que sen x p
> 1= 2 para x 2 =4; 3=4 y, por la periodicidad del seno, tambin ser sen x > 1= 2 para x 2 2k C =4; 2k C 3=4, donde
k D 0; 1; 2; : : : . Tenemos que para todo x 2 2k C =4; 2k C 3=4 es:
1
1
1
jsen xj
1
1
1
p
>p
>p
>
:
p
pp
p
xp
.2k
C
3=4/
.2k
C
1/
.k
C
1/p
2
2
2
2
Deducimos que:
2kC3=4
w
2kC=4
jsen xj
1
dx >
:
p
p
p
x
4
2 .k C 1/p
n
X
jsen xj
dx >
xp
Universidad de Granada
Dpto. de Anlisis Matemtico
2kC3=4
w
kD1 2kC=4
n
X
jsen xj
1
dx >
:
p
p
xp
.k
C
1/p
4
2 kD1
Ejercicios resueltos
424
kD1
n
X
1
1
D HnC1
>
p
.k C 1/
k C1
kD1
donde fHn g D f1 C 1=2 C C 1=ng es la serie armnica. Sabemos que fHn g ! C1,
por lo que de las dos desigualdades anteriores se sigue que:
lKm
n!1
2nC3=4
w
1
jsen xj
dx D C1
xp
wt jsen xj
dx D C1:
t !C1
xp
lKm
1
xp
Ejercicio resuelto 194 Estudia para qu valores de y son convergentes las integrales
siguientes.
a/
C1
w
x ex dx
b/
C1
w
0
1
dx
x .1 C x /
c/
w1
x .1
x/ dx
x!C1
x!C1
f .x/
D lKm x esx D0:
x!C1
esx
f .x/
Por tanto, hay algn u0 > 1 tal que para todo x > u0 se verifica que sx 6 1, esto es,
e
r C1
f .x/ 6 esx . Como s < 0 la integral 1 esx dx es convergente y, por el criterio de
r C1
comparacin, deducimos que la integral 1 x ex dx tambin es convergente.
Si > 0 un razonamiento parecido al anterior, prueba que la integral es positivamente
divergente para todo 2 R. Finalmente, si D 0 sabemos que la integral converge si, y
slo si, < 1.
Ejercicio resuelto 195 Justifica que hay una funcin f W R ! R derivable cuya derivada es
f 0 .x/ D sen.1=x/ para todo x 0, y f 0 .0/ D 0.
Universidad de Granada
Dpto. de Anlisis Matemtico
wx
sen.1=t / dt
Ejercicios resueltos
425
C1
w sen s
wu sen s
t D 1=s; dt D sds2
D
sen.1=t / dt D
ds
D
lK
m
ds
t D x; s D 1=x; t D 0; s D C1
u!C1
s2
s2
1
1
Sea u > 1=x. Podemos aplicar el segundo teorema de la media para obtener que hay
algn punto c 2 1=x; u tal que:
u
wu sen s
wc
1 w
2
sen
s
ds
C
ds
D
x
sen s ds :
s2
u2 c
1
1
x
b
Teniendo ahora en cuenta que a sen s ds D jcos b cos aj 6 2, deducimos que para
todo u > 1=x se verifica que:
C1
u
u
w sen s
w sen s
w
2
sen s
2
ds
ds
ds
6
2x
C
D
lK
6 2x 2
2
2
2
2
u!C1
s
u
s
s
x1
x1
x1
r x
r
x
sen.1=t / dt
sen.1=t/ dt
0
D 0:
6 2x lKm 0
x
x
x!0
x >0
Hemos probado as que f es derivable por la derecha en 0 con derivada por la derecha
en 0 igual a 0. El mismo razonamiento prueba que f es derivable por la izquierda en 0
con derivada por la izquierda en 0 igual a 0 (alternativamente, puedes usar que f es una
funcin par). Por tanto, f es derivable en 0 y f 0 .0/ D 0.
.0 x 1/:
w1 t 1
dt .
Aplicacin. Calcula la integral
log t
0
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
426
t 1
. Utiliza el primer teorema de la media para integrales para
log t
obtener que si 0 < x 1 hay algn punto c D c.x/ comprendido entre x y x 2 tal que:
x2
w
1
dt :
f .x/ D g.c/
t
1
x
x2
w
g.t /
dt
t
el primer teorema de la media implica que hay algn punto c D c.x/ comprendido entre
x y x 2 tal que:
x2
w
dt
Dg.c/.logjx 2
f .x/Dg.c/
t
1
x
1j logjx
x2 1
1j/Dg.c/ log
Dg.c/ log.xC1/:
x 1
x!0
1
log t
igual a 0 para
x2
w
wx 1
1
dt C
dt f 0 .x/ D
log t
log t
0
x 1
1
2x
D
C
D g.x/:
2
log x
log x
log.x /
f .0/ D log 2:
Universidad de Granada
Dpto. de Anlisis Matemtico
427
Universidad de Granada
Dpto. de Anlisis Matemtico
428
x!b
x!a
cos x
1
1
sen x
; cotg x D
; sec x D
; cosec x D
cos x
sen x
cos x
sen x
ex C e x
ex C e x
senh x
; cosh x D
; tgh x D
2
2
cosh x
p
p
1Cx
1
2
2
1 ; argtgh xD log
argsenh xDlog x C x C 1 ; argcosh xDlog x C x
2
1 x
senh x D
En la siguiente lista de primitivas inmediatas se supone que a > 0 y que las races cuadradas
toman valores reales, es decir, las funciones radicando son positivas.
Universidad de Granada
Dpto. de Anlisis Matemtico
Primitivas inmediatas
429
Tabla de primitivas inmediatas
f .x/C1
f .x/ f 0 .x/ dx D
. 2 R; 1/
C1
w f 0 .x/
log.f .x//;
si f .x/ > 0;
dx D
D log.jf .x/j/
log. f .x//; si f .x/ < 0.
f .x/
w
ef .x/ f 0 .x/ dx D ef .x/
w
sen.f .x//f 0 .x/ dx D cos.f .x//
w
cos.f .x//f 0 .x/ dx D sen.f .x//
w
Universidad de Granada
Dpto. de Anlisis Matemtico
430
u dv D uv
v du :
(8.18)
Por supuesto, esta igualdad podemos usarla para calcular integrales definidas:
wb
u.x/v 0 .x/ dx
xDb
D u.x/v.x/
xDa
wb
v.x/u 0 .x/ dx :
(8.19)
x!b
u.x/v 0 .x/ dx D u.x/v.x/x!a
wb
v.x/u 0 .x/ dx
(8.20)
r
Naturalmente, si queremos usar este mtodo para calcular una integral f .x/ dx lo primero
que hay que hacer es expresar f .x/ D u.x/w.x/r de forma que el clculo de v.x/ por la condicin, v 0 .x/ D w.x/, es decir la integral v.x/ D w.x/ dx , sea inmediata. Tenemos entonces
w
w
w
w
f .x/ dx D u.x/w.x/ dx D u.x/v 0 .x/ dx D u.x/v.x/
v.x/u 0 .x/ dx (8.21)
Veamos algunas situaciones en las que este mtodo puede aplicarse con xito.
r
r
Cuando la integral v.x/u 0 .x/ dx es inmediata. Por ejemplo, para calcular una integral
f .x/ dx en la que la derivada de f .x/ es ms sencilla que la propia funcin, como es el
caso de log x, arc sen x, arc tg x. Entonces conviene tomar u.x/ D f .x/ y v 0 .x/ D w.x/ D 1
en (8.21), con ello resulta que:
w
w
f .x/ dx D xf .x/
xf 0 .x/ dx :
8.37 Ejemplo.
w
arc tg x dx D 4
u D arc tg x ! du D
dv D dx ! v D x
1
x arc tg x C log.1 C x 2 /
2
3
1
dx
5 D x arc tg x
1 C x2
x
dx D
1 C x2
Universidad de Granada
Dpto. de Anlisis Matemtico
431
r
Cuando la integral v.x/u 0 .x/ dx es del mismo tipo que la integral de partida, pero
ms sencilla, de manera que reiterando el proceso se llega a una integral inmediata. Este es el
caso cuando f .x/ es de la forma P .x/ eax , P .x/ sen.ax/, P .x/ cos.ax/, donde P .x/ es una
funcin polinmica. En todos los casos se elige u.x/ D P .x/, y v 0 .x/ D eax , v 0 .x/ D sen.ax/,
v 0 .x/ D cos.ax/.
8.38 Ejemplo.
w
P .x/ eax
3
u D P .x/ ! du D P 0 .x/ dx
eax
5
ax
D
P
.x/
dx D 4
e
a
dv D eax dx ! v D
a
2
1 w 0
P .x/e ax dx
a
La ltima integral es del mismo tipo que la primera pero con el grado del polinomio rebajado
en una unidad. El proceso se repite tantas veces como sea necesario.
r
Cuando la integral v.x/u 0 .x/ dx es parecida a la de partida, de forma que al volver a
aplicar el proceso la integral de partida se repite y es posible despejarla de la igualdad obtenida.
8.39 Ejemplo.
w
cos.log x/ dx D 4
D x cos.log x/ C
u D cos.log x/ ! du D
dv D dx ! v D x
2
sen.log x/ dx D 4
D x cos.log x/ C x sen.log x/
deducimos que
8.6.4.1.
cos.log x/ dx D
3
1
sen.log x/ dx
5D
x
u D sen.log x/ ! du D
dv D dx ! v D x
cos.log x/ dx
3
1
cos.log x/ dx
5D
x
x
cos.log x/ C sen.log x/ .
2
La tcnica de rintegracin por partes permite en algunas ocasiones relacionar una integral
de la forma In D f .x; n/ dx en la que interviene un parmetro n (con frecuencia un nmero
natural) con otra del mismo tipo en la que el parmetro ha disminuido en una o en dos unidades.
Las expresiones as obtenidas se llaman frmulas de reduccin o de recurrencia y permiten el
clculo efectivo de la integral cuando se particularizan valores del parmetro. Los siguientes
ejemplos son ilustrativos de esta forma de proceder.
8.40 Ejemplo.
w
.log x/n
u
D
.log
x/
!
du
D
n
n
.log x/ dx D 4
x
dv D dx ! v D x
2
dx 5
w
Dx.log x/n n .log x/n
dx
Universidad de Granada
Dpto. de Anlisis Matemtico
432
8.41 Ejemplo.
In D
x n eax
3
u D x n ! du D nx n 1
5 D 1 .x n eax nIn
dx D 4
eax
ax
a
dv D e dx ! v D
dx
a
2
1/
8.42 Ejemplo (Frmulas de Wallis y de Stirling).
"
w
u D senn 1 x ! du D .n 1/ senn
n
Jn D sen x dx D
dv D sen x dx ! v D cos x
w
n 1
D cos x sen
x C .n 1/ senn 2 x cos2 x dx D
w
D cos x senn 1 x C .n 1/ senn 2 x dx .n 1/Jn
x cos x dx
w
1
n 1w
Y deducimos fcilmente que senn x dx D
cos x senn 1 x C
senn
n
n
particular:
=2
=2
w
n 1
n 1 w
In 2 :
senn 2 x dx D
In D
senn x dx D
n
n
x dx . En
2 4 6 .2n/
;
3 5 7 .2n C 1/
I2n D
1 3 5 .2n 1/
2 2 4 6 .2n/
I2n
I2nC1
<
1,
(8.22)
de donde:
I2n 1
2n C 1
D
I2nC1
2n
I2n
D 1. Puesto que:
I2nC1
n!1
1
n D 1; 2; : : :
(8.23)
1 2 4 6 .2n/
Dp
;
n 3 5 .2n 1/
1/
Prof. Javier Prez
Clculo diferencial e integral
433
deducimos que:
p
.n!/2 22n
D lKm p
:
n!1
n.2n/!
Definamos:
an D
(8.24)
n! en
p :
nn n
n!1
D 1:
(8.25)
Se trata de un lmite muy til porque proporciona la equivalencia asinttica para el factorial:
n n
p
p
n! 2 n nn e n D 2 n
(8.26)
e
Nos que probar que la sucesin fan g converge a un nmero positivo. Probaremos que es decreciente.
p
1
1
n! en .n C 1/nC1 n C 1
1 nC 2
an
D
D np
1C
anC1
e
n
n n .n C 1/! enC1
Tomando logaritmos:
log
an
anC1
1
1
D nC
log 1 C
2
n
1:
x2
x3
C
C o.x 3 /:
2
3
(8.27)
Te recuerdo que usamos la notacin de Landau o.x 3 / simplemente para indicar que:
log.1 C x/ x C
o.x 3 /
lKm
D lKm
3
x!0
x
x3
Universidad de Granada
Dpto. de Anlisis Matemtico
x2
2
x3
3
D 0:
434
n!1
o.xn /
D 0:
xn3
(8.28)
/:
n!1
an
anC1
1
o.n
C lKm
n!1
12
n
2/
2
1
:
12
Por tanto, existe un n0 2 N tal que para todo k > n0 se verifica que:
0 < k 2 log
ak
<
akC1
2
1
ak
1
:
D 0 < log
<
12
6
akC1
6k 2
log.an / D
n
X1
log
kDn0
ak
akC1
<
n 1
n 1
1X 1
1 X 1
6
:
6
k2 6
k2
kDn0
kD1
n
X
1
La sucesin
est mayorada porque:
k2
kD1
n
n
n
w 1
X1 kC1
X1
1
1 w 1
D
dx
D
dx
>
:
n
x2
x2
.k C 1/2
1
kD1 k
kD1
n
X
1
De donde se sigue que
6 2. En consecuencia:
k2
kD1
an 0
1
an > p
:
3
3
e
n0
El nmero p
3 e es una constante positiva independiente de n, y esta desigualdad es vlida para
todo n > n0 . Por otra parte, teniendo en cuenta que para k > n0 se tiene que:
0 < log
ak
D log.ak /
akC1
log.akC1 /
lo que nos dice que la sucesin flog.anCn0 /g es decreciente y, por tanto, tambin es decreciente
la sucesin fanCn0 g, concluimos que esta sucesin, y por tanto tambin fan g, converge a un
nmero positivo.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
435
log x dx ;
s 2 e2s ds ;
arc sen x dx ;
x 3 ex dx ;
log.x 2 C 1/ dx ;
=4
w
0
#
d#;
cos2 #
we
w4 p
t log t dt ; .log x/2 dx
1
we
x 2 sen x dx ;
cos2 .log x/ dx
En los ejercicios de clculo de primitivas es una buena prctica comprobar los resultados.
Adems es muy sencillo: basta derivar la primitiva que has obtenido.
w
w
391. Calcula las primitivas
eax cos.bx/ dx ; y eax sen.bx/ dx . Supuesto que a > 0,
C1
C1
w
w
calcula el valor de las integrales
e ax cos.bx/ dx y
e ax sen.bx/ dx .
0
tg x cotg 0 x dx
.log x/3 dx ;
x 4 ex dx ;
=2
w
sen4 x dx ;
sen5 x dx
1
dx D
.1 C x 2 /n
.2n
1/In
x
2/.1 C x 2 /n
2n
2n
3
In
2
(8.29)
w
w .1 C x 2 / x 2
x2
dx
D
I
dx . Ahora:
n
1
.1 C x 2 /n
.1 C x 2 /n
2
uDx
! du D dx
w
2
x
4
dx
D
x
1
1
.1 C x 2 /n
dv D
dx ! v D
2.n 1/ .1 C x 2 /n
.1 C x 2 /n
Sugerencias: In D
Universidad de Granada
Dpto. de Anlisis Matemtico
5D
436
C1
w
0
x 2n 1
dx
.1 C x 2 /.nC3/
n 1
In
nC2
1.
.n > 1/
Calcula I1 , I2 e I3 .
H .c/ D F.g.d //
F.g.c// D
g.d
w /
f .x/ dx
g.c/
Esta igualdad se conoce con el nombre de frmula de integracin por sustitucin o cambio
rb
de variable. En ella se supone que queremos calcular, por ejemplo, la integral a f .x/ dx y
lo que hacemos es la sustitucin x D g.t /, con lo que dx D g 0 .t / dt y se eligen c y d por
la condicin de que g.c/ D a, g.d / D b. Naturalmente, esto tiene inters cuando la funcin
f .g.t//g 0 .t/ es ms fcil de integrar que la funcin f . Simblicamente este proceso suele
representarse en la forma:
"
#
wb
wd
x D g.t/; dx D g 0 .t/ dt
f .x/ dx D
D f .g.t//g 0 .t/ dt
(8.30)
a
D
g.c/;
b
D
g.d
/
a
c
Para el caso de integrales indefinidas este proceso de sustitucin de representa de forma menos
precisa y se escribe simplemente
"
#
w
w
x D g.t /
f .x/ dx D
D
f .g.t //g 0 .t / dt
dx D g 0 .t/ dt
r
r
En este contexto, es frecuente calcular f .g.t //g 0 .t / dt D H .t /, y escribir f .x/ dx D H .t/,
igualdad que no tiene
r mucho sentido si no se especifica tambin la relacin entre las variables
t y x, escribiendo f .x/ dx D H .t/ donde x D g.t/. Desde luego, el conocimiento de H .t/
y de la relacin x D g.t/ es suficiente para calcular integrales definidas de f , pero tambin
podemos deshacer el cambio para obtener una primitiva de f . Para eso la funcin g debe
ser una biyeccin de J sobre I con derivada no nula. En tal caso, la funcin F.x/DH .g 1 .x//
es una primitiva de f en I . En efecto:
F 0 .x/ D H 0 .g
.x//.g
D f .x/g 0 .g
Universidad de Granada
Dpto. de Anlisis Matemtico
1 0
/ .x/ D
.x//
f .g.g
g 0 .g 1 .x//
.x///g 0 .g
.x//.g
1 0
/ .x/D
D f .x/:
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios propuestos
437
No olvides que la frmula del cambio de variables puede usarse en un sentido (de izquierda a
derecha) o en otro (de derecha a izquierda) segn convenga.
Puede ocurrir que al hacer un cambio de variable en una integral corriente obtengamos
una integral impropia. No hay que preocuparse porque para estudiar la convergencia de una
integral pueden hacerse cambios de variable biyectivos: ello no altera la eventual convergencia
de la integral ni su valor.
8.43 Ejemplo. Con frecuencia se hacen cambios de variable para quitar radicales.
2
3
2
=4
w2
x D 2 tg t; dx D
1
1 w cos t
2
4
5
cos
t
dt D
p
dx D
D
p
4
sen2 t
p x2 x2 C 4
2=
3
D
2
tg.=6/;
2
D
2
tg.=4/
=6
2= 3
p
1
2
1 =4 2
D
D
4 sen t =6
4
8.44 Ejemplo. Un cambio de variable en una integral impropia. Consideremos la integral:
wb
a
1
p
.x
a/.b
x/
dx
sen3 x
dx x D arc cos t I
cos4 x
=4
w
=4
sen2 x
dx x D arc tg tI
cos4 x
C1
w
1
dx
x D log t
C1
ex
w3 p
4
p
x 2 dx ;
dx
p
x x2
we4
e
w4 1
dx
p
;
x log x
x2
1
1C
w ex C3 e2x
1
dx ;
dx
x
2 C ex
ra
dt D0.
398. Sea a > 0. Prueba que si f es impar, es decir, f . x/D f .x/,
r aentonces a fr .t/
a
Y si f es una funcin par, es decir, f . x/ D f .x/, entonces a f .t/ dt D 2 0 f .t/ dt .
Universidad de Granada
Dpto. de Anlisis Matemtico
438
a1 /1 .x
an /n .x 2 C b1 x C c1 /1 .x 2 C bm x C cm /m
(8.31)
8.45 Observaciones.
Esto se dice muy pronto, pero puede ser muy difcil de hacer si no imposible. Afortunadamente, en los casos prcticos esta descomposicin o se conoce o es muy fcil de realizar.
En la descomposicin (8.31) cada aj es una raz real de orden j del polinomio Q, y los
factores cuadrticos del tipo .x 2 C bj x C cj /j corresponden a races complejas conjugadas
de orden j . Tales factores cuadrticos son irreducibles, es decir, su discriminante es negativo
o, lo que es igual, x 2 C bj x C cj > 0 para todo x 2 R.
Paso 2. Descomposicin en fracciones
8.6.8.1.
P .x/
como suma de fracciones de la siguiente forma:
Q.x/
Por cada raz real aj de orden j escribimos j fracciones cuyos numeradores son constantes Akj que hay que determinar, y los denominadores son de la forma .x aj /kj donde kj
toma valores de 1 hasta j .
Por cada factor cuadrtico irreducible .x 2 C bj x C cj /j escribimos j fracciones cuyos
numeradores son de la forma Bkj x C Ckj siendo Bkj y Ckj constantes que hay que determinar,
y los denominadores son de la forma .x 2 C bj x C cj /kj donde kj toma valores de 1 hasta j .
La descomposicin es de la forma:
2
3
2
3
j
j
n
m
X
X
X
X
Akj
Bkj x C Ckj
P .x/
4
5C
4
5
D
(8.32)
k
kj
2
j
Q.x/
.x
a
/
.x
C
b
x
C
c
/
j
j
j
j D1 k D1
j D1 k D1
Escribimos el cociente
Universidad de Granada
Dpto. de Anlisis Matemtico
439
Mtodo de Hermite
Escribimos el cociente
P .x/
de la siguiente forma:
Q.x/
A1
B1 x C C1
An
Bm x C Cm
P .x/
D
C 2
C C
C C 2
C
Q.x/
x a1
x an
x C b1 x C c 1
x C bm x C c m
F.x/
d
C
dx .x a1 /1 1 .x an /n 1 .x 2 C b1 x C c1 /1 1 .x 2 C bm x C cm /m
(8.33)
P .x/
de la forma 8.33, es
Q.x/
1
2
.x a1 / 1 .x an / n .x C b1 x C c1 /1 1 .x 2 C bm x C cm /m
ID
A
x
a
w
dx D A log jx
440
aj.
Bx C C
dx .
C bx C c
x2
w
B
1
log.x 2 C bx C c/ C K
dx :
2
2
x C bx C c
La integral que nos queda es un arcotangente. Para calcularla escribimos el trinomio x 2 CbxCc
en la forma x 2 C bx C c D .x /2 C 2 . Esto es muy fcil de hacer,
p pues la eleccin de
es obligada ya que debe ser D b=2, de donde se sigue que D 4c b 2 =2. En otros
trminos, i son las races complejas del trinomio x 2 C bx C c. Tenemos que:
w
w
1
dx
D
x 2 C bx C c
.x
D
1w
1
dx
D
x
/2 C 2
1
x
arc tg
:
2
C1
dx D
Por tanto:
2C Bb
B
2x C b
2
arc tg p
I D log.x C bx C c/ C p
:
2
4c b 2
4c b 2
En el mtodo de los coeficientes indeterminados aparecen tambin, cuando hay races mltiples, otros dos tipos de fracciones elementales:
A
Fracciones del tipo
donde k 2 N y k > 2, correspondientes a races reales
.x a/k
mltiples, las cuales no ofrecen dificultad pues:
w
A
A
1
dx D
:
k
k 1 .x a/k 1
.x a/
Bx C C
donde k 2 N y k > 2, correspondientes a races
.x 2 C bx C c/k
imaginarias mltiples. La integracin de de estas fracciones puede hacerse usando la frmula de reduccin 8.29. Previamente debe hacerse un pequeo ajuste. Escribamos el trinomio
x 2 C bx C c en la forma x 2 C bx C c D .x /2 C 2 .
"
#
w
w
x D t
Bx C C
Bx C C
dx D
D
k dx D
.x 2 C bx C c/k
dx D dt
.x /2 C 2
1 w Bt C B C C
B C C w
1
D 2k
dt
D
dt C
2
k
2k
1
.1 C t /
.1 C t 2 /k
1
B
1
C 2k 2
:
1 k .1 C t 2 /k 1
2
Universidad de Granada
Dpto. de Anlisis Matemtico
441
1
.1Ct 2 /k
dt .
x2 2
dx . Como hay races imaginarias mltiples
x 3 .x 2 C 1/2
x2 2
d
A Bx C C
C
D C 2
x
dx
x 3 .x 2 C 1/2
x C1
ax 3 C bx 2 C cx C d
x 2 .x 2 C 1/
Realizando la derivada y reduciendo a comn denominador, obtenemos un sistema de ecuaciones cuya solucin es
a D 0;
b D 5=2;
c D 0;
d D 1;
A D 5;
B D 5;
C D 0I
por lo tanto
w
x2 2
.5=2/x 2 C 1
C 5 log x
dx
D
x 3 .x 2 C 1/2
x 2 .x 2 C 1/
5
log.x 2 C 1/:
2
C1
w
2
xC1
dx .
x.x 1/.x 2 C 1/
xC1
, Observa que f .x/ > 0 para todo x > 2. Adems,
x.x 1/.x 2 C 1/
se verifica la equivalencia asinttica:
Pongamos f .x/ D
f .x/
1
x3
.x ! C1/:
r C1 1
Como la integral 2
3 dx es convergente, se sigue, por el criterio lmite de comparacin,
r C1 x
que la integral 2 f .x/ dx tambin es convergente.
Para calcular la integral hallaremos una primitiva de f .x/ aplicando el mtodo de los coeficientes indeterminados.
x.x
A
B
Cx C D
xC1
D C
C 2
:
x
x 1
1/.x 2 C 1/
x C1
A C .A C B
D/x C . A C C D/x 2 C .A C B C C /x 3
:
x.x 1/.x 2 C 1/
Ejercicios propuestos
442
Deducimos que:
wt
2
w dx
xC1
dx
D
x 1
x.x 1/.x 2 C 1/
2
Por tanto:
C1
w
2
wt dx
x
wt
t 1
dx
D log 2
arc tg t C arc tg 2:
t
x2 C 1
xC1
dx D log 2
x.x 1/.x 2 C 1/
C arc tg 2:
2
8.49 Observacin. Cuando se calculan integrales impropias convergentes de funciones racionales, hay que escribir la primitiva obtenida de forma conveniente para que el lmite pueda
calcularse fcilmente. Observa cmo hemos escrito la primitiva en el ejemplo anterior: hemosagrupado
los logaritmos de forma apropiada para calcular el lmite. No da igual escribir
t 1
log 2
, que escribir log.t 1/ C log 2 log t. En el primer caso, el lmite para t ! C1
t
resulta inmediato, mientras que, en el segundo caso, puedes equivocarte y creer que dicho lmite
no existe. Este tipo de ajustes hay que hacerlos con frecuencia.
d/
C1
w
1
g/
x2
dx ;
3x 2
2
x3
x3
x2
.x 4
b/
x 1
dx ; e/
3x 2 C x C 5
1/2
dx ;
h/
w x 4 C 6x 3 7x 2 4x
x 3 2x 2 C x 2
C1
w
1
.x 2
dx
dx ;
2x C 2/2
dx
;
x.1 C x 4 /
dx ; c/
1=2
w
1=2
f/
w1
0
i/
dx
dx
x4 1
dx
dx
1 C x4
3x 2 C 30
dx
x 4 C 2x 2 8
443
decir, un cociente de funciones polinmicas de dos variables. Te recuerdo que una funcin
n X
m
X
polinmica de dos variables es una funcin de la forma P .x; y/ D
cij x i y j .
iD0 j D0
8.6.10.1.
sen x D
2t
;
1 C t2
cos x D
1 t2
;
1 C t2
dx D
2 dt
1 C t2
(8.34)
2t
1 t2
R
;
1 C t2 1 C t2
2 dt
1 C t2
8.50 Ejemplo.
w
w
w t2 1
cos x dx
dx
D
D tg x=2 D t D D
dt
sen x tg x
sen x cos x sen x
2t 3
1
1
1
log t
D
D 2C
C log j tg.x=2/j:
2
2
4t
4 tg .x=2/ 2
Casos particulares
Cuando R. sen x; cos x/ D R.sen x; cos x/ se dice que R es par en seno y coseno.
En este caso es preferible el cambio tg x D t. Con lo que
t
sen x D p
;
1 C t2
1
cos x D p
;
1 C t2
dx D
dt
1 C t2
con n y m nmeros enteros pares, es preferible simplificar la integral usando las identidades
cos2 x D
1 C cos 2x
2
sen2 x D
cos 2x
:
2
Universidad de Granada
Dpto. de Anlisis Matemtico
w
w
cos2 x/ cos2 x dx D cos2 x dx
cos4 x dx D
w 1 C cos 2x
w 1 C cos 2x 2
D
dx
dx D
2
2
sen 2x 1 w
x
.1 C 2 cos 2x C cos2 2x/ dx D
D C
2
4
4
1 1 C cos 4x
x C sen 2x x 1 w
cos 2x dx
dx D
D
4
4 2
4 2
1
sen 4x
x C sen 2x sen 2x x sen 4x
D
x
D
4
4
8
32
8
4
ID
444
.1
8.52 Ejemplo.
w
w cos3 x
w .1 sen2 x/ cos x dx
1 t2
t D sen x
dx
D
D
D
dt
dt D cos x dx
sen2 x
sen2 x
t2
1
1
D
tD
sen t:
t
sen t
w sen2 x cos x
dx . Se trata de una funcin par en seno y en coseno.
sen x C cos x
Haciendo t D tg x, obtenemos:
ID
t2
dt
.t C 1/.t 2 C 1/2
t C
t2 C 1
A C C C C .B C C
2 C /t C .2A C B C C 2
.t C 1/.t 2 C 1/2
/t 2 C .B C C
/t 3 C .A C B/t 4
Universidad de Granada
Dpto. de Anlisis Matemtico
445
Deducimos que:
ID
1
log jt C 1j
4
1
log.t 2 C 1/
8
1
1 1Ct
D log j sen x C cos xj
2
41Ct
4
1
cos x.sen x C cos x/
4
sen.ax C b/ cos.cx C d /;
cos.ax C b/ cos.cx C d /
sen. C / C sen.
2
cos cos D
cos.
sen sen D
cos.
/
2
cos. C /
/ C sen. C /
2
8.54 Ejemplo.
w
1w
1w
sen.3x/ cos.2x/ dx D
sen.5x/ dx C
sen x dx D
2
2
1
cos.5x/
10
1
cos x
2
Integrales de la forma
tgn x dx o
1 o cosec2 x
1.
8.55 Ejemplo.
w
w
w
w
w
tg5 x dx D tg3 x tg2 x dx D tg3 x.sec2 x 1/ dx D tg3 x sec2 x dx
tg3 x dx
tg4 x w
tg4 x w
tg4 x w 3
tg x dx D
tg x tg2 x dx D
tg x.sec2 x 1/ dx
D
4
4
4
w
tg4 x 1 2
tg4 x w
tg x sec2 x dx C tg x dx D
tg x C log j cos xj
D
4
4
2
8.6.10.2.
Donde L.x/ D
R x; L.x/r ; L.x/s ; : : : dx
x C
; ; ;
; 2 R con
x C
t q
D r .t/
tq
(8.35)
y la integral se transforma en
w
446
w x C 1 1=3 1
xC1
dx . El cambio de variable
D t 3 racionaliza
x 1
1Cx
x 1
t3 C 1
, con lo que:
la integral pues se tiene que x D 3
t
1
!
w
w t C2
p
2t C 1
1
1
1
t2 C t C 1
3 arc tg p
ID 3
dt
D
C
dt
D
log
3
2
2
2
t
1
t Ct C1 t 1
.t 1/
3
r
xC1
donde t D 3
.
x 1
8.56 Ejemplo. Sea I D
8.6.10.3.
Integrales binomias
x .a C bx / dx
donde , ,
son nmeros racionales y a, b nmeros reales todos ellos distintos de cero.
Haciendo la sustitucin
1
1 1
x D t; x D t ; dx D t 1
la integral se transforma en
1 w C1 1
t
.a C bt/
dt
w
C1
que es de la forma t r .a C bt/
dt donde r D
1. Esta integral es del tipo de las
Deducimos que la primitiva buscada puede expresarse por funciones elementales. Haciendo
3 w 2p
x 2=3 D t obtenemos I D
t t C 2 dt , la cual se racionaliza haciendo t C 2 D s 2 (s > 0),
2
w
con lo que I D 3 .s 2 2/2 s ds que es inmediata.
8.6.10.4.
R.ex / dx
Se racionalizan
con el cambio x D log t. Un caso particular de este es el de las integrales
w
de la forma R.cosh x; senh x/ dx que tambin admiten un tratamiento parecido al de las
trigonomtricas.
Universidad de Granada
Dpto. de Anlisis Matemtico
447
2
dx . Desarrolla los clculos para comprobar que
senh x C tgh x
x
w
1
2.1 C t 2 /
dt
D
log
tgh
I D x D log t D
3
2
1 C cosh x
.t 1/.1 C t /
2
es impar en senh x, tambin podemos proceder
senh x C tgh x
1
2t
1
1
dt D
C log. 1Ccosh x/
log.1Ccosh x/
2
1 C cosh x 2
2
. 1 C t/.1 C t/
Por supuesto, puedes comprobar que las dos primitivas encontradas son de hecho iguales.
p
Integracin de funciones del tipo R.x; ax 2 C bx C c/
w
p
Una integral de la forma R.x; ax 2 C bx C c / dx puede racionalizarse por medio de las
sustituciones siguientes.
8.6.10.5.
t 2 a
a.x /
D r .t /;
(8.36)
D t 2 .t > 0/; x D 2
x
t
a
w
transforma la integral en R r .t /; .r .t/ /t r 0 .t/ dt donde el integrando es una funcin
racional de t.
Si el trinomio ax 2 C bx C c no tiene races reales, entonces debe ser ax 2 C bx C c > 0 para
todo x 2 R, en particular c > 0. La sustitucin:
p
p
p
b 2t c
2
ax C bx C c D tx C c; x D 2
D g.t/;
(8.37)
t
a
w
p
transforma la integral en R g.t/; tg.t/ C c g 0 .t / dt donde el integrando es una funcin
racional de t.
Las sustituciones anteriores se conocen como sustituciones de Euler.
w
x
x
dx . Observa que, si R.x; y/ D 3 , la integral
8.59 Ejemplo. Calcula
2 /3=2
y
.7x
10
x
p
r
que nos piden es R.x; 7x 10 x 2 / dx del tipo que acabamos de considerar.
Como 7x
w
.7x
donde t D
10
x 2 D .x
x
10 x 2 /3=2
.7x
10 x 2 /1=2
.
x 2
Universidad de Granada
Dpto. de Anlisis Matemtico
2/.5
"
2
9
5
C 2t
t
448
1
p
dx .
.1 C x/ 1 C x C x 2
p
t2 1
tenemos:
Haciendo la sustitucin 1 C x C x 2 D x C t, es decir x D
1 2t
"
#
w
w 1
w
1
t2 1
1
2
dx D x D
p
dt D
C
D
dt D
1 2t
t
t 2
t 2 2t
.1 C x/ 1 C x C x 2
D log t C log jt 2j:
p
Donde t D 1 C x C x 2 x.
w
p
Tambin es posible transformar una integral del tipo R.x; ax 2 C bx C c / dx en otra
w
de la forma F.sen x; cos x/ dx donde F es una funcin racional de dos variables las cuales
ya hemos estudiado. Para ello se sigue el siguiente procedimiento.
8.60 Ejemplo.
b) x D sen u;
c) x D tg u
F.sen x; cos x/ dx donde F es una
/2
.
4
.t 2
tC
C
2
w
p
p .
2
R.x; ax C bx C c / dx D x D '.t/ D R '.t/; a
/ p
t2
/ p
1
t2
dt
dt
449
p
dt b
D .t/
2a
w
p
p
R.x; ax 2 C bx C c / dx D x D .t/ D R .t/;
t 2 C 1
p
d
dt
2a
P .x/
Escribimos:
d
D
p
dx
ax 2 C bx C c
P .x/
p
C
2
;
Q.x/ ax C bx C c C p
ax 2 C bx C c
donde Q.x/ es un polinomio, cuyos coeficientes hay que calcular, de grado una unidad menos
que el polinomio P .x/ y C es una constante que tambin hay que calcular. Observa que la
igualdad anterior puede escribirse:
1
P .x/ D Q 0 .x/.ax 2 C bx C c/ C Q.x/.2ax C b/ C C
2
y a la derecha queda un polinomio de igual grado que P .x/ lo que permite identificar coeficientes. Una vez calculados el polinomio Q y la constante C tenemos que:
w
w
p
P .x/
1
p
dx D Q.x/ ax 2 C bx C c C C p
dx
ax 2 C bx C c
ax 2 C bx C c
w
1
dx . Haciendo
con lo que todo se reduce a calcular una integral de la forma p
2
ax C bx C c
uso de los cambios antes visto, esta integral, salvo constantes, puede escribirse de alguna de las
formas:
w
w
w
1
1
1
p
p
p
dt D argsenh.t /;
dt D arc sen.t /;
dt D argcosh.t /
1 t2
t2 1
1 C t2
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
450
/k
.x
ax 2 C bx C c
dx
1
D .
t
w
w 1 2 cos x
1
dx ;
dx
cos x C 2 sen x C 3
5 4 cos x
0
w
w
w dx
1
dx
;
dx
2
cos x
sen x cos x
sen x cos2 x
w
w
w4 cos.3x C 4/
1
dx ;
sen2 x cos3 x dx
dx ;
p
2
.1
C
sen
x/
cos
x
1 C tg .x C 2/
1
dx ;
a C b cos x
sen px cos qx dx ;
w
sen px sen qx dx ;
w
cos px cos qx dx :
n
X
ao
402. Para x 2 R, y n 2 N, definamos F.x/ D C
.ak cos kx C bk sen kx/. Prueba que
2
kD n
k0
x2
1 w
y bp D
F.x/ sen px dx
1
p
dx
2x x 2
x2 x2 x C 1
w
w
1
1
p
dx ;
p
dx
3
2
2
x 2 .4 C x 3 /5
.1
p x / 1Cx
w x 2 C 9x
w
w
1
x 7=2 .1 x 3 / 2 dx ;
dx
dx
;
2
2 senh x cosh x
p x
w
w 5 8x 4x 2
w p
p
dx
3
dx ;
p
x.1 C x/ 2 dx ;
4
x C 5=2
x 1 C x2
Universidad de Granada
Dpto. de Anlisis Matemtico
dx ;
Ejercicios resueltos
451
a/
x2
dx ;
p
1 x6
0
C1
w
d/
g/
x .log x/n dx
j/
m/
dx
1 C x2 C y2
cos2 .log x/ dx
dx
p
x 2x C 1
b/
e/
h/
k/
n/
C1
w
0
C1
w
0
C1
w
1
1=2
w
0
2
w
0
x
dx
3 C x4
c/
dx
.1 C y/.1 C yx 2 /
f/
x3
a
C1
w
0
1
2
x 1
dx
3x 2 C x C 5
i/
dx
p
wa p
l/
20 C 8x C x 2
dx
2 C cos x
p/
a2
x 2 dx
dy
.1 C y/.1 C yx 2 /
dx
0
C1
w
x2
dx
x.log x/
e
C1
w
1
20 C 8x
x.x 2
dx
C x C 1/
; a D a sen
w2 p
w2
2
2
cos t cos t dt D a
Da
jcos t j cos t dt D
2
2
2
D a2
w2
2
2
=2 6 x 6 =2 ) cos t > 0 D
w2 1 C cos.2t/
dt D a2 :
cos2 t dt D a2
2
2
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
452
8.61 Observacin. Al realizar un cambio de variable es importante elegir de forma apropiada el nuevo intervalo de integracin. Con frecuencia, hay varias posibilidades. Por
ejemplo, en la integral anterior podramos haber procedido como sigue:
2
3
x D a sen t; dx D a cos t dt
wa p
w2 p
5
a2 x 2 dx D 4
a2 a2 sen2 t a cos t dt D
D
3
a D a sen
Da
3
2
cos2 t cos t dt D a
3
2
w2
3
2
w2
3
2
jcos tj cos t dt D =2 6 x 6 3=2 ) cos t 6 0 D
3
D a
; a D a sen
w2 p
2
w2 1 C cos.2t/
cos t dt D a
dt D a2 :
2
2
2
p
p
Si en los clculos anteriores te olvidas de que 2 D jj, y pones cos2 t D cos t el
resultado que hubiramos obtenido es el siguiente:
wa p
a2
a
3
x 2 dx Da2
w2
3
2
w2 1 C cos.2t/
cos2 t dt D a2
dt D a2 :
2
2
2
ra p
2
a a
x 2 dx no puede
d) Pongamos D
C1
w
0
1C
y2.
Tenemos que:
C1
C1
1
w
x x!C1
1
dx
1 w
dx
arc
tg
dx
D
D
D
:
D p
x 2
1 C x2 C y 2
x2 C 2
xD0
2 1 C y2
0 1C
0
p
C1
w
y
1
dx
D
dx D
p
p :
p
2
2
.1 C y/ y
2.1 C y/ y
.1 C y/.1 C yx /
1 C . yx/
0
Ejercicios resueltos
453
x 2 /A D
1
x2
x2
.
1 x2
wt
1
1
x2
log.1 C t/
1
1
x2
t
dy
x2 w
D
1 x 2 1 C yx 2
log.1 C tx 2 / D
1
x2
log
1Ct
:
1 C tx 2
Por tanto:
C1
w
0
w
dy
2 log x
dy
D
lK
m
D 2
:
2
2
.1 C y/.1 C yx / t !C1 .1 C y/.1 C yx / x
1
0
g) Pongamos I.; n/ D
x .log x/n dx
I. 1; n/ D
. Si D 1 entonces:
w 1
1
.log x/n dx D
.log x/nC1 :
x
nC1
Supondremos que 1. Para calcular esta primitiva lo que haremos ser obtener una
frmula de recurrencia que permita calcular dicha primitiva para valores concretos de
y de n. Tenemos que:
3
.log x/n 1
n
uD
.log
x/
!
du
D
n
dx
6
7 x C1
x
n
7D
I.; n/ D 6
4
5 C 1 .log x/
x C1
dv D x dx ! v D
C1
n
x C1
.log x/n
I.; n 1/:
D
C1
C1
2
n w
x .log x/n
C1
dx
Esta relacin de recurrencia permite calcular I.; n/ en n pasos, pues I.; 0/ es conocido.
C1
w
x 1
h) Para calcular la integral
dx usaremos la regla de Barrow. Para
3
x
3x 2 C x C 5
1
x 1
ello, debemos obtener una primitiva de la funcin 3
. Se trata de una
x
3x 2 C x C 5
funcin racional. Una raz del denominador es x D 1. Dividiendo el denominador por
x C1 tenemos que x 3 3x 2 Cx C5D.x C1/.x 2 4x C5/. Como el trinomio x 2 4x C5
no tiene races reales, la descomposicin en fracciones simples es de la forma:
x3
A
Bx C C
x 1
D
C 2
x 1DA.x 2 4xC5/C.BxCC /.xC1/
2
3x C x C 5 x C 1 x
4x C 5
1
5.
Ejercicios resueltos
454
x3
wt 1 .2x
2
x2
0
wt
1
1
log.1 C t/ C
5
5
1
1
log.1 C t/ C
5
10
4/ C 2
4x C 5
2x
x2
1w 1
1w
dx C
5 xC1
5 x2
x 1
dx D
3x 2 C x C 5
x
dx D
4x C 5
dx D
t
4
2w
dx C
5 x2
4x C 5
0
1
dx D
4x C 5
t
1
1
1
2w
1
2
D
log.1 C t/ C
log.t
4t C 5/
log 5 C
dx D
5
10
10
5 .x 2/2 C 1
0
p
1
2
2
1
t 2 4t C 5
log 5 C arc tg.t 2/
arc tg. 1/D
D log
5
1Ct
10
5
5
p
1
t 2 4t C 5
1
2
D log
log 5 C arc tg.t 2/ C :
5
1Ct
10
5
10
Deducimos que:
C1
w
0
x3
w
x 1
dx
D
lK
m
t !C1
3x 2 C x C 5
x3
0
1
D .3
10
1
x 1
dx D
log 5 C C D
2
10
5
10
3x C x C 5
log 5/:
Observa la forma de escribir la primitiva, introduciendo una raz cuadrada en el logaritmo con la finalidad de poder calcular el lmite fcilmente. Sabemos, de entrada, que
dicho lmite tiene que existir y ser finito porque se trata de una integral impropia conx 1
, se tiene que f es continua en
vergente. En efecto, poniendo f .x/ D 3
x
3x 2 C x C 5
0; C1. Para todo x > 1 se tiene que f .x/ >
0 y se verifica la equivalencia asinttica
r C1
1
dx es convergente, tambin lo es
f .x/ x12 para x ! C1. Como la integral 1
x2
r C1
r C1
f .x/ dx , es decir, la integral 0 f .x/ dx es convergente.
1
1
i) Pongamos I D
w2
dx
p
x2
. El trinomio 20 C 8x
20 C 8x
son las soluciones de x 2 8x 20 D 0, las cuales son 2 y 10, por tanto:
x2
8x
20 D .x
10/.x C 2/20 C 8x
x 2 D .10
x/.x C 2/:
Deducimos que 20 C 8x x 2 > 0 2 < x < 10. Podemos optar por racionalizar
la integral con la sustitucin de Euler 8.36 en la que a D 1, D 2, D 10. Con ello,
dicha sustitucin viene dada por:
x D r .t / D
Universidad de Granada
Dpto. de Anlisis Matemtico
2t 2 C 10
t2 C 1
.t > 0/:
Ejercicios resueltos
455
Tenemos que:
r 0 .t/
p
1
24t
; r .t/ D 0 ) t D 5; r .t/ D ) t D
2
2
2
.1 C t /
19
5
19
w5 1
w5
x D r .t /; dx D
t2
p
p
ID
D 2
dt
D
2
dtD
2 3
1 C t2
q
p .1 C t /
r . 5/ D 0; r . 19=5/ D 1=2
r 0 .t/ dt
"
p
D 2 arc tg. 5/
2 arc tg
19
5
19
5
Otra forma de calcular esta integral, quizs ms sencilla, se basa en una idea vista en el
ejemplo 8.44. Hagamos un cambio de variable de la forma x D t C por la condicin
de que dicho cambio lleve el intervalo 2; 10 al 1; 1. Deber ser 2 D C ,
10 D C . Deducimos que el cambio buscado es x D 6t C 4. Tenemos que:
1
w2
0
w12
2
3
p
1
t2
dt D arc sen
2
3
arc sen
t 2/
5D
7
:
12
No te quepa duda de que se trata en ambos casos del mismo resultado expresado de
diferente forma.
8.62 Observacin. Un error frecuente en este tipo de ejercicios consiste en cambiar el
trinomio por su opuesto. Las ecuacionesp20 C 8x x 2 D 0py 20 8x C x 2 D 0, son
20 8x C x 2 no son la
la misma ecuacin, pero las funciones 20 C 8x x 2 y
misma funcin.
j) Esta primitiva es de las que se calculan integrando por partes, procurando que la integral se repita. Tenemos que:
w
w
uDcos2 .log x/
cos2 .log x/ dx D
D x cos2 .log x/ C 2 cos.log x/ sen.log x/dxD
dv D dx ! vDx
w
u D sen.2 log x/
2
D x cos .log x/ C sen.2 log x/ dx D
D
dv D dx ! v D x
w
D x cos2 .log x/ C x sen.2 log x/ 2 cos.2 log x/ dx D
w
D x cos2 .log x/ C x sen.2 log x/ 4 cos2 .log x/ dx C 2x:
Donde hemos usado la igualdad cos.2t/ D 2 cos2 t
w
cos2 .log x/ dx D
1. Deducimos que:
1
x cos2 .log x/ C x sen.2 log x/ C 2x
5
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
456
k) Pongamos I D
1=2
w
0
Tenemos que:
dx
. El trinomio 20 C 8x C x 2 no tiene races reales.
p
2
20 C 8x C x
xC4 2
C1 :
20 C 8x C x 2 D .x C 4/2 C 4 D 4
2
Por tanto:
ID
1=2
w
0
dx
p
20 C 8x C x 2
1=2
w
0
1
2
r
xC4
2
2
C1
1
x C 4 xD 2
9
D argsenh
D argsenh :
2 xD0
4
C1
w
dx
1
l) Pongamos I./ D
. Como 1, la funcin f .x/ D
D
x.log
x/
x.log
x/
e
1
1
.log x/ , tiene como primitiva F.x/ D
.log x/1 . La funcin f .x/ es positiva
x
1
y continua en e; C1. Tenemos que
I./ D
C1
w
e
x!C1
dx
D F.x/xDe
D lKm F.x/
x!C1
x.log x/
F.e/ D
1
dx
p
. Esta integral se racionaliza con el cambio 8.35, esto es,
x 2x C 1
haciendo 2x C 1 D t 2 , (t > 0). Tenemos:
w
w dt
w
dx
2t dt
2x C 1 D t 2
D
2
D
ID
p
D
D
dx D t dt
.t 2 1/t
t2 1
x 2x C 1
p
w dt
w dt
t 1
2x C 1 1
D
D log
D log p
:
t 1
t C1
t C1
2x C 1 C 1
m) Pongamos I D
n) Pongamos I D
2
w
0
dx
. Esta integral se racionaliza con el cambio t D tg.x=2/
2 C cos x
(8.34). Para aplicar la regla de Barrow, calcularemos primero una primitiva de f .x/ D
1
.
2 C cos x
3
2
t D tg.x=2/
x
w
w dt
tg
dx
t
2
2
6 dx D 2 dt 7
D4
D p arc tg p D p arc tg p 2 :
1Ct 2 5 D 2
2
2 C cos x
3Ct
3
3
3
3
1 t2
cos x D 1Ct
2
x
tg
2
Llamemos F.x/ D p arc tg p 2 a la primitiva calculada. Tenemos que:
3
3
ID
2
w
0
Universidad de Granada
Dpto. de Anlisis Matemtico
xD2
dx
D F.x/xD0 D F.2/
2 C cos x
F.0/ D 0:
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos
457
Resultado claramente errneo porque la integral de una funcin continua y positiva debe
ser un nmero positivo. Dnde est el error? Pues en que la primitiva que hemos calculado no est definida en todo el intervalo 0; 2 pues el valor de F.x/ para x D no
est, en principio, definido. De hecho, se tiene que:
2
Dp ;
lKm F.x/ D p
2
3
3
x!
0<x<
lKm
x!
<x<2
F.x/ D
p :
3
2
D
p
32
Por tanto, la funcin F tiene una discontinuidad de salto en , lo que implica que no es
derivable en . Es decir, la funcin F.x/ no es una primitiva de f .x/ en 0; 2. Pero
F.x/ s es una primitiva de f .x/ en 0; y en ; 2 (definiendo en cada caso F en
como el correspondiente lmite lateral para que F resulte continua en cada uno de dichos
intervalos). Luego:
ID
w
0
2
w
x!
xD2
dx
dx
C
D F.x/xD0 C F.x/x! C D
2 C cos x
2 C cos x
D lKm F.x/
x!
0<x<
lKm
x!
<x<2
2
F.x/ D p :
3
8.63 Observaciones. Al hacer un cambio de variable para calcular una integral definida hay que tener presente la correspondencia entre intervalos. La funcin que realiza el
cambio de variable debe ser continua en su intervalo. En el ejemplo anterior, el cambio
realizado es t D tg.x=2/, pero la funcin x 7! tg.x=2/ no est definida en todo el intervalo 0; 2. Cuando x recorre 0; 2, x=2 recorre 0; y la tangente no est definida
en 2 2 0; .
Tambin se evitan errores siguiendo el procedimiento usual para realizar cambios de
variable en integrales definidas. En el ejemplo anterior debemos calcular los valores de t
que corresponden a x D 0 y a x D 2 lo que nos dara los nuevos lmites de integracin
c y d . As obtendramos que para x D 0 es c D tg 0 D 0, y para x D 2 es d D tg./ D 0.
Ya vemos que aqu hay algo que no va bien.
Estos errores estn propiciados porque la notacin que usamos para las integrales indefinidas (las primitivas) no tiene en cuenta el intervalo en que trabajamos, y ese es un dato
muy importante que no se debe olvidar cuando calculamos integrales definidas.
Para calcular integrales de funciones trigonomtricas puede ser til tener en cuenta que
dichas funciones son peridicas. Supongamos que h W R ! R es una funcin continua y
peridica con perodo , es decir, h.x C / D h.x/ para todo x 2 R. Entonces se verifica
que la integral
r xCde h en cualquier
r intervalo de longitud es la misma. Es decir, para todo
x 2 R es x
h.t / dt D 0 h.t/ dt . La comprobacin de esta igualdad es inmediata
r xC
porque la funcin H .x/ D x
h.t / dt es derivable con derivada H 0 .x/ D h.x C /
h.x/ D 0, luego H es una funcin constante.
Aplicando esto en el ejemplo anterior, y teniendo en cuenta que el coseno tiene perodo
2 y es una funcin par, tenemos que:
2
w
0
w
w0
w
w
dx
dx
dx
dx
dx
D
D
C
D2
2 C cos x
2
C
cos
x
2
C
cos
x
2
C
cos
x
2
C
cos x
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
458
Esta ltima integral s puede calcularse directamente con el cambio t D tg.x=2/. Aunque
dicho cambio convierte la integral en otra integral impropia porque el intervalo 0;
se transforma biyectivamente, por la funcin x 7! tg.x=2/, en el intervalo 0; C1.
Tenemos que:
w
0
C1
w
t t !C1
dx
2
dt
Dp :
D p arc tg p
D t D tg.x=2/ D 2
2 C cos x
3 C t2
3
3 t D0
3
0
wt
1
dx usaremos la regla de Barrow. Para ello,
C x C 1/
1
1
debemos obtener una primitiva de la funcin
. Se trata de una funcin
2
x.x C x C 1/
racional. Como el polinomio x 2 C x C 1 no tiene races reales, la descomposicin en
fracciones simples es de la forma:
p) Para calcular la integral
x.x 2
x.x 2
A
Bx C C
1
D
C 2
x
C x C 1/
x CxC1
wt
w 1
1
dx
D
dx
x
x.x 2 C x C 1/
D log t
t
1 w 2x C 1
dx
2
x2 C x C 1
1
xC1
dx D
x2 C x C 1
t
1 w
1
dx D
2
2 x CxC1
1
t
1
1
1 w
1
2
D log t
log.t C t C 1/ C log 3
dx D
2
2
2 .x C 1=2/2 C 3=4
1
!
p
t
t
1 w
log 3
2= 3
dx D
D log p
p
C
2
2
31 p
1
2x
t2 C t C 1
Cp
C1
3
3
!
p
log 3
1
t
1
1
2t
C
D log p
p arc tg p C p
C p arc tg 3D
2
3
3
3
3
t2 C t C 1
!
1
1
1
log 3
t
2t
Cp
C log p
D
p arc tg p C p
2
33
3
3
3
t2 C t C 1
Como:
lKm log p
t !C1
Universidad de Granada
Dpto. de Anlisis Matemtico
t
t2 C t C 1
D0
1
2t
lKm arc tg p C p
t !C1
3
3
:
2
Ejercicios resueltos
459
Concluimos que:
C1
w
1
log 3
1
dx D
C p
2
2
x.x C x C 1/
3 3
log 3
p D
2
2 3
p
3
:
18
eax cos.bx/ dx ; y eax sen.bx/ dx . SuEjercicio resuelto 198 Calcula las primitivas
C1
C1
w
w
ax
puesto que a < 0, calcula las integrales
e cos.bx/ dx y
eax sen.bx/ dx .
w
>
1 ax
b
u D sen.bx/
>
>
G.x/ D
D
e
sen.bx/
F.x/
;
dv D eax dx
a
a
1 ax
b2
b
F.x/
e cos.bx/ C 2 eax sen.bx/
a
a
a2
eax
F.x/ D 2
a cos.bx/ C b sen.bx/
2
a Cb
eax
b cos.bx/ C a sen.bx/
G.x/ D 2
2
a Cb
F.x/ D
jeax cos.bx/j 6 eax , jeax sen.bx/j 6 eax y, para a < 0, la integral impropia
rComo
C1 ax
e dx es convergente, se sigue, por el criterio de comparacin que las integrales
r0C1 ax
r C1
e cos.bx/ dx y 0 eax sen.bx/ dx son absolutamente convergentes. Sus valo0
res viene dados por:
C1
w
x!C1
eax cos.bx/ dx D F.x/xD0
D lKm F.x/
x!C1
0
C1
w
0
x!C1
eax sen.bx/ dx D G.x/xD0
D lKm G.x/
x!C1
F.0/ D F.0/ D
G.0/ D G.0/ D
a2
a2
a
C b2
b
C b2
Ejercicios resueltos
460
C1
w
0
x 2n 1
dx
.1 C x 2 /.nC3/
.n 2 N/
n 1
In 1 . Calcula I1 , I2 e I3 .
nC2
x 2n 1
Solucin. Pongamos f .x/ D
. La funcin f es continua y positiva en
.1 C x 2 /.nC3/
0; C1. Adems, como f es un cociente de dos polinomios de grados 2n 1 y 2n C 6
con coeficiente lder iguales a 1, se verifica la equivalencia asinttica f .x/ x15 para
r C1
x ! C1. Como la integral impropia 1 x15 dx es convergente, deducimos por el
criterio lmite de comparacin, que In es convergente para todo n 2 N.
Para obtener la frmula de recurrencia del enunciado debemos hacer una integracin por
partes. La eleccin de las funciones u y v es obligada:
"
#
C1
w
u D x 2n 2 ! du D .2n 2/x 2n 3
x 2n 1
In D
dx D
1 1
2 n 2 D
dv D .1Cxx2 /nC3 ! v D nC2
.1 C x 2 /.nC3/
2 .1 C x /
0
n 1
x 2n 2 x!C1 n 1
1
In 1 D
In 1 :
D
C
2
nC2
2n C 4 .1 C x /
nC2
nC2
xD0
Tenemos que:
I1 D
C1
w
Con ello:
x
dx D
.1 C x 2 /4
1
.1 C x 2 /
6
1
1
I2 D I1 D ;
4
24
3 x!C1
xD0
1
D :
6
2
1
I3 D I2 D :
5
60
Ejercicio resuelto 200 Sea f continua en un intervalo I y sea a 2 I . Prueba que para todo
x 2 I se verifica la igualdad:
!
wx
wx wt
.x t/f .t/ dt D
f .s/ ds dt
a
Solucin. Pongamos:
F.x/ D
G.x/ D
Universidad de Granada
Dpto. de Anlisis Matemtico
wx
.x
a
wx
wt
t/f .t / dt D x
f .s/ ds
wx
a
f .t/ dt
wx
tf .t/ dt
dt :
Ejercicios resueltos
461
wx
a
f .t/ dt C xf .x/
xf .x/ D
wx
a
f .s/ ds D G 0 .x/:
1
Ejercicio resuelto 201 Sea f W RC
o ! R una funcin de clase C , estrictamente creciente
1
y tal que f .0/ D 0. Sea g D f
la funcin inversa de f y sea a > 0.
a) Prueba que:
fw.a/
0
wa
g.y/ dy D
xf 0 .x/ dx D af .a/
wa
f .x/ dx :
b) Sea J D f .RC
o / el intervalo imagen de f . Prueba que la funcin h W J ! R dada
para todo t 2 J por:
wt
h.t / D at
g.y/ dy ;
0
wa
0
f .x/ dx C
wb
g.y/ dy
Cundo se da la igualdad?
Solucin. a) Haciendo primero un cambio de variable y despus integrando por partes:
fw.a/
0
wa
wa
y D f .x/; dy D f 0 .x/ dx
g.y/ dy D
D g.f .x//f 0 .x/ dx D xf 0 .x/ dx D
0 D f .0/; f .a/ D f .a/
0
u D x; du D dx
dv D f 0 .x/ dx ; v D f .x/
xDa
D xf .x/
xD0
wa
0
f .x/ dx D af .a/
wa
f .x/ dx
wb
g.y/ dy 6 af .a/
fw.a/
0
g.y/ dy D
wa
0
f .x/ dx ab 6
wa
0
f .x/ dx C
wb
g.y/ dy :
Ejercicios resueltos
462
w1
x arc tg x dx :
C
2
w1
0
2 dx
2
D
x
D
t
;
t
>
0
D
p
x.1 C x 2 /
w
1
C4
dt :
2
1 C t4
0
r1 1
Para calcular la integral I D 0 1Ct
4 dt lo primero es calcular las races del denominador
que, evidentemente, son todas complejas e iguales a las races complejas cuartas de la
unidad. Como 1 D ei , dichas races son los nmeros:
xk D ei 4 ei
2k
4
D ei 4 ei
k
2
k D 0; 1; 2; 3:
Sabemos que dichas races vienen en pares de complejos conjugados. Luego deben ser
x0 ; x0 y x1 ; x1 , donde:
1
1
x0 D e i 4 D p C i p ;
2
2
x1 D x0 ei 2 Dix0 D
1
1
p Cip :
2
2
Luego:
x 4 C 1 D .x x0 /.x x0 /.x x1 /.x x1 / D jx x0 j2 jx x1 j2 D
p
p
p
p
2x C 1/.x 2 C 2x C 1/:
D .x 1= 2/2 C 1=2 .x C 1= 2/2 C 1=2 D.x 2
Si no sabes calcular las races complejas cuartas de 1 (lo que sera bastante lamentable),
puedes obtener la anterior descomposicin utilizando el hecho de que corresponde a dos
factores cuadrticos irreducibles y, por tanto, debe ser de la forma (los coeficientes de x 2
deben ser, claramente, iguales a 1):
x 4 C 1 D .x 2 C ax C b/.x 2 C cx C d /
Desarrollando esta igualdad e identificando coeficientes se vuelve a obtener la descomposicin anterior.
Universidad de Granada
Dpto. de Anlisis Matemtico
Aplicaciones de la integral
463
D
2
2
1 C x4
x
2x C 1
x C 2x C 1
p
p
2x C 1/
1 D .Ax C B/.x 2 C 2x C 1/ C .C x C D/.x 2
p
p
p
p
1DB C D C .A C 2B C C
2D/x C . 2A C B
2C C D/x 2 C .A C C /x 3
Identificando coeficientes resulta el sistema de ecuaciones:
p
p
p
p
B C D D 1; A C 2B C C
2D D 0; 2A C B
2C C D D 0; A C C D 0
1
, B D C D 21 . Ahora solaque se resuelve con mucha facilidad resultando A D C D p
2 2
mente queda calcular las correspondientes primitivas. Esto lo dejo para que lo completes
t. Es algo que ya debes saber hacer y que se hizo en general al estudiar la integracin
de funciones racionales. El resultado final es:
p
w1
3
C log.3 C 2 2/
C
x 2 arc tg x dx D
p
2
2
0
464
Intuitivamente: integrando longitudes obtenemos reas. Como el rea es invariante por rotaciones, este resultado es tambin vlido si consideramos secciones por rectas paralelas a una recta
cualquiera dada. Deducimos as el siguiente resultado.
8.64 Teorema (Principio de Cavalieri). El rea de una regin plana es igual a la integral de
las longitudes de sus secciones por rectas paralelas a una recta dada.
Veamos cmo se aplica este principio en algunos casos concretos.
8.7.1.1.
Regiones de tipo I
Supongamos que f , g son funciones continuas y llamemos a la regin del plano comprendida entre las curvas yDf .x/ e yDg.x/ para a6x6b. Se dice que es una regin de tipo
I. Es evidente que las longitudes de las secciones verticales de son iguales a jf .x/ g.x/j
por lo que su rea viene dada por
./ D
wb
a
jf .x/
g.x/j dx
(8.38)
Observa que esta integral expresa el rea de como lmite de las sumas de Riemann
n
X
kD1
jf .tk /
g.tk /j .xk
xk
1/
lo que tiene una sencilla interpretacin que puedes ver en la siguiente figura.
Cuando la funcin f
g no tiene signo constante en el intervalo a; b, para calcular la
integral (8.38) se descompone dicho intervalo en intervalos en los que la funcin f
g es
siempre positiva o siempre negativa, lo que permite quitar el valor absoluto en el integrando.
A veces interesa expresar una regin de tipo I como unin de dos o ms regiones de tipo
I disjuntas y ms sencillas, entonces su rea es la suma de las reas de cada una de dichas
regiones.
Universidad de Granada
Dpto. de Anlisis Matemtico
465
Calculamos los puntos de corte de la recta y la parbola resolviendo la ecuacin xD.x 2/2 ,
cuyas soluciones son a D 1, b D 4. Puedes ver representada la regin en amarillo en la
siguiente figura.
yD
x
yDx
yD
p
x
Podemos considerar como una regin de tipo I. La funcin cuya grfica limita a por
p
arriba es g.x/ D x. La funcin cuya grfica limita a por abajo viene dada por
( p
x
06x61
f .x/ D
x 2
16x64
En consecuencia
./ D
w4
0
jg.x/
f .x/j dx D
w1 p
. x
0
w p
p
. x// dx C . x
1
.x
2// dx D
9
2
Observa que podemos ver como unin de dos regiones de tipo I como se indica en la siguiente
figura.
yD
x
yDx
yD
2
b
p
x
Y lo que hemos hecho antes ha sido calcular el rea de cada una de estas dos regiones.
8.7.1.2.
Regiones de tipo II
Supongamos que f , g son funciones continuas y llamemos a la regin del plano comprendida entre las curvas x D f .y/ y x D g.y/ para a 6 y 6 b. Se dice que es una regin
Universidad de Granada
Dpto. de Anlisis Matemtico
466
de tipo II. Es evidente que las longitudes de las secciones horizontales de son iguales a
jf .y/ g.y/j por lo que su rea viene dada por
wb
a
jf .y/
g.y/j dy
(8.39)
lo que tiene una sencilla interpretacin que puedes ver en la figura 8.9.
Es importante advertir que la distincin entre regiones de tipo I y de tipo II es tan slo
una cuestin de conveniencia. No son conjuntos de distinta naturaleza sino formas distintas
de describir un conjunto. En la prctica te vas a encontrar con regiones que puedes considerar
tanto de tipo I como de tipo II y debers elegir la descripcin que ms facilite el clculo de la
correspondiente integral.
De todas formas, no debes olvidar que basta cambiar la variable x por la variable y para
convertir una regin de tipo II en otra de tipo I. Geomtricamente, lo que hacemos es una
simetra respecto a la recta y D x, lo que deja invariante el rea. Por tanto, si en un ejercicio
resulta conveniente considerar la regin cuya rea quieres calcular como una regin de tipo
II y te encuentras ms cmodo trabajando con regiones de tipo I, basta con que cambies los
nombres de las variables.
Salvo por factores de escala, las figuras (8.7) y (8.9) son simtricas respecto de la recta
y D x.
8.66 Ejemplo. La regin del ejemplo (8.8) puedes considerarla como una regin de tipo II.
La curva que limita esta regin por la derecha es la grfica de la recta x D y C 2 y la curva
que limita esta regin por la izquierda es la grfica de la parbola x D y 2 . La variable y est
comprendida entre 1 y 2.
n
o
D .x; y/ W y 2 6 x 6 y C 2; 1 6 y 6 2
Tambin puedes transformar directamente en una regin de tipo I ms sencilla que la
anteriormente considerada en la figura 8.8 mediante una simetra respecto de la recta y D x, tal
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
467
x D y2
Tenemos que:
xDy C2
./ D
0
1
w2
1
.y C 2
y 2 / dy D
9
2
w2
9
.s /D./D .xC2 x 2/ dx D :
2
1
yDxC2
s
y D x2
404. Calcula el rea de las dos partes en que la parbola y 2 D4x divide al crculo x 2 Cy 2 D8.
405. Calcula para qu valor de la curva y D cos x divide en dos partes de igual rea la
regin limitada por la curva y D sen x y el eje de abscisas cuando 0 6 x 6 =2.
406. Calcula el rea encerrada por el bucle de la curva y 2 D x.x
407. a) Calcula f .t / D
C1
w
sen.xt/ e
1/2 .
dx .
Ejercicios propuestos
468
408. Calcula el rea de las regiones del plano limitadas por las siguientes curvas.
1. y D x.x
1/.x
3. y D x 2
2x;
2. x D
12y 2
4. y D x 2 ;
5. x C
6. y D
7.
x2
a2
8. .y
y2
x D 2y 2
y D x2
x C y D 2;
D 3;
sec2 x;
y2
2/ y el eje OX .
12y 3 ;
4x C
yD
y2
4;
2y.
3 6 x 6 1.
x > 0; y > 0.
D 4.
tg2 x;
=4 6 x 6 =4.
D 1, a > 0, b > 0.
b2
x/2 D x 3; x D 7.
y D x2
A D .a; a2 /
O
A
p
p
411. Una corona circular de radio interior 2 y radio exterior 6 se corta con la parbola de
ecuacin x D y 2 . Calcula el rea de cada una de las dos regiones resultantes.
412. Se considera la hiprbola de ecuacin x 2 y 2 D 1
y un punto .x0 ; y0 / de la misma .x0 > 1/. Se pide
calcular el rea, !0 , de la regin sombreada en gris
en la figura, y deducir que:
x0 D cosh.!0 /;
y0 D senh.!0 /:
.x0 ; y0 /
x0
O
x2
Universidad de Granada
Dpto. de Anlisis Matemtico
y2 D 1
Ejercicios resueltos
469
w p
p
2 x dx D
8
x2
x 2 dx
2x
1=2
dx D
w p
x 2 dx
4 3=2
:
3
arc sen. p /
p
p w
x 2 dx D x D 8 sen t D 8
0
arc sen. p /
p
cos2 t dt D 2 2
1 C cos.2t/
dt D
2
p
p
p
1
D 2 arc sen = 8 C p sen 2 arc sen.= 8/ :
2
p
p
p
1
2 arc sen = 8 C p sen 2 arc sen.= 8/
2
4 3=2
La solucin obtenida puede simplificarse ms usando que sen.2x/ D 2 sen x cos x pero,
tal como est, puede considerarse correcta.
El rea de la parte del crculo interior a la parbola (coloreada en azul) es igual 4 2S ,
y el rea de la parte del crculo exterior a la parbola (zonas amarilla y roja) es igual a
4 C 2S .
Otras formas de hacer este ejercicio son las siguientes.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
470
p
.; 2 /
b
w 8p
w p
8
2 2 xC2
x 2 dx
p
8
p
.; 2 /
Tambin puedes hacer este ejercicio cambiando los ejes (convirtiendo una regin de tipo
II en otra de tipo I) como en la siguiente figura obtenida simetrizando la anterior respecto
de la bisectriz del primer y tercer cuadrantes.
x2
x =4 dx
p
2
p
2
b
p
2
p
8
p
2w
y D x2
A D .a; a2 /
O
Sabemos que la normal a una curva de ecuacin yDf .x/ en un punto .a; f .a// es la rec1
.x a/. En nuestro caso la curva es la parbola y D x 2
ta de ecuacin y D f .a/
0
f .a/
1
cuya normal en el punto .a; a2 / es la recta y D a2
.x a/. La interseccin de dicha
2a
recta
con
la
parbola
se
obtiene
resolviendo
la
ecuacin
1
2
3
2
2
.x a/, esto es, 2ax C x a 2a D 0, cuyas soluciones son:
x Da
2a
p
p
p
1 1 C 4.a C 2a3 /2 2a
1 1 C 8a2 C 16a4
1 .1 C 4a2 /2
D
D
D
4a
4a
4a
8
1 .1 C 4a2 / <a
2
D
D
: 1 C 2a
4a
2a
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
471
1 C 2a2
Pongamos x0 D
. Tenemos que B D .x0 ; x02 /. El rea del sector parablico de
2a
la figura viene dada por
G.a/ D
wa
x0
1
.x
2a
a/
dx D a2 x
1
.x
4a
a/
1 3
x
3
xDa
xDx0
1
1
4 3
a CaC
C
3
4a 48a3
Para calcular el mnimo de esta funcin se procede de la forma usual. Calculemos los
ceros de la derivada.
1
1
1
1
2
G 0 .a/ D 4a2 C 1
D
0
4a
C
1
D
1
C
D
4a2 16a4
4a2
4a2
1
1
.4a2 C 1/ 16a4 D 1 a4 D
D
16
16a4
Como a > 0, la nica solucin es a D 1=2. Teniendo en cuenta que para todo a > 0:
G 00 .a/ D 8a C
y que lKm G 0 .a/ D
a!0
1,
1
1
C 5 > 0;
2a3
4a
a!C1
1
es
2
1
< 0, y para < a es G 0 .a/ > 0. De aqu se sigue que G decrece en 0; 1=2 y
2
crece en 1=2; C1, por lo que alcanza un mnimo absoluto en a D 1=2.
G 0 .a/
A
R
Todo lo que hay que hacer es calcular el rea de la parte sombreada de la arandela.
Podemos hacer esto de forma completamente elemental introduciendo como variable la
medida en radianes, , del ngulo indicado en la figura.
Con ello tenemos que r D R cos . El rea buscada es igual al rea del disco grande
(R2 ) menos el rea del disco pequeo (.R cos /2 ), menos el rea del sector circular
OBA (R2 ) ms el rea del tringulo OAB (R cos R sen ). Por tanto, la funcin a
maximizar es:
f ./ D R2 .R cos /2 R2 CR cos R sen D R2 cos2 Ccos sen D
D R2 sen2 C cos sen ;
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
472
sen /:
wR p
R2
x 2 dx
r2
wR p
R2
x 2 dx
R
. Se justifica fcilmente que dicho valor corresponde
Cuyo nico cero es r0 D p
1 C 2
al mximo absoluto de g en 0; R.
Universidad de Granada
Dpto. de Anlisis Matemtico
y D sen x
O
y D cos x
2
Ejercicios resueltos
473
wa
0
sen x dx C
w2
a
cos x dx D 1 C
cos a
cos a D sen a ) tg a D )
cos a
sen a:
donde hemos tenido en cuenta que como 0 < a < =2, cos a > 0. Sustituyendo ahora
en la igualdad anterior y teniendo en cuenta que debe ser > 0, obtenemos:
1
, 1 C 2 D 2 cos a C 2 sen a D 2.1 C 2 / cos a ,
2
p
3
1
D 2 1 C 2 , .1 C 2/2 D 4.1 C 2 / , D :
1 C 2 D 2.1 C 2 / p
2
4
1C
1C
cos a
sen a D
Ejercicio resuelto 207 Calcula el rea encerrada por el bucle de la curva y 2 D x.x
1/2 .
Solucin. En problemas de clculo de areas debemos hacer, siempre que no sea complicado, una representacin grfica para visualizar la regin del plano cuya rea queremos
calcular, de esta forma se evitan posibles errores. La curva de ecuacin y 2 D x.x 1/2
es simtrica respecto al eje de abscisas, pues para cada valor de x tenemos dos valop
p
res opuestos de y, que vienen dados por y D xjx 1j, y D
xjx 1j. Observa
que esta curva est definida para x > 0. Los puntos de corte de la curva con el eje OX
son x D 0 y x D 1. El bucle del enunciado debe estar comprendido entre ellos dos.
Para 0 6 x 6 1 la parte de arriba de la curva
p
1 3x
es y D x.1 x/. Tenemos que y 0 D p .
2 x
Deducimos que es creciente para 0 6 x 6 1=3
y decreciente para 1=3 6 x 6 1. Adems, la deO
1
rivada segunda es negativa, por lo que se trata
de una curva cncava (la parte de arriba del bucle). Con estos datos ya podemos representar la
curva.
Teniendo en cuenta la simetra, el rea pedida viene dada por:
w1 p
x.1
2
0
x/ dx D
8
15
y
D
a
a2
b2
Universidad de Granada
Dpto. de Anlisis Matemtico
x2
Prof. Javier Prez
Clculo diferencial e integral
Curvas en el plano
474
x 2 dx D ab:
Donde, para evaluar la integral hemos usado la tabla de primitivas inmediatas. Para el
caso en que a D b D r , es decir, la elipse es un crculo de radio r , obtenemos la conocida
frmula r 2 para el rea de un crculo.
Curvas en el plano
475
2r
P
2 r
Universidad de Granada
Dpto. de Anlisis Matemtico
Curvas en el plano
476
8.7.4.1.
Sea la regin rodeada por una curva cerrada simple
.t / D .x.t/; y.t //, a 6 t 6 b, y
supongamos que las funciones x.t/; y.t/ tienen primera derivada continua. Se supone tambin
que si, a medida que el parmetro t avanza desde a hasta b, andamos sobre la curva siguiendo
al punto
.t / D .x.t /; y.t// entonces la regin queda a nuestra izquierda (ver figura 8.17).
En estas condiciones se verifica que el rea de viene dada por:
./ D
wb
a
x.t/y 0 .t / dt D
wb
a
y 0 .t/x.t/ dt D
1w
x.t/y 0 .t /
2a
y 0 .t /x.t/ dt
(8.40)
8.7.4.2.
(8.41)
donde f W ; ! R es una funcin continua. Dichas ecuaciones se representan simblicamente en la forma D f .#/. La curva definida por estas ecuaciones se dice que est dada en
forma polar y que D f .#/ es la ecuacin polar de la curva. La razn de esta terminologa se
explica seguidamente.
Universidad de Granada
Dpto. de Anlisis Matemtico
Curvas en el plano
477
Dado un punto .x; y/ .0; 0/, hay un nico par de nmeros .; #/, tales que > 0 y
< # 6 , que verifican las igualdades x D cos #, y D sen #. Dichos nmeros se llaman
coordenadas polares del punto .x; y/. Si consideras el nmero complejo x C iy, entonces
es su mdulo y # es su argumento principal.
Por tanto, dada una curva por una ecuacin polar D f .#/, el punto del plano que corresponde a cada valor del ngulo polar # es:
f .#/.cos #; sen #/;
si f .#/ > 0: Coordenadas polares .f .#/; #/
jf .#/j cos.# C /; sen.# C / ; si f .#/ < 0: Coordenadas polares .jf .#/j; # C /
Debes tener claro que esta forma de representar una curva no es ms que un tipo particular de
representacin paramtrica.
Consideremos una curva dada por la ecuacin polar D f .#/ donde f W ; ! R .
Queremos calcular el rea de la regin del plano (ver figura 8.18):
D f. cos #; cos #/ W 0 < 6 f .#/; 6 # 6 g :
D f .#/
#k
#k
O
Figura 8.18. Aproximacin por sectores circulares
Para ello lo que hacemos es aproximar por medio de sectores circulares. Recuerda que
1
el rea de un sector circular de radio y amplitud ' (medida en radianes) es igual a 2 '.
2
Consideramos para ello una particin f D #0 ; #1 ; #2 ; : : : ; #n 1 ; #n D g de ; y forman
X
1
1
f .#k /2 .#k #k 1 /. Como el nmero f .#k /2 .#k #k 1/ es el rea del
mos la suma
2
2
kD1
sector circular, representado en amarillo en la figura 8.18, de radio f .#k / y amplitud igual a
#k #k 1, es claro que la suma anterior representa una aproximacin del rea de . Como
n
X
1
1
f .#k /2 .#k #k 1 / es una suma de Riemann de la funcin # 7! f .#/2 , se sigue que
2
2
kD1
el rea de viene dada por la integral:
1w
./ D
f .#/2 d#
2
Universidad de Granada
Dpto. de Anlisis Matemtico
(8.42)
Ejercicios propuestos
478
Con frecuencia, las ecuaciones en coordenadas polares se usan para representar distintos tipos de curvas simtricas llamadas rosas. Por
ejemplo, en la figura 8.19 se ha representado
una rosa de 8 hojas o lazos, cuya ecuacin en
coordenadas polares es Dcos.4#/, 06# 62.
Figura 8.19. Rosa de 8 ptalos
413. Calcula el rea encerrada por la elipse x.t/ D a C r cos t, y.t/ D b C R sen t donde
0 6 t 6 2.
413. Calcula el rea encerrada por la cardioide x.t/ D cos t.1 C cos t/, y.t/ D sen t.1 C cos t /
para 0 6 t 6 2.
414.
Calcula el rea de la regin del plano rodeada
por un lazo de la lemniscata de ecuacin polar
2 D cos.2#/, . =4 6 # 6 =4/.
415. Calcula el rea limitada por el arco de la espiral de Arqumedes D a#, a > 0, comprendido entre # D 0 y # D .
416. Calcula el rea encerrada por el lazo interior de la curva D
1
C cos #.
2
417. Hallar el rea encerrada por una de las hojas de la rosa D 2 cos.2#/.
418. Calcular el rea del lbulo del folium de Descartes de ecuacin x 3 C y 3
a > 0. Sugerencia. Expresa la ecuacin en forma polar.
3axy D 0,
Ejercicios propuestos
479
b
b
.tk
b
b
1/
b
b
b
b
b
b
tk
1/
kD1
kD1
wb q
x 0 .t/2 C y 0 .t/2 dt
(8.43)
Para el caso particular de que la curva sea la grfica de una funcin y D f .x/, esto es
.x/ D
.x; f .x//, entonces su longitud viene dada por
`.
/ D
wb q
a
1 C f 0 .x/2 dx
Para el caso particular de que la curva venga dada por una parametrizacin polar de la forma
(8.41), su longitud viene dada por
`.
/ D
w q
f .#/2 C f 0 .#/2 d#
Volmenes de slidos
480
421. Calcula la longitud de un arco de la cicloide x.t/Dt sen t , y.t/D1 cos t, .06t 62/.
422. Calcular la longitud del arco de curva y D x 2 C 4, entre x D 0 y x D 3.
x 2=3 y 2=3
423. Calcula la longitud de la astroide
C
D 1, a > 0.
a
a
Sugerencia. Obtener las ecuaciones paramtricas de la astroide y tener en cuenta la simetra.
424. Calcula la longitud de la cardioide D 3.1 C cos #/, .0 6 # 6 2/.
425. Calcula la longitud de la curva y D
x 4 C 48
donde 2 6 x 6 4.
24x
.x/
O
a
Volmenes de slidos
481
derivada era la longitud de la seccin. No debe sorprenderte por ello que ahora resulte que
la derivada de la funcin volumen, V .x/, sea el rea de la seccin. En efecto, sea h > 0.
Suponiendo, naturalmente, que la funcin x 7! ..x// es continua, tenemos que:
mKn f..t // W x 6 t 6 x C hg h 6 V .x C h/
h!0
V .x C h/
h
V .x/
D ..x//:
Hemos obtenido as que V 0 .x/ D ..x//. Deducimos que el volumen de , que es V .b/
V .a/, viene dado por la integral:
Vol./ D
wb
..x// dx
(8.44)
El razonamiento anterior se ha hecho para secciones por planos verticales al eje OX , es decir
planos paralelos al plano Y Z; pero el resultado obtenido tambin es vlido para secciones por
planos paralelos a un plano dado.
Podemos llegar tambin a este resultado considerando sumas de Riemann. Para ello aproximamos la regin por cilindros de la siguiente forma. Consideremos una particin
fa D x0 ; x1 ; x2 ; : : : ; xn
1 ; xn
D bg
de a; b. La parte de comprendida entre los planos perpendiculares al eje OX por los puntos
.xk 1 ; 0; 0/ y .xk ; 0; 0/ puede aproximarse por un cilindro de altura xk xk 1 y base .xk /
cuyo volumen es igual ..xk //.xk xk 1 /. La suma de los volmenes de todos estos cilinn
X
dros,
..xk //.xk xk 1 /, es por tanto una aproximacin del volumen de . Pero dicha
kD1
suma es una suma de Riemann de la funcin x 7! ..x//, por lo que el volumen de viene
wb
dado por ..x// dx .
a
Vamos a estudiar algunos casos en los que es fcil calcular el rea de las secciones de .
8.7.8.1.
Volmenes de slidos
482
y D f .x/
.x/
b
.x; 0; 0/ y radio jf .x/j. Por tanto el rea de .x/ es ..x// D f .x/2 ; en consecuencia el
volumen de es igual a
wb
Vol./ D f .x/2 dx
a
El volumen del slido de revolucin, , obtenido girando alrededor del eje OX una regin de
tipo I definida por dos funciones continuas f; g W a; b ! R tales que 0 6 f .x/ 6 g.x/ para
todo x 2 a; b, se obtiene integrando las reas de las coronas circulares o arandelas, .x/, de
radio interior f .x/ y radio exterior g.x/, obtenidas al cortar por un plano perpendicular al
eje OX en el punto .x; 0; 0/.
Vol./ D
wb
.g.x/2
f .x/2 / dx
Consideremos ahora un slido de revolucin obtenido girando alrededor del eje OY una regin
R de tipo II, definida por dos funciones continuas '; W c; d ! R tales que 0 6 '.y/ 6 .y/
para todo y 2 c; d , es decir, R es la regin R D f.x; y/ W y 2 c; d ; '.y/ 6 x 6 .y/g. El
volumen del slido de revolucin resultante, , viene dado por:
Vol./ D
wd
. .y/2
'.y/2 / dy
Este procedimiento se conoce como mtodo de los discos o de las arandelas. Dicho mtodo
puede aplicarse con facilidad para calcular el volumen de cuerpos de revolucin obtenidos
girando regiones de tipo I alrededor de rectas horizontales, o regiones de tipo II alrededor de
rectas verticales.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
483
427. Calcula el volumen de la esfera obtenida girando la circunferencia x 2 C y 2 D R2 alrededor del eje OX .
428. Calcula el volumen del cono circular recto de altura h y radio de la base R obtenido
girando la recta y D Rx= h entre x D 0 y x D h.
429. Calcula el volumen del slido engendrado al girar alrededor del eje OX la parte de la
curva y D sen2 x comprendida entre 0 y .
430. Calcula el volumen del slido engendrado al girar alrededor del eje OX la grfica de la
18x
.
funcin f W 0; C! R dada por f .x/ D 2
x C9
431. Calcular el volumen del slido de revolucin obtenido al girar alrededor del eje OX la
regin del plano comprendida bajo la curva
yDp
x .x 2
2
2x C 2/
.1 6 x < C1/
432. Calcula el volumen del slido engendrado al girar la regin limitada por la parbola
y 2 D 4x y la recta x D 4 alrededor de dicha recta.
433. Calcula el volumen del slido engendrado al girar la regin limitada por las parbolas
y 2 D x,x 2 D y alrededor del eje OX .
434. Calcula el volumen del elipsoide
y2
z2
x2
C
C
D 1.
a2
b2
c2
y2
x2
C
D z y el plano z D 7.
9
16
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
484
Y
y Df .x/
obtenemos una lmina de un cilindro circular recto, esto es, un tubo cuya base tiene rea
.xk2 xk2 1 / y altura f .xk /, cuyo volumen es, por tanto, igual a:
.xk2
xk2
1 /f .xk /
D .xk
xk
1 /.xk
D xk f .xk /.xk
xk
C xk
1/
1 /f .xk /D
C xk
1 f .xk /.xk
xk
1 /:
kD1
xk
1/ C
n
X
xk
1 f .xk /.xk
xk
1 /:
kD1
Pero estas dos sumas son sumas de Riemann de la funcin x 7! xf .x/. Deducimos que el
volumen de viene dado por:
Vol./ D 2
wb
xf .x/ dx :
Esto es lo que se conoce como mtodo de las lminas o de las capas o de los tubos. Puedes
adaptar fcilmente esta expresin para el caso de que el eje de giro sea la recta vertical x D c.
En general, si notamos por R.x/ el radio de giro de la lmina, entonces:
Vol./ D 2
wb
R.x/f .x/ dx
436. Calcula el volumen del toro engendrado al girar el crculo de centro .a; 0/ y radio R < a
alrededor del eje OY .
Universidad de Granada
Dpto. de Anlisis Matemtico
485
Y
437.
La regin plana limitada por el segmento de parbola y D 4 x 2, donde 1 6 x 6 2, y las rectas
x D 0 e y D 3, gira alrededor del eje OY engendrando un slido en forma de flan (un tronco de
paraboloide de revolucin). Calcula su volumen
y el volumen de la porcin obtenida al cortarlo
verticalmente desde un punto del borde superior.
4
2
x2 C z D
438. Calcular el volumen del slido engendrado al girar la regin limitada por las parbolas
y D x 2 , x D y 2 alrededor del eje OY .
439. Calcular el volumen del toro engendrado al girar el crculo de centro 0 y radio 3 alrededor
de la recta x D 6.
440. Calcular el volumen del slido engendrado al girar la regin limitada por las parbolas
y D x 2 , x D y 2 alrededor la recta x D 4.
x Ch
wx q
a
1 C f 0 .t /2 dt :
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios propuestos
486
Sea h > 0. Teniendo en cuenta que el rea lateral de un cilindro circular recto es igual a la
longitud de la base por la altura, se deduce que:
L.x// 6 S.x C h/
S.x/6
L.x//:
Por tanto:
2 mKn ff .t/ W t 2 x; x C hg
L.x C h/
h
L.x/
S.x C h/
h
6 2 mKax ff .t / W Wt 2 x; x C hg
S.x/
L.x C h/
h
L.x/
wb
a
q
f .x/ 1 C f 0 .x/2 dx
(8.45)
x2 y2
C
D1
a2 b 2
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
487
447.
Se perfora, siguiendo un dimetro, una esfera
de radio r con un agujero cilndrico (ver figura)
de modo que el anillo esfrico resultante tiene
altura h (la altura del cilindro). Calcula el volumen del anillo y el rea de la superficie total del
anillo.
448. Comprueba que el rea de la superficie de revolucin (llamada horno de Gabriel) engendrada al girar la curva y D 1=x, 1 6 x 6 C, alrededor del eje OX es infinita (por
tanto sera necesaria una cantidad infinita de pintura si quisiramos pintarla) pero el volumen del slido de revolucin engendrado es finito(por tanto podemos llenarlo con una
cantidad finita de pintura). Comenta a tu gusto esta aparente paradoja.
449. Calcula el rea de un espejo parablico de 3 metros de dimetro y 1 metro de fondo.
450. Calcula el volumen de una esfera de radio 3 en la que, siguiendo un dimetro, se ha
perforado un agujero cilndrico de radio r < 3. Calcula el rea de la superficie total
del solido obtenido. Calcula los valores de r para los que dicha rea alcanza sus valores
extremos.
3a cos # sen # D 0:
Observamos que esta ecuacin implica que en los puntos de dicha curva debe verificarse
que cos3 # C sen3 # 0. Pues si fuera cos3 # C sen3 # D 0, la ecuacin anterior implica
que tambin cos # sen # D 0, de donde se sigue fcilmente que cos # D sen # D 0, lo
que es imposible. En consecuencia, la ecuacin polar de la curva puede escribirse en la
forma:
3a cos # sen #
:
D .#/ D
cos3 # C sen3 #
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
488
#! =4
# > =4
#!3=4
# < 3=4
Parece una integral bastante impresionante, pero es todo apariencia. Se trata de una funcin racional par en seno y en coseno. Como ya debes saber, estas integrales se racionalizan con el cambio de variable tg # D t .
3
2
dt
tg # D t; d# D 1Ct
2
7 3 C1
6
w 6t 2 dt
cos # D p 1 2
3 2
1 t !C1 3 2
7
6
2
1Ct
D
D
D a :
I D6
a
a
7
5 4
4
4
sen # D p t 2
.1 C t 3 /2 4
1 C t 3 t D0
1Ct
2;t
# D 0; t D 0I # D
D C1
Ejercicio resuelto 210 Calcula el rea de la regin comn a las dos elipses
.E1 /
x2
y2
C
D 1;
a2
b2
.E2 /
x2
y2
C
D 1:
b2
a2
Sugerencia. Representa grficamente las elipses. Usa la simetra polar para simplificar
los clculos y pasar a coordenadas polares.
Solucin. Este ejercicio puede hacerse en coordenadas cartesianas y tambin pasando a
coordenadas polares. Vamos a hacerlo de las dos formas.
Puedes ver las elipses en la figura 8.25. Por simetra, para calcular el rea pedida es suficiente calcular el rea de la parte comn de las elipses que queda en el primer cuadrante.
En coordenadas cartesianas dicha regin, que se ha representado ampliada a la derecha
de las elipses, es unin de dos regiones de tipo I, 1 y 2 , cuyas reas ya sabes calcular.
La grficas de las partes superiores de las elipses E1 y E2 vienen dadas respectivamente
por:
bp 2
ap 2
y1 .x/ D
a
x 2;
y2 .x/ D
b
x 2:
a
b
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
489
ap 2
b
b
x2 D
x2
ab
ab
. Pongamos D p
. Puedes comprobar
cuyas soluciones son x D p
a2 C b 2
a2 C b 2
que y1 ./ D y2 ./ D . Por tanto, los cuatro puntos de interseccin son .; /. El
rea pedida es igual a:
4.1 / C 4.2 / D 4
w b p
a2
a
x 2 dx C 4
wb a p
b2
b
x 2 dx :
a
b
.; /
b
y1 .x/ D
b
a
a2
b
b
x2
.; /
2
1
y2 .x/ D
b
a
b
b2
x2
Una primitiva de estas integrales se calcula fcilmente. Suponiendo que jxj 6 c, tenemos
que:
w 1 C cos.2t/
w
dt D
x 2 dx D x D c sen t D c 2 cos2 t dt D c 2
2 s
t
sen.2t/
t
sen t cos t c 2
x
c2 x
x2
D c2 C c2
D
D c2 C c2
D
arc sen C
1
2
4
2
2
2
c
2 c
c2
c2
x
xp 2
D
arc sen C
c
x 2:
2
c
2
wp
c2
Por tanto:
w
x
1
ab
arc sen C xy1 .x/;
y1 .x/ dx D
2
a
2
Universidad de Granada
Dpto. de Anlisis Matemtico
y2 .x/ dx D
x
1
ab
arc sen C xy2 .x/:
2
b
2
Ejercicios resueltos
490
4.1 / C 4.2 / D 2ab arc sen C
arc sen
D
a
2
b
!
a
b
arc sen p
D
D 2ab
C arc sen p
2
a2 C b 2
a2 C b 2
D 4ab arc sen p
a2 C b 2
.y2 .x/
y Dy1 .x/
2./ D 2ab
b
C arc sen p
2
a2 C b 2
arc sen p
a2 C b 2
arc sen p
a
a2 C b 2
D1 .#/
Podemos hacer este ejercicio usando las ecuaciones polares de las elipses. Para ello, ponemos x D cos #, y D sen # y sustituimos en
las respectivas ecuaciones obteniendo:
ab
.E1 / 1 D1 .#/D p
b 2 cos2 # C a2 sen2 #
y Dy2 .x/
1
2
D2 .#/
ab
.E2 / 2 D2 .#/D p
a2 cos2 # C b 2 sen2 #
Por los clculos hechos antes, sabemos que las elipses se cortan para valores de # igual
a =4 y 3=4. Si no lo supiramos deberamos calcular dichos valores resolviendo
la ecuacin 1 .#/ D 2 .#/. Podemos calcular fcilmente en coordenadas polares el rea
de la regin comn a las dos elipses que queda en el primer cuadrante. Su valor viene
dado por:
2
w4
1w
1
.1 / C .2 / D
1 .#/2 d# C
2 .#/2 d# :
2
2
4
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
491
v
w
dt
1
dx
D
tg
t
D
x
D
D
arc
tg
tg
t
:
uv
u
u2 cos2 t C v 2 sen2 t
v 2 C u2 x 2
Por tanto:
t D
t ! 2
4
b
tg t C arc tg
tg t
arc tg
b
a
tD 4
t D0
a
b
b
ab
arc tg C arc tg
D ab arc tg
D
2 2
b
a
a
ab
.1 / C .2 / D
2
a
Donde en la ltima igualdad hemos usado que arc tg xCarc tg.1=x/D 2 para todo x > 0,
como fcilmente puedes comprobar. Concluimos que el rea de la regin comn de las
dos elipses es:
b
4.1 / C 4.2 / D 4ab arc tg :
a
Comparando con un resultado anterior, deducimos que debe ser:
arc tg
b
b
D arc sen p
:
a
a2 C b 2
x 2=3
y 2=3
D 1, a > 0.
a
a
Sugerencia. Obtener las ecuaciones paramtricas de la astroide y usar la simetra.
Solucin.
Como debes saber bien, dos nmeros u, v tales
que u2 C v 2 D 1, pueden escribirse en la forma
u D cos t, v D sen t para algn valor de t 2 R;
y dicho valor es nico si se eligen valores para
t en un determinado intervalo semiabierto de
longitud 2. La ecuacin cartesiana de laqastroide es de la forma u2 Cv 2 D1 donde uD 3 xa
q
y v D 3 ya . Por tanto, podemos representar
los puntos .x; y/ de la astroide en la forma
x.t/Da cos3 t , y.t /Da sen3 t donde t 2 ; .
Estas son las ecuaciones paramtricas de dicha curva. Observa que las coordenadas
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
492
w2 q
w2 p
4
x 0 .t/2 C y 0 .t/2 dt D 12a
cos4 t sen2 t C sen4 t cos2 t dt D
0
wq
w2
w2
cos2 t sen2 t.cos2 t C sen2 t/ dt D12a cos t sen t dt D 6a sen.2t/ dt D 6a:
D 12a
2
x 4 C 48
donde 2 6 x 6 4.
24x
Solucin. Lo nico que hay que hacer es calcular la integral:
w4 q
w4
0
2
1 C y .x/ dx D
2
1C
x 4 16
8x 2
!2
dx D
w4 x 4 C 16
8x 2
dx D
17
:
6
Ejercicio resuelto 213 Calcula el volumen del slido engendrado al girar la regin limitada
por la parbola y 2 D 4x y la recta x D 4 alrededor de dicha recta.
Solucin. Podemos emplear el mtodo de los discos y tambin el de las lminas o tubos.
Por el mtodo de los discos debemos integrar
las reas de secciones perpendiculares al eje de
giro. Observa que debemos tomar como varia4
ble de integracin la variable y. Los puntos de
x Dy 2 =4
corte de la parbola con la recta son .4; 4/ y
.4; 4/. Por tanto, en la regin indicada, tenemos que y 2 4; 4. La seccin por una recta
horizontal es un disco cuyo radio en cada punto
x
4
de la curva x D y 2 =4 es la distancia de dicho
punto a la recta x D 4, que es igual a 4 y 2 =4.
El volumen pedido viene dado por la integral:
b
w4
4
p
yD 2 x
.4
y 2 =4/2 dy D
Universidad de Granada
Dpto. de Anlisis Matemtico
1024
15
4
b
Ejercicios resueltos
493
Para calcular el volumen por el mtodo de las lminas o tubos debemos tomar como
variable x. Hay que tener en cuenta que cada segmento vertical de abscisa x que gira
p
tiene de longitud 4 x y su radio de giro respecto al eje es 4 x. Por tanto el volumen
pedido viene dado por la integral:
2
w4
.4
p
1024
x/4 x dx D
15
4
y D4 x 2 =4
Ejercicio resuelto 214 Calcula el volumen del slido engendrado al girar la regin limitada
por las parbolas y 2 D x, x 2 D y alrededor del eje OX .
Solucin. Observa que para que para que las dos igualdades y 2 D x, x 2 D y tengan
sentido debe ser x > 0 e y > 0. Por tanto, la igualdad, y 2 D x equivale, por ser y > 0,
p
a y D x. Es inmediato que los puntos de corte de las parbolas son .0; 0/ y .1; 1/.
Podemos emplear el mtodo de los discos y tambin el de las lminas o tubos.
Por el mtodo de los discos (arandelas en este
caso) debemos integrar las reas de secciones
perpendiculares al eje de giro. Observa que debemos tomar como variable de integracin la
p
variable x y que en la regin indicada, tenemos
yD x
que x 2 0; 1. La seccin por una recta vertical
de abscisa x es una corona circular o arandela
cuyo radio interior es r1 .x/ D x 2 y radio extey Dx 2
p
rior r2 .x/ D x. Por tanto el volumen pedido
viene dado por la integral:
x
1
w1
w1
3
2
2
.r2 .x/ r1 .x/ / dxD .x x 4 / dxD :
10
0
Para calcular el volumen por el mtodo de los tubos, debemos considerar los segmentos
horizontales que giran alrededor del eje OX . Deberemos tomar como variable a y. La
p
longitud del segmento horizontal de altura y es y y 2 y su radio de giro respecto del
eje OX es y. Por tanto el volumen pedido viene dado por la integral:
2
w1
0
p
y. y
y 2 / dy D
3
:
10
Universidad de Granada
Dpto. de Anlisis Matemtico
x2
a2
y2
b2
z2
c2
D 1.
Ejercicios resueltos
494
Solucin. La interseccin del elipsoide con un plano de altura fija z paralelo al plano
X Y se proyecta sobre el plano X Y en una elipse, E.z/, de ecuacin:
x2
y2
C
D1
a2
b2
z2
x2
q
c2
a 1
y2
2 C q
z2
b 1
c2
z2
c2
2 D 1
q
q
2
2
Es una elipse de semiejes a 1 cz 2 y b 1 cz 2 . Sabemos que el rea de dicha elipse
2
es igual a ab 1 zc 2 . Por tanto, el volumen del elipsoide podemos obtenerlo integrando
el rea de las secciones E.z/ para z 2 c; c.
Z
x2
y2
Ejercicio resuelto 216 Calcula el volumen limitado por el paraboloide
C
D z y el
9
16
plano z D 7.
La interseccin del paraboloide con un plano
de altura fija z paralelo al plano X Y se proyecta sobre el plano X Y en una elipse, E.z/, de
ecuacin:
y2
x2
y2
x2
C
D z p 2 C p 2 D 1
9
16
3 z
4 z
p
p
Es una elipse de semiejes 3 z y 4 z. Sabemos que el rea de dicha elipse es igual a 12z.
Por tanto, el volumen del paraboloide podemos
obtenerlo integrando el rea de dichas secciones E.z/ para z 2 0; 7. Dicho volumen es
igual a:
w7
49
12 z dz D :
6
Ejercicio resuelto 217 Calcula el volumen del slido de revolucin obtenido al girar alrededor del eje OX la regin del plano comprendida bajo la curva
yDp
x .x 2
Universidad de Granada
Dpto. de Anlisis Matemtico
2
2x C 2/
.1 6 x < C1/:
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos
495
C1
w
x2
.x 2
1/2
4
dx . Es claro que el
2x C 2/2
trinomio
2x C 2 D 1 C .x
no tiene races reales. El denominador tiene races
imaginarias mltiples y podemos usar el mtodo de Hermite. Para ello escribimos:
x .x 2
D
D
Bx C C
4
A
d
D C 2
C
x
dx
2x C 2/2
x
2x C 2
Mx C N
D
x 2 2x C 2
Bx C C
2M C 2N 2N x M x 2
A
C 2
D
C
x
x
2x C 2
.x 2 2x C 2/2
x .x 2
x
D
2x C 2 1
w
4
xC3
dx
D
log
t
C
dx C 2
2x C 2/2
x 2 2x C 2
x
t
2t C 2
t
1/1
!
1
log.x 2
2
C 2 arc tg.t
t
2x C 2/1 C
1/ C
t2
t2
t
2t C 2
M D 2,
t
2t C 2
1D
Deducimos que
C1
w
1
x .x 2
w
4
dx
D
lK
m
t !C1
2x C 2/2
x .x 2
1
4
dx D .
2x C 2/2
1/
Universidad de Granada
Dpto. de Anlisis Matemtico
4
2
x2 C z D
Ejercicios resueltos
496
w3
r .y/2 dy D .4
0
3
b
y D4 x 2
15
y/ dy D
:
2
Tambin podemos calcular el volumen por el mtodo de los tubos, en cuyo caso viene
dado por:
w1
w2
15
:
2 3x dx C 2 x.4 x 2 / dx D
2
0
4 x2
y D 4 x2
z2
.x/
p
4 x2
Z
4 x2
dicha parbola sobre el plano ZY debe tener una ecuacin depla forma y D 4 x 2 z 2
donde se calcula por la condicin de que y D 0 para z D 4 x 2 , con lo que resulta
D1. En consecuencia, la ecuacin de dicha parbola en el plano ZY es y D4 x 2 z 2 .
El rea del segmento parablico .x/ viene dada por la integral:
p
..x// D
4w x 2
.4
4 x2
x2
z 2 / dz D
16 p
4
3
x2
4 2p
x 4
3
x2
Integrando las reas de dichas secciones se obtiene el volumen pedido, que viene dado
por:
w2
p
8
:
..x// dx D 3 3 C
3
1
Ejercicio resuelto 219 Calcular el volumen del slido engendrado al girar la regin limitada por las parbolas y D x 2 , x D y 2 alrededor la recta x D 4.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
497
Solucin.
Observa que para que para que las dos igualdades y 2 D x, x 2 D y tengan sentido debe ser
p
xD y
x Dy 2
x > 0 e y > 0. Por tanto, la igualdad, y 2 D x
p
equivale, por ser y > 0, a y D x. Es inmediato que los puntos de corte de las parbolas son
.0; 0/ y .1; 1/. Podemos emplear el mtodo de
los discos y tambin el de las lminas o tubos.
4
Por el mtodo de los discos (arandelas en este caso) debemos integrar las reas de secciones perpendiculares al eje de giro. Observa que debemos tomar como variable de integracin la variable y y que en la regin indicada, tenemos que y 2 0; 1. La seccin por
una recta horizontal de ordenada y es una corona circular o arandela cuyo radio interior
p
p
es la distancia del eje de giro a la parbola x D y, dicha distancias es r1 .y/ D 4
y
y cuyo radio exterior es la distancia del eje de giro a la parbola x D y 2 , dicha distancia
es r2 .y/ D 4 y 2 . Por tanto el volumen pedido viene dado por la integral:
w1
.r2 .y/2
0
r1 .y/ / dy D
w1
.4
y 2 /2
71
p 2
:
y/ dy D
30
.4
Para calcular el volumen por el mtodo de las lminas o tubos debemos tomar como
variable x. Hay que tener en cuenta que cada segmento vertical que gira de abscisa
p
x 2 0; 1 tiene de longitud x x 2 y el radio de giro es 4 x. Por tanto el volumen es:
2
w1
.4
p
x/. x
x 2 / dx D
71
:
30
Ejercicio resuelto 220 Calcular el volumen del toro engendrado al girar el crculo de centro
.0; 0/ y radio 3 alrededor de la recta x D 6.
Solucin.
w1
1
.6
p
x/2 9
p
9 x2
b
p
9 x2
x 2 dx D 108 2 :
Tambin se puede calcular el volumen por el mtodo de las arandelas. Ya debes saber
hacerlo, te lo dejo para que lo hagas t.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
498
wR
R
q
wR
0
2
R dx D 4R2 :
f .x/ 1 C f .x/ dx D 2
R
wb
h.y/ 1 C
h 0 .y/2 dy
b q
a w
D 2 2
b 4 C .a2
b
b 2 /y 2 dy :
Para calcularla debemos considerar dos posibilidades segn que a > b o que b > a
(el caso a D b p
es trivial y se vuelve a obtener el mismo resultado del ejercicio anterior).
Pongamos c D ja2 b 2 j. Entonces, si a > b es c 2 Da2 b 2 , y si b > a es c 2 Db 2 a2 .
Por lo que:
s
b q
b q
wb b 2 2
ac
a w
a w
b 4 c 2 y 2 dy D2 2
2 y 2 dy :
I D2 2
y 2 dy D2
c
b
b
b
b2
2 C y 2 dy D
D
D argsenh b
2
2 w
2 w
2
dt D
2
senh.2t/ D
2
2
4
s
b2
2
D 2 C
senh.2/ D 2 C 2 senh./ cosh./ D 2 C b 1 C 2 D
2
s
b2
b
D 2 argsenh C b 1 C 2 :
e2t C e
2
2t
C 1 dt D 2 C
cosh.2t/ dt D 2 C
Simplificando, obtenemos que para el caso en que a > b, el rea pedida es igual a:
!
!
p
b2
a2 b 2
2a p
Ca :
argsenh
b
a2 b 2
Universidad de Granada
Dpto. de Anlisis Matemtico
499
Es un buen ejercicio de clculo que compruebes estos resultados paso a paso. Te garantizo que el resultado final obtenido es correcto. Un resultado parecido se obtiene para el
caso en que b > a. Lo dejo para que lo hagas t.
C
Figura 8.26. Cuadratura de un rectngulo
Universidad de Granada
Dpto. de Anlisis Matemtico
500
8.70 Teorema. El rea del segmento parablico P VQ es igual a cuatro tercios el rea del
tringulo inscrito 4P VQ.
Demostracin. Esta demostracin aparece en una carta que escribe Arqumedes a su amigo
Dositheus, obra que se conoce con el nombre de Sobre la Cuadratura de la Parbola. La
demostracin consiste en hacer una descomposicin exhaustiva del segmento parablico por
medio de tringulos de una forma muy ingeniosa. Empezaremos explicando la construccin
geomtrica de la figura 8.27.
Una cuerda PQ de una parbola es un segmento que une dos de sus puntos. La regin plana
acotada, cuya frontera est formada por la cuerda PQ y el arco de la parbola comprendido
entre los puntos P y Q se llama un segmento parablico. El vrtice de un segmento parablico
es el punto de la parbola en el cual la tangente es paralela a la cuerda que define el segmento.
Se verifica que el vrtice de un segmento parablico P VQ es el punto interseccin con la
1
parbola de la recta paralela al eje de la parbola que pasa por el punto medio O D .P C Q/
2
del segmento PQ.
El tringulo 4P VQ cuya base es el segmento PQ y cuyo otro vrtice es el vrtice V del
segmento parablico le llamaremos el tringulo inscrito.
En la figura 8.27 se han representado tambin los tringulos 4PM V y 4V NQ inscritos,
respectivamente, en los segmentos parablicos determinados por las cuerdas P V y VQ.
La primera parte de la demostracin consiste en calcular el rea de los dos tringulos
4PM V y 4V NQ. Arqumedes demuestra que
1
.4V NQ/ D .4VOQ/;
4
Por tanto
1
.4VMP / D .4VOP /
4
1
.4V NQ/ C .4VMP / D .4P VQ/
4
Universidad de Granada
Dpto. de Anlisis Matemtico
(8.46)
501
Q0
P0
1
Llamando S al rea del tringulo 4P VQ, el rea de los dos nuevos tringulos es S . Natural4
mente, este proceso se puede repetir ahora con cada uno de los cuatro segmentos parablicos
determinados por las cuerdas PM , M V , V N y NQ inscribiendo en ellos los respectivos trin1
gulos, la suma de cuyas reas ser igual a S . Y puede repetirse indefinidamente.
16
Nosotros ahora acabaramos calculando el rea del segmento parablico por
1
X
4
1
SD S
n
4
3
nD0
Pero Arqumedes, que no sabe de convergencia de series ni falta que le hace, razona de forma
muy elegante por medio de la doble reduccin al absurdo usual en la matemtica griega.
Para ello hace uso de la llamada propiedad arquimediana o axioma de Arqumedes. Este
axioma aparece en el libro de Arqumedes La Esfera y el Cilindro as como en Sobre la Cuadratura de la Parbola y en Espirales. Al parecer, dicho axioma fue ya formulado por Eudoxo.
Como sabemos, la propiedad arquimediana establece que:
Dadas magnitudes cualesquiera a > 0 y b > 0, siempre es posible, por pequea
que sea a y grande que sea b, conseguir que un mltiplo conveniente de a exceda
a b, es decir na > b para algn nmero natural n.
Partiendo de la propiedad arquimediana se deduce fcilmente el siguiente resultado, llamado
principio de convergencia de Eudoxo, en el que se basa el llamado mtodo de exhauscin
griego:
Universidad de Granada
Dpto. de Anlisis Matemtico
502
S; K
1
.S C S /; K
4
1
1
.S C S C S /; : : :
4
16
cada una es menor que la mitad de la que le precede y, por tanto, en virtud del citado principio,
podemos concluir que en alguna etapa se tendr que
4
1
1
1
K
S >K
S C S C S C C nS
3
4
16
4
Esto implica que
1
1
4
1
S C S C S C C nS > S
4
16
4
3
lo que es contradictorio con la igualdad, conocida por Arqumedes, que dice que:
1
4
1
1
S C S C S C C nS D S
4
16
4
3
1 1
S
3 4n
(8.47)
1
1
1
4
4
la cual implica que S C S C S C C n S < S . Por tanto, no puede ser K > S .
4
16
4
3
3
4
4
(II) Supongamos que K < S ; es decir, que S K > 0.
3
3
1
Como cada una de las reas S; 14 S; 16
S; : : : ; 41n S es menor que la mitad de la que le
precede y, por tanto, en virtud del principio de convergencia de Eudoxo, podemos concluir que
en alguna etapa se tendr que 41n S < 34 S K. Entonces
1
1 1
4
1
1
1
4
S K > nS >
S
D
S
S
C
S
C
S
C
C
S
3
4
3 4n
3
4
16
4n
503
El Mtodo de Arqumedes
V
Z
E
K
N
G
B
O
Universidad de Granada
Dpto. de Anlisis Matemtico
Y, como tambin es
504
CK
CA
D
, y por construccin es TK D CK, obtenemos que
AQ KN
TK
MQ
D
TK:QO D KN:MQ
KN
QO
505
espiral. El radio del crculo circunscrito es 2a. Para ello dividimos este crculo en sectores de
amplitud # D 2=n, desde # D 2k=n a # D 2.k C 1/=n para k D 0; 1; : : : ; n 1. En cada
sector examinamos el arco de espiral que queda dentro del mismo y acotamos el rea correspondiente a dicho arco de espiral entre las reas de dos sectores circulares. Teniendo en cuenta
que el rea de un sector circular de radio r y amplitud ' radianes es 21 r 2 ', resulta que el rea de
sector circular ms grande inscrito en cada arco de espiral es 21 .a2k=n/2 .2=n/, y el rea de
sector circular ms pequeo circunscrito a cada arco de espiral es 12 .a2.k C 1/=n/2 .2=n/.
Deducimos que el rea, S , de la espiral verifica que:
n
X1
kD0
1
2
a2k
n
2
n 1
n
n
X
1 a2k 2 2
4 3 a2 X 2
4 3 a2 X 2
2
k
<
S
<
k
D
D
n
2
n
n
n3
n3
kD0
kD1
kD1
1
k 2 D n.n C 1/.2n C 1/. Usando este resultado podemos
6
kD1
escribir la desigualdad anterior en la forma:
1
1
1
1
1
1
1
2
< S < 4 3 a2
1C
2C
4 3 a2
6
n
n
6
n
n
Arqumedes conoca que
Pongamos K D 31 .2a/2 que es una tercera parte del rea del crculo circunscrito. Restando
K en la desigualdad anterior y haciendo operaciones sencillas, obtenemos que:
3
1
1
3
K
C 2 <S K<K
C 2 I
2n
2n
2n
2n
y como 1=n2 6 1=n, obtenemos que 2K=n < S
Arqumedes se concluye que S D K.
Universidad de Granada
Dpto. de Anlisis Matemtico
506
El mtodo de integracin geomtrica que se consideraba ideal durante la primera mitad del
siglo XVII era el mtodo de exhauscin que haba sido inventado por Eudoxo y perfeccionado
por Arqumedes. El nombre es desafortunado porque la idea central del mtodo es la de evitar
el infinito y por lo tanto este mtodo no lleva a un agotamiento de la figura a determinar.
Entre los matemticos del siglo XVII era general el deseo de encontrar un mtodo para
obtener resultados y que, a diferencia del mtodo de exhauscin, fuera directo. Y mejor que
mejor si el nuevo mtodo, aparte de dar resultados, pudiera ser utilizado para demostrarlos.
El camino que siguieron fue el que se deriva de una concepcin intuitiva inmediata de las
magnitudes geomtricas. Se imaginaron un rea como formada, por ejemplo, por un nmero
infinito de lneas paralelas. Kepler ya haba hecho uso de mtodos infinitesimales en sus obras;
el inters que se tom en el clculo de volmenes de toneles de vino dio como resultado un
libro Nova stereometria doliurum vinariorum (1615). En l consideraba slidos de revolucin
como si estuvieran compuestos de diversas maneras por una cantidad infinita de partes slidas.
Por ejemplo, consideraba una esfera como formada por un nmero infinito de conos con vrtice
comn en el centro y base en la superficie de la esfera. Esto le conduca al resultado de que la
esfera es igual en volumen al cono que tiene como altura el radio de la esfera y como base un
crculo igual al rea de la esfera, es decir un crculo con el dimetro de la esfera como radio.
Galileo tena la intencin de escribir un libro sobre indivisibles, pero este libro nunca se
public.
Bonaventura Cavalieri (1598 - 1647), discpulo de Galileo y profesor en la Universidad
de Bolonia, public en 1635 un tratado Geometria Indivisibilibus Continuorum Nova quadam
Ratione Promota en el que, siguiendo ideas de Kepler y Galileo, desarroll una tcnica geomtrica para calcular cuadraturas, llamada mtodo de los indivisibles. En este mtodo, un rea
de una regin plana se considera formada por un nmero infinito de segmentos paralelos, cada
uno de ellos se interpreta como un rectngulo infinitamente estrecho; un volumen se considera
compuesto por un nmero infinito de reas planas paralelas. A estos elementos los llama los
indivisibles de rea y volumen respectivamente. En lneas generales los indivisibilistas mantenan, como expresa Cavalieri en sus Exercitationes Geometricae Sex (1647), que una lnea
est hecha de puntos como una sarta de cuentas; el plano est hecho de lneas, como un tejido
de hebras y un slido de reas planas como un libro de hojas.
B
E
F
G
D
H
C
La forma en que se aplicaba el mtodo o principio de Cavalieri puede ilustrarse como sigue.
Universidad de Granada
Dpto. de Anlisis Matemtico
507
Para demostrar que el paralelogramo ABCD tiene rea doble que cualquiera de los tringulos
ABD o BCD, hace notar que cuando GD D BE, se tiene que GH D FE. Por tanto los
tringulos ABD y BCD estn constituidos por igual nmero de lneas iguales, tales como GH
y EF , y por tanto sus reas deben ser iguales.
8.8.2.2.
R
A
B
X
Q
O
C
2r
D
Y
r
En la figura 8.30, sea QMNS la mitad de un arco de la cicloide generada por el crculo de radio
r centrado en O. El rea del rectngulo QMNP es el doble del rea del crculo. Construimos
segmentos de lnea infinitesimales horizontales, AB, con longitud determinada por la distancia
horizontal entre el dimetro PQ y la circunferencia. Cada punto C de la cicloide lo sometemos
a una traslacin horizontal hasta el punto D, segn el correspondiente segmento AB D CD, y
as obtenemos la curva QRN , llamada compaera de la cicloide. Por la construccin realizada,
las secciones horizontales del semicrculo y de la regin comprendida entre la cicloide y su
curva compaera son segmentos de igual longitud, por lo que dicha regin tiene rea igual a la
mitad del circulo. Por otra parte, la curva compaera de la cicloide divide en dos partes iguales
al rectngulo QMNP , pues, como Roberval demostr, las secciones horizontales de altura a
y 2r a dan en cada una de las partes en que dicha curva divide al rectngulo, segmentos
iguales X Y y U V . Deducimos as que el rea encerrada por la mitad de un arco de cicloide es
r 2 C 12 r 2 D 23 r 2 . Por tanto, concluimos que el rea encerrada por un arco de la cicloide
es tres veces el rea del crculo que la genera.
Los matemticos no se mostraban de acuerdo acerca del valor que haba que dar a una
demostracin por el mtodo de los indivisibles. La mayora de los que se preocupaban de la
cuestin consideraban el mtodo de los indivisibles slo como un mtodo heurstico y crean
que era an necesaria una demostracin por exhauscin.
Universidad de Granada
Dpto. de Anlisis Matemtico
508
a ar ar 2 ar 3
ar 4
ar 5
ar 6
a/
1
C .ar 2
.ar /2
ar /
1
C .ar 3
.ar 2 /2
ar 2 /
1
1
1
r 1X 1
D
C
D
3
2
2
k
ar
.ar /
ar
r
kD0
a/
1
C .ar 2
a2
ar /
1
C .ar 3
.ar /2
ar 2 /
1
r
1
r 1X 1
D
C
D
2
2
k
a
a
.ar /
r
kD0
509
1
Como esta desigualdad es vlida para todo r > 1, concluimos que S D . Observa que dicho
a
valor es precisamente el rea del rectngulo OABa.
El razonamiento de Fermat tiene detalles muy interesantes que se pierden usando la terminologa y smbolos actuales. Vamos a reproducir parte de su razonamiento. Fermat se apoya
en una propiedad de las progresiones geomtricas de razn menor que la unidad, que enuncia
como sigue:
Dada una progresin geomtrica cuyos trminos decrecen indefinidamente, la diferencia entre dos trminos consecutivos es al ms pequeo de ellos, como el mayor es a la suma de los trminos restantes.
Llamemos R1 ; R2 ; R3 ; : : : a las reas de los sucesivos rectngulos y S a la suma de todas
ellas. Como se trata de una progresin geomtrica decreciente, se tiene que:
R1 R2
R1
D
R2
S R1
Simplificando, resulta
S
R1 D OA:AB D
1
a
Dice Fermat:
[. . . ] si ahora aadimos [a ambos miembros de esta igualdad] el rectngulo R1
que a causa de las infinitas subdivisiones, se desvanece y queda reducido a nada, alcanzamos la conclusin, que podra ser fcilmente confirmada por una ms
prolija prueba llevada a cabo a la manera de Arqumedes. . . No es difcil extender
esta idea a todas las hiprbolas definidas anteriormente excepto la que ha sido
indicada [la hiprbola de Apolonio].
Vemos cmo en las cuadraturas de Fermat de hiprbolas y parbolas generalizadas, subyacen los aspectos esenciales de la integral definida:
La divisin del rea bajo la curva en elementos de rea infinitamente pequeos.
Aproximacin de la suma de esos elementos de rea por medio de rectngulos infinitesimales de altura dada por la ecuacin analtica de la curva.
Un intento de expresar algo parecido a un lmite de dicha suma cuando el nmero de
elementos crece indefinidamente mientras se hacen infinitamente pequeos.
8.8.2.4.
Jhon Wallis (1616 - 1703) public en 1655 un tratado Arithmetica infinitorum (La Aritmtica de los infinitos) en el que aritmetizaba el mtodo de los indivisibles de Cavalieri. Para
ilustrar el mtodo de Wallis consideremos el problema de calcular el rea bajo la curva y D x k
(k D 1; 2; : : : ) y sobre el segmento 0; a (ver figura (8.32)). Siguiendo a Cavalieri, Wallis considera la regin PQR formada por un nmero infinito de lneas verticales paralelas, cada una
Universidad de Granada
Dpto. de Anlisis Matemtico
510
(8.48)
(8.49)
0k C 1k C 2k C 3k C C nk
nk C nk C nk C nk C C nk
R
(8.50)
ak
y D xk
(8.51)
rea PQR
akC1
1
)
rea
PQR
D
D
k C1
k C1
akC1
k D 1; 2; 3 : : :
(8.52)
Este resultado ya era conocido anteriormente, pero Wallis no se paraba aqu y extenda la validez de la igualdad (8.51) a todos los exponentes racionales positivos. Su peculiar razonamiento
tiene inters pues en l se bas Newton para obtener la serie binomial. Lo esencial del mismo
puede resumirse, en trminos actuales, como sigue.
6 Fue precisamente Wallis quien introdujo en 1655 en la obra De Sectionibus Conicis, el smbolo del lazo del
amor, 1, con el significado de infinito.
Universidad de Granada
Dpto. de Anlisis Matemtico
511
n!1
(8.53)
suponiendo que dicho lmite tenga sentido. Por ejemplo, (8.51) nos dice que el ndice de la
funcin fk .x/ D x k es .fk / D k para k D 1; 2; : : : .
Wallis observ que, dada una progresin geomtrica de potencias de x como, por ejemplo
1; x 3 ; x 5 ; x 7 ; : : : , la correspondiente sucesin de ndices 0; 3; 5; 7; : : : forman una progresin
aritmtica. Como .fk / D k, esta observacin es trivial, pero le permite dar un atrevido salto
adelante, de manera que mediante una audaz interpolacin establece (sin demostracin) que
una conclusin anloga puede deducirse para la progresin geomtrica
p
p
p
1; q x; . q x/2 ; : : : ; . q x/q 1 ; x
de manera que la sucesin de sus ndices debe formar una progresin aritmtica, de donde se
p
sigue que debe ser . q x/p D p=q para p D 1; 2; : : : ; q. De esta forma obtiene que
p
p
p
p
p
1
. 0/p C . 1/p C . 2/p C . 3/p C C . n/p
lKm p p
p p
p p
p p
p p D
n!1 . n/ C . n/ C . n/ C . n/ C C . n/
p=q C 1
Wallis estaba convencido de la validez de su mtodo, conocido posteriormente como interpolacin de Wallis, que tuvo importancia en el siglo XVIII. Puede considerarse como un intento
de resolver el siguiente problema:
Dada una sucesin Pk , definida para valores enteros de k, encontrar el significado
de P cuando no es un nmero entero.
p
Adems, Wallis deduce que necesariamente debe ser . q x/p D x p=q . Ser Newton, poco ms
tarde, quien siguiendo los pasos de Wallis, introducir el uso de potencias fraccionarias y negativas.
Wallis, incluso llega a afirmar que la igualdad
wa
0
x r dx D
ar C1
r C1
(8.54)
no es vlida solamente para exponentes r racionales, sino tambin para otros como r D
pero, naturalmente, no puede dar ninguna justificacin.
p
3
x 2 dx
Dicha integral representa el rea bajo la semicircunferencia de centro .1=2; 0/ y radio 1=2,
su valor es, por tanto, =8. Wallis quera obtener dicho resultado evaluando directamente la
integral. No tuvo xito en este empeo que Newton habra de resolver posteriormente, pero sus
resultados le llevaron a obtener la llamada frmula de Wallis
2
1 3 3 5 5 7 7
D
2 2 4 4 6 6 8
Universidad de Granada
Dpto. de Anlisis Matemtico
512
Barrow estuvo muy cerca de descubrir la relacin inversa entre problemas de tangentes y
de cuadraturas, pero su conservadora adhesin a los mtodos geomtricos le impidi hacer uso
efectivo de esta relacin. Veamos cmo aparece esa relacin tal como se expone en la Leccin
X, Proposicin 11 de las Lectiones Geometricae.
En la figura (8.33) se han representado dos curva y D f .x/ e y D g.x/. El segmento AD
representa el eje de abscisas donde toma valores x. La cantidad g.x/ representa el valor del
rea bajo la grfica de f comprendida entre el punto A y x. Dado un punto de abscisa D, se
trata de probar que la pendiente de la tangente a y D g.x/ en el punto F , es decir en el punto
.D; g.D//, es igual a f .D/ D DE. La demostracin de Barrow es geomtrica.
y D g.x/
F
Z
G
y D f .x/
Tracemos una lnea recta F T por F que corta en T a la recta AD y tal que
DF=TD D f .D/ D DE
Queremos probar que F T es la tangente a y D g.x/ en el punto F . Para ello vamos a ver que
la distancia horizontal, KL, de cualquier punto L de la recta EF a la recta F T es menor que
la distancia, IL, de dicho punto L a la curva y D g.x/. Esto probar que la recta F T queda
siempre por debajo de y D g.x/.
Tenemos que:
FL=KL D DF=TD D DE
Por otra parte:
rea ADEZ D FD
rea AP GZ D PI D LD
rea PDEG D FD
LD D FL
Ya que
rea PDEG < rectngulo PD:DE
Universidad de Granada
Dpto. de Anlisis Matemtico
(8.55)
Prof. Javier Prez
Clculo diferencial e integral
513
Se sigue que
FL < PD:DE DE > FL=PD
y por tanto
FL=KL > FL=PD KL < PD D IL
Deducimos que el punto K queda debajo de la curva y D g.x/ y por tanto la recta F T queda
a un lado de la curva. Para completar la demostracin es necesario repetir el razonamiento
tomando puntos a la derecha de EF . Esto prueba que TF es tangente a y D g.x/ en D y su
pendiente es DE D f .D/. En trminos actuales, lo que Barrow ha probado es que:
x
d w
f .t/dt D f .x/
dx a
P
y D y.x/
z.x/
o
B
zD
mCn
n
ax n
mCn
(8.56)
514
a
z.x/ D .x C o/r
r
a r
x
r
(8.57)
Desarrollando en potencias
!
a
a r
a r
o
r .r 1/ o2
r .r 1/.r 2/ o3
r
r
.x C o/ D x .1 C o=x/ D x 1 C r C
C
C
r
r
r
x
2
123
x2
x3
(8.58)
De (8.57) y (8.58) deducimos, despus de dividir por o, que:
v D ax r
a.r
1/
2
ox r
a.r
1/.r 2/ 2 r
o x
123
C
Si en esta igualdad suponemos que o va disminuyendo hasta llegar a ser nada, en cuyo caso
v coincidir con y, despus de eliminar los trminos que contienen o que desaparecen, resulta
que:
m
(8.59)
y D ax r 1 D ax n
Este es, por tanto, el valor de la ordenada de la curva en P D .x; y/. El proceso puede invertirse
y, de hecho, ya se saba que la cuadratura de (8.59) viene dada por (8.56).
Observemos que Newton no ha usado el significado tradicional de la integral al estilo de
sus predecesores, es decir, no ha interpretado la integral como un lmite de sumas de reas
infinitesimales, sino que ha probado que la expresin que proporciona la cuadratura es correcta
estudiando la variacin momentnea de dicha expresin. De hecho, lo que Newton ha probado
es que la razn de cambio del rea bajo la curva, esto es, el cociente
z.x C o/
o
z.x/
Ya hemos comentado en el captulo 6 (ver pg. 321) las principales ideas que guiaron a
Leibniz en la invencin del Clculo:
La creacin de un simbolismo matemtico que automatizara los clculos y permitiera
formular fcilmente procesos algortmicos.
La apreciacin de que las sucesiones de diferencias pueden sumarse fcilmente, y que
el proceso de formar la sucesin de diferencias y despus sumarla recupera la sucesin
inicial, es decir, que se trata de operaciones inversas una de la otra.
La consideracin de las curvas como polgonos de infinitos lados de longitudes infinitesimales y de las variables como sucesiones que toman valores consecutivos infinitamente
prximos.
Universidad de Granada
Dpto. de Anlisis Matemtico
515
Se conservan en el archivo Leibniz en Hannover los manuscritos que contienen las investigaciones de Leibniz sobre los problemas de cuadraturas. En dichos documentos, fechados del 25
de octubre al 11 de noviembre de 1675, Leibniz investiga la posibilidad de formular simblicamente los problemas de cuadraturas e introduce los smbolos que actualmente usamos para
la integral y la diferencial. Los progresos de Leibniz se exponen de forma concisa y clara en el
trabajo de H.J.M. Bos [2] que sigo muy de cerca. Algunos de los resultados de Leibniz en estos
manuscritos son casos particulares de la regla de integracin por partes, como, por ejemplo, la
siguiente igualdad (se supone f .0/ D 0):
!
wa
wa
wa
wa wx
xf 0 .x/ dx D af .a/
f .x/ dx D a f 0 .x/ dx
f 0 .t/ dt dx
(8.60)
0
Por supuesto, Leibniz no la escribe as. Recuerda que la notacin que usamos para la derivada
se debe a J.L. Lagrange y es bastante tarda, de finales del siglo XVIII. Adems, la notacin que
usamos para indicar los lmites de integracin fue introducida por J. Fourier en el primer tercio
del siglo XIX. Incluso el trmino integral no se debe a Newton ni a Leibniz. Leibniz llam
calculus differentialis, esto es clculo de diferencias, a la parte de su clculo que se ocupa
del estudio de tangentes, y calculus summatorius, o sea clculo de sumas, a la que se ocupa
de problemas de cuadraturas. Para Leibniz una integral esr una suma de infinitos rectngulos
infinitesimales, el smbolo que ide para representarlas, tiene forma de una s alargada
como las que en aquel tiempo se usaban en la imprenta; adems, es la primera letra de la
palabra latina summa, o sea, suma. Fue Johann Bernoulli quien, en 1690, sugiri llamar
calculus integralis al clculo de cuadraturas, de donde deriva el trmino integral que usamos
actualmente.
De hecho, Leibniz obtuvo la frmula (8.60) antes de inventar su notacin para las integrales y las diferenciales. Es interesante mostrar cmo lo hizo. Para ello vamos a seguir el
camino opuesto al seguido por Leibniz, modificando la notacin de dicha frmula hasta llegar
a escribirla como lo hizo l.
Podemos interpretar grficamente la igualdad (8.60) sin ms que observar la figura 8.35.
P D .a; f .a//
w
w
w
w
w
w
w
w
ADa
Universidad de Granada
Dpto. de Anlisis Matemtico
516
ra
El nmero af .a/ es el rea del rectngulo OAPB, la integral 0 f .x/ dx es el rea de la
parte de dicho
r a rectngulo OAP que queda bajo la curva y D f .x/. Deducimos de (8.60) que
la integral 0 xf .x/ dx es el rea de la parte OBP de dicho rectngulo que queda por encina de la curva y D f .x/. Esta rea es la suma de las reas de rectngulos horizontales como
los representados en la figura 8.35. Estos rectngulos horizontales tienen como base el valor
de la abscisa correspondiente, x, y como altura la diferencia infinitamente pequea entre dos
ordenadas sucesivas, que Leibniz representa por w. Esta diferencia es lo que posteriormente se
llamar diferencial de y. Podemos, pues, interpretar que w D dy D f 0 .x/ dx . Por su parte, el
rea de la regin OAP es considerada por Leibniz como la suma de las ordenadas y. Finalmente, podemos eliminar y porque para Leibniz el valor de una variable puede obtenerse sumando
sus diferencias consecutivas, por eso, y puede
r x 0 verse como la suma de las w. Esto requivale,
en nuestra notacin, a sustituir f .x/ por 0 f .t / dt (o, al estilo de Leibniz, y por dy ), lo
que tambin hemos hecho en la igualdad (8.60). La forma exacta en que Leibniz escribi la
igualdad 8.60, segn se lee en [2], es:
omn. xw u ult. x; omn. w;
omn. omn. w
(8.61)
w
x2
x3
y
x2 D
2
3
y subrayando que estas reglas se aplican a las series en las que la razn de las diferencias
de los trminos a los trminos mismos es menor que cualquier cantidad dada, es decir, a
las series cuyas diferencias son infinitamente pequeas.
xD
Una lneas ms adelante nos encontramos tambin con la introduccin del smbolo d
para la diferenciacin. Aparece en el contexto de un brillante razonamiento que puede
resumirse de la forma siguiente: el problema de las cuadraturas
es un problema de suma de
r
sucesiones, para lo cual hemos introducido el smbolo y para el que queremos elaborar
un clculo, es decir, un conjunto de algoritmos
eficaces. Ahora bien, sumar sucesiones, es
r
decir hallar una expresin general para y dada la y, no es posible normalmente, pero
siempre lo es encontrar una expresin para las diferencias de una sucesin dada. As pues,
el clculo de diferencias es la operacin recproca del clculo de sumas, y por lo tanto
Universidad de Granada
Dpto. de Anlisis Matemtico
517
Esta larga cita, extrada del trabajo de H.J.M. Bos Newton, Leibniz y la tradicin leibniziana
([2]), nos da una idea de cmo lleg Leibniz a la invencin del clculo. No fueron los caminos
del razonamiento lgico deductivo los seguidos por Leibniz sino los de la intuicin, la conjetura, el estudio de casos particulares y su generalizacin : : : Los mismos caminos que hoy siguen
los matemticos activos en sus trabajos de investigacin. Pese a que los conceptos que maneja
Leibniz son oscuros e imprecisos fue capaz de desarrollar algoritmos de clculo eficaces y de
gran poder heurstico. Como ya hemos indicado en el captulo 6, el clculo de Leibniz triunf
en el continente europeo gracias a los trabajos de los hermanos Bernouilli y al libro de texto
del Marqus de LHpital que divulg las tcnicas del clculo leibniziano por toda Europa.
Universidad de Granada
Dpto. de Anlisis Matemtico