ANÁLISE REAL II — 2020/2021 5

14. Seja (an )n∈N uma sucessão decrescente de números não negativos.

(a) Seja N ∈ N. Mostre que

N 2 N N N
1X X X X
a1 + 2n a2n ¶ an e que an ¶ 2n a2n .
2 n=1 n=1 n=1 n=0

∞
X
(b) Demonstre o teste da condensação de Cauchy: a série an converge se e só se a série
n=1
∞
X
2n a2n converge.
n=0
(c) Use o critério da alínea anterior para estudar a convergência das seguintes séries:
∞ ∞ ∞
X 1 X 1 X 1
i. ; ii. série harmónica; iii. ; iv. .
2
n=2 log n n=2 n log n n=2 n log n

15. Neste exercício, pretende-se provar que

∞
X 1 π2
= . (1)
2
n=1 n 6
Z π/2 Z π/2
Para cada n ∈ Z+ , sejam In = cos2n x dx e Jn = x 2 cos2n x dx.
0 0

(a) Mostre que

1 × 3 × · · · × (2n − 1) π (2n)! π
(∀n ∈ Z+ ) : In = = ;
2 × 4 × · · · × (2n) 2 4n n!2 2
sugestão: use integração por partes.
(b) Mostre que
(∀n ∈ N) : In = n(2n − 1)Jn−1 − 2n 2 Jn .

(c) Deduza das alíneas anteriores que

π 4n−1 (n − 1)!2 4n n!2

(∀n ∈ N) : = Jn−1 − J
4n 2 (2n − 2)! (2n)! n
e que
N
πX 1 4N N !2
(∀N ∈ N) : = J0 − J .
4 n=1 n 2 (2N )! N
π3
(d) Use a alínea anterior para deduzir que se tem (1). Para tal, mostre que J0 = 24 e que
 π 
π
limN ∈N JN = 0, o que resulta de se ter ∀x ∈ 0, 2 : x ¶ 2 sen x e de, portanto,

π/2
π2 π2 π2 IN
Z
(∀N ∈ N) : JN ¶ sen2 x cos2N x dx = (IN − IN +1 ) =
4 0 4 8(N + 1)

(demonstre estes resultados).

Departamento de Matemática, Faculdade de Ciências, Universidade do Porto