Problemas de Calculo

Carlos Shine

Integrais, integrais, integrais

Mas para que? Vai dar na mesma. . .
ex , festa das func
oes

1.1

O truque de Feynman para integrais definidas

Usaremos o seguinte fato, que generaliza o segundo teorema fundamental do Calculo:

Teorema 1. Seja f (t, x) uma funca
o contnua tal que f
e contnua em t e x em alguma regi
ao do
t
plano que inclui a(t) x b(t) e t0 t t1 , em que a(t) e b(t) s
ao funco
es contnuas com derivadas
contnuas em [t0 , t1 ]. Ent
ao, para t0 t t1 ,
!
Z b(t)
Z b(t)

f (t, x) dx = f (t, b(t)) b (t) f (t, a(t)) a (t) +

f (t, x) dx.
dt
t
a(t)
a(t)
Uma versao mais simples desse teorema e quando a e b s
ao constantes, que nos diz que podemos
trocar a ordem da derivada: sendo a e b reais,
! Z
Z b
b
d

f (t, x) dx =
f (t, x) dx.
dt
a t
a
Exemplo 1. Calcule
Z

1
0

x2 1
dx.
ln x

Soluca
o. Considerando que a derivada de a em relacao a y e ay ln a, parece interessante generalizar a
integral no expoente:
Z 1 t
x 1
I(t) =
dx.
ln x
0
Usando nosso teorema, temos

I (t) =

1
0

xt 1
dx =
t ln x

xt dx =
0

1
.
t+1

Logo I(t) = ln(1 + t) + C. Para achar a constante, fazemos t = 0 para zerar o integrando e obtemos
C = 0. Logo
Z 1 t
x 1
dx = ln(1 + t)
ln x
0

e, em particular, para t = 2, obtemos ln 3.

Quando temos intervalos infinitos, deixamos de ter compacidade (que e uma condicao necessaria para
aplicacao), e precisamos de um pouco mais de cuidado.
1

Exemplo 2. Calcule
Z

Soluca
o. Considere
I(t) =
Temos

sen x
dx.
x

sen x tx
e
dx.
x

Z
Z
eix eix
sen x tx
etx
etx sen x dx =
e
dx =
dx
t x
2i
0
0
0




(i + t)eix + (i t)eix 
eix
eix

tx
=
e

= etx
+


2i(i t) 2i(i + t) 0
2i(t2 + 1)
0



t sen x + cos x 
= etx

t2 + 1
0

I (t) =

Agora, temos que trabalhar com x . O problema e que limx sen x e limx cos x nao existem.
Mas se t > 0 ent
ao etx vai para zero e t sen x + cos x e limitado. Ent
ao, usando o teorema do confronto,
I (t) = 0

1
t2 + 1

para t > 0.

Portanto, I(t) = C arctan t para t > 0. Fazendo t , vemos que, sendo | sen x/x| 1,

Z
 1

tx

e
dx = 0.
|I(t)| 
t
0

Logo I(t) = 2 arctan t para t > 0.

Isso sugere que I(0) = /2, mas a nossa conta nao prova isso. Precisamos de um pouco mais.
Provaremos agora que
R
(i) 0 senx x dx converge;
R
R
R
(ii) a diferenca 0 senx x dx 0 senx x etx dx = 0 (1 etx ) sen
x x dx tende a zero quando t 0+ .

Em ambos os casos, separamos a integral em intervalos [k, (k + 1)), para obter uma sequencia
R (k+1) sen x
alternante. Comecemos com (i): seja ak = k
x dx, e note que
Z

X
X
sen x
dx =
ak =
(1)k
x
k0

k0

(k+1)

| sen x|
dx.
x

Temos, ent
ao, uma sequencia alternante. Basta, portanto, provar que |ak | e decrescente e tende a
zero. De fato,
|ak+1 | =

(k+2)
(k+1)

| sen x|
dx =
x

(k+1)
k

| sen(x + )|
dx <
x+

(k+1)
k

| sen x|
dx = |ak |
x

R (k+1) 1

1
e |ak | < k
x dx < k = k 0.
A parte (ii) e mais complicada. Primeiro provamos que a integral converge. Do mesmo jeito, seja
R (k+1) | sen x|
R (k+1)
x|
dx. Como 1 etx < 1, Ik (t) < k
dx < k1 , ou seja, Ik (t) 0
Ik (t) = k
(1 etx ) | sen
x
x
quando k . Agora vejamos que Ik (t) e decrescente: temos J(t) = Ik (t) Ik+1 (t) = 0 para t = 0 e,
usando mais uma vez a derivada da integral,

Ik+1
(t)

(k+2)

e
(k+1)

tx

| sen x| dx =

(k+1)

t(x+)

| sen(x+)| dx = e

(k+1)
k

etx | sen x| dx < Ik (t).

Logo J (t) > 0 e logo J(t) > J(0) = 0 Ik (t) > Ik1 (t), ou seja, a integral converge.
Pena que precisamos provar algo mais forte: que a integral tende a 0 quando t 0+ . Se truncarmos
a serie no termo N , o erro e menor ou igual ao modulo do proximo termo:
X

(1)k Ik (t) =

N
X

(1)k Ik (t) + rN ,

|rN | |IN +1 (t)|

k=0

k0

1
.
N +1

Usando a desigualdade |1 etx | tx, estimamos a soma parcial:

 Z
N
Z (N +1)

X
(N +1)


tx | sen x|
k
(1

e
)

(1)
I
(t)
t dx = t(N + 1).
dx



k


x
0
0
k=0

Logo

(1 etx )


1
sen x 
dx t(N + 1) +
.
x
N +1

Para cada > 0, escolhemos N grande para o qual N1+1 < 2 e, depois t pequeno o suficiente para
que t(N + 1) < 2 . Com isso, o resultado segue, e finalmente podemos concluir que
Z
sen x

dx = .
x
2
0
Cuidado: Sem compacidade ou continuidade, nem sempre a formula
! Z
Z b
b

d
f (t, x) dx =
f (t, x) dx
dt
t
a
a
e verdadeira.
Por exemplo, poderamos (?) ter feito o exemplo anterior usando
Z
sen(tx)
I(t) =
dx,
x
0
com
Z

cos(tx) dx.
I (t) =
0

Mas essa integral nao faz sentido! Precisamos de criterios.

Teorema 2. A igualdade
d
dt

f (t, x) dx
a

b
a

f (t, x) dx.
t

e verdadeira em t = t0 , no sentido em que ambos os membros existem e s

ao iguais1 se as duas condico
es
a seguir s
ao satisfeitas:

f (t, x) s
ao contnuas em t e x, com x no domnio da integraca
o e t est
a em uma
f (t, x) e t
vizinhanca de t0 ;

existem cotas superiores |f (t, x)| A(x) e | t

f (t, x)| B(x), ambas independentes de t, tais que
Rb
Rb
A(x) dx e a B(x) dx existem.
a

A primeira condicao nao costuma dar problemas, mas a segunda e importante (conseguiu ver por que
t
1xt
a ideia do sen(tx)/x da errado?). No nosso primeiro exemplo, temos f (t, x) = xln1
x , e |f (x, t)| ln x ,
que depende de t! Mas nao ha problemas, porque o teorema trata de t localmente. Podemos ent
ao
c
t
.
Para
B(x),
temos
a
derivada
parcial
igual
a
x

1,
escolher um c com 0 < t < c, e temos A(x) = 1x
ln x
ent
ao B(x) = 1 (note que aqui nao temos problemas, ja que estamos integrando de 0 a 1).
No segundo exemplo, escolhemos c com t > c > 0, A(x) = ecx e B(x) = ecx .
Veja [1] para mais detalhes.
1 Pode

acontecer de ambos existirem e serem diferentes.

1.2

O velho truque da integral dupla

Outra tecnica de integracao pouco difundida e transformar uma integral simples em uma dupla. H
a
v
arias maneiras de fazer isso: elevando uma integral ao quadrado, introduzir uma variavel e generalizar
a integral. . .
Comecemos com um cl
assico.
Exemplo 3. Calcule
Z

ex dx.

Soluca
o. Sendo I a integral que queremos calcular,
Z
Z
Z
2
2
ey dy =
ex dx
I2 =

Mudando para coordenadas polares, obtemos


Z
Z 2 Z
Z
2
2
rer dr d =
er r dr d =
I2 =
R2

2
0

e(x

+y 2 )

dx dy.

R2



2
2 
1
1
1 lim er = .
er  d = 2
r
2
2
0

Como I > 0, I = .
Para completar a demonstracao, falta na verdade demonstrar que a integral converge. Mas isso e
bem facil:
Z
Z 1
Z
2
2
ex dx < .
ex dx + 2
ex dx <

Exemplo 4. Calcule (de novo)

Z

sen x
dx.
x

Soluca
o. A ideia e transformar essa integral simples em uma integral dupla e trocar as variaveis de
claro que e importante que a integral dupla seja convergente tambem. Ou seja,
lugar, usando Fubini. E
procuramos f (x, y) e um intervalo I tal que
Z Z
Z
sen x
f (x, y) dy dx seja convergente.
e
f (x, y) dy =
x
0
I
I
R
ao as melhores
Uma escolha natural, considerando que eat dt = a1 eat (e vendo que exponenciais s
coisas para convergencia), e multiplicar por exy :
Z

sen x
1

exy sen x dy = exy sen x =
.
x
x
0
0
Com isso, ja trocando as variaveis, e usando uma integral que ja fizemos antes,
Z
Z
Z Z
yexy sen x exy cos x 
sen x
exy sen x dx dy =
dx =
 dy
x
1 + y2
0
0
0
Z0 0

1 


=
 dy = arctan y  = .
1 + y2 0
2
0
0

S
eries via integrais

Em muitos problemas, podemos encontrar somas de series com integrais.

4

2.1

Introduzindo vari
aveis

Agora, vejamos uma demonstracao do livro (retirada, e claro, do livro Proofs from the Book ).
Exemplo 5. Prove que
(2) =

X 1
2
=
.
n2
6

n1

Soluca
o. Considere f : (0, 1)2 R dada por f (x, y) =
de f sobre o quadrado Q = [0, 1]2 e
Z

I=

f (x, y) dx, dy =
Q

1
0

1
1xy

(xy)n dx dy =

0 n0

=
1

n0 (xy)

. Primeiro, note que a integral

X
X yn
1 2
dy =
= (2).
n+1
(n + 1)

0 n0

n0

Agora vamos calcular essa integral de outro jeito. Faca uma rotacao do quadrado de 45 , ou seja,
considere
u+v
uv
e y= .
x=
2
2
Com isso,

1
2
=
.
1 xy
2 u2 + v 2

Logo,
considerando
Q virao quadrado definido por u v u para 0 u 2/2 e 2 + u

v 2 u para 2/2 u 2, e que temos uma simetria no eixo u, a nossa integral e

!

Z 2/2 Z u
Z 2 Z 2u
dv
dv
I=4
du + 4
du,
2
2
2 u2 + v 2
0 2u +v
0
2/2
0
ou seja,
I=4

2/2

1
u

arctan
du + 4
2
2u
2 u2

2/2

1
2u

arctan
du.
2
2u
2 u2

u
u
Agora, vamos nos livrar do arco tangente. Seja = arctan 2u
. Ent
ao tan = 2u
u2 =
2
2

2
2 tan
2
2
2
2 sen , de modo que du =
(2 u2 ) tan2 u2 = 1+tan
2 = 2 tan cos = 2 sen u =

2 cos d = 2 u2 d. Que sorte! Como u = 2 sen , u = 2/2 sen = 1/2 = /6, e

2/2

1
u

arctan
du =
2
2u
2 u2

/6
0

p
1

2 u2 d =
2
2u

/6

d =
0

2
.
72

Para a segunda integral, seja = arctan

de modo que (2 u2 ) tan2 = 2 2 2u + u2

2(1
tan2 ) 2 2u + (1 + tan2 )u2 = 0, cujo discriminante e 8 8(1 tan4 ) = 8 tan4 , e u =

2
2(1tan )
o sinal de menos (o de mais nao tem muita graca. . . ), obtemos u = 2 cos 2.
1+tan2 . Adotando

Agora, du
= 2 2 sen
2 d = 2 2 u2 d. Sorte grande! Novamente, temos 2 cos 2 = 2/2
= /6 e 2 cos 2 = 2 = 0. Com isso,
Z

2u ,
2u2

2/2

Z /6
Z 0
p
2
1
1
2u
2

2 d =
.
arctan
du =
(2 2 u ) d =
36
2 u2
2 u2
2 u2
0
/6

A e s
o juntar tudo:
(2) = I = 4

2
2
+
72
36

2
.
6

2.2

Somas de Riemann

Como muitos deve ter pulado no curso de calculo, uma soma de Riemann e o limite que define a integral
de Riemann: partilhando o intervalo [a, b] em intervalos [xi1 , xi ], i = 0, . . . , n e escolhendo um ponto
xi , se a funcao f e integr
avel em [a, b] temos
lim

n
X

f (xi )(xi

xi1 ) =

i=1

f (x) dx.
a

Muitas vezes, podemos escolher xi xi1 = c/n e xi = ci/n, e a obtemos a continha

  Z c
n
X
ci
c
f (x) dx.
=
f
n
n
n
0
i=1
lim

Com isso, v
arias contas de medias de sequencias viram somas de Riemann. Comecamos com um
classico.
P2n
Exemplo 6. Seja Sn = k=n+1 k1 . Calcule limn Sn .
Soluca
o. Temos

Sn =

n
X

k=1

Considerando f (x) =

1
1+x ,

X1 1
1
=
n+k
n1+
k=1

k
n

temos
  Z 1
n
1
X
1
k
1

=
f
dx = ln(1 + x) = ln 2.
n
n
n
1
+
x
0
0

lim Sn = lim

k=1

Da para brincar com integrais duplas:

Exemplo 7. Calcule

1
n n2
lim

sen

1i<jn

i+j
.
n

Soluca
o. Sendo f (x, y) = sen(x + y), temos uma soma de Riemann no triangulo definido por x < y,
0 x 1 e 0 y 1 (o n est
a ao quadrado pois e um n para cada integral). Com isso,
1
n n2
lim

3
3.1

1i<jn

sen

i+j
=
n

1
0

sen(x + y) dx dy =
0

1
0

1
( cos(2y) + cos y) dy = sen 2 + sen 1.
2

Alguns fatos aleat

orios que podem ser u
teis
Limite e integrais

Fato 1. Sendo f uma funca

o deriv
avel em [0, 1], prove que
lim

xr f (x) dx = 0
0

lim r

xr f (x) dx = f (1).
0

Demonstraca
o. A ideia e que xr fica muito pequeno, exceto quando x fica perto de 1, ent
ao dividimos
o intervalo [0, 1] em [0, 1 ] e [1 , 1]. Temos
Z

xr f (x) dx =
0

xr f (x) dx +
0

A primeira integral e facil de limitar:


Z 1
Z


r
 max |f (x)|

x
f
(x)
dx


0x1

xr f (x) dx.
1

xr dx =
0

max |f (x)|

0x1

(1 )r+1
0
r+1

A segunda integral nao e muito pior:

Z 1
 Z

Z

 

r
r



 max |f (1 x)|
x
f
(x)
dx
=
(1

x)
f
(1

x)
dx
(1 x)r dx

 

1

0x

1 (1 )r+1
0
= max |f (1 x)|
0x
r+1

O outro limite e mais interessante: integrando por partes, temos

Z 1
Z
1 Z 1

xr f (x) dx = xr+1 f (x)
(r + 1)
xr+1 f (x) dx = f (1)
0

xr+1 f (x) dx.

0

A e s
o fazer Rr e usar o primeiro limite com f no lugar de f . O r + 1 pode ser facilmente
1
ajeitado tirando 0 xr f (x) dx, que tambem tende a zero.

3.2

S
eries e an
alise complexa

Fato 2. Seja f (z) uma funca

o meromorfa com uma quantidade finita de p
olos n
ao inteiros simples
z1 , . . . , zn . Ent
ao, observando que os p
olos de cot(z) s
ao os inteiros, e sendo |f (z)| M/|z| para
algum > 1,
n
X
X
Res[f (z) cot(z), z = zj ].
f (k) =
kZ

j=1

Demonstraca
o. O resultado segue quase que imediatamente do teorema dos resduos de Cauchy. De
fato, usando um ret
angulo a ser escolhido,
I

f (z) cot(z) = 2i

Res[f (z) cot(z), k] + 2i

n
X

Res[f (z) cot(z), z = zj ]

kZ

Calculemos os resduos primeiros. Sendo sen(x + k) = (1)k sen x e cos(k) = (1)k ,

Res[f (z) cot(z), k] = lim (z k)f (z) cot(z) = lim
zk

zk

1
f (k) (1)k = f (k).
(1)k

zk
f (z) cos(z)
(1)k sen((z k))

Agora, tomamos N grande e consideramos como o quadrado definido por x = (N + 1/2) e

y = (N + 1/2). Vamos trabalhar na integral dividindo a regi
ao em partes.
z = N + 1/2 + yi, |y| 1/2:

 
 


 

1
 = cot + iy  = | tanh(y)| tanh .

| cot(z)| = cot N + + iy

2
2
2
7

 z = (N + 1/2) + yi, |y| 1/2: analogamente, | cot(z)| tanh(/2).

y > 1/2:
 iz

iz
iz
 e + eiz 
|
1 + e2y
1 + e
ey + ey

 |e | + |e
| cot(z)| =  iz
=

=
e eiz  ||eiz | |eiz ||
ey ey
1 e2y
1 e

y < 1/2: analogamente, | cot(z)|

1+e
1e .

Ent
ao | cot(z)| e limitado por uma constante C e temos
I



 f (z) cot(z) C (8N + 4) 1 0


N

quando N . Com isso, a integral tende a zero e temos

0=

f (k) + 2i

n
X

Res[f (z) cot(z), z = zj ],

kZ

e o resultado segue.
Note que a demonstracao acima pode ser adaptada para polos m
ultiplos e para quando alguns dos
polos s
ao inteiros.
Exemplo 8. Seja x real. Calcule
X

kZ

1
.
k 2 + x2

Soluca
o. Basta calcular os resduos em z = ix:
lim (z ix)

zix

cot(z)
cot(ix)
=
z 2 + x2
2ix

lim (z + ix)

zix

cot(z)
cot(ix)
=
.
z 2 + x2
2ix

Assim,
X

kZ

1
cot(ix) cot(ix)

= coth(x).
k 2 + x2
2ix
2ix
x

Note que podemos calcular tambem

X

k1

k2

1
1
=
coth(x)
.
2
+x
2x
2x

Fica a cargo do leitor provar:

Fato 3. Seja f (z) uma funca
o meromorfa com uma quantidade finita de p
olos n
ao inteiros simples
z1 , . . . , zn . Ent
ao, observando que os p
olos de cosec(z) s
ao os inteiros, e sendo |f (z)| M/|z| para
algum > 1,
n
X
X
k
Res[f (z) cosec(z), z = zj ].
(1) f (k) =
kZ

j=1

3.3

Sequ
encias an+1 = a2n 2

ao an = 2 + 2 para algum C. Para a0 real, se |a0 | > 2, R;

Fato 4. Se an+1 = a2n 2 ent
se |a0 | < 2,
/ R e podemos escrever an = 2 cos(2n ).
Demonstraca
o. Escolha tal que a0 = + 1/. Ent
ao a1 = a20 2 = 2 + 1/2 , e o resultado sai por
inducao.
Note que a0 = + 1/ 2 a0 + 1 = 0, cujo discriminante e = a20 4. Se |a0 | > 2, e
imediato que R. Se |a0 | < 2, a equacao admite duas razes conjugadas e cujo produto e 1, ou
n
seja, a0 = +1/ = + = 2() = 2 cos . Substituindo em an temos an = 2(2 ) = 2 cos(2n ).

Exemplo 9. (IMC 2010) Defina x1 = 5 e xn+1 = x2n 2. Calcule

lim

x1 x2 x3 xn
.
xn+1

Soluca
o. Seja tal que
1
=
x1 = +

5+1
= .
2

Ent
ao xn = 2 + 2 . O produto do numerador e
n

( +

)( +

) . . . (

2n

2n

( 1 )( + 1 )(2 + 2 ) . . . (2 + 2 )
)=
1
n
n
2
2
2
2
( )( + ) . . . (2 + 2 )
=
1
=

n+1

2
1

n+1

Mas 1 = 1 + 1 1 = 1, logo o limite e

n+1

n+1

2
2
= 1.
n+1
2
n
+ 2n+1
lim

Note que e possvel generalizar para x1 > 2: a resposta e

1
1
.
=p 2
1
x1 4

Problemas
1. Prove o fato 3 e calcule

X (1)k
.
x2 + k 2

k1

2. (Putnam 2014) Prove que todo coeficiente nao nulo da serie de Taylor de (1 x + x2 )ex em torno
de x = 0 e um racional cujo numerador (apos simplificado) e 1 ou primo.
3. (Putnam 2014) Seja a0 = 5/2 e ak = a2k1 2 para k 1. Calcule


Y
1
.
1
ak

k=0

4. (Putnam 2014) Seja Pn (x) = 1 + 2x + 3x2 + + nxn1 . Prove que os polin

omios Pj (x) e Pk (x)
s
ao primos entre si para todos j, k inteiros positivos com j 6= k.
5. (Putnam 2014) Suponha que f e uma funcao de domnio [1, 3] tal que 1 f (x) 1 para todo x
R3
R3
e 1 f (x) dx = 0. Qual e o maior valor possvel de 1 f (x)
x dx?
6. (Putnam 2014)2 Prove que, para cada inteiro positivo n, todas as razes do polin
omio
n
X

2k(nk) xk

k=0

s
ao reais.
7. (Putnam 2011) Encontre um real c e um real positivo L para os quais
R /2
rc 0 xr sen x dx
= L.
lim R /2
r
xr cos x dx
0

f
ao contnuas
8. (Putnam 2009) Seja f : [0, 1]2 R uma funcao contnua tal que f
x e y existem e s
R
R
R
R1
1
1
1
2
em (0, 1) . Sejam a = 0 f (0, y) dy, b = 0 f (1, y) dy, c = 0 f (x, 0) dx e d = 0 f (x, 1) dx.
Verdadeiro ou falso: existe necessariamente um ponto (x0 , y0 ) em (0, 1)2 tal que f
x (x0 , y0 ) = b a
e f
(x
,
y
)
=
d

c.
0 0
y
Rx
9. (Putnam 2008) Seja F0 (x) = ln x. Para n 0 e x > 0, defina Fn+1 (x) = 0 Fn (t) dt. Calcule

n! Fn (1)
.
n
ln n
lim

10. (Putnam 2008) Encontre todas as funcoes f : R R com derivada contnua tais que, para todo
racional q, f (q) e racional e tem o mesmo denominador que q.
R1
11. (Putnam 2007) Suponha que f : [0, 1] R tem derivada contnua e 0 f (x) dx = 0. Prove que,
para todo (0, 1),
Z


 1


max |f (x)|.
f
(x)
dx

 8 0x1
0
12. (Putnam 2006) Para cada funcao contnua f : [0, 1] R, seja I(f ) =
R1
x(f (x))2 dx. Calcule o maximo de I(f ) J(f ).
0

R1
0

x2 f (x) dx e J(f ) =

13. (Putnam 2005) Calcule

1
0

ln(x + 1)
dx.
x2 + 1

14. (Putnam 2005) Seja Sn o conjunto das permutacoes de 1, 2, . . . , n. Para Sn , seja () = 1

