UNIVERSIDADE FEDERAL DO AMAZONAS

INSTITUTO DE CINCIAS EXATAS

PROGRAMA DE PS-GRADUAO EM MATEMTICA
MESTRADO PROFISSIONALIZANTE EM MATEMTICA

O Uso de Desigualdades na Resoluo de Problemas

Alessandro Monteiro de Menezes

MANAUS
2014

UNIVERSIDADE FEDERAL DO AMAZONAS

INSTITUTO DE CINCIAS EXATAS
PROGRAMA DE PS-GRADUAO EM MATEMTICA
PROGRAMA DE MESTRADO PROFISSIONALIZANTE EM MATEMTICA

Alessandro Monteiro de Menezes

O Uso de Desigualdades na Resoluo de Problemas

Trabalho de Concluso de Curso apresentado ao

Programa de Mestrado Profissional em Matemtica da Universidade Federal do Amazonas, como
requisito parcial para obteno do ttulo de Mestre
em Matemtica.

Orientador: Prof. Dr. Nilomar Vieira de Oliveira

MANAUS
2014

ALESSANDRO MONTEIRO DE MENEZES

O USO DE DESIGUALDADES NA RESOLUO DE PROBLEMAS

Trabalho de Concluso de Curso apresentado ao

Programa de Mestrado Profissional em Matemtica da Universidade Federal do Amazonas, como
requisito parcial para obteno do ttulo de Mestre
em Matemtica.

Aprovado em 15 de Setembro de 2014.

BANCA EXAMINADORA

Prof. Dr. Nilomar Vieira de Oliveira

Presidente
Prof. Dr. Raul Rabello Mesquita
Membro
Prof. Dr. Marcus Antnio Mendona Marrocos
Membro

AGRADECIMENTOS

A Deus, por me incluir em Seus sonhos e planos, por permitir que eu o conhecesse verdadeiramente e por me conceder mais essa vitria.
A minha me, Maria do Rosrio da Silva Monteiro, que, pela busca excessiva do bem de seus
filhos lutou e sofreu para criar-nos e educar-nos, tornando-se crucial para que eu percebesse a
necessidade de estudar de verdade e, com isso, poder retribuir uma pequena frao de tudo que
ela j fez por mim.
A minha av (in memoriam), Marcelina da Silva Monteiro, por tudo que me ensinou, pela
experincia de vida que me passou e por ter me ajudado em muitos momentos difceis da vida
enquanto Deus a permitiu estar aqui.
Ao meu tio, Joaquim Monteiro Filho, por ter pago a taxa da minha inscrio no vestibular
em 2005, valor que no tnhamos, e me possibilitou a chance de ingressar na universidade.
A minha esposa, Ivete Arruda Monteiro, por ter aparecido na minha vida em um momento
em que eu estava ficando sem foras para sonhar, por ter investido espiritualmente em mim
com seus notveis conhecimentos cristos e experincia de vida e me fazer escrever uma lista
de sonhos em 2008, ajudando-me a dar os primeiros passos, depois de priorizar uma vida com
Cristo, para conquistar cada um deles.
Ao meu orientador Prof. Dr. Nilomar Vieira de Oliveira, por sempre acreditar em meu potencial, pela pacincia em me conduzir ao longo de cada dvida que surgiu neste trabalho, pela
liberdade e ajuda que me deu na escolha do tema e por seus comentrios e sugestes que foram
inestimveis.
Ao Prof. Dr. Renato de Azevedo Tribuzy, por ter sido meu orientador e formador na graduao durante trs anos do programa PIBIC; programa que me deu uma slida formao e
amadurecimento em Matemtica nas reas de Anlise Real e Aplicaes, lgebra Linear e
Aplicaes, lgebra Pura e Geometria Euclidiana Plana, agregando conhecimentos que favoreceram imensamente para que eu pudesse passar sem dificuldades nas nove disciplinas cursadas
no PROFMAT.

Ao Professor Dr. Raul Rabello Mesquita, pela forma como conduziu, na graduao, as disciplinas: Estruturas Algbricas, Geometria I e Geometria II, pois isso foi um dos "clicks" para
adquirir o amadurecimento necessrio a fim de ingressar no mestrado acadmico ainda durante
a graduao.
Ao CNPQ e CAPES por um somatrio de cinco anos de bolsas de estudos.
Por ltimo, mas no menos importante, a todos os meus professores de graduao nos anos
de 2008 a 2009, pois foram quatro perodos espetaculares. Ao meu amigo Fbio Costa, e a
todas as pessoas que, de forma direta ou indireta, contriburam para o desenvolvimento deste
trabalho.

Somente Deus a soluo

Nossas vidas poderiam ser comparadas a uma grande equao na qual todos os dias
tentamos encontrar pequenas e grandes razes. O fato que a equao que se compara
nossa vida hoje, pode ter um grau a mais ou a menos amanh, e somos pequenos demais para
sempre sabermos extrair as razes corretas. Poderamos passar a vida inteira encontrando
solues que s favorecem a ns mesmos, pois achamos que a equao nossa e podemos
solucion-la sempre do nosso prprio jeito. No entanto, no fomos ns quem a criamos. Quem
criou, j criou sabendo todas as razes e implicaes. Quem criou j sabia que por causa das
nossas decises, o grau ou a quantidade de razes, falsas ou verdadeiras, poderia aumentar ou
diminuir a cada dia. Quem criou sabe de forma perfeita a melhor soluo para cada implicao
de sua equao. No sei qual a sua situao hoje, talvez voc esteja a dias tentando encontrar
razes de onde impossvel extrair. Talvez voc esteja encontrando as razes de um outro
conjunto universo, muito longe do universo de Deus. Talvez voc esteja to vazio que a sua
equao no momento de grau zero. No importa em que incgnita, grau ou coeficientes voc
esteja, no importa a sua situao, Deus tem uma soluo perfeita de hoje em diante para a
sua equao. Entregue sua vida de uma vez por todas a Deus, pois Ele o nico que pode
preencher o que est faltando em voc. A soluo da sua, da minha e de todas equaes do
mundo todo do tamanho de Deus. S Ele capaz de resolver. Ele tem as verdadeiras respostas
para cada um de ns, mas precisamos pertencer totalmente a Ele. Entregue-se a Deus e tudo
estar resolvido pois Ele j lhe criou com as respostas.(Alessandro Monteiro - 12/01/2013).

RESUMO

As Desigualdades Matemticas, que quase no so abordadas no Ensino Fundamental e Mdio mas que podem ser muitas vezes at mais importantes que as igualdades, so de extrema
importncia para vrios ramos da Matemtica, tais como lgebra, Trigonometria, Geometria e
Anlise, e constituem-se tambm ferramentas muito poderosas para a resoluo de problemas
de olimpadas, demonstrao de desigualdades geomtricas, clculo de mximos e mnimos e
clculo de limites. Neste trabalho so apresentadas de forma clara e concisa algumas desigualdades matemticas que no precisam de estudos avanados na rea para serem compreendidas.
Uma mente com algum treinamento para o raciocnio lgico-matemtico, um breve conhecimento da matemtica formal, de lgebra e geometria plana so totalmente suficientes. So
apresentadas e demonstradas: A Desigualdade Triangular, Desigualdade das Mdias, Desigualdade de Bernoulli, Desigualdade Cauchy - Schwarz, Desigualdade do Rearranjo, Desigualdade
de Tchebishev, Desigualdade de Jensen, Desigualdade de Young, Desigualdade de Hlder, Desigualdade de Minkowski e a Desigualdade de Schr. Ao final do trabalho, aproveitamos algumas destas desigualdades para definir o nmero de Euler e mostrar a divergncia da srie
harmnica. Selecionamos, tambm, alguns problemas que estudantes do ensino bsico ficam
inibidos de solucion-los por no conhecer tais desigualdades e que s aprendem a resolver
com o conhecimento de Derivadas quando chegam no ensino superior. Entre eles, encontramse questes de olimpadas internacionais, problemas de otimizao e como encontrar a equao
da reta tangente a uma elipse atravs da Desigualdade das Mdias e de Cauchy.
Palavras-chave: Desigualdades Matemticas, Mximos e Mnimos, Problemas de Olimpadas,
Clculo de Limites.

ABSTRACT

The mathematical inequalities, which are almost not discussed in elementary and high school,
but that can be even more important than the equalities, are extremely important to several parts
of Mathematics, such as algebra, trigonometry, geometry and analysis, and also constitute very
powerful tools to the resolution of Olympiad problems, demonstration of geometrical inequalities, maximum and minimum calculation and limit calculation. This paper presents, in a clear
and concise way, some of the mathematical inequalities that do not require advanced studies in
the area to be understood. A mind with some training in math logical thinking, a superficial
knowledge of formal mathematics, algebra and plane geometry are enough. The paper presents
and demonstrates: the Triangle Inequality, Inequality of Arithmetic and Geometric Means, Bernoullis Inequality, Cauchy-Schwarz Inequality, Rearrangement Inequality, Chebyshevs Inequality, Jensens Inequality, Youngs Inequality, Hlders Inequality, Minkowski Inequality and
Schrs inequality. At the end of this paper, we take some of these inequalities to define the
Eulers constant and to show the harmonic series divergence. We also selected some problems
that primary education students are inhibited to solve for not knowing such inequalities and
who only learn how to solve them with the learning of Derivative in higher level education.
There can be found, among them, international Olympiad questions, optimization problems
and how to find the equation of tangent line to an ellipse through the Inequality of Arithmetic
and Geometric Means and the Cauchy-Schwarz Inequality.
Keywords: Mathematical

Inequalities,

Limits Calculation.

Maxima and

Minima,

Olympiad Problems,

LISTA DE SMBOLOS

N
Q
I
R
P
|x|
=
6
=
>
<

MQ
MA
MG
MH
n
X

Conjunto dos nmeros naturais.

Conjunto dos nmeros racionais.
Conjunto dos nmeros irracionais.
Conjunto dos nmeros reais.
Conjunto dos nmeros reais positivos.
Valor absoluto de x.
Igual.
Diferente.
Maior.
Menor.
Maior ou igual.
Menor ou igual.
Mdia Quadrtica.
Mdia Aritmtica.
Mdia Geomtrica.
Mdia Harmnica.
Somatrio variando de 1 a n.

i=1

AB
AB
b
ABC
sen
cos
S
2p
ln x
lim xn
max {a1 , a2 , a3 , ..., an }
min {a1 , a2 , a3 , ..., an }


Segmento AB.
Medida do segmento AB.
Medida do ngulo ABC.
Seno do ngulo .
Cosseno do ngulo .
rea de um Tringulo.
Permetro.
Logartmo natural de x.
Limite de xn com n tendendo ao infinito.
Maior elemento de {a1 , a2 , a3 , ..., an }.
Menor elemento de {a1 , a2 , a3 , ..., an }.
Indica o fim de uma demonstrao.

Sumrio
Introduo

.
.
.
.
.

2
2
5
5
8
9

.
.
.
.
.
.
.
.
.
.
.
.

11
11
11
16
18
22
26
28
32
33
34
35
36

.
.
.
.
.

38
38
44
49
57
57

Desigualdades Bsicas
1.1 Relaes de Ordem nos Nmeros Reais
1.2 Valor Absoluto . . . . . . . . . . . . .
1.3 Desigualdade Triangular . . . . . . . .
1.4 A Funo Quadrtica . . . . . . . . . .
1.5 Uma Desigualdade Fundamental . . . .
Desigualdades Numricas
2.1 Desigualdade das Mdias . . . . .
2.1.1 Com duas e trs variveis .
2.1.2 Generalizao . . . . . . .
2.2 Desigualdade de Bernoulli . . . .
2.3 Desigualdade de Cauchy-Schwarz
2.4 Desigualdade do Rearranjo . . . .
2.5 Desigualdade de Tchebishev . . .
2.6 Desigualdade de Jensen . . . . . .
2.7 Desigualdade de Young . . . . . .
2.8 Desigualdade de Hlder . . . . . .
2.9 Desigualdade de Minkowski . . .
2.10 Desigualdade de Schr . . . . . .
Algumas Aplicaes de Desigualdades
3.1 Clculo de Mximos e Mnimos .
3.2 Problemas de Olimpadas . . . . .
3.3 Desigualdades Geomtricas . . . .
3.4 Clculo de Limites . . . . . . . .
3.4.1 O Nmero e . . . . . . . .

Consideraes Finais

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

69

Referncias Bibliogrficas

70

A Enunciados e demonstraes de teoremas auxiliares

A.1 Densidade do Conjunto I em R . . . . . . . . . . . . . . . . . . . . . . . . . .
A.2 Teorema de Bolzano - Weirstrass . . . . . . . . . . . . . . . . . . . . . . . . .
A.3 Teorema do Confronto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

72
72
73
73

Introduo
Neste trabalho apresentamos algumas desigualdades matemticas e suas aplicaes, tema
que muito amplo e tambm muito importante para vrios ramos da Matemtica e reas afins.
A escolha do tema teve como principal objetivo contribuir com alunos e professores do ensino fundamental e mdio devido existncia de pouco material disponvel sobre o assunto,
principalmente em lngua portuguesa.
Ele foi dividido em trs captulos. No primeiro, falamos sobre algumas desigualdades
bsicas, comeando pela Relao de Ordem nos Nmeros Reais e terminando com uma apresentao geomtrica da Desigualdade das Mdias. No segundo, apresentada de uma maneira
mais formal e algbrica a Desigualdade das Mdias e sua generalizao, seguida de outras Desigualdades muito importantes, a Desigualdade de Bernoulli, Desigualdade Cauchy - Schwarz,
Desigualdade do Rearranjo, Desigualdade de Tchebishev, Desigualdade de Jensen, Desigualdade de Young, Desigualdade de Hlder, Desigualdade de Minkowski e a Desigualdade de
Schr. E finalmente, no ltimo captulo, apresentamos algumas aplicaes destas desigualdades como poderosas ferramentas no clculo de mximos e mnimos, problemas de olimpadas,
desigualdades geomtricas e clculo de limites, incluindo, neste ltimo tpico, a definio do
nmero e, mais conhecido como Nmero de Euler e uma demonstrao da divergncia da Srie
Harmnica.

Captulo 1
Desigualdades Bsicas
1.1

Relaes de Ordem nos Nmeros Reais

Uma importante propriedade dos nmeros reais que ele tem uma ordem que nos permite
comparar dois nmeros reais e decidir qual deles maior, ou se so iguais. Isso porque R um
corpo ordenado. Assim, sendo R+ o conjunto dos elementos positivos de R, trs propriedades
devem ser satisfeitas:
Axioma 1.1. Dado x R, existe um subconjunto P R, e ocorre exatamente uma das trs
alternativas:
i) x = 0,
ii) x P (x > 0),
iii) x P (x > 0).
Esse conjunto P chamado conjunto dos nmeros reais positivos e denotado por R+ . E
valem as seguintes propriedades:
1) A soma de dois elementos positivos sempre positiva, ou seja,
x, y R+

(Isto : x > 0, y > 0

x + y R+
=

x + y > 0)

2) O produto de dois elementos positivos sempre positivo, isto ,

x, y R+ x y R+
(Em smbolos : x > 0, y > 0 x y > 0)

Indicando-se com R o conjunto dos nmeros negativos de R, ou seja, os elementos x,

