UNIVERSIDADE FEDERAL DE OURO PRETO

Instituto de Cincias Exatas e Biolgicas

Departamento de Computao



Jos lvaro Tadeu Ferreira



Clculo Numrico

Notas de aulas





Interpolao Polinomial















Ouro Preto
2009
(ltima reviso em 22.6.12)
Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

2

Sumrio
1 - Introduo ........................................................................................................................ 3
2 - Existncia e unicidade do polinmio interpolador ........................................................... 4
3 - Erro de truncamento ......................................................................................................... 5
4 - Mtodos de obteno do polinmio interpolador ............................................................. 8
4.1 Mtodo de Lagrange ................................................................................................. 8
4.2 Mtodo das diferenas divididas ............................................................................ 11
4.2.1 O operador diferena dividida ......................................................................... 11
4.2.2 O polinmio interpolador com diferenas divididas ....................................... 12
4.3 Mtodo das diferenas finitas ascendentes ............................................................. 17
4.3.1 O Operador Diferena Finita Ascendente ....................................................... 17
4.3.2 O polinmio interpolador com diferenas finitas ascendentes ........................ 19
5 Complexidade dos mtodos de interpolao ................................................................. 23
6 Consideraes finais ...................................................................................................... 24
Anexos ................................................................................................................................. 25
a) Teorema do Valor Mdio ............................................................................................ 25
b) Operador linear ............................................................................................................ 26



Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

3
Interpolao polinomial

1 - Introduo
Em geral, dispe-se de dados que so fornecidos em um conjunto discreto de valores, den-
tro de um contnuo de possibilidades. Entretanto, pode ser necessrio fazer estimativas em
pontos que esto entre os valores discretos, ou seja, no constam do conjunto. Ocorre, tam-
bm, a situao na qual se faz necessria uma verso simplificada de uma funo compli-
cada. Ambas as aplicaes so conhecidas como ajuste de curvas. H duas abordagens
gerais para o ajuste de curvas, as quais se distinguem com base na quantidade de erro asso-
ciada com os dados.
Primeiro, quando os dados exibirem um grau significativo de erro, a estratgia ser deter-
minar uma nica curva que represente a tendncia geral dos dados. Como cada ponto indi-
vidual poder estar incorreto, no ser feito qualquer esforo para passar a curva por todos
os pontos. Em vez disto, a curva escolhida para seguir o padro dos pontos considerados
como um grupo. Uma abordagem desta natureza chamada de regresso por mnimos
quadrados.
Segundo, quando se souber que os dados so muito precisos, a abordagem bsica ajustar
uma curva ou uma srie de curvas que passam diretamente por cada um dos pontos. Este
tipo de abordagem, que o objeto deste texto, chamada de interpolao.
Pode-se estabelecer que, interpolar uma funo, y = f(x), em um intervalo finito (a, b), con-
siste em substitu-la, ou aproxim-la, por outra funo, y = g(x). A necessidade de se utili-
zar este procedimento ocorre, basicamente, quando a funo:
a) no conhecida na sua forma analtica, mas, apenas por meio de um conjunto de pontos
(x
i
, y
i
), i = 0, 1, ..., n; esta situao ocorre com muita freqncia, na prtica, quando se
trabalha com dados obtidos de forma experimental;
b) conhecida na sua forma analtica, mas operaes como a diferenciao e a integrao
so difceis (ou mesmo impossveis) de realizar, ou seja, a funo de difcil tratamento.
Teoricamente, a funo y = g(x) pode ser qualquer, mas o caso mais comumente conside-
rado aquele em que pertence classe das funes polinomiais.
A aproximao de funes por polinmios uma das idias mais antigas da anlise num-
rica, e ainda das mais utilizadas. fcil entender a razo. Os polinmios so facilmente
computveis, suas derivadas e integrais so, novamente, polinmios, seus zeros podem ser
determinados com facilidade, etc. O uso de polinmios interpoladores importante, por
exemplo, para a obteno de valores intermedirios em tabelas, na integrao numrica, no
clculo de razes de equaes e na resoluo de equaes diferenciais ordinrias.
Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

4
As funes interpolantes polinomiais so as mais populares no s por suas propriedades
algbricas, mas, sobretudo, pela justificativa fornecida pelo teorema de aproximao de
Weierstrass que, de fato, garante a existncia de um polinmio capaz de aproximar uma
funo f to bem quanto se queira.

Teorema (Weierstrass)
Se f uma funo contnua em um intervalo fechado [a, b], ento, dado > 0, existe algu-
ma funo polinomial, p, de ordem n = n(), tal que
|f(x) p(x)| < , para x e [a, b]

Apesar de justificar a existncia da funo interpolante polinomial, este teorema no
construtivo, isto , no fornece modos ou critrios para a sua obteno.
Neste texto apresentam-se alguns dos procedimentos mais usuais para a obteno de fun-
es interpolantes polinomiais.

Objetivo
Sendo (x
i
, y
i
), i = 0, 1, ..., n; pontos, com abscissas distintas, de uma funo y = f(x), obter
o polinmio, y = p(x) tal que:

p(x
i
) = f(x
i
) = y
i
, i = 0, 1, ..., n

