Lista 3 Análise na Reta SOLUÇÕES (Augusto G.

Lima)

(Atenção): Os Teoremas e corolários aqui enunciados, quando for o caso, seguirão a

numeração do texto: Curso de análise vol.1 [Link]. de Elon Lages Lima.

1: Dizemos que um número real 𝑎 ∈ (0, 1] é corda universal se, para toda função contínua
𝑓 : [0, 1] → ℝ tal que 𝑓(0) = 𝑓(1), existem 𝑥, 𝑦 ∈ [0, 1] com 𝑥 − 𝑦 = 𝑎 tais que 𝑓(𝑥) = 𝑓(𝑦).
Determine todas as cordas universais.

Seja 𝐶 o conjunto de cordas universais, a priori, nota-se que 1 ∈ 𝐶, já que 1 − 0 ∈ (0, 1]

e 𝑓(1) = 𝑓(0). Considera-se então a função Δ : [0, 1 − 𝑎] → ℝ, 𝑥 ↦ 𝑓(𝑥) − 𝑓(𝑥 + 𝑎), 𝑎 é
corda universal se e somente se Δ(𝑎) = 0.
Lema 1.1. ∀𝑘 ∈ ℕ : ∀𝑦 ∈ ℕ ∩ [0, 𝑘] : 𝑓(0) − 𝑓( 𝑘𝑦 ) > 0, sob a hipótese de Δ não ter raíz e
∀𝑥 ∈ [0, 1 − 𝑎] : Δ(𝑥) > 0.
Por indução em 𝑦, se é o caso 𝑦 = 1, segue de que Δ(0) > 0. Seja a hipótese
indutiva, verdadeiro para 1 < 𝑦 < 𝑘 − 1, então [𝑓(0) − 𝑓( 𝑘𝑦 )] + [𝑓( 𝑘𝑦 ) − 𝑓( 𝑦+1
𝑘 )] > 0 ⇒
𝑦+1
𝑓(0) − 𝑓( 𝑘 ) > 0.
Considerando 𝑘𝑎 + 𝑟 = 1, 𝑘 ∈ ℕ e 0 ≤ 𝑟 < 𝑎, por divisão em casos:
(i) 𝑟 = 0
Nesse caso 𝑘 = 𝑎1 . Afim de contradição, [∄𝑥 ∈ [0, 1 − 𝑎] : Δ(𝑥) = 0] ⇒ Δ(0) >
0 ou Δ(0) < 0. Sem perda de generalidade, assumindo Δ(0) > 0. Pelo (Teorema 12. §
7 - Teorema do Valor Intermediário), ∀𝑥 ∈ [0, 1 − 𝑎] : Δ(𝑥) > 0. Em particular ∀𝑥 ∈ ℤ ∩
𝑦
[0, 𝑘 − 1] : 𝑓( 𝑥𝑘 ) − 𝑓( 𝑥+1
𝑘 ) > 0, então, pelo Lema 1.1., 𝑓(0) − 𝑓( 𝑘 ) > 0. Uma contradição
com o caso 𝑦 = 𝑘 ⇒ 𝑓(0) − 𝑓(1) > 0, logo ∀𝑘 ∈ ℕ : 𝑘1 ∈ 𝐶.
(ii) 0 < 𝑟 < 𝑎
Será exibido um contraexemplo. Seja 𝑃 = {𝑡0 , …, 𝑡𝑘+1 }, uma partição do intervalo [0, 1] tal
que ∀𝑖 ∈ [0, 𝑘] ∩ ℕ : 𝑡𝑖 = 𝑖𝑎 e 𝑡𝑘+1 = 1 = 𝑘𝑎 + 𝑟. Seja 𝑓 : [0, 𝑎] → ℝ uma função contínua
tal que 𝑓(0) = 1, 𝑓(𝑎) = 𝑘+1 𝑘 e 𝑓(𝑟) = 0.
Seja então ℎ : [0, 1] → ℝ uma função, definida por partes para cada um dos subintervalos
da partição onde ℎ : [𝑡𝑖 , 𝑡𝑖+1 ) → ℝ, 𝑥 ↦ 𝑓(𝑥 − 𝑖𝑎) − (1 + 1−𝑖
𝑘 ) e ℎ(1) = 0. Tem-se que ℎ
é uma função contínua, porque é contínua em cada subintervalo e ∀𝑡𝑖 : 𝑖 ∈ [1, 𝑘] ∩ ℕ :
lim𝑥→𝑡−𝑖 ℎ(𝑥) = lim𝑥→1 𝑓(𝑥 − 𝑘𝑎) − 1 + 𝑘𝑘 = 𝑓(𝑟) = 0 = ℎ(1). Observando que ℎ(0) = ℎ(1)
e, se 𝑥 ∈ [𝑡𝑖 , 𝑡𝑖+1 ] então (𝑥 + 𝑎) ∈ [𝑡𝑖+1 , 𝑡𝑖+2 ] e
ℎ(𝑥) − ℎ(𝑥 + 𝑎) = (𝑓(𝑥 − 𝑖𝑎) − 1 + 𝑘𝑖 ) − (𝑓(𝑥 + 𝑎 − (𝑖 + 1)𝑎) − (1 + 𝑖+1𝑘 )) = 𝑓(𝑥 − 𝑖𝑎) −
𝑖 1−𝑖 1
𝑓(𝑥 − 𝑖𝑎) + 𝑘 + 𝑘 = − 𝑘 < 0.
Logo, não é o caso de que 𝑎 é corda universal.
Portanto, o conjunto de todas as cordas universais é determinado por 𝐶 = { 𝑛1 | 𝑛 ∈ ℕ}.

1
 Lista 3 Análise na Reta SOLUÇÕES (Augusto G. Lima)

2: Seja 𝐼 ⊂ ℝ um intervalo aberto e 𝑓 : 𝐼 → ℝ uma função contínua tal que, para cada
𝑥 ∈ 𝐼 existe 𝑓+′ (𝑥) e 𝑓+′ (𝑥) > 0. Prove que 𝑓 é estritamente crescente.