onde x R+ , temos que
R = R+ R {0} .
Agora, dados x, y R, podemos definir a relao x maior que y (simbolicamente:
x > y), da seguinte maneira:
x>y

(x y) R+ .

Analogamente, a relao x menor que y (simbolicamente: x < y) definida assim

x<y

(y x) R+ .

Propriedade 1.1. Sejam w, x, y, z R, as seguintes desigualdades so sempre verdadeiras:

i) Ocorre exatamente uma das seguintes possibilidades: x = y, ou x < y ou x > y
ii) x < y, y < z x < z
iii) x < y x + z < y + z
iv) x < y, z > 0 xz < yz e x < y, z < 0 xz > yz
v) x < 0, y < 0 xy > 0
vi) x < 0, y > 0 xy < 0
vii) x < y, w < z x + w < y + z
viii) x < y y < x
1
>0
x
1
x) x < 0 < 0
x

ix) x > 0

xi) x > 0, y > 0

x
>0
y

xii) 0 < x < y, 0 < w < z xw < yz

xiii) x > 1 x2 > x
xiv) 0 < x < 1 x2 < x
xv) x > 0, y > 0 e x2 < y 2 x < y

Demonstrao das quatro primeiras e da ltima propriedade:

Demonstrao. i) (Tricotomia)
Sejam x, y R. Ou y x = 0, ou y x P , ou y x P (isto , x y P ). Logo,
temos as seguintes possibilidades:
x = y, ou x < y ou x > y
que se excluem mutualmente pela proposio 2.1.
ii) (Transitividade)
Se x < y e y < z ento podemos afirmar que y x P e z y P . Pela proposio
2.2, temos que (y x) + (z y) P , isto , z x P . Logo, x < z.
iii) (Monotonicidade da Adio)
Se x < y ento y x P . Mas,
(y + z) (x + z) = y x P
O que significa que x + z < y + z.
iv) (Monotonicidade da Multiplicao)
Se x < y e z > 0 ento y x P e z P . Assim, temos, pela proposio 2.3, que
(y x) z P , ou seja, (y z x z) P , o que implica em x z < y z. Caso
contrrio, se x < y e z < 0, ento y x P e z P . Desta forma, novamente pela
proposio 2.3, temos que (y x) (z) P , isto (x z y z) P , o que implica
em x z > y z.
xv) Se x > 0, y > 0 e x2 < y 2 ento x+y P e y 2 x2 P . Como y 2 x2 = (y+x)(yx),
ento y x P . Logo, x < y.

1.2

Valor Absoluto

Definio 1.1. O valor absoluto de um nmero real x denotado por |x|, e definido por
(
|x| =

x se x 0,
x se x < 0.

Geometricamente |x| distncia do nmero x at a origem. E |x y| a distncia entre os

nmeros x e y.

Propriedade 1.2. Sejam x, a e b nmeros reais, sempre verdade que:

i) |x| 0, com igualdade quando x = 0.
ii) | x| = |x|.
iii) x |x|.
iii) |x| b b x b.
iv) |x|2 = x2 .
v) |ab| = |a||b|.
 
 a  |a|
vi)   =
, b 6= 0.
b
|b|

1.3

Desigualdade Triangular

A desigualdade triangular afirma que para qualquer par de nmeros a e b,

|a + b| |a| + |b|.
Alm disso, a igualdade ocorre se, e somente se ab 0.
Demonstrao. (1)
Como ambos os lados da desigualdade so positivos, ento pelo item (xv) da propriedade 2.1
basta mostrarmos que |a + b|2 (|a| + |b|)2 .

Vejamos:
|a + b|2 = (a + b)2
= a2 + 2ab + b2
= |a|2 + 2ab + |b|2
|a|2 + 2|ab| + |b|2 , pois ab |ab|
= |a|2 + 2|a||b| + |b|2
= (|a| + |b|)2 .

Ou seja, |a + b|2 (|a| + |b|)2 . No caso de ser ab 0 teremos ab = |ab| = |a||b|. Logo,
ocorrer igualdade.
(2) Temos que
(

|a| a
|b| b

(
e

|a| a
|b| b

Assim, por adio obtemos que

(

|a| + |b| a + b,
|a| + |b| (a + b) .

Mas isso implica, pelo item (iii) da propriedade 2.2, que |a| + |b| |a + b|. E se for ab 0,
ento podemos ter a 0 e b 0 ou a 0 e b 0. No primeiro caso teremos consequentemente
que |a| = a, |b| = b e |a + b| = a + b, ou seja, ocorrer a igualdade. O segundo caso implicar
que |a| = a, |b| = b e |a + b| = (a + b), ou seja, tambm teremos igualdade. Portanto,
|a + b| |a| + |b|, com igualdade se, e somente se, ab 0.

A forma geral da Desigualdade Triangular para n nmeros reais a1 , a2 , ..., an ,

|a1 + a2 + ... + an | |a1 | + |a2 | + ... + |an |
e sua demonstrao pode ser feita usando induo sobre n.
Teorema 1.1. Sejam x,y e z nmeros reais arbitrrios, sempre vlido que:
i) |x| |y| ||x| |y|| |x y|;
ii) |x z| |x y| + |y z|;
iii) |x + y + z| + |x| + |y| + |z| |x + y| + |x + z| + |y + z|.
6

Demonstrao. (i). Se |x| |y| ento ||x| |y|| = |x| |y|. Caso contrrio, se |x| < |y| ento
||x| |y|| > |x| |y|. Logo, sempre vlido que |x| |y| ||x| |y||. Pela Desigualdade
Triangular, temos |x| = |(x y) + y| |(x y)| + |y|, ou seja |x| |y| |x y|. Temos
tambm |y| = |(y x) + x| |(y x)| + |x|, o que resulta em |y| |x| |y x|. Como
|x y| = |y x| ento |y| |x| |x y|, isto , |x| |y| (|x y|). Assim temos
(|x y|) |x| |y| |x y|. Logo, pelo item (iii) da propriedade 2.5, podemos concluir
que ||x| |y|| |x y|. Portanto, para quaisquer nmeros reais x, y e z, sempre verdade
que |x| |y| ||x| |y|| |x y|.
(ii). Como x z = (x y) + (y z), ento pela Desigualdade Triangular temos que
|x z| = |(x y) + (y z)| |(x y)| + |(y z)|.
(iii). Se x, y ou z for igual a zero, a desigualdade segue. Vamos ento assumir que |x|
|y| |z| > 0. Temos, pelo item (vi) da proposio 2.5, que
|x + y + z| + |x| + |y| + |z| |x + y| |x + z| |y + z|
|x|

y z  
y z 
y   y z  

    
= 1 + +  + 1 +   +   1 +   +  1 +
x x
x
x
x
x x
z 


y
y 
y
z 
z
 


 
e 1 +  = 1 + .
Como   1 e   1, ento 1 +  = 1 +
x
x
x
x
x
x

z 

x

Assim, temos

y z  
y z 
y   y z  

    
1 + +  + 1 +   +   1 +   +  1 +
x x 
x
x
x
x x

y z   y   z   y z 
y z

+ +  + 
= 1 + +  1 + +
x x
x x
x
x
x x








y z 
y z

y z  y z 
Mas, 1 + +  1 + +
e   +    + . Logo,
x x
x x
x
x
x x

y z  
y z   y   z   y z 

+   +    +  0.
1 + +  1 + +
x x
x x
x
x
x x

z 

x

E disso segue que |x + y + z| + |x| + |y| + |z| |x + y| |x + z| |y + z| 0.

Ou seja,
|x + y + z| + |x| + |y| + |z| |x + y| + |x + z| + |y + z|.

1.4

A Funo Quadrtica

A Funo Quadrtica cuja lei de formao

f (x) = ax2 + bx + c, onde a 6= 0, b, c R,
pode apresentar-se tambm sob a forma


b
f (x) = a x +
2a

2

, onde = b2 4ac
4a

Pois,
2

ax + bx + c =
=
=
=
=



c
b
2
a x + x+
a
a


b
b2
b2
c
2
a x + x+ 2 2 +
a
4a
4a
a


 2

2
b
b
c
b
2
a x + x+ 2 a

a
4a
4a2 a

2  2

b
b 4ac
a x+

2a
4a

2
b

a x+
.
2a
4a

E com essa forma fica mais acessvel falar sobre mximos e mnimos desta funo. O valor
mnimo ou mximo, da funo quadrtica o menor ou maior, respectivamente, valor possvel
que f pode assumir quando fazemos x percorrer o conjunto dos nmeros reais.

2
b
Sendo a > 0, podemos notar que quanto menor for o valor de x +
, menor tambm
2a
2

b
0, ento seu valor mnimo zero e isso ocorre quando
ser o valor de f . Como x +
2a
b
b
x = . Similarmente, quando a < 0 o valor mximo de f obtido para x = .
2a
2a
Exemplo 1.1. Se x, y so nmeros positivos com x + y = 2a, ento o produto xy mximo
quando x = y = a.
Se x + y = 2a, ento y = 2a x. Assim, xy = x (2a x) = x2 + 2ax = (x a)2 + a2
e tem valor mximo quando x = a, ou seja, x = y = a.

Exemplo 1.2. Na figura abaixo ABCD um retngulo inscrito dentro do crculo de raio r.
Encontre as dimenses que nos do a maior rea possvel do retngulo ABCD.

Figura 1.1: Retngulo inscrito no crculo

Como a rea do retngulo A = 2x 2y = 4xy e y =

r2 x2 , ento temos tambm que

A = 4x r2 x2 .
Podemos, sem muita dificuldade, nos convencermos de que as dimenses, que nos do o
valor mximo de A, so as mesmas que nos do o valor mximo de A2 . Assim, temos
2
r2
+ 4r4 .
f (x) = A = 16r x 16x = 16 x
2

r 2
E disso temos tambm que A2 mximo quando x =
. Como y = r2 x2 =
2
r

r 2
r
=
, logo as dimenses pedidas so de um quadrado de lado r 2.
r2
2
2
2

1.5

2 2

Uma Desigualdade Fundamental

A primeira desigualdade que consideraremos, fundamental para a resoluo de problemas,

a desigualdade entre a Mdia Aritmtica (M A) e a Mdia Geomtrica (M G) de dois nmeros
no negativos a e b que dada por
a+b
ab,
2
com igualdade se, e somente se, a = b.
a+b
Os nmeros
e ab so chamados de Mdia Aritmtica e Mdia Geomtrica de a e b,
2
respectivamente. E para demonstrarmos esta desigualdade basta notarmos que


2

b
a+b
a + b 2 ab
ab =
=
0
2
2
2

com igualdade quando a = b, ou seja, a = b.

Observao 1.1. A demonstrao desta desigualdade tambm pode ser feita usando propriedades geomtricas. Vejamos:
Considere o semicrculo construdo abaixo com a = BD, b = DC e dimetro BC = a + b.

Figura 1.2: Tringulo inscrito

Seja A o ponto onde a perpendicular a BC em D intercepta este semicrculo, com AD = h.
Seja tambm E o ponto de encontro da projeo perpendicular de OD sobre o raio AO e a e b
as projees de AB e AC sobre BC, respectivamente. Como os tringulos ABD e CAD so
b e ABD
b so congruentes, ento
semelhantes, pois ambos so retos em D e os ngulos C AD

h
a
= h = ab.
b
h
Como os tringulos AOD e ADE tambm so semelhantes, pois so retos em D e E e so
b e ADE,
b ento
congruentes os ngulos AOD
g
=
ab
Mas, g h

ab

a+b
2

g=

2ab
=
a+b

1
a

2

.
+ 1b

a+b
. Logo,
2
1
a

2
+

1
b

a+b
ab
.
2

A igualdade ocorrer quando o ponto O coincidir com o ponto D. Ou seja, quando a = b.

2
Nota: O nmero 1 1 chamado de Mdia Harmnica (M H) entre a e b.
+b
a

10

Captulo 2
Desigualdades Numricas
Apresentaremos a partir daqui, usando ideias simples e alguns passos lgicos, resultados
sobre desigualdades de rara elegncia e muito importantes para vrios ramos da Matemtica.

2.1
2.1.1

Desigualdade das Mdias

Com duas e trs variveis

Veremos agora as desigualdades Aritmtica, Geomtrica, Harmnica e Quadrtica, muito

utilizadas na resoluo de problemas.
Teorema 2.1. Sejam a, b R+ . Os nmeros
r
MQ =

a2 + b 2
,
2

MA =

a+b
,
2

MG =

ab

MH =

1
a

2
,
+ 1b

so chamados respectivamente de mdias, quadrtica, aritmtica, geomtrica e harmnica dos

nmeros a e b, e vlido que
M Q M A M G M H.
Ocorrendo igualdade se, e somente se, a = b.
Demonstrao. Primeiramente vamos provar que M Q M A.

11

Sendo a, b R+ temos que

(a b)2 0 a2 2ab + b2 0
a2 + b2 2ab
2(a2 + b2 ) a2 + b2 + 2ab
2(a2 + b2 ) (a + b)2
2(a2 + b2 )
(a + b)2

4
4

2
2
2
a +b
a+b

2
2
r
a2 + b2
a+b

2
2
A igualdade ocorrer se, e somente se, a b = 0, ou seja, a = b.
Temos tambm que

( a b)2 0 a 2 ab + b 0

a + b 2 ab
a+b

ab.
2
Assim, temos que M A M G, onde a igualdade ocorre se, e somente se,
a = b.
Finalmente provaremos que M G M H. Para isso, notemos que

a b = 0, isto ,

( a b)2 0 a + b 2 ab

2 ab
1
a+b

2ab

ab
a+b

ab 1 1 .
+b
a
Com igualdade se, e somente se,

b = 0, isto , a = b.

Da mesma forma, para a, b, c R+ , podemos definir respectivamente de mdias, quadrtica,

aritmtica, geomtrica e harmnica dos nmeros a, b e c, os nmeros:

r
MQ =

a2 + b 2 + c 2
,
2

MA =

a+b+c
,
2

12

MG =

abc

MH =

2
1
a

+ 1b +

1.
c

E de forma similar ao Teorema 3.1 temos, para trs variveis, o Teorema abaixo:
Teorema 2.2. Sejam a, b, c R+ tais que
r
MQ =

a2 + b 2 + c 2
,
3

MA =

a+b+c
,
3

MG =

abc

MH =

3
1
a

+ 1b +

1.
c

Ento
M Q M A M G M H.
Ocorrendo igualdade se, e somente se, a = b = c.
Faremos somente a demonstrao da parte M A M G, mas faremos de uma forma especial.
Vejamos:
Demonstrao. A fim de remover a raiz cbica, faamos
a = x3 ,

b = y3,

c = z3.

Assim, precisamos mostrar que

x3 + y 3 + z 3
xyz.
3
Ou seja,
x3 + y 3 + z 3 3xyz 0.
Sendo


(x + y + z) x2 + y 2 + z 2 xy xz yz = x3 + y 3 + z 3 3xyz,

(2.1)

o que pode facilmente ser verificado fazendo a multiplicao dos termos do primeiro membro, e como a, b, c so no negativos, ento x + y + z tambm . E desta forma, suficiente
mostrarmos que
x2 + y 2 + z 2 xy xz yz 0.
Mas, como vlido que
(x y)2 0,

(x z)2 0,

