220 Cálculo integral

5.5. Ejercicios
Ejercicios resueltos
5.5.1 Sea f : [0, 1] −→ R una función continua. Pruebe que
n Z 1
1X
lı́m f (zk ) = f,
n n k=1 0

para cualquier elección de zk ∈ [ k−1

n
, nk ] para k y n enteros con 1 ≤ k ≤ n.
Solución: Al ser f una función continua es integrable (corolario 5.2.3).
Aplicando la caracterización de la integrabilidad en términos de la norma de
la partición (teorema 5.2.8) sabemos que fijado ε > 0 existe δ > 0 de modo
que para cualquier partición P de norma menor que δ y cualquier suma de
Riemann correspondiente a una tal partición se verifica que
Z 1

 
 f − S(f, π, zi ) < ε.

0

La fórmula que queremos probar significa, en otros términos, que fijado ε > 0
existe n0 tal que si n ≥ n0 se cumple
Z n 


1 1X 
 f− f (zk ) < ε
0 n k=1
pero obviamente
n n k
1X X k − 1
f (zk ) = f (zk ) −
n k=1 k=1 n n
y esto último sumatorio es una suma de Riemann correspondiente a la parti-
ción de [0, 1] determinada por los puntos 0 < 1/n < 2/n < . . . < n/n, o sea
es una suma del tipo S(f, P, zi) ante considerada, y si su norma fuera menor
que δ podríamos escribir
Z n 


1 1X 
 f− f (zk ) < ε.
0 n k=1
En nuestro caso los puntos de la partición están equidistribuidos y por tanto
su norma es 1/n. Existe n0 ∈ N tal 1/n0 < δ y en consecuencia para n > n0
la norma de la correspondiente partición es inferior a δ que es justo lo que
necesitamos para poder escribir
Z n 


1 1X 
 f− f (zk ) < ε
0 n k=1
para n > n0 . 

Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
5.5 Ejercicios 221

5.5.2 Calcule
1 1 1 1
lı́m +√ 2 +√ 2 +···+ q
n→∞ n n −1 2 n −2 2
n2 − (n − 1)2

Solución: Este es un límite típico para calcularlo mediante sumas de Rie-

mann
1 1 1 1
+√ 2 +√ 2 +···+ q =
n n −1 2 n −2 2
n2 − (n − 1)2
1 1 1 1
√ +√ 2 +√ 2 +···+ q =
2
n −0 2 n −1 2 n −2 2
n2 − (n − 1)2
 
1 1 1 1 1
q +q +q + ... q =
n 1 − (0/n)2 1 − (1/n)2 1 − (2/n)2 1 − ((n − 1)/n)2
S(f, P, zi)

para la partición de [0, 1] dada por

0 1 2 n−1 n
P = {0 = < < < ... < = 1}
n n n n n
siendo
1 n−1
z1 = 0, z2 = , . . . zn =
n n
y
1
f (x) = √ .
1 − x2
Con lo cual
Z 1
1 1 1 1
lı́m+√ 2 + · · · + q = √ dx =
n→∞ n n −1 2 1 − x2
n2 − (n − 1)2 0
Z Z Z
π/2 1 π/2 cos t π/2 π
√ cos t dt = dt = dt =
0 1 − sen2 t 0 cos t 0 2

Y calculamos así el límite con técnicas de integración. 

5.5.3 Sea f : R −→ R continua. Sea F : R \ {0} −→ R definida por

1 Zx
F (x) = f (t) dt
2x −x
(1) Calcule lı́mx→0 F (x). Definiendo F (0) = lı́mx→0 F (x) pruebe que la fun-
ción así definida en R es continua.

Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
222 Cálculo integral

(2) Pruebe que F es derivable R \ {0} y calcule su derivada.

Solución: La función F está bien definida para cada x ∈ R \ {0} porque al

Rx
ser f continua −x f está bien definido. Además la función
Z x Z 0 Z x Z −x Z x
G(x) = f (t) dt = f (t) dt + f (t) dt = − f (t) dt + f (t) dt
−x −x 0 0 0

es derivable como consecuencia del teorema fundamental del cálculo y el

teorema de la función compuesta siendo

G′ (x) = −f (x)(−1) + f (x) = 2f (x)