Afim de contradição, as hipóteses são verdadeiras mas ∃𝑎, 𝑏 ∈ 𝐼 : 𝑎 < 𝑏 ∧ 𝑓(𝑎) ≥ 𝑓(𝑏).
A função 𝑓|[𝑎,𝑏] é não somente contínua, mas definida em [𝑎, 𝑏], compacto, valendo o
(Corolário do Teorema 14. § 7 - Weierstrass), então 𝑓|[𝑎,𝑏] é limitada e atinge seu máximo
e mínimo.
É possível dizer que sempre há um ponto de máximo de 𝑓|[𝑎.𝑏] , 𝑐 ∈ [𝑎, 𝑏). Porque se 𝑐 = 𝑏,
𝑓(𝑎) = 𝑓(𝑏) também é máximo, se 𝑐 ≠ 𝑏 então 𝑐 ∈ [𝑎, 𝑏).
Tomando portanto 𝑐 ∈ [𝑎, 𝑏), um ponto de máximo no intervalo, decorre do (Teorema 4. §
8), que como 𝑓|[𝑎,𝑏] é derivável à direita no ponto 𝑐 ∈ [𝑎, 𝑏) e 𝑓+′ (𝑐) > 0, então ∃𝛿 > 0 : 𝑥 ∈
[𝑎, 𝑏] : 𝑥 ∈ (𝑐, 𝑐 + 𝛿) ⇒ 𝑓(𝑐) < 𝑓(𝑥). Sendo 𝛿̃ = min{𝛿, 𝑏 − 𝑐}, ainda pelo teorema anterior,
𝑥 ∈ (𝑐, 𝑐 + 𝛿)̃ ⇒ 𝑓(𝑐) < 𝑓(𝑥) com 𝑥 ∈ (𝑐, 𝑐 + 𝛿) ̃ ⊂ [𝑎, 𝑏], contradição com a maximalidade
de 𝑓|[𝑎,𝑏] no ponto 𝑐. Logo, ∀𝑎, 𝑏 ∈ 𝐼 : 𝑎 < 𝑏 ⇒ 𝑓(𝑎) < 𝑓(𝑏), a função 𝑓 : 𝐼 → ℝ é, por
definição, estritamente crescente.

2
 Lista 3 Análise na Reta SOLUÇÕES (Augusto G. Lima)

3: a) Prove que se 𝐼 é um intervalo aberto, 𝑎 ∈ 𝐼 e 𝑓, 𝑔 : 𝐼 → ℝ são funções deriváveis

′
tais que lim𝑥→𝑎 |𝑓(𝑥)| = lim𝑥→𝑎 |𝑔(𝑥)| = +∞ e existe o limite 𝐿 = lim𝑥→𝑎 𝑓𝑔′ (𝑥) (𝑥)
então
𝑓(𝑥)
lim𝑥→𝑎 𝑔(𝑥) = 𝐿.
b) Prove que se 𝑓, 𝑔 : ℝ → ℝ são funções deriváveis tais que lim𝑥→+∞ |𝑓(𝑥)| =
′
lim𝑥→+∞ |𝑔(𝑥)| = 0 e existe o limite 𝐿 = lim𝑥→+∞ 𝑓𝑔′ (𝑥)
(𝑥)
então lim𝑥→+∞ 𝑓(𝑥)
𝑔(𝑥) = 𝐿.
c) Prove que se 𝑓, 𝑔 : ℝ → ℝ são funções deriváveis tais que lim𝑥→+∞ |𝑓(𝑥)| =
′
lim𝑥→+∞ |𝑔(𝑥)| = +∞ e existe o limite 𝐿 = lim𝑥→+∞ 𝑓𝑔′ (𝑥) (𝑥)
então lim𝑥→+∞ 𝑓(𝑥)
𝑔(𝑥) = 𝐿.

A priori, pelo (Teorema 6.§ 8 - Rolle), será demonstrada o valor médio de Cauchy, utilizado
então doravante nos itens.
Teorema 3.1. (Valor médio de Cauchy). Se 𝑓, 𝑔 : 𝐼 → ℝ são deriváveis em 𝐼, então
do teorema acima, existe 𝜉 ∈ (𝑎, 𝑏) = 𝐼 tal que [𝑓(𝑏) − 𝑓(𝑎)]𝑔′ (𝜉) = [𝑔(𝑏) − 𝑔(𝑎)]𝑓 ′ (𝜉).
Considerando 𝜑(𝑥) = [𝑓(𝑏) − 𝑓(𝑎)][𝑔(𝑥) − (𝑔(𝑏) − 𝑔(𝑎))𝑓(𝑥)], 𝜑 é contínua e derivável no
intervalo tal que 𝜑(𝑎) = 𝜑(𝑏), ∃𝜉 ∈ (𝑎, 𝑏) :
𝜑′ (𝜉) = 0 ⇔ [𝑓(𝑏) − 𝑓(𝑎)]𝑔′ (𝜉) − [𝑔(𝑏) − 𝑔(𝑎)]𝑓 ′ (𝜉) = 0 ⇔ [𝑓(𝑏) − 𝑓(𝑎)]𝑔′ (𝜉) = [𝑔(𝑏) −
′
𝑔(𝑎)]𝑓 ′ (𝜉) ⇔ 𝑓𝑔′ (𝜉)
(𝜉)
= 𝑓(𝑏)−𝑓(𝑎)
𝑔(𝑏)−𝑔(𝑎) .
′ ′
a) A priori, lim𝑥→𝑎+ 𝑓𝑔′ (𝑥)
(𝑥)
= 𝐿. ∀𝜖 > 0 : ∃𝛿 : ∀𝑥 ∈ (𝑎, 𝑎 + 𝛿) ⇒ | 𝑓𝑔′ (𝑥)
(𝑥)
− 𝐿| < 2𝜖 , ∃𝛿̃ > 0 :
̃ ⇒ 𝑔(𝑥) ≠ 0, 𝑏 = 𝑎 + min{𝛿, 𝛿}.
𝑥 ∈ (𝑎, 𝑎 + 𝛿) ̃ Então, para 𝑥 ∈ (𝑎, 𝑏) vale, pelo Teorema
𝑓(𝑏) 𝑔(𝑏)
𝑓(𝑥)−𝑓(𝑏) 𝑓 ′ (𝑐) 𝑓(𝑥) 1− 𝑓(𝑥) 𝑓 ′ (𝑐) 𝑓(𝑥) 𝑓 ′ (𝑐) 1− 𝑓(𝑥)
3.1, 𝑔(𝑥)−𝑔(𝑏) =
𝑔′ (𝑐) para 𝑐 ∈ (𝑥, 𝑏) ⇒ 𝑔(𝑥) ⋅ 𝑔(𝑏) = 𝑔′ (𝑐) ⇒ 𝑔(𝑥) = 𝑔′ (𝑐) ⋅ 𝑓(𝑏) .
1− 𝑓(𝑥) 1− 𝑓(𝑥)
1− 𝑔(𝑏)
Como lim𝑥→𝑎+ 𝑓(𝑥) = 1−0
1−0 = 1, tem-se que a o ultimo termo acima, no limite
1− 𝑓(𝑏) 𝑓(𝑥) 𝑔(𝑏)
𝑓 ′ (𝑐) ′ 1− 𝑓(𝑥) 𝑓 ′ (𝑐)
é igual a 𝑔′ (𝑐) , logo, tomando 𝛿 ⋆ tal que 𝑥 ∈ (𝑎, 𝑎 + 𝛿 ⋆ ) ⇒ | 𝑓𝑔′ (𝑐)
(𝑐)
⋅ 𝑓(𝑏) − 𝑔′ (𝑐) | <
1− 𝑓(𝑥)
̃ ⋆ 𝑓 ′ (𝑐) 𝑓(𝑥) ′
𝜖 ′ ′
2 com 𝛿 = min{𝛿, 𝛿, 𝛿 } : 𝑥 ∈ (𝑎, 𝑎 + 𝛿 ) ⇒
𝜖
𝑔′ (𝑐) − 2 < 𝑔(𝑥) < 𝑓𝑔′ (𝑐)
(𝑐)
− 2𝜖 ⇒ 𝐿 − 2𝜖 − 2𝜀 <
𝑓(𝑥) 𝑓(𝑥) 𝑓(𝑥)
𝜖 𝜖
𝑔(𝑥) < 𝐿 + 2 + 2 ⇒ 𝐿 − 𝜖 < 𝑔(𝑥) < 𝐿 + 𝜀 => 𝑔(𝑥) ∈ (𝐿 − 𝜖, 𝐿 + 𝜖) ⇒ def lim𝑥→𝑎 𝑓(𝑥) 𝑔(𝑥) =
𝐿.