(y z)2 0.

Ou seja,
x2 + y 2 2xy,

x2 + z 2 2xz,

y 2 + z 2 2yz.

Ento, somando-se estas trs desigualdades, membro a membro, obtemos:

2 x2 + y 2 + z 2 2 (xy + xz + yz) .
13

Logo, x2 + y 2 + z 2 xy xz yz 0, como queramos. E a igualdade ocorrer se, e somente

se, (x y)2 = 0, (x z)2 = 0, e (y z)2 = 0, o que equivale a x = y = z. Isto ,
a = b = c.

Observao 2.1. Existem outras maneiras de verificar a validade da desigualdade (2.1).

Usando Fatoraes:
x3 + y 3 + z 3 3xyz = (x + y)3 3xy(x + y) + z 3 3xyz
= (x + y)3 + z 3 3xy(x + y) 3xyz
= (x + y + z)3 3(x + y)z(x + y + z) 3xy(x + y) 3xyz
= (x + y + z)3 3(x + y)z(x + y + z) 3xy(x + y + z)


= (x + y + z) (x + y + z)2 3(x + y)z 3xy


= (x + y + z) (x + y + z)2 3xz 3yz 3xy


= (x + y + z) x2 + y 2 + z 2 xy xz yz .
Usando Determinantes:
Como um determinante no se altera se substitumos uma linha com sua soma por duas
outras, ento






 (x + y + z)
 x
(x
+
y
+
z)
(x
+
y
+
z)
y
z








=
z
x
y
x
y 
.

 z






 y
y
z
x
z
x 
Logo,


x3 + y 3 + z 3 3xyz = (x + y + z) x2 + y 2 + z 2 xy yz xz .
A desigualdade entre as mdias tambm vlida para um nmero arbitrrio de variveis e
existem dezenas de formas de fazer esta demonstrao. Nossa demonstrao est baseada no
lema apresentado e demonstrado logo abaixo. Vale ressaltar que a desigualdade entre as mdias
de extrema importncia para demonstrar outras desigualdades mais complicadas e tambm
para encontrar mximos e mnimos de expresses.

14

Lema 2.1. Se a1 , a2 , ..., an so nmeros reais positivos tais que a1 a2 an = 1, ento

a1 + a2 + + an n.
Valendo a igualdade se, e somente se, a1 = a2 = = an = 1.
Demonstrao. Vamos provar isso por induo sobre n. Vejamos:
Para n = 1, a desigualdade verdadeira pois se a1 = 1 ento a1 1. Se n = 2 ento

a1 a2 = 1, e como a1 + a2 2 a1 a2 , uma vez que ( a1 a2 )2 0, ento temos tambm

que a1 + a2 2. Suponhamos que a desigualdade seja vlida para n = k, isto , para nmeros
reais arbitrrios e positivos a1 , a2 , ..., ak tais que a1 a2 ak = 1 seja vlido que
a1 + a2 + + ak k,
com igualdade se, e somente se, a1 = a2 = = ak = 1.
Vamos mostrar que ela tambm vlida para n = k + 1. Sendo os nmeros reais arbitrrios e
positivos a1 , a2 , ..., ak , ak+1 tais que a1 a2 ak ak+1 = 1, temos dois casos a considerar:
i) Se todos os nmeros forem iguais, ou seja, se a1 = a2 = = ak = ak+1 , ento teremos
a1 = a2 = = ak = ak+1 = 1, pois por hiptese estamos supondo que a1 a2 ak = 1. E
neste caso a desigualdade claramente satisfeita.
ii) Se nem todos os nmeros forem iguais, como no podemos ter todos os nmeros menores
que 1 e nem maiores que 1, uma vez que o produto deles igual a 1, ento existir entre eles
um que menor 1 e outro que maior que 1. Assim, supondo sem perda de generalidade que
a1 < 1 e a2 > 1. Pela hiptese de induo, se para a sequncia de k termos a1 a2 , a3 , ..., ak , ak+1
acontecer que (a1 a2 ) a3 ak ak+1 = 1 ento,
a1 a2 + a3 + + ak + ak+1 k,
onde ocorre igualdade se, e somente se, a1 a2 = a3 = = ak = ak+1 . Desta forma, temos que
a1 + a2 + + ak+1 = a1 + a2 + + ak + ak+1 + 1 + a1 a2 1 a1 a2
= a1 a2 + a3 + + ak + ak+1 + 1 + a2 a1 a2 1 + a1
= a1 a2 + a3 + + ak + ak+1 + 1 + (a2 1)(1 a1 )
k + 1 + (a2 1)(1 a1 )
> k + 1, pois (a2 1) > 0 e (1 a1 ) > 0.
A igualdade ocorrer se, e somente se, a1 a2 = a3 = = ak = ak+1 = 1 e (a2 1)(1a1 ) = 0,
ou seja, a1 = a2 = a3 = = ak = ak+1 = 1. Logo, devido ao princpio de induo
matemtica, temos a demonstrao desejada.

15

2.1.2

Generalizao

Teorema 2.3. (Desigualdade das Mdias). Sejam a1 , a2 , ..., an nmeros reais positivos. Os
nmeros
r
a1 2 + a2 2 + + an 2
a1 + a2 + a3 + + an
MQ =
, MA =
n
n
MG =

a1 a2 an

MH =

1
a1

1
a2

n
+ +

1
an

so chamados respectivamente de mdias quadrtica, aritmtica, geomtrica e harmnica dos

nmeros a1 , a2 , ..., an , e vlido que
M Q M A M G M H.
Com igualdade se, e somente se, a1 = a2 = = an .
Demonstrao. Primeiramente vamos provar que M A M G, isto ,

a1 + a2 + a3 + + an
n a1 a2 an .
n

Seja M G = n a1 a2 an .
Temos,

r
a1 a2 an
a2
an
a1
= n

...
.
1=
MG
MG MG
MG
a1
a2
an
Mas isso implica que

...
= 1. Logo, pelo lema demonstrado acima, temos
MG MG
MG
que
a1
a2
an
+
+ +
n.
MG MG
MG
Ou seja,

a1 + a2 + a3 + + an
n a1 a2 an .
n
a1
a2
an
Com igualdade se, e somente se,
=
= =
, isto , a1 = a2 = = an .
MG
MG
MG

Mostraremos agora que M G M H, ou seja

n
a1 a2 an

1
a1

16

1
a2

n
+ +

1
an

Por M A M G temos que

r
1
1
1
1 1
1
+
+ +
nn

a1 a2
an
a1 a2
an
n
.
=
n
a1 a2 an
Assim, temos que

n
a1 a2 an

A igualdade ocorrer se, e somente se,

1
a1

1
a2

n
+ +

1
an

1
1
1
=
= = , ou seja, a1 = a2 = = an .
a1
a2
an

Por ltimo, para mostrarmos que M Q M A usaremos que

(ai aj )2 0 2ai aj a2i + a2j .
Vejamos:

(M A) =

a1 + a2 + + an
n

2
=

=
=
=

a21 + a22 + + a2n + 2a1 a2 + 2a1 a3 + + 2an1 an

n2
a21 + a22 + + a2n + (a21 + a22 ) + (a21 + a23 ) + + (a2n1 + a2n )
n2
2
2
2
n(a1 + a2 + + an )
n2
2
2
a1 + a2 + + a2n
n
(M Q)2 .

Logo, M Q M A e a igualdade ocorrer se, e somente se, a1 = a2 = = an .

Portanto, para toda coleo de nmeros reais positivos a1 , a2 , ..., an sempre vlido que
M Q M A M G M H.
E, alm disso, a igualdade ocorrer se, e somente se, a1 = a2 = = an .

17

2.2

Desigualdade de Bernoulli

Teorema 2.4. (Desigualdade Generalizada de Bernoulli) Sejam xi , i = 1, 2, ..., n, nmeros

reais com o mesmo sinal, maiores que -1. Ento temos que
(1 + x1 )(1 + x2 ) (1 + xn ) 1 + x1 + x2 + + xn .

(2.2)

Demonstrao. Faremos a demonstrao por induo sobre n. Para n = 1 temos que 1 + x1

1 + x1 . Suponhamos que para n = k, e nmeros arbitrrios xi , maiores que 1, i = 1, 2, ..., k,
com o mesmo sinal, a desigualdade seja vlida, ou seja

(1 + x1 )(1 + x2 ) (1 + xk ) 1 + x1 + x2 + xk .

(2.3)

Para n = k + 1, e xi > 1, i = 1, 2, ..., k, k + 1, arbitrrios de mesmo sinal, temos que

(x1 + x2 + + xk )xk+1 0.

(2.4)

Mas, por (2.3) e (2.4) temos tambm que

(1 + x1 )(1 + x2 ) (1 + xk )(1 + xk+1 ) (1 + x1 + x2 + + xk )(1 + xk+1 )

= 1 + x1 + x2 + + xk + (1 + x1 + x2 + + xk )xk+1
1 + x1 + x2 + + xk+1
Portanto, a desigualdade vlida para n = k + 1, o que completa a demonstrao.
Corolrio 2.1. (Desigualdade de Bernoulli) Seja n N e x > 1. Ento (1 + x)n 1 + nx.
Demonstrao. Fazendo x = x1 = x2 = ... = xn na desigualdade (3.1), obtemos
(1 + x)n 1 + nx.

Uma outra forma de demonstrarmos esta desigualdade notando que se 0 < a < b e n N,
tal que n 1, ento
nan1

b n an
.
ba

18

Visto que
b n an
= bn1 + bn2 a + + ban2 + an1 an1 + an1 + + an1 = nan1 .
ba
Basta tomarmos b = 1 + x e a = 1, pois

nan1

b n an
(1 + x)n 1
n1n1
ba
(1 + x) 1
(1 + x)n 1
n
x
(1 + x)n 1 + nx.

Note ainda que o fato de ser b > 0, implica tambm em x > 1 e x 6= 0, pois a 6= b, o que
faz a demonstrao ser completa.
Observao 2.2. Este corolrio (Desigualdade de Bernoulli para n N) pode ainda ser demonstrado pela desigualdade M A M G, e tambm por derivadas.
Os prximos dois corolrios so extenses do corolrio 3.1 (Bernoulli).
Corolrio 2.2. Seja x > 1 e r 1, r Q. Ento
(1 + x)r 1 + rx.
m
Demonstrao. Seja r = , onde mdc(m, n) = 1. Como r 1, ento temos que m > n.
n
Fazendo a1 = a2 = = an = 1 + rx e an+1 = an+2 = = am = 1. Temos:
Se 1 + rx 0, ento no h o que fazer. Assim, supondo que 1 + rx > 0 e usando que
M A M G temos que
mx + m
rnx + m
n + rnx + m n
n(1 + rx) + m n
=
=
=
m
m
m
m

a1 + a2 + + an + an+1 + + am
=
m a1 a2 am
m
p
n
1
= m (1 + rx)n = (1 + rx) m = (1 + rx) r .

1+x =

Mas isso equivale a dizer que (1 + x)r 1 + rx, o que queramos demonstrar.
Corolrio 2.3. Seja x > 1 e R. Se 0 < < 1 , ento
(1 + x) 1 + x,
e, se < 0 ou > 1, ento
(1 + x) 1 + x,
onde a igualdade ocorrer se, e somente se, x = 0.
19

Demonstrao. Suponhamos que seja um nmero racional tal que 0 < < 1. Assim,
m
tomando-se = , onde m e n so inteiros positivos e 1 m < n, teremos, pela hiptese de
n
ser 1 + x > 0 e tambm pela desigualdade M A M G, que
p
m
(1 + x) = (1 + x) n = n (1 + x)m 1nm
s
... 1}
= n (1 + x) (1 + x) ... (1 + x) 1| 1 {z
|
{z
}
m

=
=
=
=

nm

(1 + x) + (1 + x) + + (1 + x) + 1 + 1 + + 1
n
m(1 + x) + n m
n
n + mx
n
m
1+ x
n
1 + x.

Assim, (1 + x) 1 + x, e a igualdade ocorrer quando todos os fatores da desigualdade

forem iguais, ou seja, (1 + x) = 1, x = 0.
Com isso demonstramos a primeira parte da desigualdade para o caso de ser um nmero
racional. Suponhamos agora que seja irracional e que 0 < < 1. Como o conjunto dos
nmeros irracionais denso em R, ento deve existir uma sequncia rn = (r1 , r2 , ..., rn , ...) de
nmeros racionais com 0 < rn < 1 tal que lim rn = . Desta forma, pelo que foi demonstrado
anteriormente para expoentes racionais, temos que
(1 + x)rn 1 + rn x, x 1, n = 1, 2, 3, ...
E com isso, teremos
(1 + x) = lim (1 + x)rn
lim (1 + rn x)
= 1 + x
Com isso, vamos agora mostrar que para valores irracionais de , onde 0 < < 1 e x 6= 0,
acontece que (1 + x) < 1 + x, ou seja, se x 6= 0 ento no ocorre igualdade. Para isso,
tomemos um nmero racional r tal que < r < 1. Como 0 < r < 1, ento, pelo que j foi
demonstrado, temos que

(1 + x) r 1 + x.
r
O que implica em

r
(1 + x) 1 + x .
r

20


r

E sendo x 6= 0, temos ainda que 1 + x < 1 + r x = 1 + x, ou seja,

r
r
(1 + x) < 1 + x.
Assim, o teorema fica demonstrado para o caso em que x 1 e 0 < < 1. Vamos
mostrar agora sua validade para o segundo caso. Seja R tal que < 0 ou > 1, se
1 + x < 0, ento temos claramente a desigualdade satisfeita, uma vez que o primeiro membro
no-negativo enquanto, o segundo negativo. Se, porm, 1 + x 0, ou seja, x 1,
teremos: Se > 1, ento pelo que foi demonstramos na primeira parte, ser vlido que
1

(1 + x) 1 +

1
x = 1 + x.

Ou seja,
(1 + x) 1 + x,
onde a igualdade ocorrer para x = 0.
E se for < 0. Se 1 + x < 0, ento a desigualdade evidente. Se 1 + x 0, ento

tomando-se um nmero positivo n Z tal que < 1, novamente pelo que foi demonstrado
n
na primeira parte do teorema teremos

(1 + x) n 1

x
n

1
1 n x

(1 + x) n 1 + x,
n

(1 + x) n

onde a ltima desigualdade deve-se ao fato de

2 2
x > 0. Pois,
n2

2 2
2 2
x

x 0
n2
n2
2 2
1 2x 1
 n  

1+ x 1 x 1
n
n
1

1 + x.
1 n x
n

Logo, sabendo-se que (1 + x) n 1 +

x, elevando-se a n ambos os membros e usando o

n

21

corolrio 3.1, obteremos que

n
x
n

1+n x
n
= 1 + x.


(1 + x)

1+

Notemos que a igualdade ocorrer se, e somente se, x = 0, e isso completa a demonstrao do
teorema.

2.3

Desigualdade de Cauchy-Schwarz

A Desigualdade de Cauchy - Schwarz uma das mais importantes e utilizadas em toda a

Matemtica. Ela tem muitas generalizaes, entre elas destacamos a desigualdade de Hlder,
apresentada um pouco mais frente.
Teorema 2.5. (Desigualdade de Cauchy-Schwarz) Sejam a1 , a2 , ..., an e b1 , b2 , ..., bn nmeros
reais. Ento temos que
n
X

!
ai

i=1

n
X

!
bi

i=1

n
X

!2
ai b i

i=1

i.e.
(a1 2 +a2 2 + +an 2 )(b1 2 +b2 2 + +bn 2 ) (a1 b1 +a2 b2 + +an bn )2 . A igualdade ocorre
a1
a2
se, e somente se, as sequncias (a1 , a2 , ..., an ) e (b1 , b2 , ..., bn ) so proporcionais, i.e. =
=
b1
b2
an
= .
bn
Demonstrao. Considere o trinmio (ai xbi )2 . Como (ai xbi )2 0 ento

n
X
(ai xbi )2
i=1

0. Mas,
n
X

n
n
n
n
X
X
X
X
2
2
2 2
2
(ai x bi ) =
ai 2x
ai b i +
b2i .
(ai x 2ai bi x + bi ) = x
2

i=1

i=1

i=1

i=1

i=1

Assim, para esse trinmio ser no-negativo para qualquer x R, o discriminante no pode
ser positivo. Ou seja,

n
X
i=1

!2
ai b i

n
X
i=1

E isso implica em
22

!
a2i

n
X
i=1

!
b2i

0.

n
X

!2
ai b i

n
X

i=1

!
a2i

i=1

n
X

!
b2i ,

i=1

a desigualdade desejada. A igualdade ocorre se e somente se ai x bi = 0, com i = 1, 2, ..., n,

ou seja,
a1
a2
an
=
= = .
b1
b2
bn

Observao 2.3. Se fizermos b1 = b2 = bn = 1 encontramos a desigualdade M A M G.

Corolrio 2.4. Sejam a, b, x, y nmeros reais com x, y > 0. Ento temos que
(1)

a2 b 2
(a + b)2
+

x
y
x+y

(2)

a2 b 2 c 2
(a + b + c)2
+ +

.
x
y
z
x+y+z

Demonstrao. (1) Partindo do princpio que (ay bx)2 0 para todo a, b, x, y reais . Temos
a desigualdade satisfeita, pois
(ay bx)2 0 a2 y 2 2abxy + b2 x2 0
a2 y 2 + b2 x2 2abxy
a2 xy + a2 y 2 + b2 x2 + b2 xy a2 xy + 2abxy + b2 xy
a2 y(x + y) + b2 x(x + y) xy(a + b)2
(a2 y + b2 x)(x + y) xy(a + b)2
a2 y + b 2 x
(a + b)2

xy
x+y
2
2
a
b
(a + b)2

.
x
y
x+y
b
a
= .
x
y 
2
a
b
2
Uma outra demonstrao seria notar que (a + b) = x + y e que pela Desigualy
x
dade de Cauchy-Schwarz
A igualdade ocorrer se ay = bx, ou seja,

a
b
x+ y
y
x

2

a2 b 2
+
x
y


(x + y).

(2) Aplicando duas vezes a desigualdade (1) demonstrada acima, temos

23

a2 b 2 c 2
(a + b)2 c2
+ +

+
x
y
z
x+y
z
2
(a + b + c)

.
x+y+z
Com igualdade se, e somente se,

a
b
c
= = .
x
y
z

Corolrio 2.5. Sejam a1 , a2 , ..., an , b1 , b2 , ..., bn nmeros reais tais que b1 , b2 , ..., bn > 0. Ento
a2n
(a1 + a2 + + an )2
a21 a22
+
+ +

,
i)
b1
b2
bn
b1 + b2 + + bn
a1 a2
an
(a1 + a2 + + an )2
+
+ +