Para calcular lı́mx→0 F (x) utilizaremos la regla de L’Hospital y obtenemos

1 Zx G(x) G′ (x)
lı́m f (t) dt = lı́m = lı́m = lı́m f (x) = f (0)
x→0 2x −x x→0 2x x→0 2 x→0

puesto que f es continua. Salvo para x = 0 la función F es un cociente

de dos funciones derivables y por tanto continuas, así que F es continua en
x ∈ R \ {0} y como F (0) ha sido definida mediante F (0) = lı́mx→0 F (x),
también es continua en el origen.
F es derivable en x ∈ R \ {0} por ser un cociente de funciones derivables
siendo
x xR R
′ G′ (x)2x − 2G(x) 4xf (x) − 2 −x f (t) dt 2xf (x) − −x f (t) dt
F (x) = 4
= 4
= 4
4x 4x 2x

La derivabilidad de F en x = 0 depende de que exista lı́mx→0 f (x)

x
. 
5.5.4 Sea f : [a, b] −→ R continua y monótona creciente. Pruebe que la función
definida por Z x
F (x) = f (t) dt
a
verifica  
x+y 1 1
F ≤ F (x) + F (y) para todo x, y ∈ [a, b]
2 2 2
¿Es cierto el resultado si f es únicamente continua?
Solución: Por el teorema fundamental del cálculo F es derivable siendo
F ′ (x) = f (x) y por tanto F ′ es creciente, pero entonces F es convexa, de
acuerdo con el corolario 4.4.5. Y la fórmula que queremos demostrar es sólo
un caso particular de la convexidad de F .
El lector escrupuloso se habrá percatado que en la hipótesis del corolario
utilizado se pedía que el dominio de la función fuese un intervalo abierto,

Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
5.5 Ejercicios 223

mientras que aquí lo hemos aplicado a un intervalo cerrado, así que, en

principio, la convexidad de F sólo está garantizada en (a, b). Sin embargo
podemos utilizar una astucia para solventar este inconveniente. Prolongamos
f a (a − 1, b + 1) haciendo f (x) = f (a) para x ∈ (a − 1, a] y f (x) = b para
x ∈ [b, b + 1), con lo cual F ′ es creciente en (a − 1, b + 1) siendo convexa en
dicho intervalo y, en particular en [a, b].
El crecimiento de f es esencial. Si, por ejemplo, tomamos f (x) = sen x
definida en [0, π] entonces la función F no es convexa. 
5.5.5 Sea f una función integrable Riemann en [a, b], pruebe que
Z b Z b
f (x)dx = f (a + b − x)dx
a a

Utilice el resultado anterior para calcular

Z π x senn x
dx
0 1 + cos2 x
para n = 1, 2, 3
Solución: Hagamos en la segunda integral el cambio de variable t = a+b−x
que produce dt = −dx. Veamos ahora las modificaciones que se producen en
los extremos de integración con el cambio de variable: para x = a se tiene
t = a + b − a = b y para x = b se tiene t = a + b − b = a así que
Z b Z a Z b Z b
f (a + b − x)dx = f (t)(−dt) = f (t)dt = f (x)dx
a b a a

Observe que la última igualdad es obvia porque ambas expresiones, con in-
R
dependencia de cómo denotemos la variable, representan el valor de ab f .
En particular podemos aplicar la fórmula anterior y tenemos
Z Z π Z π
x senn x
π (π − x) senn (π − x) (π − x) senn x
dx = dx = dx
0 1 + cos2 x 0 1 + cos2 (π − x) 0 1 + cos2 x
Z π Z π
senn x x senn x
=π dx − dx
0 1 + cos2 x 0 1 + cos2 x

y por tanto Z π Z
x senn x π π senn x
dx = dx
0 1 + cos2 x 2 0 1 + cos2 x
En el caso de n = 1 para calcular esta última integral hacemos el cambio
de variable t = cos x que es derivable y lleva el extremo 0 al 1 y el π al −1
siendo dt = − sen xdx, de modo que
Z Z Z
π sen x −1 −dt dt 1
dx = =
0 1 + cos2 x 1 1 + t2
−1 1 + t2
π π π
= arctg 1 − arctg(−1) = + =
4 4 2

Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
224 Cálculo integral