′
b) ∀𝜖 > 0 : ∃𝐴 : ∀𝑥 > 𝐴 ⇒ | 𝑓𝑔′ (𝑥)
(𝑥)
− 𝐿| < 𝜖, sejam 𝑥, 𝑦 ∈ ℝ : 𝑦 > 𝑥 > 𝐴 ⇒ | 𝑓(𝑥)−𝑓(𝑦)
𝑔(𝑥)−𝑔(𝑦) −
𝑓(𝑥)−𝑓(𝑦) 𝑓(𝑥) def 𝑓(𝑥)
𝐿| < 𝜖, ∀𝑥 : lim𝑦→+∞ | 𝑔(𝑥)−𝑔(𝑦) − 𝐿| < 𝜖 ⇒ | 𝑔(𝑥) − 𝐿| < 𝜖 ⇒ lim𝑥→+∞ 𝑔(𝑥) = 𝐿.

′ a)
𝑓 ′ (𝑘−1 ) 𝑘−2 ⋅𝑓 ′ (𝑘−1 ) (𝑓(𝑘−1 ))
(c) Nota-se que lim𝑘→0+ 𝑔′ (𝑘−1 )
= lim𝑘→0+ 𝑘−2 ⋅𝑓 ′ (𝑘−1 )
= lim𝑘→0+ (𝑔(𝑘−1 ))
′ ⇒
𝑓 ′ (𝑘−1 ) 𝑓(𝑥)
lim𝑥→0+ 𝑔′ (𝑘−1 )
= lim𝑥→+∞ 𝑔(𝑥) .

3
 Lista 3 Análise na Reta SOLUÇÕES (Augusto G. Lima)

4: Sejam 𝐼 ⊂ ℝ um intervalo, 𝑎 ∈ 𝐼, 𝑛 ∈ ℕ e 𝑓 : 𝐼 → ℝ uma função de classe 𝐶 𝑛 . Seja 𝜃 :

𝑋 ≔ {ℎ ∈ ℝ|𝑎 + ℎ ∈ 𝐼} → (0, 1) uma função tal que, para todo ℎ ∈ 𝑋,
𝑛−1
𝑓 (𝑗) (𝑎) 𝑗 𝑓 (𝑛) (𝑎 + 𝜃(ℎ) ⋅ ℎ) 𝑛
𝑓(𝑎 + ℎ) = 𝑓(𝑎) + ∑ ℎ + ℎ .
𝑗=0
𝑗! 𝑛!

1
a) Prove que, se 𝑓 é de classe 𝐶 𝑛+1 e 𝑓 (𝑛+1) (𝑎) ≠ 0, então limℎ→0 𝜃(ℎ) = 𝑛+1 .
𝑛+2 (𝑛+1) (𝑛+2)
b) Suponha que 𝑓 é de classe 𝐶 ,𝑓 (𝑎) = 0 e 𝑓 (𝑎) ≠ 0. Determine limℎ→0 𝜃(ℎ).