,
b1
b2
bn
a1 b 1 + a2 b 2 + + an b n

2
an
1
a1 a2
a1 a2
an
iii) 2 + 2 + + 2
+
+ +
.
b1
b2
bn
a1 + a2 + + an b 1
b2
bn
ii)

Com igualdades se, e somente se,

a2
an
a1
=
= = .
b1
b2
bn

Demonstrao.
i) (Por induo sobre n). Esta desigualdade uma generalizao do corolrio anterior. Para n =
1, temos claramente desigualdade satisfeita. Suponhamos que para nmeros reais arbitrrios
a1 , a2 , ..., ak ; b1 , b2 , ..., bk com b1 , b2 , ..., bk > 0, seja vlido que
a21 a22
a2
(a1 + a2 + + ak )2
+
+ + k
.
b1
b2
bk
b1 + b2 + + bk
Ou seja, a desigualdade seja vlida para n = k.
Temos,
a21 a22
a2 a2
(a1 + a2 + + ak )2 a2k+1
+
+ + k + k+1
+
b1
b2
bk
bk+1
b1 + b2 + + bk
bk+1
Pelo resultado (1) do corolrio 3.2, temos tambm que
(a1 + a2 + + ak )2 a2k+1
(a1 + a2 + + ak + ak+1 )2
+

b1 + b2 + + bk
bk+1
b1 + b2 + + bk + bk+1
Logo,
a2
a21 a22
(a1 + a2 + + ak+1 )2
+
+ + k+1
.
b1
b2
bk+1
b1 + b2 + + bk+1
24

(2.5)

Isto , a desigualdade tambm vlida para n = k +1. Portanto, sempre vlida para n N.
a1
a2
an
Com igualdade se, e somente se,
=
= = .
b1
b2
bn
Vale relatar que, com esta desigualdade, podemos fazer outra demonstrao da Desigualdade
de Cauchy-Schwarz, pois
a1 2 b 1 2 a2 2 b 2 2
an 2 b n 2
+
+

+
b1 2
b2 2
bn 2
(a1 b1 + a2 b2 + + an bn )2

.
b1 2 + b2 2 + + bn 2

a1 2 + a2 2 + + an 2 =

E isso implica diretamente que

(a1 2 + a2 2 + + an 2 )(b1 2 + b2 2 + + bn 2 ) (a1 b1 + a2 b2 + + an bn )2 .

ii) Por (i) temos

an
a21
a2
a2
a1 a2
+
+ +
=
+ 2 + + n
b1
b2
bn
a1 b 1 a2 b 2
an b n
(a1 + a2 + + an )2
.

a1 b1 + a2 b2 + + an bn

iii) Tambm uma consequncia direta de i), pois

a21

a22

a2n

a1 a2
an
b2
b2
b2
+ 2 + + 2 = 1 + 2 + + n
2
b1
b2
bn
a1 a2
an

2
1
a1 a2
an

+
+ +
.
a1 + a2 + + an b 1
b2
bn

Observao 2.4. Estas trs desigualdades tambm so chamadas de Desigualdades de CauchySchwarz na forma Engel.
Corolrio 2.6. Sejam a1 , a2 , ..., an ; b1 , b2 , ..., bn nmeros reais. Ento

q
q
p
p
2
2
a1 + b1 + a22 + b22 + + a2n + b2n (a1 + a2 + + an )2 + (b1 + b2 + + bn )2 .
25

Demonstrao. (Por induo sobre n). Para n = 1 no h o que demonstrar. Para n = 2 a

desigualdade vlida, pois pela Desigualdade de Cauchy-Schwarz temos que

(a21 + b21 ) (a22 + b22 ) (a1 a2 + b1 b2 )2

q
q

a21 + b21 a22 + b22 (a1 a2 + b1 b2 )

q
q
2
2
2 a1 + b1 a22 + b22 2a1 a2 + 2b1 b2
q
q
a21 + b21 + 2 a21 + b21 a22 + b22 + a22 + b22 a21 + 2a1 a2 + a22 + b21 + 2b1 b2 + b22
2
q
q

a21 + b21 + a22 + b22 (a1 + a2 )2 + (b1 + b2 )2

q
q
q
2
2
2
2

a1 + b1 + a2 + b2 (a1 + a2 )2 + (b1 + b2 )2 .
Supondo a desigualdade vlida para n = k, ou seja,
q
q
q
p
2
2
2
2
a1 + b1 + a2 + b2 + + a2k + b2k (a1 + a2 + + ak )2 + (b1 + b2 + + bk )2 .
Para n = k + 1, temos que
q
p
p
p
2
2
2
2
2
2
a1 + b1 + a2 + b2 + + ak + bk + a2k+1 + b2k+1
q
p
(a1 + a2 + + ak )2 + (b1 + b2 + + bk )2 + a2k+1 + b2k+1
p
(a1 + a2 + + ak+1 )2 + (b1 + b2 + + bk+1 )2
E isso completa a demonstrao.

2.4

Desigualdade do Rearranjo

A Desigualdade do Rearranjo tem muitas aplicaes e a partir dela podemos provar algumas
desigualdades famosas, tais como a Desigualdade das Mdias M A M G, a Desigualdade de
Cauchy-Schwarz, a Desigualdade de Nesbitt e a Desigualdade de Tchebyshev, apresentadas em
sua sequncia e que sero demonstradas.
Teorema 2.6. (Desigualdade do Rearranjo) Sejam a1 a2 an e b1 b2
0
0
0
bn colees de nmeros reais. Para qualquer reordenao (a1 , a2 , ..., an ) de (a1 , a2 , ..., an ),
temos que
0

a1 b 1 + a2 b 2 + + an b n a1 b 1 + a2 b 2 + + an b n
an b1 + an1 b2 + + a1 bn .
26

(2.6)
(2.7)

Alm disso, as igualdades em (2.6) e (2.7) ocorrero respectivamente se, e somente se,
0
0
0
0
0
(a1 , a2 , ..., an ) = (a1 , a2 , ..., an ) e (a1 , a2 , ..., an ) = (an , an1 , ..., a1 ).
0

Demonstrao. Seja S = a1 b1 + a2 b2 + + an bn . Como existem finitas (n!) reordenaes

0
0
0
de (a1 , a2 , ..., an ), ento uma delas torna S mxima. Suponhamos que seja (x1 , x2 , ..., xn ) a
reordenao que torna S mxima, provaremos que (x1 , x2 , ..., xn ) = (a1 , a2 , ..., an ). Para isso,
basta mostrarmos que x1 x2 xn . Sendo assim, suponha que existam ndices r < s,
1 r n e 1 s n, tais que xr > xs . Multiplicando-se xr por as e xs por ar , a variao de
S ser de
ar xs + as xr (ar xr + as xs ).
Ou seja,
(ar as )(xs xr ).
Mas (ar as )(xs xr ) > 0, e isso implica que S aumenta, o que contraria o fato de ser
(x1 , x2 , ..., xn ) a reordenao que torna S mxima. Assim, temos que x1 x2 xn
e disto resulta que (x1 , x2 , ..., xn ) = (a1 , a2 , ..., an ). Portanto, o maior valor possvel para S
a1 b1 + a2 b2 + + an bn , ou seja,
0

a1 b 1 + a2 b 2 + + an b n a1 b 1 + a2 b 2 + + an b n .
De forma similar prova-se que o valor mnimo de S an b1 + an1 b2 + + a1 bn , o que
completar a demonstrao.
0

Corolrio 2.7. Para qualquer reordenao (a1 , a2 , ..., an ) de (a1 , a2 , ..., an ), segue que
0

a21 + a22 + + a2n a1 a1 + a2 a2 + + an an .

Demonstrao. uma consequncia direta do teorema, pois basta fazer na desigualdade (2.6),
ai = bi para todo ndice i, (1 i n).
0

Corolrio 2.8. Para qualquer reordenao (a1 , a2 , ..., an ) de (a1 , a2 , ..., an ), segue que
0

a1 a2
a
+
+ + n n.
a1 a2
an
Demonstrao. Tambm consequncia direta. Pois, tomando-se na desigualdade (2.6),
bi =

1
ai

para todo ndice i, com 1 i n, obtemos a desigualdade desejada.

27

2.5

Desigualdade de Tchebishev

Teorema 2.7. (Desigualdade de Tchebishev) Sejam a1 a2 an e b1 b2 bn .

Ento temos que
n
X

!
ai

i=1

n
X

!
bi

i=1

n
X

ai b i ,

i=1

isto ,
(a1 + a2 + + an ) (b1 + b2 + + bn ) n (a1 b1 + a2 b2 + + an bn ). Com igualdade
se, e somente se, a1 = a2 = = an ou b1 = b2 = = bn .
Demonstrao. (1) (Usando a Desigualdade do Rearranjo). Aplicando a desigualdade do rearranjo vrias vezes, obtemos
a1 b 1 + a2 b 2 + + an b n = a1 b 1 + a2 b 2 + + an b n ,
a1 b 1 + a2 b 2 + + an b n a1 b 2 + a2 b 3 + + an b 1 ,
a1 b 1 + a2 b 2 + + an b n a1 b 3 + a2 b 4 + + an b 2 ,

a1 b1 + a2 b2 + + an bn a1 bn + a2 b1 + + an bn1 ,
Adicionando-se membro a membro todas estas desigualdades obtemos, portanto,
n(a1 b1 + a2 b2 + + an bn ) (a1 + a2 + + an )(b1 + b2 + + bn ).
Onde a igualdade ocorrer se, e somente se, a1 = a2 = = an ou b1 = b2 = = bn .

Demonstrao. (2) Pela hiptese de ser a1 a2 an e b1 b2 bn podemos

notar que para todo i, j {1, 2, ..., n} temos que (ai aj )(bi bj ) 0, ou seja,
ai b i + aj b j ai b j + aj b i .
Com isso, ganhamos que

28

n
X
i=1

!
ai

n
X

!
bi

a1 b1 + a1 b2 + a1 b3 + a1 b4 + + a1 bn

i=1

a2 b1 + a2 b2 + a2 b3 + a2 b4 + + a2 bn

a3 b1 + a3 b2 + a3 b3 + a3 b4 + + a3 bn

a4 b1 + a4 b2 + a4 b3 + a4 b4 + + a4 bn

an b1 + an b2 + an b3 + an b4 + + an bn
a1 b 1

a1 b 1 + a2 b 2 + a2 b 2

a1 b 1 + a3 b 3 + a2 b 2 + a3 b 3 + a3 b 3

a1 b 1 + a4 b 4 + a2 b 2 + a4 b 4 + a3 b 3 + a4 b 4 + a4 b 4

+
=

a1 b1 + an bn + a2 b2 + an bn + a3 b3 + an bn + ... + an bn
n
X
n
ai b i .
i=1

Ocorrer igualdade se, e somente se, ocorrer igualdade na desigualdade (ai aj )(bi bj ) 0,
isto ,
a1 = a2 = = an ou b1 = b2 = = bn .

Observao 2.5. A Desigualdade de Tchebishev tambm verdadeira para o caso de termos

a1 a2 an e b1 b2 bn . Porm se for a1 a2 an e b1 b2
bn (e vice-versa), ento teremos
! n !
n
n
X
X
X
ai
bi n
ai b i .
i=1

i=1

i=1

Vamos agora dar a definio de Funo Convexa e em seguida apresentar mais duas belas
desigualdades, a Desigualdade de Jensen e a Desigualdade de Young, muito teis na resoluo
de problemas de olimpadas.

29

Funo Convexa
Definio 2.1. (Funo Convexa). Uma funo f : [a, b] R chamada convexa no intervalo
I = [a, b] se para todos x, y I e todo t [0, 1] tivermos
f ((1 t) x + ty) (1 t) f (x) + tf (y) .
Geometricamente, o significado desta desigualdade que o grfico de f entre os pontos x e
y est abaixo do segmento que une os pontos (x, f (x)) e (y, f (y)) .