El caso n = 3 sigue las mismas pautas y dejamos al cuidado del lector

los detalles. En el caso n = 2 hay que prestar atención para no llegar a
conclusiones erróneas. Para calcular
Z π sen2 x
dx
0 1 + cos2 x
observamos que se trata de una función par en seno y coseno, por lo que el
cambio aconsejable es, como sabemos por las técnicas de cálculo de primiti-
vas, t = tg x, que nos conduce aparentemente a
Z Z Z
π sen2 x 0 (sen2 x)/(cos2 x) 2 dx 0 t2
dx = cos x = dt
0 1 + cos2 x 0 1/ cos2 x + 1 cos2 x 0 (2 + t2 )(1 + t2 )

con lo que, según esto, la integral buscada sería nula. Pero esto es imposible,
porque el integrando es continuo y estrictamente positivo.
¿Dónde está el error? Está en que el cambio de variable no corresponde a una
función derivable en [0, π]. Aunque sí lo es en [0, π/2) y en (π/2, π]. Hagamos
pues las cosas con cuidado
Z Z Z
π sen2 x sen2 x
π/2 π sen2 x
dx = dx + dx
0 1 + cos2 x 0 1 + cos2 x π/2 1 + cos2 x
Z +∞ Z 0
t2 t2
= dt + dt
0 (2 + t2 )(1 + t2 ) −∞ (2 + t2 )(1 + t2 )

Las integrales que nos han aparecido requieren un comentario, porque hasta
ahora hemos utilizado únicamente funciones acotadas definidas en un interva-
lo cerrado y acotado. La integración sobre intervalos no acotados será objeto
de estudio detallado en un capítulo posterior, pero anticipándonos a dicho
estudio nos limitaremos a decir ahora que, cuando tienen sentido, se defi-
nen de manera natural como límites de intregales definidas sobre intervalos
acotados. De suerte que, en concreto,
Z Z
+∞ t2 x t2
dt = lı́m dt
0 (2 + t2 )(1 + t2 ) x→+∞ 0 (2 + t2 )(1 + t2 )
 
2 arctg √x
2
= lı́m √ − arctg x
x→+∞ 2
2 π π √ π
=√ − = ( 2 − 1)
24 4 4

(hemos omitido los cálculos para obtener la primitiva). La otra integral vale
√ π
lo mismo, siendo por tanto, el resultado final ( 2 − 1) .
2


Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
5.5 Ejercicios 225

Ejercicios propuestos
Z 2
5.1) Utilizando la definición de integral calcule f (x) dx siendo
0

x2 si 0 ≤ x ≤ 1
f (x) = 
3−x si 1 < x ≤ 2

5.2) Calcule los límites de las siguientes sumas de Riemann:

n
X n n
n+j 1X jπ X j jα
lı́m 2 2
, lı́m sen , lı́m 2
sen
j=1 n + j
n−→+∞ n 2n j=1 n 2n + 1
n−→+∞ n−→+∞
j=1

 1/n
1
5.3) Calcule lı́m (n + 1)(n + 2) . . . (n + n) .
n−→+∞ n

5.4) Haciendo uso de una integral definida adecuada calcule

√
n
n!
lı́m
n→∞ n

5.5) Calcule
n π π 2π 2π
lı́m (sen cos + sen cos + · · · + sen π cos π)
n n2 +1 n n n n

5.6) Calcule el siguiente límite:

!
1 1 1
lı́m 4n 2 2
+ 2 2
+···+
n→∞ 1 + 4n 3 + 4n (2n − 1)2 + 4n2

Z b
5.7) Sea f una función continua en [a, b] tal que |f (x)|dx = 0. Pruebe que
a
f (x) = 0 en todos los puntos x ∈ [a, b].
Z π Z π
4 n 4
5.8) Calcule lı́m sen x dx y lı́m tgn x dx.
n−→+∞ 0 n−→+∞ 0

5.9) Sea f una función continua en [a, b], y sea M = máx{|f (x)| : x ∈ [a, b]}.
Pruebe que
Z b 1/n
n
lı́m |f (x)| dx = M.
n−→+∞ a

Indicación: Suponga primero que M = 1.

Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
226 Cálculo integral