(𝑗) (𝑛)
a) Tem-se que 𝜃(ℎ) ∈ (0, 1) para 𝑓(𝑎 + ℎ) = 𝑓(𝑎) + ∑𝑛+1 𝑗=0
𝑓 (𝑎) 𝑗
𝑗! ℎ +
𝑓 (𝑎+𝜃(ℎ)⋅ℎ) 𝑛
𝑛! ℎ . Pelo
(Teorema 10.§ 8 - Fórmula de Taylor com resto de Lagrange), como 𝑓 é 𝐶 𝑛+1 , então ∃𝑐 ∈
(𝑗) (𝑛+1)
𝑓 (𝑗) (𝑎) 𝑗 𝑓 (𝑛) (𝑎) 𝑛
(0, 1) tal que 𝑓(𝑎 + ℎ) = ∑𝑛𝑗=0 𝑓 𝑗!(𝑎) ℎ𝑗 + 𝑓 (𝑛+1)! (𝑎+𝑐ℎ) 𝑛+1
ℎ = ∑𝑛−1 𝑗=0 𝑗! ℎ + 𝑛! ℎ +
𝑓 (𝑛+1) (𝑎+𝑐ℎ) 𝑛+1 𝑓 (𝑛) (𝑎+𝜃ℎ) 𝑛 𝑓 (𝑛) (𝑎) 𝑛 𝑓 (𝑛+1) (𝑐) 𝑛+1
(𝑛+1)! ℎ . Daí, com o enunciado ⇒ 𝑛! ℎ = 𝑛! ℎ + (𝑛+1)! ℎ e
1 ℎ
𝑓 (𝑛) (𝑎 + 𝜃ℎ) = 𝑓 (𝑛) (𝑎) + ⋅ 𝑓 (𝑛+1) (𝑐)ℎ ⇒ ⋅ 𝑓 (𝑛+1) (𝑐) = 𝑓 (𝑛) (𝑎 + 𝜃ℎ) − 𝑓 (𝑛) (𝑎).
𝑛+1 𝑛+1
Pelo (Teorema 7. § 8 - Teorema do Valor Médio, de Lagrange), ∃𝜉 ∈ (𝑎, 𝑎 + 𝜃ℎ) : 𝑓 (𝑛+1) (𝜉) ⋅
ℎ 1
(𝜃ℎ) = 𝑓 (𝑛) (𝑎 + 𝜃(ℎ)) − 𝑓 (𝑛) (𝑎) ⇒ 𝑓 (𝑛+1) (𝜉) ⋅ (𝜃ℎ) = 𝑛+1 𝑓 (𝑛+1) (𝑐) ⇒ 𝜃 ⋅ 𝑓 (𝑛+1) (𝜉) = 𝑛+1 ⋅
(𝑛+1)
(𝑛+1) 𝑛+1 1 𝑓 (𝑎) 1
𝑓 (𝑐). Desde que 𝑓 ∈ 𝐶 , então limℎ→0 𝜃 = 𝑛+1 ⋅ 𝑓 (𝑛+1) (𝑎) = 𝑛+1 .

b) Supondo que 𝑓 é 𝐶 𝑛+2 , 𝑓 𝑛+1 (𝑎) = 0 e 𝑓 𝑛+2 (𝑎) ≠ 0, a fórmula de Tay­