Figura 2.1: Funo Convexa

Propriedade 2.1. Se f convexa em [a, b], ento para todos x, y [a, b], temos que

f

x+y
2

1
(f (x) + f (y)) .
2

1
na definio temos a desigualdade desejada, pois
2





x+y
1
1
f
= f
1
x+ y
2
2
2


1
1

1
f (x) + f (y)
2
2
1
=
(f (x) + f (y)) .
2

Demonstrao. Fazendo t =

Observao 2.6. Uma funo f : [a, b] R dita cncava se, e somente se,
f ((1 t) x + ty) (1 t) f (x) + tf (y) para todo t [0, 1] e a x < y b.

30

Exemplo 2.1. A funo exponencial f (x) = ex convexa em R. Pois, dado t [0, 1].
Multiplicando-se a desigualdade e(1t)x+ty (1 t)ex + tey por ety(1t)x , obtemos que

e(1t)x+ty (1 t)ex + tey 1 te(1t)(yx) + (1 t)et(yx) .

(2.8)

Agora, como vlido que ex 1 + x para todo x R, ento temos

e(1t)(yx) 1 + (1 t)(y x)

e et(yx) 1 t(y x)

Mas isso implica em

te(1t)(yx) + (1 t)et(yx) t(1 + (1 t)(y x)) + (1 t)(1 t(y x))

= 1.
Logo, por (2.8) temos que a funo definida por f (x) = ex convexa em R.
Observao 2.7. Uma maneira de verificar a validade da igualdade ex 1 + x para todo
x R, notando que o grfico de f (x) = ex fica acima do grfico de g(x) = 1 + x, ocorrendo
interseo somente no ponto (0, 1), o que faz com que ocorra igualdade no ponto x = 0. Outra,
seria provando que f (x) = ex x 1 0 para todos os valores reais de x. Para isso, note
que f 0 (x) = ex 1 = 0 quando x = 0. Assim, x = 0 o nico valor crtico para f (x).
Sendo f 0 (x) = ex contnua e tambm positiva em x = 0, pelo Teste da Derivada da Segunda
temos que f (x) tem um mnimo local em x = 0, e este tambm mnimo global por haver
um nico ponto crtico. Portanto, f (0) = 0 o valor mnimo global de f (x), implicando em
f (x) = ex x 1 0 para todo x real, ou seja, ex 1 + x para todo x R.
Exemplo 2.2. A funo logartmica definida por f (x) = ln x cncava em R.
Demonstrao. Usando o fato de que a funo exponencial convexa, veja exemplo anterior,
temos que
e(1t)ln x+tln y (1 t) eln x + t eln y
= (1 t) x + t y
= eln((1t)x+ty) .
De onde segue que
ln ((1 t) x + t y) (1 t) ln x + t ln y.
Portanto, a funo logartmica definida por f (x) = ln x cncava.
31

2.6

Desigualdade de Jensen

Teorema 2.8. (Desigualdade de Jensen). Seja f : (a, b) R uma funo convexa no

intervalo (a, b). Seja n N e 1 , 2 , ..., n [0, 1] nmeros reais tais que 1 +2 + +n = 1.
Ento para quaisquer x1 , x2 , ..., xn (a, b) temos
f

n
X

!
i xi

i=1

n
X

i f (xi ),

i=1

i..
f (1 x1 + 2 x2 + + n xn ) 1 f (x1 ) + 2 f (x2 ) + + n f (xn ).
Demonstrao. Faremos a prova desta desigualdade por induo sobre n. Para n = 1, a desigualdade vlida, pois temos 1 = 1 e sendo f (x1 ) = f (x1 ) temos tambm que f (1 x1 ) =
1 f (x1 ). O caso n = 2 tambm vlido de acordo com a definio 3.1. Suponhamos
agora que para um certo k > 1 e todos x1 , x2 , ..., xn (a, b) e 1 , 2 , ..., n [0, 1], com
1 + 2 + + n = 1, tenhamos
f (1 x1 + 2 x2 + + k xk ) 1 f (x1 ) + 2 f (x2 ) + + k f (xk ).
Seja n = k + 1 e consideremos agora x1 , x2 , ..., xk+1 (a, b), e 1 , 2 , ..., k+1 [0, 1] tal
que 1 + 2 + + k+1 = 1. Temos que
1 x1 +2 x2 + + k+1 xk+1
=
=

(1 x1 + 2 x2 + + k xk ) + k+1 xk+1


1
2
k
(1 k+1 )
x1 +
x2 + +
xk + k+1 xk+1 .
1 k+1
1 k+1
1 k+1

Definamos
i =

i
e y = 1 x1 + 2 x2 + + k xk .
1 k+1

Temos que y (a, b) pois, como x1 , x2 , ..., xn (a, b), ento

1 a + 2 a + k a < 1 x1 + 2 x2 + k xk < 1 b + 2 b + k b
a (1 + 2 + k ) < 1 x1 + 2 x2 + k xk < b (1 + 2 + k )




1 + 2 + + k
1 + 2 + + k
a
< 1 x1 + 2 x2 + k xk < b
1 k+1
1 k+1




1 k+1
1 k+1
a
< 1 x1 + 2 x2 + k xk < b
1 k+1
1 k+1
a < y < b.

32

Assim, j que f convexa, temos

f (1 x1 + 2 x2 + + k xk + k+1 xk+1 ) = f ((1 k+1 ) y + k+1 xk+1 )

(2.9)

(1 k+1 ) f (y) + k+1 f (xk+1 ). (2.10)

Como 1 + 2 + k = 1 temos tambm que
f (y) = f (1 x1 + 2 x2 + + k xk )
1 f (x1 ) + 2 f (x2 ) + + k f (xk )
1
2
k
=
f (x1 ) +
f (x2 ) + +
f (xk ).
1 k+1
1 k+1
1 k+1
Juntando-se esta ltima desigualdade com a desigualdade (2.10), obtemos a Desigualdade
de Jensen.

Observao 2.8. Se a funo for cncava ento a Desigualdade de Jensen inverter, ou seja,
f (1 x1 + 2 x2 + + n xn ) 1 f (x1 ) + 2 f (x2 ) + + n f (xn ).

2.7

Desigualdade de Young

Teorema 2.9. (Desigualdade de Young). Sejam a, b nmeros reais positivos. Se p, q > 0

1 1
1
1
satisfazem a condio + = 1, ento ab ap + bq . A igualdade ocorre se, e somente se,
p q
p
q
ap = b q .
Demonstrao. Fazendo x = p ln a e y = q ln b. Como f (x) = ex convexa, veja exemplo
(2.1), ento temos que

ep+q

ex ey
ep ln a eq ln b
+
eln a+ln b
+
p
q
p
q
ln ap
ln bq
e
e
eln ab
+
p
q
1
1
ab ap + bq .
p
q

A igualdade ocorre se, e somente se, x = y, ou seja, se, e somente se, ap = bq .

33

2.8

Desigualdade de Hlder

Usaremos agora a Desigualdade de Young para mostrar uma das Desigualdades mais teis
para a Anlise, a Desigualdade de Hlder e em seguida usaremos esta desigualdade para demonstrar outra desigualdade famosa, a Desigualdade de Minkowski.
Teorema 2.10. (Desigualdade de Hlder) Sejam a1 , a2 , ..., an ; b1 , b2 , ..., bn nmeros reais posi1 1
tivos e p, q > 1 tais que + = 1, ento
p q
! 1q
! p1
n
n
n
X
X
X
bqi
.
ai b i
api
i=1

i=1

i=1

A igualdade ocorre se, e somente se,

ap1
bq1

ap2
bq2

= =

apn
.
bqn

ai
bi
Demonstrao. Faamos a = P
e b= P
1
1 para i = 1, 2, ..., n.
( ni=1 api ) p
( ni=1 bqi ) q
Pela Desigualdade de Young temos que
1
api
bqi
ai b i
1
P
P
+
ab = P
1 P
1
p ( ni=1 api ) q ( ni=1 bqi )
( ni=1 api ) p ( ni=1 bqi ) q
Variando esta desigualdade para cada 1 i n, obtemos
a1 b 1
Pn p 1/p Pn q 1/q
( i=1 a1 ) ( i=1 b1 )
a2 b 2
Pn p 1/p Pn q 1/q
( i=1 a2 ) ( i=1 b2 )
an b n
Pn p 1/p Pn q 1/q
( i=1 an ) ( i=1 bn )

1
1
ap
bq
Pn 1 p + Pn 1 q
p ( i=1 a1 ) q ( i=1 b1 )

1
1
ap2
bq2
P
+ P
p ( ni=1 ap2 ) q ( ni=1 bq2 )

1
ap
1
bq
Pn n p + Pn n q
p ( i=1 an ) q ( i=1 bn )

Somando-as membro a membro, obtemos tambm que

Pn

i=1 ai bi
Pn p 1/p Pn q 1/q
( i=1 ai ) ( i=1 bi )

Pn p
Pn q
ai
bi
1
1
1 1
i=1
Pn p + Pi=1
+ =1
n
q =
p ( i=1 ai ) q ( i=1 bi )
p q

Ou seja,
n
X
i=1

ai b i

n
X

! p1
api

i=1

n
X

! 1q
bqi

i=1

ap1
ap2
ap
Onde, claramente, a igualdade ocorrer se, e somente se, q = q = = qn .
b1
b2
bn

Observao 2.9. Fazendo-se p = q = 2 na Desigualdade de Hlder obtemos a Desigualdade de Cauchy-Schwarz.

34

2.9

Desigualdade de Minkowski

Teorema 2.11. (Desigualdade de Minkowski) Sejam a1 , a2 , ..., an ; b1 , b2 , ..., bn nmeros reais

positivos e p > 1, ento
n
X

! p1
(ai + bi )p

n
X
(ai )p

i=1

! p1

n
X
(bi )p

i=1

onde a igualdade ocorre se, e somente se,

! p1
,

i=1

a1
a2
an
=
= = .
b1
b2
bn

Demonstrao. Primeiramente podemos notar que

(ai + bi )p = (ai + bi ) (ai + bi )p1 = ai (ai + bi )p1 + bi (ai + bi )p1 .
Assim,
n
X

(ai + bi ) =

i=1

n
X

p1

ai (ai + bi )

i=1

n
X

bi (ai + bi )p1 .

(2.11)

i=1

1 1
+ = 1 e aplicando a Desigualdade de
p q
Hlder, obtemos para cada termo do lado direito da desigualdade (2.11) que
Escolhendo-se para p > 1 um nmero q > 1 tal que

n
X

n
X

ai (ai + bi )p1

i=1

i=1

n
X

n
X

bi (ai + bi )p1

i=1

! p1

n
X

(ai )p

! 1q
(ai + bi )q(p1)

i=1

! p1

n
X

(bi )p

! 1q
(ai + bi )q(p1)

i=1

i=1

Desde modo, temos tambm que

n
X

(ai + bi )

i=1

n
X

! p1
p

(ai )

i=1

n
X

! p1
(bi )

n
X

i=1

! 1q
q(p1)

(ai + bi )

i=1

Notando-se que q(p 1) = p, temos portanto que

n
X
(ai + bi )p

!1 1q

i=1

i=1

! p1
(ai )p

i=1

Isto ,
n
X

n
X

! p1
(ai + bi )p

n
X
(ai )p
i=1

35

n
X

! p1
(bi )p

i=1

! p1
+

n
X
(bi )p
i=1

! p1
.

2.10

Desigualdade de Schr

Teorema 2.12. (Desigualdade de Schr) Sejam os nmeros reais a, b, c 0 e n R. Ento

temos que
an (a b)(a c) + bn (b a)(b c) + cn (c a)(c b) 0,
com igualdade se, e somente se, a = b = c ou a = b e c = 0 (ou permutaes).
Demonstrao. Suponhamos, sem perda de generalidade, que a b c. Vamos separar em
casos:
Caso 1 : Se n > 0, ento temos
cn 0 e (c a)(c b) 0.
E isso implica que
cn (c a)(c b) 0.

(2.12)

Como temos tambm que a c b c e an bn , pois estamos supondo que a b, ento

an (a c) bn (b c).
Mas,
an (a c) bn (b c)
an (a c)(a b) bn (b c)(a b)
an (a b)(a c) bn (b a)(b c)
an (a b)(a c) + bn (b a)(b c) 0.
Logo, por isso e por (2.12), temos
an (a b)(a c) + bn (b a)(b c) + cn (c a)(c b) 0.
Caso 2 : Se n 0, teremos
an 0 e (a b)(a c) 0.
Implicando em
an (a b)(a c) 0.

(2.13)

E, por ocorrer que (a c) (a b) e cn bn , pois estamos supondo b c, temos tambm

36

que
cn (a c) bn (a b).
Ora, mas isso implica tambm em
bn (b a)(b c) + cn (c a)(c b) 0.
De fato,
cn (a c) bn (a b)
cn (c a) bn (b a)
cn (c a)(b c) bn (b a)(b c)
bn (b a)(b c) cn (c a)(c b)
bn (b a)(b c) + cn (c a)(c b) 0.
Assim, pela desigualdade (2.13) e por esta ltima, temos
an (a b)(a c) + bn (b a)(b c) + cn (c a)(c b) 0.
Portanto, pelos resultados provados nos casos 1 e 2, a desigualdade vlida para todo n R.
E a igualdade ocorrer se, e somente se, a = b = c ou a = b e c = 0 (ou permutaes).

Corolrio 2.9. Se a, b, c so nmeros reais positivos, ento so vlidas as desigualdades:

(i) a3 + b3 + c3 + 3abc ab(a + b) + bc(b + c) + ca(c + a).
(ii) abc (a + b c)(b + c a)(c + a b).
(iii) Se a + b + c = 1, ento 9abc + 1 4(ab + bc + ca).
Demonstrao. Para o caso (i) basta fazer n = 1 na desigualdade de Schr. Pois,
a(a b)(a c) + b(b a)(b c) + c(c a)(c b) 0
a3 ca2 a2 b + abc + b3 b2 c ab2 + abc + c3 bc2 c2 a + abc 0
a3 + b3 + c3 + 3abc a2 b + ab2 + b2 c + bc2 + c2 a + ca2
a3 + b3 + c3 + 3abc ab(a + b) + bc(b + c) + ca(c + a).

37

Captulo 3
Algumas Aplicaes de Desigualdades
3.1

Clculo de Mximos e Mnimos

Nesta seo, vamos tratar mostrar a importncia das desigualdades demonstradas no captulo
anterior na maximizao e minimizao de problemas. Vamos aplicar algumas delas e mostrar
como acessvel e fascinante us-las em vrios tipos de problemas de otimizao.
1
Aplicao 1. Seja x > 0 um nmero real. Qual o valor mnimo de x2 + ?
x
Soluo: 1. Primeiramente note que
1
1
1
= x2 +
+ .
x
2x 2x

x2 +

Agora aplicando a desigualdade M A M G, obtemos

x2 +

1
2x

1
2x

1 1
x2

=
3
2x 2x

3
2
Logo, o valor mnimo da expresso 3
.
2

3
1
2
=
.
4
2