5.10) ZSean f, g : [a,

Z b] −→ R continuas tales que para todo x ∈ (a, b) se verifica
x x
f (t) dt = g(t) dt. Pruebe que f (x) = g(x) para todo x ∈ [a, b].
a a

5.11) Halle las derivadas de la función F (x) en cada uno de los casos siguientes:
Z Z Z
x3
3
x2 t6 x 1
F (x) = sen t dt F (x) = dt F −1 (x) = dt .
0 sen x2 1 + t4 0 1+t

Z x2
5.12) Sea f : [0, ∞) −→ R continua, con (1 + t)f (t) dt = 6x4 . Determine f .
0

5.13) Sea f una función dos veces derivable en [a, b] siendo f ′′ continua en [a, b].
Pruebe que se verifica la siguiente fórmula:
Z b
xf ′′ (x) dx = (bf ′ (b) − f (b)) − (af ′ (a) − f (a))
a

y aplíquelo para calcular

Z π/4
x tg x(1 + tg2 x) dx.
0

Indicación: Puede hacerse integración por partes o bien observar que la fun-
ción F (x) := xf ′ (x) − f (x) es una primitiva de x 7→ xf ′′ (x).

5.14) Calcule el siguiente límite

Z x2
log(2 + sen t) dt
−x2
lı́m
x→∞ x2 (x − sen x)

5.15) Sea f : [0, ∞) −→ (0, ∞) continua. Pruebe que la función definida por
Z x
xf (x) dx
g(x) = Z0 x para x 6= 0 y g(0) = 0
f (x) dx
0

es creciente.

5.16) Sea f : [0, +∞) −→ R continua y, para cada x ∈ [0, +∞), sea
Z x
F (x) = xf (t) dt
0

Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
5.5 Ejercicios 227

a) Calcule F ′ (x) para cada x ∈ [0, +∞) y demuestre que

Z x Z x Z u 
f (u)(x − u) du = f (t)dt du
0 0 0
Z 1
1+ n (1 + n1 − y)
b) Calcule lı́m dy
n→+∞ 0 (1 + y)3

5.17) Calcule las siguientes integrales:

Z Z Z s
π/4
2
π/3 dx 2 a+x
tg x dx dx dx
0 π/6 sen x cos x 1 a−x
Z Z Z a2
π
2x
π/2 x
e cos x dx cos x log(sen x) dx dx
0 π/4 0 a + x4
4

5.18) Calcule el área del recinto limitado por las curvas de ecuaciones y = x3 −12x
y y = x2 .
x2 y 2 x2 y 2
5.19) Calcule el área de la intersección de las elipses + = 1 y + 2 = 1.
a2 b2 b2 a

5.20) Calcule el volumen del sólido engendrado al girar alrededor del eje OX el
recinto limitado por las curvas y = 0, y = x2 + 1, y la tangente a esta última
en el punto de abscisa x = 1.
5.21) Calcule el volumen del sólido engendrado al hacer girar un disco de radio r
alrededor de una recta situada a una distancia a del centro del disco, donde
a > r.
5.22) Sea f una función real de variable real continua y periódica, con periodo
Z T Z x+T
T . Pruebe que para todo x ∈ R se cumple f (t)dt = f (t)dt. Calcule
Z 0 x
1 x
lı́m f (t)dt.
x−→+∞ x 0

1
5.23) Sea f (x) = .
5 + 4 cos x
a) ¿Cuál es el mayor subconjunto de R en el que f admite una primitiva?
b) Determine una primitiva en dicho conjunto.

5.24) Mediante un cambio de variable establezca la igualdad

Z a Z a
f (x)dx = f (a − x)dx
0 0
Z Z
π
4 π π 3π 2
Como aplicación, pruebe que x sen (2x)dx = sen4 (2x)dx = .
0 2 0 16

Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
228 Cálculo integral

xn (qx − p)n
5.25) Se considera la función fn (x) = donde n, q, p ∈ N
n!
a) Pruebe que fn y todas sus derivadas toman valores enteros para x = 0
y x = p/q
Z π
b) Si In = fn (x) sen x dx, Pruebe que lı́mn In = 0
0
c) Mediante integración por partes en la expresión de In (sin escribir ex-
plícitamente fn′ ), Demuestre que si π = p/q entonces In sería un entero
no nulo. Concluir que π es irracional .

Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño