Problemas Selecionados

por Sandro Davison

Vamos propor algumas questes, de nveis variados, voltados para os vestibulandos do IME e
do ITA que querem aprofundar ferramentas de soluo de problemas, e para os que gostam de
olimpadas.
Problema 1. (2001 APICS Math Competition) Considere a sequncia {an } com a1 = 1, a2 = 1 e an =
an1 + an2, para todo n > 2. Prove que

n=1

an
1
=
4n+1 11

Problema 2. (2001 APICS Math Competition) Determine todas as funes reais diferenciveis e que satisfazem
x+ y
), x, y R, x y  1.
f (x) + f (y) = f (
1xy
Problema 3. (Berkeley Ph.D. Exam - Fall 90) Encontre todos os pares de inteiros a e b, 0 < a < b tais que
ab = ba.

Problema 4. (The Green Book of Mathematical Problems) Sejam a1, a2,

Determine o valor mnimo de

 .,

an reais, no todos nulos.

x21 + x22 +  + x2n

em que todos os xi satisfazem
a1 x1 + a2 x2 +  + an xn = 1.

Problema 5. (IMO 66) Resolva a equao

1
1
1
+
=
sen x cos x p

em que p um parmetro real.

Discuta para quais valores de p a equao tem no mnimo uma soluo real e determine o nmero de solues em [0, 2) para um dado p.

Dicas:
1) A seqncia em questo a conhecida seqncia de Fibonacci; pela tambm conhecida (?)
frmula de Binet, temos que:
!n
!n !
1+ 5
1
1 5
an =

2
2
5
em que an o n-simo termo da seqncia de Fibonacci.
Aplicando essa frmula na questo, basta fazer que:

X
i=0

f (i) = lim

n
X

f (i)

i=0

e recairemos na busca da soma da srie de uma P.G. infinita.

2) Como a funo f (x) diferencivel para todos os reais, derive a equao funcional dada
em relao a x e a y.
3) Como a < b, faa a transformao b = a(t + 1), t > 0, e lembre-se de que et > t + 1.
4) Aqui pode-se fazer de duas formas. A primeira utilizar a desigualdade de CauchySchwarz com os vetores (a1, a2,  , an) e (x1, x2,  , xn). O nico problema dessa abordagem
mostrar que a expresso pedida atinge de fato a cota encontrada por Cauchy-Schwarz.
A segunda forma ser mostrada aqui sem provas, apenas como uma ferramenta diferente e
muito til em problemas desse tipo. Ela usa conceitos avanados de Clculo Diferencial e Anlise Vetorial. So os chamados Multiplicadores de Lagrange.
Para comearmos, imagine uma funo f (x, y): R2 R que leva um vetor do plano a um
escalar real, isto , uma superfcie no espao, que chamamos de campo escalar. Definimos derivada parcial de f em relao a uma varivel xi, de forma intuitiva, como a derivada da funo
tomando-se todas as outras variveis diferentes de xi como constantes. Assim, por exemplo, se
f
f
f
f = x y z, ento
= y z,
=xz e
= x y.
x
y
z
Definimos agora um novo vetor, chamado gradiente da funo f (denotado por f - lse nabla f ):


f f
f =
,
x y
f
f
e
so as derivadas parciais de f em relao a x e a y. O vetor gradiente um
em que
y
x
vetor que sempre aponta para a direo de mximo crescimento da funo.
A tcnica dos Multiplicadores de Lagrange bem simples. Considere a funo f (x, y) a ser
maximizada (minimizada) e uma outra funo g(x, y) = 0 chamada de restrio. Visualize como
sendo f uma superfcie qualquer e g uma outra superfcie que intersecta f , definindo uma curva
no espao, da qual queremos extrair informaes sobre mximos e mnimos.
Pode-se demonstrar (tal prova no necessria aqui) que os mximos e/ou mnimos dessa
curva no espao acima definida satisfazem a equao vetorial:
ou o equivalente sistema:

f = g
f
g
=
x
x
f
g
=
y
y

A equao mostra que os gradientes de f e g devem ser paralelos para que encontremos
mximos e mnimos dessa curva no espao.

Isolando x e y em funo de e substituindo na funo de restrio g, encontraremos os

valores para os quais f mxima/mnima.
Como exemplo, consideremos o problema de minimizar a funo f = x1 + x2 + x3 +  + xn,
sabendo-se que o produto de todas as variveis xi constante igual a k (xi > 0, i).
Seja, ento, f (x1,  , xn) = x1 + x2 + x3 +  + xn e g(x1,  , xn) k = x1 x2  xn k = 0 a
funo de restrio. Logo, pela tcnica:
f = g
(nesse caso de exemplo, o gradiente de ambas as funes ser um vetor de n coordenadas, pois
Y
f
g
=1 e
=
xk , i, temos que o valor mnimo de f
as variveis so x1,  , xn). Como
s n
xi
xi
k

i
Y
dado por n n
xi , que a to conhecida desigualdade das mdias aritmtica e geomtrica
i=1

(MA > MG).

5) Nessa questo, escreva p2 como produto de dois fatores dependentes de p e x.