𝑓 (𝑗) (𝑎) 𝑗 𝑓 (𝑛) (𝑎) 𝑛+1 𝑓 (𝑛+2) (𝑎+𝑐ℎ) 𝑛
lor utilizada, ∃𝑐 ∈ (0, 1) : 𝑓(𝑎 + ℎ) = ∑𝑛−1 𝑗=0 (𝑛) 𝑗! ℎ + (𝑛+1)! ℎ + (𝑛+2)! ℎ , como
𝑛−1 (𝑗)
𝑓 (𝑎) 𝑓 (𝑎) 𝑎+𝑐ℎ 𝑛+2
𝑓 (𝑛+1) (𝑎) = 0 ⇒ 𝑓(𝑎 + ℎ) = ∑𝑗=0 𝑗! ℎ𝑗 + 𝑛! ℎ𝑛 + (𝑓 (𝑛+2) (𝑛+2)! ℎ , com o enunci­
(𝑗)
𝑛−1 𝑓 (𝑎) 𝑗 (𝑛) 𝑛−1 (𝑛) (𝑛+2)
𝑓 (𝑎+𝜃ℎ) 𝑛
ados ∑𝑗=0 𝑗! ℎ + 𝑛! ℎ = ∑𝑗=0 (𝑓 (𝑎))𝑗!ℎ + 𝑛! ℎ + 𝑓 (𝑛+2)!
(𝑗) 𝑗 𝑓 (𝑎) 𝑛 (𝑎+𝑐ℎ) 𝑛+2
ℎ e

𝑓 (𝑛) (𝑎 + 𝜃ℎ) 𝑓 (𝑛) (𝑎) 𝑓 (𝑛+2) (𝑎 + 𝑐ℎ) 2

= + ℎ ⇒
𝑛! 𝑛! (𝑛 + 2)!
𝑛! 1
𝑓 (𝑛) (𝑎 + 𝜃ℎ) − 𝑓 (𝑛) (𝑎) = ⋅ 𝑓 (𝑛+2) (𝑎 + 𝑐ℎ)ℎ2 = ⋅ 𝑓 (𝑛+2) (𝑎 + 𝑐ℎ)ℎ2
(𝑛 + 2)! (𝑛 + 1)(𝑛 + 2)

E Taylor com resto de Lagrande em 𝑓 (𝑛) em torno de 𝑎 ⇒ ∃̃ 𝑐 ∈ (0, 1) : 𝑓 (𝑛) (𝑎 +

(𝑛+2)
𝜃ℎ) = 𝑓 (𝑛) (𝑎) + 𝑓 (𝑛+1) (𝑎) ⋅ (𝜃ℎ) + 𝑓 (𝑎+̃
2!
𝑐𝜃ℎ)
(𝜃ℎ)2 , como 𝑓 𝑛+1 (𝑎) = 0 ⇒ 𝑓 (𝑛) (𝑎 + 𝜃ℎ) −
(𝑛+2)
𝑓 (𝑛) (𝑎) = 𝑓 (𝑎+̃
2
𝑐𝜃ℎ) 2 2
𝜃 ℎ , de 𝑓 (𝑛) (𝑎 + 𝜃ℎ) − 𝑓 (𝑛) (𝑎) nas expressões, tem-se que

𝑓 (𝑛+2) (𝑎 + 𝑐̃𝜃ℎ) 2 2 1
𝜃 ℎ = ⋅ 𝑓 (𝑛+2) (𝑎 + 𝑐ℎ)ℎ2 ⇒
2 (𝑛 + 1)(𝑛 + 2)
2 𝑓 (𝑛+2) (𝑎 + 𝑐ℎ) 2 𝑓 (𝑛+2) (𝑎) 2
𝜃2 = ⋅ (𝑛+2) ⇒ lim 𝜃2 (ℎ) = ⋅ (𝑛+2) =
(𝑛 + 1)(𝑛 + 2) 𝑓 (𝑎 + 𝑐̃𝜃ℎ) ℎ→0 (𝑛 + 1)(𝑛 + 2) 𝑓 (𝑎) (𝑛 + 1)(𝑛 + 2)

4
 Lista 3 Análise na Reta SOLUÇÕES (Augusto G. Lima)

2
Como 𝜃(ℎ) ∈ (0, 1), então limℎ→0 𝜃(ℎ) = √ (𝑛+1)(𝑛+2) .

5
 Lista 3 Análise na Reta SOLUÇÕES (Augusto G. Lima)

5: Sejam 𝑥1 , 𝑥2 , …, 𝑥𝑛 > 0 números reais. Para cada 𝑘 com 1 ≤ 𝑘 ≤ 𝑛, definimos a 𝑘-ésima

média simétrica de 𝑥1 , 𝑥2 , …, 𝑥𝑛 por

𝑛
𝑆𝑘(𝑥1 ,𝑥2 ,…,𝑥𝑛 ) = √
𝑘 ∑ 𝑥𝑖1 𝑥𝑖2 …𝑥𝑖𝑘 /( ).
1≤𝑖1 <𝑖2 <…<𝑖𝑘 ≤𝑛
𝑘

Prove que 𝑆1 (𝑥1 , …, 𝑥𝑛 ) ≥ 𝑆2 (𝑥1 , …, 𝑥𝑛 ) ≥ … ≥ 𝑆𝑛 (𝑥1 , …, 𝑥𝑛 ), valendo a igualdade em

alguma dessas desigualdades se, e somente se, 𝑥1 = 𝑥2 = … = 𝑥𝑛 .

Seja 𝑒𝑘 = ∑1≤𝑖 ∏𝑘𝑟=1 𝑥𝑖𝑟 um polinômio elementar, em particular o 𝑘-ésimo

1 ≤…≤𝑖𝑘 ≤𝑛
polinômio elementar. Considerando o polinômio com 𝑛 raízes reais, {−𝑥1 , …, −𝑥𝑛 }. 𝑝(𝑡) =
(𝑡 + 𝑥1 )…(𝑡 + 𝑥𝑛 ) = ∑𝑛𝑖=0 𝑎𝑖 𝑡𝑖 .
Lema 5.1. 𝑎𝑖 = 𝑒𝑛−𝑖 . Com indução em 𝑛 tem-se,
(i) 𝑛 = 1 ⇒ 𝑝(𝑡) = 𝑡 + 𝑥1 e 𝑒0 = 1 satisfaz.
(ii) Por hipótese 𝑝(𝑡) = (𝑡 + 𝑥1 )…(𝑡 + 𝑥𝑘 ) = ∑𝑘𝑖=0 𝑒𝑘−𝑖 𝑡𝑖 . O passo indutivo então é multi­
plicar por (𝑡 + 𝑥𝑘+1 ), ∏𝑘+1
𝑖=1
(𝑡 + 𝑥𝑖 ) = ∑𝑘𝑖=0 (𝑒𝑛−𝑖 𝑡𝑖 ) + ∑𝑘𝑖=0 (𝑒𝑛−𝑖 𝑡𝑖 ⋅ 𝑥𝑘+1 ) e
𝑘 𝑘+1
𝑘+1
𝑡 + 𝑒1 ⋅ 𝑥𝑘+1 + ∑[(𝑒𝑛−𝑖+1 + 𝑥𝑘+1 𝑒𝑛−𝑖 )𝑡 ] = ∑(𝑒𝑘+1−𝑖 𝑡𝑖 ),
𝑖

𝑖=1 𝑖=0

Donde ao combinar 𝑒𝑘−𝑖+1 + 𝑥𝑘+1 ⋅ 𝑒𝑘−𝑖 adiciona-se 𝑥𝑘+1 às combinações que anteriores.
Lema 5.2. Para 𝑝(𝑥) = ∑𝑛𝑖=0 𝑎𝑖 𝑥𝑖 com 𝑛 raízes reais, é satisfeita a desigualdade
2
𝑎 𝑎 𝑎
( ( 𝑛𝑖) ) ≥ ( ( 𝑖−1
𝑛 )( 𝑛 ), 1 ≤ 𝑖 < 𝑘. Tomando o (Teorema 6.§ 8 - Rolle) de forma indutiva,
) (
𝑖+1
)
𝑖 𝑖−1 𝑖+1
𝑝(𝑖−1) (𝑥) = ∑𝑛𝑗=𝑖−1 𝑎𝑗 (𝑗−𝑖+1)!
𝑗!
𝑥𝑗−𝑖+1 = ∑𝑛−𝑖+1
𝑗=0
𝑎𝑖−1+𝑗 (𝑖−1+𝑗)!
𝑗! 𝑥𝑗 , se garante pelo teorema
que 𝑝(𝑖−1) (𝑥) tem todas as raízes reais.
Defina 𝑞(𝑥) = 𝑥𝑟 𝑝(𝑖−1) ( 𝑥1 ), tal que 𝑟 = 𝑛 − 𝑖 + 1 é o grau de 𝑝(𝑖−1) (𝑥). Desde que 𝑝(𝑖−1) (𝑥)
tem raízes 𝑟𝑖 ∈ ℝ, tem-se 𝑝(𝑖−1) (𝑥) = 𝜉 ∏𝑟𝑖=1 (1 − 𝑥𝑟𝑖 ), 𝜉 ∈ ℝ.
Logo 𝑞(𝑥) = 𝑥𝑟 ⋅ 𝜉 ∏𝑟𝑖=1 ( 𝑥1 − 𝑟𝑖 ) = 𝜉 ∏𝑟𝑖=1 (1 − 𝑥𝑟𝑖 ), donde 𝑞 tem apenas raízes reais. No­
tando que 𝑞(𝑥) = ∑𝑟𝑖=0 𝑐𝑖 𝑥𝑟−𝑖 tal que 𝑐𝑗 = 𝑎𝑖−1+𝑗 (𝑚−1+𝑗)! 𝑗! .
Deriva-se até se obter uma equação quadrática, donde de Rolle, tem duas raízes em ℝ e,
logo seu discriminante é não-negativo, i.e. Δ ≥ 0.
𝑟! 𝑟!𝑐 (𝑟 − 2)!
𝑐0 𝑥2 + 𝑐1 (𝑟 − 1!)𝑥 + 𝑐2 (𝑟 − 2)! = 0 ⇒ [𝑐1 (𝑟 − 1)!]2 ≥ 4𝑐0 2 ⇒
2 2
(𝑖 + 1)!
(𝑟 − 𝑖)𝑐12 ≥ 2(𝑛 − 𝑖 + 1)𝑐0 𝑐2 ⇒ (𝑛 − 𝑖)(𝑖!𝑎𝑖 )2 ≥ 2(𝑛 − 𝑖 + 1)(𝑖 − 1)!𝑎𝑖−1 𝑎𝑖+1 ⇒
2
(𝑖 + 1)(𝑛 − 𝑖 + 1)
(𝑎𝑖 )2 ≥ 𝑎𝑖−1 𝑎𝑖+1
(𝑛 − 𝑖)𝑖

6
 Lista 3 Análise na Reta SOLUÇÕES (Augusto G. Lima)

𝑛 𝑛 𝑖 𝑛 𝑛 𝑛−𝑖
De ( )=( ) e( )=( ) ⇒
𝑖−1 𝑖 𝑛−𝑖+1 𝑖+1 𝑖 𝑖+1
2
( 𝑛𝑖 )2 (𝑛 − 𝑖 + 1)(𝑖 + 1) 𝑎 𝑎 𝑎𝑖+1
𝑛 𝑛 = ⇒ ( 𝑛𝑖 ) ≥ ( 𝑖−1
𝑛 )( 𝑛 )
( 𝑖−1 )( 𝑖+1 ) (𝑛 − 𝑖)𝑖 (𝑖) ( 𝑖−1 ) ( 𝑖+1 )
𝑒
Fazendo então a principal desigualdade, pelo Lema 5.1., define-se 𝛾𝑖 = ( 𝑛𝑖) , e 𝛾𝑖2 ≥
𝑖
𝛾𝑖−1 𝛾𝑖+1 , seja 𝜂𝑖 = 𝛾 𝑖 , nota-se 𝛾𝑘 = ∏𝑘𝑖=1 𝜂𝑖 , tal que se convenciona 𝛾0 = 1. Finalmente,
𝛾
𝑖−1
de Lema 5.2.
1
𝑘 𝑘 𝑘 𝑘 𝑘
𝛾 Multiplicação por ∏𝑖=1 𝑟𝑖
𝛾
∀𝑖 ∈ ℕ : [( 𝑖 ) ≥ ( 𝑖+1 ) ⇒ 𝜂𝑖 ≥ 𝜂𝑖+1 ] ⇒ (∏ 𝑟𝑖 )(∏ 𝑟𝑖 ) ≥ 𝑟𝑘+1 (∏ 𝑟𝑖 ) ⇒
𝛾𝑖−1 𝛾𝑖 𝑖=1 𝑖=1 𝑖=1
𝑘+1
𝑘+1
𝑘
(𝛾𝑖 )𝑘+1
𝑘
1 1
(∏ 𝑟𝑖 ) ≥ ∏ 𝑟𝑖 ⇒ ≥ 𝛾𝑘+1 ⇒ (𝛾𝑘 ) 𝑘 ≤ (𝛾𝑘+1 ) 𝑘+1 .
𝑖=1 𝑖=1
𝑘
1
De 𝑆𝑖 = (𝛾𝑖 ) 𝑖 então ∀𝑖 ∈ ℕ : 𝑆𝑖 ≥ 𝑆𝑖+1 .
Finalmente a condição de igualdade, numa primeira direção (⇒) se 𝑥1 = … = 𝑥𝑛 = 𝑐, de
𝑒𝑖 = ( 𝑛𝑖 )𝑐𝑖 , tem-se 𝛾𝑖 = 𝑐𝑖 ⇒ ∀𝑖 ∈ ℕ : 𝑆𝑖 = 𝑐, valendo a igualdade.
1 1

A recíproca (⇐) vem de, se 𝑆𝑖 = 𝑆𝑖+1 , então (∏𝑘𝑖=1 𝜂𝑖 ) 𝑘 = (∏𝑘+1 𝑖=1 𝑖

𝜂 ) 𝑘+1 , deve ser que
𝜂1 = … = 𝜂𝑘+1 . Se as razões são constantes, diga 𝛼, então ∀𝑖 ∈ ℕ : 𝛾𝑖2 = 𝛾𝑖−1 𝛾𝑖+1 : 𝛾𝑖 =
𝑏𝛼𝑖 é uma progressão geométrica, e do Lema 5.1., 𝑒𝑖 = ( 𝑛𝑖 )𝛾𝑖 = ( 𝑛𝑖 )𝑏𝛼𝑖 . Daí, 𝑝(𝑡) =
𝑏 ∑𝑛𝑖=0 ( 𝑛𝑖 )𝜂𝑖 𝑡𝑛−𝑖 = 𝑏(𝑡 + 𝜂)𝑛 , por definição as raízes de 𝑝 são −𝑥𝑖 , e todas as raízes são −𝛼.

7
 Lista 3 Análise na Reta SOLUÇÕES (Augusto G. Lima)

𝜋/2
6: Para cada 𝑛 ≥ 0, seja 𝐼𝑛 = ∫ cos𝑛 (𝑥)𝑑𝑥.
0
a) Prove que, para todo 𝑛 ≥ 2, 𝐼𝑛 = 𝑛−1
𝑛 𝐼𝑛−2 .
b) Prove que, para todo 𝑘 ≥ 0,