Aplicao 2. Para todos os valores das variveis a, b, c, d, reais positivas, qual o menor valor
da expresso
a b c d
E= + + + ?
b c d a
Soluo: 2. Aplicando a desigualdade M A M G, obtemos
a
b

+ cb +
4

c
d

d
a

a b c d

b c d a

= 1.
Logo, o valor mnimo de E igual 4, e isso ocorre quando a = b = c = d.

38

Aplicao 3. (Paraleleppedo de rea Mxima). Prove que entre todos os paraleleppedos de

rea total fixada o de maior volume o cubo.
Demonstrao. Seja o paraleleppedo abaixo de dimenses a,b e c.Temos:

Figura 3.1: Paraleleppedo

Seu volume dado por
V = abc.
E sua rea superficial
S = 2ab + 2ac + 2bc.
Assim, pela desigualdade entre as mdias M A M G, temos que
p
ab + ac + bc
3 (ab) (ac) (bc)
3
2
= (abc) 3 .
Donde, a igualdade ocorre se, e somente se, ab = ac = bc. Ou seja, a = b = c. Desta forma,
temos
S
2

(abc)

Logo, o maior volume possvel V =

S
6

2
3

32

  32
S
V
.
6
e isso ocorre quando a = b = c.

39

Aplicao 4. (Cilindro de rea Mnima). Prove que o cilindro circular reto de volume V fixado,
que tem a menor rea de superfcie aquele cujo dimetro igual sua altura.
Demonstrao. Seja o cilindro abaixo de Volume V , rea superficial S, raio da base r e altura
h.

Figura 3.2: Cilindro de volume fixo

Temos que
S = 2 r2 + rh

e V = r2 h.

Assim, temos tambm que



V
2
S = 2 r +
r


V
V
2
= 2 r +
+
.
2r 2r
Aplicando agora a desigualdade M A M G, obtemos
r


 2  13
V
V
V
V
V
3
2
2
r +
.
+
3 r

=3
2r 2r
2r 2r
4 2
1
V2 3
V
Logo, Smin = 6
. E isso ocorre quando r2 =
, ou seja, V = 2r3 .
2
4
2r
Mas isso implica que 2r3 = r2 h. Portanto, a rea mnima ocorre quando


2r = h.

40

Aplicao 5. (Tringulo de rea Mxima). Prove que entre todos os tringulos de lados a, b e
c com permetro fixo p = a + b + c, o de maior rea o tringulo equiltero.

Figura 3.3: Tringulo de rea Mxima

Demonstrao. Seja o tringulo acima de lados a, b e c e rea S. Temos, pela frmula de Hern,
que
r 
 p
 p

p p
a
b
c .
S=
2 2
2
2
Temos ainda, aplicando-se a Desigualdade M A M G, que
p
2

a +

p
2

b +
3

p
2

r
p
3

 p
2

 p
2


c .

Ou seja,
p
2

 p
2

 p
2


c
=

p
2

a+

p
2

b+
27

p
2

3

(p/2)3
.
27

Desta forma, teremos ento

s
S

Portanto, a rea mxima S =

p (p/2)3
p2

= .
2
27
12 3

p2
, a qual atingida quando
12 3

p
p
p
a = b = c a = b = c.
2
2
2
E isso implica que a rea mxima ocorre quando o tringulo equiltero, o que queramos provar.

41

Aplicao 6. (Equao da Reta Tangente a Uma Elipse). Prove que a equao da reta tangente
x2 y 2
a uma elipse da forma 2 + 2 = 1 em um ponto (x1 , y1 ) dada por
a
b
xx1 yy1
+ 2 = 1.
a2
b

Figura 3.4: Elipse com reta tangente

Demonstrao. Suponha que a elipse da figura acima seja dada pela equao
x2 y 2
+ 2 = 1,
a2
b
e seja (x1 , y1 ) o ponto de tangncia da reta r : mx + ny = k, onde m e n so fixos com
m2 + n2 6= 0, e k uma constante real. Como o ponto (x1 , y1 ) pertence a elipse ento
x21 y12
+ 2 = 1.
a2
b
Por outro lado, como (x1 , y1 ) tambm um ponto da reta tangente ento
mx1 + ny1 = k.
Como queremos que a reta r seja uma reta tangente, ento sua distncia d origem deve ser
mxima. Donde sabemos que
d=

|k|
|mx1 + ny1 |
=
.
2
2
m +n
m2 + n2

Precisamos ento saber sob quais condies d mximo. Para isso, aplicando-se a Desigualdade

42

de Cauchy, temos




y
x
1
1
 (am)

+
(bn)

|mx1 + ny1 |
a
b

d=
=
m2 + n2
m2 + n2
1/2  2
1/2
 2 2
x1 y12
a m + b2 n 2

+ 2
m2 + n2
a2
b
 2 2

2 2 1/2
a m +b n
=
.
m2 + n2

Assim, temos que dmax =

a2 m 2 + b 2 n 2
m 2 + n2

1/2
e isso ocorre se, e somente se,

y1 /b
x1 /a
=
= c,
am
bn
onde c uma constante de proporcionalidade. Mas isso implica que
m=

cx1
a2

n=

cy1
.
b2

Logo, temos
 cx 
1
2
a

x+

 cy 
1
2
b

y = k.

Ou seja,
xx1 yy1
k
+
=
.
a2
b2
c
k
Mas, como (x1 , y1 ) pertence elipse, ento = 1, e disso conclumos que a equao da reta
c
tangente procurada
xx1 yy1
+ 2 = 1.
a2
b

43

3.2

Problemas de Olimpadas

Aplicao 7. (IM O, 1995) Sejam a, b e c nmeros reais positivos tais que abc = 1. Prove que

a3

1
1
1
3
+ 3
+ 3
.
(b + c) b (a + c) c (a + b)
2

Demonstrao. Pelo corolrio (3.4) do Teorema (4.5), temos que

1
1
1
1
1
1
a2
b2
c2
+
+
=
+
+
a3 (b + c) b3 (a + c) c3 (a + b)
a (b + c) b (a + c) c (a + b)

2
1
+ 1b + 1c
a

2 (ab + bc + ca)

2
bc + ca + ab
1
=

abc
2 (ab + bc + ca)
ab + bc + ca
=
2 (abc)
ab + bc + ca
=
.
2

Usando agora a Desigualdade entre as mdias M A M G com trs variveis temos tambm
que
p
3 3 (ab bc ca)
ab + bc + ca
ab + bc + ca
3
ab bc ca

3
2
q 2
3 3 (abc)2
ab + bc + ca

2
2
ab + bc + ca
3

, pois abc = 1.
2
2
Logo,

a3

1
1
1
3
+ 3
+ 3
.
(b + c) b (a + c) c (a + b)
2

Aplicao 8. (Rssia, adaptada). Mostre que

52014 + 62014 < 72014 .
Demonstrao. Como 52014 + 62014 < 2 62014 , ento basta mostrarmos que 2 62014 < 72014 .
Pela Desigualdade de Bernoulli, podemos escrever que

44

2014
 2014 
1
2014
7
= 1+
1+
> 2.
6
6
6
Mas isso implica que 2 62014 < 72014 . Portanto, 52014 + 62014 < 72014 .
Aplicao 9. (OME, 2008). Sejam a,b,c trs nmeros positivos de soma igual a 1. Demonstre
que
2 +2ac

aa

bb

2 +2ab

cc

2 +2bc

1
.
3

Demonstrao. Por ser a + b + c = 1 ento temos que

(a + b + c)2 = a2 + b2 + c2 + 2ab + 2ac + 2bc = 1.
Temos tambm


1
1
1
2 1
2 1
2 1
a + b + c + 2ab + 2bc + 2ac
= 3.
a
b
c
b
c
a
Mas isso implica que


1
1
1
2 1
2 1
2 1
ln a + b + c + 2ab + 2bc + 2ac
= ln 3.
a
b
c
b
c
a
Assim, aplicando-se a Desigualdade de Jensen para a funo f (x) = ln x, que cncava em
seu domnio para x > 0, como foi demonstrado no exemplo 3.2, temos:
ln 3 =

=
=
=



1
1
1
2 1
2 1
2 1
ln a + b + c + 2ab + 2bc + 2ac
a
b
c
b
c
a
 
 
 
 
 
 
1
1
1
1
1
1
2
2
2
a ln
+ b ln
+ c ln
+ 2ac ln
+ 2ab ln
+ 2bc ln
a
b
c
a
b
c
 a2
 b2
  c2
 2ac
 2ab
 2bc
1
1
1
1
1
1
ln
+ ln
+ ln
+ ln
+ ln
+ ln
a
b
c
a
b
c
 a2 +2ac
 b2 +2ab
 c2 +2bc
1
1
1
ln
+ ln
+ ln
a
b
c
"  2
#
a +2ac  b2 +2ab  c2 +2bc
1
1
1

.
ln
a
b
c

Mas disso temos, por ser f (x) = ln x injetiva, que

 a2 +2ac  b2 +2ab  c2 +2bc
1
1
1

3.
a
b
c

45

Ou seja,
2 +2ac

aa

bb

2 +2ab

2 +2bc

cc

1
.
3

Aplicao 10. (Iran, 1998). Sejam x1 , x2 , x3 e x4 nmeros reais positivos tais que x1 x2
x3 x4 = 1. Prove que
x31

x32

x33

x34



1
1
1
1
max x1 + x2 + x3 + x4 ,
+
+
+
.
x1 x2 x3 x4

Demonstrao. Seja S = x31 + x32 + x33 + x34 e Si = S x3i , para 1 i 4. Temos:

S=

4S (x31 + x32 + x33 + x34 )

4S S
=
3
3
3
(S x1 ) + (S x32 ) + (S x33 ) + (S x34 )
=
3
1
=
(S1 + S2 + S3 + S4 ) .
3

Usando agora a Desigualdade M A M G obtemos

1
1 3
S1 =
x2 + x33 + x34
3
3

q
1
3
x32 x33 x34 = x2 x3 x4 = .
x1

E prosseguindo de forma anloga possvel obter tambm que

1
1
S3
3
x3

1
1
S2 ,
3
x2

1
1
S4 .
3
x4

Logo, temos que

S

1
1
1
1
+
+
+ .
x1 x2 x3 x4

Por outro lado, se usarmos a Desigualdade de Tchebyshev obtemos

4 x31 + x32 + x33 + x34 x21 + x22 + x23 + x24 (x1 + x2 + x3 + x4 ) .
Mas, novamente pela Desigualdade M A M G tambm vlido que
x21 + x22 + x23 + x24

4
x21 x22 x23 x24 = x1 x2 x3 x4 = 1.

Ou seja,
x21 + x22 + x23 + x24 4.
46

(3.1)

E isso implica diretamente em

S x1 + x 2 + x3 + x4 .

(3.2)

Portanto, pelos resultados (3.1) e (3.2), temos que



1
1
1
1
+
+
+
.
S max x1 + x2 + x3 + x4 ,
x1 x2 x3 x 4

Aplicao 11. (APMO, 2003). Sejam a, b e c os lados de um tringulo, com a + b + c = 1 e

n 2 um inteiro. Prove que
p
n

(an

bn )

p
p
+ n (bn + cn ) + n (cn + an ) < 1 +

n
2
.
2

Demonstrao. Como a, b e c so lados de um tringulo ento existem nmeros positivos x,

a+cb
,
y, z tais que a = x + y, b = y + z e c = x + z. De fato, basta tomarmos x =
2
a+bc
b+ca
1
y=
e z=
. E com isso obtemos facilmente que x + y + z = . Assim,
2
2
2
usando a Desigualdade de Minkowski, temos
1

(an + bn ) n = [(x + y)n + (y + z)n ] n (xn + z n ) n + (2y n ) n

1
n
< ((x + z)n ) n + y 2

n
= c+y 2
Ou seja,

n
an + bn < c + y 2.

Prosseguindo de modo anlogo, podemos obter

n
n
bn + cn < a + z 2 e n cn + an < b + x 2.

Portanto,
p

n
n
n
(an + bn ) + bn + cn + n cn + an < a + b + c + 2 (x + y + z) = 1 +

47

n
2
.
2

Aplicao 12. (Desigualdade de Nesbitt). Mostre que para todo a, b, c R+ , vlido que
a
b
c
3
+
+
.
b+c c+a a+b
2
Demonstrao.
1) (Pela Desigualdade do Rearranjo). Sem perda de generalidade assumiremos que a b c.
Assim, temos que a + b c + a b + c, o que implica
1
1
1

.
b+c
c+a
a+b
Aplicando duas vezes a Desigualdade do Rearranjo, obtemos que

a
b
c
b
c
a
+
+

+
+
b+c c+a a+b
b+c c+a a+b
a
b
c
c
a
b
+
+

+
+
b+c c+a a+b
b+c c+a a+b
Adicionando-se estas duas inequaes ganhamos que

2

a
b
c
+
+
b+c c+a a+b

b+c c+a a+b

+
+
b+c c+a a+b


=3

Logo,
b
c
3
a
+
+
.
b+c c+a a+b
2
2) (Pela Desigualdade de Cauchy-Schwarz). Fazendo:

a1 =

b + c,

a2 =

1
,
b+c

b2 =

b1 =

c + a,
1
,
c+a

a3 =
e

b3 =

a+b

1
a+b

Temos:


((b + c) + (c + a) + (a + b))

1
1
1
+
+
b+c c+a a+b

48

(1 + 1 + 1)2 = 9

Ou seja,


1
1
1
2(a + b + c)
+
+
9
b+c c+a a+b


1
1
1
9
(a + b + c)
+
+

b+c c+a a+b

2
9
a+b+c a+b+c a+b+c
+
+

b+c
c+a
a+b
2
a
b
c
9
3

+
+
3=
b+c c+a a+b
2
2
Com igualdade se, e somente se, (b + c)2 = (c + a)2 = (a + b)2 . Ou seja, a = b = c.
(3) (Pela Desigualdade M A MH). Sejam os nmeros positivos a + b, c + a e a + b. Temos,

3
(b + c) + (c + a) + (a + b)
1
1
1
3
+ c+a
+ a+b
b+c


1
1
1
2(a + b + c)
+
+
9.
b+c c+a a+b
E a partir da segue da mesma forma como na demonstrao anterior.

3.3

Desigualdades Geomtricas

Aplicao 13. Demonstre que

a2 + b 2 + c 2
,
6
onde a, b, c so os lados de um tringulo e S, sua rea.
S

ab sen
, onde o ngulo entre os lados a e b. Como
2
ab
vlido que sen 1, temos tambm que S . Pela desigualdade MG-MQ temos ainda que
2
a2 + b 2
ab
. Assim,
2
Demonstrao. Sabemos que S =

a2 + b 2
.
4

E de forma anloga podemos obter que

S

a2 + c 2
4

e S

49

b2 + c 2
.
4

Logo, adicionando-se membro a membro estas trs ltimas desigualdades obtemos

a2 + b 2 + a2 + c 2 + b 2 + c 2
3S
4
2 (a2 + b2 + c2 )
=
4
a2 + b 2 + c 2
.
=
2
Portanto,
S

a2 + b 2 + c 2
.
6

Aplicao 14. (Desigualdade de Euler). Prove que R 2r, onde R e r so respectivamente, o

