= o +o + +o +o com
coeficientes pertencentes aos reais - R, qualquer que seja
i
o . Seja
determinar o valor deste polinmio para o ponto
( )
1 1
0 1 1
n n
n n
x P
= , , = o , +o , + +o , +o .
O clculo de P(,) mais conveniente quando realizado como se segue:
Seja a seguinte fatorao:
( ) ( ) ( ) ( ) ( ) 0 1 2 1
n
n n
P , o , o , o , , o , o
= + + + + + (4.1.1)
Fazem-se agora as seguintes operaes:
2
0 0
1 1 0
2 2 1
1 n n n
| o
| o | ,
| o | ,
| o | ,
=
= +
= +
= +
(4.1.2)
onde ( )
n
P | , = desejado. Estas operaes so conhecidas como mtodo de
Hrner e o esquema utilizado por ele :
( )
0 1 2
0 1 1
0 1 2
_______________________________________
=
n
n
n
P
o o o o
| , | , | ,
| | | | ,
+
=
(4.1.3)
Este processo evita operaes de exponenciao. Estas operaes so
justamente aquelas utilizadas no processo da diviso sinttica a ser visto
a seguir. De fato, escrevendo-se ( ) ( )
n
P x P x = um polinmio de n-sima
ordem, ou ainda:
( ) ( ) ( )
1 0 n n
P x x Q x R ,
= + (4.1.4)
V-se que ( )
0 n n
R P , | = = e facilmente verificvel que, usando as
quantidades em (4.1.2) se tem:
( )
1 2
1 0 1 1
n n
n n
Q x x x | | |
= + + + (4.1.5)
Dividindo novamente a expresso acima por x , obtm-se:
( ) ( ) ( )
1 2 1 n n
Q x x Q x R ,
= +
ou ainda ( ) ( ) ( ) ( )
2
2 1 0 n n
P x x Q x x R R , ,
= + +
Derivando a expresso acima, encontra-se: ( ) ( ) ( )
2 1
2
n n
P x x Q x R ,
'
' = + .
Em x , tem-se: ( )
1 n
P R ,
'
= ; Isso mostra que realizando a diviso sinttica
de ( )
1 n
Q x
por ( ) x , , determina-se ( )
2 n
Q x
e ( )
1 n
R P , ' = .
4
Procedendo-se assim, sucessivamente, tem-se:
( ) ( ) ( ) ( )
1
1 1 0
n n
n n n
P x x R x R x R R , , ,
= + + + + (4.1.6)
Essa sistemtica pode ser colocada em uma tabela da seguinte forma:
0 0 . . . . 0 0
0
|
0
0 0
0 R
n
1
|
1
1 0 1
R
n-1
...
n-2
|
n-2
2 3 2 n n n
n-1
|
n-1
1 2 1 n n
R
n
R
0
Tabela 4.1 Esquema de Horner
6
Qualquer entrada na tabela acima que no esteja nem na primeira linha
ou na primeira coluna (as quais so dadas inicialmente) calculada pela
multiplicao da entrada acima por , e adicionando-se o resultado a
entrada esquerda.
Assim pode-se ver que, por diferenciao de (4.1.6), tem-se:
=
=
1 ( )
!
k
n
k k
x
d P x
R
k dx
(4.1.7)
4.2 Clculo da Soma de Sries Numricas
Definio 1: A srie numrica
1 2 n n
S a a a = + + + (4.2.1)
dita srie convergente se existe um limite da seqncia de sua soma
parcial:
lim
n
n
S S
= (4.2.2)
onde o nmero S denominado de soma da srie.
Assim, a convergncia da srie (4.2.1) equivalente convergncia da
seqncia de quaisquer de suas somas parciais, como j foi visto. De
acordo com o critrio de Cauchy, esta seqncia converge se, e somente
se para um arbitrrio 0 c > existe um
0
n tal que
n p n
S S c
+
< para todo
0
n n > e
8
qualquer 0 p > . Da frmula (2) tem-se
n n
S S R = + onde
n
R resto da srie,
para cada n . Assim 0
n
R quando n .
Para se achar a soma S com uma determinada preciso especificada c ,
devemos escolher um nmero de termos tal, que
n
R c < se verifique.
Deve-se notar que os termos
1 2
, , a a so determinados aproximadamente.
Assim, a soma
n
S normalmente arredondada para um determinado
nmero de casas decimais. Para se assegurar que estes erros no
influenciem na preciso requerida, pode-se usar o seguinte
procedimento: em geral, escolhem-se trs nmeros positivos
1 2 3
, , c c c tais
que:
1 2 3
c c c c = + + (4.2.3)
Toma-se um nmero de termos da srie tal que:
n
R c s (4.2.4)
Agora se calcula os termos 1, 2, ,
k
a k n = com o limite de erro absoluto
no excedendo a
2
/ n c , sendo n o nmero de termos usado na srie. Seja
agora 1, 2, ,
k
k n o = os correspondentes termos
k
a calculados de maneira
que:
k k
a
n
c
o s
Assim, tem-se a soma
1
1
n
n k
k
S o
=
=
sendo ,
e
k
a constantes, denomina-se srie de potncias em torno do ponto , .
Teorema 1: Sejam
0
k
k
k
a x
e
0
k
k
k
b x
com
0
k
k j k j
j
c a b
=
=
,
conhecida como produto de Cauchy das sries dadas, tambm
converge com relao x r < e mais:
0 0 0
k k k
k k k
k k k
a x b x c x
= = =
| || | | |
=
| | |
\ .\ . \ .
para todo x do intervalo.
Teorema 2: Sejam ( )
0
k
a k
k
f x a x
=
=
e ( )
0
k
b k
k
f x b x
=
=
=
=
e ( )
0
lim
k
k
k
k
b x b x
=
=
, ento: ( ) ( )
a b
f x f x o | +
convergente, e converge para ( ) ( ) a x b x o | + .
Teorema 3: Se
0
k
k
k
a x
= .
Corolrio 1: Se
k
a no tende para zero quando k , ento { }
k
a
diverge.
18
Teorema 4: (Teste de Comparao). Sejam
0
k
k
a
e
0
k
k
b
duas sries
com termos positivos, ento:
i - se
0
k
k
a
converge e
k k
b a s para todo k ,
0
k
k
b
tambm converge.
ii - se
0
k
k
a
diverge e
k k
b a > para todo k ,
0
k
k
b
tambm diverge.
Teorema 5: (Teste da Razo). Se
0
k
k
a
(4.3.3)
chamada de termo restante ou erro resultante da troca da funo ( ) f x
pelo polinmio (srie) de Taylor:
( )
0
( )
( ) .( )
!
k n
k
n
k
f
P x x
k
,
,
=
=
(4.3.4)
O desenvolvimento de ( )
n
R x resulta em:
( 1)
1
( ( ))
( ) .( )
( 1)!
n
n
n
f x
R x x
n
, u ,
,
+
+
+
=
+
(4.3.5)
22
Em particular, para a srie de Maclaurin
3
, o erro resultante :
( 1)
1
( )
( ) .( ) , 0 1
( 1)!
n
n
n
f x
R x x
n
u
u
+
+
= < <
+
(4.3.6)
Para uma funo exponencial qualquer se pode desenvolver uma srie
para determinar seu valor. Em particular, para a funo exponencial
x
e ,
temos o seguinte desenvolvimento em srie:
0
!
k
x
k
x
e x
k
=
= < <
(4.3.7)
3
Colin MacLaurin (1698-1746) mais conhecido como o melhor defensor do clculo de Newton quando este sofreu um ataque
do filsofo irlands Bishop George Berkeley. A srie que leva seu nome no foi descoberta por ele; ela foi conhecida por outros
matemticos desde o sculo 17, antes mesmo do seu nascimento. O grande mrito de MacLaurin o estabelecimento de um
mtodo para resolver um sistema de equaes lineares, hoje conhecido com regra de Cramer, que Cramer s veio a publicar
aps 1750, portanto aps a morte de MacLaurin.
conveniente realizar os clculos usando a seguinte relao de
recorrncia:
0
x
k
k
e u
=
=
(4.3.8)
sendo
1 k k
x
u u
k
| |
=
|
\ .
e a soma da srie
1
, 1, 2,
k k k
S S u k
= + = , onde
0
1 u = e
0
1 S = .
Se n termos so usados para avaliar
x
e , ento o erro ser:
( ) 0 2
n n
R x u x n < < s (4.3.9)
O trmino da soma pode tambm ser feito, quando o termo
k
u da srie for
menor, em mdulo, a um determinado erro c desejado:
k
u c < , para
2
n
x < .
O termo restante da srie (4.3.7) acima tem a seguinte forma:
24
1
( ) . , 0 1
( 1)!
x
n
n
e
R x x
n
u
u
+
= < <
+
(4.3.10)
Para valores absolutos de x muito grandes, a srie (4.3.7)
computacionalmente inconveniente. conveniente realizar os clculos
usando o seguinte procedimento: representando x na forma de uma
soma ( ) ( ) int frac x x x = + , onde ( ) int x a parte inteira do nmero x e ( ) frac x a
parte decimal deste mesmo nmero. evidente que ( ) 0 frac 1 x < < , ento
( ) ( ) int frac x x x
e e e = . O primeiro fator determinado pela multiplicao de
e ( ) int x -vezes. O segundo fator calculado com ajuda de uma expanso
em srie de potncia:
( )
( )
frac
0
frac
!
k
x
k
x
e
k
=
| |
= |
|
\ .
(4.3.11)
Para ( ) 0 frac 1 x < < a srie acima converge rapidamente, sendo seu termo
restante igual a:
( ) ( ) ( )
1
1
0 frac frac
!
n
n
R x x
n n
+
| | | |
s <
| |
\ . \ .
(4.3.12)
Para funes trigonomtricas, como por exemplo ( ) sin x e ( ) cos x , tambm
possvel desenvolver srie de potncias, como por exemplo:
2 1
0
sin( ) ( 1)
(2 1)!
k
k
k
x
x x
k
+
=
= e
+
Com
2 1
1
(2 1)!
n
n n n
x
R a e a
n
2
0
cos( ) ( 1)
(2 )!
k
k
k
x
x x
k
=
= e
26
Com
2
1
(2 )!
n
n n n
x
R a e a
n
4.4 Clculo de Funes por Iteraes
Qualquer funo analtica ( ) y f x = pode ser representada de diferentes
maneiras, uma das quais em srie de potncias, como foi visto no tpico
anterior. Aqui, utilizar-se- processos de construo de mtodos
iterativos para calcular seus valores.
28
Teorema 1: (Teorema do Valor Mdio). Seja ( ) y f x = uma funo
contnua no intervalo [a, b] e derivvel no intervalo (a, b), isto ,
pertencente ao espao ( )
1
, a b ; Assim, existe no mnimo um nmero ,
entre a e b tal que:
( )
( ) ( ) f b f a
f
b a
,
=
(4.4.1)
Estabelecendo que b a h = + , ento se pode escrever a expresso anterior
como:
( )
( ) ( )
0 1
f a h f a
f a h
h
u u
+
' + = < < (4.4.2)
Teorema 2: (Teorema de Rolle
4
). Seja ( ) y f x = uma funo contnua no
intervalo [a, b] e derivvel no intervalo (a, b), isto , ( ) ( )
1
, f x a b e . Se
( ) ( ) f a f b = , ento existe no mnimo um nmero , entre a e b tal que
( ) 0 f , ' = .
Seja uma funo analtica ( ) y f x = . Seja sua forma implcita ( ) , 0 F x y = e
suponha-se que esta pertena a ( )
1
, a b , isto , seja contnua e tenha
derivada parcial contnua diferente de zero no intervalo de sua
definio.
Seja ento
n
y uma aproximao do valor de y . Usando-se o teorema do
valor mdio temos:
4
Este teorema atribudo a Michel Rolle (1652-1719) apareceu, em 1691, num tratado denominado Mthode pour rsoundre ls
galits.
30
( ) ( ) ( ) ( )
1
, , ,
n n n
F x y F x y y y F x y ' = (4.4.3)
onde
1
n
y um valor intermedirio entre
n
y e y . Assim, como por
definio ( ) , 0 F x y = temos:
( )
( )
1
,
,
n
n
y n
F x y
y y
F x y
=
'
(4.4.4)
Como no se conhece o valor de
1
n
y , podemos faz-lo, por aproximao
igual a
n
y , isto ,
1
n n
y y ~ , do que se pode obter o seguinte processo
iterativo para calcular o valor de y :
( )
( )
1
,
, 0,1, 2,
,
n
n n
y n
F x y
y y n
F x y
+
= =
'
(4.4.5)
O processo de convergncia deste mtodo iterativo assegurado quando
( ) ,
y
F x y e ( ) ,
yy
F x y mantm o mesmo sinal no intervalo sob considerao e
que contm a raiz. Sendo o valor inicial de y arbitrrio, este deve ser
escolhido o mais prximo do valor desejado de y , como forma de
acelerar a convergncia do processo.
O processo iterativo deve continuar at que
1 n n
y y c
|
\ .
= = =
| |
|
\ .
Assim obtm-se o processo iterativo sem diviso. O valor inicial
0
y
escolhido de forma que
0
1
1
2
xy s < .
2. Clculo de razes quadradas:
Seja y x = com 0 x > . Logo ( )
2
, 0 F x y y x = = , donde ( ) , 2
y
F x y y = .
Aplicando o mtodo iterativo tem-se:
( )
( )
1
,
, 0,1, 2,
,
n
n n
y n
F x y
y y n
F x y
+
= =
'
2
1
1
, 0,1, 2,
2 2
n
n n n
n n
y x x
y y y n
y y
+
| |
= = + =
|
\ .
Este processo conhecido como algoritmo de Hero.
34
3. Clculo de razes cbicas:
Fazendo o desenvolvimento anlogo ao exemplo 2 acima,
encontramos:
1 2
1
2
3
n n
n
x
y y
y
+
| |
= +
|
\ .
4. Clculo de razes p-simas (provar como exerccio):
( )
1 1
1
1
n n p
n
x
y p y
p y
+
| |
= +
|
\ .