𝜋 (2𝑘)! 4𝑘 𝑘!2
𝐼2𝑘 = ⋅ 𝑘 2 e 𝐼2𝑘+1 = .
2 4 𝑘! (2𝑘 + 1)!

c) Prove que
∞
𝜋 (2𝑘)2
=∏ .
2 𝑘=1 (2𝑘 − 1)(2𝑘 + 1)

𝜋 𝜋 (Teorema 11. § 9 - Integral por partes)

𝐼𝑛 = ∫ 2 cos𝑛 (𝑥)𝑑𝑥 = ∫ 2 cos𝑛−1 (𝑥) ⋅ (sin(𝑥))′ 𝑑𝑥 =
0 0
𝜋 𝜋
cos𝑛−1 (𝑥) ⋅ sin(𝑥) |02 − ∫ 2 [− sin(𝑥) ⋅ (𝑛 − 1) cos𝑛−2 (𝑥)] ⋅ sin(𝑥)𝑑𝑥 =
0
𝜋 𝜋
0 + ∫ sin2 (𝑥) ⋅ (𝑛 − 1)(cos𝑛−2 (𝑥))𝑑𝑥 = (𝑛 − 1) ∫ 2 (1 − cos2 (𝑥)) ⋅ (cos𝑛−2 (𝑥))𝑑𝑥 =
2
0 0
𝜋 𝜋
𝑛−1
(𝑛 − 1)[∫ cos𝑛−2 (𝑥)𝑑𝑥 − ∫ cos𝑛 (𝑥)𝑑𝑥] = (𝑛 − 1)(𝐼2 − 𝐼𝑛 ) ⇒ 𝐼𝑛 =
2 2
𝑛 𝐼2
a) 0 0 .

