MENTIRAS QUE MINHA CALCULADORA E COMPUTADOR ME CONTARAM SOLUES 1

SOLUES Reviso tcnica: Ricardo Miranda Martins (IMECC/Unicamp)

1. Os resultados so do Maple com Digits: = 16. A ltima coluna mostra os valores do polinmio de Taylor de sexto grau de
f(x) = cossec2 x x2 prximo de x = 0. Note que o segundo arranjo do polinmio de Taylor mais fcil de usar com uma calculadora:

T6 ( x) = 1
+ 151 x2 + 2 4
x + 1 6
x = ( 675
1 2
x + 2
)x2 + 151 x2 + 13
3 289 675 289

x f(x)calculadora f(x)computador f(x)Taylor

0,1 0,33400107 0,3340010596845 0,33400106
0,01 0,333341 0,33334000010 0,33334000
0,001 0,3334 0,333333400 0,33333340
0,0001 0,34 0,3333334 0,33333333
0,00001 2,0 0,33334 0,33333333
0,000001 100 ou 200 0,334 0,33333333
0,0000001 10 000 ou 20 000 0,4 0,33333333
0,00000001 1 000 000 0 0,33333333

Vemos que os resultados da calculadora comeam a piorar seriamente em x = 0,0001, e para x menores, eles so completamente
sem sentido. Os diferentes resultados 100 ou 200 etc. dependiam de se calculssemos [(sen x)2] 1 ou [(sen x) 1] 2. Com Maple, o
resultado fica distante em mais de 10% quando x = 0,0000001 (compare com o resultado da calculadora!) Uma anlise detalhada
1 1
revela que os valores da funo so sempre maiores que 3 , mas, eventualmente, o computador d resultados inferiores a 3 .
1
O polinmio T6(x) foi obtido atravs da simplificao paciente da expresso para f(x), comeando com sen2(x) = 2 (1 cos
(2 x)2 (2 x)4 (2 x)10 1
2x), onde cos 2 x = 1 - + - - + R12 ( x). Consequentemente, o exato valor do limite T6(0) = 3 . Tambm
2! 4! 10!
x - sen x
2 2
pode ser obtido por vrias aplicaes da Regra lHspital na expresso f ( x) = 2 com simplificaes intermedirias.
x sen 2 x

2. A expanso de Taylor de ln x centrada em c = 1

h ln (1 + h)/h
ln x = ( x - 1) - 12 ( x - 1)2 + 13 ( x - 1)3 - 14 ( x - 1)4 +
102 0,99503309
104 0,99995000 e x calculado como 1 + h em que h pequeno. Ns temos a situao descrita no texto: o
106 0,99999950 clculo de (1 + h) 1, que deve naturalmente resultar em h, em vez disso resulta um valor
108 1 5 109 arredondado de h, destruindo alguns de seus dgitos. Da o comportamento estranho de
7 1011 1,4285714 h = 7 1011 e 7 1012. Quando 1 + h indistinguvel de 1, os valores calculados so
1011 0 0. O valor preciso
102 1,0050336
ln (1 + h) - ln1 d
104 1,00005 lim = ln x = 1.
h 0 h dx x=1
106 1,0000005
108 1 + 5 109 Em vez de usar esse atalho, poderamos usar a Regra lHspital.
7 1011 1,0
7 1012 1,4285714

x25 f ( x) 25
3. De f ( x) = x
(Podemos supor x > 0; por qu?), temos ln f(x) = 25 ln x x ln (1,0001) e = - ln (1,0001). Esta
(1,0001) f ( x) x
25
derivada, bem como a prpria derivada f (x), positiva para 0 < x < x0 = 249 971,015, e negativa para x > x0. Por
ln (1,0001)
x025
isso, o valor mximo de f (x) f ( x0 ) = , um nmero muito grande para ser calculado diretamente. Usando logaritmos
(1,0001)x0
decimais, log10 f (x0) 124,08987757, de forma que f (x0) 1,229922 10124. O valor real do limite lim f ( x) = 0; seria um
x
2 MENTIRAS QUE MINHA CALCULADORA E COMPUTADOR ME CONTARAM SOLUES

x ,
25
desperdcio e deselegante utilizar a Regra lHspital 25 vezes, uma vez que podemos transformar f (x) em f ( x) =
(1,0001) x / 25
e a expresso interior precisa de apenas uma aplicao da Regra lHspital para dar 0.

4. 1 - cos x = 2 sen 2 ( 12 x) = 2 sen ( 12 x) . Outra forma (no to geralmente vlida como a primeira):

1 + cos x sen x
1 - cos x = .
1 + cos x 1 + cos x

1 ln x + 1
5. Para f(x) = ln ln x; com x [a, b], a = 109 e b = 109 + 1, precisamos de f ( x) = , f ( x) = - 2 .
x ln x x (ln x) 2
(a) f (b) < D < f (a), onde f (a) 4,8254942434 1011, f (b) 4.8254942383 1011.
(b) Vamos estimar que f (b) f (a) = (b a) f (c1) = f (c1). Uma vez que f aumenta (diminui seu valor absoluto), temos
f (b) f (a) f (a) 5,0583 1020.