se e uma permutacao par e () = 1 se e uma permutacao mpar. Finalmente, seja () o
n
umero de pontos fixos de . Prove que
X

Sn
2 Parece

n
()
= (1)n+1
.
1 + ()
n+1

que a Putnam foi a olimpada norte-americana de C

alculo em 2014. . .

10

15. (OBM 2011) A funcao f : [0, +)?R e contnua em [0, +), deriv
avel em (0, +) e satisfaz
f (x + 1) = cos(f (x))
para todo x [0, +). Sabemos que f (0) = 0 e f (2) = 1. Mostre que existe um u
nico n
umero
real d tal que o limite abaixo exista e pertenca a (0, +):


 f (x) 
a = lim  d  .
x0+
x
Determine os valores de d e de a.

16. (OBM 2010) Calcule

Z

/4
0

x
dx.
sen x + cos x

17. (OBM 2009) Seja f : [0, 1] [0, 1] crescente, deriv

avel e inversvel.
R1
R 1 1
Se 0 f (x) dx = 0 f (x) dx, prove que existem dois reais diferentes a e b, 0 a < b 1, tais que
f (a) = f (b) = 1.
18. (OBM 2009) Considere a sequencia a0 , a1 , a2 , . . . definida por a0 = 0, a1 = /3 e, para n 1,
an+1 =
Calcule

(a0 an + a1 an1 + a2 an2 + an a0

.
3(n + 1)

X
ak

k=0

19. (OBM 2008) Seja Pn =

0kn

2k

senn

= a0 +
k
n

a1
a2
a3
+
+
+ .
2
4
8

. Calcule
lim

20. (OBM 2008) Prove que

Pn Pn+1
.
n

1X 1

<
,
( + n2 )2
2 n=1 + n2
n=1

0.

21. (OBM 2005) Sejam f e g funcoes contnuas distintas de [0, 1] em (0, +) tais que
R1
g(x) dx.
0
R 1 (x))n+1
Para n 0, seja yn = 0 (f(g(x))
dx.
n
Prove que (yn )n0 e uma sequencia crescente e divergente.

22. (OBM 2004) Calcule

k=0

1
.
(3k + 1)(3k + 2)(3k + 3)

23. (OBM 2003) Defina a1 = 3, an+1 = a2n 2.

ln ln an
n

= ln 2 e calcule limn (ln ln an n ln 2).

R
24. (OBM 2001) Para todo real u, seja I(u) = 0 ln(1 2u cos x + u2 ) dx.
Prove que limn

(a) Prove que I(u) = I(u) = 21 I(u2 ).

11

R1
0

f (x) dx =

(b) Calcule I(u) para todo u R.

25. (OBM 2001) O centro de massa de uma lata cilndrica de refrigerante tem a mesma posicao quando
a lata est
a vazia ou cheia. Se a massa da lata vazia e m e a massa do refrigerante dentro da lata
cheia e M , determine a fracao de refrigerante que deve ser deixado na lata para que seu centro de
massa fique o mais baixo possvel.
26. (IMC 2014) Seja f (x) = senx x , para x > 0, e n um inteiro positivo. Prove que |f (n) (x)| <
que f (n) denota a n-esima derivada de f .
27. (IMC 2005) Seja f : R [0, ) uma funcao continuamente deriv
avel. Prove que
Z




1
3

f (x) dx f (0)

28. (Ibero 2000) Seja a1 = 1, an = 1 +

1
a1


Z



f (x) dx max |f (x)|
0x1

f (x) dx

+ +

1
an1

lim (an

2

para n > 1. Encontrar

2n).

Refer
encias bibliogr
aficas
1. Keith Conrad, Differentiating under the integral sign, disponvel em
http://www.math.uconn.edu/~kconrad/blurbs/analysis/diffunderint.pdf
2. Noah A. Hughes, Infinite Series and the Residue Theorem, disponvel em
http://www.supermath.info/InfiniteSeriesandtheResidueTheorem.pdf
3. Martin Aigner, Gunter M. Ziegler, Proofs from the Book, segunda edicao.

12

1
n+1 ,

em