INTERPOLAO POLINOMIAL

INTRODUO
Frequentemente necessitamos valores intermedirios entre dados precisos. O mtodo
mais usado para esse propsito a interpolao polinomial. fcil de entender por que
razo isso acontece. Os polinmios so facilmente computveis, suas derivadas e
integrais so novamente polinmios e suas razes podem ser encontradas com relativa
facilidade. !lm disso, temos o teorema de Weierstrass, que afirma" #Toda funo
contnua pode ser arbitrariamente aproximada por um polinmio$. %screvendo um
pouco mel&or o teorema de 'eierstrass"
TEOREMA DE WEIERSTRASS: (e
) * f x
contnua em [ ]
, a b
, dado
+ >
, ei,ste ( )
n
P x

onde ( ) n n
tal que ( ) ( )
n
f x P x <
, [ ]
, x a b
.
Os mtodos de interpolao polinomial para apro,imao de uma funo
) * f x
so usados
nas seguintes situa-es"
.uando no con&ecemos a e,presso analtica da funo
) * f x
, apenas a
con&ecemos em alguns pontos discretos
+ / 0
, , ,... x x x
1
.uando
) * f x
e,tremamente complicada e de difcil mane2o.
POLINMIO DE INTERPOLAO
O pro3lema geral da interpolao por meio de polinmios consiste em dados n4/ pontos
+ / 0
, , ,...,
n
x x x x
e n4/ n5meros
+ / 0
, , ,...,
n
y y y y
tais que ( )
i i
y f x
, dese2a6se determinar um
polinmio ( )
n
P x
de grau no m,imo n de modo que"
( ) , +
n i i
P x y i n
O teorema que segue nos afirma que tal polinmio e,iste e 5nico, na &iptese de que
os pontos
+ / 0
, , ,...,
n
x x x x
se2am distintos.
TEOREMA 1: 7ados n4/ pontos distintos
+ / 0
, , ,...,
n
x x x x
e n4/ n5meros
+ / 0
, , ,...,
n
y y y y
de
uma funo
) * f x
, e,iste um e s um polinmio ( )
n
P x
, de grau menor ou igual a n, tal que"
( ) , +
n i i
P x y i n
1
Demonstrao: (upon&a que se dese2a apro,imar
) * f x
por um polinmio de grau
n

como + + + +
0 n
n + / 0 n
p ),* a a, a , ... a , tal que
) * ) *
k n k
f x P x
. !ssim, para cada + k n
o3temos o seguinte sistema de equa-es lineares"
0
/ + 0 + + +
0
/ / 0 / / /
0
/ 0 0 0 0 0
0
/ 0
... ) *
... ) *
... ) *
... ) *
n
o n
n
o n
n
o n
n
o n n n n n
a ax a x a x f x
a ax a x a x f x
a ax a x a x f x
a ax a x a x f x
+ + + +

+ + + +

+ + + +
'

+ + + +

