Escolar Documentos
Profissional Documentos
Cultura Documentos
Trigonometria Pura Israel Meireles Chrisostomo
Trigonometria Pura Israel Meireles Chrisostomo
“ Nas questões matemáticas não se compreende a incerteza nem a dúvida, assim como
tampouco se podem estabelecer distinções entre verdades médias e verdades de grau superior. ”
(David Hilbert)
“ Sir, an equation has no meaning for me unless it expresses a thought of GOD. ”
(Srinivasa Ramanaujan)
1
1 Considerações iniciais
Neste artigo se encontram minhas soluções de alguns problemas que julguei
serem interessantes, seja por admitirem abordagens criativas em suas soluções,
seja pela generalidade na forma em que se apresentam, características que julgo
serem apropriadas para se avaliar a relevância de qualquer ideia em matemática.
O texto foi escrito, em sua maior parte, para alunos do ensino médio e
acredito que o aluno curioso não terá dificuldades em acompanhar o que está
escrito, pois certamente tentará demonstrar as desigualdades que aqui estão ou
terá a oportunidade de pesquisar, embora algumas partes exijam conhecimento
de graduação.
Os problemas que estão aqui foram retirados de diversos livros, e sempre
que possível, vou deixar a indicação, entre parênteses, de onde esses problemas
foram retirados.Quando não houver uma indicação clara entre parênteses de
onde o problema foi retirado, há um único motivo: isto se deve ao fato de eu ter
visto o problema alguma vez em um site, blog, PDF na internet, embora não
tenha me recordado de sua origem.
Minha sugestão é que o aluno resolva os problemas antes de olhar a solução,
tendo em vista que as desigualdades e relações do início do artigo foram propo-
sitalmente deixadas com o intuito de dar ao aluno a oportunidade de conhecer
relações que podem vir a ser necessárias, mas não indispensáveis, para resolver
os problemas.Em muitos casos, o leitor poderá encontrar soluções muito mais
simples para os problemas, ao leitor fica esse encargo.Por fim, espero que o leitor
possa aprender algo com o conteúdo desse PDF .
2
2 Desigualdades e Identidades importantes
Sejam alpha, beta e gamma ângulos de um triângulo, então, valem as desi-
gualdades:
α β γ 3
1.cosα + cosβ + cosγ ≤ sen + sen + sen ≤
2 2 2 2
√
α β γ 3 3
2.senα + senβ + senγ ≤ cos + cos + cos ≤
2 2 2 2
α β γ 1
3.cosαcosβcosγ ≤ sen sen sen ≤
2 2 2 8
√
α β γ 3 3
4.senαsenβsenγ ≤ cos cos cos ≤
2 2 2 8
α β γ 3
5.cos2 α + cos2 β + cos2 γ ≥ sen2 + sen2 + sen2 ≥
2 2 2 4
α β γ 9
6.sen2 α + sen2 β + sen2 γ ≤ cos2 + cos2 + cos2 ≤
2 2 2 4
α β γ √
7.cotα + cotβ + cotγ ≥ tan + tan + tan ≥ 3
2 2 2
3
Lei dos cossenos:
a2 = b2 + c2 − 2bccosα
1.cos2 α + sen2 α = 1
(2k + 1)π
2.1 + tan2 α = sec2 α ⇔ α 6= , ∀k ∈ Z
2
3.1 + cot2 α = csc2 α ⇔ α 6= kπ, ∀k ∈ Z
1 − tan2 α2
12.cosα =
1 + tan2 α2
13.cos2α = 2cos2 α − 1
14.cos2α = 1 − 2sen2 α
4
Sejam a1 , a2 , a3 , ..., an e b1 , b2 , b3 , ..., bn reais positivos, então valem as desi-
gualdades:
Desigualdade de Cauchy-Schwarz:
(a21 + a22 + a23 + ... + a2n )(b21 + b22 + b23 + ... + b2n ) ≥ (a1 b1 + a2 b2 + a3 b3 + ... + an bn )2
Desigualdade de Jensen:
Sejam I um intervalo da reta e f : I → R uma função.Sejam x1 , x2 , x3 , ..., xn ∈
I e λ1 , λ2 , λ3 , ..., λn ∈ [0, 1], e tal que λ1 + λ2 + λ3 + ... + λn = 1, valem as desi-
gualdades:
Se f é côncova:
Se f é convexa:
5
Desigualdade do rearranjo:
Desigualdade de Holder:
Sejam λa , λb , λc , ...., λz tais que λa +λb +λc +....+λz = 1,e a1 , a2 , a3 , ..., an , b1 , b2 , b3 , ..., bn , ..., z1 , z2 , z3 , ..., zn ,
reais positivos, vale que:
Desigualdade de Giroux:
Desigualdade de Bernoulli:
(1 + x)n ≥ 1 + nx
6
Desigualdade de Newton:
σk X
Seja dk = n , tal que σk = a1 a2 ..ak e k ∈ N|k ≤ n, então vale:
k sym
Desigualdade de Maclaurin:
σk X
Seja dk = n , tal que σk = a1 a2 ..ak , e k ∈ N|k ≤ n, então vale:
k sym
p p
3
p
n
d1 ≥ d2 ≥ d3 ≥ ... ≥ dn
Desigualdade de Schur:
Desigualdade de Muirhead:
Dizemos que uma sequência (a1 , a2 , a3 , ...an ) majora a sequência (b1 , b2 , b3 , ...bk )
quando a1 + a2 + a3 + ... + ak ≥ b1 + b2 + b3 + ... + bk , ∀k|1 ≤ k ≤ n − 1 e
a1 + a2 + a3 + ... + an = b1 + b2 + b3 + ... + bn , e denotamos isso por a1 + a2 + a3 +
... + an b1 + b2 + b3 + ... + bn .Se a1 + a2 + a3 + ... + an b1 + b2 + b3 + ... + bn ,
então, vale a desigualdade:
X X
xa1 1 x2a2 xa3 3 ...xann ≥ xb11 xb22 xb33 ...xbnn
sym sym
Desigualdade de Young:
1 1
Se + = 1 , então vale:
p q
ap bq
+ ≥ ab
p q
Desigualdade de Erdös-Mordell:
7
3 Os axiomas de Peano, o princípio da indução,
e algumas relações lógicas úteis em provas por
indução
Contraposição ou Modus Tollens
P → Q ⇔ ¬Q → ¬P
¬(P → Q) = P ∧ ¬Q
Veracidade
Axiomas de Peano:
Princípio da Indução:
8
4 Problemas Interessantes
β+γ α+β α+γ
senα+senβ+senγ−sen(α+β+γ) = 4sen sen sen
2 2 2
α+β π α+β α+β+γ α+β
Observando que sen = cos − = cos − =
2 2 2 2 2
γ
cos .A expressão acima é equivalente a:
2
α β γ
senα + senβ + senγ = 4cos cos cos
2 2 2
Colocando em evidência senγ no lado esquerdo, teremos:
9
senα senβ α β γ
senγ + +1 = 4cos cos cos (1)
senγ senγ 2 2 2
Pela Lei dos senos, teremos:
a b c senα a senβ b
= = ⇒ = , =
senα senβ senγ senγ c senγ c
α α b2 + 2bc + c2 − a2
a2 = b2 + c2 − 2bccosα ⇔ a2 = b2 + c2 − 2bc 2cos2 − 1 ⇔ cos2 = =
2 2 4bc
(b + c)2 − a2
(a + b + c)(b + c − a) 1 a+b+c a + b + c − 2a
= = =
4bc 4bc bc 2 2
s r
1 a+b+c a+b+c α 1 a+b+c a+b+c α S(S − a)
− a ⇔ cos = − a ⇔ cos =
bc 2 2 2 bc 2 2 2 bc
a+b+c
Usando que S = , obtemos:
2
absenγ p
= S(S − a)(S − b)(S − c)
2
10
Observe o triângulo abaixo:
c
h b
γ
β
Note que desenhamos os lados a,b e c opostos a alpha, beta e gamma res-
pectivamente, isto é muito importante pois deduzimos as fórmulas anteriores
partindo desse princípio.A área desse triângulo é dada por (base)x(altura)/2,
basta observar que no triângulo dado temos:
h
senγ = ⇒ h = bsenγ
b
Além disso, sabemos que sua base é a, daí segue o resultado desejado.
11
2. (“Números Complexos e Binomiais”-Ulysses Sodré )Se n, p ∈ Z, sendo
n, p ≥ 0, demonstrar que:
Xn
0 1 2 3 n k n+1
+ + + + ... + = =
p p p p p p p+1
k=0
Solução 1:
Se n, p ∈ Z, sendo n, p ≥ 0, vamos provar que:
Xn
0 1 2 3 n k n+1
+ + + + ... + = =
p p p p p p p+1
k=0
k
Convenciona-se que = 0 para p > k. Nosso objetivo é provar que
p
n
X k n+1
= , vamos quebrar em dois casos, vamos provar para o caso
p p+1
k=0
em que p é ímpar e para o caso em que p é par, vamos começar com o caso
em que p é ímpar, para isto, vamos definir uma função especial, e estudar suas
propriedades.Seja fn (φ) uma função tal que fn : R → R, dada pela relação
abaixo:
2n−1
X sen(kφ)
fn (φ) = −cot(φ) + (3)
cosk (φ)
k=1
Veja o que podemos dizer dessa soma, para isto, considere que:
12
De onde concluímos a primeira propriedade de fn (φ):
cos(2nφ)
fn (φ) = − (4)
sen(φ)cos2n−1 (φ)
Partindo de (3) veja o que podemos fazer:
2n−1 2n−1
X sen(kφ) 1 X cis(kφ) − cis(−kφ)
fn (φ) = −cot(φ) + = −cot(φ) + =
cosk (φ) 2i cosk (φ)
k=1 k=1
2n−1
1 X (cos(φ) + isen(φ))k − (cos(φ) − isen(φ))k
− cot(φ) + =
2i cosk (φ)
k=1
2n−1
1 X
− cot(φ) + ((1 + itan(φ))k − (1 − itan(φ))k ) =
2i
k=1
2n−1 k k
1 X X k X k
− cot(φ) + (itan(φ))j − (−itan(φ))j = −cot(φ) +
2i j=0
j j=0
j
k=1
2n−1 k 2n−1 k
1 X X k 1 X X k
(itan(φ))j − (−itan(φ))j =
2i j=0
j 2i j=0
j
k=1 k=1
1 1 2 2n − 1 1 3 4 2n − 1
−cot(φ) + + + ... + i.tan(φ) + + + ... + i3 tan3 (φ)
i 1 1 1 i 3 3 3
1 2j − 1 2j 2n − 1
+ − ... + + + ... + (i)2j−1 (tan(φ))2j−1 + −... =
i 2j − 1 2j − 1 2j − 1
1 2 2n − 1 3 4 2n − 1
−cot(φ) + + + ... + tan(φ) + + + ... + i2 tan3 (φ)
1 1 1 3 3 3
2j − 1 2j 2n − 1
+... + + + ... + (i)2(j−1) (tan(φ))2j−1 + ... =
2j − 1 2j − 1 2j − 1
1 2 2n − 1 3 4 2n − 1
−cot(φ) + + + ... + tan(φ) − + + ... + tan3 (φ)
1 1 1 3 3 3
2j − 1 2j 2n − 1
+ − ... + + + ... + (−1)j+1 (tan(φ))2j−1 + −... =
2j − 1 2j − 1 2j − 1
1 2 2n − 1 3 4 2n − 1
cot(φ) −1 + + + ... + tan2 (φ) − + + ... + tan4 (φ)
1 1 1 3 3 3
2j − 1 2j 2n − 1
+ − ... + + + ... + (−1)j+1 (tan(φ))2j + −... =
2j − 1 2j − 1 2j − 1
0 1 2 2n − 1 2 3 4 2n − 1
cot(φ) − + + + ... + tan (φ) − + + ... + tan4 (φ)
0 1 1 1 3 3 3
2j − 1 2j 2n − 1 j+1 2j
+ − ... + + + ... + (−1) (tan(φ)) + −...
2j − 1 2j − 1 2j − 1
13
De onde concluímos que:
fn (φ) =
0 1 2 2n − 1 3 4 2n − 1
cot(φ) − + + + ... + tan2 (φ) − + + ... + tan4 (φ)
0 1 1 1 3 3 3
2j − 1 2j 2n − 1 j+1 2j
+ − ... + + + ... + (−1) (tan(φ)) + −...
2j − 1 2j − 1 2j − 1
(5)
cos(2nφ)
=
cos2n (φ)
0 1 2 2n − 1 3 4 2n − 1
− + + ... + tan2 (φ) + + + ... + tan4 (φ)
0 1 1 1 3 3 3
2j − 1 2j 2n − 1
+ − ... + + + ... + (−1)j (tan(φ))2j + −...
2j − 1 2j − 1 2j − 1
(6)
14
Comparando (6) e (7), teremos:
n
X 2n
(−1)k
tan2k (φ) =
2k
k=0
0 1 2 2n − 1 2 3 4 2n − 1
− + + ... + tan (φ) + + + ... + tan4 (φ)
0 1 1 1 3 3 3
2j − 1 2j 2n − 1
+ − ... + + + ... + (−1)j (tan(φ))2j + −...
2j − 1 2j − 1 2j − 1
Observe que como a tangente percorre todos os reais, podemos substituir a tan-
gente por uma variável que representa um número real.Substituindo a tangente
por x, veja:
n
X 2n 2kk
(−1) x =
2k
k=0
0 1 2 2n − 1 2 3 4 2n − 1
− + + ... + x + + + ... + x4
0 1 1 1 3 3 3
2j − 1 2j 2n − 1
+ − ... + + + ... + (−1)j x2j + −...
2j − 1 2j − 1 2j − 1
(8)
Observe que obtivemos dois polinômios que devem satisfazer uma igualdade,
mas pelo teorema da identidade polinomial, dois polinômios são iguais se os co-
eficientes dos termos de graus correspondentes são iguais, portanto, igualando
os termos de mesmo grau se obtém o resultado para p ímpar.Observe que o
2n−1
X k
2n
que provamos acima é que: = .Isto é, a soma em k, com
2j − 1 2j
k=0
k variando de zero até um número ímpar, para provar a soma até um número
2n−1
X 2n − 1 2k
par, devemos subtrair em (8) o polinômio (−1)k x , de onde ob-
2k − 1
k=1
teremos:
n
X 2n 2n − 1
1+ (−1)k − x2k =
2k 2k − 1
k=1
0 1 2 2n − 2 3 4 2n − 2
− + + ... + x2 + + + ... + x4
0 1 1 1 3 3 3
2j − 1 2j 2n − 2
+ − ... + + + ... + (−1)j x2j + −...
2j − 1 2j − 1 2j − 1
(9)
15
n+1 n+1
Usando a relação de Stifel em (9), que nos diz que: + =
p+1 p
n+2 n+1 n+2 n+1
⇒ = −
p+1 p+1 p+1 p
Substituindo o resultado acima em (9), novamente, por congruência polinomial,
teremos o resultado requerido até um número par.
Agora vamos provar o caso par. Vamos definir uma função gn (φ) tal que
gn : R → R e:
2n
X cos(kφ)
gn (φ) = 1 + (10)
cosk (φ)
k=1
Veja o que podemos dizer dessa função, para tanto, tome a diferença:
16
Comparando a igualdade acima com (11), teremos que:
n
X 2n + 1
gn (φ) = (−1)k tan2k (φ) (12)
2k + 1
k=0
gn (φ) =
2 3 2n 4 5 2n
2n + 1 − + + ... + tan(φ) + + + ... + i4 tan4 (φ)
2 2 2 4 4 4
2j 2j + 1 2n
+ − ... + + + ... + (−1)j (tan(φ))2j + −...
2j 2j 2j
17
Comparando a igualdade acima com (12), teremos que:
n
X 2n + 1
(−1)k tan2k (φ) =
2k + 1
k=0
2 3 2n 4 5 2n
2n + 1 − + + ... + tan(φ) + + + ... + i4 tan4 (φ)
2 2 2 4 4 4
2j 2j + 1 2n
+ − ... + + + ... + (−1)j (tan(φ))2j + −...
2j 2j 2j
(13)
Como a tangente percorre todos os reais, a igualdade acima deve ser válida para
todos os reais, fazendo x = tan(φ), teremos uma igualdade de polinômios em x,
e como dois polinômios são iguais se os coeficientes dos termos de mesmo grau
são iguais, daí chega-se a conclusão que se deseja.Observe que o que provamos
2n
X k 2n + 1
acima é que: = .Isto é, a soma em k, com k variando de
2j 2j + 1
k=0
zero até um número par, para provar a soma até um número ímpar, devemos
subtrair em (13) um polinômio conveniente, usar a relação de Stifel, como foi
usada anteriormente e concluir a solução do problema pedido .
18
Solução 2:Use somente a relação de Stifel, a soma é telescópica.
19
3. (“103 Trigonometry Problems from the training of the USA IMO Team”-
Titu Andreescu) Let ABC be a triangle. Prove that
A B C A B C
sen2 + sen2 + sen2 + 2sen sen sen = 1
2 2 2 2 2 2
Conversely, prove that if x, y, z are positive real numbers such that:
x2 + y 2 + z 2 + 2xyz = 1
A B C
then there is a triangle ABC such that x = sen , y = sen , z = sen
2 2 2
Solução:
Vamos provar primeiro a primeira parte do enunciado, para isto considere que
se alpha, beta e gamma são ângulos de um triângulo, então vale :
α β γ α+β+γ
sec sec sec cos =0⇔
2 2 2 2
α β γ α+β γ α+β γ
sec sec sec cos cos − sen sen =0⇔
2 2 2 2 2 2 2
α β γ α β α β γ α β α β γ
sec sec sec cos cos − sen sen cos − sen cos + cos sen sen =0⇔
2 2 2 2 2 2 2 2 2 2 2 2 2
α β γ α β γ α β γ α γ β β γ α
sec sec sec cos cos cos − sen sen cos − sen sen cos − sen sen cos =0⇔
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
α β α γ β γ
1 − tan tan + tan tan + tan tan =0⇔
2 2 2 2 2 2
α
β α γ β γ
tan tan + tan tan + tan tan =1 (14)
2 2 2 2 2 2
Sendo assim, se alpha,beta e gamma são ângulos de um triângulo então,
a identidade para tangentes vale.Nós vamos usar este fato para provar que se
alpha e beta e gamma são ângulos de um triângulo, então a identidade de senos
acima vale.A forma que faremos isso é provando que a identidade para tangentes
implica na identidade para senos.
Podemos usar o fato de alpha, beta, gamma serem ângulos de um triângulo
a nosso favor, veja:
cos α2 cos γ2
1
−1= −1=
1 − tan α2 tan γ2 cos α2 cos γ2 − sen α2 sen γ2
20
α γ
1 sen 2 sen 2
α γ −1= (15)
1 − tan 2 tan 2 sen β2
α β
1 sen 2 sen 2
−1= γ
(16)
α β sen
1 − tan 2 tan 2 2
β γ
1 sen 2 sen 2
−1= α
(17)
1 − tan β
tan γ sen 2
2 2
v
u
β u 1 1
sen = t − 1 − 1 (19)
u
2 1 − tan β tan γ
1 − tan α
tan β
2 2 2 2
v
u !
γ u 1 1
sen = t − 1 −1 (20)
u
α γ
2 1 − tan β
tan γ 1 − tan 2 tan 2
2 2
Partindo de (14), veja o que podemos fazer.Vamos usar u,v e w para repre-
α β
sentar as tangentes de alpha, beta e gamma, isto é, tan = u, tan =
γ 2 2
v, tan =w:
2
uv + vw + uw = 1
Multiplicando a igualdade acima por -1 e somando 3 nos dois lados da igual-
dade resultante, teremos:
21
1 1 1 1 1 1 1 1 1
+ + =2
1 − uw 1 − uv 1 − vw 1 − uv 1 − uw 1 − vw 1 − uw 1 − uv 1 − vw
1 1 1
Fazendo a substituição x = ,y = ,z = , nossa expressão
1 − vw 1 − uw 1 − uv
fica na forma:
xy + xz + yz = 2xyz (21)
Ao multiplicar a igualdade acima por -1, depois somar 1 + 2xyz nos dois
lados da igualdade, e depois somar e subtrair xy + xz + yz + 2x + 2y + 2z no
lado esquerdo da igualdade resultante, e arranjar os termos convenientemente,
não é difícil ver que a igualdade (21) é equivalente a expressão abaixo:
(1−x)(1−y)+(1−y)(1−z)+(1−x)(1−z)+2(xz−x)(y−1)−2z(y−1)+2(y−1) =
1⇔
1 1 1 1 1 1
−1 −1 + −1 −1 + −1 −1 +
1 − vw
1 − uw 1 − vw 1 − uv 1 − uw 1 − uv
1 1 1
2 −1 −1 −1 =1
1 − uv 1 − uw 1 − vw
Como u,v e w nada mais são do que as tangentes de alpha, beta e gamma,
se efetuarmos as substituições (15),(16) e (17), finalmente teremos:
α β γ α β γ
sen2 + sen2 + sen2 + 2sen sen sen = 1
2 2 2 2 2 2
22
O que a segunda parte nos diz é que se x2 +y 2 +z 2 +2xyz = 1 então podemos
substituir x,y e z por senos de alpha/2, beta/2 e gamma/2, sendo alpha, beta
e gamma ângulos de um triângulo.Para a segunda parte o leitor pode ver a
demonstração no artigo de Daniel Campos Salas e Vardan Verdiyan “Simple
trigonometric substitutions with broad results”, está logo no início do artigo.Em
todo caso, vou deixar aqui uma segunda demonstração.Faça a substituição:
r r r
x + yz y + xz z + xy
u=x ;v = y ;w = z
(y + xz)(z + xy) (x + yz)(z + xy) (x + yz)(y + xz)
De fato, podemos fazer essa substituição, pois u,v e w são variáveis que não
existem no enunciado, e portanto não há restrição de valores que podem assu-
mir, em outras palavras, u,v,w podem assumir qualquer valor que desejarmos.E
ainda, x,y e z são reais positivos e uma composição de números reais positivos
também é um número real.Multiplicando essas igualdades duas a duas, teremos:
yz xy xz
vw = ; uv = ; uw = ;
x + yz z + xy y + xz
Tome a primeira das igualdades acima e observe que:
yz yz
1 + yz
yz x x x −1
vw = ⇒ vw = x+yz ⇒ vw = ⇒ vw =
x + yz x
1 + yz
x 1 + yz
x
1 1 1 yz
⇒ vw = 1 − ⇒ = 1 − vw ⇒ = 1 + ⇒
1 + yz
x 1 + yzx 1 − vw x
yz 1
⇒ = − 1;
x 1 − vw
23
s
1 1
x= −1 −1 (A)
1 − uv 1 − uw
s
1 1
y= −1 −1 ; (B)
1 − uv 1 − vw
s
1 1
z= −1 −1 ; (C)
1 − uw 1 − vw
Observe que uma implicação lógica dessa substituição é:
2 2 2 1 1 1 1
x +y +z +2xyz = 1 ⇒ −1 −1 + −1 −1 +
− vw
1 1 −uw 1 −vw
1 −uv
1 1 1 1 1
−1 − 1 +2 −1 −1 −1 =
1 − uw 1 − uv 1 − uv 1 − uw 1 − vw
1
uv + vw + uw = 1
α
β
Fazendo a substituição por tangentes1 , ou seja, fazendo tan = u, tan =
γ 2 2
v, w = , chegamos a:
2
α
β α γ β γ
tan tan + tan tan + tan tan =1
2 2 2 2 2 2
Pelo resultado acima alpha, beta e gamma devem ser ângulos(ao supor que
α, β e γ estão no intervalo (0, π)2 ) de um triângulo.Como alpha, beta e gamma
são ângulos de um triângulo, o resultado segue naturalmente substituindo (18),
(19) e (20) em (A),(B) e (C) .
π π
1 Observeque a tangente é bijetora no intervalo − , , e portanto, podemos fazer essa
2 2
substituição.
2 De fato, a tangente percorre todos os reais positivos no intervalo 0, π , isso implica que
2
existe um ângulo neste intervalo correspondente a qualquer valor numérico positivo.
24
4. (“103 Problems From the Training USA IMO Team”-Titu Andreescu)Let
a,b , c nonnegative real numbers such that:
a2 + b2 + c2 + abc = 4
Prove that :
0 ≤ ab + bc + ac − abc ≤ 2
Solução 1:
Vamos provar primeiro o lado esquerdo, que é mais fácil:
0 ≤ ab + bc + ac − abc (22)
O enunciado nos diz que a,b e c não são negativos, mas não diz nada sobre o
fato de serem iguais a zero.Suponha então que apenas uma das variáveis seja
igual a zero, por exemplo a=0. Então teremos
ab + bc + ac − abc = bc > 0
O que é verdadeiro pois b e c não podem ser negativos e supomos que somente a
é igual a zero. Suponha, agora que tenhamos duas variáveis iguais a zero, então
teremos
ab + bc + ac − abc = 0
É o caso em que ocorre a igualdade.Agora, não podemos supor que a,b e c sejam
todos iguais a zero, pois temos uma igualdade a cumprir, a saber a2 + b2 + c2 +
abc = 4, portanto a,b e c não podem ser todos iguais a zero.Vamos analisar
agora o caso a, b, c > 0 .Suponha, por absurdo que
ab + bc + ac − abc < 0
25
a condição de modo a tornar isto óbvio.Veja:
a2 b2 c2 abc a2 b2 c2 2abc
a2 +b2 +c2 +abc = 4 =⇒ + + + = 1 =⇒ + + + = 1 =⇒
4 4 4 4 4 4 4 8
a 2 b 2 c 2 a b c
+ + +2 =1
2 2 2 2 2 2
α β γ
Fazendo a = 2sen ,b = 2sen ,c = 2sen , recaímos na identidade trigono-
2 2 2
métrica:
α β γ α β γ
sen2 + sen2 + sen2 + 2sen sen sen = 1
2 2 2 2 2 2
Esta identidade trigonométrica é válida quando α, β, γ são ângulos de um
triângulo, já provamos isso na questão 3.Por outro lado, efetuando essa substi-
tuição em (23), nossa desigualdade fica reescrita da seguinte forma:
α β β γ α γ α β γ
4sen sen + 4sen sen + 4sen sen − 8sen sen sen ≤ 2
2 2 2 2 2 2 2 2 2
α β β γ α γ α β γ
2sen sen + 2sen sen + 2sen sen − 4sen sen sen ≤ 1
2 2 2 2 2 2 2 2 2
α β β γ α γ α β γ
2sen sen + 2sen sen + 2sen sen ≤ 1 + 4sen sen sen
2 2 2 2 2 2 2 2 2
α β β γ α γ
2sen sen + 2sen sen + 2sen sen ≤ cosα + cosβ + cosγ
2 2 2 2 2 2
α β β γ α γ
2sen sen + 2sen sen + 2sen sen ≤
2 2 2 2 2 2
α α β β γ γ
cos2 − sen2 + cos2 − sen2 + cos2 − sen2
2 2 2 2 2 2
α β β γ α γ α β γ
2sen sen + 2sen sen + 2sen sen + sen2 + sen2 + sen2 ≤
2 2 2 2 2 2 2 2 2
α β γ
cos2 + cos2 + cos2
2 2 2
2
α β γ α β γ
sen + sen + sen ≤ cos2 + cos2 + cos2
2 2 2 2 2 2
2
α β γ α β γ
cos2 + cos2 + cos2 ≥ sen + sen + sen
2 2 2 2 2 2
3 Não confunda as variáveis a,b,c do enunciado com essas variáveis a,b,c, que representam
26
r r r
α (S − b)(S − c) β (S − a)(S − c) γ (S − a)(S − b)
sen = ; sen = ; sen =
2 bc 2 ac 2 ab
(24)
r r r
α S(S − a) β S(S − b) γ S(S − c)
cos = ; cos = ; cos = (25)
2 bc 2 ac 2 ab
Na página 10 desse PDF, provamos as relações (25).Provemos (24).Pela lei
dos cossenos e usando que cos(2x) = 1 − 2sen2 x:
α α a2 − (b2 − 2bc + c2 )
a2 = b2 + c2 − 2bccosα ⇔ a2 = b2 + c2 − 2bc 1 − 2sen2 ⇔ sen2 = =
2 2 4bc
a2 − (b − c)2
(a + b − c)(a − b + c) 1 a + b + c − 2c a + b + c − 2b
= = =
4bc 4bc bc 2 2
s
1 a+b+c a+b+c α 1 a+b+c a+b+c
−c − b ⇔ sen = −b −c ⇔
bc 2 2 2 bc 2 2
r
α (S − b)(S − c)
sen =
2 bc
Por simetria, conclui-se os outros casos.
Considere um triângulo ABC arbitrário e uma circunferência inscrita nesse
triângulo, então, os pontos de tangência da circunferência delimitam retas iguais
duas a duas.Observe que esta afirmação está geometricamente fundamentada,
uma vez que se duas retas tangenciam uma circunferência e se estas retas se
interceptam em um ponto exterior a mesma, então, a distância do ponto de in-
terseção das retas aos pontos de tangência são iguais.Portanto, podemos dividir
os lados de um triângulo conforme a figura abaixo:
B
x x
c z
y
A C
y z
27
em diversas outras aplicações.Fazendo esta substituição, teremos que:
a+b+c (x + y) + (y + z) + (x + z)
S= = =x+y+z
2 2
De onde obteremos:
S − a = x + y + z − (x + y) = z
S − b = x + y + z − (y + z) = x
S − c = x + y + z − (x + z) = y
r r r
α yz β xz γ xy
sen = ; sen = sen = ;
2 (x + y)(x + z) 2 (x + y)(y + z) 2 (y + z)(x + z)
(26)
s s s
α x(x + y + z) β y(x + y + z) γ z(x + y + z)
cos = ; cos = cos = ;
2 (x + y)(x + z) 2 (x + y)(y + z) 2 (y + z)(x + z)
(27)
Considere a desigualdade de Cauchy-Schwarz s em 3 variáveis, fazendo
s a subs-
√ √ √ 1 1
tituição a1 = xy, a2 = xz, a3 = yz e b1 = , b2 = , b3 =
(x + z)(y + z) (x + y)(y + z)
s
1
é possível ver que vale a desigualdade abaixo:
(x + z)(x + y)
Desigualdade A:
1 1 1
(xy + xz + yz) + + ≥
(x + z)(y + z) (x + y)(y + z) (x + z)(x + y)
r r r 2
xy xz yz
+ +
(x + z)(y + z) (x + y)(y + z) (x + z)(x + y)
texto a ser colorido
28
z x y
+ + (x + y + z) =
(x + z)(y + z) (x + z)(x + y) (x + y)(y + z)
1 1 1
(xy + xz + yz) + +
(x + z)(y + z) (x + z)(x + y) (x + y)(y + z)
De onde se conclui a igualdade abaixo:
Igualdade A:
29
Solução 2:
Vou dar uma segunda solução para o lado direito, sem que seja necessário
fazer uma substituição trigonométrica.Às vezes o que precisamos em uma ques-
tão desse tipo não é nada mais do que criatividade.Faça a substituição:
s s s
2a + bc 2b + ac 2c + ab
u=a ;v = b ;w = c
(2b + ac)(2c + ab) (2a + bc)(2c + ab) (2a + bc)(2b + ac)
De fato, podemos fazer essa substituição, pois u,v e w são variáveis que não exis-
tem no enunciado, e portanto não há restrição de valores que podem assumir, em
outras palavras, u,v,w podem assumir qualquer valor que desejarmos.E ainda,
a,b e c são positivos e uma composição de números reais positivos também é
um número real.Multiplicando essas igualdades duas a duas, teremos:
bc ab ac
vw = ; uv = ; uw = ;
2a + bc 2c + ab 2b + ac
Tome a primeira das igualdades acima e observe que:
bc bc bc
bc 2a 2a
1 + 2a −1
vw = ⇒ vw = 2a+bc ⇒ vw = bc
⇒ vw = bc
2a + bc 2a 1 + 2a 1 + 2a
1 1 1 bc
⇒ vw = 1 − bc
⇒ bc
= 1 − vw ⇒ =1+ ⇒
1 + 2a 1 + 1 − vw 2a
2a
bc 1
⇒ =2 −1 ;
a 1 − vw
Aplicando o mesmo raciocínio para os outros lados, chegamos as igualdades:
bc 1 ac 1 ab 1
=2 −1 ; =2 −1 ; =2 −1 ;
a 1 − vw b 1 − uw c 1 − uv
a2+ b2 + c2 + =4⇒
abc
1 1 1 1 1 1
4 −1 − 1 +4 −1 − 1 +4 −1 −1 +
1 − uv 1 − uw 1 − uv 1 − vw 1 − uw 1 − vw
30
1 1 1
8 −1 −1 −1 =4
1 − uv 1 − uw 1 − vw
Dividindo tudo por 4, teremos que a condição ficará reescrita como:
1 1 1 1 1 1
−1 −1 + −1 −1 + −1 −1 +
1 − vw
1 − uw 1 − vw 1 − uv 1 − uw 1 − uv
1 1 1
2 −1 −1 −1 =1
1 − uv 1 − uw 1 − vw
Já sabemos que essa expressão é equivalente a:
uv + vw + uw = 1
s s
uv vw uw uw vw uv
2 +2 +
1 − uv1 − vw 1 − uw 1 − uw 1 − vw 1 − uv
s
vw uw uv uv uw vw
2 −4 ≤1
1 − vw 1 − uw 1 − uv 1 − uv 1 − uw 1 − vw
Usando que uv + vw + uw = 1, teremos:
s s
uv vw uw uw vw uv
2 +2 +
vw + uw uv + uw vw + uv vw + uv uv + uw uw + vw
s
vw uw uv uv uw vw
2 −4 ≤
uv + uw uv + vw uw + vw uw + vw uv + vw uv + uw
1
s s s
2uv 1 2uw 1 2vw 1
+ + −
v+u (u + w)(v + w) w + u (v + w)(u + v) v + w (u + v)(u + w)
4uvw
≤1
(u + v)(v + w)(u + w)
31
p p p
2uv (u + w)(v + w) 2uw (v + w)(u + v) 2vw (u + v)(u + w) 4uvw
+ + − ≤
(u + w)(v + w)(v + u) (u + w)(v + w)(v + u) (u + v)(v + w)(u + w) (u + v)(v + w)(u + w)
1
Desigualdade A:
p p p
2uv (u + w)(v + w) 2uw (v + w)(u + v) 2vw (u + v)(u + w)
+ + −
(u + w)(v + w)(v + u) (u + w)(v + w)(v + u) (u + v)(v + w)(u + w)
4uvw
≤1
(u + v)(v + w)(u + w)
p p p
0 ≤p ( (v + w) − (u + w))2 ⇒ 2 (v + w)(u + w) ≤ (v + w) + (u + w) ⇒
2uv (v + w)(u + w) ((v + w) + (u + w))uv
≤
(v + w)(u + w)(u + v) (v + w)(u + w)(u + v)
p p p
0 ≤ p( (v + w) − (u + v))2 ⇒ 2 (v + w)(u + v) ≤ (v + w) + (u + v) ⇒
2uw (v + w)(u + v) ((v + w) + (u + v))uw
≤
(v + w)(u + w)(u + v) (v + w)(u + w)(u + v)
p p p
0 ≤p ( (u + w) − (u + v))2 ⇒ 2 (u + w)(u + v) ≤ (u + w) + (u + v) ⇒
2vw (u + w)(u + v) ((u + w) + (u + v))vw
≤
(v + w)(u + w)(u + v) (v + w)(u + w)(u + v)
4uvw
Somando todas as desigualdades acima e subtraindo em
(v + w)(u + w)(u + v)
ambos os lados, teremos a desigualdade abaixo (que vamos chamar de desigual-
dade B):
32
Desigualdade B:
p p p
2uv (v + w)(u + w) 2uw (v + w)(u + v) 2vw (u + w)(u + v)
+ + −
(v + w)(u + w)(u + v) (v + w)(u + w)(u + v) (v + w)(u + w)(u + v)
4uvw
≤
(v + w)(u + w)(u + v)
((v + w) + (u + w))uv + ((u + w) + (u + v))vw + ((v + w) + (u + v))uw
−
(v + w)(u + w)(u + v)
4uvw
(v + w)(u + w)(u + v)
33
5. (“103 Problems From the Training USA IMO Team”-Titu Andreescu)In
3
triangle ABC, show that cosA + cosB + cosC ≤
2
Solução 1:
Pela desigualdade das médias, teremos:
√
x + y ≥ 2 xy (28)
√
x + z ≥ 2 xz (29)
√
y + z ≥ 2 yz (30)
Multiplicando (28), (29) e (30), teremos:
1 α β γ
≥ sen sen sen
8 2 2 2
1 α β γ
≥ 4sen sen sen
2 2 2 2
1 α β γ
+ 1 ≥ 1 + 4sen sen sen
2 2 2 2
3
≥ cosα + cosβ + cosγ
2
3
cosα + cosβ + cosγ ≤
2
34
Solução 2: Vamos quebrar um pouco a monotonia das soluções e aplicar
ideias diferentes.Pela desigualdade das médias, sabemos que:
a b
+ ≥2
b a
a c
+ ≥2
c a
c b
+ ≥2
b c
Somando essas três desigualdades, temos que:
a c b c
a b
+ + + + + ≥6
b b a a c c
Somando 3 nos dois lados da desigualdade acima, teremos:
1 1 1
(a + b + c) + + ≥9⇔
b a c
(a + b + c) (ab + bc + ac) ≥ 9abc ⇔
ab(a + b) + bc(b + c) + ac(a + c) ≥ 6abc ⇔
ab(a + b) + abc + bc(b + c) + abc + ac(a + c) ≥ 8abc ⇔
ab(a + b + c) + bc(a + b + c) + ac(a + c) ≥ 8abc ⇔
(a + b + c)(ab + bc) + ac(a + c) ≥ 8abc ⇔
(ab + b2 + bc)(a + c) + ac(a + c) ≥ 8abc ⇔
(ab + b2 + bc + ac)(a + c) ≥ 8abc ⇔
(b(a + b) + (a + b)c)(a + c) ≥ 8abc ⇔
(b + c)(a + c)(a + b) ≥ 8abc
α β γ
Fazendo4 a = tan , b = tan , c = tan :
2 2 2
α β α γ β γ α β γ
tan + tan tan + tan tan + tan ≥ 8tan tan tan
2 2 2 2 2 2 2 2 2
! !
sen α2 cos β2 + cos α2 sen β2 sen α+β
α β 2
Desde que cyc tan + tan = cyc = cyc =
2 2 cos α2 cos β2 cos α2 cos β2
cos π2 − α+β cos α+β+γ − α+β
!
2 2 2 cos γ2
cyc = cyc = cyc , a
cos α2 cos β2 cos α2 cos β2 cos α2 cos β2
desigualdade acima é equivalente a:
4 Eubem poderia ter provado essa desigualdade como explicitado na primeira solução do
problema 5, faça suas escolhas, a matemática tem vários caminhos
35
1 α β γ
≥ sen sen sen
8 2 2 2
Que, como vimos anteriormente, é equivalente a desigualdade do enunciado.
36
Solução 3: Na questão 21, provaremos que:
37
6. (“103 Problems From the Training USA IMO Team”-Titu Andreescu)Let
ABC be a triangle. Prove that:
A B C 3
sen2 + sen2 + sen2 ≥
2 2 2 4
Solução 1:
x2 y + xy 2 + xz 2 + x2 z + y 2 z + yz 2 ≥ 6xyz
38
Solução 2: Multiplicando a desigualdade por -2 e somando 3 em ambos os
lados da desigualdade resultante, e usando o cosseno do arco duplo, recaímos
na desigualdade do problema anterior.
39
7. (“103 Problems From the Training USA IMO Team”-Titu Andreescu)Let
ABC be a triangle. Prove that:
4(x + y + z)
=1
4(x + y + z)
x + y + z + 3(x + y + z)
=1
4(x + y + z)
x + y + z + 3xyz
=1
4(x + y + z)
x + y + z + 3xyz + (x2 y + xy 2 + x2 z + xz 2 + yz 2 + y 2 z) − (x2 y + xy 2 + x2 z + xz 2 + yz 2 + y 2 z)
=1
4(x + y + z)
(x − xy 2 − xz 2 + (x + y + z)yz) + (y − yx2 − yz 2 + (x + y + z)xz) + (z − zx2 − zy 2 + (x + y + z)xy)
=1
4(x + y + z)
(x − xy 2 − xz 2 + xy 2 z 2 ) + (y − yx2 − yz 2 + x2 yz 2 ) + (z − zx2 − zy 2 + x2 y 2 z)
=1
4(x + y + z)
(1 − y 2 − z 2 + y 2 z 2 )x (1 − x2 − z 2 + x2 z 2 )y (1 − x2 − y 2 + x2 y 2 )z
+ + =1
4(x + y + z) 4(x + y + z) 4(x + y + z)
(1 − y 2 )(1 − z 2 )x (1 − x2 )(1 − z 2 )y (1 − x2 )(1 − y 2 )z
+ + =1
4(x + y + z) 4(x + y + z) 4(x + y + z)
(1 − y 2 )(1 − z 2 )x (1 − x2 )(1 − z 2 )y (1 − x2 )(1 − y 2 )z
+ + =1
4xyz 4xyz 4xyz
(1 − y 2 )(1 − z 2 ) (1 − x2 )(1 − z 2 ) (1 − x2 )(1 − y 2 )
+ + =1
4yz 4xz 4xy
40
α β γ
Fazendo tan = a, tan = b, tan = c, nossa condição fica reescrita como
2 2 2
α β β γ α γ
tan tan +tan tan +tan tan = 1, bem como essa condição deve implicar
2 2 2 2 2 2
que:
1 − tan2 α2 1 − tan2 β2 1 − tan2 β2 1 − tan2 γ2
1 − tan2 α2 1 − tan2 γ2
+ + =1
4tan α2 tan β2 4tan α2 tan γ2 4tan β2 tan γ2
Mas nossa condição para que a igualdade acima seja verdadeira é que
α β β γ α γ
tan tan + tan tan + tan tan = 1, mas veja que isso só pode acontecer
2 2 2 2 2 2
se alpha, beta e gamma são ângulos de um triângulo, provando assim o que
queríamos.
O que a segunda parte nos diz é que se xy + xz + yz = 1 então podemos
substituir x, y e z por cotangentes de alpha, beta e gamma, sendo alpha, beta
e gamma p ângulos de um triângulo.Para
p a segunda
p parte, faça a substituição
m = x + 1 + x2 , n = y + 1 + y 2 , o = z + 1 + z 2 , desde que 2x = x +
p p p 1 1
1 + x2 + x − 1 + x2 = x + 1 + x2 − √ = m − , por simetria
x + 1 + x2 m
concluímos as igualdades:
1 1
x= m−
2 m
1 1
y= n−
2 n
1 1
z= o−
2 o
Observe que:
1 1 1 1 1 1 1 1 1
m− n− + m− o− + n− o− =1⇔
4 m n 4 m o 4 n o
n m 1 o m 1 n o 1
mn − − + + mo − − + + no − − + =4⇔
m n mn m o mo o n no
(m2 n2 o−n2 o−m2 o+o)+(m2 o2 n−m2 n−o2 n+n)+(n2 o2 m−n2 m−o2 m+m) = 4mno ⇔
m2 n2 o+m2 o2 n+n2 o2 m−(m+n+o)(mn+no+mo)+3mno+m+n+o = 4mno ⇔
mno(mn + no + mo) − (m + n + o)(mn + no + mo) − mno + m + n + o = 0 ⇔
(mno − (m + n + o))(mn + no + mo) − mno + m + n + o = 0 ⇔
41
(mno − (m + n + o))(mn + no + mo − 1) = 0
Temos duas possibilidades ou mno−(m+n+o) = 0 ou mn+no+mo−1 = 0
α
, se mn + no + mo − 1 = 0, então, fazendo a substituição m = a = tan , n =
2
β γ α β β γ α γ
b = tan , o = c = tan obtemos tan tan + tan tan + tan tan =
2 2 2 2 2 2 2 2
1 , já provamos que essa igualdade implicaque α + β + γ = π.Daí e pela
1 1 1 α α
substituição que fizemos, teremos que x = −m = cot − tan =
2 m 2 2 2
2α 2α
cos 2 − sen 2 cosα
α α = = cotα e provamos assim o que queríamos.Mas se
2sen 2 cos 2 senα
mno − (m + n + o) = 0 pela mesma substituição, teremos:
α β α γ β γ
cot cot + cot cot + cot cot = 1 ⇔
2 2 2 2 2 2
α β α γ β γ
cot cot + cot cot + cot cot − 1 = 0 ⇔
2 2 2 2 2 2
α β γ α β γ α γ β β γ α α β γ
csc csc csc cos cos sen + cos cos sen + cos cos sen − sen sen sen =0⇔
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
α β γ α β γ γ β α β γ β γ
csc csc csc cos cos sen + cos sen + sen cos cos − sen sen =0⇔
2 2 2 2 2 2 2 2 2 2 2 2 2
α β γ α β+γ α β+γ
csc csc csc cos sen + sen cos =0⇔
2 2 2 2 2 2 2
α β γ α+β+γ
csc csc csc sen =0
2 2 2 2
π
O que implica que α + β + γ = 2π, essa solução serve apenas se α, β, γ >
2
e nesse caso não poderia haver um triângulo.
42
Solução 2:
Sabemos que alpha, beta e gammma são ângulos de um triângulo se e so-
mente se:
α β β γ α γ
tan tan + tan tan + tan tan = 1
2 2 2 2 2 2
Substituindo as tangentes por x,y e z, essa condição é equivalente a:
xy + xz + yz = 1
Observe o que podemos fazer com isso:
xy + xz + yz = 1
Mas nossa condição para que a igualdade acima seja verdadeira é que
α β β γ α γ
tan tan + tan tan + tan tan = 1, mas veja que isso só pode acontecer
2 2 2 2 2 2
se alpha, beta e gamma são ângulos de um triângulo, provando assim o que
queríamos.Para a segunda parte faça a substituição x = cotα, y = cotβ, z = cotγ
e teremos:
43
cscαcscβcscγ (cosαcosβsenγ + cosαcosγsenβ + cosβcosγsenα − senαsenβsenγ) = 0 ⇔
44
8.(“Solving Problems in Algebra and Trigonometry”-V.Litvinenko e A.Mordkovich)Prove
that:
cos2 α + cos2 β + cos2 γ ≥ 1
if α, β, γ are sizes of the angles of a non-acute triangle.
Solução 1:
Nessa primeira solução, vou provar que se o triângulo é obtuso então vale que
0 π π 3π 2π
2 2
-1
secγ < 0
Multiplicando ambos os lados por secαsecβ a desigualdade não se altera,pois
α, β estão no primeiro quadrante, veja:
secαsecβsecγ < 0
45
Observe que cos(α + β + γ) = −1, portanto, se multiplicarmos a desigualdade
por cos(α + β + γ) o sinal da desigualdade inverte, veja:
secαsecβsecγcos(α + β + γ) > 0
xyz < x + y + z
x + y + z > xyz
2x + 2y + 2z > 2xyz
(x + y) + (x + z) + (y + z) > 2xyz
xyz(x + y) + xyz(x + z) + xyz(y + z) < 2x2 y 2 z 2
xy(xz + yz) + xz(xy + yz) + yz(xy + xz) < 2x2 y 2 z 2
xy(xy + xz + yz − xy) + xz(xy + xz + yz − xz) + yz(xy + xz + yz − yz) < 2x2 y 2 z 2
xy(1 − xy) + xz(1 − xz) + yz(1 − yz) < 2x2 y 2 z 2
xy + xz + yz − x2 y 2 + y 2 z 2 + x2 z 2 < 2x2 y 2 z 2
xy + xz + yz < 2x2 y 2 z 2 + x2 y 2 + y 2 z 2 + x2 z 2
1 < 2x2 y 2 z 2 + x2 y 2 + y 2 z 2 + x2 z 2
3 + 2x2 + 2y 2 + 2z 2 + x2 y 2 + y 2 z 2 + x2 z 2 <
1 + y 2 + z 2 + y 2 z 2 + 1 + x2 + z 2 + x2 z 2 + 1 + x2 + y 2 + x2 y 2 <
2x2 1 + y 2 + z 2 + y 2 z 2 + 2y 2 1 + x2 + z 2 + x2 z 2 + 2z 2 1 + x2 + y 2 + x2 y 2
46
1 + y 2 1 + z 2 + 1 + x2 1 + z 2 + 1 + x2 1 + y 2 <
2x2 1 + y 2 1 + z 2 + 2y 2 1 + x2 1 + z 2 + 2z 2 1+ x2 1 + y 2
1 1 1 2x2 2y 2 2z 2
+ + < + +
1 + x2 1 + y2 1 + z2 1 + x2 1 + y2 1 + z2
Desfazendo a substituição feita no início, obtemos:
47
Solução 2:
Vamos transformar em produto a expressão abaixo, veja:
Fazendo = 2α, y = 2β, z = 2γ, com alpha, beta e gamma sendo ângulos de um
triângulo teremos:
48
a
Solução 3:
c π π 3π
0 2
2π
2
f
-1
Sem perda de generalidade, seja gamma o maior ângulo deste triângulo,
π
como o triângulo é obtuso ou retângulo, segue que cosγ ≤ 0(o cosseno entre
2
e π é negativo, como podemos ver pelo gráfico acima), partindo disso veja o que
podemos fazer:
cosγ ≤ 0
−cos(π − γ) ≤ 0
cos(π − γ) ≥ 0
cos(α + β + γ − γ) ≥ 0
cos(α + β) ≥ 0
cosαcosβ − senαsenβ ≥ 0
cosαcosβ ≥ senαsenβ
cotαcotβ ≥ 1
2cot αcot2 β ≥ 2cotαcotβ
2
49
10. (Problema sugerido por Israel Meireles Chrisostomo)Considere as pro-
posições:
1.Dados 3 pontos não alinhados num plano, que estejam a uma distância
a, b, c um do outro, encontre um ponto P, cuja distância aos três pontos é a
mesma, chame essa distância de r.
2.Escolha esses pontos de modo que P ou esteja sobre o segmento de reta
que une dois desses pontos, ou de modo que P esteja sobre a área do triângulo
compreendido por esses três pontos.
3. Imagine um ponto Q no espaço tridimensional e 3 retas perpendicula-
res entre si, se cruzando em um outro ponto S no espaço, nenhuma das quais
passando por Q. Tomando uma dessas 3 retas, delimita-se a distância do ponto
onde se cruzam até o ponto na reta em que a distância ao ponto Q é mínima,
isto é feito com as 3 retas.
Prove que se as distâncias encontradas
√ são iguais a a, b, c, então a distância
de S até Q é maior ou igual a 2r 2.
Demonstração
Primeiramente observe que a,b e c formam lados de um triângulo, e no caso
em que o triângulo é retângulo, então, um dos lados desse triângulo intercepta o
ponto P, já que o ponto P corresponde ao centro da circunferência circunscrita
ao triângulo. Abaixo uma representação da figura formada pelas descrições 1 e
2.
2β C
2γ
2α
50
Considere agora que pela lei dos cossenos, podemos deduzir:
Vamos guardar essa equação e interpretar o passo 3.Nesse ponto, tudo depende
da forma como mapearemos o ponto Q no espaço.Vamos criar um sistema tri-
dimensional de eixos ortogonais e centrar esses eixos no ponto Q, em outras
palavras Q está na origem do sistema de coordenadas cartesianas, diremos
que a origem é dada pelo ponto (x0 , y0 , z0 ), bem como o ponto S é dado por
(x1 , y1 , z1 ).Vamos escolher também, traçar os eixos coordenados de forma que
cada eixo coordenado seja paralelo a cada uma das retas, por exemplo, se cha-
marmos as retas que se interceptam no problema de u,v e w, devemos escolher
o eixo x paralelo a reta u, o eixo y paralelo a reta v, e o eixo z paralelo a reta
w.Note que, ao fazermos essa escolha, a distância entre o ponto de interseção
das três retas até o ponto mais próximo que essa reta está de Q nada mais é
do que a diferença x1 − x0 , bem como a da outra reta será y1 − y0 , e da outra
reta será z1 − z0 .Veja a figura na próxima página, veja que as retas paralelas
aparecem com a mesma cor:
51
h g
i y
S (x1 , y1 , z1 )
Q (x0 , y0 , z0 )
Isto posto,
√ suponha, por absurdo, que a distância de Q até S seja menor
do que 2r 2, usando a equação que retorna a distância entre 2 pontos em 3
dimensões, teremos:
52
11 (“Inequalities theorems techniques and selected problems”, Zdravko Cvet-
kovski)Let a,b,c ∈ (−1, 1) be real numbers such that ab + ac + bc = 1.Prove the
inequality: p
6 3 (1 − a2 )(1 − b2 )(1 − c2 ) ≤ 1 + (a + b + c)2
Solução 1: Primeiramente, suponha, sem perda de generalidade que a,b e c
são positivos, e ainda, observe que se alpha, beta e gamma são ângulos de um
triângulo vale:
1
cosαcosβcosγ ≤
8
1 − tan2 x
Lembre-se que, para todo x real, temos cos2x = , substituindo na
1 + tan2 x
desigualdade acima, teremos:
Note que nossa condição para que a desigualdade acima seja verdadeira é
que ab+ac+bc=1,pois alpha,beta e gamma são ângulos de um triângulo.Agora
considere que :
1 + (a + b + c)2 p p
≥ 3 (1 + a2 )(1 + b2 )(1 + c2 ) ≥ 2 3 (1 − a2 )(1 − b2 )(1 − c2 )
3
53
Usando a propriedade transitiva das desigualdades, a demonstração se conclui.
F
c π
0 2
π 3π 2π
2
54
Como a,b e c estão entre 0 e 1, veja:
−(xz + yz) + xy =1
| {z } |{z}
x>0,y>0,z>0⇒−(xy+xz)<0 x<1,y<1⇒xy<1
55
Solução 2: Use a desigualdade da média aritmética.
56
12. (“103 Trigonometry Problems from the training of the USA IMO Team”-
Titu Andreescu) Let ABC be a triangle. Prove that
√
3 3
senA + senB + senC ≤
2
Solução 1:A demonstração que vou apresentar neste PDF é geométrica, e acre-
dito ser muito elegante e simples.
Nossa estratégia de demonstração é provar que dentre todos os triângulos
inscritos, o que tem maior perímetro é o triângulo equilátero.Para isto, vamos E
inscrever um triângulo equilátero em uma circunferência qualquer.
B C
57
E
A0
B C
58
S’
A0
B C
59
S’
A
C0
A0
B C
60
S’
A
C0
A0
B C
61
S’
A C0
60◦
A0
S
60◦ 60◦
B C
62
S’
A
C0
60◦ A0
60◦
O
60◦ 60◦
B C
63
S’
A C0
60◦
A0
60◦
h
60◦
S
60 ◦ 60◦
B
64
S’
A
C0
60◦
A0
i
60◦
60◦ 60◦
60◦ 60◦
B
65
S’
A C0
60◦
A0
60 ◦ 60◦
60◦ 60◦
60◦ 60◦
B C
66
seja a soma dos dois lados do triângulo equilátero é maior do que a soma dos dois
lados (não comuns ao triângulo equilátero) do triângulo gerado pelo torção do
vértice A. E podemos aplicar o mesmo raciocínio aos outros lados em direções
diferentes, e chegar a este mesmo resultado. Portanto o triângulo de maior
perímetro é o equilátero.
Talvez uma dúvida natural seja pensar que movimentamos apenas um dos
vértices, enquanto existe a possibilidade de formar outro triângulo movimento
dois vértices do triângulo equilátero, mas nós vamos provar que os triângulos
obtidos por essa forma são menores do que o triângulo equilátero.Veja como
E
podemos formar outros triângulos a partir do triângulo equilátero:
60◦
A0
60◦ 60◦
B C
B0
Figura 1
60◦
Na figura acima, movimentamos os vértices A e B e obtemos os vértices A’
e B’, gerando o triângulo A’B’C.Este é um exemplo de como podemos obter
novos triângulos.Mas observe que ao movimentarmos os dois vértices temos uma
composição de movimentos de um vértice, isto é, movimentar dois vértices é o
mesmo que fazer dois movimentos de cada um de dois vértices.Note que na
demonstração acima, já provamos:
AB + AC > A0 B + A0 C (38)
AB + BC > AB 0 + B 0 C (39)
67
Somando as desigualdades (38) e (39), teremos:
A0 a B0
y
d00
b
d
d0
C0
0 c
D
a
Pela desigualdade triangular, temos:
68
como a soma de suas diagonais é maior do que a soma de quaisquer dois lados
opostos teremos:
AB 0 + A0 B > AB + A0 B 0 (45)
Somando A’C+B’C em ambos os lados da desigualdade acima, teremos:
A0 B + A0 C + AB 0 + B 0 C > A0 C + B 0 C + AB + A0 B 0 (46)
Observe que o lado direito de (40) é o lado esquerdo de (46), sendo assim, usando
transitividade, teremos:
AC + AB + BC > A0 C + B 0 C + A0 B 0 (48)
A0
C0
C B
Figura 2
69
O primeiro caso é o caso em que o arco CC’ é maior do que AA’, o segundo
caso, é o caso contrário, isto é, o caso em que o arco AA’ é maior do que CC’.
Analisemos o primeiro caso.Quando CC’ é maior do que AA’, se rotacionar-
mos o triângulo A’BC’(rotação em torno do centro da circunferência) no sentido
anti-horário, de modo que o vértice A’ se sobreponha ao vértice A, teremos o
mesmo caso anterior, veja a figura:
A A0
C0
C B
Note que o triângulo A’C’B da figura está na mesma posição que o triângulo
A’C’B da figura 1(o que muda é que está rotacionado, mas é o mesmo caso, isto
é, o caso em que o arco C’B é maior do que o arco CB, isto acontece devido ao
fato de ao rotacionarmos o triângulo A’C’B a distância percorrida pelo vértice
A’ até chegar ao vértice A é menor que a distância percorrida pelo vértice C’
até se sobrepor ao vértice C).
Considere agora o segundo caso, isto é, o caso em que CC’ é menor do que
AA’.Se rotacionarmos o triângulo A’C’B da figura 2, em torno do centro da
circunferência, de modo que o ponto C’ se sobreponha ao ponto C, como a
distância percorrida por C’ até chegar a C é menor do que a distância por A’
até chegar A, teremos uma figura do tipo abaixo:
70
A
A0
C0
C B
Isto é, a consequência imediata desse caso é que o arco A’B será menor e estará
“dentro” do arco AB. Vamos provar que nesse caso o triângulo formado será
menor.Para isso, considere a figura abaixo:
71
A
A0
C0
C B
72
A
A0
C0
B
C
AC + AB > A0 C + A0 B (49)
AC + BC > AC 0 + BC 0 (50)
Somando essas duas equações obtemos:
AC + AB + AC + BC > AC 0 + BC 0 + A0 C + A0 B (51)
Mas já provamos que a soma das diagonais de um quadrilátero convexo é maior
que a soma de quaisquer dois lados opostos desse quadrilátero, observando o
quadrilátero A’ACC’, teremos a seguinte relação:
A0 C + AC 0 > A0 C 0 + AC (52)
AC 0 + BC 0 + A0 C + A0 B > A0 C 0 + AC + BC 0 + A0 B (53)
73
Observe que o lado direito de (51) é o lado esquerdo de (53), sendo assim, por
transitividade, teremos:
AC + AB + AC + BC > A0 C 0 + AC + BC 0 + A0 B (54)
AB + AC + BC > A0 C 0 + BC 0 + A0 B (55)
74
Solução 2:Use a concavidade da função seno e aplique a desigualdade de
Jensen.
75
Solução 3:
Considere que:
α+β α−β α+β
senα + senβ + senγ = 2sen cos + senγ ≤ 2sen + senγ =
2
r 2 2
γ γ γ γ p
2cos + senγ = 2cos + 2cos 1 − cos2 = 2x + 2x 1 − x2
2 2 2 2
76
Solução 4:Veja página 215.
77
13. (“103 Trigonometry Problems from the training of the USA IMO Team”-
Titu Andreescu) Let x, y,z be positive real numbers.Prove that:
√
x y z 3 3
√ +p +√ ≤
1 + x2 1 + y2 1 + z2 2
if x+y+z=xyz.
78
14. (Euler’s Inequality-Desigualdade de Euler)Seja r o raio da circunferência
inscrita ao triângulo, seja R o raio da circunferência circunscrita ao triângulo,
prove que:
2r ≤ R
Solução:
Considere a circunferência inscrita ao triângulo abaixo:
c
r
C
r
r
a
Observe que a soma das áreas dos triângulos formados pela união do centro da
circunferência inscrita com os vértices do triângulo é igual a área do triângulo
total,sendo assim teremos:
ar br cr
A= + +
2 2 2
De onde conluímos a primeira relação:
(a + b + c)r
A= (56)
2
Considere agora o triângulo ABC inscrito em uma circunferência de raio R.
Seja AH = h uma altura e seja AD um diâmetro dessa circunferência.
79
A
c
h b
2R C
B
H a
Os triângulos AHB e ACD são semelhantes uma vez que os ângulos AHB e ACD
são retos e os ângulos ABC e ADC são iguais pois subtendem o mesmo arco.De
onde conluímos a razão de semelhança:
AB AH
=
AD AC
c h
=
2R b
ou seja, bc = 2Rh. Multiplicando pelo comprimento do lado BC os dois lados,
temos abc = 2Rah. Mas ah é o dobro da área do triângulo ABC e assim
encontramos a nossa segunda relação :
As equações (56) e (57) são duas relações importantes que envolvem um triân-
gulo e as circunferências inscritas e circunscritas.
Substituindo (56) em (57), teremos:
4Rr(a + b + c)
abc =
2
abc
= 2rR (58)
a+b+c
Considere que pela desigualdade das médias, temos:
a+b+c √
3
≥ abc
3
80
Elevando ao cubo, teremos:
(a + b + c)3
≥ abc
27
De onde podemos concluir que:
abc (a + b + c)2
≤ (59)
(a + b + c) 27
81
15. Prove que o triângulo de maior área que se pode inscrever na circunfe-
rência é o equilátero.
Solução:
Seja A a área de um triângulo inscrito
√ na circunferência.Pela equação (56),
usando que 2r ≤ R, e que a + b + c ≤ 3 3R , multiplicando as duas desigual-
dades anteriores teremos:
√
2
√ 2
√ 3R2 3
4A = 2r(a + b + c) ≤ 3R 3 ⇒ 4A ≤ 3R 3 ⇒ A ≤
4
Como o majorante encontrado para a área é a própria área do triângulo equi-
látero, fica provado assim o resultado.Mas nesse caso podemos afirmar que a
desigualdade é estrita se o triângulo não é equilátero, pois a igualdade ocorre
apenas se o triângulo for equilátero, já que nas duas desigualdades aplicadas, a
igualdade só ocorre nesse caso ...
82
16. (“Simple trigonometric substitutions with broad results”-Vardan Ver-
diyan e Daniel Campos Salas)Let a, b, c be a positive real numbers such that
a + b + c = 1.Prove that:
r r r r r r
1 1 1 1 1 1
−1 −1+ −1 −1+ −1 −1≥6
a b a c b c
Solução Faça a substituição:
r r r
bc ac ab
x= ;y = ;z = ;
a b c
Observe que essa substituição nos leva a yz = a, xz = b, xy = c, concluindo
assim que:
a + b + c = 1 ⇒ xy + xz + yz = 1
De onde podemos ver que x,y e z são tangentes com argumentos cujo valor
são metade dos ângulos de um triângulo.Substituindo na desigualdade teremos:
r r r r r r
1 1 1 1 1 1
−1 −1+ −1 −1+ −1 −1≥6
r yz xz
r
yz xy
r xz r xy
β γ α γ β γ α β
cot cot − 1 cot cot − 1 + cot cot − 1 cot cot − 1 +
2 2 2 2 r 2 2 2 2
r
α γ α β
cot cot − 1 cot cot − 1 ≥ 6
2 2 2 2
Por transformações trigonométricas triviais, é possível ver que a desigualdade
acima é equivalente a:
α β γ
csc + csc + csc ≥ 6
2 2 2
Agora nos resta provar a desigualdade acima.Considere que pela desigualdade
que relaciona as médias harmônica e aritmética, segue que:
83
17. (Desafio/Somatórios-Filipe Moreira/Instituto Tecnológico de Aeronáutica-
Xn
ITA-SP)Calcule por pertubação de somatórios sen(kx).
k=1
Solução: Vou calcular algo muito mais forte usando pertubação de soma-
tórios, vou calcular a soma abaixo:
n
X
sen(φ + θ) + sen(φ + 2θ) + sen(φ + 3θ) + ... + sen(φ + nθ) = sen(φ + kθ)
k=1
Ora, a soma do problema é uma caso particular da soma acima, basta fazer
φ = 0 na soma acima e teremos a soma do problema.Veja o que podemos fazer:
n
X n
X
sen(φ + kθ) + sen(φ + (n + 1)θ) = sen(φ + (k + 1)θ) =
k=1 k=0
Xn n
X
sen(φ+(k +1)θ)+sen(φ+θ) = (sen(φ+kθ)cos(θ)+cos(φ+kθ)sen(θ))+
k=1 k=1
n
X n
X
sen(φ + θ) = cos(θ) sen(φ + kθ) + sen(θ) cos(φ + kθ) + sen(φ + θ) ⇒
k=1 k=1
n
X n
X n
X
sen(φ + kθ) + sen(φ + (n + 1)θ) = cos(θ) sen(φ + kθ) + sen(θ) cos(φ +
k=1 k=1 k=1
n
X
kθ) + sen(φ + θ) ⇒ (1 − cos(θ)) sen(φ + kθ) + sen(φ + (n + 1)θ) − sen(φ +
k=1
n n n
X X (1 − cos(θ)) X
θ) = sen(θ) cos(φ + kθ) ⇒ cos(φ + kθ) = sen(φ + kθ) +
sen(θ)
k=1 k=1 k=1
sen(φ + (n + 1)θ) − sen(φ + θ)
sen(θ)
Concluímos assim a primeira e importante igualdade:
n n
X (1 − cos(θ)) X sen(φ + (n + 1)θ) − sen(φ + θ)
cos(φ+kθ) = sen(φ+kθ)+
sen(θ) sen(θ)
k=1 k=1
(63)
Considere agora o desenvolvimento:
n
X n
X
cos(φ + kθ) + cos(φ + (n + 1)θ) = cos(φ + (k + 1)θ) =
k=1 k=0
Xn n
X
cos(φ + (k + 1)θ) + cos(φ + θ) = (cos(φ + kθ)cos(θ) − sen(φ + kθ)sen(θ)) +
k=1 k=1
n
X n
X
cos(φ + θ) = cos(θ) cos(φ + kθ) − sen(θ) sen(φ + kθ) + cos(φ + θ) ⇒
k=1 k=1
n
X n
X n
X
cos(φ + kθ) + cos(φ + (n + 1)θ) = cos(θ) cos(φ + kθ) − sen(θ) sen(φ +
k=1 k=1 k=1
84
n
X n
X
kθ) + cos(φ + θ) ⇒ cos(φ + kθ) + cos(φ + (n + 1)θ) − cos(θ) cos(φ + kθ) =
k=1 k=1
n
X n
X
−sen(θ) sen(φ + kθ) + cos(φ + θ) ⇒ (1 − cos(θ)) cos(φ + kθ) + cos(φ +
k=1 k=1
n
X
(n + 1)θ) = −sen(θ) sen(φ + kθ) + cos(φ + θ)
k=1
n
X
⇒ (1 − 2cos(θ) + cos2 (θ) + sen2 (θ)) sen(φ + kθ) +
k=1
+ (1 − cos(θ))(sen(φ + (n + 1)θ) − sen(φ + θ)) + sen(θ)cos(φ + (n + 1)θ) =
sen(θ)cos(φ + θ) ⇒
n
X
⇒ (2 − 2cos(θ)) sen(φ + kθ) = sen(θ)cos(φ + θ)
k=1
− ((1 − cos(θ))(sen(φ + (n + 1)θ) − sen(φ + θ)) − sen(θ)cos(φ + (n + 1)θ) ⇒
85
n
X
⇒ (2 − 2cos(θ)) sen(φ + kθ) =
k=1
sen(θ)cos(φ + θ) − sen(φ + (n + 1)θ) + sen(φ + θ) + cos(θ)sen(φ + (n + 1)θ) −
cos(θ)sen(φ + θ) − sen(θ)cos(φ + (n + 1)θ)
Observe que
sen(θ)cos(φ + θ) − cos(θ)sen(φ + θ) = −(cos(θ)sen(φ + θ) − sen(θ)cos(φ + θ)) =
−sen(φ + θ − θ) = −sen(φ), veja também que:
cos(θ)sen(φ + (n + 1)θ) − sen(θ)cos(φ + (n + 1)θ) = sen(φ + (n + 1)θ − θ) =
sen(φ + nθ)
Substituindo teremos:
n
X
(2−2cos(θ)) sen(φ+kθ) = −sen(φ+(n+1)θ)+sen(φ+θ)+sen(φ+nθ)−sen(φ)
k=1
(65)
Considere
que sen(φ+θ)−sen(φ+(n+1)θ)
= −(sen(φ+(n+1)θ)−sen(φ+θ)) =
nθ 2φ + (n + 2)θ
−2sen cos e também
2 2
nθ 2φ + nθ
sen(φ + nθ) − sen(φ) = 2sen cos
2 2
Substituindo as igualdades anteriores em (65) teremos:
n
X nθ2φ + (n + 2)θ nθ 2φ + nθ
(2−2cos(θ)) sen(φ+kθ) = −2sen cos +2sen cos
2 2 2 2
k=1
(66)
2φ + nθ 2φ + (n + 2)θ
Colocando os senos em evidência em (66) e usando que cos −cos =
2 2
θ (n + 1)θ θ (n + 1)θ
−2sen − sen φ + = 2sen sen φ + (lembre-se
2 2 2 2
o seno é uma função ímpar), substituindo em (66) teremos:
n
X nθ θ (n + 1)θ
(2 − 2cos(θ)) sen(φ + kθ) = 4sen sen sen φ + (67)
2 2 2
k=1
Agora, observe
que:
θ θ
2−2cos(θ) = 2−2 1 − 2sen2 = 4sen2 , substituindo em (67), teremos:
2 2
Xn
2 θ nθ θ (n + 1)θ
4sen sen(φ + kθ) = 4sen sen sen φ +
2 2 2 2
k=1
Passando o seno ao quadrado dividindo teremos o resultado desejado5
5É fácil generalizar esse resultado para o cosseno, ou para o seno ao quadrado ou cosseno
86
18.Prove a desigualdade 7 desse artigo.
87
19.(IMO)Sejam a,b,c os lados do triângulo e A sua área, prove que:
√
a2 + b2 + c2 ≥ 4 3A
O que é absurdo, isto pode ser visto usando a desigualdade que relaciona a média
aritmética com a média harmônica, ou pela desigualdade de Cauchy-Schwarz.De
onde concluímos:
1 1 1 3
+ + ≥ √ (77)
a b c R 3
Pela desigualdade (77) e por (57), temos:
√
3abc
ab + ac + bc ≥
R
√
ab + ac + bc ≥ 4A 3
Usando que a2 + b2 + c2 ≥ ab + bc + ac segue o resultado.
88
Solução 2:
Essa solução é um pouco mais longa.Nessa solução vou provar que essa desi-
gualdade é equivalente a desigualdade 7, usando outros argumentos.Substituindo
a fórmula de Heron, teremos:
√ p
a2 + b2 + c2 ≥ 4 3 S(S − a)(S − b)(S − c)
s 2
a+b+c
Multiplicando ambos os lados da desigualdade acima por =
2abc
s 2
S
, obtemos:
abc
r
√
2 2 2
a+b+c S(S − a) S(S − b) S(S − c)
a +b +c ≥4 3
2abc bc ac ab
Usando a relação (24) e (25), temos:
√
a+b+c α β γ
a2 + b2 + c2 ≥ 4 3cos cos cos
2abc 2 2 2
a2 b2 c2 √
a a b b c c α β γ
+ + + + + + + + ≥ 8 3cos cos cos
bc b c ac a c ab a b 2 2 2
√
α β γ senα senβ senγ α β γ
4cos cos cos + + ≥ 8 3cos cos cos
2 2 2 senβsenγ senαsenγ senαsenβ 2 2 2
senα senβ senγ √
+ + ≥2 3
senβsenγ senαsenγ senαsenβ
sen(β + γ) sen(α + γ) sen(β + α) √
+ + ≥2 3
senβsenγ senαsenγ senαsenβ
√
2cotα + 2cotβ + 2cotγ ≥ 2 3
√
cotα + cotβ + cotγ ≥ 3
89
Solução 3:
Aqui vai uma demonstração elementar dessa desigualdade(sem usar uma
desigualdade auxiliar).Seja R o raio da circunferência circunscrita ao triângulo,
abc
α, β, γ os ângulos agudos opostos aos lados a, b, c, então sabemos que A =
4R
c 2R 1
, = senγ ⇒ = e também pela lei dos cossenos que c = a + b2 −
2 2
2R c senγ
a2 + b2 − c2
2abcosγ ⇒ cosγ = , daí segue que:
2ab
4Rabc(a2 + b2 − c2 ) 4AR(a2 + b2 − c2 ) 2R a2 + b2 − c2
a2 +b2 −c2 = = = 4A× × =
4Rabc abc
r rc 2ab
p p 4R2 4a2 b2 R2
4Acotγ = 4A cot2 γ = 4A csc2 γ − 1 = 4A 2
− 1 = 4A −1 =
s r s c a2 b2 c2
a2 b2 a2 b2 a 2 b2
p
4A − 1 = 4A − 1 = 2 4A 2 − 1 = 2 a2 b2 − 4A2 ⇒
2 4A2 4A2
4 abc
4R p
a2 + b2 − c2 = 2 a2 b2 − 4A2
p
2 a2 c2 − 4A2 = a2 + c2 − b2
p
2 b2 c2 − 4A2 = b2 + c2 − a2
Multiplicando essas igualdades duas a duas teremos:
p p
4 a2 b2 − 4A2 b2 c2 − 4A2 = (a2 + b2 − c2 )(b2 + c2 − a2 )
p p
4 a2 c2 − 4A2 b2 c2 − 4A2 = (a2 + c2 − b2 )(b2 + c2 − a2 )
p p
4 a2 b2 − 4A2 a2 c2 − 4A2 = (a2 + c2 − b2 )(a2 + b2 − c2 )
90
Somando todas as desigualdades acima teremos:
4a2 b2 +4b2 c2 +4a2 c2 −16×3A2 ≥ (a2 +b2 −c2 )(b2 +c2 −a2 )+(a2 +c2 −b2 )(b2 +c2 −a2 )+(a2 +c2 −b2 )(b2 +c2 −a2 )
(x + y + z)2 − 16 × 3A2 ≥ 0
√
x + y + z ≥ 4 3A
De onde finalmente segue o resultado.
91
20.(Vardan Verdiyan e Daniel Campos Salas-“Simple trigonometric
√ substitu-
tions with broad results”)Let a,b,c real numbers such that a+b+c = abc.Prove
that:
ab + bc + ac ≥ 9(a + b + c)
√
Solução 1: Dividindo a desigualdade por a + b + c = abc, a desigualdade
é equivalente a: r r
r
bc ac ab
+ + ≥9
a b c
√
Dividindo a condição por abc, a condição é equivalente a:
r r r
a b c
+ + =1
bc ac ab
O que temos que provar agora é a seguinte implicação:
r r r r r r
a b c bc ac ab
+ + =1⇒ + + ≥9 (78)
bc ac ab a b c
Sejam x,y e z números reais quaisquer, faça a substituição:
r r r
4 bc 4
ac 4 ab
x= ,y = ,z =
a3 b3 c3
Multiplicando as igualdades acima duas a duas, vem:
r r r
c b a
xy = , xz = , yz =
ab ac bc
Substituindo em (78), segue que:
1 1 1
xy + xz + yz = 1 ⇒ + + ≥9 (79)
xy xz yz
α β γ
Fazendo x = tan , y = tan , z = tan , alpha, beta e gamma são ângulos de
2 2 2
um triângulo.De onde vemos que a desigualdade é equivalente a:
α β α γ β γ α β α γ β γ
tan tan +tan tan +tan tan = 1 ⇒ cot cot +cot cot +cot cot ≥ 9
2 2 2 2 2 2 2 2 2 2 2 2
(80)
Veja que o que temos que provar é que a desigualdade acima é uma desigualdade
do triângulo, mas isso é possível ver, se alpha, beta e gamma são ângulos de um
triângulo, pela desigualdade 3 vale que:
α β γ 1
sen sen sen ≤
2 2 2 8
α β γ
csc csc csc ≥ 8
2 2 2
92
α+β+γ
Multiplicando ambos os lados por sen = 1, teremos:
2
α β γ α+β+γ
csc csc csc sen ≥8
2 2 2 2
α β γ α+β γ α+β γ
csc csc csc sen cos + cos sen ≥8
2 2 2 2 2 2 2
α β γ α β α β γ α β α β γ
csc csc csc sen cos + cos sen cos + cos cos − sen sen sen ≥
2 2 2 2 2 2 2 2 2 2 2 2 2
8
α β α γ β γ
cot cot + cot cot + cot cot ≥ 9
2 2 2 2 2 2
93
Solução 2:Aplicando a desigualdade de Cauchy-Schwarz ao lado esquerdo da
desigualdade da relação (78) e pela igualdade da relação (78), segue o
resultado diretamente.
94
21.(OBM)Se xy+xz+yz=1, prove que:
95
22.(“103 Problems From the Training USA IMO Team”-Titu Andreescu)Let
A,B,C be a triangle.Prove that :
A B A C B C
tan tan + tan tan + tan tan = 1
2 2 2 2 2 2
Solução
1: Já sabemos que se x, y e z são ângulos de um triângulo vale
x+y z
cos = sen (veja o motivo na página 16 desse pdf).Agora, observe que:
2 2
senα+senβ+senγ
= (senα
+senβ− senγ)+(senα
+ senγ − senβ)+(senβ +senγ− senα)=
α α β−γ β+γ γ γ α−β α+β
2sen cos + 2sen cos + 2sen cos + 2sen cos +
2 2 2 2 2 2 2 2
β β γ−α α+γ α β+γ β−γ α
2sen cos + 2sen cos = 2sen sen + 2sen sen +
2 2 2 2 2 2 2 2
γ α+β α−β γ β γ+α γ−α β
2sen sen + 2sen sen + 2sen sen + 2sen sen =
2 2 2 2 2 2 2 2
α β+γ β−γ γ α+β α−β
2sen sen + sen +2sen sen + sen +
2 2 2 2 2 2
β γ+α γ−α α β γ γ α β
2sen sen + sen = 4sen sen cos +4sen sen cos +
2 2 2 2 2 2 2 2 2
β γ α
4sen sen cos
2 2 2
α β γ
Usando que senα + senβ + senγ = 4cos cos cos , concluímos a igualdade:
2 2 2
α β γ α β γ γ α β β γ α
cos cos cos = sen sen cos + sen sen cos + sen sen cos (85)
2 2 2 2 2 2 2 2 2 2 2 2
α β γ
Dividindo a equação (85) por cos cos cos segue o resultado.
2 2 2
96
A B A C B C
Solução 2: Observe a expressão tan tan + tan tan + tan tan
2 2 2 2 2 2
,pela substituição (26) e (27) segue o resultado diretamente.
97
Solução 3: Veja página 21.
98
23.(Cálculo-Geraldo Ávila) Encontre uma expressão fechada para a soma:
n
X 1
arctan
2k 2
k=1
ω+φ
Solução:Pela relação 10, teremos: tan(arctan ω + arctan φ) = ⇒
1 − ωφ
ω+φ
arctan(tan(arctan ω + arctan φ)) = arctan ω + arctan φ = arctan
1 − ωφ
De onde conluímos:
ω+φ
arctan ω + arctan φ = arctan
1 − ωφ
k k−1
Substituindo ω = eφ=− na igualdade acima, teremos:
k+1 k
k
k k−1 − k−1 1
arctan − arctan = arctan k+1 k k−1
k
= arctan 2
k+1 k 1 + k+1 k 2k
99
24.(Cálculo-Stewart) Os polinômios de Chebychev Tn são definidos por Tn =
cos(n arccos x), ∀n ∈ N, mostre que para n maior ou igual a 1
Tn+1 (x) = cos((n+1) arccos x) = cos((n arccos x+arccos x) = cos(n arccos x)cos(arccos x)−
sen(n arccos x)sen(arccos x) = xcos(n arccos x)−sen(n arccos x)sen(arccos x) ⇒
cos((n + 1) arccos x) = xcos(n arccos x) − sen(n arccos x)sen(arccos x)
De onde concluímos:
cos(a + b) − cos(a − b)
= −senasenb ⇒ −sen(n arccos x)sen(arccos x) =
2
cos((n + 1) arccos x) − cos((n − 1) arccos x)
2
100
5 Um pouco além da trigonometria: Indução,
Redução ao absurdo ou Contraposição, Senten-
ças Condicionais, Normalização de desigualda-
des Homogêneas, Cálculo
101
25.(Problema sugerido por Israel Meireles Chrisostomo) Dados dois números
quaisquer, prove que sempre existe entre estes dois números uma sequência
infinitamente decrescente e outra infinitamente crescente, ambas formadas por
estes dois números, em outras palavras, prove que qualquer intervalo aberto de
R pode conter uma sequência infinitamente crescente e infinitamente decrescente
composta pelos extremos desse intervalo.
Solução :
Seja um intervalo aberto (a1 , b1 ), então, podemos supor sem perda de gene-
ralidade que b1 > a1 , veja o que podemos fazer com isso:
b1 + a1
b1 > a1 ⇒ 2b1 > b1 + a1 → b1 >
2
De onde concluímos que vale:
b1 + a1
b1 > (86)
2
b1 + a1
Por outro lado b1 > a1 ⇒ b1 + a1 > 2a1 ⇒ a1 <
2
De onde concluímos que vale:
b1 + a 1
a1 < (87)
2
De (86) e (87), chega-se a:
b1 + a1
b1 > > a1 (88)
2
Concluímos de (88) que há pelo menos um elemento entre a1 e b1 .Vamos provar
por indução que sempre podemos encontrar um número maior entre a1 e b1 .
Defina:
b1 (2n − 1) + a1
an+1 = ,n ∈ N (89)
2n
Por hipótese de indução, considere:
b1 (2n+1 − 1) + a1
b1 > > an+1 (90)
2n+1
O lado esquerdo da desigualdade acima não há necessidade de indução, basta
observar que isto segue diretamente do fato de que b1 > a1 .Veja:
102
o que temos que provar por indução, é que a sequência an+1 é crescente, entre-
tanto não ultrapassa o termo b1 (como já provamos), e como o primeiro termo é
a1 , isto é, o próprio extremo do intervalo, o resultado segue diretamente. Vamos
desenvolver (90) apropriadamente, vamos substituir(89) em (90) e depois somar
b1 nos dois lados de (90), veja:
a1 (2n+1 − 1) + b1
bn+1 > > a1 (92)
2n+1
O lado direito da desigualdade acima não há necessidade de indução, basta
observar que isto segue diretamente do fato de que b1 > a1 .Veja:
Nos resta provar o lado esquerdo, como base de indução, considere, para
o caso n = 0, que já está provado, pois nada mais é do que a desigualdade
(88). Observe que o que temos que provar por indução, é que a sequência bn+1 é
decrescente, entretanto seus termos nunca são menores que o termo a1 (acabamos
de provar isto), e como o primeiro termo dessa sequência é b1 , isto é, o próprio
extremo do intervalo, o resultado segue diretamente.Substituindo (91) no lado
esquerdo de (92) e depois somando a1 nos dois lados da desigualdade resultante
teremos:
103
26. (Teoria dos números:um passeio com primos e números familiares pelo
mundo inteiro-Eduardo Tengan,Carlos Gustavo T. de A. Moreira, Nicolau Cor-
ção Saldanha)Demonstre a fórmula do binômio de Newton para n natural.
n n n n−1 n n n
(x + y)n = x + x y + ... + xy n−1 + y
0 1 0 n
104
Multiplicando os dois lados por n+1, e somando an+1 nos dois lados da igual-
dade, teremos:
n
n+1
X n + 1 n+1−(k+1) k+1
(a + b) = an+1 + a b ⇒
k+1
k=0
n n+1
n+1 n + 1 n+1 X n + 1 n+1−(k+1) k+1 X n + 1 n+1−k k
⇒ (a + b) = a + a b = a b
0 k+1 k
k=0 k=0
De onde, finalmente, segue o resultado por indução.
105
27. (Mathematics Stack Exchange Question)But I also know that pi is not
algebraic, so I’m not sure if I should be looking for an algebraic expression the
limit of which w.r.t. a variable approaches a transcendental number.8
Solução 2:O que essa pessoa tem dúvida é se há uma expressão algé-
brica(querendo dizer, na verdade, sequência de números algébricos) cujo li-
mite é um número transcendente, em outras palavras poderíamos construir uma
sequência de algébricos cujo limite é transcendental?
1 π 1
Considere cot = que é claramente raiz de qualquer polinômio na
4 4 4
1
forma P (x) = xn − n ,considere que
4
1 π
cot ,n ≥ 2 (94)
2n 2n
Como hipótese de indução, considere que (94) é algébrico.Agora note que:
π π
1 π 1 cos2 2n+1 − sen2 2n+1 1 π 1 π
cot = π π = n+1 cot n+1 − n+1 tan n+1
2n 2n 2n 2sen 2n+1 cos 2n+1 2 2 2 2
De onde concluímos que vale:
1 π 1 π 1 π
n
cot n
= n+1 cot n+1 − n+1 tan n+1 (95)
2 2 2 2 2 2
Como por hipótese, o lado esquerdo (95) é algébrico o lado direito também
deve ser, suponha que a tangente seja transcendente, como o inverso de um
número transcendente também é transcendente, a cotangente também deve ser
transcendente, mas a soma de um transcendente com seu inverso também é
claramente transcendente, logo concluiríamos que a soma é transcendente e
portanto o lado esquerdo é transcendente, o que é absurdo, provando assim por
1
indução que essa sequência é algébrica9 .Por outro lado seu limite tende a .
π
106
28.(Advanced Calculus-Lynn H. Loomis and Shlomo Stenrberg-Department
of Mathematics)For x in Rn let |x| be the Euclidean Length
" n # 12
X
|x| = x2i
1
107
b1
b2
α b3 β
b2 b2
cos(β) = =p 2 (98)
b3 b1 + b22
Vamos construir um triângulo retângulo de catetos a1 , a2 , veja:
108
a2 a1
a3 φ
ω
(a21 + a22 + ... + a2n )(b21 + b22 + ... + b2n ) ≥ (a1 b1 + a2 b2 + ... + an bn )2 (101)
109
a21 b2n+1 + b21 a2n+1 ≥ 2a1 b1 an+1 bn+1
a22 b2n+1 + b22 a2n+1 ≥ 2a2 b2 an+1 bn+1
a23 b2n+1 + b23 a2n+1 ≥ 2a3 b3 an+1 bn+1
...
...
...
a2n b2n+1 + b2n a2n+1 ≥ 2an bn an+1 bn+1
Somando essas n desigualdades, segue:
(a21 +a22 +...+a2n )b2n+1 +(b21 +b22 +...+b2n )a2n+1 ≥ 2an+1 bn+1 (a1 b1 +a2 b2 +a3 b3 +...+an bn )
(102)
Somando (101) com (102), segue que:
(a21 +a22 +...+a2n )b2n+1 +(b21 +b22 +...+b2n )a2n+1 +(a21 +a22 +...+a2n )(b21 +b22 +...+b2n ) ≥
2an+1 bn+1 (a1 b1 + a2 b2 + a3 b3 + ... + an bn ) + (a1 b1 + a2 b2 + ... + an bn )2
(a21 +a22 +...+a2n )b2n+1 +(b21 +b22 +...+b2n )a2n+1 +(a21 +a22 +...+a2n )(b21 +b22 +...+b2n )+
+ a2n+1 b2n+1 ≥ a2n+1 b2n+1 + 2an+1 bn+1 (a1 b1 + a2 b2 + a3 b3 + ... + an bn ) + (a1 b1 +
a2 b2 + ... + an bn )2
[(a21 + a22 + ... + a2n )b2n+1 + a2n+1 b2n+1 ] + [(b21 + b22 + ... + b2n )a2n+1 + (a21 + a22 + ... +
a2n )(b21 + b22 + ... + b2n )] ≥ (a1 b1 + a2 b2 + a3 b3 + ... + an bn + an+1 bn+1 )2
(a21 + a22 + ... + a2n + a2n+1 )b2n+1 + (b21 + b22 + ... + b2n )(a21 + a22 + ... + a2n + a2n+1 ) ≥
(a1 b1 + a2 b2 + a3 b3 + ... + an bn + an+1 bn+1 )2
(a21 + a22 + ... + a2n + a2n+1 )(b21 + b22 + ... + b2n + b2n+1 ) ≥ (a1 b1 + a2 b2 + a3 b3 + ... +
an bn + an+1 bn+1 )2
110
29.(Cálculo-Serge Lang)Se a1 , ..., an são números maiores ou iguais a zero,
mostre que11 :
√ 1 1
a1 +a2 +a3 +a4 +...an−4 +an−3 +an−2 +an−1 +an +an+1 ≥ n
a1 ...an+1 √
n a
+ ... + √
n a
1 n+1
(104)
1
Aplicando a desigualdade de Jensen para a função f (x) = √ , que é convexa
n
x
1
para x positivo, com λ1 = λ2 = .... = λn+1 = teremos:
n+1
s
1 1 n+1
√
n a
+ ... + √
n a
≥ (n + 1) n
1 n+1 a1 + ... + an+1
√
Multiplicando ambos os lados da desigualdade acima por n a1 ...an+1 , chegamos
a:
11 Esta
é a Desigualdade entre as Médias Aritmética e Geométrica, para provar a desigual-
1
dade entre a média geométrica e harmônica, basta fazer ak = .O autor do livro, sugere dois
bk
raciocínios em diferentes partes do texto para que o leitor prove a desigualdade das médias,
aqui eu não segui nenhuma de suas sugestões, para mais informações veja seu livro Cálculo.
12 Cada k-ésima parcela falta o termo a .
k
111
s
√ 1 1 (n + 1)a1 ...an+1
n
a1 ...an+1 √
n a
+ ... + √
n a
≥ (n + 1) n (105)
1 n+1 a1 + ... + an+1
Observe que o lado direito de (104) é o lado esquerdo de (105), assim por
transitividade, teremos:
s
(n + 1)a1 ...an+1
a1 + ... + an+1 ≥ (n + 1) n (106)
a1 + ... + an+1
Elevando ambos os lados da desigualdade acima a n-ésima potência, chegamos
a:
a1 ...an+1
(a1 + ... + an+1 )n ≥ (n + 1)n+1 (107)
a1 + ... + an+1
112
30.(Questão postada em uma comunidade do Facebook)Resolva a equação:
3
1 + sen3 x + cos3 x = sen(2x)
2
Solução:
3π
Podemos ver diretamente duas soluções particulares x = e x = π.Mas
2
não sabemos se há outra solução, se não aquelas que são côngruas a estas so-
luções.Vamos provar que não existem outras soluções além das soluções côn-
gruas.Para tanto, basta observar que sen2 x = 1 − cos2 x e cos2 x = 1 − sen2 x,
daí segue que:
De onde concluímos:
(1 − senxcosx)(1 + senx + cosx) = (1 + senx + cosx)(−1 + senx + cosx) (113)
3π
Supondo que haja soluções diferentes das triviais, devemos tomar x 6= e
2
x 6= π , daí podemos efetuar o cancelamento do termo (1 + senx + cosx), sendo
assim teremos:
1 − senxcosx = −1 + senx + cosx (114)
113
De (114) segue que:
y 2 + 2y − 5 = 0 (115)
√ √
Cujas soluções são −1 − 6 e 6 − 1 , valores estes
queπestão fora do intervalo
√ √
que y pode assumir, já que senx + cosx = 2sen x + , cujo máximo é 2
√ 4
e cujo mínimo é − 2 .
114
31.(IMO 1984-International Mathematical Olympiad13 /Putnam and Beyond-
Titu Andreescu)Let a > 0, b > 0, c > 0, a + b + c = 1.Prove that:
7
0 ≤ ab + bc + ac − 2abc ≤
27
Solução: O lado esquerdo é trivial.Por isso, vamos nos preocupar com o lado
direito.O lado esquerdopbasta observar que pela desigualdadepdas médias segue
que ab + bc + ac ≥ 3 3 (abc)2 ⇒ ab + bc + ac − 2abc ≥ 3 3 (abc)2 − 2abc =
p3
p p (abc)2 − (abc)3
(abc)2 + 2( 3 (abc)2 − abc) = 3 (abc)2 + 2 p p =
3
(abc)4 + 3 (abc)2 abc + (abc)2
p 1 − abc
3
(abc)2 + 2(abc)2 p p > 0, a última desigualdade
3
(abc) + (abc)2 abc + (abc)2
4 3
segue do fato de a,b,c serem menores do que 1 e maiores do que zero.Seja P (x)
um polinômio de raízes a, b, c, seja esse polinômio o que está abaixo:
P (x) = a3 x3 + a2 x2 + a1 x + a0 (116)
Pelas relações de Girard para um polinômio do terceiro grau, sabemos que vale:
Relações de Girard
a2
a+b+c=− ⇒ a2 = −a3 (a + b + c) Igualdade A
a3
a1
ab + bc + ac = ⇒ a1 = a3 (ab + bc + ac) Igualdade B
a3
a0
abc = − ⇒ a0 = −a3 abc Igualdade C
a3
115
σ3 − (a + b + c)σ2 + (ab + bc + ac)σ1 − abcσ0 = 0
2(ab + bc + ac)
(a2 + b2 + c2 ) = (a3 + b3 + c3 ) + − 3abc
2
(a + b + c)2 − (a2 + b2 + c2 )
(a2 + b2 + c2 ) = (a3 + b3 + c3 ) + − 3abc
2
1 − (a2 + b2 + c2 )
(a2 + b2 + c2 ) = (a3 + b3 + c3 ) + − 3abc
2
3(a2 + b2 + c2 ) 1
= (a3 + b3 + c3 ) + − 3abc
2 2
3 3 3
2(a + b + c ) 1
a2 + b2 + c2 = + − 2abc
3 3
De onde concluímos a igualdade abaixo:
2(a3 + b3 + c3 ) 1
a2 + b2 + c2 = + − 2abc (120)
3 3
Vamos usar novamente a identidade que acabamos de provar, a saber:
2(a3 + b3 + c3 ) 1
ab + bc + ac − abc = + − 2abc − (a3 + b3 + c3 ) + 2abc =
3 3
(a3 + b3 + c3 ) 1
− +
3 3
De onde concluímos a igualdade abaixo:
(a3 + b3 + c3 ) 1
ab + bc + ac − abc = − + (122)
3 3
116
Considere agora que a função f (x) = x3 é convexa, pois sua derivada segunda
é positiva para x positivo, sendo assim, aplicando a desigualdade de Jensen a
esta função em três variáveis, e usando que a + b + c = 1, teremos:
3
(a3 + b3 + c3 )
a+b+c 1
≥ =
3 3 27
Multiplicando por -1, teremos a desigualdade:
(a3 + b3 + c3 ) 1
− ≤−
3 27
Somando 1/3 na desigualdade acima, teremos:
(a3 + b3 + c3 ) 1 8
− + ≤ (123)
3 3 27
De (123) e (122) concluímos a desigualdade:
8
ab + bc + ac − abc ≤ (124)
27
Faça a substituição:
r r r
bc ac ab
x= ;y = ;z = ;
a b c
Observe que essa substituição nos leva a yz = a, xz = b, xy = c, concluindo
assim que:
a + b + c = 1 ⇒ xy + xz + yz = 1
Note que por essa substituição x, y e z são tangentes com argumentos que
α
valem metade dos ângulos de um triângulo, portanto, fazendo x = tan , y =
2
β γ
tan , z = tan , alpha, beta e gamma são ângulos de um triângulo.Sendo assim,
2 2
a desigualdade (124) fica reescrita como:
8
xyz(x + y + z) − x2 y 2 z 2 ≤ (125)
27
π
Observe ainda que, como a cotangente é convexa no intervalo 0, e como
2
alpha, beta e gamma são ângulos de um triângulo, segue, pela desigualdade de
Jensen a desigualdade abaixo:
α β γ √
cot + cot + cot ≥ 3 3 (126)
2 2 2
α β α γ
Pela identidade 6 do início desse artigo sabemos que vale tan tan +tan tan +
2 2 2 2
β γ α β γ
tan tan = 1 multiplicando os dois lados dessa igualdade por cot cot cot ,
2 2 2 2 2
117
α β γ α β γ
teremos cot + cot + cot = cot cot cot , substituindo esse resultado em
2 2 2 2 2 2
(126), teremos:
√ √
α β γ √ α β γ 3 3
cot cot cot ≥ 3 3 ⇒ tan tan tan ≤ ⇒ xyz ≤
2 2 2 2 2 2 9 9
8
xyz(x + y + z) − 2x2 y 2 z 2 ≤ − 2(x + y + z)xyz + x2 y 2 z 2 (131)
9
8
Multiplicando (130) por 2xyz e somando + x2 y 2 z 2 nos dois lados da desigual-
9
dade resultante teremos:
8 √ 8
− 2xyz(x + y + z) + + x2 y 2 z 2 ≤ −2 3xyz + + x2 y 2 z 2 (132)
9 9
Observe que o lado esquerdo de (132) é o lado direito de (131), sendo assim, por
transitividade, teremos:
√ 8
xyz(x + y + z) − 2x2 y 2 z 2 ≤ −2 3xyz + + x2 y 2 z 2 (133)
9
Agora, observe que fazendo xyz = m teremos uma função do segundo grau
√ 8
do lado direito, a saber −2 3m + + m2 note que como o termo de maior
9
118
grau é positivo essa função é crescente no intervalo em que nossa desigualdade√
14 3
está definida e como sabemos pela desigualdade (127) que m = xyz ≤
√ 9
3
em outras palavras m ≤ , juntando isto ao fato da função ser crescente no
9
intervalo em que nossa desigualdade está definida, todos os outros valores que
nossa função √do segundo grau assume serão menores do que o valor assumido
3
quando m = (pois a função é crescente e m é menor ou igual a esse valor),
9 √
3 √ 8 7
e como para m = temos que −2 3m + + m2 = , concluímos por esse
9 9 27
raciocínio, que vale a desigualdade:
√ 8 7
− 2 3xyz + + x2 y 2 z 2 ≤ (134)
9 27
Observe que o lado direito de (133) é o lado esquerdo de (134), sendo assim, por
transitividade, teremos:
7
xyz(x + y + z) − 2x2 y 2 z 2 ≤ (135)
27
Desfazendo a substituição feita no início, finalmente teremos:
7
ab + bc + ac − 2abc ≤
27
119
32. (Página Sciences Mathématiques/“Curso de Análise”-Elon Lages Lima,
página 125, capítulo 4, exercício 33)Calculate:
r
n (2n)!
lim
n→∞ n!nn
Solução: Vamos usar uma desigualdade importante.Seja f uma função con-
tínua crescente, definida para todo x ≥ 1, tal que f (x) ≥ 0, Então, vale a
desigualdade abaixo:
Z n
f (1) + f (2) + f (3) + ... + f (n − 1) ≤ f (x)dx ≤ f (2) + f (3) + f (4) + ... + f (n)
1
Z n
ln(1)+ln(2)+ln(3)+...+ln(n−1) ≤ ln(x)dx ≤ ln(2)+ln(3)+ln(4)+...+ln(n)
1
n
ln(2.3.4.5.6.7.8...(n − 1)) ≤ (x(ln(x) − 1))|1 ≤ ln(2.3.4.5.6.7.8...(n − 1)n)
ln((n − 1)!) ≤ (n(ln(n) − 1)) + 1 ≤ ln(n!)
Tomando a exponencial em todas as partes da desigualdade, teremos:
120
Agora tome o lado esquerdo da desigualdade (136):
r r r
n e−n e(2n)! n (2n)! √ n (2n)!e
−n e
lim ≤ lim n
≤ lim n
n (139)
n→∞ n!n! n→∞ n n! n→∞ n!n!
Vamos calcular o limite dos extremos, substituindo n por 2n na desigualdade
(136), teremos:
(2n)2n (2n)!e−2n e
(2n)2n e−2n e ≤ (2n)! ⇒ (2n)2n (2n)!e−2n e ≤ ((2n)!)2 ⇒ ≤
(n!)2
((2n)!)2 (2n)!e−2n e ((2n)!)2 (2n)!e−2n e ((2n)!) 2n! (2n)!e−n e
2
⇒ 2
≤ 2n 2
⇒ 2
≤ 2n 2
⇒ ≤
(n!) (n!)
s (2n) (n!)
s s(n!) (2n) n! (n!)2
((2n)!) 2n! (2n)!e−n e (2n)! n (2n)!
en 2n 2
⇒ n ≤en
(2n) n! (n!)2 (2n)2n (n!)2
De onde concluímos que:
s s s
n (2n)!e−n e n (2n)! n (2n)!
≤e (141)
(n!)2 (2n)2n (n!)2
Tomando o lado esquerdo de (140), teremos:
121
s s s
e (2n)! (2n)! e−n e(2n!)
√ n n
≤ n
n
2n (2n)2n (n!)2 (n!)2
s s r s s
e (2n)! (2n)! (2n)!e−n e n (2n)! n (2n)!
lim √ n n
≤ lim ≤ lim e n
n→∞ n
2n (2n)2n (n!)2 n!n!
n→∞ n→∞ (2n)2n (n!)2
(143)
Agora vamos aplicar novamente a desigualdade (136), pegando o lado direito,
é possível ver que:
1
1 1 (n!) n
nn e−n e ≤ n! ⇒ en ≤
e n
1 1 1
(n!) n en nn
(n − 1)! ≤ nn e−n e ⇒ ≤
n e
122
s
n (2n)! 1
lim 2n
= 2 (147)
n→∞ (2n) e
Considere novamente a desigualdade
s (140), vamos
s pegar o lado direito,
s veja:
e−2n e(2n)2n (2n)! 1 (2n)2n
e−2n e(2n)2n ≤ (2n)! ⇒ n ≤ n
⇒ e−2 e n n
≤
(n!)2 (n!)2 (n!)2
s s s
n (2n)!
1
−2 n n2n (2n)!
2
⇒ 4e e n
2
≤ n
(n!) (n!) (n!)2
s s s
−2 1 n2n 2n! 1 n2n
lim 4e e n
n
≤ lim n
≤ lim 4e−2 (2ne) n n
(150)
n→∞ (n!)2 n→∞ (n!)2 n→∞ (n!)2
123
r
n (2n)!e−n e 4
lim = (152)
n→∞ n!n! e
√
n
Aplicando o resultado acima em (139) e usando que lim n = 1no lado
n→∞
direito de (139), se pode ver que:
r
n (2n)! 4
lim = (153)
n→∞ nn n! e
124
33.(Desafio Final/Somatórios-Filipe Moreira/Instituto Tecnológico de Aeronáutica-
ITA-SP)Prove que:
∞
X 1 π2
= (154)
k2 6
k=1
Solução:
Observe que:
!
sen2 πz + cos2 πz
2 1 1 2 2 1 1 1
csc (πz) = = = = + =
4sen2 πz 2 πz 4sen2 πz 2 πz 4 cos2 πz sen2 πz
sen2 (πz) 2 cos 2 2 cos 2 2 2
1 2 πz 2 πz
1
2 π
πz 2 πz
1
2 (z − 1)π 2 πz
sec + csc = csc − + csc = csc + csc
4 2 2 4 2 2 2 4 2 2
De onde concluímos:
πz
2 1 2 (z − 1)π 2
csc (πz) = csc + csc (155)
4 2 2
Fazendo z=1/4, teremos:
π
1 3π
2= csc2 + csc2 (156)
4 8 8
Seja (156) nossa base de indução, como hipótese de indução suponha válido
para um n que
2n−1
X−1
2 (2k + 1)π
1= csc2 (157)
4n 2n+1
k=0
2n−1
X−1 (2k + 1 − 2n+1 )π
2 (2k + 1)π
= csc2 + csc2 = (159)
4n+1 2n+2 2n+2
k=0
2n−1
X−1 2n−1
X−1
(2n+1 − (2k + 1))π
2 2 2 (2k + 1)π
= csc + csc2
4n+1 2n+2 4n+1 2n+2
k=0 k=0
(160)
125
n
2X −1
2 (2k + 1)π
= csc2 (161)
4n+1 2n+2
k=0
Provando assim, por indução que vale:
2n−1
X−1
2 (2k + 1)π
1= n csc2 (162)
4 2n+1
k=0
2n−1
X−1
2 (2k + 1)π 2 × 2n−1
1= n cot2 + (163)
4 2n+1 4n
k=0
2n−1
X−1
2 (2k + 1)π 1
cot2 =1− n (164)
4n 2n+1 2
k=0
1 1
Usando que senx ≤ x ≤ tanx ⇒ cotx ≤ ≤ cscx ⇒ cot2 x ≤ 2 ≤ csc2 x,
x x
teremos:
2n−1
X−1 2n−1
X−1 2n−1
X−1
2 2 (2k + 1)π 2 22n+2 2 (2k + 1)π
cot ≤ n ≤ n csc2
4n 2n+1 4 ((2k + 1)π)2 4 2n+1
k=0 k=0 k=0
(165)
E a desigualdade acima é equivalente a desigualdade abaixo:
2n−1
X−1 2n−1
X−1 2n−1
X−1
2 2 (2k + 1)π 8 2 (2k + 1)π
cot ≤ ≤ n csc2
4n 2n+1 ((2k + 1)π)2 4 2n+1
k=0 k=0 k=0
(166)
Substituindo (162) e (164) em (166), teremos:
n−1
2 X−1
1 8
1− n ≤ ≤1 (167)
2 ((2k + 1)π)2
k=0
Tomando o limite de n tendendo ao infinito em todas as partes da desigualdade
(167), teremos:
2n−1
X−1
1 8
lim 1− n ≤ lim ≤ lim 1 (168)
n→∞ 2 n→∞ ((2k + 1)π)2 n→∞
k=0
Pelo teorema do confronto, isto implica que:
∞
X 1 π2
= (169)
(2k + 1)2 8
k=1
126
Para calcular a soma pedida basta observar que:
∞ ∞
1 π2
X 1 1 1 1 1 X 1 1 1 1
= lim + + + ... + = lim + + + ... +
4k 2 n→∞ 4 42 43 4n (2k + 1)2 n→∞ 4 42 43 4n 8
k=1 k=1
∞
1 π2 X 1 π2
= ⇒ 2
= (170)
3 8 4k 24
k=1
127
34.(Mathematics Stack Exchange)The “sum and difference” formulas often
come in handy, but it’s not immediately obvious that they would be true.
sen2 α + cos2 α = 1
a2 = b + c − 2bccos(ω) (172)
Aplicando a lei dos senos em cada lado a,b,c em (172), teremos:
4R2 sen2 (ω) = 4R2 sen2 γ + 4R2 sen2 γ 0 − 8R2 senγsenγ 0 cos(ω) (173)
128
De onde concluímos a igualdade:
b = −2senγsenγ 0 (178)
Em outras palavras:
Note que temos dois resultados para o delta, e isto nos coloca em dúvida sobre
qual usar, mas este é um problema simples.Suponha, por absurdo, que a fórmula
correta seja a expressão abaixo:
senxseny
129
π
sen − x sen (π − y) = −senxcosy − cosxseny ⇒ sen(x + y) = cosxseny +
2
senxcosy
Ainda:
π π π π
sen(x−y) = sen (π − (x − y)) = sen −x + +y = cos − x sen +y +
π π 2 2 2 2
sen − x cos + y = senxcosy − cosxseny ⇒ sen(x − y) = senxcosy −
2 2
cosxseny
130
35.(Problema sugerido por Israel Meireles Chrisostomo)Dados seis números
desconhecidos, encontre uma relação algébrica entre esses números, que envolva
apenas os números em questão e somente as quatro operações, necessária e su-
ficiente para que pelo menos um dentre esses seis números seja irracional.
Solução:
Sejam x1 , x2 , x3 , y1 , y2 , y3 esses números, seja o determinante:
x1 y1 1
x2 y2 1 6= 0 (183)
x3 y3 1
p p p
(x1 − x2 )2 + (y1 − y2 )2 = (x1 − x3 )2 + (y1 − y3 )2 =
(x2 − x3 )2 + (y2 − y3 )2 = l
(184)
Em que cada termo na igualdade acima e a variável l, representam o lado do
triângulo equilátero.Sabemos que a área do triângulo equilátero é dado por:
√
l2 3
AT = (185)
4
Substituindo quaisquer das equações de (184) em (185):
√
((x1 − x2 )2 + (y1 − y2 )2 ) 3
AT = (186)
4
Observe que pela geometria analítica sabemos que a área é dada pelo determi-
nante:
x1 y1 1
1
AT = x2 y2 1 (187)
2
x3 y3 1
De (187) e (186):
√
x1 y1 1 ((x1 − x2 )2 + (y1 − y2 )2 ) 3
x2 y2 1 = (188)
x3
2
y3 1
131
Observe que se todas as variáveis são racionais, então teremos um absurdo,
pois um racional seria igual a um irracional.Disso concluímos que (183) e (184)
são condições necessárias e suficientes para que haja entre seis números um
irracional.
132
36. (Titu Andreescu-“103 Trigonometry Problems from the training of the
USA IMO Team”)Let ABC be a triangle. Prove that:
1
cosAcosBcosC ≤
8
Solução 1: Há várias outras maneiras de se provar essa desigualdade, e o
leitor pode encontrar uma demonstração mais simples aplicando alguns desi-
gualdades provadas no meu primeiro PDF.Usando que sen2 x + cos2 x = 1, segue
que:
1
tanx + cotx =
senxcosx
Daí seguem as identidades:
sen β2 sen γ2 α α β γ
α α = tan + cot sen sen (189)
sen 2 cos 2 2 2 2 2
cos β2 cos γ2 α α β γ
α α = tan + cot cos cos (190)
sen 2 cos 2 2 2 2 2
Somando (189) e (190):
β γ
α α β γ α α β γ cos 2 − 2 1
tan + cot sen sen + tan + cot cos cos = ≤
2 2 2 2 2 2 2 2 sen α2 cos α2 sen α2 cos α2
De onde concluímos:
α α β γ β γ 1
tan + cot cos cos + sen sen ≤ (191)
2 2 2 2 2 2 sen 2 cos α2
α
s s r r !
x(x + y + z) y(x + y + z) yz xz
+
(x + z)(x + y) (x + y)(y + z) (x + z)(x + y) (x + y)(y + z)
(x + y)(y + z)
≤p (192)
xyz(x + y + z)
De (192) é possível ver que vale:
√ √ p
(xy + z(x + y + z)) ((x + y + z) xy + z xy) ≤ (x + y)2 (y + z) (x + z)(y + z)
(193)
133
A desigualdade acima é equivalente a:
√ p
(x + z)(y + z) xy (x + y + 2z) ≤ (x + y)2 (y + z) (x + z)(y + z) (194)
√ p
(y + z) xz (x + 2y + z) ≤ (x + z)2 (y + z)(x + y) (197)
Multiplicando (195),(196) e (197), teremos:
xyz(2x+y+z)(x+2y+z)(x+y+2z) ≤ [(x+z)(x+y)][(y+z)(x+y)][(x+z)(y+z)]
(198)
Suponha xy + xz + yz = 1, note que x,y e z serão cotangentes de ângulos de
um triângulo agudo, daí segue
cotα0 cotβ 0 cotγ 0 (2cotα0 + cotβ 0 + cotγ 0 ) (cotα0 + 2cotβ 0 + cotγ 0 ) (cotα0 + cotβ 0 + 2cotγ 0 ) ≤
1 1 1 1
(cotα0 cotβ 0 cotγ 0 ) 3 (2cotα0 + cotβ 0 + cotγ 0 ) 3 (cotα0 + 2cotβ 0 + cotγ 0 ) 3 (cotα0 + cotβ 0 + 2cotγ 0 ) 3 ≤
2 2 2
csc 3 α0 csc 3 β 0 csc 3 γ 0 (200)
1
Pela Desigualdade de Holder em três variáveis λa = λb = λc = segue
3
que:
134
1 1 1 1
4(cotα0 cotβ 0 cotγ 0 ) 3 ≤ (2cotα0 + cotβ 0 + cotγ 0 ) 3 (cotα0 + 2cotβ 0 + cotγ 0 ) 3 (cotα0 + cotβ 0 + 2cotγ 0 ) 3
(201)
1
Multiplicando (201) por (cotα0 cotβ 0 cotγ 0 ) 3 , chegamos em:
2
4(cotα0 cotβ 0 cotγ 0 ) 3 ≤
1 1 1 1
(cotα0 cotβ 0 cotγ 0 ) 3 (2cotα0 + cotβ 0 + cotγ 0 ) 3 (cotα0 + 2cotβ 0 + cotγ 0 ) 3 (cotα0 + cotβ 0 + 2cotγ 0 ) 3
(202)
De (202) e (200), chega-se por transitividade à desigualdade abaixo:
2 2 2 2
4(cotα0 cotβ 0 cotγ 0 ) 3 ≤ csc 3 α0 csc 3 β 0 csc 3 (203)
Podemos supor sem perda de generalidade que os ângulos estão no primeiro
quadrante, sendo assim podemos extrair a raiz e preservar o sinal da desigual-
dade, pois por essa hipótese todos os termos são positivos...Portanto, extraindo
a raiz quadrada e elevando ao cubo, nossa desigualdade é equivalente a desi-
gualdade requerida no problema.
135
Solução 2: Nós vamos proceder aqui, semelhantemente ao problema 5.Veja:
√
x + y ≥ 2 xy (204)
√
x + z ≥ 2 xz (205)
√
y + z ≥ 2 yz (206)
Multiplicando (204), (205) e (206):
136
Solução 3:
Pela desigualdade das médias e pela lei dos cossenos, sabemos que:
4a4 = ((a2 +b2 −c2 )+(a2 +c2 −b2 ))2 ≥ 4(a2 +b2 −c2 )(a2 +c2 −b2 ) = 16a2 bccosβcosγ ⇒ a2 ≥ 4bccosβcosγ
(A)
4b4 = ((a2 +b2 −c2 )+(b2 +c2 −a2 ))2 ≥ 4(a2 +b2 −c2 )(b2 +c2 −a2 ) = 16ab2 ccosαcosγ ⇒ b2 ≥ 4accosαcosγ
(B)
4c4 = ((a2 +c2 −b2 )+(b2 +c2 −a2 ))2 ≥ 4(a2 +c2 −b2 )(b2 +c2 −a2 ) = 16abc2 cosαcosβ ⇒ c2 ≥ 4abcosαcosβ
(C)
Multiplicando A,B e C e extraindo a raiz(supondo, sem perda de generali-
dade, que alpha, beta e gamma estão no primeiro quadrante) teremos a desi-
gualdade requerida.
137
m2 q2 A1 I Z lC
21
p2
E1
B1
IV = 1.18 D1
n2 V
F1
1o 2o
3o
138
4o
Responda:
139
Solução:
1o linha
2o linha
3o linha
4o linha
5o linha
140
5o linha: 5 triângulos para cima, 4 triângulos para baixo.Total:9 triângulos.
...
...
k-ésima linha: k triângulos para cima, k-1 triângulos para baixo.Total:2k-1 tri-
ângulos.
t = k2 (1)
th = 6k 2 (2)
np = 3k(3k + 1) (4)
141
√
6000000 = 6k 2 ⇒ 1000000 = k 2 ⇒ k = 1000000 ⇒ k = 1000
√ √ √ √ !
6 th 6 th
np (th ) = +1 (4)
2 2
142
d)Essa questão exige um conhecimento prévio de somatório, e parece apontar
uma relação muito interessante.Antes, considere que 6 milhões e 1 é um número
na forma 6k + 1.
Considere também que:
n
X n(n + 1)(2n + 1)
k2 = (207)
6
k=1
143
e)Considere que a quantidade total de palitos do k-ésimo hexágono vale
3k(3k + 1) = 9k 2 + 3k.Então se tivermos uma sequência do primeiro até o n-
ésimo palito, a quantidade ps de palitos dessa sequência é dada pelo somatório:
n
X n
X n
X
2 2
ps = (9k + 3k) = 9 k +3 k (209)
k=1 k=1 k=1
n n
X
2 n(n + 1)(2n + 1) X n(n + 1)
Como k = e k= .Teremos:
6 2
k=1 k=1
144
38.(Problema sugerido por Israel Meireles Chrisostomo)Use um argumento
geométrico para demonstrar que a soma dos n primeiros números ímpares é
igual a n2 .
Solução:
Essa questão foi baseada na anterior.Construa uma sequência de triângulos
equiláteros desenhados sobre outros triângulos equiláteros, como a que está
abaixo:
Veja o padrão:
145
1o linha
2o linha
3o linha
4o linha
5o linha
...
...
k-ésima linha: k triângulos para cima, k-1 triângulos para baixo.Total:2k-1 tri-
ângulos.
146
Como a quantidade t de triângulos que há em um triângulo grande é a soma
da quantidade de triângulos pequenos, e sabemos que a soma dos k primeiros
naturais k(k+1)/2 e que a soma dos k-1 primeiros naturais (k-1)k/2, teremos
que t = k(k + 1)/2 + (k − 1)k/2 = k 2 , em que k é a k-ésima linha.Sendo assim
teremos:
t = k2 (1)
147
39.(“Putnam and Beyond”-Titu Andreescu) Prove for all positive integers n
the identity
1 1 1 1 1 1 1 1
+ + ... + = 1 − + − + ... + −
n+1 n+2 2n 2 3 4 2n − 1 2n
Solução: Vamos fazer a prova por indução.Para o caso base considere n=1.Como
hipótese de indução, considere:
1 1 1 1 1 1 1 1
+ + ... + = 1 − + − + ... + −
n+1 n+2 2n 2 3 4 2n − 1 2n
Como tese de indução tome:
1 1 1 1 1 1 1 1
+ + ... + = 1 − + − + ... + −
n+2 n+3 2n + 2 2 3 4 2n + 1 2n + 2
1 1 1
Some + − nos dois lados da hipótese de indução e o
2n + 1 2n + 2 n+1
resultado segue provado.
148
40.Encontre uma expressão fechada para a soma:
n
X
sen(φ + θ) + 2sen(φ + 2θ) + 3sen(φ + 3θ) + ... + nsen(φ + nθ) = ksen(kθ + φ)
k=1
fn (θ) = sen(φ + θ) + sen(φ + 2θ) + sen(φ + 3θ) + ... + sen(φ + nθ) (212)
Considere as operações algébricas abaixo, que podemos fazer com essa função:
...
...
...
2(f2 (θ) − f1 (θ)) = 2sen(φ + 2θ) (segunda igualdade)
f1 (θ) = sen(φ + θ) (primeira igualdade)
Somando da primeira igualdade até a n-ésima igualdade, teremos:
n
X
nfn (θ) − fn−1 (θ) − fn−2 (θ) − .... − f1 (θ) = ksen(kθ + φ) (213)
k=1
n nθ
θ(n+1) (n−1)θ nθ
nsen sen φ + sen sen φ + θ
X 2 2 2 2 sen 2 sen (θ + φ)
ksen(kθ+φ) = − −....− =
sen θ2 sen θ2 sen θ2
k=1
nθ θ(n+1) (2n−1)θ
+ φ − cos φ + θ2
nsen sen φ + cos 3θ
+ φ − cos φ + θ2
2 2 2 cos 2
+ +...+ =
2sen θ2 2sen θ2 2sen θ2
nθ
θ(n+1) (2n−1)θ
nsen sen φ + cos +φ 3θ θ
2 2 2 cos 2 +φ (n − 1)cos φ + 2
+ +...+ −
sen θ2 2sen θ2 2sen θ2 2sen θ2
149
θ
cos 2 +φ
Somando e subtraindo logo acima, teremos:
2sen θ2
n nθ
θ(n+1) (2n−1)θ
nsen sen φ + cos +φ θ θ
X 2 2 2 cos 2 +φ ncos φ + 2
ksen(kθ+φ) = + +...+ −
k=1
sen θ2 2sen θ22sen θ2 2sen θ2
(214)
Observe que temos uma soma de valores ímpares de cossenos no lado direito,
ora, mas uma soma de valores ímpares é o mesmo que uma soma geral menos
os termos pares, com um leve ajuste no denominador, que é 2, basta alterar o
valor de theta.Veja como podemos chegar a esse resultado.Primeiramente con-
sidere provado o somatório (o leitor pode prová-lo facilmente com o raciocínio
semelhante ao usado na questão 17):
(n+1)θ
sen nθ
n
X 2 cos 2 +φ
cos(kθ + φ) = (215)
k=1
sen θ2
n
X sen (nθ) (2n + 1)θ θ
cos((2k−1)θ+φ) = senθcos + φ − sen cos ((n + 1)θ + φ) =
k=1
senθsen θ2 2 2
sen (nθ) θ θ (2n + 1)θ θ
2sen cos cos + φ − sen cos ((n + 1)θ + φ) =
senθsen θ2 2 2 2 2
sen (nθ) θ (2n + 1)θ
2cos cos + φ − cos ((n + 1)θ + φ) =
senθ 2 2
sen (nθ)
(cos ((n + 1)θ + φ) + cos (nθ + φ) − cos ((n + 1)θ + φ)) =
senθ
150
De onde concluímos:
n
X sen (nθ) cos (nθ + φ)
cos((2k − 1)θ + φ) =
senθ
k=1
n nθ
θ(n+1)
nsen sen φ + nθ nθ θ
X 2 2 sen 2 cos 2 +φ ncos φ + 2
ksen(kθ+φ) = + − =
k=1
sen θ2 θ
2sen2 2 2sen θ2
θ
(2n+1)θ
n ncos φ + − ncos φ + nθ nθ θ
X 2 2 sen 2 cos
2 +φ ncos φ + 2
ksen(kθ+φ) = + − =
k=1
2sen θ2 2sen2 θ2 2sen θ2
n (2n+1)θ
ncos φ + nθ nθ
X 2 sen 2 cos 2 +φ
ksen(kθ + φ) = − + =
k=1
2sen θ2 2sen2 θ2
nθ
nθ
θ
(2n+1)θ
n
X sen 2 sen 2 + φ − nsen 2 cos φ + 2
ksen(kθ + φ) = =
k=1
2sen2 θ2
n
X sen(nθ + φ) − sen(φ) − n(sen(φ + (n + 1)θ) − sen(nθ + φ))
ksen(kθ+φ) =
k=1
4sen2 θ2
n
X −nsen(φ + (n + 1)θ) + (n + 1)sen(nθ + φ) − senφ
ksen(kθ + φ) =
2(1 − cosθ)
k=1
151
Solução 2:Derive a soma de cossenos com argumentos em P.A..
152
41.(“Putnam and Beyond”-Titu Andreescu e Razvan Gelca)Prove that the
sequence (an )n≥1 defined by
1 1
an = 1 + + ... + − ln(n + 1), n ≥ 1
2 n
is convergent.
153
42.Prove que π é irracional.
Solução:
É fácil provar, usando complexos, que vale a igualdade abaixo:
n
X 2n
sen(2nz) = (−1)k (cosz)2n−(2k+1) (senz)2k+1 (224)
2k + 1
k=0
cosz
Multiplicando (1) por , podemos deduzir a igualdade abaixo:
sen2n+1 z
n
coszsen(2nz) X 2n
= (−1)k cot2(n−k) (z) (225)
sen2n+1 z 2k + 1
k=0
qπ = p (228)
Teorema.O número π é irracional.
n!p
2
cos(z)sen(n!pz) cos(z)sen(n!qπz) X n!p
= = (−1)k cot(n!p−2k) (z)
senn!p+1 (z) senn!p+1 (z) 2k + 1
k=0
(229)
Note que 1 é um argumento que anula o polinômio acima, por outro lado,
cot1 é transcendente, o que é um absurdo.
154
43.Prove novamente a desigualdade de Cauchy-Schwarz.
Solução:
Vamos provar por indução que vale a igualdade:
n−1
X n
X
(ak bj − aj bk )2 + (a1 b1 + ... + an bn )2 = (a21 + ... + a2n )(b21 + ... + b2n )
k=1 j=k+1
Vamos primeiro verificar a base de indução para n=3. Observe que se definirmos
~u = (a1 , a2 , a3 ) e ~v = (b1 , b2 , b3 ), teremos:
k~u × ~v k =
~k
~i ~j
p
a1 a2 a3
= (a2 b1 − a1 b2 )2 + (a2 b3 − a3 b2 )2 + (b3 a1 − b1 a3 )2
b1 b2 b3
Daí segue que:
2
k~u × ~v k = (a2 b1 − a1 b2 )2 + (a2 b3 − a3 b2 )2 + (b3 a1 − b1 a3 )2 (230)
~u.~v = a1 b1 + a2 b2 + a3 b3 (231)
Somando (230) com o quadrado de (231) teremos:
2
(a2 b1 −a1 b2 )2 +(a2 b3 −a3 b2 )2 +(b3 a1 −b1 a3 )2 +(a1 b1 +a2 b2 +a3 b3 )2 = ||~u × ~v || +(~u.~v )2
!
2
2 2 2 2 2 k~u × ~v k (~u.~v )2
(a2 b1 −a1 b2 ) +(a2 b3 −a3 b2 ) +(b3 a1 −b1 a3 ) +(a1 b1 +a2 b2 +a3 b3 ) = (||~u||||~v ||) 2
+
(||~u||||~v ||) (||~u||||~v ||)2
(232)
Seja θ o ângulo formado entre os vetores ~u e ~v . Observe agora que sen(θ) =
k~u × ~v k ~u.~v
e cos(θ) = , substituindo em (232) teremos:
||~u||||~v || ||~u||||~v ||
(a2 b1 −a1 b2 )2 +(a2 b3 −a3 b2 )2 +(b3 a1 −b1 a3 )2 +(a1 b1 +a2 b2 +a3 b3 )2 = (||~u||||~v ||)2 sen2 θ + cos2 θ
(233)
Usando que sen2 θ + cos2 θ = 1 para todo theta real, teremos:
155
(a2 b1 −a1 b2 )2 +(a2 b3 −a3 b2 )2 +(b3 a1 −b1 a3 )2 +(a1 b1 +a2 b2 +a3 b3 )2 = (||~u||||~v ||)2
q q (234)
Usando que ||~u|| = a21 + a22 + a23 e ||~v || = b21 + b22 + b23 , finalmente segue:
(a2 b1 −a1 b2 )2 +(a2 b3 −a3 b2 )2 +(b3 a1 −b1 a3 )2 +(a1 b1 +a2 b2 +a3 b3 )2 = (a21 +a22 +a23 )(b21 +b22 +b23 )
(235)
Como hipótese de indução, suponha válido para um n a igualdade abaixo:
n−1
X n
X
(ak bj −aj bk )2 +(a1 b1 +...+an bn )2 = (a21 +...+a2n )(b21 +...+b2n ) (236)
k=1 j=k+1
Observe que
n
X
(a1 b1 +...+an bn )an+1 bn+1 +(a1 b1 +...+an bn +an+1 bn+1 )an+1 bn+1 + (an+1 bk −ak bn+1 )2 =
k=1
(a2n+1 b21 + ... + a2n+1 b2n ) + (a21 b2n+1 + ... + a2n b2n+1 ) + a2n+1 b2n+1 (237)
Somando a igualdade (236) com (237), teremos:
n−1
X n
X n
X
(ak bj − aj bk )2 + (a1 b1 + ... + an+1 bn+1 )2 + (an+1 bk − ak bn+1 )2 =
k=1 j=k+1 k=1
(a21 +...+a2n )(b21 +...+b2n )+(a2n+1 b21 +...+a2n+1 b2n )+(a21 b2n+1 +...+a2n b2n+1 )+a2n+1 b2n+1 =
(a21 + ... + a2n )(b21 + ... + b2n ) + a2n+1 (b21 + ... + b2n ) + b2n+1 (a21 + ... + a2n + a2n+1 ) =
(a21 + ... + a2n + a2n+1 )(b21 + ... + b2n ) + b2n+1 (a21 + ... + a2n + a2n+1 ) =
n−1
X n
X n
X
(ak bj − aj bk )2 + (a1 b1 + ... + an+1 bn+1 )2 + (an+1 bk − ak bn+1 )2 =
k=1 j=k+1 k=1
156
n
X n+1
X
(ak bj − aj bk )2 + (a1 b1 + ... + an+1 bn+1 )2 =
k=1 j=k+1
15 (236) é conhecido como Identidade de Lagrange, curioso o fato que antes de provar a
desigualdade de Cauchy Schwarz dessa forma eu não conhecia essa identidade.Só fui conhecer
essa identidade após uma pesquisa na internet para verificar a correção das ideias envolvidas
na demonstração dessa Desigualdade, depois de já ter obtido o resultado por indução.
157
44.(Vardan Verdiyan-“Simple trigonometric substitution with broads results”)Let
1 1 1
x,y,z real numbers greater than 1 such that + + = 2. Prove that:
x y z
√ p √ √
x−1+ y−1+ z−1≤ x+y+z
Solução: X
Vamos usar a notação senαsenβ = senαsenβ+senαsenγ+senβsenγ.Observe
cyc
que nossa condição para que a desigualdade seja verdadeira é equivalente a:
x−1 y−1 z−1
+ + =1
x x z
Faça a seguinte substituição:
s
x(y − 1)(z − 1)
a=
(x − 1)yz
s
y(x − 1)(z − 1)
b=
(y − 1)xz
s
z(x − 1)(y − 1)
c=
(z − 1)xy
Observe que dessa forma teremos:
z−1
ab =
z
y−1
ac =
x
x−1
bc =
x
De onde podemos ver que podemos reescrever nossa condição como ab+bc+ac =
1, observe que a,b,c são tangentes cujos argumentos são metade de uma ângulo
de triângulo.Essa substituição implica nas igualdades abaixo:
1
x=
1 − bc
1
y=
1 − ac
1
z=
1 − ab
E nossa desigualdade pode ser reescrita como:
158
r r r r
1 1 1 1 1 1
−1+ −1+ −1≤ + +
1 − bc 1 − ac 1 − ab 1 − bc 1 − ac 1 − ab
Efetuando, portanto a substituição por tangentes, teremos:
s s
X 1 X 1
β γ
−1≤ β γ
cyc 1 − tan 2 tan 2 cyc 1 − tan 2 tan 2
v v
cos β2 cos γ2 cos β2 cos γ2
u uX
Xu u
t −1≤t
cyc cos β2 cos γ2 − sen β2 sen γ2 β γ
cyc cos 2 cos 2 − sen β2 sen γ2
s v
sen β2 sen γ2 cos β2 cos γ2
X uX
u
α ≤t
cyc
sen 2 cyc
sen α2
r
α β γ
Multiplicando ambos os lados da desigualdade por sen sen sen , tere-
2 2 2
mos:
s
X β γ X β γ β γ
sen sen ≤ sen sen cos cos
cyc
2 2 cyc
2 2 2 2
X X
2β 2γ 2α β γ β γ β γ
sen sen + 2sen sen sen ≤ sen sen cos cos
cyc
2 2 2 2 2 cyc
2 2 2 2
X β γ β γ β γ α β γ
sen2 sen2 − sen sen cos cos + 2sen2 sen sen ≤0
cyc
2 2 2 2 2 2 2 2 2
X α β γ
2α β γ
−sen sen sen + 2sen sen sen ≤0
cyc
2 2 2 2 2 2
Xh αi
−1 + 2sen ≤0
cyc
2
α β γ 3
+ sen + sen ≤
sen
2 2 2 2
Que nada mais é do que a primeira desigualdade desse artigo.
159
45.(Titu Andreescu-“103 Trigonometry Problems from the training of the
USA IMO Team”/Problem E 1724. American Mathematical Monthly 72 (1965),
792.Suggested by Alexander Oppenheim)Let x,y,z real positive numbers. Prove
that: √
a2 x + b2 y + c2 z ≥ 4[ABC] xy + xz + yz
Solução:
Note que: √
a2 x + b2 y + c2 z ≥ 4[ABC] xy + xz + yz
abc √
a2 x + b2 y + c2 z ≥
xy + xz + yz
R
aRx bRy cRz √
+ + ≥ xy + xz + yz
bc ac ab
1 4aR2 x 4bR2 y 4cR2 z √
+ + ≥ xy + xz + yz
2 2Rbc 2Rac 2Rab
senαx senβy senγz √
+ + ≥ 2 xy + xz + yz
senβsenγ senαsenγ senαsenβ
sen(π − α)x sen(π − β)y sen(π − γ)z √
+ + ≥ 2 xy + xz + yz
senβsenγ senαsenγ senαsenβ
√
(cotβ + cotγ)x + (cotα + cotγ)y + (cotα + cotβ)z ≥ 2 xy + xz + yz (238)
160
cotα ≥ cotα0 (240)
f2 (α, β, γ, α0 , β 0 , γ 0 ) = (cotβ 0 +cotγ 0 )(cotα−cotα0 )+(cotα0 +cotγ 0 )(cotβ−cotβ 0 )+(cotα0 +cotβ 0 )(cotγ−cotγ 0 )
(244)
Observe agora, que pelas desigualdades (240), (241) e (242) segue que:
161
a b c
+ + = k(α0 , β 0 , γ 0 ) (249)
bc ac ab
Como x, y, z não dependem do circunraio R0 , suponha sem perda de gene-
ralidade que R0 ≥ R.Tome agora a desigualdade (240) e considere o desenvolvi-
mento(aplicando a lei dos cossenos e lei dos senos):
(b2 + c2 − a2 )R (b02 + c02 − a02 )R0
0 a b c a
cotα ≥ cotα ⇒ ≥ ⇒ + + −2 R≥
0 abc a0 b0 c0 bc ac ab bc
a b0 c0 a0 aR a0 R0
0 0
+ 0 0 + 0 0 − 2 0 0 R0 ⇒ Rk(α0 , β 0 , γ 0 )−2 ≥ Rk(α0 , β 0 , γ 0 )−2 0 0 ⇒
bc ac ab bc bc bc
a0 R0 aR
≥ ⇒
b0 c0 bc
a0 R0 aR
0 0
≥ (250)
bc bc
Aplicando o mesmo raciocínio para a desigualdade (242), concluímos:
b0 R 0 bR
≥ (251)
a0 c0 ac
Suponha agora, por absurdo que:
162
Multiplicando (254) por cotβ 0 − cotβ e (255) por cotα0 − cotα, note que
essas desigualdades vão inverter, pois estamos multiplicando por quantidades
não positivas, teremos respectivamente:
f1 (α, β, γ, α0 , β 0 , γ 0 ) ≥ (cotα0 +cotγ 0 )(cotβ 0 −cotβ)+(cotβ 0 +cotγ 0 )(cotα0 −cotα)+(cotα0 +cotβ 0 )(cotγ 0 −cotγ)
(260)
Somando o lado esquerdo de (244) com o lado esquerdo de (260) e o lado
direito de (244) com o lado direito de (260), os termos vão se cancelar e teremos:
163
46.(Problema sugerido por Israel Meireles Chrisostomo)Seja j, n ∈ N tais
que 1 < j < n, e tal que n é número ímpar, encontre valores para xn que
satisfaçam as desigualdades abaixo(explicitando o caso onde ocorre a igualdade):
n−1
1 + ... + b c ≤ xn (1 + ... + n)
j
n
1 + ... + b c ≤ xn (1 + ... + n)
j
Obs:Note que xn depende de n.
Solução:
Seja j e n números naturais, tal que j é estritamente maior do que 1 e
estritamente menor do que n.Qual é a quantidade máxima de múltiplos inteiros
de j que existem no intervalo fechado [j,n]?A resposta para essa pergunta é que
se n-j é ímpar, então existem no máximo (n-j+1)/2 inteiros, por outro lado, se
n-j é par existem no máximo (n-j+2)/2.Como o total de múltiplos inteiros de j
n
no intervalo [1, n] é b c, fica demonstrado assim o resultado.
j
Vamos provar que o máximo é realmente esse por etapas:
(1)Seja b um número irracional, então bk e bk+1 não podem ser ambos ra-
cionais. Prova:Suponha que bk e bk+1 sejam ambos racionais, então existem
p, q, p0 , q 0 inteiros tais que bk = p/q e bk+1 = p0 /q 0 , multiplicando as duas igual-
dades teremos b = pq 0 /qp0 , o que é um absurdo, pois isto implicaria que b é
racional.
(2)Seja a expressão a1/j , com j > 1, então existe a ∈ N e j ∈ N, tais que
1
a j 6∈ Q. Prova:Tome a como sendo um número primo qualquer, como a não
tem fatores primos, então não pode ser potência k-ésima perfeita.
(3)Seja j um número, a quantidade máxima de múltiplos inteiros de j que
existem no intervalo fechado [1, n] é (n−j +1)/2, se n−j é ímpar, e (n−j +2)/2
1
se n − jé par. Prova: Seja b um número, j tal que b = a j e tal que (2) seja
satisfeito, então, seja o conjunto X = b , bj+1 , ...., bn por (1), sabemos que
não existem duas potências consecutivas nesse conjunto que sejam racionais.Daí
concluímos que o número máximo de potências racionais de b no conjunto ocorre
intercaladamente, isto é, quando uma potência é irracional a próxima tem que
ser racional.Sabemos que a primeira potência é racional, então a segunda tem
que ser necessariamente irracional, a próxima racional e assim por diante.Veja:
Se a quantidade de elementos acima for par, então sabemos que a última po-
tência é irracional, se for ímpar sabemos que a última potência é racional.Ora,
mas se a quantidade de elementos acima for par, então a quantidade de po-
tências racionais é quantidade de elementos dividida por 2, se for ímpar é a
quantidade de elementos somado a 1 dividida por 2.Mas observe que a quanti-
dade de potências racionais é justamente a mesma quantidade de múltiplos de
164
j, pois a é inteiro, então
a elevado a outro inteiro é racional....Mas no conjunto
X = bj , bj+1 , ...., bn temos bj até bn , de j até n temos n − j + 1 elementos,
então o conjunto X, tem n − j + 1 elementos, como a quantidade de inteiros
é máxima quando a quantidade de elementos do conjunto está dividida por
dois(quando n − jé ímpar), e quando a quantidade de elementos do conjunto
somado a 1 e divido por dois(quando n − j é par), teremos o seguinte resultado
provado:
n n+1−j
b c≤ (Se n − j é ímpar)
j 2
n n+2−j
b c≤ (Se n − j é par)
j 2
Suponha n − j ímpar então, fazendo m = n − j:
m+j m+1
b c≤
j 2
m m+1
b
c+1≤
j 2
m m m m+1
b c b c+1 ≤b c
j j j 2
m m m+1
1 + ... + bc≤b c
j j 4
m m m(m + 1)
m 1 + ... + b c ≤ b c
j j 4
m 1 m
1 + ... + b c≤ b c (1 + ... + m)
j 2m j
Suponha n − j par então, fazendo m = n − j + 1:
m+j−1 m+1
b c≤
j 2
m−1 m+1
b c+1≤
j 2
m−1 m−1 m−1 m+1
b c b c+1 ≤b c
j j j 2
m−1 m−1 m+1
1 + ... + b c≤b c
j j 4
m−1 m − 1 m(m + 1)
m 1 + ... + b c ≤b c
j j 4
165
m−1 m−1
2m 1 + ... + b c ≤b c (1 + ... + m)
j j
m−1 1 m−1
1 + ... + b c≤ b c (1 + ... + m)
j 2m j
A igualdade ocorre quando j = 2.
166
47.(Problema sugerido por Israel Meireles Chrisostomo)Seja T o conjunto
dos números transcendentes e Q o conjunto dos números algébricos.Uma sequên-
cia (a)n é dita sequência de Weierstrass, se ak ∈ Q, ∀k ∈ N e lim an = L, L ∈
n→∞
T.Por exemplo, a sequência an = (1 + x/n)yn , x, y ∈ Q é de Weierstrass, pois
seu limite é transencendente e os termos dessa sequência são compostos apenas
por números algébricos.Uma sequência (a)n de Weierstrass, é dita Sequência de
n-Weierstrass se existe um polinômio Pn (x) de grau n com coeficientes inteiros,
tal que Pn (an ) = 0, ∀n ∈ Z+ , e ainda, todos os termos dessa sequência são
distintos.Encontre o termo geral de uma Sequência de n-Weierstrass.
Solução
v Sejam ki números naturais, e ci números racionais, ∀i ∈ N.Então
u s r
√
u
kt
q
n kn−1 k3
cn + cn−1 + ... c3 + k2 c2 + k1 c1 é algébrico.
Prova: Basta observar que esse número é raíz do polinômio
Pn (x) = (((( xkn − cn )kn−1 − cn−1 )kn−2 − ...)k3 − c2 )k1 − c1
De fato, por indução , o caso base é óbvio.Considere como hipótese de indu-
ção v
u s r
√
u
kt
q
n kn−1 k3
rn = cn + cn−1 + ... c3 + k2 c2 + k1 c1 é raiz de
Pn+1 (x) = (((( (xkn+1 − cn+1 )kn − cn )kn−1 − cn−1 )kn−2 − ...)k3 − c2 )k1 − c1
Substituindo rn+1 em Pn+1 (x) teremos
Pn+1 (rn+1 ) = (((( rnkn − cn )kn−1 − cn−1 )kn−2 − ...)k3 − c2 )k1 − c1 = Pn (rn ) pela
hipótese de indução segue que Pn+1 (rn+1 ) = 0.
v v
u u v
u u u v v
u u u u u s
u u u r
1 + cos(2n φ)
u
u1 u 1 1 1 1
u u u
senφ = t −
t
+ + + ... + +
u t t t
2 23 27 215 n−1
22 −1 22n −1
(263)
Como base de indução, considere válido:
167
q
1−cos2x
senx = 2
r q r s r
2x
1− 1+cos2
q q
1 1+cos22 x 1 1 1+cos 23 x
senx = 2
2
= 2 − 22 ×2 = 2 − 22 ×2 + 22(2+1) ×2
Como hipótese de indução, suponha que (263) seja válido para um n, então,
usando (263),
v teremos:
u v v
u u u v
u u u u v s
u u u u u r
u1 u u1 1 1 1 1 + cos(2n φ)
u u u
senφ = t −
t
+ + + ... + + =
u t t t
2 23 27 215 n−1
22 −1 22n −1
v v
u u v
u u u v v
u u u u u v
u u u u u u s
u u r
1 + cos(2n+1 φ)
u1 u 1 u
u − t + t 1 + t 1 + t... + 1 1 1
u u u u
u t
t2 3 7 15 2n−1 −1 + 2n −1 + 2 n −1 =
2 2 2 2 2 2 2
v v
u u v
u u u v v
u u u u u v
u u u u u u s
u u r
u1 u 1
u − t + t 1 + t 1 + t... + t 1 1 1 + cos(2n+1 φ)
u u u u u
u
n−1 −1 + n −1 + =
t2 23 2 7 215 2 2 2 2 22(2n −1)+1
v v
u u v
u u u v v
u u u u u v
u u u u u u s
u u r
u1 u 1
u − t + t 1 + t 1 + t... + t 1 1 1 + cos(2n+1 φ)
u u u u u
u
n−1 −1 + n −1 +
t2 23 2 7 215 2 2 2 2 22n+1 −1
π
Finalizando assim a prova por indução.Fazendo φ = em (263), tere-
3 × 2n
mos: v
u v v
u u u v
u u u u v s
u u u u u r
π 1 1 1 1 1 1 1
u u u u u
=t −t 3 +
u
sen + + ... + n−1 −1 + n −1 +
u t t t
3×2 n 2 2 2 7 215 2 2 22 22n
v v
u u v
u u u v v
u u u u u s
u u u r
π 1 1 1 1 1 1 1
u u u u u
n n u
= (3×2 )t − t 3 +
u
(3×2 )sen + + ... + n−1 −1 + n −1 +
t t t
3×2n 2 2 27 215 22 22 22n
(264)
Observe que (264) é algébrico, pois já provamos isso nas primeiras linhas dessa
questão (de fato os algébricos formam um corpo, o produto de dois algébricos é
168
ainda algébrico).Resta mostrar que todos os termos da sequência são distintos,
πsenx
para isto, observe que nossa sequência é uma expressão do tipo f (x) = ,
x
senx − xcosx
por outro lado, note que f 0 (x) = π e ainda tanx > x ⇒ senx−
x2
xcosx > 0, mostrando assim que a função é crescente, e portanto, bijetora, não
podendo admitir que termos da sequência sejam iguais.
169
Z
48.Calcule a integral ln(x)dx.
Solução 1:
Pela fórmula de integração por partes, sabemos que
Z Z
v(x)du = u(x)v(x) − u(x)dv
1
Faça a substituição ln(x) = v(x) ⇒ dv = dx, e ainda du = dx ⇒ u(x) = x,
x
subsituindo
Z na fórmula deZintegração por partes, teremos:
ln(x)dx = x ln(x) − dx = x ln(x) − x
Solução 2:
1
Faça a substituição ln(x) = −w ⇒ dw = − dx ⇒ dx = −xdw ⇒ dx =
x
−e−w dw. Substituindo na integral, teremos:
Z Z
ln(x)dx = we−w dw
Pela fórmula de integração por partes, sabemos que
Z Z
v(w)du = u(w)v(w) − u(w)dv
Fazendo
Z u(w) = −e−w ⇒ du =Z e−w dw, dv = dw ⇒ v(w) = w, teremos:
w e|−w
|{z} {zdw} = −e
−w
w − (−e−w ) |{z}
dw
| {z } |{z} | {z }
Z v(w) du u(w) v(w)
Z u(w) dv
we dw = −e w + e dw = −e w − e−w
−w −w −w −w
170
49.Calcule a integral
Z p
k + x2 dx
Solução: √ √
Faça x = ktanα ⇒ dx = ksec2 αdα, a integral fica reescrita como:
Z p Z
k + x2 dx = ksec3 αdα (1)
Z Z
3
sec αdα = secαtanα − secα(sec2 α − 1)dα
Z Z
1 1
sec3 αdα = secαtanα + secαdα
2 2
Multiplicando e dividindo a integral ao lado direito por tanα+secα, teremos:
Z Z
1 1 secα(tanα + secα)
sec3 αdα = secαtanα + dα (3)
2 2 tanα + secα
0
Observe que (tanα + secα) = secα(tanα + secα), fazendo f (α) = tanα + secα,
teremos que
Z Z 0
secα(tanα + secα) f (α)
dα = dα = ln|f (x)| = ln |tanα + secα|
tanα + secα f (α)
Substituindo em (3), teremos:
Z
1 1
sec3 αdα = secαtanα + ln |tanα + secα| (4)
2 2
Substituindo (4) em (1):
Z p
k k
k + x2 dx = secαtanα + ln |tanα + secα| (5)
2 2
√ 2 2 2 2
r Mas x = ktanα ⇒ x = ktan α ⇒ x = k(sec α − 1) ⇒ secα =
x2 + k
, substituindo esse resultado em (5), teremos:
k
171
√ r
2+k 2 + k
Z p
x x k x x
k + x2 dx = + ln √ + +C (5)
2 2 k k
172
50.Calcule a integral
x2
Z
√ dx
k − x2
√ dx √
Solução: Fazendo x = ksen(α), teremos = kcos(α) ⇒ dx =
√ dα
kcos(α)dα,substituindo na √
integral teremos:
x2 ksen2 (α) kcos(α)
Z Z Z
√ dx = p dα = ksen2 (α)dα
k − x2 k − ksen2 (α)
Calculemos a integral acima.Pela
Z Z formula da integral por partes sabemos que:
u(α)v 0 (α)dα = u(α)v(α) − u0 (α)v(α)dα (1)
Fazendo u(α) = senα ⇒ u (α) = cos(α)dα. Fazendo v 0 (α) = senα ⇒ v(α) =
0
−cosα Z
Substituindo em (1) e multiplicando tudo por k: ksen2 (α)dα = −ksenαcosα+
Z
kcos2 αdα ⇒
Z Z
ksen (α)dα = −ksenαcosα + k(1 − sen2 α)dα ⇒
2
Z
k
ksen2 (α)dα = (α − senαcosα) + C ⇒
2
x2
Z
k
√ dx = (α − senαcosα) + C (2)
k − x2 2
√ √ 1 k
Mas x = ksen(α) ⇒ x = k p ⇒ cot2 α + 1 = 2 ⇒
2
1 + cot (α) x
2 k 2 1 x x
cot α = 2 − 1 ⇒ tan α = k ⇒ tanα = √ ⇒ α = arctan √
x x2 √−1 k−x 2 k − x2
2 2 2
r sabemos que x = ksen(α) ⇒ x = ksen (α) = k(1 − cos α) ⇒
Alem disso
k − x2
cosα =
k
Substituindo em (2), teremos:
√ !
x2 x k − x2
Z
k x
√ dx = arctan √ − +C
k − x2 2 k − x2 k
173
51.O Teorema Fundamental do Cálculo, diz que se f é uma função contínua
de valores reais, definida em um intervalo fechado [a, b], e se F for a função
definida para x em [a, b] por:
Z x
F (x) = f (x)dx
a
Então
F 0 (x) = f (x)
Além disso, se f uma função contínua de valores reais, definida em um intervalo
fechado [a, b], e se F é uma função tal que
F 0 (x) = f (x)
então Z b
f (x)dx = F (b) − F (a)
a
Prove o Teorema Fundamental do Cálculo.
Solução:
m ≤ f (x) ≤ M (1)
Z b Z b Z b
0 ≤ f (x) − m ⇒ 0 ≤ (f (x) − m)dx ⇒ mdx ≤ f (x)dx (2)
a a a
174
Dividindo ambos os lados da desigualdade acima por b − a, teremos:
Z b
1
m≤ f (x)dx ≤ M (5)
b−a a
Como f (x) é contínua,f (x) passa por todos os pontos entre m e M e portanto
existe c tal que:
Z b
1
f (c) = f (x)dx (6)
b−a a
Fazendo b = x + h e a = x em (6),e usando que toda função f definida em
um intervalo fechado tem máximo e mínimo, teremos:
Z x+h Z x+h
1 1
f (ch ) = f (t)dt = f (t)dt (6)
x+h−x x h x
Onde x ≤ ch ≤ x + hPor outro lado, observe que:
Z x+h Z x+h Z x
f (t)dt = f (t)dt − f (t)dt = g(x + h) − g(x)
x a a
175
Se h < 0, então faça a = x + h e b = x em 6, no intervalo fechado [x + h, x]
f admite máximo e mínimo, segue que:
Z x Z x Z x
1 1 1
f (ch ) = f (t)dt = − f (t)dt ⇒ f (ch ) = − f (t)dt (7)
x − (x + h) x+h h x+h h x+h
1 x
Z
f (ch ) = − f (t)dt
h x−h0
Fazendo x0 = x − h0 e substituindo nos limites de integração:
Z x0 +h0
1
f (ch ) = − f (t)dt
h x0
Observe que:
Z x0 +h0 Z x0 +h0 Z x0 Z x Z x+h
f (t)dt = f (t)dt − f (t)dt = f (t)dt − f (t)dt
x0 a a a a
g(x + h) − g(x)
lim f (ch ) = lim
n→0 n→0 h
Temos duas possibilidades, dependendo se f é não decrescente ou não cres-
cente, pois como x + h ≤ ch ≤ x, ou ocorre:
Ou ocorre:
f (x + h) ≤ f (ch ) ≤ f (x) (B 0 )
Nos dois casos, como a função é contínua, o resultado segue pelo teorema do
confronto. Concluindo assim, que:
g 0 (x) = f (x)
Sabemos que F 0 (x) = f (x) e g 0 (x) = f (x), pelo teorema do valor médio a
diferença entre as funções é uma constante, então, existe uma constante C, tal
que:
F (x) = g(x) + C
176
Fazendo x = b e x = a, teremos:
F (b) = g(b) + C
Z a
F (a) = g(a) + C = f (t)dt + C = 0 + C = C ⇒ F (a) = C
a
Pegando a diferença entre as igualdades acima, teremos:
Z b
F (b) − F (a) = g(b) = f (t)dt
a
177
Z
52.Calcule a integral sen2 θdθ.
1 − cos(2θ)
Solução:Observe que cos(2θ) = 1 − 2sen2 θ ⇒ sen2 (θ) = , subs-
2
tituindo na integral,
Z teremos:
1 − cos(2θ)
Z Z Z Z
2 1 cos(2θ) θ cos(2θ)
sen θdθ = dθ = dθ− dθ = − dθ ⇒
Z Z 2 2 2 2 2
θ cos(2θ)
sen2 θdθ = − dθ
2 2
du
Fazendo 2θ = u ⇒ du = 2dθ ⇒ dθ = , substituindo na integral:
Z Z 2
θ cos(u) θ sen(u) θ sen(2θ)
sen2 θdθ = − du = − = −
2 4 2 4 2 4
178
Z
53.Calcule a integral sen3 θdθ.
Z Z Z
3 2
Solução: Observe sen θdθ = senθsen θdθ = senθ(1 − cos2 θ)dθ =
Z Z Z
senθdθ − senθcos2 θdθ = −cosθ − senθcos2 θdθ
du
Fazendo cos2 θ = u ⇒ du = −2senθcosθdθ ⇒ = −senθcosθdθ, substi-
2
tuindo na integral:
Z √ 3 3
(cos2 (θ)) 2
Z
3 u 2u 2
sen θdθ = cosθ + du = −cosθ + +C = −cosθ + +C =
2 3×2 3
3
cos (θ)
−cos(θ) + +C
3
179
Z
54.Calcule a integral θ arctan2 (θ)dθ.
Solução:
1 1
Faça y = arctan(θ) ⇒ dy = 2
dθ ⇒ dy = dθ ⇒ dθ =
1+θ 1 + tan2 (y)
sec2 (y)dy, substituindo na integral teremos:
Z Z
θ arctan2 (θ)dθ = y 2 tan(y)sec2 (y)dy
Z Z
1 2 2 1
2 2
y tan(y)sec (y)dy = y sec (y) − ytan(y) − tan(y)dy = y 2 sec2 (y) −
Z 2 2
1 2 2
ytan(y) + tan(y)dy = y sec (y) − ytan(y) − ln |cos(y)| + K
2
Observe que sec2 (y) = tan2 (y) + 1 = tan2 (arctan(θ)) + 1 = θ2 + 1, cos(y) =
1 1 1
p =p =√ , substituindo teremos:
2
1 + tan (y) 2
1 + tan (arctan(θ)) 1 + θ2
(θ2 + 1)
Z
1
y 2 tan(y)sec2 (y)dy = y 2 sec2 (y)−ytan(y)−ln (cos(y))+K = arctan2 θ−
2 2
2
1 +K = (θ + 1) arctan2 θ−θ arctan θ− ln1 − ln 1 + θ2 +
p
θ arctan θ−ln √
1 + θ2 2
2
(θ + 1) 2
p (θ2 + 1)
K= arctan θ − θ arctan θ + ln 1 + θ2 + K = arctan2 θ −
2 2
1 (θ2 + 1) 1
θ arctan θ + ln 1 + θ2 2 + K = arctan2 θ − θ arctan θ + ln 1 + θ2 + K
2 2
180
55.(Mathematics Stack Exchange)They are asking me to prove
x3
sen(x) > x − , for x ∈ R∗+ .
3!
I didn’t understand how to approach this kind of problem so here is how I tried:
x3
sen(x) − x + >0
6
then I computed the derivative of that function to determine the critical points.
0
x3 x2
So: sen(x) − x + = cos(x) − 1 +
6 2
The critical points:
x2
cos(x) − 1 + =0
2
0
x2
It seems that ‘x = 0‘ is a critical point. Since cos(x) − 1 + = −sen(x)+x
2
and −sen(0) + 0 = 0
The function has no local minima and maxima. Since the derivative of the
function is positive, the function is strictly increasing so the lowest value is
x3
‘f(0)‘. Since ‘f(0) = 0‘ and ‘0 > 0‘ I proved that sen(x) + x − > 0. I’m not
6
sure if this solution is right. And, in general, how do you tackle this kind of
problems?
Solução:
A solução segue diretamente da observação que:
181
n X n
X
k−1 3 φ 1 k φ k−1 φ
3 sen = 3 sen −3 sen =
3k 4 3k 3k−1
k=1
k=1
1 φ 2 φ φ n φ n−1 φ
3sen − sen (φ) + 3 sen − 3sen + ... + 3 sen −3 sen
4 3 32 3 3n 3n−1
n
1 φ X φ 1 φ
= 3n sen − sen(φ) ⇒ 3k−1 sen3 = 3n sen − sen(φ)
4 3n 3k 4 3n
k=1
φ
Tomando o limite e fazendo x = , teremos:
3n
∞
3n
X φ 1 φ 1 φ
3k−1 sen3 = lim 3n sen − sen(φ) = lim φ× sen − sen(φ) =
3k n→∞ 4 3n n→∞ 4 φ 3n
k=1
1 φsen (x) 1
lim − sen(φ) = (φ − sen(φ)) ⇒
x→0 4 x 4
∞
X φ 1
3k−1 sen3 k
= (φ − sen(φ))
3 4
k=1
φ3 φ3
φ φ 3 φ k−1 3 φ
sen ≤ ⇒ sen ≤ ⇒ 3 sen ≤ ⇒
3k 3k 3k 33k 3k 32k+1
∞ ∞
X φ3 ∞ ∞
φ3 X 1 φ3
X φ X φ
⇒ 3k−1 sen3 ≤ = = ⇒ 3 k−1
sen 3
≤
3k 32k+1 3 32k 3×8 3k
k=1 k=1 k=1 k=1
φ3 1 φ3 φ3
⇒ (φ − sen(φ)) ≤ ⇒φ− ≤ sen(φ)
3×8 4 3×8 6
182
56.(Rumo ao ITA,Substituições trigonométricas)Sejam a, b, c números posi-
tivos tais que c2 = a2 − ab + b2 .Prove que (a − c)(b − c) ≤ 0
Solução 1:
Observe que:
3(a − b)2 ≥ 0 ⇒ 3a2 − 6ab + 3b2 ≥ 0 ⇒ 4a2 − 4ab + 4b2 ≥ a2 + 2ab + b2 ⇒ a2 −
2 2
a+b a+b a+b
ab+b2 ≥ ⇒ c2 ≥ ⇒c≥ ⇒ 2c ≥ a+b ⇒ c−b ≥ a−c
2 2 2
De onde concluímos:
c−b≥a−c (269)
2 2 2 2 2
Observe que 3ab > 0 ⇒ (a + b) > a − ab + b ⇒ (a + b) > c ⇒ a + b >
c ⇒ a + b − c > 0, e portanto podemos multiplicar ambos os lados de (269) por
a + b − c sem alterarmos o sinal da desigualdade:
f (a, b, c) = ab − ac − bc + c2 (273)
Além disso, vem:
c2 = a2 − ab + b2 ⇒ ab = a2 + b2 − c2
De onde segue:
ab = a2 + b2 − c2 (274)
Substituindo (274) em (273) segue
f (a, b, c) = a2 + b2 − c2 − ac − bc + c2 = a2 + b2 − ac − bc = a(a − c) + b(b − c)
183
Solução 2:Suponha sem perda de generalidade que a ≤ b, então:
(a − c)(b − c) ≤ 0
184
m−n
57.(ITA-SP)Sabendo-se que senx = ,m > 0, n > 0, podemos afirmar
π x m+n
que tan − é igual a:
4 2
√ r
n m n n
a) b) c)1 − d) e)n.r.a.
m n m m
Solução 1:
Observe que:
x
π x 1 − tan 2
tan − = x (279)
4 2 1 + tan 2
x
π x 1 − tan 2
cot + = x (280)
4 2 1 + tan 2
2cos(x)
=
cos 2 + 2sen x2 cos x2 + sen2 x2
x
2
x
1 − tan 2cos(x)
x = (281)
1 + tan 1 + sen(x)
2
2
m−n 2 m−n
Observe que senx = ⇒ sen x = ⇒ 1 − sen2 x = 1 −
m+n m+n
2 2 √
m−n m−n 2 mn
⇒ cos2 x = 1 − ⇒ cosx = , substituindo em
m+n m+n m+n
(281):
1 − tan x2
r
n
= (282)
1 + tan x2
m
Usando (279):
r
n π x
= tan − (283)
m 4 2
185
57.(Problema sugerido por Israel Meireles Chrisostomo)Seja:
Solução:
Observe que se x + y + z = −xyz, então teremos:
x + y + z = −xyz (286)
186
x y z 4xyz
+ + =− (287)
1 + x2 1 + y2 1 + z2 (1 + x2 )(1 + y 2 )(1 + z 2 )
Fazendo x = tan(α), y = tan(β), z = tan(γ), nossa relação fica reescrita
como: tan(α) + tan(β) + tan(γ) = −tan(α)tan(β)tan(γ),por outro lado tam-
bém teremos:
sen(α)cos(α)+sen(β)cos(β)+sen(γ)cos(γ) = −4sen(α)cos(α)sen(β)cos(β)sen(γ)cos(γ)
Multiplicando os dois lados por 2 e usando o seno do arco duplo, finalmente,
teremos:
A única forma dessa igualdade ser igual a zero é se a igualdade abaixo ocorrer:
187
Então vale:
Então vale:
188
∞
dn+1
Z
58.Seja Γ(x) = tx−1 e−t dt, defina ψ n (x) = n+1 ln (Γ(x)).Prove que:
0 dx
2
1 π
0 ≤ ψ (1) m + ≤
2 4m
Onde m é um inteiro maior do que 0.
Solução:
Seja X o conjunto dos transcendentes tais que o produto de um elemento de
X com π seja inteiro. Seja q ∈ X, então existe n ∈ N e p ∈ N tal que qπ = p e :
1
Multiplicando os dois lados da igualdade pnor , obtemos:
sen2pn (z)
pn
cos (2qnπz) X 2pn
= (−1)k cot2pn−2k (z)
sen2pn (z) 2k
k=0
189
Sabemos pela
relação de Girard, que a soma das raízes do polinômio acima
2pn
2
é dado por 2pn ,
sendo assim, teremos:
0
pn 2pn
2pn! pn
X
2 2!(2pn−2)!
X
2 2k − 1
ζk = 2pn
= 2pn!
= pn(2pn−1) ⇒ cot = pn(2pn−
0 0!(2pn−0)!
4qn
k=1 k=1
1)
Agora, veja que cscx > 1/x e cotx < 1/x, sendo assim teremos:
pn
p X 1
2p2 − ≤ (4q)2 ≤ 2p2 (297)
n (2k − 1)2
k=1
m
π 2 1 (1)
X 1 1
Observe que = − ψ m + , substituindo essa relação
(2k − 1)2 8 4 2
k=1
em (4), temos:
π2
p 1 1
2p2 − ≤ (4q)2 − ψ (1) pn + ≤ 2p2
n 8 4 2
2 p 2 2 (1) 1
2p − ≤ 2p − 4q ψ pn + ≤ 2p2
n 2
p 1
− ≤ −4q 2 ψ (1) pn + ≤0
n 2
1 p
0 ≤ 4q 2 ψ (1) pn + ≤
2 n
p2
Observe que qπ = p ⇒ q 2 = , substituindo logo acima, temos:
π2
p2
1 p
0 ≤ 4 2 ψ (1) pn + ≤
π 2 n
190
π2
1
0 ≤ ψ (1) pn + ≤
2 4pn
Fazendo m = pn, tem-se o resultado desejado.
191
59.Prove que:
n π
lim sen = 1
n→∞ π n
Solução:
Vamos decompor um círculo em um polígono de n partes.
192
60.(Problema sugerido por Israel Meireles Chrisostomo)Defina:
(ax + bx )
(by − ay ) + by ay + (c2y − 1) , ∀x, y ∈ X | X = {x, y ∈ N | x−y = 1}, ∀a1 , b1 , c1 ∈ R+ | c1 ≥ 1
σx,y = 2
cy
Um grupo de quatro sequências recorrentes (a)n , (b)n , (c)n e (σ)n,m , com leis
de formação distintas, é chamado de “ Quarteto de Liouville ”, se para todo
a1 , b1 , c1 ∈ R+ | c1 ≥ 1, ocorre:
1
σ(n+2k+1 −1),(n−1) = a k+1 × σ(n+2k −1),(n−1) + an−1 × σ(n+2k+1 −1),(n+2k −1) ,
an+2k −1 n+2 −1
∀k ∈ Z+ ∪ {0} ∧ n ∈ Z+ \ {1}
Encontre as quatro sequências de um Quarteto de Liouville qualquer.
Solução: √
a
Observe que(fazendo a substituição √ = tan(θ)):
b
a
a + b = b b + 1 = b(tan (θ) + 1) = bsec (θ) = bsec2 (θ)(sen2 (φ
2 2 2
− θ) + cos (φ −
2 2
θ)) = b (tan(θ)sen(φ) + cos(φ)) + (sen(φ) − tan(θ)cos(φ)) =
√
√ √ √
2 2
b √a sen(φ) + cos(φ) + sen(φ) − √a cos(φ) = ( asen(φ)+ bcos(φ))2 +
b b
√ √
( bsen(φ) − acos(φ))2
De onde concluímos:
√ √ √ √
a + b = ( asen(φ) + bcos(φ))2 + ( bsen(φ) − acos(φ))2 (298)
193
√ p 2 √ !2 √ p 2 √ !2
a1 c1 − 1 + b1 b1 c1 − 1 − a1
a1 + b1 = + = a2 + b2 (300)
c1 c1
p q
√ 2
bn−1 c2n−1 − 1 − an−1
bn = (302)
cn−1
√ q p 2 p q
√ 2
an−1 c2n−1 − 1 + bn−1 bn−1 c2n−1 − 1 − an−1
an−1 +bn−1 = + = an +bn
cn−1 cn−1
(304)
Comparando (304) com (303), finalmente por indução, segue que:
a1 + b1 = an + bn , ∀n ∈ N (305)
Agora nos resta provar que existe outra sequência que satisfaz a igual-
dade.Multiplicando (301) por bn−1 e (302) por an−1 e subtraindo esses resulta-
dos, temos:
p q 2 p q 2
an−1 bn−1 c2n−1 − 1 + bn−1 bn−1 an−1 c2n−1 − 1 − an−1
an bn−1 −an−1 bn = − =
cn−1 cn−1
p q
b2n−1 + 2(an−1 + bn−1 ) bn−1 an−1 c2n−1 − 1 − a2n−1
2 ⇒ c2n−1 (an bn−1 −an−1 bn ) =
cn−1
p q
2
(bn−1 + an−1 ) (bn−1 − an−1 ) + 2 bn−1 an−1 cn−1 − 1 ≤
(bn−1 + an−1 ) (bn−1 − an−1 ) + bn−1 an−1 + (c2n−1 − 1)
194
Observando que usamos a desigualdade
p das médias, a igualdade ocorre ape-
nas se c2n−1 − 1 = bn−1 an−1 ⇒ cn−1 = bn−1 an−1 + 1, isto é, a sequência (c)n
é dada pela relação:
v
u √ q p p q
√ 2
u
u an−1 c2n−1 − 1 + bn−1 bn−1 c2n−1 − 1 − an−1
cn = t × + 1
cn−1 cn−1
(306)
Então podemos dizer que se (306) é verdade então é verdadeira também a igual-
dade abaixo:
(bn−1 + an−1 )
(bn−1 − an−1 ) + bn−1 an−1 + (c2n−1 − 1)
an bn−1 − an−1 bn = 2
cn−1
(307)
Por (305) segue que bn−1 + an−1 = bn + an , sendo assim, teremos:
(bn + an )
(bn−1 − an−1 ) + bn−1 an−1 + (c2n−1 − 1) (308)
an bn−1 − an−1 bn =
c2n−1
Defina:
ax by − ay bx = σx,y (309)
Vamos fazer a prova por indução, primeiro vamos fazer a base de indução,
para tanto considere, que da igualdade acima seguem as igualdades:
an bn−1 1
− bn = σn,n−1 (310)
an−1 an−1
an−1 bn 1
bn−1 − = σn,n−1 (311)
an an
Substituindo n por n + 1 em (311), obtemos:
an bn+1 1
bn − = σn+1,n (312)
an+1 an+1
an+1 an−1
Somando (312) com (310) e multiplicando o resultado por , obte-
an
mos:
1
an+1 bn−1 − an−1 bn+1 = (an+1 σn,n−1 + an−1 σn+1,n ) (313)
an
Mas por definição, sabemos que an+1 bn−1 − an−1 bn+1 = σn+1,n−1 , de onde
se conclui a base de indução(que é o caso em que k = 0), ou seja:
1
σn+1,n−1 = (an+1 σn,n−1 + an−1 σn+1,n ) (314)
an
195
Como hipótese de indução, suponha que a igualdade abaixo é válida para
um k:
1
σ(n+2k+1 −1),(n−1) = an+2k+1 −1 σ(n+2k −1),(n−1) + an−1 σ(n+2k+1 −1),(n+2k −1)
an+2k −1
(315)
Nosso objetivo torna-se mostrar que:
1
σ(n+2k+2 −1),(n−1) = a k+2 σ k+1 + an−1 σ(n+2k+2 −1),(n+2k+1 −1)
an+2k+1 −1 n+2 −1 (n+2 −1),(n−1)
(316)
an+2k+2 −1
Multiplique a hipótese de indução por , de onde obteremos:
an+2k+1 −1
an+2k+2 −1 1 an−1 an+2k+2 −1
σ k+1 = an+2k+2 −1 σ(n+2k −1),(n−1) + σ(n+2k+1 −1),(n+2k −1)
an+2k+1 −1 (n+2 −1),(n−1) an+2k −1 an+2k+1 −1
an−1 σ(n+2k+2 −1),(n+2k+1 −1)
Somando em ambos os lados da igualdade acima,
an+2k+1 −1
teremos:
an+2k+2 −1 an−1 σ(n+2k+2 −1),(n+2k+1 −1)
σ k+1 + =
an+2k+1 −1 (n+2 −1),(n−1) an+2k+1 −1
an−1 σ(n+2k+2 −1),(n+2k+1 −1)
1 an−1 an+2k+2 −1
an+2k+2 −1 σ(n+2k −1),(n−1) + σ(n+2k+1 −1),(n+2k −1) + =
an+2k −1 an+2k+1 −1 an+2k+1 −1
1
[an+2k+2 −1 (an+2k −1 bn−1 − an−1 bn+2k −1 )
an+2k −1
an−1 an+2k+2 −1
+ (an+2k+1 −1 bn+2k −1 − an+2k −1 bn+2k+1 −1 ) +
an+2k+1 −1
an−1 (an+2k+2 −1 bn+2k+1 −1 − an+2k+1 −1 bn+2k+2 −1 )
an+2k+1 −1
196
σ(n+2k+2 −1),(n+2k+1 −1) = an+2k+2 −1 bn+2k+1 −1 − an+2k+1 −1 bn+2k+2 −1 (319)
1
an+2k+2 −1 bn−1 −an−1 bn+2k+2 −1 = an+2k+2 −1 σ(n+2k+1 −1),(n−1) + an−1 σ(n+2k+2 −1),(n+2k+1 −1)
an+2k+1 −1
(321)
Mas por definição σ(n+2k+2 −1),(n−1) = an+2k+2 −1 bn−1 − an−1 bn+2k+2 −1 , de
onde segue o resultado.
197
61.(The American Mathematical Monthly)Considere um triângulo ABC e
um ponto P do mesmo plano. Sejam PA , PB , PC as projeções ortogonais de P
nos lados BC, CA, AB respectivamente. Prove a desigualdade19 :
AP + BP + CP ≥ 2(P PA + P PB + P PC )
Solução:
Sejam a, b, c lados de um triângulo, então defina a função:
f (a, b, c, x, y, z) = a2 x2 + b2 y 2 + c2 z 2 (322)
Observe que:
f (a, b, c, x, y, z) =
(a + c − b ) + (a + b − c ) 2 (b2 + c2 − a2 ) + (a2 + b2 − c2 ) 2 (b2 + c2 − a2 ) + (a2 + c2 − b2 ) 2
2 2 2 2 2 2
x + y + z
2 2 2
(323)
Observe que pela desigualdade das médias temos que:
(a2 + c2 − b2 ) 2 (a2 + c2 − b2 ) 2
x + z ≥ xz(a2 + c2 − b2 ) (324)
2 2
(a2 + b2 − c2 ) 2 (a2 + b2 − c2 ) 2
x + y ≥ xy(a2 + b2 − c2 ) (325)
2 2
(b2 + c2 − a2 ) 2 (b2 + c2 − a2 ) 2
y + z ≥ yz(b2 + c2 − a2 ) (326)
2 2
Somando (324), (325) e (326) temos que:
198
Em outras palavras, o que provamos foi que se x, y, z são reais positivos e
α + β + γ = π, então vale:
√ √ √ √ √ √
AP +BP +CP ≥ 2 BP CP cosα+2 AP CP cosβ+2 AP BP cosγ (332)
c
O1 a
P
ψ1
O1 P
ψ1
A C
b
ψ
Observe que a área ABP C do triângulo ∆BP C é igual a soma das áreas ABP O1 e
ACP O1 dos triângulos ∆BP O1 e ∆CP O1 , respectivamente.Tracemos as alturas
desses dois últimos triângulos:
c
O1 a
P ψ1
O1 P
ψ1
A C
b
199
Observe que:
BP × O1 P × senψ1
ABP O1 = (333)
2
CP × O1 P × senψ1
ACP O1 = (334)
2
BP × CP × sen(2ψ1 )
ABP C = (335)
2
Comparando as igualdades acima teremos:
2BP × CP × cos(ψ1 )
O1 P =
BP + CP
Por simetria, concluímos:
2BP × CP × cos(ψ1 )
O1 P = (337)
BP + CP
2AP × CP × cos(ψ2 )
O2 P = (338)
AP + CP
2AP × BP × cos(ψ3 )
O3 P = (339)
AP + BP
De (332), note que ψ1 + ψ2 + ψ3 = π, e usando que a média geométrica é
maior ou igual a média harmônica, temos que:
AP + BP + CP ≥ 2(O1 P + O2 P + O3 P ) (340)
200
62.(Complex Analysis Homework/Caltech-California Institute of Techno-
logy)Prove a Fórmula da Reflexão de Euler:
π
Γ(a)Γ(1 − a) =
sen(aπ)
Solução: Observe que:
Γ(x)Γ(y)
B(x, y) = = B(y, x) (341)
Γ(x + y)
Z π Z π
2 2
2a−1
2 tan θdθ = 2 sen2a−1 θcos1−2a θdθ = B(1 − a, a) = B(a, 1 − a) =
0 0
Γ(a)Γ(1 − a) Γ(a)Γ(1 − a)
= = Γ(a)Γ(1 − a)
Γ(a + 1 − a) Γ(1)
∞ 1 ∞
ta−1 ta−1 ta−1
Z Z Z
Γ(a)Γ(1 − a) = dt = dt + dt (342)
0 1+t 0 1+t 1 1+t
Considere a integral:
∞
ta−1
Z
dt (343)
1 1+t
1 1
Fazendo a substituição t = ⇒ dt = − 2 dx, substituindo logo acima
x x
teremos:
∞ Z 0 −a Z 1 −a
ta−1
Z
x x
dt = − dx = dx (344)
1 1+t 1 1+x 0 1+x
Z 1 −a Z 1 −a
x t
Usando que dx = dt Aplicando esses dois últimos resulta-
0 1+x 0 1+t
dos em (342) teremos:
Z 1 a−1 Z 1 −a
t t
Γ(a)Γ(1 − a) = dt + dt (345)
0 1 + t 0 1 +t
∞
1 X
Usando a série geométrica, sabemos que = (−1)k tk , e substituindo
1+t
k=0
em (345) teremos:
201
Z ∞
1X Z ∞
1X
Γ(a)Γ(1 − a) = (−1)k tk+a−1 dt + (−1)k tk−a dt (346)
0 k=0 0 k=0
202
63.Mostre que a sequência converge:
n
X 1
an = (347)
k2
k=1
Solução:
Toda sequência monótona limitada é convergente.Basta provarmos que a
sequência é limitada.
n n n n
1 1 X 1 X 1 X 1 X 1
2
< ⇒ 2
< ⇒ 2
< 1+ = 1+
k k(k − 1) k k(k − 1) k k(k − 1)
k=2 k=2 k=1 k=2
n n n
X 1 1 1 X 1 1 X 1 1
− = 2− ⇒ < 2− ⇒ lim < lim 2 − ⇒
k−1 k n k2 n n→∞ k2 n→∞ n
k=2 k=1 k=1
∞
X 1
0< <2
k2
k=1
203
64.Sejam λ1 , λ2 , λ3 , ...., λm tais que λ1 + λ2 + λ3 + .... + λm = 1,e
(a1,1 + a1,2 + a1,3 + ... + a1,n )λ1 (a2,1 + a2,2 + a2,3 + ... + a2,n )λ2 ....(am,1 + am,2 +
am,3 + ... + am,n )λm ≥ aλ1,11
aλ2,1
2
...aλm,1
m
+ aλ1,2
1
aλ2,2
2
...aλm,2
m
+ ... + aλ1,n
1
aλ2,n
2
...aλm,n
m
Solução:
Demonstração. Vamos proceder por indução sobre m.Como base de indução
tome λ1 +λ2 = 1, isto é, como base de indução tome que a seguinte desigualdade
é verdadeira:
(a1,1 + a1,2 + a1,3 + ... + a1,n )λ1 (a2,1 + a2,2 + a2,3 + ... + a2,n )λ2 ≥ aλ1,1
1
aλ2,1
2
+
λ1 λ2 λ1 λ2
a1,2 a2,2 + ... + a1,n a2,n
n n n n n
!λ1 n
!λ2
X X X X X X
aλ1,i1 aλ2,i2 ≤ (λ1 a1,i + λ2 a2,i ) = λ1 a1,i +λ2 a2,i = λ1 +λ2 = 1 = a1,i × a2,i
i=1 i=1 i=1 i=1 i=1 i=1
204
Vamos agora provar o caso geral.Como hipótese de indução, tome:
(a1,1 + a1,2 + a1,3 + ... + a1,n )σ1 (a2,1 + a2,2 + a2,3 + ... + a2,n )σ2 ....(am,1 + am,2 +
am,3 + ... + am,n )σm ≥ aσ1,11
aσ2,1
2
...aσm,1
m
+ aσ1,2
1
aσ2,2
2
...aσm,2
m
+ ... + aσ1,n
1
aσ2,n
2
...aσm,n
m
205
65.(Mathematics Stack Exchange Question)Can you help me to prove that
for n ≥ 1 and x, y ≥ 0.
I tried by induction, but I didn’t get a result.
Solução 1:É uma aplicação direta da desigualdade de Jensen, para ver isso
basta dividir os dois lados 2n .
206
Solução 2:Suponha sem perda de generalidade que x ≥ y e tome p ≥
k.Então isto implica que:
De onde concluímos:
207
66.(Cálculo, Volume 2-Serge Lang)Sejam B1 , ..., Bn vetores de comprimento
1 no espaço n-dimensional e mutuamente perpendiculares, isto é, Bi .Bj = 0 para
i 6= j.Seja A um vetor no espaço n-dimensional, seja ci a componente de A ao
longo de Bi .Sejam x1 , ..., xn números.Mostre que:
n
n
X
X
xk Bk − A
≥
ck Bk − A
k=1 k=1
Solução 1:
Demonstração. Sejam Bj = (bj,1 , ..., bj,n ) e A = (a1 , ..., an ) então pelo enunci-
A.Bj a1 bj,1 + ... + an bj,n
ado cj = 2 = . Além disso sabemos, pelo enunciado,
Bj b2j,1 + ... + b2j,n
que bj,1 bk,1 + ... + bk,n bj,n = 0 para k 6= j.Vamos provar algo mais forte do que
o problema pede, vamos trocar a condição de bj,1 bk,1 + ... + bk,n bj,n = 0 para a
que está logo abaixo(a desigualdade (355)), que é bem mais geral.Além disso,
não há necessidade de que as normas dos Bj’s sejam iguais a 1(a norma pode
assumir qualquer valor que a desigualdade é verdadeira):
X n
n X n X
X n
xj xk (bj,1 bk,1 +...+bj,n bk,n ) ≥ cj ck (bj,1 bk,1 +...+bj,n bk,n ) (355)
j=1 k=1 j=1 k=1
j<k j<k
n
X n
X n
X
c2j (b2j,1 + ... + b2j,n ) − 2 xj cj (b2j,1 + ... + b2j,n ) + (b2j,1 + ... + b2j,n )x2j ≥ 0 ⇔
j=1 j=1 j=1
n
X n
X Xn n
X n
X
a2j −2 xj cj (b2j,1 +...+b2j,n )+ x2j (b2j,1 +...+b2j,n ) ≥ a2j − c2j (b2j,1 +...+b2j,n ) ⇔
j=1 j=1 j=1 j=1 j=1
208
n
X n
X Xn n
X n
X
a2j −2 xj (a1 bj,1 +...+an bj,n )+ x2j (b2j,1 +...+b2j,n ) ≥ a2j − c2j (b2j,1 +...+b2j,n )
j=1 j=1 j=1 j=1 j=1
n
X n
X n
X n
X n
X n X
X n
a2j − 2 xj a1 bj,1 − ... − 2 xj an bj,n + x2j b2j,1 + ... + x2j b2j,n + 2 xj xk bj,1 bk,1 + ...+
j=1 j=1 j=1 j=1 j=1 j=1 k=1
j<k
X n
n X n
X n
X n X
X n
+2 xj xk bj,n bk,n ≥ a2j − c2j (b2j,1 + ... + b2j,n ) + 2 cj ck (bj,1 bk,1 + ... + bj,n bk,n ) ⇔
j=1 k=1 j=1 j=1 j=1 k=1
j<k j<k
n
X X n
n X n
X n
X
2 2 2
2
a1 − 2 xj a1 bj,1 + 2 xj xk bj,1 bk,1 + xj bj,1 + ... + an − 2
xj an bj,n
j=1 j=1 k=1 j=1 j=1
j<k
X n
n X n
X n n
X X
+2 xj xk bj,n bk,n + x2j b2j,n
≥ a 2
j − c2j (b2j,1 + ... + b2j,n )
j=1 k=1 j=1 j=1 j=1
j<k
n X
X n
+2 cj ck (bj,1 bk,1 + ... + bj,n bk,n ) ⇔
j=1 k=1
j<k
2 2
n
X Xn n
X n
X
2
a1 − 2a1 xj bj,1 + xj bj,1 + ... + a2n − 2an xj bj,n + xj bj,n ≥
j=1 j=1 j=1 j=1
n
X n
X n X
X n
a2j − c2j (b2j,1 + ... + b2j,n ) + 2 cj ck (bj,1 bk,1 + ... + bj,n bk,n ) ⇔
j=1 j=1 j=1 k=1
j<k
2 2
n
X n
X n
X n
X
a1 − xj bj,1 + ... + an − xj bj,n ≥ a2j − c2j (b2j,1 + ... + b2j,n )
j=1 j=1 j=1 j=1
n X
X n
+2 cj ck (bj,1 bk,1 + ... + bj,n bk,n ) ⇔
j=1 k=1
j<k
209
n
X n
X n X
X n
2
kA − (x1 B1 + ... + xn Bn )k ≥ a2j − c2j (b2j,1 + ... + b2j,n ) + 2 cj ck (bj,1 bk,1 + ... + bj,n bk,n )
j=1 j=1 j=1 k=1
j<k
Veja que:
n
X n
X n X
X n
a2j − c2j (b2j,1 + ... + b2j,n ) + 2 cj ck (bj,1 bk,1 + ... + bj,n bk,n ) =
j=1 j=1 j=1 k=1
j<k
n
X n
X n
X Xn X n
a2j − 2 c2j (b2j,1 + ... + b2j,n ) + c2j (b2j,1 + ... + b2j,n ) + 2 cj ck (bj,1 bk,1 + ... + bj,n bk,n ) =
j=1 j=1 j=1 j=1 k=1
j<k
n
X n
X Xn n X
X n
a2j −2 cj (a1 bj,1 +...+an bj,n )+ 2 2 2
cj (bj,1 +...+bj,n )+2 cj ck (bj,1 bk,1 +...+bj,n bk,n ) =
j=1 j=1 j=1 j=1 k=1
j<k
n
X n
X n
X n
X n
X n X
X n
a2j − 2 cj a1 bj,1 − ... − 2 cj an bj,n + c2j b2j,1 + ... + c2j b2j,n + 2 cj ck bj,1 bk,1 + ...+
j=1 j=1 j=1 j=1 j=1 j=1 k=1
j<k
Xn X n
+2 cj ck bj,n bk,n =
j=1 k=1
j<k
n
X X n
n X n
X n
X
2 2 2 a2n − 2
a1 − 2 cj a1 b j,1 + 2 cj ck b j,1 bk,1 + cj bj,1 + ... + cj an bj,n
j=1 j=1 k=1 j=1 j=1
j<k
n X
X n n
X
c2j b2j,n
+2 cj ck bj,n bk,n + =
j=1 k=1 j=1
j<k
2 2
n
X Xn n
X Xn
2
a1 − 2a1 cj bj,1 + cj bj,1 + ... + a2n − 2an cj bj,n + cj bj,n =
j=1 j=1 j=1 j=1
2 2
n
X n
X
a1 − 2
cj bj,1 + ... + an − cj bj,n = kA − (c1 B1 + ... + cn Bn )k
j=1 j=1
210
Solução 2:
→
− →−
Demonstração. Primeiramente vamos provar que se U , V são vetores não nulos
e mutuamente perpendiculares no espaço n-dimensional, então, para todo x real
vale que:
→
− →
−
→
−
U + xV
≥
U
(356)
Observe que
→
− →− → − 2→
−2 →
−2 →− → − 2→
−2 →−2
→
− →−
2
x2 V 2 ≥ 0 ⇒ 2x U .
| {z } V +x V ≥ 0 ⇒ U +2x U . V +x V ≥ U ⇒
U + x V
≥
0
→
−
2
→
− →
−
→
−
U
⇒
U + xV
≥
U
n
! n
!
X −
→ →
− X − →
xk Bk . A − ck Bk = 0
k=1 k=1
211
67.(Cálculo, Volume 1-Serge Lang)Provar por indução que para todo inteiro
positivo n,sen(nx), pode ser expresso como uma soma de termos
X
aij (senx)i (cosx)j
Onde aij são inteiros.
Solução: Como base de indução tome n=1 e n=2, isto é senx = sen1 xcos0 x e
sen(2x) = 2sen1 xcos1 x, como hipótese X
X de indução, suponha válido que sen(nx) =
aij (senx)i (cosx)j e sen((n−1)x) = akl (senx)k (cosx)l .Usando que sen((n+
1)x) + sen((n − 1)x) = 2sen(nx)cosx teremos:
X X
sen((n+1)x) = 2sen(nx)cosx−sen((n−1)x) = 2 aij (senx)i (cosx)j+1 − akl (senx)k (cosx)l
212
68.(OBM-U/2004)Calcule:
∞
X 1
(3k + 1)(3k + 2)(3k + 3)
k=0
Solução:
Observe que, pela fórmula da P.G. infinita temos que
∞ Z ε Z z Z y
X 1 1
= lim dxdydz
(3k + 1)(3k + 2)(3k + 3) ε→1 0 0 0 1 − x3
k=0
∞ ε z y
√
3π − 3ln3
Z Z Z
X 1 1
= lim dxdydz =
(3k + 1)(3k + 2)(3k + 3) ε→1 0 0 0 1 − x3 12
k=0
213
69.Prove a desigualdade 1 desse artigo, isto é, se alpha beta e gamma são
ângulos de um triângulo, então vale a desigualdade:
α β γ 3
cosα + cosβ + cosγ ≤ sen + sen + sen ≤
2 2 2 2
Solução:
3 π
Já provamos na questão 5, que cosA + cosB + cosC ≤ .Seja A = −
2 2
α π β π γ
, A = − , A = − , observe que A + B + C = π e dessa forma teremos
2 2 2 2 2
α β γ 3 α
sen + sen + sen ≤ .Provemos agora que cosα + cosβ + cosγ ≤ sen +
2 2 2 2 2
β γ
sen + sen .Observe que:
2 2
α−β α+β α−β α+β γ
cos ≤ 1 ⇒ 2cos cos ≤ 2cos = 2sen ⇒
2 2 2 2 2
γ
cosα + cosβ ≤ 2sen
2
Por simetria, concluímos as desigualdades:
γ
cosα + cosβ ≤ 2sen
2
β
cosα + cosγ ≤ 2sen
2
α
cosβ + cosγ ≤ 2sen
2
Somando as três desigualdades, conclui-se a prova.
214
70.Prove a desigualdade 2 desse artigo, isto é, se alpha beta e gamma são
ângulos de um triângulo, então vale a desigualdade:
√
α β γ 3 3
senα + senβ + senγ ≤ cos + cos + cos ≤
2 2 2 2
Solução:
Observe que:
a2 + b2 + c2 ≥ ab + bc + ac (358)
Multiplicando a desigualdade acima por 2 e somando a2 + b2 + c2 , tem-se:
α β γ
Fazendo a = cos , b = cos , c = cos , temos:
2 2 2
2
2α 2β 2γ α β γ
3cos + 3cos + 3cos ≥ cos + cos + cos (360)
2 2 2 2 2 2
3 α β γ
Observe que cosα + cosβ + cosγ ≤ ⇔ 2cos2 + 2cos2 + 2cos2 − 3 ≤
2 2 2 2
3 α β γ 27
⇔ 3cos2 + 3cos2 + 3cos2 ≤ , assim:
2 2 2 2 4
α β γ 27
3cos2 + 3cos2 + 3cos2 ≤ (361)
2 2 2 4
De (360) e (361), por transitividade se prova o lado direito.Para provar o
lado esquerdo, veja que:
α−β α+β α−β α+β γ
cos ≤ 1 ⇒ 2sen cos ≤ 2sen = 2cos ⇒
2 2 2 2 2
γ
senα + senβ ≤ 2cos
2
Por simetria, concluímos as desigualdades:
γ
senα + senβ ≤ 2cos
2
β
senα + senγ ≤ 2cos
2
α
senβ + senγ ≤ 2cos
2
Somando essas três últimas desigualdades, chega-se ao resultado.
215
71.Prove a desigualdade 3 desse artigo, isto é, se alpha beta e gamma são
ângulos de um triângulo, então vale a desigualdade:
α β γ 1
cosαcosβcosγ ≤ sen sen sen ≤
2 2 2 8
Solução:
Como já provamos o lado direito de três formas diferentes, resta provar o
lado esquerdo.Observe que:
a2 + b2 + c2 ≥ ab + bc + ac
Somando 2ab + 2bc + 2ac, teremos:
2
(tanα + tanβ + tanγ) ≥ 3tanαtanβ + 3tanβtanγ + 3tanαtanγ
216
72.(Problema sugerido por Israel Meireles Chrisostomo)Demonstre que:
(2k + 1)π
Para todo α, β, γ real, tal que α+β, α+γ, β +γ 6= kπ , 6= α, β, γ 6=
2
kπ, ∀k ∈ Z .
217
73.(“Putnam and Beyond”-Titu Andreescu)Let a, b, c be the side lengths of
a triangle with semiperimeter 1. Prove that:
28
ab + bc + ac − abc ≤
27
1
Solução: Multiplicando a desigualdade por , teremos:
4
ab bc ac abc 7
+ + −2 ≤
22 22 22 222 27
a b c
Fazendo x = , y = , z = essa desigualdade é equivalente a:
2 2 2
7
xy + xz + yz − 2xyz ≤
27
Bem como a condição para que essa desigualdade seja verdadeira é que x +
y + z = 1.Já provamos isto na questão 31, página 115.
218
74.Prove a lei dos cossenos:
a2 = b2 + c2 − 2bc × cos(α)
Onde alpha é um ângulo de um triângulo qualquer, e a, b, c são lados do triân-
gulo, tal que alpha é oposto ao lado a.
Dividindo ambos os lados da igualdade acima por (x + y)(x + z)(y + z), teremos:
xy xz yz 2xyz
1= + + +
(x + z)(y + z) (x + y)(y + z) (x + y)(x + z) (x + y)(x + z)(y + z)
r (369)
yz
Podemos fazer a substituição m0 = , e por simetria definir:
(x + z)(x + y)
r
yz
m0 = (370)
(x + z)(x + y)
r
0 xz
n = (371)
(x + y)(y + z)
r
0 xy
o = (372)
(x + z)(y + z)
Se efetuarmos essa substituição em (369), teremos que:
219
r
2 2 2 β (S − a)(S − c)
b = a + c − 2ac × cos(β) ⇔ sen =
2 ac
r
γ (S − a)(S − b)
c2 = a2 + b2 − 2ab × cos(γ) ⇔ sen =
2 ab
Onde as duas últimas igualdades foram verificadas pela simetria.Não sabe-
mos se a,b,c são opostos aos lados α, β, γ.Na verdade, não sabemos sequer se
a,b,c pertencem ao mesmo triângulo de ângulos α, β, γ.Para provar isso, observe
que b é uma solução da equação:
x2 + c2 − 2xc × cosα − a2 = 0 ⇔
220
bsenγ = csenβ (379)
a b
Sabemos pela lei dos senos que existe α0 , β 0 , γ 0 tal que 0
= =
senα senβ 0
c
= 2R .Essas igualdades implicam:
senγ 0
csenα0 = asenγ 0 (380)
0 0
bsenα = asenβ (381)
bsenγ 0 = csenβ 0 (382)
Multiplicando (380) por (377),(381) por (378),(382) por (379), obtemos:
x0 y = xy 0 (386)
x0 z = xz 0 (387)
0 0
y z = yz (388)
0 0 0 0
x z x z x x z z
Observe que = , 0 = 0 ⇒ + 0 = 0 + e por simetria concluímos:
x z x z x x z z
x0 x z z0
+ 0 = 0+ (389)
x x z z
x0 x y y0
+ 0 = 0+ (390)
x x y y
z0 z y y0
+ 0 = 0+ (391)
z z y y
x y z
Fazendo = m, 0 = n, 0 = o, teremos:
x0 y z
1 1
m+ = +o (392)
m o
1 1
m+ = +n (393)
m n
1 1
o+ = +n (394)
o n
1 1 1 1 o−n 1 y z0
Veja que o+ = +n ⇔ o−n = − ⇔ o−n = ⇔n= ⇔ 0 = ⇔
o n n o no o y z
yz = y 0 z 0 , multiplicando essa última igualdade por (388), temos que z 2 = z 02 ⇔
z = z 0 e daí teremos por simetria que x = x0 , y = y 0 , z = z 0 . E isto implica não
221
apenas que a, b, c pertencem ao mesmo triângulo que os ângulos α, β, γ, como
implica que os lados a, b, c são opostos à α, β, γ.De fato, isso pode não parecer
claro a primeira vista, dado que o seno não é uma função bijetora em todo
intervalo (0, π).Mas perceba que particionando o intervalo (0, π) em dois sub-
π
intervalos de tamanho , pelo princípio da casa dos pombos, dos três ângulos
2
α0 , β 0 , γ 0 , pelo menos dois pertencerão ao mesmo intervalo.Então, temos duas
possibilidades: ou dois desses ângulos pertencem ao primeiro quadrante ou ao
segundo quadrante.Se dois ângulos pertencerem ao segundo quadrante teremos
um absurdo, pois a soma dos três ângulos é igual π.Portanto, dois ângulos
π
pertencem ao intervalo 0, , intervalo onde a função seno é bijetora, isso
2
também vale para os ângulos α, β, γ.Portanto, podemos concluir pela igualdade
que obtivemos do sistema acima, que pelo menos dois pares de ângulos são iguais,
digamos, α = α0 , β = β 0 .Então α0 + β 0 + γ 0 = π = α + β + γ = α0 + β 0 + γ ⇔
γ = γ 0 .O que implica que todos os ângulos são iguais.
Talvez o leitor esteja pensando que haja a possibilidade de que α pertença
ao primeiro quadrante e α0 não, veja que isso não pode ocorrer.Se isso acon-
tecer, como sen(α) = senα0 = sen(π − α0 ), então π − α0 também pertence ao
primeiro quadrante, e daí então α = π − α0 = β 0 + γ 0 , suponha, sem perda
de generalidade que β = β 0 , pois a igualdade entre dois ângulos deve ocor-
rer pelo menos uma vez.Para ver isso, construamos dois conjuntos A e B, tais
que A = {agudo, agudo, obtuso} e B = {agudo, agudo, obtuso}.Queremos definir
uma bijeção entre esses conjuntos e provar que pelo menos um ângulo agudo
do conjunto A leva um outro ângulo agudo no conjunto B.Veja, que na pior
das hipóteses, teremos um ângulo agudo do conjunto A com um obtuso do con-
junto B e outro ângulo agudo do conjunto B com um obtuso do conjunto A,
e daí sobram dois agudos nos dois conjuntos, que devem ser necessariamente
levados um no outro, prova-se assim que podemos supor que β = β 0 .Daí então
temos duas possibilidades, ou γ = γ 0 (o que é um absurdo, pois isto implica
π
que γ + β = α ⇒ π = α + γ + β = 2α ⇒ α = , o que não pode ocor-
2
rer, pois α pertence ao primeiro quadrante) ou π − γ = γ 0 (o que implica que
α + α0 + γ + γ 0 = 2π outro absurdo).Essa última igualdade, vem da possibilidade
de que haja um ângulo obtuso entre os ângulos α, β, γ, e daí então a igualdade
sen(γ 0 ) = sen(γ) = sen(π − γ) implica que π − γ = γ 0 , pois π − γ pertencerá
ao primeiro quadrante22 .
222
75.(Cálculo, Volume 2-Serge Lang)Se A, B são dois vetores no espaço n-
dimensional, denotemos por d(A, B) a distância entre A e B, isto é d(A, B) =
kA − Bk .Mostre que para três vetores quaisquer A, B, C temos
Solução: Seja A = (a1 , ..., an ),B = (b1 , ..., bn ) e C = (c1 , ..., cn ), então, pela
desigualdade de Cauchy-Schwarz e pela definição de módulo, temos:
n
! n
! n
!2 n
!2
X X X X
2 2
(ak − ck ) (bk − ck ) ≥ |(ak − ck )||(bk − ck )| = |(ak − ck )(bk − ck )| ⇒
k=1 k=1 k=1 k=1
v v
u n u n n n
uX uX X X
t (ak − ck )2 t (bk − ck )2 ≥ |(ak − ck )(bk − ck )| ≥ (ak − ck )(ck − bk ) =
k=1 k=1 k=1 k=1
v v
n
X n
X
u n u n n n
uX uX X X
ak (ck − bk ) − ck (ck − bk ) ⇔ t (ak − ck ) t (bk − ck )2 +
2 ck (ck − bk ) ≥ ak (ck − bk ) ⇔
k=1 k=1 k=1 k=1 k=1 k=1
v v
u n u n n n n n
uX uX X X X X
t (ak − ck )2 t (bk − ck )2 + c2k − ck bk − ck a k ≥ − bk ak ⇔
k=1 k=1 k=1 k=1 k=1 k=1
v v
u n u n n n n n
uX uX X X X X
2t (ak − ck ) t (bk − ck )2 + 2
2 c2k − 2 ck bk − 2 ck ak ≥ −2 bk ak ⇔
k=1 k=1 k=1 k=1 k=1 k=1
v v ! !
u n u n n n n n n n
uX uX X X X X X X
2t (ak − ck ) t (bk − ck )2 +
2 c2k −2 c k bk + b2k + c2k −2 ck ak a2k ≥
k=1 k=1 k=1 k=1 k=1 k=1 k=1 k=1
n
X n
X n
X
a2k − 2 bk a k + b2k ⇔
k=1 k=1 k=1
v v
u n u n n n n
uX uX X
2
X
2
X
2t (ak − ck )2 t 2
(bk − ck ) + (ck − bk ) + (ck − ak ) ≥ (ak − bk )2 ⇔
k=1 k=1 k=1 k=1 k=1
v 2 v v v 2
u n u n u n u n n
uX uX uX uX X
t (ck − bk )2 + 2t (ak − ck )2 t (bk − ck )2 + t (ck − ak )2 ≥ (ak − bk )2 ⇔
k=1 k=1 k=1 k=1 k=1
v v 2
u n u n n
uX uX X
t (ck − bk )2 + t (ck − ak )2 ≥ (ak − bk )2 ⇔
k=1 k=1 k=1
v v v
u n u n u n
uX uX uX
t (ck − bk )2 + t (ck − ak )2 ≥ t (ak − bk )2 ⇔ d(A, C) + d(B, C) ≥ d(A, B)
k=1 k=1 k=1
223
76.Calcule a integral: Z
1
dx
1 + x + x2
2
4x2 + 4x + 1
2 3 4x + 4x + 4 3
Solução: Observe que x +x+1 = × = 1+ =
4 ! 3 4 3
2
(2x + 1)2
3 3 2x + 1
1+ = 1+ √ , disso concluímos que:
4 3 4 3
Z Z
1 4 1
2
dx = 2 dx
1+x+x 3
2x+1
1+ √
3
√
2x + 1 2 3
Fazendo √ = u ⇒ du = √ dx ⇒ dx = du e então nossa integral pode
3 3 2
ser reescrita como:
Z √ Z √
1 2 3 1 2 3 2x + 1
dx = du = arctan √ +K
1 + x + x2 3 1 + u2 3 3
224
77.Calcule a integral: Z
arctan(x)dx
225
78.Calcule a integral: Z
ln(x2 + x + 1)dx
2x + 1
Solução: Fazendo dx = du ⇒ u = ln(x2 +x+1) e dv = dx ⇒ v = x,
x2 + x + 1
obtemos, por integração por partes:
2x2 + x
Z Z
ln(x2 + x + 1)dx = x ln(x2 + x + 1) − 2
dx =
x +x+1
2x2 + 2 + 2x + 2 − 2 − x
Z
x ln(x2 + x + 1) − dx =
x2 + x + 1
Z Z
x+2 1 2x + 4
x ln(x2 + x + 1) − 2x + dx = x ln(x2 + x + 1) − 2x + dx =
x2 + x + 1 2 x2 + x + 1
Z Z
1 2x + 1 3 1
x ln(x2 + x + 1) − 2x + dx + dx
2 x2 + x + 1 2 x2 + x + 1
√
Z
1 2x + 1
ln(x + x + 1)dx = x ln(x + x + 1) − 2x + ln(x2 + x + 1) + 3 arctan
2 2
√ +K
2 3
226
79.Mostre que toda dízima periódica é um número racional, encontre a fra-
ção geratriz.
Solução:
Demonstração. Seja a sequência finita de números naturais a1 , a2 , a3 , ..., ak ; a1 6=
0; 0 ≤ aj ≤ 9, ∀j ∈ N, isto é, uma sequência de algarismos.Então o produto de
a1 a2 a3 ...ak (onde a1 a2 a3 ...ak = a1 × 10k−1 + a2 × 10k−2 + a3 × 10k−3 ... + ak )
por z é igual a a1 a2 a3 ...ak ....a1 a2 a3 ...ak .Onde z é um número com a seguinte lei
| {z }
m+1 vezes
de formação: z começa com 1, seguido de k-1 zeros, seguido de um número 1,
seguido de k-1 zeros, seguido de um número 1, e assim por diante(num total de
m vezes), isto é, um número que começa e termina com 1, e sempre há, entre
dois números 1’s, k-1 zeros. Ou seja z = 1 0...0
|{z} 1 |{z}
0...0 1....Façamos a
k−1 zeros k−1 zeros
| {z }
m(k−1) zeros
prova por indução sobre m, como base de indução tome m = 1, como hipótese
de indução, suponha que a igualdade abaixo seja verdadeira para algum m:
1 0...0
|{z} 1 0...0
|{z} 1... ×a1 a2 a3 ...ak = a1 a2 a3 ...ak ....a1 a2 a3 ...ak
| {z }
k−1 zeros k−1 zeros m+1 vezes
| {z }
m(k−1) zeros
1 0...0
|{z} 1 0...0
|{z} 1... ×a1 a2 a3 ...ak = a1 a2 a3 ...ak ....a1 a2 a3 ...ak
| {z }
k−1 zeros k−1 zeros m+2 vezes
| {z }
(m+1)(k−1) zeros
Como 1 0...0
|{z} 1 0...0
|{z} 1... = 10(m+1)k + 1 0...0
|{z} 1 0...0
|{z} 1... ⇒
k−1 zeros k−1 zeros k−1 zeros k−1 zeros
| {z } | {z }
(m+1)(k−1) zeros m(k−1) zeros
1 0...0
|{z} 1 0...0
|{z} 1... ×a1 a2 a3 ...ak = (10(m+1)k +1 0...0
|{z} 1 0...0
|{z} 1...)×
k−1 zeros k−1 zeros k−1 zeros k−1 zeros
| {z } | {z }
(m+1)(k−1) zeros m(k−1)) zeros
a1 a2 a3 ...ak = a1 a2 a3 ...ak × 10(m+1)k + 1 0...0
|{z} 1 0...0
|{z} 1... ×a1 a2 a3 ...ak =
k−1 zeros k−1 zeros
| {z }
m(k−1) zeros
a1 a2 a3 ...ak × 10(m+1)k + a1 a2 a3 ...ak ....a1 a2 a3 ...ak = a1 a2 a3 ...ak ....a1 a2 a3 ...ak
| {z } | {z }
m+1 vezes m+2 vezes
227
Daí então, teremos:
1 0...0
|{z} 1 0...0
|{z} 1... ×a1 a2 a3 ...ak = a1 a2 a3 ...ak ....a1 a2 a3 ...ak (395)
| {z }
k−1 zeros k−1 zeros m+1 vezes
| {z }
m(k−1) zeros
0, 0..0
|{z} 1 0...0
|{z} 1 0...0
|{z} 1... ×a1 a2 a3 ...ak = a1 , a2 a3 ...ak ....a1 a2 a3 ...ak
| {z }
k−2 zeros k−1 zeros k−1 zeros m+1 vezes
| {z }
m(k−1) zeros
(396)
Por outro lado, observe que no lado esquerdo temos uma P.G. cujo primeiro
10−(2k−1)
termo é 10−(k−1) e cuja razão é igual a = 10−k , e cujo último termo
10−(k−1)
depende de m, como estamos interessados em valores de m arbitrariamente
grande, pegue o limite de m tendendo ao infinito, e teremos que:
1 1
a , a a ...a ....a a a ...a = ×a1 a2 a3 ...ak = ×a1 a2 a3 ...ak
| 1 2 3 k{z 1 2 3 k} 10k−1 1 − 1
10k
10k−1 − 0, 1
∞
(397)
Como k é finito, o resultado segue.Não só fomos capazes de demonstrar que
o número é racional como encontramos uma fórmula geral para encontrarmos
frações de dízimas periódicas.
228
80.(Problema Sugerido por Israel Meireles Chrisotomo)Partindo do princí-
pio que o leitor conheça a demonstração tradicional para a fórmula que dá a
soma dos termos de uma Progressão Geométrica.Mostre, com um argumento
totalmente diferente ao usado tradicionalmente, a fórmula que retorna a soma
dos termos de uma Progressão Geométrica.
Solução:
Demonstração. Primeiramente observe as identidades:
1 1 1 1
r− rn−k−1 + = rn−k − + −rn−k−2 +
r rn−k−1 rn−k rn−k−2
(398)
1 n−k−1 1 n−k 1 n−k−2 1
r− r − n−k−1 = r + n−k − r + n−k−2
r r r r
(399)
Aplicando o somatório variando em k, nas duas igualdades acima, teremos:
n−2
X n−2
X n−2
X
1 1 1 1
r− rn−k−1 + = r n−k
− + −r n−k−2
+ =
r rn−k−1 rn−k rn−k−2
k=0 k=0 k=0
1 1 1
rn − + rn−1 − n−1 + − r
rn r r
(400)
n−2
X n−2
X n−2
X
1 1 1 1
r− rn−k−1 − = rn−k + − rn−k−2 + =
r rn−k−1 rn−k rn−k−2
k=0 k=0 k=0
1 1 1
rn + n
+ rn−1 + n−1 − 2 − r −
r r r
(401)
Somando os extremos de (400) e (401), lado esquerdo com lado esquerdo e
lado direito com lado direito, e dividindo o resultado por 2, teremos:
n−2
X
1
r− rn−k−1 = rn + rn−1 − 1 − r = r(rn−1 − 1) + rn−1 − 1 = (r + 1)(rn−1 − 1) ⇔
r
k=0
n−2
X 2 n−2
X
r −1 n−k−1 n−1 r−1
r = (r + 1)(r − 1) ⇔ (r + 1)rn−k−1 = (r + 1)(rn−1 − 1) ⇔
r r
k=0 k=0
n−2
X r(rn−1 − 1)
rn−k−1 =
r−1
k=0
229
81.(Problema Sugerido por Israel Meireles Chrisotomo)Demonstre a série
de Taylor do seno de forma elementar, ou seja, não use derivadas ou qualquer
definição em que o conceito de derivadas esteja implícito, e ainda, sem usar a
série de Taylor da exponencial ou o limite exponencial fundamental.Isto é, use
somente a definição trigonométrica do seno e nada mais.Dica: Use teoremas da
Análise Real.
Solução:
Demonstração. Basicamente, precisaremos de um teorema da Análise muito im-
portante, cuja demonstração raramente aparece nos livros de Análise, conhecido
como Tannery’s Theorem.O teorema de Tannery é uma versão discreta do Teo-
rema da Convergência Dominada de Lebesgue.Para começar, vamos enunciar o
teorema de Tannery:
∞
X
Proposição 1 For each natural number n, let ak (n) be a convergent
k=1
series .If for each k, lim ak (n) = ak , and |ak (n)| ≤ Mk for all n where the
n→∞
∞
X ∞
X ∞
X
series Mk converges, then lim ak (n) = ak
n→∞
k=1 k=1 k=1
Isto significa dizer, que sob certas condições é possível afirmar que dada uma
série arbitrária, o limite da soma é a soma dos limites, desde que se verifique as
condições do Tannery’s Theorem.Este resultado é um resultado simples de ser
provado, contudo, muito importante, devido a mobilidade que ganhamos ao se
passar o limite para dentro da soma infinita. Outro resultado importante que
vamos usar consiste na desigualdade abaixo:
nk
n
<
k k!
230
n n! n(n − 1)(n − 2)...(n − (k − 1))(n − k)! n(n − 1)(n − 2)...(n − (k − 1))
= = =
k k!n − k! k!n − k! k!
Como
n−1<n
n−2<n
n−3<n
....
n − (k − 1) < n
2n+1 2n+1 !
1 z z
1 + itan − 1 − itan =
2i 2n + 1 2n + 1
2n+1
X 2n + 1 k 2n+1X 2n + 1 k !
1 z z
itan − −itan =
2i k 2n + 1 k 2n + 1
k=0 k=0
2n+1
X 2n + 1 k 2n+1 k !
1 z X 2n + 1 z
itan − (−1)k itan =
2i k 2n + 1 k 2n + 1
k=0 k=0
n 2k+1
1 X 2n + 1 z
itan =
i 2k + 1 2n + 1
k=0
n 2k+1
1 X 2k+1 2n + 1 z
i tan =
i 2k + 1 2n + 1
k=0
231
n 2k+1
1 X 2k 2n + 1 z
i .i tan =
i 2k + 1 2n + 1
k=0
n 2k+1
i X 2k 2n + 1 z
i tan =
i 2k + 1 2n + 1
k=0
n 2k+1
X 2n + 1 z
(i2 )k tan =
2k + 1 2n + 1
k=0
n 2k+1
k 2n + 1 z
X
(−1) tan
2k + 1 2n + 1
k=0
232
n 2k+1
senz X
k 2n + 1 z
2n+1 = (−1) tan
2k + 1 2n + 1
z
cos 2n+1
k=0
1
Usando a identidade trigonométrica cosx = √ , vem que:
1 + tan2 x
senz
lim !2n+1 =
n→∞
q 1
xn
1+tan2 (arctan( 2n+1 ))
n 2k+1
X 2n + 1 xn
= lim (−1)k tan arctan
n→∞ 2k + 1 2n + 1
k=0
n 2k+1
senz X
k 2n + 1 xn
lim !2n+1 = lim (−1) .
n→∞ n→∞ 2k + 1 2n + 1
1 k=0
q
xn 2
1+( 2n+1 )
Aqui podemos ver que estamos próximos de encontrar a série de Taylor do
seno, mas alguns problemas permanecem, por exemplo, temos um limite a ser
calculado no denominador do seno ao lado esquerdo, por outro lado, temos
que a série está na variável x e não na variável z, e portanto, o argumento do
seno ao lado esquerdo não corresponde com a variável x no lado direito.Mas
esses problemas podem ser facilmente resolvidos se percebermos que o limite no
denominador tende para 1, bem como a substituição que efetuamos foi proposi-
talmente efetuada por nos permitir voltar facilmente da variável x para variável
z, pois temos a seguinte implicação
233
z xn z xn
= arctan ⇒ tan = ⇒
2n + 1 2n+ 1 2n + 1 2n + 1
z z
⇒ xn = (2n + 1)tan ⇒ lim xn = lim (2n + 1)tan ⇒
2n + 1 n→∞ n→∞ 2n + 1
⇒ lim xn = z
n→∞
E como nosso limite tende ao infinito, podemos ver, por essa substituição,
que podemos voltar a variável z a qualquer momento, para isto precismos apenas
passar o limite para dentro do somatório.Para tanto, o primeiro passo para pas-
n 2k+1
k 2n + 1 xn
X
sar o limite para dentro do somatório da série lim (−1) ,
n→∞ 2k + 1 2n + 1
k=0
2n + 1 x 2k+1
n
precisamos encontrar um majorante para que é o co-
2k + 1 2n + 1
eficiente da série.Mas isto não é difícil, basta observar que:
nk
n
<
k k!
Substituindo n por 2n+1 e k por 2k+1, vem:
(2n + 1)2k+1
2n + 1
<
2k + 1 2k + 1!
2k+1
xn
Multiplicando os dois lados por , vem
2n + 1
2k+1 2k+1
(2n + 1)2k+1 x2k+1
2n + 1 xn xn
< = n ⇒
2k + 1 2n + 1 2k + 1! 2n + 1 2k + 1!
2k+1
x2k+1
2n + 1 xn
⇒ < n
2k + 1 2n + 1 2k + 1!
Dado que toda sequência convergente é limitada, existe l ∈ R+ tal que |xn | ≤
l.Provamos, então, que |ak (n)| ≤ Mk , a outra condição que devemos satisfazer é
∞ n
X X l2k+1
que Mk deve convergir, isto é a série deve convergir, mas isto é
2k + 1!
k=1 k=0
fácil de provar, basta usar o teste da razão e verificar que o raio de convergência
dessa série é infinita.Com estas condições satisfeitas, podemos passar o limite
para dentro da série infinita e agora, basta calcularmos o limite, pois acabamos
de provar que vale a igualdade:
n 2k+1
X 2n + 1 xn
lim (−1)k =
n→∞ 2k + 1 2n + 1
k=0
n 2k+1
k 2n + 1 xn
X
lim (−1)
n→∞ 2k + 1 2n + 1
k=0
234
2k+1
2n + 1
k xn
lim (−1) =
n→∞ 2k + 1 2n + 1
2k+1
(2n + 1)(2n)(2n − 1)...(2n + 1 − 2k) xn
lim (−1)k =
n→∞ 2k + 1! 2n +1
2k+1
k xn 2n + 1 2n 2n − 1 2n + 1 − 2k
lim (−1) ... =
n→∞ 2k + 1! 2n + 1 2n + 1 2n + 1 2n + 1 !
1 1
x2k+1 1 + 2n 1 − 2n 1 + 1−2k
1
lim (−1)k n 1 1 1 ... 2n
1
n→∞ 2k + 1! 1 + 2n 1 + 2n 1 + 2n 1 + 2n
Considerando que lim xn = z, vem que
n→∞
n 2k+1 X∞
(−1)k z 2k+1
X 2n + 1 xn
lim (−1)k =
n→∞ 2k + 1 2n + 1 2k + 1!
k=0 k=0
Agora, nos resta provar que o limite ao lado esquerdo é igual a 1.Para isto,
provemos uma desigualdade auxiliar.Para todo φ real positivo, vale a desigual-
dade:
235
m+1
1 m+1 (m + 1)m (m + 1)m(m − 1) (m + 1)!
1+ =1+ + 2
+ 3
+ ... + m+1 =
m m × 1! m × 2! m × 3! m × (m + 1)!
m+1 1 m−1 (m − 1)(m − 2) (m − 1)!
1+ 1+ + + 2
+ ... + m−1 <
m 2! m × 3! m × 4! m (m + 1)!
1 1 1
1 + 2 1 + + + ... + <
2! 3! (m + 1)!
1 1 1
1 + 2 1 + + 2 + ... + m = 1 + 2(2 − 2−m ) = 5 − 2−(m−1) ⇔
2 2 2
m+1
1
1+ < 5 − 2−(m−1)
m
(404)
236
1 φ
Fazendo = , observe que para todo φ ∈ R+ existe um valor de n natural
y n
n
e y real tal que a igualdade acima seja satisfeita(basta tomar n > φ e y = )
φ
teremos:
φy
1
1+φ≤ 1+ (411)
y
y
1
Tomando o logaritmo na base 1 + na desigualdade acima, teremos:
y
log(1+ 1 )y (1 + φ) ≤ φ (412)
y
Essa prova também pode ser estendida para provar a série de Taylor do
cosseno.
237
Referências
[1] Titu Andreescu and Zuming Feng. 103 Trigonometry Problems: From the
Training of the USA IMO Team. Springer Science & Business Media, 2006.
[6] Serge Lang. Cálculo, vol. ii. Livro Técnico, Rio de Janeiro, 1977.
[7] Elon Lages Lima. Análise real volume 1. Projeto Euclides, 2008.
[8] Viktor N Litvinenko, Aleksandr Grigorevich Mordkovich, and Leonid Le-
vant. Solving problems in algebra and trigonometry. Mir, 1987.
[9] Lynn Harold Loomis and Shlomo Sternberg. Advanced calculus. World
Scientific Publishing Co Inc, 2014.
[10] Ulysses Sodré. Elementos de matemática. http://www.uel.br/projetos/
matessencial/superior/elementos/exercicios06.pdf.
238
Meu Site
Meu Blog
239