raio do crculo circunscrito e inscrito a um tringulo.
Demonstrao. Considere um tringulo de rea S, semi-permetro p e lados a, b, c opostos,
respectivamente, aos vrtices A, B e C. Aplicando a desigualdade M A M G para os nmeros
reais positivos p b e p c, temos que
p
(p b) + (p c) 2 (p b) (p c).
Mas,
a+b+c
a+b+c
b+
c
2
2
a+cb a+bc
+
=
2
2
= a.

(p b) + (p c) =

Assim,
p
a 2 (p b) (p c).
De forma anloga podemos obter tambm que
p
p
b 2 (p a) (p c) e c 2 (p a) (p b).
Multiplicando-se os lados, esquerdo e direito, destas trs desigualdades obtemos
abc 8 (p a) (p b) (p c) .
Como sabemos que 4RS = abc,

S2
= (p a) (p b) (p c) e tambm S = pr, ento
p
50

temos que
abc 8 (p a) (p b) (p c)
S2
4RS 8
p
S
4RS 8 S
p
4RS 8rS
R 2r.

Aplicao 15. Seja ABC um tringulo de baricentro G. Denotando-se por ga , gb , gc as

distncias de G aos lados a,b e c, respectivamente, mostre que se r o raio da circunferncia
inscrita, ento:
2r
2r
2r
, gb , gc
3
3
3
ga + gb + gc
ii)
3
r
i) ga

Figura 3.5: ABC de baricentro G

Demonstrao. (i) Seja a figura acima. Sabemos que ao unir o ponto G aos vrtices A,B,C
obtemos trs tringulos de mesma rea: AGB, de base c e altura gc , AGC de base b e altura
gb e BGC de base a e altura ga .
Assim, sendo S a rea do tringulo ABC temos que
a ga
b gb
c gc
S
=
=
= .
2
2
2
3
Ou seja,
a ga = b gb = c gc =
51

2S
.
3

Como tambm sabemos que S =

ento

(a + b + c)
r, onde r o raio da circunferncia inscrita,
2

a+b+c
a
a+b+c
gb =
b
a+b+c
gc =
c

ga =

r
3
r

3
r

E, por ser b + c a (Desigualdade Triangular), temos

a+b+c
b+c
= 1+
a
a
a
1+
a
= 2.
Logo,
2r
.
3
Usando as outras duas desigualdades triangulares mostra-se de forma anloga que
ga

2r
2r
e gc .
3
3
(ii) Pela Desigualdade entre as mdias aritmtica e harmnica, temos:
gb

ga + gb + gc

3
=
=
Logo,

3
1
ga

1
gb

1
gc

3
3a
(a+b+c)r

3
3
r

3b
(a+b+c)r

3c
(a+b+c)r

= r.

ga + gb + gc
3.
r

Aplicao 16. Demonstre que para um tringulo de rea S e lados a, b, c vlido que
(a + b + c)2
S
.
16
p
Demonstrao. Como sabemos que S = p (p a) (p b) (p c) onde p o semi-permetro
52

de um tringulo de lados a, b, c, ento pela desigualdade M A M G, temos que

S =

=
=
=

p
4
p (p a) (p b) (p c)
p + (p a) + (p b) + (p c)
4
4p (a + b + c)
4
2 (a + b + c) (a + b + c)
4
a+b+c
.
4

a+b+c
Portanto, sendo S =
, temos a desigualdade desejada, pois basta elevar ambos os
4
membros ao quadrado.
Aplicao 17. Prove que para todo paraleleppedo reto de arestas a, b, c e diagonal d, se cumpre a desigualdade

a + b + c d 3.
Demonstrao. Pela Desigualdade de Cauchy-Schwarz temos que
(a + b + c)2 = (1 a + 1 b + 1 c)2




12 + 12 + 12 a2 + b2 + c2


= 3 a2 + b 2 + c 2 .
Como sabemos que para todo paraleleppedo reto de diagonal d vlido que d2 = a2 + b2 + c2 ,
ento

(a + b + c)2 3d2 a + b + c d 3.

Aplicao 18. Prove que para todo tringulo retngulo vlido que


h 1 + 2 r,
onde h a altura, a a hipotenusa e r o raio da circunferncia inscrita no tringulo.
Demonstrao. Sejam a, b, c respectivamente, a hipotenusa e os catetos de um tringulo retngulo. Pela desigualdade de Cauchy-Schwarz, podemos dizer que
(a + b)2 = (1 a + 1 b)2




12 + 12 a2 + b2 = 2c2 .
Mas isso implica em
a+b
53

2c.

Sendo S a rea do tringulo, sabemos que

S=

ch
a+b+c
e S=
r.
2
2

Logo, podemos deduzir

h=

a+b+c
2S
=
r
c
c
2c+c

r
 c 
=
2 + 1 r.

Aplicao 19. Demonstre que

ha + hb + hc 9 r,
onde ha , hb e hc so as alturas de um tringulo qualquer e r o raio da circunferncia inscrita
nele.
Demonstrao. Primeiramente note que vlida a igualdade
1
1
1
1
+
+
= ,
ha hb hc
r
pois sabemos que a rea S de um tringulo de lados a, b, c pode ser dada pelas frmulas
a ha
b hb
c hc
=
=
= pr,
2
2
2
onde p o semi-permetro do tringulo. E, disso temos
S=

1
1
1
a
b
c
p
1
+
+
=
+
+
= = .
ha hb hc
2S 2S 2S
S
r
Agora, usando a desigualdade M A M G e M H M G, podemos escrever
ha + hb + hc 3

p
3
ha hb hc e

1
1
1
3
.
+
+

3
ha hb hc
ha hb hc

De onde podemos obter


(ha + hb + hc )

1
1
1
+
+
ha hb hc

Portanto,
ha + hb + hc 9r.

54


9.

Aplicao 20. Se S a rea de um quadriltero inscrito em uma circunferncia e p, seu semipermetro. Mostre que
p2
S .
4
Demonstrao. Seja um quadriltero inscrito em uma circunferncia. Como podemos expressar sua rea S por
p
S = (p a) (p b) (p c) (p d),
onde a, b, c, d so os lados do quadriltero, ento podemos deduzir atravs da desigualdade
M A M G que
p

S = 4 (p a) (p b) (p c) (p d)
(p a) + (p b) + (p c) + (p d)

4
4p (a + b + c + d)
=
4
4p 2p
=
4
p
=
.
2
Logo,
S

p2
.
4

Aplicao 21. Seja S a rea de um tringulo de lados a, b, c. Mostre que:

i) a2 + b2 + c2 4 3 S

1
3
1
1
ii) 2 + 2 + 2
ha hb hc
S



1
1
1
2
2
2
iii) a + b + c
+
+
12.
h2a h2b h2c
Demonstrao. (i) Pela desigualdade entre as mdias M QM G para duas variveis temos que
ab sen
a2 + b2 2ab. Temos tambm que a rea S de um tringulo pode ser dada por S =
,
2
onde o ngulo entre os lados a e b e, pela Lei dos Cossenos, vlida ainda a igualdade:
c2 = a2 + b2 2ab cos . Ento,
a2 + b2 + c2 = a2 + b2 + a2 + b2 2ab cos


= 2 a2 + b2 ab cos
2 (2ab ab cos )
= 2ab (2 cos )
4S
=
(2 cos ) .
sen
55

Com isso, para finalizar a demonstrao, precisamos mostrar que

(2 cos )
3.
sen
Vejamos:


Como verdade que sen +
1, ento
6

3
1
sen + cos 1
2
2

3 sen + cos 2
(2 cos )

3.
sen
Portanto, a desigualdade (i) vlida.
(ii) Por trigonometria temos
ha = b sen C e hb = a sen C.
E isso implica que
1
1
1
1
+ 2 = 2
+ 2
2
2
ha hb
b sen C a sen 2 C
a2 + b 2
= 2 2
a b sen 2 C
a2 + b 2
=
,
4S 2
pois a rea pode ser dada por S =
De forma anloga, podemos obter

ab sen C
.
2

1
1
a2 + c 2
1
1
b2 + c 2
+
=
e
+
=
.
h2a h2c
4S 2
h2b h2c
4S 2
Assim, adicionando-se esses trs resultados, obtemos


1
1
1
2 (a2 + b2 + c2 )
2
+
+
=
.
h2a h2b h2c
4S 2
Ou seja,
1
1
1
(a2 + b2 + c2 )
+
+
=
.
h2a h2b h2c
4S 2

56

Finalmente, pelo que foi provado em (i), temos

1
1
1
3
.
+ 2+ 2
2
ha hb hc
S
Para provar o item (iii) basta multiplicar membro a membro as desigualdades provadas em
(i) e (ii).

3.4
3.4.1

Clculo de Limites
O Nmero e

O nmero e desempenha um papel muito importante em Matemtica, ele considerado uma

das constantes mais ubquas na Anlise Matemtica. Vamos fazer a demonstrao de alguns
resultados e em seguida defini-lo. Vejamos:
Aplicao 22. Mostre que para quaisquer valores de a e b (a 6= b) vlida a igualdade

n+1

a bn <

a + nb
.
n+1

Demonstrao. Pela desigualdade M A M G temos que

a bn =

n+1

r
a |b b {z
b ... }b

n+1

z
}|
{
a + b + b + + b
<
n+1
a + nb
=
.
n+1
E isso o que queramos mostrar.
Aplicao 23. Prove que a medida que n aumenta, tambm aumentam as sequncias

xn =

1
1+
n

n


n
1
e zn = 1
,
n

ou seja,
xn < xn+1


= 1+

1
n+1

n+1


e zn < zn+1 =

57

1
1
n+1

n+1
.

Demonstrao. Fazendo a = 1 e b = 1 +
s
n+1

1
na desigualdade provada acima, temos:
n

1
1 1+
n

n

1+n 1+
<
n+1

1
n

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

De onde resulta que


n 
n+1
1
1
1+
< 1+
,
n
n+1
ou seja,
xn < xn+1 .


1
A segunda desigualdade demonstra-se de forma similar, basta fazer a = 1 e b = 1
.
n

n+1
1
Aplicao 24. Prove que yn = 1 +
decresce a medida que n aumenta, ou seja,
n

n+2
1
yn > yn+1 = 1 +
.
n+1
Demonstrao. Temos

yn =

1
1+
n

n+1


=
=

n+1
n+1
n
1

n+1
n

n+1

=
=

1
1
1 n+1
1
.

n+1

zn+1

Logo, como zn aumenta medida que n aumenta, ento resulta que yn decresce quando o
mesmo acontece.

58

Pelo que foi demonstrado nestas duas ltimas aplicaes temos que

x1 =

1
1+
1

= 2 < x2


2
1
=
1+
2
= 2, 25 < x3 < x4 < < xn < ,

= 4 > y2

3

1
=
1+
2
= 3, 375 > y3 > y4 > > yn > .

e

y1 =

1
1+
1

2

E disso temos tambm que

n 
n+1

1
1
< 1+
= yn < y1 = 4.
2 = x1 < xn = 1 +
n
n
Assim, xn satisfaz as seguintes condies:
i) xn cresce monotonamente medida que n aumenta;
ii) xn limitada, pois 2 < xn < 4.
Como sabemos que toda sequncia montona e limitada convergente, ento xn convergente. O limite de xn representado pela letra e, ou seja,


1
e = lim xn = lim 1 +
n

n
.

Assim, temos que

n

1
e > xn = 1 +
n

(3.3)

e tambm que e < 3.

De fato, a medida que n aumenta temos que xn tambm aumenta e tende a e, logo xn <
lim xn = e e,

6
1
xn < yn < y5 = 1 +
= 2, 985984.
5
Donde podemos concluir
e = lim xn 2, 985984 < 3.

59

O nmero e desempenha um importante papel em Matemtica. Ele um nmero irracional

usado, por exemplo, como base de logaritmos denominados logaritmos naturais. As variantes
do nome do nmero incluem: nmero de Napier, constante de Nper, nmero neperiano, e
nmero exponencial, etc. A primeira referncia constante foi publicada em 1618 na tabela
de um apndice de um trabalho sobre logaritmos de John Napier. No entanto, este no contm
a constante propriamente dita, mas apenas uma simples lista de logaritmos naturais calculados
a partir da constante. Supe-se que a tabela foi escrita por William Oughtred. A primeira
indicao da constante
por Jakob Bernoulli em 1690 na tentativa de encontrar
 foidescoberta
n
1
e hoje j conhecido com mais de um trilho de casas decimais.
um valor para lim 1 +
n
Temos
e = 2, 71828182845904523536028747135266249775724709369995...
Note que temos tambm
n+1
1
= lim 1 +
n


n

1
1
lim 1 +
= lim 1 +
n
n
= e 1 = e.


lim yn

E isso implica em

n+1
1
1+
> e,
n

(3.4)

pois foi demonstrado que yn decresce medida que n cresce.

Logo,

n

n+1
1
1
1+
<e< 1+
.
n
n

(3.5)

Note ainda que se aplicarmos o logaritmo de base e nesta ltima desigualdade obtemos



1
1
1
< ln 1 +
< .
n+1
n
n

60

(3.6)

Pois,

n

n+1




1
1
1
1
1+
<e< 1+
n ln 1 +
< ln e = 1 < (n + 1) ln 1 +
n
n
n
n
1

< (n + 1)
n<
ln 1 + n1


1
1
1

< ln 1 +
< .
n+1
n
n
Aplicao 25. Encontre lim zn , onde
z1

z2

z3

1
1+ ,
2
1 1
+ +
2 3
1 1
+ +
3 4

1
,
4
1 1
+ ,
5 6

zn

1
1
1
1
+
+
+ + .
n n+1 n+2
2n

Demonstrao. Tomando-se n1 no lugar de n no lado esquerdo da desigualdade do problema

anterior temos:




1
1
n
< ln 1 +
= ln
.
n
n1
n1
Por este resultado e pela outra parte da desigualdade demonstrada anteriormente, resulta que

ln

n+1
n

1
< < ln
n

n
n1


.

Assim, temos

n+1
<
ln
n


n+2
ln
<
n+1


n+3
<
ln
n+2


2n + 1
ln
<
2n



n
< ln
,
n1


1
n+1
< ln
,
n+1
n


1
n+2
< ln
,
n+2
n+1


1
2n
< ln
.
2n
2n 1
1
n

61

(3.7)

Somando-se estas desigualdades membro a membro, obtemos


(n + 1) (n + 2) (n + 3) (2n + 1)
ln
n (n + 1) (n + 2) 2n


1
1
1
n (n + 1) (n + 2) 2n
< +
+ +
< ln
.
n n+1
2n
(n 1) n (n + 1) (2n 1)
Ou seja,

ln

2n + 1
n

1
1
1
< +
+ +
< ln
n n+1
2n

2n
n1


.

Como



1
2n + 1
= lim ln 2 +
= ln 2;
i) lim ln
n
n




2n
2
ii) lim ln
= lim ln 2 +
= ln 2.
n1
n1


Ento, pelo Teorema do Confronto, segue que


lim

1
1
1
+
+ +
n n+1
2n


= lim zn = ln 2.

Aplicao 26. Calcule lim xn , onde

x1

x2

x3

1,
1
1 ,
2
1 1
1 + ,
2 3

xn

1 1 1 1
1
+ + + (1)n1 .
2 3 4 5
n

Demonstrao. Note que:

1 1 1 1
1
1

x2n = 1 + + +
2n 1 2n 
 2 3 4 5