1000 1 1000
6. Aplicando as desigualdades para f (x) = x 1,001, obtemos < rN +1 = 1,001 0,001 e a condio suficiente para
( N + 1) 0,001
N +1 n N
1000
rN +1 < 5 109, conforme requerido, 5 10-9 , o que ocorre pela primeira vez quando N = (2 1011)1000. Por outro
N 0,001
lado, os restos esto diminuindo e se M = N 1, ento a parte do lado esquerdo das desigualdades mostram que rM + 1 > 5 109.
Comparado com uma potncia de 10 usando logaritmos com base 10, o nosso valor de N > 1011 301.

p
7. (a) O valor calculado de 11 dgitos de 192 sen 96 6,2820639018, enquanto o valor (no mesmo dispositivo) de p antes da racio-
nalizao 6,282063885, que 1,68 108 menor que o resultado trigonomtrico.

96
(b) p =
2+ 3 2+ 2+ 3 2+ 2+ 2+ 3 2+ 2+ 2+ 2+ 3

mas claro que podemos evitar clculos repetitivos armazenando resultados intermedirios em uma memria:

96
p1 = 2+ 3 , p2 = 2 + p1 , p 3 = 2 + p2 , p4 = 2 + p 3 , e portanto p =
p1 p 2 p 3 p 4

De acordo com esta frmula, uma calculadora fornece p 6,2820639016, que est dentro de 2 1010 do resultado trigono-
mtrico. Com Digits = 16; o Maple d p 6,282063901781030 antes da racionalizao (fora do resultado trig em cerca
de 1,1 1014) e p 6,282063901781018 depois da racionalizao (erro de cerca de 1,7 1015), um ganho de cerca de um
dgito de preciso para a racionalizao. Se estabelecemos Digits: = 100; a diferena entre o clculo do Maple de 192 sen
p
96 e o radical de apenas cerca de 4 1099.

a - eb
8. A identidade ln a = b + ln 1 + pode ajudar como segue: Suponha que b seja a aproximao fraca de ln a, e indique
eb
h = (a eb) /eb; uma vez que alguma proximidade entre a e eb de se esperar, h um nmero pequeno. Isso decorre do Teorema do
a - eb
Valor Mdio: = ec , onde c fica entre b e ln a, da h = (ln a b) ecb. O uso da Expanso de Taylor simples. Indo at
ln a - b
2
a terceira derivada, ln (1 + h) = h - 12 h2 + h3 (0 < q < 1) significa mais ou menos que o nmero de dgitos vlidos
3!(1 + qh)3
a - eb 1 a - eb
2

depois da a correo ln a b + - triplica.

eb 2 eb

(
9. (a) Seja A = 12 27 q +
1/3
)
729q2 + 108 p3 e B = 12 27 q - ( )
1/3
729q2 + 108 p3 .
 MENTIRAS QUE MINHA CALCULADORA E COMPUTADOR ME CONTARAM SOLUES 3

A3 + B 3
Ento A 3 + B 3 = 27 q e AB = 14 729q2 - (729q2 + 108 p3 ) = -3 p. Substitua na frmula A + B = 2
1/3
,
A - AB + B 2
-3 p
onde substitumos B por :
A
27 q /3
x = 13 ( A + B ) = -2/3
1
( 3
) 2
( 3
)
2/3
2 27 q + 729q + 108 p + 3 p + 9 p 12 27 q + 729q + 108 p
2 2

que quase produz a frmula dada, uma vez que substituindo q por q resulta na substituio de x por x; uma simples discusso
dos casos q > 0 e q < 0 permite substituir q por q no denominador, de modo que isso envolva apenas nmeros positivos. Os
problemas mencionados na introduo desse exerccio desapareceram.

(b) Um ataque direto funciona melhor aqui. Para economizar espao, seja a = 2 + 5, ento podemos racionalizar, usando
-1 -1
a = 2+ 5 e a-a = 4 (verifique!):

4 a1/3 - a-1/3 4(a1/3 - a-1/3 )

u= = = a1/3 - a-1/3
a2/3 + 1 + a-2/3 a1/3 - a-1/3 a - a-1

e elevamos ao cubo a expresso para u: u3 = a 3a1/3 + 3a1/3 a1 = 4 3u, u3 + 3u 4 = (u 1) (u2 + u + 4) = 0, de modo que a
nica raiz real u = 1. Uma verificao com a frmula a partir da parte (a): p = 3, q = 4, assim 729q2 + 108p3 = 14 580 = 542 5, e
36
x= -2/3
, que simplifica para a forma dada.
(54 + 27 5 ) + 9 + 81(54 + 27 5 )
2/3

99 j 99 j 99 n +1
10. (a) Para x = 99, o resto aps n termos rn +1 = < =
j = n +1 100 + 1
j
j = n +1 100
j
100 100 e suficiente para tornar n to gran-

de que 100 ( 100 )