b) Por indução em 𝑘 ∈ ℕ :
i) Se 𝑘 = 0
𝜋
2 𝜋
𝐼2𝑘 = 𝐼0 = ∫ 𝑑𝑥 = ,
0
2
𝜋
2 𝜋
𝐼2𝑘+1 = 𝐼1 = ∫ cos(𝑥)𝑑𝑥 = sin( ) − sin(0) = 1.
0
2

ii) Por hipótese, tem-se o que foi enunciado

𝑎) 2𝑘 + 1 hip 𝜋 2𝑘 + 1 (2𝑘)! 𝜋 (2𝑘 + 2)!
𝐼2(𝑘+1) = 𝐼2𝑘 = ⋅ ⋅ 𝑘 2 = ⋅ 𝑘+1 ,
2𝑘 + 2 2 2𝑘 + 2 4 𝑘! 2 4 (𝑘 + 1)!2

𝑎) 2𝑘 + 2 hip 2𝑘 + 2 4𝑘 𝑘!2 4𝑘 𝑘!2 (2𝑘 + 2)2 4𝑘+1 (𝑘 + 1)!2

𝐼2(𝑘+1)+1 = 𝐼2𝑘+1 = ⋅ = = .
2𝑘 + 3 2𝑘 + 3 (2𝑘 + 1)! (2𝑘 + 1)!(2𝑘 + 2)(2𝑘 + 3) (2𝑘 + 3)!

c) Lema 6.1.

8
 Lista 3 Análise na Reta SOLUÇÕES (Augusto G. Lima)

𝐼𝑛+1
lim =1
𝑛→∞ 𝐼𝑛

.
𝜋
[∀𝑥 ∈ [0, ] ⇒ 0 ≤ cos(𝑥) ≤ 1 ⇒ ∀𝑘 ∈ ℕ : 0 ≤ cos𝑘+1 (𝑥) ≤ cos𝑘 (𝑥)] ⇒
2
𝜋 𝜋 𝜋
2 2 2
𝑛+2 𝑛+1
∫ cos (𝑥) ≤ ∫ cos (𝑥)𝑑𝑥 ≤ ∫ cos𝑛 (𝑥)𝑑𝑥 ⇒
0 0 0
[
𝜋 𝜋 𝜋

1 ∫ 2 cos𝑛+2 (𝑥)𝑑𝑥 ∫ 2 cos𝑛+1 (𝑥)𝑑𝑥 𝐼 ∫ 2 cos𝑛 (𝑥)𝑑𝑥

1− = 0𝜋 ≤ 0𝜋 = 𝑛+1 ≤ 0 𝑛 =1
𝑛+2 ∫ 2 cos𝑛 (𝑥)𝑑𝑥 ∫ 2 cos𝑛 (𝑥)𝑑𝑥 𝐼𝑛 cos (𝑥)𝑑𝑥
0 0 ]

𝐼𝑛+1
Pelo (Teorema 4. § 6 - Teorema do sanduíche ) lim𝑛→∞ 𝐼𝑛 = 1.
Lema 6.2.
𝑛
(2𝑘)2 𝜋 𝐼
∏ = ⋅ 2𝑛+1
𝑘=1
(2𝑘 − 1)(2𝑘 + 1) 2 𝐼2𝑛

.
Por indução em 𝑛 ∈ ℕ:
i)

22 𝑏 ) 𝜋 𝐼3
= ⋅
(2 − 1)(2 + 1) 2 𝐼2

.
ii) Por hipótese, vale a igualdade em ∀𝑗 ∈ ℕ : 1 ≤ 𝑗 ≤ 𝑛,
𝜋 𝐼2𝑛+3 𝜋 𝐼(2𝑛 + 1) 2𝑛 + 2 2𝑛 + 2 hip
⋅ = ⋅ ⋅ ⋅ =
2 𝐼2𝑛+2 2 𝐼2𝑛 2𝑛 + 3 2𝑛 + 1
𝑛 𝑛+1
(2𝑛 + 2)2 (2𝑘)2 (2𝑘)2
⋅∏ =∏ .
(2𝑛 + 1)(2𝑛 + 3) 𝑘=1 (2𝑘 − 1)(2𝑘 + 1) 𝑘=1 (2𝑘 − 1)(2𝑘 + 1)

Finalmente,

9
Lista 3 Análise na Reta SOLUÇÕES (Augusto G. Lima)

𝑛
(2𝑘)2 Lema 6.2.
lim ∏ =
𝑛→∞
𝑘=1
(2𝑘 − 1)(2𝑘 + 1)
𝜋 𝐼2𝑛+1 Lema 6.1.
lim ⋅ =
𝑛→∞ 2 𝐼2𝑛
𝜋 def ∞ (2𝑘)2
=∏ .
2 𝑘=1
(2𝑘 − 1)(2𝑘 + 1)