1 1 1 1
1
1
1 1 1
1
1
=
1 + + + + + +
+
2
+ + + +
+
2 3 4 5
2n 1 2n
2 4 6
2n 2 2n

 

1 1 1 1
1
1
1 1
1
1
=
1 + + + + + +
1 + + + +
+
+
2 3 4 5
2n 1 2n
2 3
n1 n
1
1
1
1
=
+
+ +
+ .
n+1 n+2
2n 1 2n

62

Pelo problema anterior temos que

x2n = zn

1
.
n

E,
lim x2n



1
1
= lim zn lim = ln 2 0 = ln 2.
= lim zn
n
n

Note ainda que

x2n+1 = x2n +

1
2n + 1

e tambm,
lim x2n+1


= lim x2n +

1
2n + 1


= lim x2n + lim

1
= ln 2 + 0 = ln 2.
2n + 1

Logo,
lim xn = ln 2.

1
1
1
1
Aplicao 27. Sendo xn = +
+
+ + , onde k um nmero inteiro positivo,
n n+1 n+2
kn
mostre que
lim xn = ln k.
Demonstrao. Seja k um nmero inteiro positivo. Variando o valor de n na desigualdade (3.7)
podemos escrever que




n+1
1
n
ln
< < ln
,
n
n
n1




n+2
1
n+1
ln
<
< ln
,
n+1
n+1
n




n+3
1
n+2
ln
<
< ln
,
n+2
n+2
n+1





kn
1
kn 1
ln
<
< ln
,
kn 1
kn 1
kn 2




kn + 1
1
kn
ln
<
.
< ln
kn
kn
kn 1

Somando-se essas desigualdades, encontramos

63


ln

(n + 1) (n + 2) ... kn (kn + 1)
n (n + 1) (n + 2) ... (kn 1) kn

1
1
1
1
1
+
+
+ +
+
n n+1 n+2
kn 1 kn


n (n + 1) (n + 2) ... (kn 1) kn
< ln
.
(n 1) n (n + 1) (kn 2) (kn 1)
<

Ou seja,

ln

kn + 1
n

1
1
1
1
1
< +
+
+ +
+
< ln
n n+1 n+2
kn 1 kn

kn
n1


.

Como



1
kn + 1
= lim ln k +
= ln k
i) lim ln
n
n




kn
k
ii) lim ln
= lim ln k +
= ln k,
n1
n1


ento pelo Teorema do Confronto podemos concluir que


lim

1
1
1
1
+
+
+ +
n n+1 n+2
kn



1
= lim ln k +
= ln k.
n

Aplicao 28. Sendo

xn = 1 + 2 p + 3 p + + n p .
Mostre que
lim

xn
1
=
, p > 0.
p+1
n
p+1

Demonstrao. Primeiramente vamos fazer a demonstrao do lema abaixo, e em seguida provaremos o resultado do limite pedido.
Lema 3.1. Para todo p > 0 vlido que
np+1
(n + 1)p+1
< 1 + 2 p + 3 p + + np <
.
p+1
p+1
Demonstrao. Sendo p > 0, temos que p + 1 > 1. Assim, pela Desigualdade de Bernoulli,
temos

1+p

1+p
1
1+p
1
1+p
1+
>1+
e
1
>1
.
n
n
n
n
64

Donde, multiplicando-se estas desigualdades por n1+p , obtemos

(n + 1)p+1 > np+1 + np (p + 1)

(n 1)p+1 > np+1 np (p + 1) .

Isolando-se np nestas duas desigualdades, obtemos ainda que

(n + 1)p+1 np+1
np+1 (n 1)p+1
< np <
.
p+1
p+1
Com isso, para n = 1, 2, 3, ..., n, podemos escrever as desigualdades:
1
2p+1 1
< 1 <
,
p+1
p+1
2p+1 1
3p+1 2p+1
< 2p <
,
p+1
p+1

p+1
p+1
(n + 1)p+1 np+1
n
(n 1)
< np <
.
p+1
p+1
Donde, somando-se todas, obtemos
np+1
(n + 1)p+1 1
(n + 1)p+1
p
p
p
< 1 + 2 + 3 + + n <
<
.
p+1
p+1
p+1

Vamos agora retomar a demonstrao da aplicao 28. Dividindo-se a desigualdade demonstrada no lema acima por np+1 , obtemos

p+1
1 + n1
1
1 + 2 p + 3 p + + np
<
<
.
1+p
np+1
p+1
Como temos:
1
1
=
1+p
1+p

p+1
1 + n1
1
=
ii) lim
p+1
1+p
i) lim

Ento, pelo Teorema do Confronto, podemos afirmar que

lim

xn
1
=
.
p+1
n
p+1

65

Aplicao 29. (Srie Harmnica). Prove que a srie

1+

1 1 1
1
+ + + + +
2 3 4
n

divergente.
Demonstrao. Por (3.6), temos que
1
> ln
n

n+1
n


.

Com isso, para n = 1, 2, 3, ..., n, podemos escrever as desigualdades:

1
1
2
1
3
1
n

 
2
> ln
,
1
 
3
> ln
,
2
 
4
> ln
,
3



n+1
> ln
.
n

Somando-se estas desigualdades, obtemos:

 
 
 


2
3
4
n+1
+ ln
+ ln
+ + ln
1
2
3
n


2 3 4 ... (n + 1)
= ln
1 2 3 ... n
= ln (n + 1) .

1
1 1 1
> ln
xn = 1 + + + + +
2 3 4
n

Mas isso implica que

lim xn lim ln (n + 1) = .
E isso prova que a Srie Harmnica diverge.
Observao 3.1. A demonstrao de que esta srie diverge foi feita pela primeira vez por
Oresme. E se fssemos capazes de somar cada termo dela em um segundo de tempo, ao final
de 1 sculo, o valor da soma chegaria a pouco mais de 22, de acordo com [17].
Aplicao 30. Demonstre que a srie
1+

1
1
1
+ p + + p +
p
2
3
n

converge para todo p > 1.

66

Demonstrao. Seja a sucesso das somas parciais:

x1

x2

x3

x4

1,
1
,
2p
1
1+ p +
2
1
1+ p +
2
1+

1
,
3p
1
1
+
,
3p 4p

xn

1+

1
1
1
+ p + + p
p
2
3
n

fcil notar que

x1 < x2 < x3 < x4 < < xn <
Ou seja, temos uma sucesso de nmeros, montona crescente. Para a srie dada ser convergente, o limite da sucesso das somas parciais deve existir e ser finito. Com isso, precisamos
mostrar que alm de montona, temos tambm que a sucesso dos nmeros xn limitada. Vejamos:
Tomando-se
y2n = 1

1
1
1
1
1
1
1
+ p p + p p + +
.
p
p
2
3
4
5
6
(2n 1)
(2n)p

Observe que


y2n = 1

1
1
p
p
2
3

1
1
p
p
4
5

1
p
(2n 2) (2n 1)p

1
.
(2n)p

E mais, sem dificuldades percebe-se que y2n < 1, pois o resultado de todos os parenteses
positivo.
Por outro lado, temos
1
1
1
1
1
1
1
y2n = 1 p + p p + p p + +
p
2
3
4
5
6
(2n 1)
(2n)p


1
1
1
1
1
1
1
+
=
1 + p + p + p + p + p + +
2
3
4
5
6
(2n 1)p (2n)p


1
1
1
1
2 p + p + p + +
2
4
6
(2n)p


1
1
1
1
1
1
1
=
1 + p + p + p + p + p + +
+
2
3
4
5
6
(2n 1)p (2n)p


2
1
1
1
p 1 + p + p + + + p .
2
2
3
n
67

Assim,

2
xn .
2p
< 1, podemos escrever que
y2n = x2n

Por ser x2n > xn e y2n

1 > y2n

2
2
= x2n p xn > xn p xn =
2
2

2p 2
2p

Ou seja,


2p 2
2p


xn < 1 xn <

2p
.
2p 2

E isso completa a demonstrao, pois xn limitada, sempre que p > 1.

68

xn .

Consideraes Finais

Ao longo deste trabalho podemos apreciar algumas demonstraes matemticas, alm

da motivaes geomtricas para estas, de diversas desigualdades matemticas e algumas de suas
aplicaes. Devido ao fato do tema ser muito extenso e com diversos graus de dificuldade, a
escolha de motivaes das desigualdades demonstradas e utilizadas teve como guia a ubiquidade
de suas aplicaes e a proximidade com o ensino fundamental e mdio, assim como o comeo
dos cursos de graduao em Matemtica. Este trabalho tenta, dessa forma, contribuir para os
diversos nveis de ensino agregando-se pouca bibliografia existente na rea no nosso pas em
Lngua Portuguesa.

69

Referncias Bibliogrficas
[1] BECKENBACH, E.; BELLMAN, R. An Introduction to Inequalities. New Haven: The
Mathematical Association of American, 1975.
[2] CVETKOVSKI, Z. Inequalities: Theorems, Techniques and Selected Problems. Berlin:
Springer, 2012.
[3] DOLCE, O.; POMPEO, J. N. Fundamentos de Matemtica Elementar: geometria plana,
v.9, 8.ed. So Paulo: Atual, 2005.
[4] DOLCE, O.; POMPEO, J. N. Fundamentos de Matemtica Elementar: geometria espacial, v.10, 6.ed. So Paulo: Atual, 2005.
[5] GARBI, G. Usando determinantes para fatorar. Revista do Professor de Matemtica,
n.41. Rio de Janeiro: SBM, 1999.
[6] GOMES, C. A.; GOMES, J. M. Tpicos de Matemtica Elementar: Produtos Notveis,
Fatoraes e Desigualdades, v.1. Fortaleza: VestSeller, 2010.
[7] HEFEZ, A. Programa de Iniciao Cientfica da OBMEP: Induo Matemtica. Rio de
Janeiro, 2007.
[8] KAZARINOFF, M. D. Geometric Inequalities. New Haven: The Mathematical Association of American, 1975.
[9] KOROVKIN, P. P. Lecciones Populares de Matemticas: Desigualdades. Traduo de
Carlos Vega. Mosc: Editorial MIR, 1976. Original russo.
[10] LIMA, E. L. Curso de Anlise, v.1, 12.ed. Rio de Janeiro: Associao Instituto Nacional
de Matemtica Pura e Aplicada, 2007.
[11] LIMA, E. L. et al. A matemtica do Ensino Mdio, v.l, 9. ed. Rio de Janeiro: IMPA,
2006.
[12] LIMA, E. L. Anlise Real: Funes de Uma Varivel, v.1, 11.ed. Rio de Janeiro: IMPA,
2012.

70

[13] LIMA, E. L. et al. A matemtica do Ensino Mdio, v.2, 6. ed. Rio de Janeiro: SBM, 2006.
[14] MANFRINO, R. B.; ORTEGA, J. A. G.; DELGADO, R. V. Inequalities: A Mathematical
Olympiad Approach. Basel-Boston-Berlin: Birkhuser Verlag, 2009.
[15] NETO, A. C. M. Tpicos de Matemtica Elementar: Introduo Anlise, v.3. Rio de
Janeiro: SBM, 2012.
[16] OLIVEIRA, K. I. M.; FERNNDEZ, A. J. C. Iniciao Matemtica: um curso com
problemas e solues. Rio de Janeiro: SBM, 2012.
[17] REVISTA DO PROFESSOR DE MATEMTICA. Rio de Janeiro: SBM, 2008. Edio
Especial.
[18] REVISTA DO PROFESSOR DE MATEMTICA. Rio de Janeiro: SBM, v.2, 2009. Edio Especial.
[19] RIBENBOIM, P. Funes, Limites e Continuidade. Rio de Janeiro: SBM, 2012.
[20] STEELE, J. M. The Cauchy-Schwarz master class: an introduction to the art of mathematical inequalities. New York: Cambridge University Press, 2008.
[21] SUPRN, V. P. Matemtica para Estudiantes Preuniversitarios: mtodos no estndares
para la resolucin de ecuaciones y desigualdades. Espaa: Krasand, 2011.

71

Apndice A
Enunciados e demonstraes de teoremas
auxiliares
A.1

Densidade do Conjunto I em R

Primeiramente vamos mostrar a Propriedade Arquimediana dos nmeros reais, em seguida

iremos demonstrar que o conjunto Q denso em R, e por ltimo mostraremos que o conjunto I
tambm denso em R.
Teorema. (Propriedade Arquimediana) Para todo r R existe n N tal que n > r.
Demonstrao. Por contradio. Suponhamos que este resultado seja falso. Ento N limitado
superiormente por r, e consequentemente existe c = sup N. Assim, c 1 no cota superior
para N, e desta forma deve existir n N tal que n > c 1. Mas, n + 1 N e n + 1 > c. O que
uma contradio, uma vez que c cota superior para N.
Teorema. (Densidade dos Racionais) Se a < b em R, ento (a, b) Q 6= .
Demonstrao. Seja b a > 0. Pela Propriedade Arquimediana, podemos encontrar n N
nm
o
1
1
tal que n >
, ou seja,
< b a. Consideremos o conjunto A =
; m N , um
ba
n
n
subconjunto de Q. Afirmamos que A (a, b) 6= . Para isso, assuma o contrrio, assim deve
m1
m1 + 1
existir m1 , o maior dos valores naturais, tal que
< a. O que implica
> b. Mas
n
n
disso temos que
m1 + 1 m1
1
ba<

= < b a,
n
n
n
uma contradio. Logo, (a, b) Q 6= .
Teorema A.1. (Densidade dos Irracionais) Se a < b em R, ento (a, b) I 6= .
b
a
Demonstrao. Se a < b, ento < . Assim, deve existir r Q de maneira que
2
2

a
b
< r < , pois Q denso em R. Ou seja, a < r 2 < b. E isto completa a demonstrao,
2
2
j que r 2 I.
72

A.2

Teorema de Bolzano - Weirstrass

Teorema A.2. Toda sequncia montona limitada convergente.

Demonstrao. Seja (xn ) uma sequncia montona e limitada. Consideraremos (xn ) no decrescente, pois para os outros casos segue-se de forma anloga. Assim, temos
x1 x2 x3 K,
para um certo k > 0. Como o conjunto X = {x1 , x2 , x3 , ..., xn , ...} limitado, ento ele possui
uma menor cota superior c = sup X. Provaremos que lim xn = c. Vejamos: Seja  > 0 um real
qualquer. Como c  no mais cota superior de X, ento deve existir um xn0 X tal que
xn0 > c . Mas, por (xn ) ser no decrescente temos
xn0 xn0 +1 xn0 +2 ,
e com isso temos tambm que xn > c  para todo n n0 . E ainda,
c  < xn c < c + .
E isso equivale a dizer que
lim xn = c.

A.3

Teorema do Confronto

Teorema A.3. Sejam xn zn yn para todo n N. Se lim xn = lim yn = c ento lim zn = c.

Demonstrao. Seja  > 0 um nmero real qualquer. Como lim xn = lim yn = c, ento devem
existir n1 , n2 N tais que:
i) n > n1 c  < xn < c + ;
ii) n > n2 c  < yn < c + .
Tomando-se n0 = max {n1 , n2 }, temos que
(
n > n0

c  < xn < c + 
c  < yn < c + .

E tambm,
c  < xn zn yn < c + .
Portanto, lim zn = c.
73