2 - Existncia e unicidade do polinmio interpolador
Teorema 2.1
Se (x
i
, y
i
) i = 0, 1, ..., n; so (n + 1) pontos com abscissas distintas, relativos a uma funo,
y = f(x), ento existe um, e s um, polinmio, y = p(x), de grau mximo n,tal que:
p(x
i
) = f(x
i
) = y
i
, i = 0, 1, ..., n
Demonstrao
O objetivo aproximar uma funo, y = f(x), por um polinmio, y = p(x), ou seja, deseja-
se obter
y a x a ... x a x a ) x ( p
0 1
1 n
1 - n
n
n
= + + + + =



tal que p(x
i
) = f(x
i
) = y
i
para todo i = 0, 1, 2, ..., n

Com esta condio, tem-se:

Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

5
n 0 n 1
1 n
n 1 - n
n
n n n
1 0
1
1
1 n
1 1 - n
n
1 n 1
0 0
0
1
1 n
0 1 - n
n
0 n 0
y a x a ... x a x a ) x ( p
..... .......... .......... .......... .......... .......... .......... ..........
y a x a ... x a x a ) x ( p
y a x a ... x a x a ) x ( p
= + + + + =
= + + + + =
= + + + + =

Que um sistema de (n + 1) equaes lineares com (n + 1) incgnitas a
0
, a
1
, a
2
, ..., a
n
. A
sua matriz dos coeficientes dada por:

(
(
(
(
(
(

1 x ... x x
........ .......... ..........
1 x ... x x
1 x ... x x
X
n
1 n
n
n
n
1
1 n
1
n
1
0
1 n
0
n
0
(2.1)

Trata-se de uma ma matriz de Vandermonde. O seu determinante calculado da seguinte
maneira
det(X) = (x
0
x
1
) (x
0
x
2
) ... (x
0
x
n
) (x
1
x
2
) (x
1
x
3
) ... (x
1
x
n
) ... (x
n - 1
x
n
)

Como, por condio, x
0
, x
1
, ..., x
n
so valores distintos, ento tem-se que det(X) = 0 e o
sistema linear admite soluo nica. Portanto, existe um nico polinmio, y = p(x), tal que
p(x
i
) = f(x
i
) = y
i
, i = 0, 1, ..., n. Conclui-se, ainda, que o polinmio tem grau mximo n,
uma vez que os coeficientes, a
i
, i = 0, 1, ..., n; podem assumir qualquer valor real, zero in-
clusive.

3 - Erro de truncamento
Teorema 3.1
Sejam:
(i) (x
i
, y
i
), i = 0,1, ..., n pontos com abscissas distintas relacionados a uma funo y = f(x);
(ii) y = f(x) uma funo com (n + 1) derivadas contnuas no intervalo [x
0
, x
n
].
Ento, para cada x e[x
0
, x
n
], existe um nmero e(x
0
, x
n
), que depende de x, tal que

1)! n (
)) x ( ( f
). x - (x ... ) x - (x ). x - (x ) x ( E p(x) - ) x ( f
1 n
n 1 0 t
+

= =
+
(3.1)


Onde f
n + 1
(.) a derivada de ordem (n + 1) de y = f(x) e y = p(x) o polinmio que a in-
terpola nos pontos (x
i
, y
i
), i = 0, 1, ..., n.
A expresso (3.1) chamada de termo do erro ou erro de truncamento. o erro que se
comete, no ponto x, quando se substitui a funo pelo polinmio que a interpola.
Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

6
A importncia do Teorema 3.1 mais terica do que prtica, uma vez que no possvel
determinar o ponto . Na prtica, para estimar o erro cometido, quando a funo dada
analiticamente, utilizado o corolrio a seguir.

Corolrio 3.1
Se f(x) e suas derivadas at a ordem (n + 1) so contnuas no intervalo [x
0
, x
n
], ento:
1)! n (
M
. ) x - (x ... ) x - x ).( x - (x ) x ( E
n 1 0 t
+
s
(3.2)

Onde M = max ) x ( f
1 n +
no intervalo [x
0
, x
n
].
Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

7
Exemplo 3.1
Sabendo-se que os pontos a seguir so da funo f(x) = x.e
3.x
, calcule um limitante superior
para o erro de truncamento quando se avalia y para x = 0,25.
i 0 1 2
x
i
0,2 0,3 0,4
f(x
i
) 1,8221 2,4596 3,3201
Soluo
De (3.2) tem-se que
1)! n (
M
. ) x - (x ... ) x - x ).( x - (x ) x ( E
n 1 0 t
+
s

Onde M = max ) x ( f
' ' '
no intervalo [0,2; 0,4]. Como f(x) = x.e
3.x
, segue que:

f

(x) = e
3.x
(1 + 3.x)
f

(x) = e
3.x
.(6 + 9.x)
f

(x) = 27.e
3.x
.(1 + x)

No intervalo [0,2; 0,4], f

(x) mxima para x = 0,4. Logo M = f

(0,4) = 125,4998. Sen-

do assim:
0,0078 ) 25 , 0 ( E
! 3
4998 , 125
. 0,4) - 0,3).(0,25 - 0,2).(0,25 - (0,25 ) 25 , 0 ( E
t
t
s
s

Note-se que y = p(x) no necessariamente converge para y = f(x) em [a, b] aumentando o
nmero de pontos de interpolao. Polinmios interpoladores de grau elevado podem pro-
duzir grandes oscilaes nos extremos do intervalo, o Fenmeno de Runge.
Este fenmeno demonstra que polinmios de grau elevado so normalmente pouco reco-
mendveis para a interpolao porque aumentam o erro em valores prximos aos extremos
do intervalo de interpolao e melhoram a aproximao em valores prximos ao centro.
O problema pode ser evitado usando interpolao polinomial por partes com polinmios de
grau moderado. Desta forma, pode-se tentar diminuir o erro de interpolao aumentando o
nmero de peas de polinmios usadas, em vez de aumentar o grau do polinmio.
Exemplos tpicos: interpolao linear por partes (uma reta para cada par de pontos) e inter-
polao quadrtica por partes (uma parbola para cada trs pontos), curvas spline.
Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

8
4 - Mtodos de obteno do polinmio interpolador
4.1 Mtodo de Lagrange
Neste mtodo, o polinmio, y = L(x), que interpola uma funo, y = f(x), em um conjunto
de pontos (x
i
, y
i
), i = 0, 1, ..., n considerado na forma
) x ( L . y ) x ( L . y ) x ( L . y ) x ( L
n n 1 1 0 0
+ + + =
(4.1)

Onde os L
i
(x), i = 0,1, 2, ..., n; so polinmios tais que
L
i
(x
i
) = 1
L
i
(x
j
) = 0; i, j = 0,1, 2, ..., n; j = i
Logo, cada L
i
(x) L
i
(x) um polinmio de grau n e
L(x
i
) = f (x
i
) = y
i
, i = 0, 1, ..., n.
Para determinar cada L
i
(x), i = 0,1, ..., n; basta considerar que todo x
j
, j = 0, 1, ..., n; um
zero de L
i
(x) quando i = j.
Seja, a ttulo de exemplo, a determinao de L
0
(x). Tem-se, por condio, que
L
0
(x
0
) = 1
L
0
(x
j
) = 0; j = 1, 2, ..., n
Portanto, conhecendo os zeros de L
0
(x), pode-se escrev-lo na forma

L
0
(x) = c
0
.(x x
1
).(x x
2
) ... (x x
n
)
Para determinar o coeficiente c
0
basta considerar o valor numrico de L
0
(x) em x = x
0
que,
por condio, igual a 1.
L
0
(x
0
) = c
0
.(x
0
x
1
).(x
0
x
2
) ... (x
0
x
n
) = 1

) x x ( ) x x )( x x (
1
c
n 0 2 0 1 0
0

=

Tem-se, ento, que
) x x ( ) x x )( x x (
) x x ( ) x x )( x x (
) x ( L
n 0 2 0 1 0
n 2 1
0


=

(4.2)

Seja, agora, a determinao de L
1
(x). Por condio, tem-se que
L
1
(x
1
) = 1
Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

9
L
1
(x
j
) = 0; j = 0, 2, ..., n
E, ento, L
1
(x), pode ser escrito na forma
L
1
(x) = c
1
.(x x
0
).(x x
2
) ... (x x
n
)
De modo anlogo ao que foi feito anteriormente, para determinar o coeficiente c
1
basta
considerar o valor numrico de L
1
(x) em x = x
1
que, por condio, igual a 1, obtendo-se
ento
L
1
(x
1
) = c
1
.(x
1
x
0
).(x
1
x
2
) ... (x
1
x
n
) = 1
) x x ( ) x x )( x x (
1
c
n 1 2 1 0 1
1

=

Tem-se, ento, que
) x x ( ) x x )( x x (
) x x ( ) x x )( x x (
) x ( L
n 1 2 1 0 1
n 2 0
1


=

(4.3)


Considerando os resultados 4.2 e 4.3, conclui-se que

) x x ( ) x x )( x x ( ) x x )( x x (
) x x ( ) x x )( x x ( ) x x )( x x (
) x ( L
n i 1 i i 1 i i 1 i 0 i
n 1 i 1 i 1 0
i


=
+
+


, i = 0, 1, ..., n (4.4)

Exemplo 4.1
Seja y = f(x) uma funo dada nos pontos a seguir. Utilizando o mtodo de Lagrange de-
terminar o polinmio que a interpola.

i 0 1 2 3
x
i
0 1 2 4
y
i
4 11 20 44

Soluo
O polinmio interpolador :
L(x) = y
0
.L
0
(x) + y
1
.L
1
(x) + y
2
.L
2
(x) + y
3
.L
3
(x)
Seja, ento, a obteno de L
i
(x), i = 0, 1, 2, 3
8 -
8 - 14.x 7.x - x

8 -
4) - 2).(x - 1).(x - (x

) x - x )( x - x )( x - (x
) x - x )( x - x )( x - (x
) x ( L
2 3
3 0 2 0 1 0
3 2 1
0
+
= = =

Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

10
3
8.x 6.x - x

3
4) - 2).(x - 0).(x - (x

) x - x )( x - x )( x - (x
) x - x )( x - x )( x - (x
) x ( L
2 3
3 1 2 1 0 1
3 2 0
1
+
= = =

4 -
4.x 5.x - x

4 -
4) - 1).(x - 0).(x - (x

) x - x )( x - x )( x - (x
) x - x )( x - x )( x - (x
) x ( L
2 3
3 2 1 2 0 2
3 1 0
2
+
= = =

24
2.x 3.x - x

24
2) - 1).(x - 0).(x - (x

) x - x )( x - x )( x - (x
) x - x )( x - (x ) x - x (
) x ( L
2 3
2 3 1 3 0 3
2 1 0
3
+
= = =

Obtm-se, ento, que

L(x) = x
2
+ 6.x + 4
Exemplo 4.2
Sendo y = f(x) uma funo conhecida nos pontos:

i 0 1 2
x
i
0,9 1 1,1
y
i
0,6216 0,5403 0,4536
Pede-se:
(i) Utilizando interpolao polinomial, mtodo de Lagrange, estimar o valor de y para
x = 1,07.
Soluo
O polinmio interpolador :
L(x) = y
0
.L
0
(x) + y
1
.L
1
(x) + y
2
.L
2
(x)
Neste item, pede-se para calcular L(1,07) que dado por:

L(1,07) = y
0
.L
0
(1,07) + y
1
.L
1
(1,07) + y
2
.L
2
(1,07)
Tem-se que
0,1050 - ) 07 , 1 ( L
1,1) - 1).(0,9 - (0,9
1,1) - 1).(x - (x

) x - x )( x - (x
) x - x )( x - (x
) x ( L
0
2 0 1 0
2 1
0
= = =

0,5100 ) 07 , 1 ( L
1,1) - 0,9).(1 - (1
1,1) - 0,9).(x - (x

) x - x )( x - (x
) x - x )( x - (x
) x ( L
1
2 1 0 1
2 0
1
= = =

0,5950 ) 07 , 1 ( L
1) - 0,9).(1,1 - (1,1
1) - 0,9).(x - (x

) x - x )( x - (x
) x - x )( x - (x
) x ( L
2
1 2 0 2
1 0
2
= = =

Portanto
L(1,07) = (0,6216).(-0,1050) + (0,5403).(0,5100) + (0,4536).(0,5950) L(1,07) = 0,4802
Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

11
(ii) Sabendo-se que os pontos dados so relativos funo y = cos(x), estime o erro de
truncamento mximo cometido no item (i).
Soluo
Sabe-se que o erro de truncamento mximo cometido dado por:
1)! n (
M
. ) x - (x ... ) x - x ).( x - (x ) x ( E
n 1 0 t
+
s
onde M = mx|f
n + 1
(x)| no intervalo [x
0
, x
n
].
Tem-se que f (x) = sen(x), cujo mdulo mximo no intervalo [0,9; 1,1] para x = 1,1 e
f (1,1) = 0,8912 = M. Sendo assim,
0,0001 10 x 5,3 ) 07 , 1 ( E
! 3
8912 , 0
. | ) 1,1 - (1,07 ). 1 - (1,07 ). 0,9 - (1,07 | ) 07 , 1 ( E
5 -
t t
~ s s


4.2 Mtodo das diferenas divididas
4.2.1 O operador diferena dividida
Definio 4.1
Dada uma funo, y = f(x), a sua primeira derivada definida como:

h
f(x) - h) x ( f
lim (x) ' f
0 h
+
=

(4.5)

Sendo (x
i
, y
i
), i = 0, 1, ..., n; um conjunto de pontos da funo, ento:

h
) f(x - h) x ( f
lim ) (x ' f
i i
0 h
i
+
=

Seja
x
i
+ h = x
i + 1
h = x
i + 1
- x
i

Sendo assim
i 1 i
i 1 i
x x
i
x - x
) f(x - ) x ( f
lim ) (x ' f
1 i i +
+

+
=
(4.6)

Definio 4.2
Sendo (x
i
, y
i
), i = 0, 1, ..., n; um conjunto de pontos, com abscissas distintas, de uma fun-
o y = f(x), define-se o operador diferena dividida de primeira ordem como:

i 1 i
i 1 i
i 1 i
i 1 i
i
x - x
y - y

x - x
) f(x - ) x ( f
Dy
+
+
+
+
= =
, i = 0, 1, ..., n 1 (4.7)
Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

12
Observe-se que este operador nada mais do que uma aproximao do valor numrico da
primeira derivada de uma funo em um ponto.
Pode ser demonstrado que as diferenas divididas de ordem superior so aproximaes
para as derivadas de ordem superior.
A diferena dividida de segunda ordem definida como:

i 2 i
i 1 i
i
2
x - x
y D - y D
y D
+
+
= , i = 0, 1, ..., n 2 (4.8)

A diferena dividida de terceira ordem definida como:

i 3 i
i
2
1 i
2
i
3
x - x
y D - y D
y D
+
+
= , i = 0, 1, ..., n 3 (4.9)

Considerando as definies (4.7), (4.8) e (4.9), tem-se que a diferena dividida de ordem k,
definida como:

=
=
=
+
+
k - n ..., 1, 0, i
n ..., 2, 1, k
,
x - x
y D - y D
y D
i k i
i
1 - k
1 i
1 - k
i
k
(4.10)

Sendo a diferena dividida de ordem zero definida como:

D
0
y
i
= y
i
, i = 0, 1, ..., n (4.11)

4.2.2 O polinmio interpolador com diferenas divididas
Neste mtodo, a idia obter o polinmio, y = p(x), que interpola uma funo, y = f(x), em
um conjunto de pontos (x
i
, y
i
), i = 0, 1, ..., n; na forma

p(x) = a
0
+ a
1
.(x x
0
) + a
2
.(x x
0
)(x x
1
) + ... + a
n
.(x x
0
)(x x
1
) ... (x x
n - 1
) (4.12)

Tendo em vista que y = p(x) deve ser tal que p(x
i
) = f(x
i
) = y
i
, i = 0, 1, ..., n
Ento

p(x
0
) = a
0
a
0
= y
0
= Dy
0
(4.13)

p(x
1
) = y
0
+ a
1
.(x
1
x
0
) = y
1

Vem, ento, que

Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

13
0 1
0 1
1
x - x
y - y
a = (4.14)

Tendo em vista a definio 4.7, verifica-se que 4.14 a diferena dividida de primeira or-
dem, ou seja

a
1
= Dy
0
(4.15)
O polinmio 4.12 deve interpolar y = f(x) no ponto (x
2
, y
2
). Portanto

p(x
2
) = y
0
+ Dy
0
.(x
2
x
0
) + a
2
.(x
2
x
0
)(x
2
x
1
) = y
2


Ento
) x - (x ) x - (x
) x - (x
) y - y (
) x - (x - y - y
a
1 2 0 2
0 1
0 1
0 2 0 2
2
=

) x - (x ) x - (x ) x - (x
) y - y )( x - (x - ) y - y )( x - (x
a
0 1 1 2 0 2
0 1 0 2 0 2 0 1
2
= (4.16)

Seja N o numerador de 4.16, fazendo o seu desenvolvimento, tem-se que:

N = x
1
.y
2
- x
1
.y
0
- x
0
.y
2
+ x
0
.y
0
(x
2
.y
1
- x
2
.y
0
- x
0
.y
1
+ x
0
.y
0
)
N = x
1
.y
2
- x
1
.y
0
- x
0
.y
2
+ x
0
.y
0
x
2
.y
1
+ x
2
.y
0
+ x
0
.y
1
- x
0
.y
0

N = x
1
.y
2
- x
1
.y
0
- x
0
.y
2
x
2
.y
1
+ x
2
.y
0
+ x
0
.y
1
(4.17)

Somando e subtraindo x
1
.y
1
em 4.17 vem

N = x
1
.y
2
- x
1
.y
0
- x
0
.y
2
x
2
.y
1
+ x
2
.y
0
+ x
0
.y
1
+ x
1
.y
1
- x
1
.y
1


De onde obtido

N = x
1
.(y
2
y
1
) x
0
.(y
2
y
1
) x
2
.(y
1
y
0
) + x
1
.(y
1
y
0
)
N = (x
1
x
0
).(y
2
y
1
) (x
2
x
1
).(y
1
y
0
) (4.18)

Substituindo 4.18 em 4.16 tem-se que

) x - (x ) x - (x ) x - (x
) y - y )( x - (x - ) y - y )( x - (x
a
0 1 1 2 0 2
0 1 1 2 1 2 0 1
2
=
Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

14
0 2
0 1
0 1
1 2
1 2
2
x - x
x - x
y - y
-
x - x
y - y
a =

Portanto

0 2
0 1
2
x - x
Dy - Dy
a = (4.19)
Com base na definio 4.8, conclui-se que 4.19 a diferena dividida de segunda ordem.
Sendo assim

a
2
= D
2
y
0
(4.20)

Portanto, pode-se concluir que a
i
= D
i
y
0
, i = 0, 1, ... n; e, ento, 4.12 um polinmio da
forma:

p(x) = y
0
+ (x x
0
) .Dy
0
+ (x x
0
)(x x
1
) .D
2
y
0
+ ... + (x x
0
)(x x
1
) ... (x x
n - 1
).D
n
y
0

(4.21)

Teorema 4.1 (Valor Mdio de Lagrange Generalizado)
Se y = f(x) uma funo com n derivadas contnuas no intervalo [x
0
, x
n
], ento existe um
ponto [x
0
, x
n
] tal que
! n
) ( f
y D
n
0
n

=
(4.22)

Demonstrao
Seja
e(x) = f(x) p(x)
Onde p(x) o polinmio que interpola f(x) nos pontos dados. Assim sendo, a funo e(x)
tem n + 1 zeros distintos, o que implica, pelo Teorema de Rolle Generalizado, que e`(x)
tem n zeros em [x
0
, x
n
] e, assim, sucessivamente. Assim, conclui-se que existe um [a,b]
tal que e
n
() = 0. Ou seja

0 = f
n
() p
n
() 0 = f
n
() D
n
y
0
.n!
c.q.d.
Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

15
Corolrio 4.1
Sob as hiptese do teorema anterior, tem-se que
! n
) x ( f
) x ( f D
n
n
~
(4.22)

Corolrio 4.2
Se y = f(x) e suas derivadas at a ordem (n + 1) so contnuas no intervalo [x
0
, x
n
], ento:
E
T
(x) |(x x
0
). (x x
1
). ... . (x x
n
)|.mx|D
n + 1
f(x)|

Tendo em vista o teorema 4.1 e o corolrio 4.2, na ausncia de informao sobre f
n + 1
(x),
uma estimativa para o erro de truncamento mximo pode ser obtida utilizando uma dife-
rena dividida de ordem (n + 1), caso estas no variem muito.

Exemplo 4.3
A tabela a seguir apresenta valores da voltagem, V, em funo da corrente eltrica, I. Utili-
zando interpolao polinomial, mtodo das diferenas divididas, estime o valor de V quan-
do I = 3A.

i 0 1 2 3
I = x
i
1 2 4 8
V = y
i
120 94 75 62

Soluo
Inicialmente, so determinados os valores das diferenas divididas.

i I = x
i
V = y
i
Dy
i
D
2
y
i
D
3
y
i

0 1 120 - 26 5,5 - 0,64
1 2 94 - 9,5 1,04
2 4 75 - 3,25
3 8 62

Tem-se, ento:
p(x) = y
0
+ (x - x
0
).Dy
0
+ (x - x
0
).(x x
1
).D
2
y
0
+ (x - x
0
).(x x
1
).(x x
2
).D
3
y
0

p(3) = 120 + (3 - 1).(- 26) + (3 - 1).(3 2).(5,5) + (3 - 1).(3 2).(3 4).(- 0,64)
p(3) = 80,28V

Exemplo 4.4
Uma barra de metal encontra-se presa em duas paredes separadas pela distncia de 12m. A
5m da parede A (ver figura), um corpo apoiado sobre a barra faz com que esta toque no
solo. Os pontos de engate nas duas paredes esto a 8m (parede A) e 3m (parede B) do solo,
Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

16
conforme mostra a figura a seguir. Usando interpolao polinomial, Mtodo das Diferen-
as Divididas, pede-se estimar

a) a altura, em relao ao solo, de um ponto da barra localizado a 2m da parede A;
b) qual deve ser a altura da barra no ponto localizado a 2m da parede A, para que o trecho
compreendido at 5m da mesma seja representado por um polinmio de grau um.
d=12m
p
a
r
e
d
e

A
p
a
r
e
d
e

B
SOLO
3

m
8

m

Soluo
a) Os pontos a considerar so os da tabela a seguir.

i x
i
V = y
i
Dy
i
D
2
y
i

0 0 8 - 1,6 0,169
1 5 0 0,429
2 12 3

p(x) = y
0
+ (x - x
0
).Dy
0
+ (x - x
0
).(x x
1
).D
2
y
0

p(2) = 8 + (2 - 0).(- 1,6) + (2 - 0).(2 5).(0,169) p(2) = 3,786m

b) Pede-se para determinar a altura y da barra a 2m da parede A. Os pontos a considerar e
as diferenas divididas esto na tabela a seguir.

i x
i
y
i
Dy
i
D
2
y
i

0 0 8

1 2 y


2 5 0

Para que este trecho seja representado por um polinmio de grau um, necessrio que a
diferena dividida de segunda ordem seja nula. Ento, fazendo:

y = 4,8m

Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

17
4.3 Mtodo das diferenas finitas ascendentes
4.3.1 O Operador Diferena Finita Ascendente
Definio 4.3
Sendo (x
i
, y
i
), i = 0, 1, . . . , n; pontos de uma funo, y = f(x), tais que x
i + 1
x
i
= h = cons-
tante; i = 0, 1, . . . , n 1; define-se a diferena finita ascendente de primeira ordem como:

f(x) = f(x + h) f(x) (4.24)

Em um ponto x
i
tem-se que

f(x
i
) = f(x
i
+ h) f(x
i
)
y
i
= y
i + 1
y
i
, i = 0, 1, 2, ..., n 1 (4.25)

Da definio (4.24), verifica-se que o operador (.) linear (ver anexo), sendo assim, as
diferenas finitas ascendentes de ordem superior so definidas, por recorrncia, da seguinte
maneira.
Segunda ordem.

[y
i
] = [y
i + 1
y
i
]

2
y
i
= y
i + 1
y
i
, i = 0, 1, 2, ..., n 2 (4.26)

Terceira ordem.

[
2
y
i
] = [y
i + 1
y
i
,]

3
y
i
=
2
y
i + 1

2
y
i
, i = 0, 1, 2, ..., n 3 (4.27)

Generalizando, tem-se que a diferena finita ascendente de ordem r definida como:

k
y
i
=
k - 1
y
i + 1

k - 1
y
i

=
=
k - n ..., 1, 0, i
n ..., 2, 1, k
(4.28)

Sendo a diferena finita ascendente de ordem zero definida como:

0
y
i
= y
i
; i = 0, 1, 2, ..., n (4.29)

As diferenas finitas ascendentes esto intimamente relacionadas com as derivadas de uma
funo. Tendo em vista as definies 4.1 e 4.3, verifica-se que
h
) x ( f A
uma aproximao
para a primeira derivada de uma funo y = f(x). O teorema a seguir generaliza esta idia.
Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

18

Teorema 4.3
Sendo y = f(x) uma funo com derivadas contnuas at a ordem k, tem-se que:

k
f(x) = h
k
.f
(k)
(
k
) para algum
k
(x, x + k.h) (4.30)
Demonstrao
A demonstrao ser feita por induo sobre k.
Base de induo: a relao vale para k = 1
f(x) = f(x + h) f(x) = h.f () (Teorema do Valor Mdio)

Hiptese de induo
Admita-se que a relao vale para k 1.

k 1
f(x) = h
k 1
.f
k 1
(
k 1
),
k 1
(x, x + (k 1).h)

Passagem de induo
Provar que a relao vlida para k.

k
[f(x)] =
k - 1
[[f(x)]] =
k - 1
[f(x + h) f(x)]
=
k - 1
[f(x + h)]
k - 1
[f(x)]

k - 1
[f(x + h)] = h
k - 1
f
(k1)
(
1
) com
1
(x + h, x + h + (k 1)h) = (x + h, x + h.k)

k1
[f(x)] = h
k1
f
(k1)
(
2
) com
2
(x, x + (k 1)h)

Usando agora o (T.V.M) para f
(k1)
tem-se

k
(
1
,
2
) ou (
2
,
1
) : f
(k1)
(
1
) f
(k1)
(
2
) = hf
(k)
(
k
)

Vem, ento, que

k
[f(x)] =
k1
[f(x + h)]
k1
[f(x)]
= h
k1
(f
(k1)
(
1
) f
(k1)
(
2
))
= h
k1
hf
(k)
(
k
),
k
(
1
,
2
)
= h
k
f
(k)
(
k
),
k
(x, x + k.h)
c.q.d.
Corolrio 4.3
[
k
f(x) / h
k
]. uma aproximao para f
(k)
(x) e o erro cometido tende a zero quando h 0.
Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

19
4.3.2 O polinmio interpolador com diferenas finitas ascendentes
Teorema 4.2
Se (x
i
, y
i
), i = 0, 1, . . . , n; so pontos de uma funo, y = f(x), tais que x
i + 1
x
i
= h, i = 0,
1, . . . , n 1; ento vale a seguinte relao entre diferenas divididas e diferenas finitas
ascendentes.

! k .
k
h
y
k
y
k
D
i
i
A
= , k = 0, 1, 2, ..., n; i = 0, 1, 2, ..., n k (4.31)

Demonstrao:
A demonstrao feita por meio de induo finita em r.
Base de induo: ordem 1
Dy
i
=
i 1 i
i 1 i
x x
y y

+
+
=
! 1 . h
y

h
y
1
i i
A
=
A
, i = 0,1, 2, , n - 1

Hiptese de induo
Admita-se que o argumento vlido para a ordem k 1.
)! 1 k .( h
y
y D
1 k
i
1 k
i
1 - k

A
=


, i = 0,1, 2, , n k + 1

Passagem de induo
Provar que vlido para ordem k. Por definio
i k i
i
1 k
1 i
1 k
i
k
x x
y D y D
y D

=
+

, i = 0,1, 2, , n k
Sendo x
i + k
x
i
= k.h, ,tem-se que
h . k
)! 1 k .( h
y
)! 1 k .( h
y
y D
1 k
i
1 k
1 k
1 i
1 k
i
k

A

A
=

, i = 0,1, 2, , n k

)! 1 k .( k . h . h
y - y
y D
1 k
i
1 k
1 i
1 k
i
k

A A
=


+

, i = 0,1, 2, , n - k
Portanto
! k . h
y
y D
k
i
k
i
k
A
= , k = 0, 1, 2, ..., n; i = 0, 1, 2, ..., n k
c.q.d.
Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

20
Seja, agora, a seguinte varivel
h
x - x
z
0
= (4.32)
De onde vem que
x = x
0
+ h.z
x - x
0
= h.z
x x
1
= x (x
0
+ h) = x x
0
h = h.z h = h.(z 1)
x x
2
= x (x
0
+ 2.h) = x x
0
2.h = h.z 2.h = h.(z 2)
.
.
.
x x
n - 1
= h.[z (n - 1)]
Efetuando as substituies no polinmio interpolador com diferenas divididas, 4.21, ob-
tm-se que o polinmio interpolador com diferenas finitas ascendentes:

0
n
0
3
0
2
0 0 0
y
! n
)] 1 n ( z [ ... ) 1 z ( z
... y
! 3
) 2 z )( 1 z ( z
y
! 2
) 1 z ( z
y . z y h.z) x ( p A

+ + A

+ A

+ A + = +
(4.33)

Exemplo 4.5
Os pontos a seguir relacionam a solubilidade, S, da gua no leo mineral, em partes por
milho, com a temperatura, t, em graus centgrados. Utilizando interpolao polinomial,
mtodo das diferenas finitas ascendentes, estime o valor de t quando S = 200ppm.

S t
i x
i
y
i
y
i

2
y
i

3
y
i
0 30 15 35 -19 13
1 130 50 16 -6
2 230 66 10
3 330 76

Sabe-se que

h
x - x
z
0
= 1,7
100
30 - 200
z = =

Logo

0
3
0
2
0 0 0
y
! 3
) 2 z )( 1 z ( z
y
! 2
) 1 z ( z
y . z y h.z) x ( p A

+ A

+ A + = +

) 13 .(
! 3
) 2 z )( 1 z ( z
) 19 .(
! 2
) 1 z ( z
) 35 .( z 15 h.z) x ( p
0

+

+ + = +

Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

21
Sendo assim, o polinmio interpolador dado por:

p(x
0
+ h.Z) = 2.17.Z
3
16.Z
2
+ 48,83.Z + 15

Tem-se, ento, que p(200) = 62,4
o
C

Exemplo 4.6
Uma hidroeltrica tem capacidade mxima de 60MW, que determinada por trs gerado-
res de 30MW, 15MW e 15MW, respectivamente. A demanda de energia varia num ciclo
de 24h, sendo que a demanda mnima ocorre entre 2h e 5h e a mxima entre 14h e 17h.
Utilizando interpolao polinomial, mtodo das diferenas finitas ascendentes, estime a
demanda mnima e a mxima e o horrio em que cada uma ocorre, considerando os dados
a seguir.

i 0 1 2 3
Hora (x
i
) 2 3 4 5
Demanda (y
i
) 16,4 15,2 14,9 16,0

i 0 1 2 3
Hora (x
i
) 14 15 16 17
Demanda (y
i
) 36,5 43,0 34,0 31,2

Soluo
Demanda mnima
Inicialmente, so calculados os valores das diferenas finitas ascendentes.
i x
i
y
i Ay
i
A
2
y
i
A
3
y
i
Sendo
h
x - x
z
0
=

ento z = x 2 e x = 2 + z
0 2 16,4 - 1,2 0,9 0,5
1 3 15,2 - 0,3 1,4
2 4 14,9 1,1
3 5 16,0

O polinmio interpolador tem a forma

0
3
0
2
0 0 0
y
! 3
) 2 z )( 1 z ( z
y
! 2
) 1 z ( z
y . z y h.z) x ( p A

+ A

+ A + = +


Assim,
) 5 , 0 (
! 3
) 2 z )( 1 z ( z
) 9 , 0 (
! 2
) 1 z ( z
) 2 , 1 .( z 4 , 16 z) 2 ( p

+

+ + = +


16,4 1,48.z - z . 2 , 0 z . 08 , 0 z) 2 ( p
2 3
+ + = +

Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

22
Para estimar a demanda mnima basta obter a primeira derivada de p(2 + z) e determinar os
seus zeros. Tem-se, ento:

p(2 + z) = 0,24.z
2
+ 0,4.z 1,48 = 0

Trata-se de uma funo do segundo grau. Seus zeros so 3,46, que no tem sentido para
este problema, e 1,79. A questo, agora, verificar que z = 1,79 abscissa de ponto de
mnimo. Para isto toma-se a segunda derivada de p(2 + z) e verifica-se, facilmente, que:

p(2 + z) = 0,48.z + 0,4 > 0 z > 0

Logo z = 1,79 , de fato, abscissa de um ponto de mnimo. Portanto p(3,79) = 14,8MW
uma estimativa para a demanda mnima e. x = 3,79, que corresponde a 03h48min, o ho-
rrio aproximado no qual a ela ocorre.

Demanda mxima
Clculo das diferenas finitas ascendentes.
i x
i
y
i
Ay
i
A
2
y
i
A
3
y
i
Sendo
h
x - x
z
0
=

ento z = x 14 e x = 14 + z
0 14 36,5 6,5 - 15,5 21,7
1 15 43,0 - 9 6,2
2 16 34,0 - 2,8
3 17 31,2

O polinmio interpolador tem a forma

0
3
0
2
0 0 0
y
! 3
) 2 z )( 1 z ( z
y
! 2
) 1 z ( z
y . z y h.z) x ( p A

+ A

+ A + = +


Assim,
) 7 , 21 (
! 3
) 2 z )( 1 z ( z
) 5 , 15 (
! 2
) 1 z ( z
) 5 , 6 .( z 5 , 36 z) 14 ( p

+

+ + = +


36,5 21,48.z z . 18,6 z . 62 , 3 z) 14 ( p
2 3
+ + = +

Derivando p(14 + z) tem-se a funo:

p(14 + z) = 10,86.z
2
- 37,2.z + 21,48

Cujos zeros so z = 0,74 e z = 2,69. Basta, agora, calcular o valor numrico da segunda
derivada de p(14 + z) em cada um destes pontos para verificar qual deles abscissa de
ponto de mximo.
Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

23
Sendo
p(14 + z) = 21,72.z - 37,2

Para z = 0,74, tem-se que p(14,74) = - 21,13 e, para z = 2,69, p(16,69) = 21,23. Portan-
to, z = 0,74 abscissa de ponto de mximo e, calculando o valor numrico do polinmio
interpolador neste ponto, tem-se a estimativa para a demanda mxima que
p(14,74) = 43,7MW
e verifica-se que ela ocorre s 14h44min, aproximadamente.

5 Complexidade dos mtodos de interpolao
importante, quando se avalia a eficincia de um algoritmo qualquer, saber como ele se
comporta com relao ao nmero de operaes aritmticas em funo do tamanho da sua
entrada. Esta a anlise de complexidade de tempo do algoritmo. Quando se avalia a quan-
tidade de memria necessria em funo do tamanho da entrada, tem-se a anlise de com-
plexidade de espao. Existe uma vasta teoria sobre tcnicas de avaliao formal destas
complexidades. Neste texto considera-se, estritamente, o nmero de operaes aritmticas.
Os mtodos de interpolao de Lagrange, Diferenas Divididas e Diferenas Finitas As-
cendentes realizam, cada um, um nmero especfico de operaes aritmticas, ou seja, cada
um tem a sua complexidade. A tabela 5.1 apresenta uma sntese da anlise feita para cada
um destes mtodos.

Mtodo Adies Multiplicaes Divises Total
Lagrange 2.n
2
+ 3.n 2.n
2
+ n - 1 n + 1 4.n
2
+ 5.n
Diferenas divididas
n .
2
5
n .
2
3
2
+

2
n

2
n
2
+
2
n

2
n
2
+
n .
2
7
n .
2
5
2
+
Diferenas finitas
ascendentes
n
2
+ n + 1
2
n

2
n
2
+
n 1 n .
2
5
n .
2
3
2
+ +
Tabela 5.1: Complexidade dos mtodos de interpolao (n o grau do polinmio)

Tomando como exemplo um polinmio interpolador de grau dez verifica-se que o nmero
total de operaes efetuadas pelo Mtodo de Lagrange igual a 450, pelo Mtodo das Di-
ferenas Divididas 285 e, pelo Mtodo das Diferenas Finitas Ascendentes, 176. O que
leva a verificar que o Mtodo das Diferenas Finitas Ascendentes apresenta maior eficin-
cia quando comparado com os outros dois mtodos estudados.

Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

24
6 Consideraes finais
(a) Os mtodos que utilizam diferenas (divididas ou finitas ascendentes) so eficientes
quando se deseja aumentar (ou diminuir) o grau do polinmio obtido, pois basta, sim-
plesmente, acrescentar (ou retirar) termos. Logo, para clculos exploratrios, estes m-
todos, em geral, so preferveis.
(b) No mtodo de Lagrange a alterao do grau do polinmio exige que os clculos sejam,
todos, refeitos.
(c) O mtodo de Lagrange ocupa menos memria, uma vez que no necessrio o clculo
e o armazenamento de uma tabela de diferenas divididas ou finitas ascendentes.
(d) A desvantagem na utilizao do Mtodo das Diferenas Finitas Ascendentes a exi-
gncia de que as abscissas dos pontos a utilizar para a interpolao devam ser, neces-
sariamente, eqidistantes.
(e) Nos mtodos que utilizam diferenas divididas ou finitas ascendentes, a estimativa do
erro de truncamento pode ser facilmente integrada ao algoritmo, uma vez que utiliza
uma diferena.
(f) No mtodo de Lagrange, a estimativa do erro de truncamento pode ser obtida somente
se a funo interpolada for conhecida analiticamente.
(g) O mtodo de Lagrange um pouco mais fcil de ser implementado.
Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

25
Anexos
a) Teorema do Valor Mdio
Se y = f(x) uma funo que satisfaz as condies:
(i) contnua no intervalo fechado [ a, b ]
(ii) derivvel no intervalo aberto ( a, b )
Ento, existe pelo menos um nmero c em (a, b), tal que:

a - b
f(a) - f(b)
) c ( ' f =


Geometricamente, o teorema do valor mdio diz que se f uma funo "suave" que liga os
pontos A= ( a ,f( a )) e B = ( b ,f( b )) existe pelo menos um ponto c, entre a e b , tal que a
reta tangente ao grfico de f em c paralela a reta secante que passa por A e B. A figura a
seguir ilustra o teorema.



O teorema do valor mdio a traduo matemtica para um fato que aparece de forma cor-
riqueira em muitas situaes cotidianas. Por exemplo, se a mdia de velocidade, em uma
viagem de carro de 80 km/h, ento, em algum momento da viagem, o velocmetro do
carro deve ter marcado 80km/h.
Para traduzir a afirmao em termos matemticos, considere-se que s(t) a posio do car-
ro em um instante t. Se a viagem comea em t = a (horas) e termina em t = b (horas), a ve-
locidade mdia dada por:
a - b
s(a) - s(b)
v
m
=
A afirmao de que em algum momento da viagem a velocidade instantnea deve ser igual
velocidade mdia, significa que em algum tempo c tem-se:
(c) ' s v(c)
a - b
s(a) - s(b)
v
m
= = =
O Teorema do Valor Mdio estabelece as condies mnimas que uma funo s deve satis-
fazer para que a igualdade acima seja verdadeira.
Depto de Computao Instituto de Cincias Exatas e Biolgicas Universidade Federal de Ouro Preto

Prof. Jos lvaro Tadeu Ferreira - Notas de aulas de Clculo Numrico

26
b) Operador linear
Um operador o linear se, e somente se:
(i) o.(u w) = o.u o.w
(ii) o.(k.w) =k.( o.w), onde k uma constante real

Ento, de fato, o operador (.) linear, pois:

(f + g)(x) = (f + g).(x + h) (f + g)(x)
= f(x + h) + g(x + h) f(x) g(x)
= f(x + h) f(x ) + g(x + h) g(x)
= f(x) + g(x)

e

(k.f(x)) = (k.f(x + h)) (k.f(x))
= k.f(x + h) k.f(x)
= k.[f(x + h) f(x)]
= k. .f(x)