Universidade Federal de São Carlos

Centro de Ciências Exatas e de Tecnologia

Departamento de Matemática

TAREFA 2 - T2
18/10/2021

Nome: RA:

LOGARITMO E A FÓRMULA DE S TIRLING1

Resolva no mínimo 3 (três) dos quatro problemas propostos referentes à Unidade III na tarefa
abaixo e envie as soluções individuais de próprio punho no formato PDF no campo apropriado
contido ao ícone no final desta tarefa.

Construção do logaritmo
O objetivo é fazer uma construção analítica da função g : R+ 7→ R,

g (y) = logb (y).

onde b > 1, sem ter que fazer uso da Teoria de Conjuntos utilizando que toda função bijetora tem
uma única inversa.

Para cada b > 1 e y > 0, mostre seguindo os passos abaixo que existe um único x ∈ R tal que
x
b = y, o número x é chamado de logaritmo de y na base b e é denotado por logb y.

a) Enuncie o Teorema do Binômio de Newton.

b) Para cada inteiro positivo n, b n −1 ≥ n(b−1). Sugestão: demonstre por indução usando o Binômio
de Newton.

c) Conclua a partir do item a) que b − 1 ≥ n(b 1/n − 1).

d) Se t > 1 e n > (b − 1)/(t − 1), então b 1/n < t .

e) Se w é tal que b w < y, então b w+(1/n) < y para n suficientemente grande. Sugestão: use c) com
t = yb −w .

f) Se b w > y, então b w−1/n > y para n suficientemente grande.

g) Seja A o conjunto,
A = {w ∈ R : b w < y}.
Mostre que
1
Não dê apenas respostas diretas. Justifique detalhadamente cada passo das demonstrações.
 i. A é não vazio;
ii A é limitado superiormente;
iii. Conclua que A tem um supremo x;
iv. Mostre que b x = y.

h) Prove que x é único.

Fórmula de Stirling
Neste exercício, dado um inteiro positivo, mostraremos que existe 0 < θ < 1 tal que
p
n! = n n e −n 2πnθ θ/12n .

a) Seja f (x) = 12 log 1+x

1−x
− x. Mostre que

x2
f 0 (x) = .
1 − x2
x3
b) Seja g (x) = f (x) − . Mostre que
3(1 − x 2 )
−2x 4
g 0 (x) = .
3(1 − x 2 )2
c) Conclua que para 0 < x < 1, f (x) > 0 e g (x) < 0.

d) Deduza que para 0 ≤ x < 1,

1 1+x x3
0≤ log −x ≤ .
2 1−x 3(1 − x 2 )
1
e) Seja x = 2n+1 . Então 1+x
1−x = n+1
n
x3 1
= .
3(1 − x ) 12(2n + 1)(n 2 + 1)
2

f) Conclua que

1 n +1 1 1
0≤ log − ≤
2 n 2n + 1 12(2n + 1)(n 2 + 1)
e
n +1
µ ¶ µ ¶
1 1 1 1
0 ≤ n + log −1 ≤ − .
2 n 12 n n + 1

n n+1/2 e −n
g) Sejam a n = e b n = a n e 1/12n . Então a n ≤ b n e mostre que
n!
a n+1 b n+1
≥1 e ≤ 1.
an bn
Conclua que (a n )n∈N é não decrescente e (b n )n∈N é não crescente, e que, portanto, existe
uma constante c tal que a n ≤ c ≤ b n para todo n ∈ N.
 h) Deduza que existe 0 < θ < 1 tal que

n! = c −1 n n+1/2 e −n e θ/12n .

Produto de Wallis
Agora, determinar-se-á a constante c na expressão do item h) acima usando o produto de Wallis

π 224466 2n 2n
= lim ... .
2 n→∞ 1 3 3 5 5 7 2n − 1 2n + 1

a) Use as fórmulas de recorrência para integrais do seno para obter

Z π/2 2n − 1 2n − 3 1 π
i. sen2n x dx = ... ;
0 2n 2n − 2 2 2
Z π/2 2n 2n − 2 2
ii. sen2n+1 x dx = ... .
0 2n + 1 2n − 1 3

b) Use o item acima, que potências do seno são decrescentes e a segunda fórmula acima para
concluir que

R π/2
2n 0 sen2n+1 x dx
≤ R π/2 ≤ 1.
2n + 1 sen2n x dx
0

c) Tome a razão das integrais de sen2n x e sen2n+1 x entre 0 e π/2 e deduza o produto de Wallis.

d) Finalmente, mostre que

(n!)2 22n
lim = π1/2 .
n→∞ (2n)!n 1/2

π 22 42 . . . (2n)2 1
Sugestão: reescreva o Produto de Wallis na forma = limn→∞ 2 3 e tome a sua raiz
2 1 3 . . . (2n − 1)2 2n
quadrada.

Logaritmo de Napier
Napier depois de longos anos de estudos sobre logaritmos, formulou-o em termos geométricos
da seguinte forma. Considere um segmento de reta AB e uma semirreta DE conforme a figura
abaixo.

Suponha que os pontos C e F sejam colocados em movimento simultaneamente a partir de

A e D, respectivamente, ao longo dessas retas, com a mesma velocidade inicial. Admita-se que C
se mova com uma velocidade numericamente sempre igual à distância C B , e que F se move com
velocidade uniforme.
 A C y B

x E
D F

Napier definiu então DF como logaritmo de C B , isto é, se DF = x e C B = y, então

Nap log y = x,
conhecida como Logaritmo de Napier.

dy
a) Escreva uma equação diferencial envolvendo y e d t ..

b) Resolva o Problema de Valor Inicial adequado para a equação acima com a condição inicial
y(0)..

c) Obtenha a seguinte expressão para o logaritmo de Napier

³ y ´
7
Nap log y = 10 log1/e .
107
d) Mostre que se a/b = c/d ,

Nap log a − Nap log b = Nap log c − Nap log d .

Referências
[1] EVESL , H . W. Introdução à histoória da matemática. Campinas: UNICAMP, 2004.

[2] RUDIN , W.. Principles of mathematical analysis. 3. ed. Tokyo: McGraw-Hill, 1976.

[3] LANG , S . Undergraduate analyisis. 2nd ed. New York: Springer, 2000. (Undergraduate texts in
mathematics)

Bom trabalho!