Soluc oes da Lista de Exerccios

Unidade 22
1. Se os n umeros tem soma constante, sua media aritmetica A e tambem
constante. Pela desigualdade das medias, o maior valor possvel para
a media geometrica G e igual a A, o que ocorre quando os n umeros
s ao iguais. Logo, o produto dos n umeros (que e o quadrado de G) e
m aximo quando os n umeros s ao iguais.
2. Se os n umeros tem produto constante, sua media geometrica Ge tambem
constante. Pela desigualdade das medias, o menor valor possvel para
a media aritmetica A e igual a G, o que ocorre quando os n umeros s ao
iguais. Logo, a soma dos n umeros (que e dobro de A) e mnima quando
os n umeros s ao iguais.
3. Temos
n

k=1
(x
k
A)
2
=
n

k=1
(x
k
)
2
2A
n

k=1
x
k
+ nA
2
= nQ
2
2A nA + nA
2
= n(Q
2
A
2
)
Como uma soma de quadrados e necessariamente nao negativa, resulta
Q
2
A
2
ou, equivalentemente, Q A. Alem disso, so se tem igualdade
quando cada termo da soma inicial e nulo, ou seja, quando x
k
= A, para
todo k, o que signica que todos os n umeros x
k
s ao iguais.
4. A media geometrica de
b
1
a
2
,
b
2
a
2
, . . . ,
b
n
a
n
e
n

b
1
b
2
b
n
a
1
a
2
a
n
= 1 (note que os
produtos no numerador e denominador sao iguais, ja que b
1
, b
2
, . . . , b
n
s ao uma reordenac ao de a
1
, a
2
, . . . , a
n
). Logo, sua media aritmetica e
maior que ou igual a 1. Assim
b
1
a
1
+
b
2
a
2
++
b
n
a
n
n
1 ou, equivalentemente,
b
1
a
1
+
b
2
a
2
+ +
b
n
a
n
n.
5. Aplicando a desigualdade entre as medias aritmetica e geometrica aos
1
pares (x
2
, y
2
), (y
2
, z
2
) e (z
2
.y
2
), vem
x
2
+ y
2
2
xy
y
2
+ z
2
2
yz
z
2
+ x
2
2
zx
Somando membro a membro vem a desigualdade pedida.
6. Aplicando a desigualdade das medias a a
1
a
2
, a
2
a
3
e a
3
a
1
, resulta
a
1
a
2
+a
2
a
3
+a
3
a
1
3

3

a
2
1
a
2
2
a
2
3
, que equivale a

a
1
a
2
+a
2
a
3
+a
3
a
1
3

3

a
1
a
2
a
3
.
A outra desigualdade e equivalente a

a
1
+a
2
+a
3
3

a
1
a
2
+a
2
a
3
+a
3
a
1
3
, que,
por sua vez, e equivalente a a
2
1
+ a
2
2
+ a
2
3
a
1
a
2
+ a
2
a
3
+ a
3
a
1
, que e
verdadeira, pelo exerccio anterior.
7. Se x 0, ent ao x
3
ax
2
+bxc e uma soma de n umeros nao positivos na
qual pelo menos c e negativo. Logo, se a equac ao x
3
ax
2
+bxc = 0
possui tres razes reais x
1
, x
2
, x
3
, elas sao necessariamente positivas.
Usando as relacoes entre coecientes e razes, temos a = x
1
+ x
2
+ x
3
,
b = x
1
x
2
+ x
2
x
3
+ x
3
x
1
e c = x
1
x
2
x
3
. Pelo exerccio anterior, temos
a
3

b
3

3