n+1
99
< 5 10-7 ; depois da alguma manipulao logartmica, a resposta n 1901. [Usando as ideias de parte

(c), podemos mostrar que essa realmente a primeira vez que o erro muito pequeno.]
xn x 1 x
(b) Usando a dica, = = , assim sucessivamente subtraindo,
n =1 100
n
100 1 - 100
x
100 - x

( 1 x)
n
xn xn x
= n
x
f ( x) - - = - 100 = - f , como afirmado. Aqui o resto em x = 99 estimado
100 - x n =1 100 + 1 100n
n =1 100n
+ 1 100

(100 )
j
(0,0099)n +1
99
como segue: rn +1 = < , e para tornar a ltima expresso menor que 5 107, s preciso que
j = n +1 100 + 1
j
0,9901

99 0,99 (0,99) 2 (0,99) 3

n 3. O clculo (no realmente necessrio): f (99) - + + 98,99099.
100 - 99 100 + 1 100 + 1 100 3 + 1
2

11. A prova de que lim an = 0: A partir de 1 e1x e segue que x n e1x x n x n e, e a integrao d
n

1 1 1 1 e 1 e 1 e
= 0 xn dx 0 e1 - x xn dx 0 xn e dx = , isto , an , e uma vez que lim = lim = 0,
n +1 n +1 n +1 n +1 n n + 1 n n + 1

decorre do Teorema do Confronto que lim an = 0. claro, a expresso 1/ (n + 1) no lado esquerdo poderia ter sido substituda
n
por 0 e a prova ainda estaria correta.
4 MENTIRAS QUE MINHA CALCULADORA E COMPUTADOR ME CONTARAM SOLUES

1 1 1
Clculos: Usando a frmula a = e - 1 - + + + n! com uma calculadora de 11 dgitos:


1! 2! !

n an n an n an
0 1,7182818284 7 0,1404151360 14 5,07636992
1 0,7182818284 8 0,1233210880 15 77,1455488
2 0,4365636568 9 0,1098897920 16 1235,3287808
3 0,3096909704 10 0,0988979200 17 21001,589274
4 0,2387638816 11 0,0878771200 18 378029,60693
5 0,1938194080 12 0,0545254400 19 7182563,5317
6 0,1629164480 13 0,2911692800 20 143651271,63

claro que os valores calculados a partir da frmula de reduo direta iro divergir para . Se em vez disso calcularmos utili-
zando a frmula de reduo no Maple (com Digits: = 16), temos alguns resultados estranhos: a20 = 1000, a28 = 1014, a29 = 0,
e a30 = 1017, como exemplos. Mas, para n maior, os resultados so pelo menos pequenos e positivos (por exemplo, a1000 0,001).
Para n > 32 175, obtemos a agradvel mensagem de erro muito grande do objeto. Se, em vez de usar a frmula de reduo,
integrarmos diretamente com o Maple, os resultados so muito melhores.

12. (a) A frmula invertida foi iniciada com n = 30, sabendo que 1
31
a30 1
31
e, de modo que o intervalo entre os limites de a29

reduzido por um fator de 30; para a28 por um fator extra de 29, e assim por diante, at que os limites para a20 estejam numa dis-
e -1
tncia < 5,1 10-16. Essa uma preciso suficiente, mesmo quando usamos um computador. O resultado
31 30 29 21
de uma calculadora de 11 dgitos a20 0,049881742885 para todos os 11 dgitos.

1
(b) A integrao de bn = 0 xn - q e1 - x dx por partes d bn = (n q) bn1 1, ou, na forma invertida,

1 + bn 1 b
bn -1 = = + n [*]. Novamente, de 1 e1x e conclumos (multiplicando por xnq e integrando) que
n-q n-q n-q
1 e
bn , ento lim bn = 0. Alm disso, medida que diminumos
n +1- q n +1- q n m bm

n maior para um m menor usando [*], o intervalo entre os limites para bm torna-se 0 2,85335
1 0,90223
e -1
e este nmero (assumindo que m seja dada) pode 2 0,50372
(m + 1 - q )(m + 2 - q ) (n + 1 + q )
3 0,34326
tornar-se to pequeno quanto se queira, escolhendo um n suficientemente grande. 4 0,25861
Os resultados so mostrados direita. (Para m = 0,1, ..., 5 podemos tomar n = 11 5 0,20684
com 5 dgitos de preciso.)

13. Podemos comear expressando ex e ex em termos de E(x) = (ex 1)/x (x 0), onde E(0) = 1 para tornar E contnuo em 0 (pela Re-
1 + xE ( x) - [1 - xE (-x)]
gra de lHspital). Nomeadamente, ex = 1 + xE (x), ex = 1 xE(x) e senh x = = 12 x [ E ( x) + E (-x) ],
2
onde a adio envolve apenas nmeros positivos E(x) e E(x), apresentando assim nenhuma perda de preciso devida subtrao.

Outra forma, a qual chama a funo E apenas uma vez:

(ex ) 2 - 1 [1 + xE ( x) ] - 1
2
x 1 + 12 x E( x ) E( x ) senh x
Escrevemos senh x = = = , tirando vantagem do fato que uma
2e x
2[1 + xE ( x) ] 1+ x E x ( ) x
funo par; assim, substituiu x por |x| no altera seu valor.