M
8ontendo )n4/* equa-es e )n4/* incgnitas
+ / 0
, , ,...,
n
a a a a
.! forma matricial desse
sistema como"
0
+ + + + +
0
/ / / / /
0
0 0 0 0 0
0
) * /
) * /
) * /
) * /
n
n
n
n
n n n n n
a f x x x x
a f x x x x
a f x x x x
a f x x x x
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
] ] ]
L
L
L
M M M M M O
L
onde matriz de coeficientes con&ecida como matriz de 9andermonde e seu
determinante dado por ( )
>

: 2
: 2
det)!* , , +
. % desde que )por &iptese* os valores
+ / 0 n
, ,, ,, ,...,,
so distintos ( ) det + A
e assim o sistema linear admite soluo 5nica.
8onsequentemente e,iste um 5nico polinmio
) *
n
P x
, de grau n, tal que"
) * ) *1 +
n k k
P x f x k n
, desde que
k j
x x
para
j k
.
Observa!o: %m3ora e,ista um 5nico polinmio, vrios so as formas de se c&egar at
ele.
DE"INIO: 8&ama6se #o$i%&mio de i%ter#o$a!o de uma funo ( ) y f x
so3re um
con2unto de pontos
o / n
, ,, ,...,,
, ao polinmio de grau no m,imo n que coincide com
) * f x

em
o / n
, ,, ,...,,
. ;al polinmio designado por
) 1 *
n
P f x
ou, sempre que no causar
confuso, simplesmente por
) *
n
P x
.
E'EMPLO: %stime o logaritmo natural de 0 usando interpolao linear ln)/*<+ e
ln)=*</,>?@0A==.
2
Soluo" ! e,presso polinomial para interpolao linear como
/ + /
) * p x a ax +
. Bsando
as considera-es anteriores e os pontos ,</ e ,<= como no enunciado, tem6se"
/ + + / + +
/ / + / / /
) * ) *
) * ) *
p x a ax f x
p x a ax f x
+
'
+

ou se2a
+ /
+ /
/ +
= /,>?@0A==
a a
a a
+
'
+

que escrito matricialmente, como"

+
/
/ / +
/ = /,>?@0A==
a
a
1 1 1

1 1 1
] ] ]
Cesolvendo o sistema de equa-es lineares o3tm6se
( ) ( )
; ;
+ /
a ,a +,=@0+A?/>>>, +,=@0+A?/>>> , de modo que o polinmio"
+
/
p ),* +,=@0+A?/>>> +,=@0+A?/>>>,
(u3stituindo o3tm6se que uma apro,imao para o logaritmo natural de 0 como"
( ) +
/
ln 0 p )0* +,=@0+A?/>>> +,=@0+A?/>>>.0 +,=@0+A?/>>>
8omo o valor real dado por ln)0*<+,@A>/=D/?, o erro relativo cometido nessa
apro,imao linear "
r
+,@A>/=D/? +,=@0+A?/>
% /++ >>,>E
+,@A>//=D/?

! determinao do polinmio de interpolao atravs da soluo de sistemas lineares
muito tra3al&osa. !lm disso, na soluo de sistemas lineares podem ocorrer erros de
arredondamento, fazendo com que a soluo o3tida se2a irreal. 9amos, por isso, procurar
outros mtodos para determinao deste polinmio. !lguns desses mtodos que sero
a3ordados aqui so"
Fagrange1
GeHton1
Iermite1
(plines.
3
INTERPOLAO DE LA(RAN(E
(e2am ( ) , , +
i i
x y i n
pontos que se referem ao grfico de uma funo ( ) y f x
e se2a
) *
n
P x
o polinmio de grau n que interpola
f
em
o / n
, ,, ,...,,
. Jodemos representar
) *
n
P x

na forma
+ + / /
) * ) * ) * ... ) *
n n n
P x y L x y L x y L x + + +
,
onde os polinmios
) *
k
L x
so de grau n. 7efinindo
+ / / /
+
+ / / /
) *) *...) *) *...) * ) *
) *
) *) *...) *) *...) * ) *
n
k k n i
k
i
k k k k k k k n k i
i k
x x x x x x x x x x x x
L x
x x x x x x x x x x x x
+

a condio
) * ) *1 +
n k k
P x f x k n
, satisfeita, pois
/
) *
+
k i
se i k
L x
sei k

'

DE"INIO: ! forma geral do #o$i%&mio i%ter#o$ador de La)ra%)e para uma funo

( ) y f x

+
) * ) * ) *
n
n k k
k
P x f x L x

onde os coeficientes de Fagrange so
+
) *
) *
) *
n
i
k
i
k i
i k
x x
L x
x x

, + k n
E'EMPLO: O3ter o polinmio de interpolao de Fagrange de ordem dois que interpola
os pontos da ta3ela"
' *1 + ,
f-./ 0 1 *1
Soluo: O polinmio de Fagrange de ordem dois especificado por"
0 / / 0 0
) * ) * ) * ) * ) * ) * ) *
o o
p x f x L x f x L x f x L x + +
onde



0
o
), +*), 0* , 0,
F ),*
) / +*) / 0* >
,



0
/
), ) /**), 0* /
F ),* ), , 0*
) / ) /**)+ 0* 0
e
+


0
0
), ) /**), +* , ,
F ),*
)0 ) /**)0 +* @
Fogo

0
0 0
0
=), 0,* / /
p ),* ), , 0* ), 0,*
> 0 @
%, portanto,
4
+
0
0
0, D
p ),* , /
> >
ERRO NA INTERPOLAO
8omo vimos o polinmio de interpolao
) *
n
P x
para uma funo ( ) y f x
so3re um
con2unto de pontos distintos
o / n
, ,, ,...,,
tem a propriedade
) * ) *1 +
n k k
P x f x k n
. Kas nos
pontos
k
x x
nem sempre verdade que ( ) ( )
n
P x f x
, ento poder6se6ia questionar se o
polinmio interpolador uma 3oa apro,imao para a funo ( ) y f x
. Lsso ser
verificado atravs da anlise do erro de interpolao, que est descrito no seguinte
teorema"
TEOREMA ,: (e2a ( ) y f x
continua em [ ]
, a b
e supon&amos que
( )
( )
/ n
f x
+
e,ista em
cada ponto de ( ) , a b
. (e
/
...
o n
a x x x b < < <
, ento"
( ) ( ) ( )
( ) ( ) ( )
( )
( )
( )
/ + /
...
,
/ M
n n
n
x x x x x x
E x f x P x f
n

+


+
onde { } { }
+ / + /
min , , ,..., ma, , , ,...,
n n
x x x x x x x x < <
. O ponto

depende de ,.
Demonstrao: (e2a , fi,ado e tal que
k
x x
. 8onsideremos as fun-es ( ) ( ) K x e F t
,
definidas por"
( )
( ) ( )
( ) ( ) ( )
+ /
,
...
n
n
f x P x
K x
x x x x x x

k
x x
, + k n
( ) ( ) ( ) ( ) ( ) ( ) ( )
+ /
...
n n
F t f t P t t x t x t x K x
! funo ( ) F t
anula6se nos n4/ pontos
+ /
, , ...,
n
t x t x t x
. !nula6se tam3m em t x .
Jelo ;eorema de Colle Neneralizado, a funo
( )
( )
/ n
F t
+
anula6se em um ponto ( ) x
.
8alculando6se ento
( )
( )
/ n
F t
+
, o3temos"
( )
( )
( )
( ) ( ) ( )
/ /
/ M
n n
F t f t n K x
+ +
+ .
Jortanto"
( )
( )
( )
( )
/
/ M
n
f t
K x
n
+

+
.
8onclumos assim que
5
( ) ( ) ( )
( ) ( ) ( )
( )
( )
( )
/ + /
...
,
/ M
n n
n
x x x x x x
E x f x P x f
n

+


+
onde { } { }
+ / + /
min , , ,..., ma, , , ,...,
n n
x x x x x x x x < <
.
! importOncia do teorema anterior mais terica do que prtica, visto que no
conseguimos determinar o ponto

. Ga prtica, para estimar o erro cometido ao

apro,imar o valor da funo num ponto por seu polinmio de interpolao, utilizamos o
seguinte corolrio"
1OROL2RIO: (e2a ( ) ( ) ( )
n
E x f x P x
. (e ( ) f x
e suas derivadas de ordem n4/ so
contnuas em [ ]
, a b
ento"
( ) ( ) ( )
( ) ( ) ( )
( )
( )
( )
+ / /
...
ma,
/ M
n n
n
a t b
x x x x x x
E x f x P x f t
n
+



+
E'EMPLO: %stime uma cota superior para o erro cometido ao apro,imarmos o logaritmo
natural de 0 usando interpolao linear usando ln)/*<+ e ln)=*</,>?@0A==.
Soluo: 7o corolrio anterior, temos para n</
( ) ( ) ( )
( ) ( )
( )
( )
( )
+ / / /
/
/ =
ma,
/ / M
t
x x x x
E x f x P x f t
+



+
8omo ( ) ( ) ln f t t
, ento ( )
/
P f t
t
e ( )
0
/
P P f t
t
, logo
( )
( )
/ /
/ =
ma, /
t
f t
+

. !ssim"
( )
( ) ( ) 0 / 0 =
./ /
0
E x


LA(RAN(E PARA PONTOS I(UALMENTE ESPAADOS
.uando os pontos
i
x
so igualmente espaados de uma quantidade fi,a + h , isto ,
/
, +,/,0,..., /
i i
x x h i n
+

, & interesse, para futuras aplica-es, em se determinar uma
forma do polinmio de interpolao e do erro, em termos de uma varivel u, definida da
seguinte maneira"
+
x x
u
h

7esta relao podemos tirar que"

Jara r inteiro, no negativo, vale que ( )
r
x x u r h
1
6
Jara r e s inteiros, no negativos, ento ( )
r s
x x r s h
.
8onsiderando o polinmio de interpolao de ( ) f x
so3re
o / n
, ,, ,...,,
que "
( )
+ / / /
+ +
+ / / /
) *) *...) *) *...) *
) * ) * ) *
) *) *...) *) *...) *
n n
k k n
n k k k
k k
k k k k k k k n
x x x x x x x x x x
P x f x L x f x
x x x x x x x x x x
+

+



% fazendo a mudana de varivel proposta no incio da seo, temos"
( )
( ) ( )
( ) ( )
( )
( ) ( )
( ) ( )
+
+
+
) /* ...) /* ) /* ...) *
) *
) * ) /* ...) /* ) /* ...) *
) /*...) /*) /*...) *
) /*...) /*) /*...) *
n
n k
k
n
k
k
uh u h u k h u k h u n h
P x uh f x
k h k h k k h k k h k n h
u u u k u k u n
f x
k k k k k k k n

+
+
+
+

+
.ue a 3orma de La)ra%)e do #o$i%&mio de i%ter#o$a!o #ara ar)4me%tos
i
x

i)4a$me%te es#aados. %sta forma do polinmio particularmente 5til na determinao
de frmulas para integrao numrica de fun-es.
!gora su3stituindo
r
x x
por ( ) u r h
na e,presso do erro no Teorema ,, o3temos"
( ) ( ) ( )
( )
( )
( )
/
+
/ ... ,
/ M
n
f
E x uh u u u n
n

+
+
+
onde { } { }
+ / + /
min , , ,..., ma, , , ,...,
n n
x x x x x x x x < <
.
!o considerarmos os polinmios de Fagrange como
( )
( ) ( )
( ) ( )
) /*...) /*) /*...) *
) /*...) /*) /*...) *
k
u u u k u k u n
u
k k k k k k k n

+
,
+,/,0,..., k n
;emos tam3m a vantagem que tais polinmios independem dos valores ta3elados.
7
INTERPOLAO DE NEWTON
O mtodo de interpolao de Fagrange tem uma desvantagem, quando um novo termo
adicionado necessrio recalcular todos os valores de ( )
i
L x
. Ou se2a, a adio de mais
um ponto ( )
/ /
,
k k
x y
+ +
o3riga a que se refaam todos os clculos para o3teno dos novos
polinmios ( )
i
L x
e isso pode ser pro3lemtico para pro3lemas ou aplica-es em que se
varie a quantidade de pontos. GeHton desenvolveu uma forma de corrigir o polinmio de
grau n6/ para se o3ter o de grau n. !ssim um mtodo alternativo ao de Fagrange o
mtodo de interpolao polinomial de GeHton com diferenas divididas.
DE"INIO: 7esigna6se de di3ere%a dividida de primeira ordem de uma funo ( ) f x
,
/
Q , R
i i
f x x
+
, relativamente aos argumentos ,
i
, ,
i4/
, S quantidade"
/
/
/
) * ) *
Q , R
i i
i i
i i
f x f x
f x x
x x
+
+
+

T diferena dividida de k6sima ordem o3tida recursivamente da diferena dividida de

primeira ordem e especificada como"
/ /
/
) ,..., * ) ,..., *
Q , ,..., R
i i k i i k
i i i k
i k i
f x x f x x
f x x x
x x
+ + +
+ +
+

8onsiderando o con2unto de pontos ( ) ( ) ( ) ( ) { }

/ / / /
, ) * , , ) * ,.., , ) * , , ) *
o o n n n n
x f x x f x x f x x f x

. ;emos
as seguintes diferenas divididas"
Ordem 5ero: [ ]
+
) *
o
f x f x
6
Primeira Ordem:
[ ]
/ + / +
+ /
/ + / +
Q R Q R ) * ) *
,
f x f x f x f x
f x x
x x x x



6
Se)4%da Ordem:
[ ]
/ 0 + /
+ / 0
0 +
Q , R Q , R
, ,
f x x f x x
f x x x
x x

6
Ter7eira Ordem:
/ 0 > + / 0
+ / 0 >
> +
Q , , R Q , , R
, , ,
f x x x f x x x
f x x x x
x x

1
]

6
N*8sima Ordem:
[ ]
/ 0 + /
+ / 0
+
Q , ,..., R Q ,..., R
, , ,...,
n n
n
n
f x x x f x x
f x x x x
x x

6
8
Jodemos construir a seguinte ta3ela"
. Ordem + Ordem 1 Ordem , Ordem 9 666 Ordem %
.
+
o
fQ, R
o /
fQ, ,, R
.
1
/
fQ, R
o / 0
fQ, ,, ,, R
/ 0
fQ, ,, R
+ / 0 >
fQ, ,, ,, ,, R
.
,
0
fQ, R
/ 0 >
fQ, ,, ,, R
0 >
fQ, ,, R
/ 0 > =
fQ, ,, ,, ,, R
.
9
>
fQ, R
0 > =
fQ, ,, ,, R
O
> =
fQ, ,, R
+ / n / n
fQ, ,, ,...,, ,, R
.
0
=
fQ, R
M N
M M M
n > n 0 n / n
fQ, ,, ,, ,, R
M M M
n 0 n / n
fQ, ,, ,, R
n / n
fQ, ,, R
.
%
n
fQ, R
E'EMPLO: 7etermine a ta3ela de diferenas divididas da funo ( ) f x
cu2os valores so
como na ta3ela"
. *1 + 1 , 9
( ) f x
1 1 + *1 *,
Soluo: Jode6se especificar sua ta3ela das diferenas divididas como"
. Ordem + Ordem 1 Ordem , Ordem 9 Ordem 0
*1
o
fQ, R
o /
fQ, ,, R
+
/
fQ, R
o / 0
fQ, ,, ,, R
/ 0
fQ, ,, R
o / 0 >
f Q, ,, ,, ,, R
1
0
fQ, R
/ 0 >
f Q, ,, ,, R
o / 0 > =
fQ, ,, ,, ,, ,, R
0 >
fQ, ,, R
/ 0 > =
f Q, ,, ,, ,, R
9
,
>
fQ, R
0 > =
fQ, ,, ,, R
> =
fQ, ,, R
9
=
fQ, R
Ordem +:

o
fQ, R f ) /* /
/
fQ, R f )+* /
0
fQ, R f )/* +
>
fQ, R f )0* /
=
fQ, R f )>* 0
Ordem 1:
[ ]


+
/ +
o /
/ +
fQ, R f ,
/ /
fQ, ,, R +
, , + /
[ ]



0 /
/ 0
0 /
fQ, R f ,
+ /
fQ, ,, R /
, , / +
[ ]



> 0
0 >
> 0
fQ, R f ,
/ +
fQ, ,, R /
, , 0 /
1
+
]


= >
> =
= >
fQ, R f ,
0 /
fQ, ,, R /
, , > 0
Ordem ,:


+
/ 0 + /
o / 0
0 +
fQ, ,, R fQ, ,, R / + /
fQ, ,, ,, R
, , / / 0

+


0 > / 0
/ 0 >
> /
fQ, ,, R fQ, ,, R
/ /
fQ, ,, ,, R +
, , 0 +

+


= > 0 >
0 > =
= 0
fQ, ,, R f Q, ,, R
/ /
fQ, ,, ,, R +
, , 0 +
Ordem 9"

+

+
/ 0 > + / 0
+ / 0 >
> +
fQ, ,, ,, R fQ, ,, ,, R
+ /0 /
fQ, ,, ,, ,, R
, , 0 / @

0 > = / 0 >
/ 0 > =
= /
fQ, ,, ,, R f Q, ,, ,, R
+ +
fQ, ,, ,, ,, R +
, , > +
Ordem 0:

+

+
/ 0 > = + / 0 >
o / 0 > =
= +
fQ, ,, ,, ,, R fQ, ,, ,, ,, R
/@ + /
fQ, ,, ,, ,, ,, R
, , > / 0=
!valiando os valores numricos o3tm6se uma ta3ela de diferenas divididas como"
. Ordem + Ordem 1 Ordem , Ordem 9 Ordem 0
*1 1
+
+ 1 *1:,
*1 1:;
1 + + *1:,0
*1 +
, *1 +
*1
9 *,
10
"<RMULA DE NEWTON
Jara o3termos a frmula de GeHton do polinmio de interpolao precisamos,
inicialmente, definir algumas fun-es. Jara tanto, consideremos que ( ) f x
se2a contnua e
que possua derivadas contnuas em [ ]
, a b
e, alm disso, que os pontos
o / n
, ,, ,...,,
se2am
distintos em [ ]
, a b
. 7efinimos ento as fun-es"
-1/
[ ]
+
+
+
Q R Q R
,
f x f x
f x x
x x

, definida em [ ]
, a b
, para
+
x x
. !ssim, isolando ( ) f x
"
( ) ( ) ( ) [ ]
+ + +
, f x f x x x f x x +
-,/ [ ] [ ]
[ ] [ ]
+ / +
+ / / +
/
, ,
, , , ,
f x x f x x
f x x x f x x x
x x

, definida em [ ]
, a b
, para
+
x x
e
/
x x
. Fogo"
[ ]
( ) ( )
[ ]
+
/ +
+
+ /
/
,
, ,
f x f x
f x x
x x
f x x x
x x

,
ou se2a,
[ ]
( ) ( ) ( ) [ ]
( ) ( )
+ + / +
+ /
/ +
,
, ,
f x f x x x f x x
f x x x
x x x x

.
Lsolando6se ( ) f x
nessa e,presso, tem6se"
( ) ( ) ( ) [ ] ( ) ( ) [ ]
+ + + / / + + /
, , , f x f x x x f x x x x x x f x x x + +
7e maneira anloga continuamos"
M
-%=1/ [ ]
[ ] [ ]
+ / + /
+ /
,..., , , ,...,
, ,..., ,
n n
n
n
f x x x f x x x
f x x x x
x x

, definida em [ ]
, a b
, para
k
x x
,
+,/,..., k n
. Fogo"
( ) ( ) ( ) [ ] ( ) ( ) [ ] ( ) ( ) ( ) [ ] { }
( ) ( ) ( ) [ ] { }
+ + + / + / + / 0 + / / + /
/
+ / + /
0
, , , ... ... , ,...,
... , ,..., ,
n n
n n
f x f x x x f x x x x x x f x x x x x x x x x f x x x
x x x x x x f x x x x

+ + + +
+
->/
O3tivemos, assim, uma formula de recorrUncia para ( ) f x
. 9e2amos o que significam { }
/

e { }
0
.
11
TEOREMA 9: O polinmio
( ) ( ) ( ) [ ] ( ) ( ) [ ] ( ) ( ) ( ) [ ]
{ }
+ + + / + / + / 0 + / / + /
/
, , , ... ... , ,...,
n n n
P x f x x x f x x x x x x f x x x x x x x x x f x x x

+ + + +

o polinmio de interpolao da funo ( ) f x

so3re os pontos
o / n
, ,, ,...,,
, isto ,
) * ) *1 +
n k k
P x f x k n
,
Demonstrao: Jrovaremos por induo em n.
a/ Jara n</, temos
( ) ( ) ( ) [ ]
( ) ( )
/ + + + /
/ +
+ +
/ +
,
Q R Q R
P x f x x x f x x
f x f x
f x x x
x x
+

Fogo"
( ) [ ] ( )
[ ] [ ]
( )
( ) [ ] ( )
[ ] [ ]
( )
/ +
+ / + + + + +
/ +
/ +
/ / / + / + /
/ +
f x f x
Se x x P x f x x x f x
x x
f x f x
Se x x P x f x x x f x
x x

b/ (upon&amos vlido para / n k , isto , ( ) ( )

/
, +,/,..., /
k i i
P x f x i k

.
7/ Jrovemos para n k . 7ividiremos a prova em duas partes.
761/ (e2a i k < , ento"
( ) ( ) ( ) ( ) ( ) [ ]
( ) ( )
/ + / / + /
/
... , ,...,
k i k i i i i k k
k i i
P x P x x x x x x x f x x x
P x f x

+

, usando a &iptese de induo.
76,/ (e2a i k , ento"
( ) ( ) ( ) [ ] ( ) ( ) ( ) [ ]
+ + + / + / / + /
, ... ... , ,...,
k k k k k k k k
P x f x x x f x x x x x x x x f x x x

+ + +
Fazendo
k
x x
em )V* )lem3rando que n k * e comparando com a e,presso o3tida
anteriormente para ( )
k k
P x
, vemos que
) * ) *
n k k
P x f x
, o que complete a prova do teorema.
DE"INIO: ! frmula
( ) ( ) ( ) [ ] ( ) ( ) [ ] ( ) ( ) ( ) [ ]
+ + + / + / + / 0 + / / + /
, , , ... ... , ,...,
n n n
P x f x x x f x x x x x x f x x x x x x x x x f x x x

+ + + +
c&amada "?rm4$a de Ne@to% do Po$i%&mio de I%ter#o$a!o.
TEOREMA 0: Jara [ ]
, x a b
,
k
x x
,
+,..., k n
,
12
[ ]
( )
( )
( )
( )
/
+ / +
, ,..., , 1 ,
/ M
n
n n
f
f x x x x x x
n

+

+
.
Demonstrao" 7o teorema anterior, podemos escrever"
( ) ( ) ( ) ( ) ( ) [ ] { }
+ / + /
0
... , ,..., ,
n n n
f x P x x x x x x x f x x x x +
Fogo"
( ) ( ) ( ) ( ) ( ) [ ] { }
+ / + /
0
... , ,..., ,
n n n
f x P x x x x x x x f x x x x
Jor outro lado, como o polinmio interpolador 5nico, e a su3trao acima representa um
erro, segue que este erro o mesmo do erro de Fagrange, de acordo com o que foi visto
anteriormente, temos que"
( ) ( ) ( ) ( ) ( ) ( )
( )
( )
( )
/
+ /
... ,
/ M
n
n n
f
f x P x E x x x x x x x
n

+

+
onde ( )
+
,
n
x x
. Jodemos concluir deste modo que
[ ]
( )
( )
( )
/
+ /
, ,..., ,
/ M
n
n
f
f x x x x
n

+

+
, ( )
+
,
n
x x
.
!ssim, ( ) ( ) ( ) ( ) [ ] { }
+ / + /
0
... , ,..., ,
n n
E x x x x x x x f x x x x
o termo do erro ou erro de
truncamento. %m geral o que se pode avaliar uma cota superior para o erro"
+
) * .... .
) /*M
n

E t t x t x
n

+
sendo ( )
) /*
+
ma, ) * , ,
n
n
f x x x x
+

8omo foi mencionado anteriormente, o Ktodo de Lnterpolao de GeHton permite a
insero de novos pontos, sem que se2a necessrio reiniciar o processo de interpolao.
Jor e,emplo, se no incio tin&am6se > pontos acrescentando um novo ponto na
interpolao, a ta3ela pode ser facilmente complementada. 9e2a a3ai,o
Aa$ores de
.
Aa$ores de B
di3ere%a
dividida de ordem
5ero
1
a
di3ere%a
dividida
,
a
di3ere%a
dividida
9
a
di3ere%a
dividida
,
+
W
+
<fQ,
+
R fQ,
+
, ,
/
R fQ,
+
, ,
/
,,
0
R fQ,
+
, ,
/ ,
,
0
, ,
>
R
,
/
W
/
<fQ,
/
R fQ,
/
, ,
0
R fQ,
/
, ,
0 ,
,
>
R
,
0
W
0
<fQ,
0
R fQ,
0
, ,
>
R
,
>
W
n
<fQ,
>
R
E'EMPLO: %ncontrar uma equao que e,presse a quantidade de poluio ao longo do
dia, usando GeHton.
13
9iso grfica"
14