10
 Lista 3 Análise na Reta SOLUÇÕES (Augusto G. Lima)

𝑑𝜃 𝜋/2
7: a) Dados 𝑎, 𝑏 > 0, seja 𝑓(𝑎, 𝑏) = ∫ √𝑎 2 cos2 (𝜃)+𝑏2 sin2 (𝜃)
. Prove que 𝑓(𝑎, 𝑏) =
√ 0
𝑓( 𝑎+𝑏
2 , 𝑎𝑏), para quaisquer 𝑎, 𝑏 > 0.
𝜋
b) Prove que a média aritmético-geométrica 𝑚𝐴𝐺 (𝑎, 𝑏) de 𝑎 e 𝑏 é dada por 2𝑓(𝑎,𝑏) .

a) Considerando a mudança de variável

𝑑𝑢
𝑢 = 𝑏 tan(𝜃) ⇒ = 𝑏 sec2 (𝜃).
𝑑𝜃
Segue de 𝑏2 tan2 (𝜃) + 𝑏2 = 𝑏2 sec2 (𝜃), e onde 𝜃 = 0 ⇒ 𝑏 tan(𝜃) = 0 e lim𝜃→ 2𝜋− 𝑏 tan(𝜃) =
+∞,
𝜋 𝜋
2 𝑑𝜃 2 𝑑𝜃
∫ =∫ cos2 (𝜃)
=
0 √𝑎2 cos2 (𝜃) + 𝑏2 sin2 (𝜃) 0 𝑏 ⋅ √𝑏2 sec2 (𝜃)(𝑎2 + 𝑏2 tan2 (𝜃))
𝜋
+∞
2 𝑏 sec2 (𝜃) 𝑑𝑢
∫ 𝑑𝜃 = ∫ .
0 √𝑏2 (1 + tan2 (𝜃))(𝑎2 + 𝑏2 tan2 (𝜃)) 0 √(𝑏2 + 𝑢2 )(𝑎2 + 𝑥2 )

Considere uma nova mudanças de variável

𝑢2 − 𝑎𝑏 𝑑𝑣 1 𝑎𝑏
𝑣= ⇒ = + 2
2𝑢 𝑑𝑢 2 2𝑥
2 2
Observa-se que ( 𝑢 2𝑢
+𝑎𝑏
) = 14 (𝑢2 + 2𝑎𝑏 + 𝑢𝑎𝑏2 ) = 𝑎𝑏 + 14 (𝑢2 + 2𝑎𝑏 + 𝑢𝑎𝑏2 ) = 𝑎𝑏 +
2 𝑢2 −𝑎𝑏 2
[( 12 (𝑢 − 𝑎𝑏 2
𝑢 )] = 𝑎𝑏 + 𝑣 , com lim𝑥→0+ 𝑢 = −∞ e lim𝑥→+∞ 𝑢 −𝑎𝑏 𝑢 = +∞, então
+∞ +∞
𝑑𝑢 𝑑𝑢
∫ =∫ =
0 √(𝑏2 + 𝑢2 )(𝑎2 + 𝑢2 ) 0 √(𝑏2 + 𝑎2 )𝑢2 + 𝑢4 + 𝑎2 𝑏2
+∞ +∞
𝑑𝑢 𝑑𝑢
∫ =∫ =
0 √(𝑏2 + 2𝑎𝑏 + 𝑎2 )𝑢2 + 𝑢4 − 2𝑎𝑏𝑢2 + 𝑎2 𝑏2 0 √(𝑏 + 𝑎)2 𝑢2 + (𝑢2 − 𝑎𝑏)2
+∞ +∞ 1 𝑎𝑏
1 𝑑𝑢 1 2 (1
𝑢2
)+
⋅∫ = ⋅∫ 𝑑𝑢 =
2 0 2 𝑎𝑏 2 2 0 𝑎𝑏 √ 𝑏+𝑎 2 𝑎𝑏 2
𝑢√( 𝑏+𝑎 1
2 ) + 4 (𝑢 − 𝑢)
1
2 (𝑢 + 1
𝑢 ) ( 2 ) + 4 (𝑢 − 𝑢)

1 +∞
𝑑𝑣 A função integrada é par 𝑎+𝑏 √
⋅∫ ⇒ 𝑓(𝑎, 𝑏) = 𝑓( , 𝑎𝑏).
2 −∞ 2 2
√(𝑣2 + 𝑎𝑏)(𝑣2 + ( 𝑏+𝑎
2 ) )

b) Pelo item a) e dada a sugestão enunciada, ∀𝑖 ∈ ℕ : 𝑓(𝑎, 𝑏) = 𝑓(𝑥𝑖 , 𝑦𝑖 ), onde

(𝑥𝑖 )𝑖∈ℕ e (𝑦𝑖 )𝑖∈ℕ são sequências arbitrariamente próximas de 𝑚𝐴𝐺 (𝑎, 𝑏), então 𝑓(𝑥𝑛 , 𝑦𝑛 )

11
 Lista 3 Análise na Reta SOLUÇÕES (Augusto G. Lima)

é arbitrariamente próxima à 𝑓(𝑚𝐴𝐺 (𝑎, 𝑏), 𝑚𝐴𝐺 (𝑎, 𝑏)) desde que a diferênça da função
integrada é cada vez menor, então 𝑓(𝑎, 𝑏) = 𝑓(𝑚𝐴𝐺 (𝑎, 𝑏), 𝑚𝐴𝐺 (𝑎, 𝑏)),
𝜋 𝜋
2 𝑑𝜃 1 2 𝜋 𝜋
𝑓(𝑎, 𝑏) = ∫ = ∫ 𝑑𝜃 = ⇒ 𝑚𝐴𝐺 (𝑎, 𝑏) = .
2 2 2
0 √𝑚𝐴𝐺 (𝑎, 𝑏) cos (𝜃) + 𝑚𝐴𝐺 (𝑎, 𝑏) sin (𝜃)
2 𝑚𝐴𝐺 (𝑎, 𝑏) 0 2𝑚𝐴𝐺 (𝑎, 𝑏) 2𝑓(𝑎, 𝑏)

12