c. Elevando ` a sexta potencia e multiplicando por 729,

vem a
6
27b
3
729c
2
.
8. Com x palet os e y calcas, podem ser formadas xy roupas diferentes. O
valor mnimo da soma de dois n umeros com produto constante ocorre
quando os n umeros sao iguais. Se x pudesse assumir valores nao in-
teiros, o mnimo ocorreria para x =

500 = 22, 36. Claramente, 44

roupas nao bastam, porque o produto m aximo de dois n umeros com
soma 44 e igual a 2222 < 500. Mas 45 bastam, j a que 2223 = 506.
Ou seja, o m agico pode usar trajes diferentes em todas as apresentacoes
com 23 (ou 22) calcas e 22 (ou 23) palet os.
9. Pela f ormula de Heron, a area de um triangulo de lados a, b e c e S =
1
2

p(p a)(p b)(p c). Para triangulos de permetro constante, a

area m axima quando o produto (p a)(p b)(p c) e m aximo. Mas a
soma (p a) + (p b) + (p c) e igual a p, portanto constante. Logo,
2
para que (pa)(pb)(pc) seja maximo deve-se pa = pb = pc,
ou seja, a = b = c. Logo, dentre os triangulos de permetro constante,
o equilatero e o de maior area.
10. (a) A media geometrica de x e
1
x
e constante e igual a 1. Logo, sua
media aritmetica e sempre maior que ou igual a 1, isto e, x+
1
x
2,
com igualdade quando os n umeros sao iguais (ou seja, quando
x = 1).
(b) A media geometrica de x e 4/x e constante e igual a

x
4
x
= 2.
Em conseq uencia, o valor mnimo da media aritmetica e 2 e o valor
mnimo de x +
4
x
e 4, que ocorre quando x =
4
x
, ou seja, quando
x = 2.
11. A media aritmetica dos n umeros x
1
= x
2
= = x
n
= 1+
1
n
, x
n+1
= 1 e
A =
n+2
n+1
= 1+
1
n+1
, enquanto a sua media geometrica e G =

1 +
1
n
n
n+1
.
A desigualdade das medias fornece, portanto, 1 +
1
n+1
<

1 +
1
n
n
n+1
,
que e equivalente a

1 +
1
n+1

n+1
<

1 +
1
n

n
(note que a desigualdade
e estrita, ja que os n umeros x
1
, . . . , x
n
n ao s ao todos iguais).
12. Aplicando a desigualdade entre a media aritmetica e a media harm onica
aos n umeros
1
x
,
1
y
e
1
z
obtemos
1
x
+
1
y
+
1
z
3

3
x+y+z
ou, equivalentemente,
1
x
+
1
y
+
1
z

9
x+y+z
.
13. Aplicando a desigualdade das medias aos n umeros

x,

y e

z, vem

x+

y+

z
3

3

z =

xyz. Da,
(

x +

y +

z)
2
9
3

xyz.
14. Aplicando a desigualdade das medias aos n umeros xy, yz e xz, re-
sulta
xy+yz+zx
3

3

(xyz)
2
. Como xy + yz + zx 3, temos xyz

xy+yz+zx
3

3
1, com igualdade no caso x = y = z = 1. Por outro
lado, com x = y =
1
n
e z = n, temos xy + yz + zx = 2 +
1
n
2
(portanto,
1 xy + yz + zx 3) e xyz = 1/n, o que mostra que xyz pode car
arbitrariamente pr oximo a zero, bastando para isso tomar n sucien-
temente grande. Portanto, o conjunto de valores de xyz e o intervalo
(0, 1].
3
Pelo problema 7, x + y + z 3

xy+yz+zx
3

3, com igualdade no
caso x = y = z =

3
3
(a ultima desigualdade decorre de xy +yz +zx
1). Por outro lado, novamente tomando x = y =
1
n
e z = n, temos
xy + yz + zx = 2 +
1
n
2
(portanto, de novo, 1 xy + yz + zx 3) e
x + y + z = n +
2
n
, o que mostra que x + y + z pode assumir valores
arbitrariamente grandes. Logo, o conjunto de valores de x + y + z e o
intervalo [

3, +).
15. Como visto no problema 15, temos
xy+yz+zx
3

3

(xyz)
2
. Portanto, de
xyz 1 decorre xy+yz+zx 3, com igualdade quando x = y = z = 1.
Por outro lado, tomando-se x = y =
1
n
e z = n
2
, tem-se xyz = 1 e
xy + yz + zx = 2n +
1
n
2
, que assume valores arbitrariamente grandes
para n natural. Logo, o conjunto de valores de xy+yz+zx e o intervalo
[3, +).
Pela desigualdade das medias,
x+y+z
3

3

xyz. Logo, de xyz 1,

resulta x + y + z 3
3

xyz 3, com igualdade quando x = y = z = 1.

Por outro lado, tomando-se x = y =
1
n
e z = n
2
, tem-se xyz = 1 e
x +y +z = n
2
+
2
n
, que assume valores arbitrariamente grandes para n
natural. Logo, o conjunto de valores de x+y +z e o intervalo [3, +).
16. Como visto no problema 15,
xy+yz+zx
3

3

(xyz)
2
. Portanto, de xyz =
8 decorre xy + yz + zx 12, com igualdade quando x = y = z = 2.
Por outro lado, tomando x = y =
2
n
e z = 2n
2
, vem xyz = 8 e
xy + yz + zx = 8n + 4n
2
, que pode assumir valores arbitrariamente
grandes para n natural. Logo, o conjunto de valores de xy +yz +zx e
o intervalo [12, +).
Pela desigualdade das medias,
x+y+z
3

3

xyz. Logo, de xyz = 8,

resulta x + y + z 3
3

8 = 6, com igualdade quando x = y = z = 2.

Por outro lado, tomando-se x = y =
2
n
e z = 2n
2
, tem-se xyz = 8 e
xy + yz + zx = 2n
2
+
4
n
, que assume valores arbitrariamente grandes
para n natural. Logo, o conjunto de valores de x + y + z e o intervalo
[6, +).
4