Universidade Federal de Gois

Instituto de Matemtica e Estatstica

Programa de Mestrado Profissional em
Matemtica em Rede Nacional

Aplicao do Polinmio de Taylor na

Aproximao da Funo Seno

Emilio Curi Neto

Goinia
2014

sbi

UFG

T E R M O D E CINCIA E D E AUTORIZAO P A R A D I S P O N I B I L I Z A R A S T E S E S E
DISSERTAES ELETRNICAS ( T E D E ) N A B I B L I O T E C A D I G I T A L D A U F G

N a q u a l i d a d e d e t i t u l a r d o s d i r e i t o s d e a u t o r , a u t o r i z o a U n i v e r s i d a d e F e d e r a l d e Gois
( U F G ) a d i s p o n i b i l i z a r , g r a t u i t a m e n t e , p o r m e i o d a B i b l i o t e c a D i g i t a l d e T e s e s e Dissertaes
( B D T D / U F G ) , s e m r e s s a r c i m e n t o d o s d i r e i t o s a u t o r a i s , d ea c o r d o c o m a Lei n o 9 6 1 0 / 9 8 , o d o c u m e n t o c o n f o r m e permisses a s s i n a l a d a s a b a i x o , p a r a f i n s d e l e i t u r a , impresso e / o u d o w n load,
a ttulo d e divulgao d a produo cientfica b r a s i l e i r a , a p a r t i r d e s t a d a t a .

1 . Identificao d o m a t e r i a l bibliogrfico:

[ X ] Dissertao

[ ] Tese

2 . Identificao d a T e s e o u Dissertao
Autor(a):
EMILIO CURI NETO
emiliocui@amail.com
E-mail:
Seu e-mail pode ser disponibilizado

Brasil

[ ]Sim

[ X ] No

S e c r e t a r i a d e E s t a d o d e Educao d o D i s t r i t o F e d e r a l
Coordenao d e Aperfeioamento S i g l a :
CAPES
d e P e s s o a l d e Nvel S u p e r i o r
UF:
D F
CNPJ:
00.889.834/0001-08
Aplicao d o Polinmio d e T a y l o r n a Aproximao d a Funo S e n o

Vnculo empregatcio d o
Agncia d e f o m e n t o :
Pas:
Ttulo:

n a pgina?

autor

Palavras-chave:
Aproximaes P o l i n o m i a i s , Funes Trigonomtricas, Polinmio d e T a y l o r
Application of t h e T a y l o r Polynomial in A p p r o x i m a t i o n of t h e Sine
Ttulo e m o u t r a lngua:
Function
P a l a v r a s - c h a v e e m o u t r a lngua:

Polynomial Approximations,
Taylor Polynomial

Trigonometric

rea d e concentrao:
Matemtica d o E n s i n o Bsico
03/07/2014
Data defesa: (dd/mm/aaaa)
Programa d e Mestrado Profissional
P r o g r a m a d e Ps-Graduao:
Rede Nacional - P R O F M A T
Orientador (a): Dr. Maxwell Lizete da Silva
E-mail:
maxwell@ufa.br
Co-orientador (a):* |
E-mail:
|

Functions,

e m Matemtica e m

* N e c e s s i t a d o C P F q u a n d o no c o n s t a r n o S i s P G

3 . Informaes d e a c e s s o a o d o c u m e n t o :
C o n c o r d a c o m a liberao t o t a l d o d o c u m e n t o [ X ] S I M

] NO^

H a v e n d o concordncia c o m a disponibilizao eletrnica, t o r n a - s e imprescindvel o e n v i o d o ( s ) a r q u i v o ( s ) e m f o r m a t o d i g i t a l P D F o u D O C d a t e s e o u dissertao.

O s i s t e m a d a B i b l i o t e c a D i g i t a l d e T e s e s e Dissertaes g a r a n t e a o s a u t o r e s , q u e o s a r q u i v o s c o n t e n d o e l e t r o n i c a m e n t e a s t e s e s e o u dissertaes, a n t e s d e s u a disponibilizao,
recebero p r o c e d i m e n t o s d e segurana, c r i p t o g r a f i a ( p a r a no p e r m i t i r cpia e extrao d e
contedo, p e r m i t i n d o a p e n a s impresso f r a c a ) u s a n d o o padro d o A c r o b a t .

_^..^^^^^^<^UT .^'^^^^ y^^^^^

Data:

Assinatura do (a) autor (a)

' Neste caso o documento ser embargado por at um ano a partir da data de defesa. A extenso deste prazo suscita
justificativa junto coordenao do curso. Os dados do documento no sero disponibilizados durante o perodo de
embargo.

Emilio Curi Neto

Aplicao do Polinmio de Taylor na

Aproximao da Funo Seno

Trabalho de Concluso de Curso apresentado ao Instituto de Matemtica e Estatstica

da Universidade Federal de Gois, como parte dos requisitos para obteno do grau de
Mestre em Matemtica.
rea de Concentrao: Matemtica do Ensino Bsico
Orientador: Prof. Dr. Maxwell Lizete da Silva

Goinia
2014

Dados Internacionais de Catalogao na Publicao na (CIP)

GPT/BC/UFG
Curi Neto, Emilio.
C975a
Aplicao do polinmio de Taylor na aproximao da
funo seno / Emilio Curi Neto. - 2014.
75 f. : figs, tabs.
Orientador: Prof. Dr. Maxwell Lizete da Silva.
Dissertao (Mestrado) Universidade Federal de Gois,
Instituto de Matemtica e Estatstica, 2014.
Bibliografia.
Inclui lista de figuras e tabelas.
1. Polinomios 2. Trigonometria 3. Polinmio de Taylor
4. Funes trigonomtricas. I. Ttulo.
CDU 514.11

Emilio Curi Neto

Aplicao d o Polinmio d e T a y l o r n a
Aproximao d a Funo S e n o
T r a b a l h o d e Concluso d e C u r s o d e f e n d i d o n o P r o g r a m a d e M e s t r a d o P r o f i s s i o n a l e m
Matemtica e m R e d e N a c i o n a l - P R O F M A T / U F G , d o I n s t i t u t o d e Matemtica e
Estatstica d a U n i v e r s i d a d e F e d e r a l d e Gois, c o m o r e q u i s i t o p a r c i a l p a r a obteno
d o ttulo d e M e s t r e e m Matemtica, rea d e concentrao Matemtica d o E n s i n o
Bsico, a p r o v a d o n o d i a 0 3 d e j u l h o d e 2 0 1 4 , p e l a B a n c a E x a m i n a d o r a constituda
pelos professores:

Prof. Dr. Maxwell Lizete d a Silva

I n s t i t u t o d e Matemtica e Estatstica-UFG
Presidente da Banca

3 f n a . Oco

J \-

P r o f . * . D r " . Slvia Crstna B e l o e S i l v a

MAF/PUC-GO

P r o f . D r . D u r v a l Jos T o n o n
I n s t i t u t o d e Matemtica e Estatstica-UFG

Todos os direitos reservados. proibida a reproduo total ou parcial deste trabalho

sem a autorizao da universidade, do autor e do orientador.

Emilio Curi Neto graduou-se em Matemtica pela Pontifcia Universidade Catlica

do Rio Grande do Sul - PUCRS no ano de 2000, concluiu Especializao em Matemtica
na Universidade de Braslia - UnB no ano de 2003 e desde ento atua como professor
de matemtica na Secretaria de Estado de Educao do Distrito Federal - SEEDF e
em instituies privadas de ensino superior.

Dedico este trabalho a Deus, a meus avs, meus pais,

minha esposa, minhas filhas e todos aqueles que acreditaram em mim.

Agradecimentos

Agradeo a Deus, pois sempre esteve ao meu lado.

Agradeo aos meus avs, pois sempre investiram em minha educao.
Agradeo aos meus pais, pois me criaram para ser uma pessoa de bem.
Agradeo a minha esposa, pois sempre me apoiou.
Agradeo as minhas filhas, pois a acada dia me fazem querer ser melhor.
Agradeo ao Professor Prof. Dr. Maxwell Lizete da Silva, pois sem o auxilio de sua
experincia e conhecimento no conseguiria terminar este trabalho.
Agradeo a SEEDF, pois possibilitou minha dedicao integral a este projeto.
Agradeo a CAPES pelo suporte financeiro.

Resumo
Neste trabalho o objetivo principal est focado em aplicar a teoria de Taylor relativa
aproximaes polinomiais aplicadas funo trigonomtrica definida por f : [0, 2 ]
R, onde f (x) = sen(x). Para alcanar esse objetivo, foram desenvolvidas oito sees,
nas quais inicialmente apresentada uma reflexo sobre a necessidade e a problemtica
de obtr-se os valores desta relao a medida em que varia-se a medida do ngulo x.
Posteriormente apresentado e tratado um problema envolvendo o movimento de um
pndulo, o qual utiliza a aproximao sen(x) x onde x pertence o um certo intervalo.
Nas sees que seguem apresentada uma reviso bibliogrfica das Teorias do Clculo
Diferencial e Integral, assim como da Teoria de Taylor relacionada aproximao de
funes atravs de polinmios. Posteriormente utilizou-se estas teorias para analisar e
determinar polinmios que aproximam a funo sen(x) em uma vizinhana do ponto
x = 0, assim como estimar o erro gerado ao utilizar-se estas aproximaes. Nesse
momento tambm foi analisado o erro ocorrido devido aproximao utilizada no
problema do pndulo. Por fim apresentada uma sugesto de atividade prtica a ser
realizada em sala de aula utilizando as teorias aqui tratadas, assim como o estudo do
problema de transferncia de calor em uma barra atravs da teoria de Fourier.
Palavras-chave
Aproximaes Polinomiais, Funes Trigonomtricas, Polinmio de Taylor

Abstract
In this work the main goal is focused on applying the theory of Taylor polynomial
approximations applied on the trigonometric function defined by f : [0, 2 ] R, where
f (x) = sin(x). To achieve this goal, eight sections were developed, in which initially a
reflection on the problem and the need to obtain the values in this respect in that it is
wide angle measure x is presented. Is presented and subsequently treated a problem
involving the movement of a pendulum, which uses the approximation sin(x) x
where x belongs to a certain range. In the sections that follow a literature review of
the theories of differential and integral calculus is presented, and the related theory
of Taylor approximation of functions by polynomials. Later we used these theories
to analyze and determine polynomials approximating the function f (x) = sin(x) in
a neighborhood of the point x = 0, and estimate the error when we applied these
approaches. At this time the error occurred due to the approach used in the pendulum
problem was also analyzed. Finally a hint of practice to be held in the classroom using
the theories treated here as well as the study of the problem of heat transfer in a bar
through the theory of Fourier activity is presented.
Keywords
Polynomial approximations, Trigonometric Functions, Taylor Polynomial

10

Lista de Figuras
1
2

Tringulo Retngulo. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
d = 15 . . . . . . . . . . .
Trigulo Retngulo 4ACD com ngulo DAC

16
17

Crculo Trigonomtrico. . . . . . . . . . . . . . . . . . . . . . . . . . .

18

Crculo Trigonomtrico para Reduo ao 1 Quadrante. . . . . . . . . .

19

5
6

Grfico da Funo Seno Relacionada ao Crculo Trigonomtrico. . . . .

Pndulo Simples. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

20
22

Pndulo Simples com Decomposio de Foras. . . . . . . . . . . . . . .

23

Crculo Trigonomtrico para Comparao entre sen(x) e x. . . . . . . .

28

Grfico da funo f (x) = sen(x) e dos Polinmios de Taylor p2,0 , p4,0 e

p6,0 dessa funo, avaliados para todo x [0, ]. . . . . . . . . . . . . .

52

10

Barra com Seco Transversal. . . . . . . . . . . . . . . . . . . . . . . .

62

11

Barra nos Eixos Coordenados. . . . . . . . . . . . . . . . . . . . . . . .

62

12

Barra com Seces Transversais S1 e S2 . . . . . . . . . . . . . . . . . .

63

11

Lista de Tabelas
1
2

Tabela com os valores notveis das funes seno, cosseno e tangente na

circunferncia trigonomtrica. . . . . . . . . . . . . . . . . . . . . . . .

17

Tabela com os Valores da Funo f (x) = sen(x) dos ngulos notveis

0 x 2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

20

3
4

Tabela da aproximao de sen(), para 0 30 . . . . . . . . . . .

Tabela da aproximao de sen(), para 31 60 . . . . . . . . . .

58
59

Tabela da aproximao de sen(), para 61 90 .

. . . . . . . . .

60

Tabela com a Difusibilidade Trmica (K) de Algumas Substncias. . .

65

12

Sumrio
1 Introduo

14

2 Fundamentos da Trigonometria

16

3 Problema do Pndulo

22

4 Fundamentos do Clculo

26

5 Resultados Relacionados a Teoria do Polinmios de Taylor

5.1 Polinmio de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . .

39
39

5.2

Estimativa para a Funo Resto de Taylor . . . . . . . . . . . . . . . .

6 Determinando as Aproximaes

45
50

6.1

Polinmio de Taylor da Funo Seno . . . . . . . . . . . . . . . . . . .

50

6.2

Anlise do erro no problema do Pndulo . . . . . . . . . . . . . . . . .

52

7 Aplicao das Aproximaes Polinomiais

7.1 Atividade Prtica Relacionada a Funo Seno e sua Aproximao Poli-

54

nomial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

54

7.2

Algortmo para a Determinao da Aproximao Polinomial da Funo

7.3

Seno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Exemplo Prtico Relacionado a Funo Seno . . . . . . . . . . . . . . .

7.4

Exerccio Proposto para Assimilao da Atividade Relacionada Funo

Seno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

8 A Equao do Calor
8.1

Formulao Matemtica do Problema . . . . . . . . . . . . . . . . . . .

55
56
57
61
67

9 Consideraes Finais

73

Referncias

74

Introduo

Desde o surgimento da teoria das relaes trigonomtricas no tringulo retngulo, muitos matemticos dedicaram seus estudos para determinar o valor de sen(), na medida
em que varia-se este ngulo .
Com o intuito de determinar tais valores, foram desenvolvidos vrios estudos e construdas teorias, das quais grande parte baseada em construes geomtricas bastante
elaboradas e que apresentam tratamentos algbricos com alto grau de complexidade.
Na medida em que estes estudos avanaram foi possvel determinar o valor das
relaes trigonomtricas para os ditos ngulos notveis, assim como construir tabelas
que apresentam valores aproximados para os demais ngulos.
Ao trabalhar as teorias tanto das relaes trigonomtricas no tringulo retngulo
quanto no crculo trigonomtrico muito comum os alunos questionarem seus professores de matemtica e disciplinas afins qual a origem desses valores.
Dessa forma este trabalho foi desenvolvido com o principal
de apresentar
h objetivo
i
a teoria de Taylor com o intuito de aproximar a funo f : 0,
R, definida por
2
f (x) = sen(x), atravs de um polinmio.
Na primeira seo ser apresentada uma reflexo sobre a necessidade e problemtica
relacionada a obteno dos valores da relao sen(x), conforme varia-se a medida do
ngulo x.
Essa reflexo, alm de discutir alguns dos conceitos fundamentais do trabalho para
obter-se o valor da relao sen(x), tambm trata da importante relao entre os ngulos
que possuem o mesmo valor para essa relao.
A caracterstica de existirem ngulos distintos, que apresentam o mesmo valor para
a relao sen(x), possibilita a introduo da teoria de reduo ao primeiro quadrante,
diminuindo significativamente o trabalho para a determinao dos valores dessa relao.
Como fonte de inspirao, na segunda seo, ser apresentado um problema relacionado ao comportamento de um pndulo simples. Esse problema amplamente
abordado na disciplina de fsica, assim como nos vrios ramos das engenharias.
Em sua abordagem, o problema do pndulo, apresenta uma aproximao muito
utilizada, a qual considera que sen(x) x. Tal abordagem muito aplicada sem
que sejam feitas as devidas consideraes sobre o erro ocasionado ao utilizar-se essa
aproximao.
Durante o curso de graduao muitos estudantes de matemtica questionam sobre
a real importncia de estudar as teorias do Clculo Diferencial e Integral, visto que de
14

forma errnea, os mesmos pensam que dessas pouco ou quase nada ser aplicado em
sala de aula.
Na terceira seo sero apresentados os fundamentos de Clculo Diferencial e Integral, os quais serviro de suporte terico, tanto para o desenvolvimento da teoria de
Taylor relacionada a aproximaes polinomiais de funes reais, quanto para a aplicao dessa teoria na determinao de polinmios que aproximam a funo sen(x) em
uma vizinhana do ponto x = 0.
Tomando como base a teoria de Taylor torna-se possvel a tarefa de desenvolver
polinmios que aproximam a funo f (x) = sen(x) em uma vizinhana do ponto x = 0,
assim como estimar o erro ocasionado ao utilizar-se tais polinmios.
Neste ponto concretiza-se o objetivo de desenvolver uma atividade prtica aplicvel
em sala de aula, na qual o professor poder aplicar seus conhecimentos universitrios
na rea do Clculo Diferencial e Integral.
Por sua vez o aluno ter a seu alcance a possibilidade de conhecerh um ipolinmio

capaz de aproximar os valores da funo sen(x) para todo valor x 0,

e conse2
quentemente para todo x R, bastando apenas aplicar a teoria de reduo ao primeiro
quadrante.
Essa atividade baseada em calcular os valores da relao sen(x) para todo ngulo
inteiro x, avaliado em graus no primeiro quadrante (intervalo de 0 a 90 ) atravs da
converso de tais ngulos para radianos, utilizando-se o Polinmio de Taylor de grau
6 em uma vizinhana do ponto x = 0.
Por fim, na oitava seo, ser abordada a problemtica de como determinar uma
equao que avalie a transferncia de calor em uma barra.
Esse problema foi analisado devido ao mesmo apresentar em sua soluo a relao
sen(x), assim como ser uma tima oportunidade para ingressar-se no estudo das sries
de Fourier.
Os tpicos desenvolvidos neste trabalho iro propiciar aos professores de matemtica
o aprofundamento de seus conhecimentos tanto acerca do Clculo Diferencial e Integral
quanto da Teoria de Taylor para aproximaes polinomiais de funes reais.
Quanto aos estudantes espera-se que este trabalho sirva para mostrar uma forma
de obter-se as aproximaes da relao sen(x), que so apresentadas em livros e por
suas calculadoras.

15

Fundamentos da Trigonometria

Nesta seo ser abordada a problemtica e a importncia de se obter o valor numrico

da relao trigonomtrica sen(x) quando varia-se o valor do ngulo x. Para maiores
detalhes veja [1].
Considerando que a teoria das relaes trigonomtricas tanto no tringulo retngulo
quanto no crculo trigonomtrico so amplamente conhecidas, a seguir sero apresentados alguns resultados que so de suma importncia para o desenvolvimento deste
trabalho.
O resultado mais importante que ser tratado a reduo ao primeiro quadrante,
visto que o mesmo possibilita saber-se o valor da relao seno para qualquer valor de
ngulo x > 2 , desde que seja feita uma relao com um ngulo do primeiro quadrante.

Figura 1: Tringulo Retngulo.

Partindo da relao trigonomtrica seno no tringulo retngulo, tem-se que sen(x)
a razo entre o cateto oposto ao ngulo x e a hipotenusa deste tringulo. Desta forma
considerando a Figura 1 , tem-se que:
sen(x) =

Cateto Oposto
c
=
Hipotenusa
a

(1)

Da relao (1) surgiu o problema de determinar-se o valor numrico da relao

sen(x), conforme varia-se a medida do ngulo x. Com o desenvolvimento da matemtica
e o avano nos estudos relacionados a este problema foi possvel chegar-se a alguns
valores, para os ngulos denominados ngulos notveis.
Com o objetivo de obter-se o valor numrico da relao seno para ngulos fora
da Tabela 1, alguns matemticos utilizam de construes geomtricas e manipulaes
algbricas elaboradas.
16

Medida do ngulo Medidado ngulo Valor do Valor do

Valor da

em Radianos

em Graus

Seno

Cosseno

Tangente

0 rad

00

/6 rad

300

/4 rad

450

/3 rad

600

1/2

2/2

3/2

/2 rad

900

rad

3/2

2/2

3/3

1/2

1800

3/2 rad

2700

2 rad

3600

Tabela 1: Tabela com os valores notveis das funes seno, cosseno e tangente na
circunferncia trigonomtrica.
Um exemplo de construo geomtrica pode ser observado na Figura 2, a qual apresenta os tringulos 4ACD e 4BCD, os quais foram criados respeitando as relaes
trigonomtricas no tringulo retngulo, assim como os valores apresentados na Tabela
1.

\ = 15 .
Figura 2: Trigulo Retngulo 4ACD com ngulo DAC

Essa figura foi elaborada com o objetivo de determinar o valor da relao sen( 12
)=
sen(15 ). Para tanto deve-se observar que o tringulo 4ABD issceles com base AD,

assim tem-se que os segmentos AB = BD = 2.

17


Dessa forma tem-se que o segmento AC = 2+ 3. Aplicando o teorema de Pitgoras
ao tringulo retngulo 4ACD, pode-se obter a seguinte relao:
q

2
2
2
AD = AC + CD AD = 8 + 4 3.

(2)

Aplicando a igualdade (2), juntamente com a relao seno

retngulo
p ao tringulo

4 3
\ = sen(15 ) = p 1 = 8 +
4ACD, tem-se que sen(DAC)
.
8+4 3
8+4 3
Infelizmente esses tipos de construes no so usuais, pois alm de apresentarem
alto grau de complexidade em sua formulao, as mesmas tambm apresentam valores
que necessitam ser tratados algebricamente para serem utilizados ou assumir aproximaes que apresentam erros em relao ao valor real, assim como divises utilizando
radicais.
Mesmo sabendo-se os valores da relao seno conforme a Tabela 1, o problema
de determinar o valor desta relao para os demais ngulos persiste. Esse problema
agrava-se ainda mais na medida em que define-se o crculo trigonomtrico e tornase desejvel obter esses valores para todo ngulo R e no mais somente aqueles
compreendidos no intervalo [0, /2].

Figura 3: Crculo Trigonomtrico.

Tomando como base a posio do ponto P na Figura 3, possvel obter-se as
seguintes relaes:

sen() = ordenada de P = y

(3)

cos() = abscissa de P = x
sen()
tan() =
, para 6= 0
cos()
tan(0) = 0

(4)

18

(5)
(6)

Somente aps perceber-se que existe uma forte relao do valor do seno para determinados ngulos esta tarefa torna-se menos problemtica. A relao entre esses ngulos
denominada reduo ao primeiro quadrante, a qual garante que para qualquer ngulo
6 [0, 2 ] existe um nico ngulo 0

tal que:

< , tem-se que encontra-se no 2

2
quadrante e sua reduo ao 1 quadrante dada por sen() = sen( );

para = 2k + , onde k Z e

3
, tem-se que encontra-se no 3
2
quadrante e sua reduo ao 1 quadrante dada por sen() = sen( );

para = 2k + , onde k Z e <

3
< < 2, tem-se que encontra-se no 4
2
quadrante e sua reduo ao 1 quadrante dada por sen() = sen(2 ).

para = 2k + , onde k Z e

Figura 4: Crculo Trigonomtrico para Reduo ao 1o Quadrante.

Observando as Figuras 3 e 4 e analisando a teoria de reduo ao primeiro quadrante, pode-se perceber que existe uma repetio do valor da relao seno conforme
o ponto P com coordenadas P = (x, y) = (cos(), sen()) desloca-se sobre o crculo
trigonomtrico.
19

Nesse ponto tem-se um avano significativo, visto que deixa-se de procurar os valores
da funo seno para todos os valores reais e retorna-se ao problema de determinar
somente os valores compreendidos no intervalo [0, 2 ].
Fica ainda mais claro este avano quando definida a funo seno como uma funo
real e analisa-se seu grfico com a propriedade de seus valores se repetirem, isto ,
seu comportamento repete-se em ciclos onde a varivel independente afasta-se a uma
distncia igual a 2.
Definindo a funo f : R R, dada por f (x) = sen(x) e variando o valor do
ngulo x no crculo trigonomtrico, atravs da teoria de reduo ao primeiro quadrante
pode-se obter o valor desta funo para os ngulos notveis 0 x 2, conforme a
Tabela 2.
sen (0) = sen (2) = 0


sen 6 = 12


sen 4 = 22


sen 3 = 23

sen

=1
=

sen

2
3

sen

3
4

=


sen 5
=
6

3
2

2
2
1
2

sen () = 0


sen 7
= 21
6

2
sen 5
=

4
2

3
sen 4
=

3
2

sen

3
2

sen

5
3

sen

7
4

= 1

3
2

22

=


sen 11
= 12
6

Tabela 2: Tabela com os Valores da Funo f (x) = sen(x) dos ngulos notveis 0
x 2.
Observando as repeties dos valores vistos na Tabela 2, possvel obter-se um
esboo do grfico de f (x) = sen(x) conforme apresentado na Figura 5.

Figura 5: Grfico da Funo Seno Relacionada ao Crculo Trigonomtrico.

No esboo do grfico da funo f (x) = sen(x), apresentado na Figura 5, tem-se que
20

os segmentos com cores iguais representam a mesma medida. A altura de cada ponto
igual ao valor da relao sen(x), obtidos na Tabela 2, conforme a varivel independente
x desloca-se sobre o semi-eixo das ordenadas.
Nas sees que seguem ser apresentada a teoria de Taylor para aproximaes
polinomiais, a qual ser utilizada com o intuito de obter-se uma estimativa para os
valores da relao sen(x), para todo x [0, 2].

21

Problema do Pndulo

Nesta seo ser apresentado o problema do Pndulo. Esse caso alm de ser muito
abordado na disciplina de Fsica no ensino mdio, tambm possui aplicao em inmeros problemas relacionados s diversas engenharias. Para maiores detalhes veja [10] ou
[12].
Supondo inicialmente que exista um corpo possuindo massa m que esteja suspenso
por um fio com massa desprezvel e comprimento l, ento este corpo ir se movimentar
sobre um crculo de raio l e sob a ao das foras peso (P = mg) e tenso (T ).
A Figura 6 representa a construo do problema acima citado considerando que
esse tenha sido parado em um determinado momento do tempo.

Figura 6: Pndulo Simples.

Os estudos da modelagem matemtica atravs de sistemas dinmicos, baseiam-se
em compreender a evoluo de um fenmeno fsico utilizando um sistema de equaes
diferenciais. Essas equaes diferenciais devem caracterizar seu comportamento ao
longo do tempo.
Observando as caractersticas do problema a ser estudado, pode-se elencar quais so
os fatores fsicos que influenciam seu comportamento. Posteriormente, deve-se aplicar
as leis fsicas que o regem, a fim de obter-se um conjunto de equaes que sejam capazes
de representar, com preciso, as variaes que iro ocorrer no decorrer do tempo.
Usualmente os problemas envolvendo um pndulo simples so analisados como
sendo um oscilador harmnico simples, os quais geram um modelo matemtico para
sistemas relacionados ao movimento de uma partcula exposta a uma fora de atrao com magnitude proporcional a distncia desta partcula em relao origem do
sistema.
22

Para facilitar a deduo das equaes a seguir, ser adotada a seguinte notao
relacionada a funes que possuem derivadas de primeira e segunda ordem na varivel
t. Assim, considerando uma funo (t), tem-se que:
d
d2

(t) = 0 (t) = = 2 (t) = 00 (t) = .

dt
dt
Sendo m a massa da partcula e a sua acelerao, pela segunda Lei de Newton,
tem-se que F = m.a. Por outro lado, como a partcula ser exposta a uma fora
(Gravidade e Tenso) de atrao proporcional distncia dessa partcula em relao a
sua posio inicial (repouso), tem-se que F = k.x, uma vez que a fora ser contrria
ao sentido do deslocamento x e k > 0 a constante de proporcionalidade da fora em
relao ao deslocamento.
De acordo com os estudos da fsica, relacionados ao movimento instantneo de uma
partcula, tem-se que a = x. Assim igualando as duas equaes da fora, obtm-se que:
m
x + kx = 0.

(7)

Decompondo a acelerao da partcula em seus componentes radial e tangencial

possvel chegar-se a um esquema de movimento conforme a Figura 7.

Figura 7: Pndulo Simples com Decomposio de Foras.

Seguindo a ilustrao da Figura 7 e em conformidade com a equao (7) possvel
relacionar o ngulo de desvio (avaliado em radianos), medido a partir da posio vertical
de equilbrio e em conformidade com a segunda Lei de Newton, tem-se que:

23

Fr = m
y = mg T cos()

(8)

Ft = m
x = T sen()

(9)

Com o intuito de determinar uma equao para o ngulo de desvio sero tratadas
as equaes (8) e (9). Multiplicando a igualdade (8) por sen() e igualdade (9) por
cos(). Dessa forma reorganizando os termos obtm-se que:
m
y sen() mg sen() = T cos() sen()

(10)

m
x cos() = T sen() cos()

(11)

Igualando as equaes (10) e (11) em funo do termo T sen() cos(), tem-se

que:
m
y sen() mg sen() = m
x cos()

(12)

Considerando-se que m 6= 0, pode-se dividir a equao (12) por m e reorganizar

seus termos obtendo assim:
x cos() y sen() = g sen()

(13)

Das relaes trigonomtricas no tringulo retngulo e das suposies feitas para a

construo da Figura 7, pode-se facilmente obter:

x = ` sen()

(14)

y = ` cos()
Aplicando a teoria da regra da cadeia e derivando as equaes do sistema (14), em
relao a varivel obtem-se que:


2 + cos() ()

x = ` cos() = x = ` sen() ()
(15)


= y = ` cos() ()
2 sen() ()

y = ` (sen() )

(16)

Substituindo as equaes (15) e (16) em (13), obtem-se:





2 + cos() ()
cos() ` cos() ()
2 sen() ()

` sen() ()
sen() = g sen()


2
2
2
2

` sen() cos() () + cos() sen() () + cos () () + sen () () =

= g sen() ` = g.sen()
g sen() ` cos2 () + sen2 () ()
24

Sabendo que ` 6= 0, visto que do contrrio o problema do pndulo no faria sentido,

possvel reescrever a ltima igualdade da seguinte forma:
g
+ .sen() = 0.
(17)
`
Para concluir a deduo da relao desejada, muito comum em vrios ramos
da cincia considerar que haver apenas uma pequena variao no deslocamento do
corpo em relao a posio inicial (vertical). Desta forma torna-se usual considerar
que sen() , fazendo com que a equao da oscilao harmnica em questo seja
reduzida a seguinte igualdade:

g
+ = 0
(18)
`
Dessa forma assumindo uma aproximao, ao considerar-se que em pequenos des-

vios em relao a posio inicial tem-se que sen() , faz-se necessrio avaliar uma
estimativa para o erro que ocorrer ao utilizar-se tal aproximao.
Assumindo a aproximao dada, a soluo dessa equao diferencial resume-se a
uma equao na qual tem-se unica e exclusivamente uma relao entre a funo e sua
segunda derivada, desde que admita-se que a aproximao utilizada possua um grau
pg


aceitvel de preciso. A soluo da equao (18) ser da forma (t) = cos
t ou
`
pg


(t) = sen
t .
`
Atravs de uma combinao linear possvel obter-se a seguinte resposta para o
problema inicial do pndulo:
r  
r  
g
g
(t) = A.sen
t + B. cos
t ,
`
`

(19)

onde as constantes A e B so determinadas conforme o conhecimento dos valores da

posio inicial e da velocidade inicial do pndulo.
Conforme foi visto nessa seo, determinar os valores da funo seno muito importante para inmeros problemas, inclusive a soluo dos problemas relacionados a
utilizao de pndulos.
Nas sees que seguem ser apresentada a teoria de Taylor, tanto para a determinao de aproximaes para os valores da relao sen(x) quanto apresentar uma
estimativa para o erro envolvido.

25

Fundamentos do Clculo

Nesta seo sero apresentados alguns resultados relativos ao Clculo Diferencial e

Integral que sero necessrios para a aplicao da teoria de Taylor funo sen(x).
Para maiores detalhes veja [4].
Definio 4.1 (Ponto de Acumulao). Seja a X R, diz-se que a um ponto de
acumulao do conjunto X se, e somente se, toda vizinhana V de a contm algum
ponto de X diferente do prprio ponto a.
Definio 4.2 (Limite de uma Funo em um Ponto a). Dada uma funo f : I R.
Diz-se que f possui limite L R em um ponto a I 0 I se, e somente se, para todo
nmero real  > 0 que seja dado, existir um nmero real > 0 tal que para todo x I
tem-se que:
0 < kx ak < = kf (x) Lk < ,

(20)

onde I 0 o conjunto de pontos de acumulao de I.

Tal nmero L, quando existir nico e apresentado atravs da notao:
lim f (x) = L

xa

Observao: Anotao kk indica o valor absoluto de , isto , kk = , se 0

e kk = , se < 0.
Definio 4.3 (Continuidade de uma Funo em um Ponto a). Dada uma funo
f : I R. Diz-se que f contnua em um ponto a I se, e somente se, para todo
nmero real  > 0 que seja dado, pode-se obter um nmero real > 0 tal que x I e
kx ak < implica que:
kf (x) f (a)k < .

(21)

Definio 4.4 (Continuidade de uma Funo). Dada uma funo f : I R. Diz-se

que f contnua em todo seu domnio ou simplesmente contnua se, e somente se, para
todo ponto a I, tem-se que f contnua em a.

26

Proposio 4.1. Seja f : I R uma funo definida no intervalo I R. Ento f

contnua em um ponto a I se, e somente se:
lim f (x) = f (a).

xa

(22)

Demonstrao. Supondo inicialmente f : I R seja uma funo contnua em um

ponto a I, pela Definio 4.3 tem-se que:
 > 0, > 0; kx ak < = kf (x) f (a)k < .
Como a I, tem-se que a funo f est definida neste ponto e portanto faz sentido
considerar que L = f (a). Assim para todo x 6= a a condio acima pode ser reescrita
como:
 > 0, > 0; 0 < kx ak < = kf (x) Lk < .
Em conformidade com a Definio 4.2, tem-se que:
lim f (x) = L = f (a).

xa

Reciprocamente supondo f : I R seja uma funo definida em um ponto a I

e que a mesma possua a seguinte propriedade:
lim f (x) = f (a)

xa

Desta forma pela Definio 4.2 e considerando L = f (a), tem-se que:

 > 0, > 0; 0 < kx ak < = kf (x) Lk < ,
ou equivalentemente,
 > 0, > 0; 0 < kx ak < = kf (x) f (a)k < .
Como f est definida em a I, tem-se que se x = a ento kx ak = 0 < e
|f (x) f (a)| = 0 < . Dessa forma a condio acima pode ser reescrita como:
 > 0, > 0; kx ak < = kf (x) f (a)k < .
Em conformidade com a Definio 4.3 , tem-se que a funo f contnua no ponto
x = a.
27

A seguinte proposio relaciona o valor numrico da relao seno de um arco com a

medida desse arco. Essa proposio ser utilizada tanto na demonstrao da continuidade da funo seno, quanto na demonstrao da Proposio do Limite Fundamental
do Clculo.
Proposio 4.2. Para todo x R, tem-se ksen(x)k kxk.

,
2
pode-se obter os pontos 0 = (0, 0), A = (cos(x), sen(x)), C = (1, 0), D = (cos(x), sen(x))
e E = (cos(x), 0).
Demonstrao. Considerando o crculo trigonomtrico, para um ngulo 0 x

Ainda neste crculo trigonomtrico deve-se marcar o ponto B = (1, tan(x)), o qual
a interseo da reta que passa pelos pontos O e A com a reta tangente ao crculo no
ponto C.
A Figura 8 foi elaborada com o intuito de ilustrar essa construo. Sendo que na
mesma o ngulo x dado em radianos.

Figura 8: Crculo Trigonomtrico para Comparao entre sen(x) e x.

Supondo inicialmente que 0 < x < , conforme a construo da Figura 8, pode-se

2
obter duas desigualdades.
A primeira desigualdade obtida refere-se a relao entre o valor do seno de um arco e
a medida do prprio arco. Analizando a Figura 8 pode-se perceber que o comprimento
_

do segmente de reta AD menor ou igual que o comprimento do arco AD, visto que a
reta a menor distncia entre dois pontos. Assim:
_

AD AD.

28

(23)

Por outro lado atravs da comparao entre as reas dos tringulos 4OAE e
_

4OBC, juntamente como a rea do setor circular OAC, pode-se obter que:
 _ 
rea (4OAE) < rea OAC < rea (4OBC)
sen(x) cos(x)
x
tan(x)
sen(x)
< <
=

2
2
2
2 cos(x)

Como 0 < x <

0 < sen(x) < 1, tem-se que a relao acima pode ser
2
multiplicada por 2 e dividida por sen(x), implicando em:
cos(x)

x
1

sen(x)
cos(x)

(24)

Esta segunda desigualdade ser utilizada na demonstrao da Proposio 4.7.

Retornando a demonstrao desta Proposio, da desigualdade (23), pode-se facilmente obter que:
_

AD AD 2.sen(x) 2.x ksen(x)k kxk,

para todo 0 x .
2

Por outro lado, supondo que x , tem-se que:

2

ksen(x)k 1 x kxk.
2
Logo a desigualdade vlida para todo x 0. Por fim supondo que x < 0, tem-se
que x > 0. Como a funo sen(x) possui a propriedade de que sen(x) = sen(x),
pode-se obter que:
ksen(x)k = k sen(x)k k xk = kxk,
para todo x < 0.
Portanto a desigualdade vlida para todo nmero real x e tem-se que:
ksen(x)k kxk.

(25)

Proposio 4.3. O limite da funo f : I R, com 0 I e definida por f (x) = sen(x)

existe no ponto x = 0 e o mesmo dado por:
lim f (x) = lim sen(x) = 0.

x0

x0

29

(26)

Demonstrao. Considerando a Definio 4.2 aplicada ao ponto a = 0 e L = 0, basta

mostrar que para todo nmero real  > 0 que seja dado, existe um nmero real > 0
tal que para todo x I tem-se que:
0 < kx 0k < = kf (x) 0k < 

0 < kxk < = ksen(x)k < .

Pela Proposio 4.2, tem-se que ksen(x)k kxk, assim para todo  > 0 que seja
dado, basta tomar =  e tem-se que:
0 < kxk < = ksen(x)k kxk < = .
Portanto a funo f (x) = sen(x) possui limite em x = 0 e
lim f (x) = lim sen(x) = 0.

x0

x0

Teorema 4.1 (Teorema do Confronto). Sejam f , g e h trs funes, definidas um uma

vizinhana do ponto x = p. Supondo que exista r > 0 tal que
f (x) g(x) h(x),
para 0 < |x p| < r. Nestas condies, se
lim f (x) = L = lim h(x),

xp

xp

ento
lim g(x) = L.

xp

A demonstrao deste teorema ser omitida. Para uma demonstrao formal desse
teorema, veja [4] pgina 98.
Proposio 4.4. Seja f : I R definida por f (x) = cos(x), onde 0 I, ento:
lim f (x) = lim cos(x) = 1.

x0

x0

30

(27)

Demonstrao. Considerando uma vizinhana do ponto x = 0, tem-se cos(x) > 0,

desta forma:
k cos(x) 1k = k cos(x) cos2 (x) sen2 (x)k
k cos(x) cos2 (x)k + ksen2 (x)k
cos(x) k1 cos(x)k + ksen(x)k2 .
Reescrevendo esta desigualdade obten-se que:
k cos(x) 1k cos(x)k1 cos(x)k ksen(x)k2
(1 cos(x)) k cos(x) 1k ksen(x)k2
(1 cos(x)) k1 cos(x)k ksen(x)k2
k1 cos(x)k2 ksen(x)k2 .
Assim possivel aplicar o Teorema 4.1 desigualdade 0 k cos(x) 1k2
ksen(x)k2 , isto :
0 = lim 0 lim k cos(x) 1k2 lim ksen(x)k2 = 0.
x0

x0

x0

Desta forma lim k cos(x) 1k2 = 0 e consequentemente:

x0

lim cos(x) = 1.

x0

Proposio 4.5. A funo seno contnua em todo seu domnio.

Demonstrao. Esta demonstrao ser baseada na Definies 4.3 e 4.4, assim como a
Proposio 4.2.
Assim ser mostrado que para todo a no domnio da funo e para todo nmero
real  > 0 que seja dado, existe um nmero real > 0 tal que para todo x no domnio
de f tem-se que kx ak < = kf (x) f (a)k < .
Das identidades trigonomtricas, tem-se que:




ax
a+x
sen(a) sen(x) = sen
. cos
.
2
2

(28)

Como kcos(x)k 1, para todo x R, aplicando as propriedades do mdulo e a

Proposio 4.2, pode-se facilmente obter:
31











x a
x
+
a
x

a
x

a
sen


. cos
ksen(x) sen(a)k =
sen

2 .
2
2
2
Desta forma para todo  > 0 que seja dado, tomando
que:

2. tem-se
 =

x a
x

a


kx ak < = ksen(x) sen(a)k
sen
2 2 = .
2
Portanto pela Definio 4.3, a funo f contnua no ponto a. Como esse ponto a
um qualquer no domnio de f , tem-se que a funo contnua em todos os seu pontos
e consequentemente em todo seu domnio.
Proposio 4.6. A funo cosseno contnua em todo seu domnio.
Observao: Argumentos anlogos aos apresentados na demostraor da Proposio 4.5, garantem tal resultado.
Definio 4.5 (Derivada de uma Funo em um Ponto a). Dada uma funo f : I
R. Diz-se que f derivvel em um ponto a I se, e somente se existir o limite
f (x) f (a)
lim
.
xa
xa
Caso este limite exista, a funo dita derivvel em a e sua derivada indicada
por:
f (x) f (a)
f 0 (a) = lim
.
(29)
xa
xa
Definio 4.6 (Derivada de uma Funo em um Intervalo). Dada uma funo f : I
R. Diz-se que f derivvel em um intervalo I1 I se, e somente se a funo f for
derivvel em todo ponto x I1 .
sen(x)
, onde x
x0
x

Proposio 4.7 (Limite Fundamental do Clculo). O limite lim

dado em radianos, existe e igual a 1.

Demonstrao. Esta demonstrao ser realizada baseada nas propriedades de limites,

assim como uma partio do domnio para x > 0 e x < 0.

Como o limite ser calculado para x 0, pode-se inicialmente supor que 0 < x < ,
2
assim conforme a anlise da Figura 8 realizada na demonstrao da Proposio 4.2,
pode-se considerar a desigualdade (24) que garante que:
cos(x) <

x
1
sen(x)
1
<
= cos(x)
<
.
sen(x)
cos(x)
x
cos(x)

Por hiptese est sendo suposto que x > 0, pode-se utilizar a notao de limite
lateral direita. Esta notao indicada por x 0+ e representa uma aproximao
do ponto x = 0 para valores x > 0.
32

Aplicando as propriedades do confronto, juntamente com a do limite do quociente

na desigualdade acima, pode-se obter que:
lim+ cos(x) lim+

x0

x0

sen(x)
1
sen(x)
lim+
= 1 lim+
1,
x0 cos(x)
x0
x
x

sen(x)
Desta forma pelo Teorema 4.1, tem-se que lim+
= 1, para todo x > 0.
x0
x
Para finalizar essa demonstrao, necessrio mostrar que este limite tambm existe
quando x < 0. Seguindo a mesma linha de raciocnio aplicada na parte inicial, pode-se
considerar que 2 < x < 0 e adotar a notao x 0 .
Como para 2 < x < 0 = 0 < x <
lim

x0

e sen(x) = sen(x), tem-se que:

sen(x)
sen(x) y=x
sen(y)
sen(x)
= lim
= lim
=== lim+
= 1.
x0
x0
y0
x
x
x
y

Portanto, tanto para x > 0, quanto para x < 0, tem-se que o limite existe e igual
a 1, isto :
lim

x0

sen(x)
= 1.
x

Proposio 4.8. A funo f : R R, definida por f (x) = sen(x) derivvel em todo

seu domnio e sua deridade dada por:
f 0 (x) =

d
sen(x) = cos(x),
dx

para todo x pertencente ao seu domnio.

Demonstrao. De acordo com a Definio 4.6, para a funo f ser derivvel em todo
seu domnio, necessrio mostrar que para todo a R, tem-se que a funo f
derivvel em a.
Assim conforme a Definio 4.5, basta mostrar que para todo a R o seguinte
limite existe:

f (x) f (a)
.
(30)
xa
xa
Para tanto, este limite ser tratado utilizando-se identidades trigonomtricas e prof 0 (a) = lim

priedades de limites conhecidas. Assim considerando um nmero real a qualquer,

tem-se que:

33

f (x) f (a)
sen(x) sen(a)
sen(a + 4x) sen(a)
= lim
= lim
=
xa
4x0
xa
xa
4x
sen(a) cos(4x) + cos(a) sen(4x) sen(a)
=
= lim
4x0
4x
cos(a) sen(4x)
sen(a) cos(4x) sen(a)
= lim
+ lim
=
4x0
4x0
4x
4x
sen(a) [cos(4x) 1]
sen(4x)
+ lim
=
= lim cos(a) lim
4x0
4x0
4x0
4x
4x
sen(a) [cos(4x) 1] [cos(4x) + 1]
= cos(a) 1 + lim

=
4x0
4x
[cos(4x) + 1]
sen(a) [cos2 (4x) 1]
= cos(a) + lim
=
4x0
4x [cos(4x) + 1]
sen(a) [sen2 (4x)]
= cos(a) + lim
=
4x0 4x [cos(4x) + 1]


sen(4x)
sen(4x)
= cos(a) + lim sen(a)
=

4x0
4x
[cos(4x) + 1]
sen(4x)
sen(4x)
= cos(a) lim sen(a) lim
lim
=
4x0
4x0
4x0 [cos(4x) + 1]
4x
0
= cos(a) sen(a) 1 = cos(a).
2
Portanto o limite existe, fazendo com que a proposio seja verdadeira. Assim a
f 0 (a) = lim

xa

funo f (x) = sen(x) derivvel em todo intervalo I R.

Proposio 4.9. A funo f : R R, definida por f (x) = cos(x) derivvel em todo
seu domnio e sua derivada dada por:
f 0 (x) =

d
cos(x) = sen(x),
dx

para todo x pertencente ao seu domnio.

Observao: Argumentos anlogos aos apresentados na demostraor da Proposio 4.8, garantem tal resultado.
Definio 4.7 (Derivada de Ordem Superior). Dada uma funo f : I R derivvel
em um intervalo I1 I, define-se a funo f 0 (x) = f (1) (x) : I1 R denominada
funo derivada primeira de f .
Caso exista um intervalo I2 I1 , no qual a funo f 0 seja derivvel, define-se
a funo derivada de segunda ordem da funo f , indicada por f 00 (x) = f (2) (x) =
d 0
f (x) : I2 R. Nesse caso diz-se que f duas vezes derivvel no intervalo I2 .
dx
Seguindo recursivamente este procedimento e supondo que a funo f seja n vezes
derivvel em um intervalo In I, define-se a derivada de ordem n da funo f ,
34

d (n1)
f
(x) : In R. Neste caso diz-se que f n vezes
indicada por f (n) (x) =
dx
derivvel no intervalo In .
Proposio 4.10. A funo f : R R, definida por f (x) = sen(x) infinitamente
derivvel em todo seu domnio e sua derivada de ordem n em um ponto x de seu
domnio dada por:
f (4k) (x) = sen(x) ou

(31)

f (4k+1) (x) = cos(x) ou

(32)

f (4k+2) (x) = sen(x) ou

(33)

f (4k+3) (x) = cos(x),

(34)

onde n um nmero natural e pode ser escrito de forma nica por n = 4k + i, para
algum k N e i {0, 1, 2, 3}.
Demonstrao. Conforme o princpio Euclidiano da diviso, tem-se que para todo nmero n N, possvel determinar de forma nica os nmeros k, i N, onde 0 i 3
tais que n = 4.k + i, para todo n N.
Assim para demonstrar essa Proposio basta mostrar que a mesma vlida para
todo k N e para todo i {0, 1, 2, 3}.
Dessa forma aplicando o princpio da induo finita para k = 0 nas igualdades
(31),(32), (33) e (34) juntamente com as Proposies (4.8) e (4.9) , tem-se que:
f (4k) (x)

= f (0) (x) = sen(x),

f (4k+1) (x) = f (1) (x) =

d
f (x)
dx

d
dx

(sen(x))

= cos(x),

f (4k+2) (x) = f (2) (x) =

d (1)
f (x)
dx

d
dx

(cos(x))

= sen(x),

d (2)
d
d
f (4k+3) (x) = f (3) (x) = dx
f (x) = dx
(sen(x)) = dx
(sen(x)) = cos(x).
Logo tem-se que a Proposio vlida para k = 0.
Dando continuidade demonstrao, pelo princpio da induo finita, deve-se supor

que a Proposio verdadeira para todo 0 k (t 1), e mostrar que a mesma

tambm vlida para k = t 1. Para tanto, segue a seguinte anlise:
Para k = t 1 as igualdades (31),(32), (33) e (34) juntamente com as Proposies
(4.8) e (4.9), assim como a hiptese de induo , tem-se que:

35

f (4t) (x)

= f (4(t1)+4) (x) =

d (4(t1)+3)
f
(x)
dx

d
dx

( cos(x)) = sen(x),

f (4t+1) (x) =

d (4t)
f (x)
dx

d
dx

(sen(x))

= cos(x),

f (4t+2) (x) =

d (4t+1)
f
(x)
dx

d
dx

(cos(x))

= sen(x),

d (4t+2)
d
f (4t+3) (x) = dx
f
(x) = dx
(sen(x))
= cos(x).
Assim tem-se que a Proposio tambm vlida para k = t 1. Portanto a

Proposio vlida para todo n N.

Teorema 4.2. Seja f : I R uma funo contnua no intervalo aberto I. Se a funo
f possui um ponto de mximo (reciprocamente mnimo) local em um ponto c I e
derivvel em c, ento f 0 (c) = 0.
Demonstrao. Esta demonstrao ser realizada supondo que a funo f possui um
mximo local no ponto c I, para o caso em que f possui um ponto de mnimo neste
ponto, a demonstrao anloga e ser omitida.
Pela hiptese do Teorema, tem-se que a funo f derivvel no ponto c, assim
f (x) f (c)
existem os limites laterais de
quando x tende para c e os mesmos so
xc
iguais, isto :
f 0 (x) = lim

xc

f (x) f (c)
f (x) f (c)
f (x) f (c)
= lim
= lim+
.
xc
xc
xc
xc
xc

(35)

Como c um ponto de mximo local, a funo f atinge um valor de mximo local

em c. Assim existe um intervalo aberto (a, b) I, tal que c (a, b) e f (c) f (x),
para todo x (a, b). Dessa forma f (x) f (c) 0, para todo x (a, b) .
f (x) f (c)
Como para todo x > c, tem-se que x c > 0, assim
0. Assim,
xc
pelo Teorema do Confronto, para todo x (a, b) o limite lateral direito desta frao
limitado superiormete pelo 0, isto :
lim+

xc

f (x) f (c)
0.
xc

(36)

f (x) f (c)
0.
xc
Assim, pelo Teorema do Confronto, para todo x (a, b) o limite lateral esquerdo dessa
Por outro lado para todo x < c, tem-se que x c < 0, assim

frao limitado inferiormente pelo 0, isto :

lim

xc

f (x) f (c)
0.
xc
36

(37)

Pela igualdade (35), os limites laterais esquerdo e direito so iguais. Assim comparando as desigualdades (36 ) e (37 ), tem-se que:
f (x) f (c)
= 0.
xc
xc

f 0 (c) = lim

Teorema 4.3 (Teorema de Weierstrass). Seja f uma funo contnua no intervalo

fechado [a, b], ento existiro x1 e x2 em [a, b] tais que f (x1 ) f (x) f (x2 ) para todo
x em [a, b].
A demonstrao deste teorema ser omitida. Para uma demonstrao formal desse
teorema, veja [4] pgina 513.
Teorema 4.4 (Teorema de Rolle). Seja f : I R uma funo contnua no intervalo
fechado [a, b] I e derivvel no intervalo aberto (a, b) I. Se f (a) = f (b) ento existe
pelo menos um nmero c (a, b), tal que:
f 0 (c) = 0.

(38)

Demonstrao. Esta demonstrao ser realizada em duas etapas. Primeiramente supondo que a funo dada constante, isto f (x) = k para algum k R, tem-se que
f 0 (x) = 0, para todo x [a, b]. Assim basta tomar um ponto qualquer c (a, b) e
tem-se que f 0 (c) = 0.
Posteriormente supondo que a funo seja tal que f (x) 6= f (a), para algum x
(a, b). Neste caso, ou f (x) > f (a) ou f (x) < f (a). Como f (a) = f (b), pelo Teorema
4.3, tem-se que a funo assumir um valor mximo ou mnimo em algum c (a, b).
Dessa forma a funo possui um ponto de mximo ou mnimo local em c. Portanto
pelo Teorema 4.2, como f derivvel em (a, b), tem-se que f 0 (c) = 0.
Observao: Para aplicao do Teorema de Rolle, tem-se de observar se a condio
inicial da funo ser derivvel no intervalo aberto (a, b) plenamente satisfeita.

Por exemplo a funo definida por f : [0, 1] R , onde f (x) = 2 + x x3

derivvel no intervalo aberto (0, 1) e sua funo derivada dada por: f 0 (0, 1) R ,

onde f 0 (x) = 21 x 3 2 x .
Essa funo alm de ser derivvel em (0, 1), possui f (0) = f (1) = 2, assim pode-se
aplicar o Teorema de Rolle e obter que existe um c (0, 1), tal que f 0 (c) = 0. Pode-se


facilmente obter que se c = 31 (0, 1), ento f 0 31 = 0.
37

Por outro lado, considerando a funo definida por f : [0, 4] R , onde f (x) =
p
3
(x 2)2 , tem-se que a mesma derivvel no intervalo aberto (0, 2) (2, 4) (0, 4) e

que sua funo alm de ser derivvel em (0, 2) (2, 4), possui f (0) = f (4) = 3 4, mas
no pode-se aplicar o Teorema de Rolle, pois no existe f 0 (2).
Teorema 4.5 (Teorema de LHospital). Sejam f e g duas funes derivveis nos
intervalos abertos (a r, a) e (a, a + r), para algum nmero real r > 0 e com g 0 (x) 6= 0
para todo x tal que 0 < |x a| < r. Nestas condies, se
lim f (x) = lim g(x) = 0

xa

xa

f (x)
f 0 (x)
existir (finito ou infinito), ento lim
existir e
0
xa g(x)
xa g (x)

e se lim

f (x)
f 0 (x)
= lim 0
.
xa g(x)
xa g (x)
lim

A demonstrao deste teorema ser omitida. Para uma demonstrao formal desse
teorema, veja [4] pgina 244.
Teorema 4.6 (Teorema Fundamental do Clculo). Seja f : I R uma funo contnua no intervalo I. Ento
Z x
f (t)dt = F (x) F (a),
a

onde F uma primitiva de f , isto , F 0 (x) = f (x), para todo x I.

A demonstrao deste teorema ser omitida. Para uma demonstrao formal desse
teorema, veja [9] pgina 132.

38

Resultados Relacionados a Teoria do Polinmios de

Taylor

Nesta seo ser definida a base da teoria de Taylor relativa a aproximao de funes
reais atravs de polinmios, assim como uma estimativa de erro ao utilizar-se essas
aproximaes. Para maiores detalhes veja [4], [6] e [9].

5.1

Polinmio de Taylor

Definio 5.1 (Polinmios de Taylor). Seja f : I R uma funo definida no intervalo aberto I R e n vezes derivvel em um ponto a I. Define-se o Polinmio de
Taylor de ordem n da funo f no ponto x = a das seguintes formas:
pn,a (x) =

n
X

ci (x a)i ,

(39)

i=0

pn,a (x) = c0 + c1 (x a) + c2 (x a)2 + c3 (x a)3 + . . . + cn (x a)n ,

(40)

onde os coeficientes ci , com i {0, 1, 2, 3, . . . , n} so tais que as derivadas de ordem

k n do polinmio pn,a (x) estimadas no ponto x = a coincidem com as derivadas de
mesma ordem da funo f tambm estimadas no ponto x = a.
Deve-se observar que nessa definio, assim como no restante da teoria de Taylor
que ser apresentada, os ndices n e a representam respectivamente o grau e o ponto
em que foram definidos esse polinmio.
Para determinar os coeficientes do Polinmio de Taylor de uma funo dada
necessrio construir uma argumentao vlida baseada nas n derivadas da funo f
estimadas no ponto x = a.
Proposio 5.1. Seja f : I R uma funo definida no intervalo aberto I R e
n
X
n vezes derivvel em um ponto a I e seja pn,a (x) =
ci (x a)i o Polinmio de
i=0

Taylor de grau n desta funo no ponto x = a. Cada um dos n coeficientes desse

polinmio so completamente determinados atravs da equao:
f (k) (a)
,
para k n.
(41)
k!
onde f (k) (a) representa a k-sima derivada da funo f estimada no ponto x = a.
ck =

39

Demonstrao. A seguir ser demonstrado, atravs do mtodo de induo finita, que

a proposio acima verdadeira. Para tanto segue a seguinte anlise.
Por definio tem-se que a derivada de ordem k = 0 de uma funo resulta na
prpria funo, isto , f (0) (x) = f (x), logo f (0) (a) = f (a).
Por outro lado a derivada de ordem k = 0 do Polinmio de Taylor desta funo
tambm ser igual ao prprio polinmio, logo:
2
3
n
p(0)
n,a (x) = pn,a (x) = c0 + c1 (x a) + c2 (x a) + c3 (x a) + . . . + cn (x a) .

Avaliando este polinmio no ponto x = a, obtem-se o seguinte resultado:

2
3
n
p(0)
n,a (a) = pn,a (a) = c0 + c1 (a a) + c2 (a a) + c3 (a a) + . . . + cn (a a) = c0 .

Conforme a definio do Polinmio de Taylor faz-se necessrio impor que a derivada

de ordem k = 0 tanto da funo quanto do polinmio avaliados no ponto x = a tm
(0)

de ser iguais, assim necessrio ter-se que f (0) (a) = pn,a (a), isto f (a) = c0 . Desta
forma:

f (0) (a)
f (0) (a)
=
.
1
0!
Portanto a proposio verdadeira para k = 0.
c0 = f (a) = f (0) (a) =

Dando continuidade a esta demonstrao deve-se supor como hiptese de induo

que a proposio verdadeira para todo 0 k (n 1), isto :
ck =

f (k) (a)
,
k!

para todo 0 k (n 1).

Desta forma, para concluir esta demonstrao, basta somente provar que a referida
proposio ainda vlida para k = n. Para tanto segue a seguinte analise.
Como o Polinmio de Taylor, relativo funo f , definido de forma geral por
pn,a (x) = c0 + c1 (x a) + c2 (x a)2 + c3 (x a)3 + . . . + cn (x a)n , tem-se que a
(n)

n-sima derivada ser igual a pn,a (x) = cn .n!, visto que todos os termos com ndice
0 i (n 1) so anulados devido a apresentarem grau menor ou igual a (n 1).
Por fim avaliando a n-sima derivada do polinmio no ponto x = a e igualando
com a n-sima derivada da funo f tambm avaliada no ponto x = a, ser obtido o
seguinte resultado:
f (n) (a)
.
n!
Concluindo assim a demonstrao e provando que a proposio acima verdadeira.
(n)
p(n)
(a) cn =
n,a (a) = cn .n! = f

40

Atravs da Proposio 5.1, possvel fazer uma releitura da Definio 5.1 da seguinte
forma:
Definio 5.2 (Polinmio de Taylor com Coeficientes Determinados). Seja f : I R
uma funo definida no intervalo aberto I R e n vezes derivvel em um ponto a I.
Define-se o Polinmio de Taylor de ordem n da funo f no ponto a das seguintes
formas:
pn,a (x) =

n
X
f (i) (a)

i!

i=0

pn,a (x) = f (a) + f 0 (a)(x a) +

(x a)i

f 00 (a)
f (n) (a)
(x a)2 + . . . +
(x a)n .
2!
n!

(42)

(43)

Definio 5.3 (Funo Resto de Taylor). Seja f : I R uma funo definida no

intervalo aberto I R e n vezes derivvel em um ponto a I. Define-se a funo
Resto de Taylor de grau n como sendo rn,a : I R, determinada atravs da diferena
entre a funo e seu Polinmio de Taylor, isto , rn,a (x) = f (x) pn,a (x), onde pn,a (x)
o Polinmio de Taylor de grau n da funo f conforme as Definies 5.1 e 5.2.
vlido ressaltar que devido a forma como foi definida a funo rn,a : I R, tal
que rn,a (x) = f (x) pn,a (x), tem-se que a mesma a diferena entre duas funes n
vezes derivveis, o que implica que a funo rn,a denominada como Resto de Taylor de
grau n tambm seja uma funo n vezes derivvel.
Tambm cabe uma observao baseada na imposio da Definio 5.1 que obriga
que o Polinmio de Taylor da funo f seja tal que as derivadas de ordem 0 k n
do polinmio pn,a (x) estimadas no ponto x = a coincidam com as derivadas de mesma
ordem da funo f tambm estimadas no ponto x = a. Assim:
0
00
000
(4)
(n)
rn,a (a) = rn,a
(a) = rn,a
(a) = rn,a
(a) = rn,a
(a) = . . . = rn,a
(a) = 0.

(44)

Proposio 5.2. Seja r : I R uma funo definida no intervalo aberto I R e n

vezes derivvel em um ponto a I. Se r(k) (a) = 0 para todo 0 k n ento tem-se
que:
r(x)
= 0.
xa (x a)n
lim

41

(45)

Demonstrao. Inicialmente ser suposto que r : I R seja uma funo definida no

intervalo aberto I R e n vezes derivvel em um ponto a I, com r(k) (x) = 0 para
r(x)
todo 0 k n, assim basta mostrar que lim
= 0.
xa (x a)n
Conforme a suposio inicial, tem-se que r uma funo n vezes derivvel em um
ponto x = a, logo a mesma possui todas das derivadas de ordem 0 (prpria funo) at
n neste ponto e consequentemente todas estas derivadas de ordem menor ou iguais a
n so contnuas no ponto x = a. Desta forma, tem-se que:
lim r(k) (x) = r(k) (a) = 0,

xa

para todo 0 k n.
Por outro lado, considerando a funo g : I R tal que g(x) = (x a)n , tem-se
que g uma funo polinomial de grau n centrada em x = a, logo a mesma contnua
em x = a e n vezes derivvel neste ponto, sendo estas derivadas contnuas em x = a.
Derivando sucessivamente a funo g, obtem-se que a sua derivada de ordem k
dada por:
g (k) (x) =

n!
(x a)nk ,
(n k)!

para todo 0 k n.
n!
(x a)nk = 0, para todo 0 k n.
xa
xa (n k)!
Portanto pode-se aplicar n vezes o Teorema 4.5 para calcular o limite do quociente

Desta forma lim g (k) (x) = lim

dado, obtendo-se assim:
r(x)
xa (x a)n
lim

L0 H

= lim

xa

r0 (x)
L0 H
L0 H
=
.
.
.
= lim
n!
(n1)
xa
(x

a)
(n1)!
{z
}

r(n) (x)
=
n!
(nn)
(x

a)
(nn)!

n vezes

r(n) (x)
r(n) (a)
0
= lim
=
=
= 0.
xa
n!
n!
n!
Como era de interesse provar.
Definio 5.4 (Funes Iguais at Ordem n). Sejam f, g : R R duas funes, diz-se
que f e g so iguais at ordem n no ponto x = a se, e somente se:
f (x) g(x)
= 0.
xa (x a)n
lim

Teorema 5.1 (Polinmios Iguais de Ordem n em a). Sejam p e q dois polinmios de

grau no mximo igual a n em (x a) e a um nmero real qualquer. Se as funes
polinomiais p, q : R R so iguais at a ordem n em a, ento p = q.
42

Demonstrao. Conforme as hipteses do Teorema, os polinmios p e q so iguais at

a ordem n em x = a, assim pela Definio 5.4, tem-se que:
p(x) q(x)
= 0.
xa (x a)n
lim

Denotando o polinmio diferena entre p e q por r, tem-se que r(x) = p(x) q(x),
para todo x R, logo:

r(x)
= 0.
xa (x a)n
lim

Reescrevendo a igualdade acima, pode-se obter que:



r(x)
r(x)
nk
= lim
(x a)
= 0,
lim
xa (x a)n
xa (x a)k

(46)

para todo 0 k n.
Por outro lado, observando o polinmio r em sua forma geral, pode-se perceber
n
X
rk (x a)k ,
que: r(x) = r0 + r1 (x a) + r2 (x a)2 + r3 (x a)3 + + rn (x a)n =
k=0

para todo 0 k n, uma vez que p e q so dois polinmios em (x a).

Deve-se ento mostrar que todos os coeficientes do polinmio r so nulos, isto ,
tem-se de mostrar que: rk = 0, para todo 0 k n. Para tanto ser analisada a
igualdade (46) variando o valor de k de 0 a n.
Seguindo o princpio da induo finita ser analisado inicialmente o caso em que
k = 0.
Para k = 0, a igualdade (46) juntamente com a forma geral do polinmio r resultam
em:
0 = lim

xa

r(x)
= lim r(x) = lim
xa
xa
(x a)0

n
X

!
rk (x a)k

= r0 . De onde conclui-se que

k=0

r0 = 0.
Conforme mostrado acima tem-se que r0 = 0. Neste ponto pode-se supor por
induo que rk = 0, para todo 0 k n 1, assim basta mostrar que rn = 0.
Pela igualdade (46), assim como a hiptese
! de induo tem-se que:
n
X
r(x)
0 = lim
= lim
rk (x a)kn = rn . De onde conclui-se que rn = 0.
xa (x a)n
xa
k=n
Portanto tem-se que todos os coeficientes do polinmio r(x) so nulos e consequentemente p = q.
Teorema 5.2 (Teorema de Taylor). Seja f : I R uma funo definida no intervalo
aberto I R e n vezes derivvel em um ponto a I. Ento a funo Resto de Taylor
43

rn,a : I R definida por rn,a (x) = f (x)pn,a (x), onde pn,a (x) o Polinmio de Taylor
da funo f , ou equivalentemente:
f (x) = f (a) + f 0 (a)(x a) +

f 00 (a)
f (n) (a)
(x a)2 + . . . +
(x a)n + rn,a (x),
2!
n!

rn,a (x)
= 0.
xa (x a)n
Reciprocamente, dado um polinmio p de grau no mximo igual a n tal que a funo
r(x)
definida por r(x) = f (x) p(x) satisfaz lim
= 0, ento este polinmio p(x)
xa (x a)n
o Polinmio de Taylor de ordem n da funo f no ponto x = a.

tal que satisfaz lim

Demonstrao. Inicialmente para demonstrar a primeira parte do teorema deve-se supor que f : I R seja uma funo definida no intervalo aberto I R e n vezes
derivvel em um ponto a I e mostrar que a funo Resto de Taylor rn,a : I R
definida por rn,a (x) = f (x) pn,a (x), onde pn,a (x) o Polinmio de Taylor da funo
rn,a (x)
f tal que lim
= 0.
xa (x a)n
Pelas Definies 5.1 e 5.3 do Polinmio de Taylor e da funo Resto de Taylor
definida como a diferena de uma funo f e um polinmio, os quais so n-vezes
derivveis no ponto x = a e com suas derivadas iguais neste ponto, isto , f (k) (a) =
(k)

pn,a (a), para todo 0 k n.

(k)

Desta forma tem-se que rn,a (a) = 0, para todo 0 k n. Assim pode-se aplicar a
Proposio 5.2 e obter que:
rn,a (x)
lim
= 0.
xa (x a)n
Para demonstrar a recproca, deve-se considerar que p seja um polinmio qualquer
de grau n, tal que a funo diferena definida por r(x) = f (x) p(x) satisfaz
r(x)
lim
= 0. Assim basta mostrar que para todo x R tem-se que p(x) = pn,a (x),
xa (x a)n
onde pn,a (x) o Polinmio de Taylor de grau n centrado em x = a da funo f .
Conforme hiptese, tem-se que:
f (x) p(x)
= 0.
xa (x a)n

lim r(x) = lim

xa

(47)

Aplicando a Proposio 5.2 ao Resto de Taylor, tem-se que:

rn,a (x)
f (x) pn,a (x)
= lim
.
n
xa (x a)
xa
(x a)n

0 = lim

44

(48)

Como os polinmios p e pn,a so definidos em (x a) e possuem grau no mximo

igual a n, pelo Teorema 5.1 , basta provar que os mesmos so iguais at a ordem n em
x = a, isto , mostrar que:
p(x) pn,a (x)
lim
= 0.
(49)
xa
(x a)n
Com efeito somando e subtraindo a parcela f (x) na parte esquerda da igualdade
acima e manipulando algebricamente, tem-se que:


f (x) pn,a (x) f (x) p(x)
p(x) pn,a (x)
=
= lim

lim
xa
xa
(x a)n
(x a)n
(x a)n
f (x) pn,a (x)
f (x) p(x)

lim
.
xa
xa (x a)n
(x a)n

= lim

Substituindo as igualdades obtidas nas equaes (47) e (48) na igualdade acima,

tem-se que:
f (x) pn,a (x)
f (x) p(x)
p(x) pn,a (x)
=
lim

lim
=00=0
xa
xa (x a)n
xa
(x a)n
(x a)n
lim

Portanto os polinmios p e pn,a so iguais at a ordem n e consequentemente p =

pn,a , isto o polinmio p o prprio Polinmio de Taylor de grau n da funo f . Como
era de interesse provar.

5.2

Estimativa para a Funo Resto de Taylor

Conforme a Definio 5.3, tem-se que a funo Resto de Taylor determinada por
rn,a (x) = f (x) pn,a (x), por outro lado o Teorema 5.2 torna possvel estimar o limite
da funo Resto de Taylor quando x tende para a. Porm o mesmo no possibilita a
determinao do valor numrico de rn,a (x) para uma funo f de ordem n, estimado
no ponto x = a.
A seguir ser apresentado um resultado que utiliza hipteses mais fortes do que as
utilizadas no Teorema de Taylor 5.2. Esse novo resultado, juntamente com o Teorema
do Valor Mdio de grande valia quando deseja-se obter estimativas para o valor de
rn,a (x).
O Teorema 5.3 que ser visto a seguir apresenta uma forma explcita para a funo
Resto de Taylor e garante estimar este resto para todo ponto b pertencente ao domnio
45

da funo, desde que a funo seja n + 1 vezes derivvel no intervalo aberto (a, b) e
que as funes derivadas de ordem menor ou igual a n sejam contnuas no intervalo
fechado [a, b].
Teorema 5.3 (Frmula de Taylor com Resto de Lagrange). Seja f : [a, b] R uma
funo real, (n+1) vezes derivvel no intervalo aberto (a, b), com suas funes derivada
f (i) : [a, b] R contnuas no intervalo fechado [a, b], para todo 0 i n, ento existe
um c (a, b) tal que:
f (b) = f (a) + f 0 (a)(b a) +

f 00 (a)
f (n) (a)
(b a)2 + . . . +
(b a)n + rn,a (b),
2
n!

f (n+1) (c)
rn,a (b) =
(ba)(n+1) .
(n + 1)!

onde

(50)

(51)

Demonstrao. Definindo a funo auxiliar g : [a, b] R, com lei de formao dada

por:
g(x) = f (b)

n
X
f (k) (x)
k=0

k!

!
(b x)k

M
(b x)n+1 ,
(n + 1)!

onde a constante M escolhida de forma que g(a) = 0.

Pela hiptese do Teorema, tem-se que a funo f contnua no intervalo fechado
[a, b] e (n + 1) vezes derivvel no intervalo aberto (a, b), logo a funo g ser contnua
em [a, b] e derivvel em (a, b).
Analisando o valor da funo g nos extremos deste domnio, tem-se que g(a) =
g(b) = 0, visto que a constante M ser escolhida de forma que g(a) = 0 e calculando
g(b), pode-se facilmente obter que g(b) = 0.
Por outro lado aplicando as regras do produto e da cadeia para derivao, chega-se
a derivada da funo g no intervalo (a, b), a qual dada por:

46

n
X
f (k) (x)

M
(b x)n+1 =
k!
(n + 1)!

k=1(k+1)
P
n
f (k) (x)
f
(x)
0
k
k1
0
(b x) (k1)! (b x)
+M
(b x)n =
g (x) = f (x) k=1
k!
n!


n
X
f (k) (x)
M
f (k+1) (x)
= f 0 (x) +
(b x)k1
(b x)k + (b x)n =
(k 1)!
k!
n!
k=1
!
!
n
n
(k+1)
(k)
Xf
X f (x)
(x)
M
(b x)k1
(b x)k + (b x)n =
= f 0 (x) +
(k 1)!
k!
n!
k=1
k=1
!
!
n
n
(k)
(k+1)
X f (x)
Xf
(x)
M
=
(b x)k1
(b x)k + (b x)n .
(k 1)!
k!
n!
k=2
k=1
= f (b) f (x)

g(x)

(b x)k

Fazendo a substituio j = k 1 no primeiro somatrio, e reorganizando o segundo

tem-se que:
0

g (x) =

n1 (j+1)
X
f
(x)
j=1

j!

(b x)

n1 (k+1)
X
f
(x)
k=1

k!

f (n+1) (x)
M
(b x)
(b x)n + (b x)n .
n!
n!
k

Desta forma, como ambos os somatrios so iguais, tem-se que a derivada da funo
g(x) dada por:
M
f (n+1) (x)
(b x)n + (b x)n .
g 0 (x) =
n!
n!
Aplicando o Teorema de Rolle funo g(x), tem-se que existe um c (a, b), tal
que g 0 (c) = 0. Assim, substituindo c na igualdade acima, tem-se que:
0 = g 0 (c) =

f (n+1) (c)
M
f (n+1) (c)
M
(b c)n + (b c)n
(b c)n =
(b c)n .
n!
n!
n!
n!

Como b 6= c, a ltima equao determina que o valor de M seja da forma M =

f

(n+1)

(c). Substituindo este valor em g(x) e calculando g(a) chega-se a:

!
n
X
f (k) (a)
f (n+1) (c)
0 = g(a) = f (b)
(b a)k
(b x)n+1
k!
(n + 1)!
k=0
f (b) =

n
X
f (k) (a)
k=0

k!

!
(b a)k

f (n+1) (c)
(b x)n+1 .
(n + 1)!

Ou equivalentemente:f (b) = f (a) + f 0 (a)(b a) +

a)n + rn,a (b), onde rn,a (b) =

f (n+1) (c)
(b a)(n+1) .
(n + 1)!

47

f 00 (a)
f (n) (a)
(b a)2 + . . . +
(b
2
n!

Definio 5.5 (Resto de Lagrange para a Frmula de Taylor). A equao (51) descrita
por:
rn,a (b) =

f (n+1) (c)
(b a)(n+1) ,
(n + 1)!

que encontra-se apresentada no Teorema 5.3 denominada forma de Lagrange para o

Resto de Taylor.
Cabe tambm ressaltar que alm da forma de Lagrange para o Resto de Taylor
existem outras formas, tais como a forma de Cauchy e a forma integral do resto, as
quais no sero discutidas neste trabalho, visto que as mesmas no sero necessrias
na determinao dos resultados aqui desejados.
Conforme foi visto o Polinmio de Taylor e o Resto de Lagrange so duas ferramentas matemticas consistentes, as quais sero utilizadas para a resoluo tanto
do problema inicial de determinar os valores da funo seno, assim como apresentar
uma anlise da consistncia na resoluo do problema do pndulo ao considerar-se que
sen() .
Observao: Ao tratar-se de funes que sejam infinitamente derivveis pode-se
expandir o Polinmio de Taylor, de forma que a ordem do mesmo seja to grande
quando necessrio. Desta forma possvel representar estas funes atravs da Srie
de Taylor.
Definio 5.6 (Srie de Taylor). Seja f : I R uma funo definida no intervalo I
R e infinitamente derivvel em um ponto a I. Define-se a srie infinita denominada
Srie de Taylor da funo f no ponto a da seguinte forma:
ST (x) =

X
f (i) (a)

i!

i=0

(x a)i .

(52)

Cabe ressaltar que a Srie de Taylor definida no ponto a = 0 restringe-se a seguinte

relao:
ST (x) =

X
f (i) (0)
i=0

i!

xi ,

a qual tambm conhecida como Srie de Maclaurin.

k(b a)n1 k
(n 1)!
tende a 0 quando n tende para o infinito, para qualquer que seja o intervalo dado.
Em particular, para a funo f (x) = sen(x), tem-se que krn.a k

48

Assim pode-se representar a funo sen(x) como sendo a sua prpria Srie de Taylor.
Dessa forma em uma vizinhana de x = 0, a mesma pode ser expressa por:
sen(x) = ST =

X
f (i) (0)
i=0

i!

xi =

49

X
(1)j (2j+1)
x
.
(2j
+
1)!
j=0

Determinando as Aproximaes

Nesta seo ser utilizada a teoria de Taylor vista na seo 5, com o objetivo de
encontrar um polinmio que determine um valor aproximado da funo sen(x) para x
[0, /2], assim como determinar uma estimativa do erro gerado por esta aproximao.
Para maiores detalhes veja [4].
Alm da aproximao polinomial, tambm ser de interesse desta seo analisar o
erro ao aproximar-se sen(x) x, utilizada na resoluo do problema do pndulo.

6.1

Polinmio de Taylor da Funo Seno

A seguir ser apresentada a deduo do Polinmio de Taylor para a funo f : R

R, definida por f (x) = sen(x), restrita a uma vizinhana do ponto x = 0.
Considerando a funo f (x) = sen(x), atravs da teoria de derivao, pode-se
facilmente obter que:
f (0) (x) = sen(x)

= f (4) (x) = f (8) (x)

= . . . = f (4n) (x),

f (1) (x) = cos(x)

= f (5) (x) = f (9) (x)

= . . . = f (4n+1) (x), n N,

n N,

f (2) (x) = sen(x) = f (6) (x) = f (10) (x) = . . . = f (4n+2) (x), n N,

f (3) (x) = cos(x) = f (7) (x) = f (11) (x) = . . . = f (4n+3) (x), n N.
Assim para todo n N, tem-se que a funo f (x) = sen(x) infinitamente derivvel
em todo seu domnio, visto que a deduo acima foi realizada com base em um valor
qualquer de x.
Como os Polinmios de Taylor aqui construdos sero em torno do ponto x = 0,
pelas definies da seo (5), deve-se obter as derivadas desta funo avaliadas em
x = 0. Assim substituindo x = 0 nas derivadas obtidas acima, tem-se que:
f (4n) (0) = sen(0) = 0, f (4n+1) (0) = cos(0) = 1, f (4n+2) (0) = sen(0) = 0,
f (4n+3) (0) = cos(0) = 1, n N.
Conforme as igualdades acima, pode-se perceber que todas as derivadas de ordem
impar da funo f (x) = sen(x) avaliadas em x = 0 se anulam. Por outro lado as
derivadas de ordem par avaliadas no mesmo ponto resultam em 1 e 1.

50

Dessa forma pode-se generalizar o resultado das derivadas desta funo em x = 0

atravs das seguintes relaes:
f (2n) (0) = 0,

(53)

f (2n+1) (0) = (1)n+1 ,

(54)

para todo n N.
Aplicando as relaes (53) e (?? ) na Definio 5.2 do Polinmio de Taylor, pode-se
perceber que os polinmios de grau n = 2j + 1 (impar) e n + 1 = 2j + 2 (par), para
todo j N estimados em uma vizinhana prxima ao ponto x = 0 so iguais, visto
que:
p2j+2,0 (x) = p2j+1,0 (x) +

f (2j+2) (0) 2j+2

(x)
= p2j+1,0 (x),
(2j + 2)!

f (2j+2) (0)
f (2j+2) (0) 2j+2
(x)
= 0, devido a
= 0.
pois
(2j + 2)!
(2j + 2)!
Dessa forma os Polinmios de Taylor de graus n = 2j + 1 e n + 1 = 2j + 2 avaliados
em uma vizinhana do ponto a = 0, podem ser expressos por:
j
X
(1)i
p2j+1,0 (x) = p2j+2,0 (x) =
(x)2i+1 ,
(2i
+
1)!
i=0

(55)

para todo j N.
Logo pode-se adequar o Plinomio de Taylor para a funo f (x) = sen(x), estimada
em uma vizinhana prxima de x0 = 0 e adotando uma expanso com n = 2j + 1 ou
n = 2j + 2 com j, n N.
Variando o valor de j na equao(55), pode-se facilmente obter que para algum
ci (0, x) [0, 2 ], com i {1, 2, 3}:
cos(c1 ).x3
,
p1,0 (x) = p2,0 (x) = x e r2,0 (x) =
6
x3
cos(c2 ).x5
p3,0 (x) = p4,0 (x) = x
e r4,0 (x) =
,
63
120
5
x
x
cos(c3 ).x7
p5,0 (x) = p6,0 (x) = x
+
e r6,0 (x) =
.
6
120
5040
A Figura 9 foi elaborada com o intuito de ilustrar as aproximaes polinomiais de
Taylor. Na mesma foram plotados os grficos da funo f (x) = sen(x), assim como dos
Polinmios de Taylor de Grau 2, 4 e 6, definidos em uma vizinhana do ponto a = 0.

51

Figura 9: Grfico da funo f (x) = sen(x) e dos Polinmios de Taylor p2,0 , p4,0 e p6,0
dessa funo, avaliados para todo x [0, ].
Como para todo c (0, x) [0, 2 ], tem-se que k cos(c)k 1, ento o valor estimado
para o erro da aproximao polinomial, p2j+2,0 (x) sen(x) estar limitado da seguinte
forma:


2j+3
2j+3

j+1 cos(c).x
x

.
kEk = kr2j+2,0 (x)k = (1)
(2j + 3)! (2j + 3)!
Logo possvel aproximar os valores da funo f (x) = sen(x) para x [0, 2 ] atravs
do Polinmio de Taylor de grau n = 2j + 2, conforme a deduo acima e obter-se que:
j
X
(1)k
p2j+1,0 (x) = p2j+2,0 (x) =
(x)2k+1 ,
2k + 1!
k=0

para todo j N. Sendo que essse apresentar um erro estimado em:

E = r2j+2,0 (x) = (1)j+1

cos(c).x2j+3
,
(2j + 3)!

para algum c (0, x) [0, 2 ].

6.2

Anlise do erro no problema do Pndulo

Na resoluo do problema do pndulo, tratado na seo (3), para otimizar os clculos,

foi utilizada uma aproximao muito comum aos vrios ramos da engenharia, a qual
considera que sen(x) x.
52

Conforme visto na seo (5), esta prtica baseia-se em considerar a funo f : R

R, definida por f (x) = sen(x) como sendo aproximadamente o Polinmio de Taylor de
grau 2 em uma vizinhana do ponto x = 0.
Tomando j = 0 e adequando a equao (55), tem-se que o Polinmio de Taylor de
ordem 2 em uma vizinhana do ponto x = 0 da forma p2,0 (x) = x e que seu resto na
cos(c).x3
forma de Lagrange expresso por r2,0 (x) =
, para algum c (kxk, kxk).
6
Conforme o Teorema de Taylor 5.3, tem-se que f (x) = pn,a (x) + rn,a (x), assim para
cada x, existe um c (kxk, kxk), tal que a funo f (x) = sen(x) pode ser escrita
atravs da seguinte igualdade:
sen(x) = p2,0 (x) + r2,0 (x) = x

cos(c).x3
.
6

Logo, ao considerar-se que sen(x) x, est sendo inserido no problema um erro

relativo a diferena entre o valor real da funo e a aproximao utilizada. O valor
desse erro aumenta conforme o ponto x afasta-se de 0 e o mesmo dado por:
E = r2,0 (x) =

cos(c).x3
,
6

para algum c (kxk, kxk).

Portanto a aproximao utilizada no problema ir gerar uma diferena entre os valores determinados pela equao (19) em relao aos que realmente ocorreram durante
o deslocamento do pndulo.
Na literatura, relativa ao estudo do comportamento desse tipo de pndulo, muitos
autores defendem uma tolerncia mxima de 10 =
de movimentao.

rad
18

para a variao do ngulo

Assim, considerando que a variao desse ngulo respeite a limitao dada por
kxk

,
18

forma:

o erro ocasionado pela aproximao utilizada ser limitado da seguinte

3

cos(c).x3 x3
3

18

kEk = kr2,0 (x)k =

=
.


6
6 34992
6

3
0, 000886 < 0, 001 = 103 , tem-se que o erro gerado pela aproxi34992

mao utilizada, considerando-se uma variao mxima de 10 = 18

rad ser inferior a
3
10 .
Como

Portanto a aproximao utilizada pode ser aplicada, desde que seja feita uma anlise
muito aprimorada quanto tolerncia do movimento do pndulo que ser aceita, assim
como o limite dos erros que sero gerados.
53

Aplicao das Aproximaes Polinomiais

Nesta seo ser apresentada uma sugesto de atividade que pode ser realizada em sala
de aula a fim de aplicar as teorias apresentadas nas sees anteriores. Para maiores
detalhes veja [2] e [4].
Essa atividade foi elaborada partindo de uma aproximao da funo f (x) = sen(x),
a qual ir utilizar o Polinmio deh Taylor
de ordem 6 definido em uma vizinhana do
i
ponto a = 0, para valores de x 0, .
2
Conforme foi visto na seo 6, o Polinmio de Taylor de ordem 6 dado por:
p5,0 (x) = p6,0 (x) = x

x3
x5
+
,
6
120

onde seu resto na forma de Lagrange obtido atravs da relao r6,0 (x) =

cos(c).x7
,
5040

para algum c (0, x) [0, 2 ].

Essa aproximao foi escolhida, visto que no intervalo dado a mesma apresentar
um erro limitado podendo o mesmo ser mensurado, uma vez que para todo c (0, 2 ),
tem-se que 1 cos(c) 0.
Logo o valor estimado para o erro da aproximao polinomial utilizada estar con7
7
preendido entre 5040.2
7 e 0. Como 5040.27 0, 00468 tem-se que kEk 0, 00468, de
onde possvel estimar que os valores obtidos dessa forma apresentaro uma preciso
de pelo menos duas casas decimais.

7.1

Atividade Prtica Relacionada a Funo Seno e sua Aproximao Polinomial

Esta atividade foi elaborada para ser desenvolvida em uma turma do primeiro ano do
ensino mdio. Durante a mesma ser apresentado um mtodo simples e eficaz para
determinar uma aproximao do valor numrico da funo f (x) = sen(x).
Inicia-se a atividade apresentando um polinmio supostamente mgico P (x) = x
x3
6

x
+ 120
, o qual possui o poder de calcular o valor aproximado da funo f (x) = sen(x)

para qualquer ngulo 0 x 2 .

Como esse polinmio possibilita uma aproximao da referida funo para qualquer
ngulo 0 x 2 , tem-se na verdade a possibilidade de obter-se o valor aproximado

54

do seno de qualquer ngulo, basta utilizar-se esta teoria juntamente com a tcnica da
reduo ao primeiro quadrante.
Aps iniciada a aula, apresenta-se aos alunos o polinmio P (x) = x

x3
6

x5
,
120

explicando aos mesmos que essa expresso algbrica ser utilizada para obtermos o
valor aproximado da funo seno.
Para facilitar e organizar os clculos ser utilizada a seguinte tabela, juntamente
com o algoritmo descrito na seo 7.2.
Grau() Radianos(x) x

7.2

x3

x3
6

x5

x5
120

P (x) = x

x3
6

x5
120

Algortmo para a Determinao da Aproximao Polinomial da Funo Seno

A seguir ser apresentado um algoritmo (descrio) elaborado com o intuito de nortear

a atividade a ser desenvolvida em sala de aula.
1) Escolha um ngulo 0 90 e escreva na tabela, na coluna dos Graus.
2) Transforme este ngulo de Graus para Radianos, denote-o como x e escreva na
tabela, na coluna dos Radianos. Utilizar uma aproximao (arredondamento) de trs
casas decimais.
3) Escreva o valor de x obtido no item 2) na tabela, na coluna x. Mantenha a
mesma aproximao (arredondamento) de trs casas decimais.
4) Calcule, utilizando sua calculadora, o valor de x3 partindo do valor encontrado no
item 3) e escreva na tabela, na coluna x3 . Utilizar uma aproximao (arredondamento)
de trs casas decimais.
5) Calcule, utilizando sua calculadora, o valor de x5 partindo do valor encontrado
nos itens 3)e 4) e escreva na tabela, na coluna x5 . Utilizar uma aproximao (arredondamento) de trs casas decimais.
3

6) Calcule, utilizando sua calculadora, o valor de x6 partindo do valor encontrado no

3
item 4) e escreva na tabela, na coluna x6 . Utilizar uma aproximao (arredondamento)
de trs casas decimais.
7) Calcule, utilizando sua calculadora, o valor de
item 4) e escreva na tabela, na coluna

x5
.
120

x5
120

partindo do valor encontrado no

Utilizar uma aproximao (arredondamento)

55

de trs casas decimais.

3

x
8) Calcule, utilizando sua calculadora, o valor de P (x) = x x6 + 120
partindo
dos valores encontrados nos itens 3), 6) e 7) e escreva na tabela, na coluna P (x) =

x3
6

x5
.
120

Utilizar uma aproximao (arredondamento) de trs casas decimais.

Deve-se observar que o professor ao utilizar esta aproximao polinomial da funo

seno, deve frizar aos alunos que este clculo ir resultar em um valor prximo ao
valor real, mas que o mesmo apresenta uma pequena diferena em relao ao valor
real,visto que trata-se de uma aproximao polinomial e que foram realizados inmeros
arredondamentos durante o processo, gerando assim uma diferena.

7.3

Exemplo Prtico Relacionado a Funo Seno

Solicite a um aluno que escolha um ngulo 0 90 . Supondo sem perda de

generalidade que o mesmo escolha o ngulo = 38 . Preencha a tabela conforme
abaixo:
Grau ()

Radianos(x)

x x3

x3
6

x5

x5
120

P (x) = x

x3
6

x5
120

38
Converta o ngulo dado para radianos utilizando a seguinte expresso: x =

.
180

Assim como = 38 e utilizando = 3, 142, tem-se que:

x=

38
0, 663311111 0, 663.
180

Preencha a tabela conforme abaixo:

Grau ()

Radianos(x)

38

0, 663

x x3

x3
6

x5

x5
120

P (x) = x

x3
6

x5
120

A partir deste ponto pode-se solicitar que seja preenchido o restante da tabela,
desde que observado que todas as aproximaes (arredondamentos) devero ser feitas
com trs casas decimais.
Aps os alunos completarem o preenchimento da tabela dada, espera-se que os
mesmos obtenham o seguinte resultado:

56

Grau ()

Radianos(x)

38

0, 663

x3
6

x3

0, 663 0, 291 0, 049

x5
120

x5

0, 122 0, 001

P (x) = x

x3
6

x5
120

0, 615

Vale ressaltar que utilizando um computador ou uma calculadora cientfica, pode-se

encontrar o valor sen(38 ) 0, 615661475, mostrando assim que o mtodo utilizado foi
eficiente na aproximao obtida.

7.4

Exerccio Proposto para Assimilao da Atividade Relacionada Funo Seno

Solicitar aos alunos que elaborem uma tabela completa com todos os ngulos inteiros

0 90 , utilizando a tabela abaixo como modelo:

Grau ()

Radianos(x) x x3

x5

P (x) = x

x3
6

x5
120

f (x) = sen(x)

0
1
2
3
..
.
89
90
Observando que a ltima coluna ser obtida utilizando-se uma calculadora cientfica
ou mesmo um computador que possibilite obter-se os valores aproximados da funo
seno.

57

Resultado esperado para a tabela a ser elaborada pelos alunos com 0 30 .

Radianos()

x3

x5

3
x5
P (x) = x x6 + 120

f (x) = sen(x)

0,000

0,000

0,000

0,000

0,000

0,000

0,017

0,017

0,000

0,000

0,017

0,017

0,035

0,035

0,000

0,000

0,035

0,035

0,052

0,052

0,000

0,000

0,052

0,052

0,070

0,070

0,000

0,000

0,070

0,070

0,087

0,087

0,001

0,000

0,087

0,087

0,105

0,105

0,001

0,000

0,105

0,105

0,122

0,122

0,002

0,000

0,122

0,122

0,140

0,140

0,003

0,000

0,139

0,139

0,157

0,157

0,004

0,000

0,156

0,156

10

0,175

0,175

0,005

0,000

0,174

0,174

11

0,192

0,192

0,007

0,000

0,191

0,191

12

0,209

0,209

0,009

0,000

0,208

0,208

13

0,227

0,227

0,012

0,001

0,225

0,225

14

0,244

0,244

0,015

0,001

0,242

0,242

15

0,262

0,262

0,018

0,001

0,259

0,259

16

0,279

0,279

0,022

0,002

0,276

0,276

17

0,297

0,297

0,026

0,002

0,292

0,292

18

0,314

0,314

0,031

0,003

0,309

0,309

19

0,332

0,332

0,036

0,004

0,326

0,326

20

0,349

0,349

0,043

0,005

0,342

0,342

21

0,367

0,367

0,049

0,007

0,358

0,358

22

0,384

0,384

0,057

0,008

0,375

0,375

23

0,401

0,401

0,065

0,010

0,391

0,391

24

0,419

0,419

0,073

0,013

0,407

0,407

25

0,436

0,436

0,083

0,016

0,423

0,423

26

0,454

0,454

0,093

0,019

0,438

0,438

27

0,471

0,471

0,105

0,023

0,454

0,454

28

0,489

0,489

0,117

0,028

0,469

0,469

29

0,506

0,506

0,130

0,033

0,485

0,485

30

0,524

0,524

0,144

0,039

0,500

0,500

Grau
0

Tabela 3: Tabela da aproximao de sen(), para 0 30 .

A Tabela 3 apresenta os resultados esperados ao aproximar-se a relao sen(x)
atravs do Polinmio de Taylor de ordem 6, em uma vizinhana do ponto a = 0, isto
3
x5
, considerar sen(x) x x6 + 120
.
Considerando que o ngulo seja inteiro e calculado em graus, tem-se que para
a Tabela 3, 0 30 . Fazendo a transformao desses ngulos de graus para
.
radianos, obtm-se que x = 180
rad, assim 0 x 6 .
Por outro lado, o erro de cada relao sen(x) x

estimativa estar vinculado a um valor c

kr6,0 (x)k =

cos(c).x7
.
5040

Dessa forma kE(x)k

x3
6

x5
,
120

gerado por esta

(0, 6 ), sendo o mesmo dado por

E = 7 7 0, 00000214
6
5040.6
5

Portanto para a Tabela 3, tem-se que kE(x)k 10 .

58

kE(x)k =
< 105 .

Resultado esperado para a tabela a ser elaborada pelos alunos com 31 60 .

Grau

Radianos()

x3

x5

3
x5
P (x) = x x6 + 120

f (x) = sen(x)

31

0,541

0,541

0,158

0,046

0,515

0,515

32

0,559

0,559

0,174

0,054

0,530

0,530

33

0,576

0,576

0,191

0,063

0,545

0,545

34

0,593

0,593

0,209

0,074

0,559

0,559

35

0,611

0,611

0,228

0,085

0,574

0,574

36

0,628

0,628

0,248

0,098

0,588

0,588

37

0,646

0,646

0,269

0,112

0,602

0,602

38

0,663

0,663

0,292

0,128

0,616

0,616

39

0,681

0,681

0,315

0,146

0,629

0,629

40

0,698

0,698

0,340

0,166

0,643

0,643

41

0,716

0,716

0,366

0,188

0,656

0,656

42

0,733

0,733

0,394

0,212

0,669

0,669

43

0,750

0,750

0,423

0,238

0,682

0,682

44

0,768

0,768

0,453

0,267

0,695

0,695

45

0,785

0,785

0,484

0,299

0,707

0,707

46

0,803

0,803

0,517

0,334

0,719

0,719

47

0,820

0,820

0,552

0,371

0,731

0,731

48

0,838

0,838

0,588

0,413

0,743

0,743

49

0,855

0,855

0,625

0,457

0,755

0,755

50

0,873

0,873

0,665

0,506

0,766

0,766

51

0,890

0,890

0,705

0,559

0,777

0,777

52

0,908

0,908

0,748

0,616

0,788

0,788

53

0,925

0,950

0,792

0,677

0,799

0,799

54

0,942

0,942

0,837

0,744

0,809

0,809

55

0,960

0,960

0,885

0,815

0,819

0,819

56

0,977

0,977

0,934

0,892

0,829

0,829

57

0,995

0,995

0,985

0,974

0,839

0,839

58

1,012

1,012

1,037

1,063

0,848

0,848

59

1,030

1,030

1,092

1,158

0,857

0,857

60

1,047

1,047

1,148

1,259

0,866

0,866

Tabela 4: Tabela da aproximao de sen(), para 31 60 .

A Tabela 4 apresenta os resultados esperados ao utilizar-se a aproximao sen(x)
3
x5
x x6 + 120
.
Considerando que o ngulo seja inteiro e calculado em graus, tem-se que para
a Tabela 4, 30 < 60 . Fazendo a transformao desses ngulos de graus para
.
radianos, obtm-se que x = 180
rad, assim 6 < x 3 .
Por outro lado, o erro de cada relao sen(x) x

estimativa estar vinculado a um valor c

kr6,0 (x)k =

cos(c).x7
.
5040

Dessa forma kE(x)k

x3
6

x5
,
120

gerado por esta

(0, 3 ), sendo o mesmo dado por kE(x)k =

E = 7 7 0, 000274012 < 103 .
3
5040.3
3

Portanto para a Tabela 4, tem-se que kE(x)k 10 .

59

Resultado esperado para a tabela a ser elaborada pelos alunos com 61 90 .

Grau

Radianos()

x3

x5

3
x5
P (x) = x x6 + 120

f (x) = sen(x)

61

1,065

1,065

1,207

1,368

0,875

0,875

62

1,082

1,082

1,267

1,484

0,883

0,883

63

1,100

1,100

1,329

1,607

0,891

0,891

64

1,117

1,117

1,394

1,739

0,899

0,899

65

1,134

1,134

1,460

1,879

0,907

0,906

66

1,152

1,152

1,528

2,028

0,914

0,914

67

1,169

1,169

1,599

2,187

0,921

0,921

68

1,187

1,187

1,672

2,355

0,928

0,927

69

1,204

1,204

1,747

2,533

0,934

0,934

70

1,222

1,222

1,824

2,722

0,940

0,940

71

1,239

1,239

1,903

2,922

0,946

0,946

72

1,257

1,257

1,984

3,134

0,952

0,951

73

1,274

1,274

2,068

3,357

0,957

0,956

74

1,292

1,292

2,154

3,594

0,962

0,961

75

1,309

1,309

2,243

3,843

0,967

0,966

76

1,326

1,326

2,334

4,106

0,972

0,970

77

1,344

1,344

2,427

4,384

0,976

0,974

78

1,361

1,361

2,523

4,676

0,980

0,978

79

1,379

1,379

2,621

4,983

0,983

0,982

80

1,396

1,396

2,722

5,307

0,987

0,985

81

1,414

1,414

2,825

5,647

0,990

0,988

82

1,431

1,431

2,931

6,004

0,993

0,990

83

1,449

1,449

3,040

6,379

0,995

0,993

84

1,466

1,466

3,151

6,773

0,997

0,995

85

1,484

1,484

3,265

7,186

0,999

0,996

86

1,501

1,501

3,382

7,619

1,001

0,998

87

1,518

1,518

3,501

8,072

1,002

0,999

88

1,536

1,536

3,623

8,547

1,003

0,999

89

1,553

1,553

3,748

9,044

1,004

1,000

90

1,571

1,571

3,876

9,563

1,005

1,000

Tabela 5: Tabela da aproximao de sen(), para 61 90 .

A Tabela 5 apresenta os resultados esperados ao utilizar-se a aproximao sen(x)
3
x5
x x6 + 120
.
Considerando que o ngulo seja inteiro e calculado em graus, tem-se que para
a Tabela 5, 60 < 90 . Fazendo a transformao desses ngulos de graus para
.
radianos, obtm-se que x = 180
rad, assim 3 < x 2 .
Por outro lado, o erro de cada relao sen(x) x

estimativa estar vinculado a um valor c

kr6,0 (x)k =

cos(c).x7
.
5040

Dessa forma kE(x)k

x3
6

x5
,
120

gerado por esta

(0, 2 ), sendo o mesmo dado por kE(x)k =

E = 7 7 0, 004681754 < 102 .
2
5040.2
2

Portanto para a Tabela 5, tem-se que kE(x)k 10 .

60

A Equao do Calor

Nessa seo ser estudado o problema da equao da transferncia de calor ao longo

de uma barra. Esse estudo tem como objetivo introduzir a importncia do estudo das
sries de Fourier. Para maiores detalhes veja [11].
Considerando os estudos matemticos, relacionados aos fenmenos fsicos que so
tratados atravs das teorias do Clculo Diferencial e Integral, desde o sculo XVIII o
problema da conduo de calor em uma barra, vem sendo estudado.
Utilizando as teorias do Clculo Diferencial e Integral, veremos como chegar
concluso de que a temperatura ao longo de uma barra em um ponto x e no instante
t uma funo de duas variveis u(x, t), a qual possui derivadas parciais nas variveis
x e t, satisfazendo a equao diferencial parcial:
u
2u
(56)
(x, t) = k 2 (x, t),
t
x
onde k uma constante real relacionada ao tipo de material que compe a barra.
A seguir ser utilizado o mtodo de Fourier para a obteno de uma funo de duas
variveis que satisfaa simultaneamente a Equao (56), assim como certas condies
de valor inicial.
O mtodo de resoluo de Fourier que ser utilizado consiste em duas fases. Na
primeira etapa procura-se obter, atravs da separao das variveis, um problema de
autovalor, para as equao diferenciais ordinrias relacionadas s equaes diferenciais
parciais relativas ao problema.
Partindo da famlia de solues encontradas na primeira etapa, inicia-se a segunda
etapa a qual basicamente a composio de uma soluo para o problema inicial atravs
de uma srie cujos termos so produtos das solues da etapa anterior por coeficientes
adequados.
Para tornar possvel o estudo em questo, ser necessrio realizar algumas consideraes. Ser considerado que o problema trata de uma barra cujo material, com o
qual tenha sido feita, seja um condutor uniforme de calor, isto , a temperatura flui de
forma igual, em todos pontos dessa barra.
Aps fazer as consideraes relativas ao material com que foi feita essa barra, tambm necessrio determinar o formato da mesma. Quanto a forma da barra ser
considerado que esta possui comprimento L e que ao longo de seu comprimento todas
as seces transversais possuem a mesma forma e consequentemente a mesma rea A.
61

Por fim a ltima considerao a de que essa barra possui um isolamento trmico
em toda sua rea lateral ao longo de seu comprimento, evitando assim a transferncia
de calor com o ambiente, a no ser em suas extremidades.

Figura 10: Barra com Seco Transversal.

Com as restries feitas acima o estudo deste problema torna-se unidimensional,
visto que a uniformidade do material, o isolamento trmico e as seces transversais
implicam que a transferncia do calor pela barra ocorra somente no sentido longitudinal
do comprimento.

Figura 11: Barra nos Eixos Coordenados.

A lei fsica que rege a conduo de calor basicamente baseada nas observaes
experimentais de Jean-Baptiste Biot (1774-1862), porm na grande maioria das vezes
creditada a Jean-Baptiste Joseph Fourier (1768-1830), o qual foi o primeiro a utiliz-la
de forma explcita.

62

Conhecida como Lei do Resfriamento de Fourier, essa lei afirma que o calor trocado
atravs de conduo, em uma determinada direo, proporcional rea da seco
normal (ortogonal) direo e ao gradiente da temperatura relacionados a esta direo.

Figura 12: Barra com Seces Transversais S1 e S2 .

Em outras palavras, essa lei garante que considerando duas seces transversais
S1 e S2 de uma barra, normais ao sentido do deslocamento desejado, possuindo reas
iguais a A, mantidas respectivamente s temperaturas constantes T1 e T2 e estando
uma da outra a uma distncia d, ento haver uma transferncia de calor da placa
(seco) mais quente para a mais fria.
A cada unidade de tempo a quantidade de calor transferido entre as seces respeita
a seguinte equao:
k.A|T2 T1 |
,
(57)
d
na qual Q representa a quantidade de calor transferido e k um nmero real relacionado
Q=

a condutividade trmica do material entre as seces.

Supondo que a barra seja colocada em um eixo coordenado, conforme a Figura 11,
o comprimento longitudinal varia juntamente com a coordenada x. Assim possvel
representar por u(x, t) a temperatura da barra em um ponto de abcissa x, no instante
de tempo t.
Tomando como base a representao da Figura 12 e considerando que as placas S1
e S2 esto ortogonalmente posicionadas respectivamente sobre os pontos de abcissa x
e x + d, faz sentido discutir-se sobre a transferncia de calor de uma placa para outra,
desde que observados alguns detalhes.
Como as temperaturas das placas no so constantes, isto , variam com o tempo,
63

no possvel aplicar diretamente a Lei de Fourier. Para adequar essa teoria ao problema em questo, faz-se necessrio introduzir uma nova grandeza, a qual ser denominada de fluxo de calor atravs de uma placa na posio x e no instante de tempo t.
Esta grandeza ser representada por q(x, t).
Fixando o tempo na equao (57), torna-se possvel considerar que as temperaturas
nas placas S1 e S2 so dadas por T1 = u(x, t) e T2 = u(x + d, t), respectivamente. Logo
essa equao pode ser expressa por:
Q=

k.A|u(x + d, t) u(x, t)|

.
d

(58)

Definindo o fluxo de calor na direo positiva do eixo coordenado x e tomando o

limite quando d tende a zero, na equao (58), obtm-se que:


 u

k.A|.u(x + d, t) u(x, t)|
q(x, t) = lim
= k.A.  (x, t) .
d0
d
x

(59)

Para facilitar o entendimento dos clculos, que sero desenvolvidos a seguir, sero
u
2u
u
utilizadas as seguintes notaes:
= ux ,
= uxx e
= ut . Dessa forma a
2
x
x
t
igualdade (59) pode ser reescrita por:
q(x, t) = k.A.ux (x, t).

(60)

O mdulo apresentado na equao (59) foi substitudo pelo sinal de menos na equao (60), visto que se a varivel temperatura u cresce, quando ocorre um deslocamento
x da esquerda para a direita, tem-se que ux > 0, porm o fluxo de calor fluir da direita
para a esquerda (sentido contrrio do deslocamento x), fazendo com que o q(x, t) seja
negativo.
Analogamente pode-se observar que se u decresce, quando ocorre um deslocamento
x da esquerda para a direita, tem-se que ux < 0, porem o fluxo de calor fluir da
esquerda para a direita (mesmo sentido do deslocamento x), fazendo com que o q(x, t)
seja positivo.
Para analisar a quantidade de calor q que passa por um elemento dessa barra, devese fazer algumas suposies. Supondo que o elemento esteja em uma seco localizada
entre as posies x0 e (x0 + ) e que o tempo ir variar de t0 at (t0 + ), utilizando o
fluxo de calor q(x, t), juntamente com a igualdade (60), obtm-se que:
Z

t0 +

q=

t0 +

q(x0 , t)dt
t0

t0 +

[ux (x0 + , t) ux (x0 , t)] dt. (61)

q(x0 +, t)dt = k.A

t0

t0

64

Pelo Teorema Fundamental do Clculo, tem-se que a equao (61) pode ser reescrita
por:
Z

t0 +

x0 +

k.A.uxx (x, t)dxdt.

q=
t0

(62)

x0

Conforme os estudos relacionados transferncia de calor em uma substncia, temse que a constante, denominada calor especfico c, a quantidade de calor necessria
para aumentar em um grau Celsius a temperatura dessa substncia. Assim, considerando uma substncia com densidade , rea A e constante de calor especfico c,
pode-se obtr que:
Z t0 + Z x0 +
q=
c..A.ut (x, t)dt.
(63)
t0

x0

Igualando as equaes (62) e (63), obtm-se:

Z t0 + Z x0 +
Z t0 + Z
k.A.uxx (x, t)dxdt =
t0

x0

t0

x0 +

c..A.ut (x, t)dt.

(64)

x0

Analisando a igualdade (64) e observando que a mesma vlida para todo t0 > 0,
k
0 < x0 < L, > 0 e  > 0, obtm-se que k.uxx (x, t) = c..ut (x, t). Fazendo K =
,
c.
tem-se que:
ut (x, t) = K.uxx (x, t).
(65)
A constante K =

k
c.

denominada Difusibilidade Trmica. Cada substncia possui

uma difusibilidade trmica prpria. A seguir ser apresentada a Tabela 6, na qual so

relacionadas algumas substncias com suas respectivas difusibilidades trmicas (K).
Material

K(cm2 /s)

Material

K(cm2 /s)

Prata

1, 71

Ferro Fundido

0,12

Cobre

1, 14

Argila

0,0038

Alumnio

0, 86

gua

0,00144

Tabela 6: Tabela com a Difusibilidade Trmica (K) de Algumas Substncias.

A equao (65) denominada Equao do calor, sendo a mesma a lei que rege a
variao de temperatura u(x, t) em uma barra, conforme as hipteses feitas para a
obteno da Figura 10.
Neste ponto deve-se observar que para obter a Equao do Calor foi feita a hiptese
de que a temperatura uma funo de duas variveis denotada por u(x, t), para a qual
65

as derivadas parciais de at segunda ordem existem e so contnuas em uma regio do

plano (x, t) com t > 0 e 0 < x < L .
Analisando a equao diferencial parcial (65), pode-se verificar que a mesma apresenta inmeras solues. Para chegar-se a real soluo da mesma necessrio analisar
o problema, a fim de obter-se valores que possam determinar as ditas condies de
fronteira.
Para determinar os valores de fronteira desta equao, deve-se inicialmente considerar que no tempo inicial de medio das temperaturas, cada placa da barra em estudo
possui uma temperatura inicial constante para todos os seus pontos.
Assim, a temperatura nos pontos de cada placa no instante t = 0 pode ser expressa como uma funo unidimensional que ir depender nica e exclusivamente de
sua posio na barra. Dessa forma pode-se considerar que:
u(x, 0) = f (x),
onde f : [0, L] R uma funo real que a cada ponto x em que se localiza a seco
transversal ser relacionada a temperatra desta placa no instante t = 0.
Alm de analisar a temperatura das sees transversais no instante t = 0, deve-se
tambm analisar a situao das extremidades desta placa. Explorando exaustivamente
todas as possibilidades, pode-se perceber que existiram exatamente 4 casos a saber:
1a Possibilidade : As temperaturas das extremidades so mantidas constantes.
2a Possibilidade : As extremidades esto termicamente isoladas, isto , os fluxos
de calor atravs de x = 0 e x = L so nulos.
3a Possibilidade : Existe transferncia de calor entre as extremidades e o meio
ambiente, o qual est a uma temperatura constante u0 .
4a Possibilidade : Ocorre uma combinao de duas das possibilidades anteriores.
Devido a esse problema ser meramente ilustrativo, a seguir ser tratado apenas o
caso relatado na 1a possibilidade.
Supondo que as extremidades da barra sejam mantidas constantes com T1 , sendo a
temperatura na extremidade em que x = 0 e T2 , sendo a temperatura na extremidade
em que x = L. Dessa forma, tem-se que:
u(0, t) = T1

e u(L, t) = T2 .
66

(66)

Poderia tambm ser considerado que se conhece a variao da temperatura nas

extremidades, isto , existem as funes T1 (t) e T2 (t) para t 0, as quais estimam as
temperaturas nas extremidades da barra em x = 0 e x = L, respectivamente.

8.1

Formulao Matemtica do Problema

Considerando as hipteses do problema da conduo de calor sobre uma barra, que

foram feitas na seo (8), assim como o caso retratado na primeira possibilidade de
valores de contorno, a seguir ser formulado matematicamente este problema.
Seja < = {(x, t) R2 ; 0 < x < L e t > 0}, a regio do plano (x, t) que representa o
a variao das posies das seces transversais internas da barra, juntamente com a
variao do tempo imediatamente aps o incio da medio.
= {(x, t) R2 ; 0 < x < L e t > 0} S{(x, t) R2 ; x = 0 e t >
Por outro lado, seja <
S
S
a unio
0} {(x, t) R2 ; x = L e t > 0} {(x, t) R2 ; 0 x L e t = 0}. Isto <
do conjunto < com sua fronteira, a qual formada pelo segmento {0 x L, t = 0},
juntamente com as semi-retas {x = 0, t > 0} e {x = L, t > 0}.
Assim, o problema em questo baseia-se em determinar uma funo real de duas
a qual satisfaz a equao (65 ), isto :
variveis u(x, t) definida no conjunto <,
ut = K.uxx

em <,

(67)

0 x L,

(68)

respeitando a condio inicial

u(x, 0) = f (x),

onde f : [0, L] R uma funo real que satisfaz as condies de fronteira.

Supondo inicialmente que as temperaturas nas extremidades so mantidas constantes e iguais a zero, tem-se que:
u(0, t) = u(L, t) = 0.

(69)

Problemas descritos atravs de equaes do tipo (67)e (69) so costumeiramente

denominados Problemas de Valores Iniciais e de Fronteira e so representados pelo
sistema de equaes:

ut = K.uxx

em <,

u(0, t) = u(L, t) = 0.
67

(70)

Neste momento ser inserido o mtodo de Fourier (Separao de Variveis) para

determinar a soluo u do problema 70 , o qual inicialmente ir supor que ela pode ser
decomposta como um produto de duas outras funes. Isto , existem duas funes
F (x) e G(t), para as quais tem-se que:
u(x, t) = F (x).G(t).

(71)

Substituindo a equao (71) na equao (67), obtem-se que F (x).G0 (t) = K.F 00 (X).G(t).
Supondo que as funes F e G so tais que F (x) 6= 0, para todo 0 < x < L e G(t) 6= 0,
para todo t > 0 e sabendo que K 6= 0, pode-se obter que:
G0 (t)
F 00 (x)
=
.
K.G(t)
F (x)

(72)

Analisando a igualdade (72), pode-se verificar que seu lado esquerdo dado por
F 00 (x)
G0 (t)
independe da varivel x, assim como o lado direito dado por
independe
K.G(t)
F (x)
da varivel t. Logo, ambos os lados podem ser reescritos e obter-se:
G0 (t)
=
K.G(t)

F 00 (x)
= ,
F (x)

(73)

onde um parmetro que independe das variveis x e t.

Assim a segunda igualdade, em (73), pode ser reescrita da seguinte forma F 00 (x)
.F (x) = 0, a qual uma equao diferencial ordinria de segunda ordem.
Conforme as hipteses feitas para a obteno da equao (72), tem-se que G(t) 6= 0,
para todo t > 0. Assim, como imposto pela igualdade (71), tem-se que u(x, t) =
F (x).G(t) de onde conclui-se que se 0 = u(0, t) = F (0).(t) ento F (0) = 0. Analogamente obtm-se que F (L) = 0.
Portanto a funo F deve satisfazer a seguinte equao diferencial ordinria com
valor inicial dada por:

F 00 (x) .F (x) = 0
(74)

F (0) = F (L) = 0.
Em posse do sistema (74), deve-se avaliar para quais valores de o mesmo possui
soluo e quais so as mesmas.
Para > 0, o polinmio caracterstico da equao(74) possui duas razes reais

distintas ( ) e ( ). Dessa forma a soluo geral dessa equao da forma:

F (x) = c1 .e(

).x

68

+ c2 .e(

).x

Porm para que os valores iniciais F (0) = F (L) = 0, dados no sistema (74), sejam
satisfeitos necessrio ter-se c1 = c2 = 0 fazendo assim com que a funo F seja
identicamente nula. O que no interessa para este estudo.
Dando continuidade, supondo = 0, a equao diferencial do sistema (74) se reduz
F 00 (x) = 0, logo sua soluo geral ser um polinmio de grau 1, isto :
F (x) = c1 x + c2 .
Analisando os valores iniciais dados no sistema, tem-se que para F satisfazer os
mesmos necessrio ter-se c1 = c2 = 0, fazendo assim com que a funo F seja
identicamente nula. O que tambm no interessa para este estudo.
Por fim, supondo que < 0, pode-se considerar que = 2 , para algum
R, onde > 0. Assim o polinmio caracterstico da equao(74) possui duas razes
complexas conjugadas (i) e (i). Dessa forma a soluo geral dessa equao da
forma:
F (x) = c1 . cos(.x) + c2 .sen(.x).
Impondo que os valores iniciais F (0) = F (L) = 0, dados no sistema (74), sejam
satisfeitos necessrio ter-se c1 = 0 e c2 .sen(.L) = 0.
De c2 .sen(.L) = 0, tem-se que c2 = 0 ou sen(.L) = 0. Como c2 = 0 no
interessante, pois implicaria em F ser identicamente nula, deve-se determinar os valores
de para os quais sen(.L) = 0.
Da trigonometria tem-se que a relao sen(x) anula-se somente quando x = n.,
para todo n Z. Assim o parmetro pode ser reescrito da seguinte forma:
= 2n =

n2 2
.
L2

(75)

Os valores expressos na forma da equao (75) so denominados autovalores do

problema determinado pelo sistema (74). Por outro lado as funes expressas na forma
da equao (76) so denominadas autofunes do problema determinado pelo sistema
(74).
Fn (x) = sen

 n..x 

.
(76)
L
Neste momento deve-se redirecionar a ateno para analisar a primeira igualdade
apresentada, em (73), a qual pode ser reescrita da seguinte forma:
G0 (t) .K.G(t) = 0.

69

(77)

Devido a equao (77) representar uma equao diferencial ordinria homognea

de grau 1, tem-se que sua soluo geral descrita por:
G(t) = c.e.K.t .

(78)

Substituindo a igualdade (75) na equao (78) e tomando c = 1, tem-se que a

soluo geral da equao diferencial (77) dada por:


Gn (t) = e

n2 . 2 .K.t
L2

(79)

Dessa forma, substituindo as igualdades (76) e(79), na equao (71), tem-se que
para todo n N a soluo do problema de valores iniciais e de fronteira definidos pelo
sistema (70) da forma:


un (x, t) = Fn (x).Gn (t) = e

n2 . 2 .K.t
L2

.sen

 n..x 
L

(80)

Estas funes denotadas por un (x, t) so solues da equao diferencial definida

pelo sistema (70). Porm para que as mesmas tambm sejam soluo do problema
definido pela equao diferencial (67).
Analisando a equao diferencial (67), pode-se facilmente perceber que a mesma
linear, isto , para todo conjunto de solues un (x, t), tem-se que a combinao linear,
u(x, t) =

cn .un (x, t) =

cn .e

n2 . 2 .K.t
L2

.sen

 n..x 
L

n=1

n=1

(81)

onde n N e cn so constantes reais, tambm ser soluo do sistema (67).

Dessa forma a funo definida em (81) ser soluo do sistema de equaes (70).
Para que a mesma tambm seja soluo do problema definido pelas equaes (67),(68)
e (69) necessrio que a funo f satisfaa o problema inicial dado em (69), isto :
f (x) = u(x, 0) =

cn .un (0, t) =

n=1

X
n=1

cn .sen

 n..x 
L

(82)

onde n N e cn so constantes reais que dependem da funo f .

Neste ponto torna-se interessante refletir sobre quais tipos de funes podem ser
escritas conforme a equao (82) e quais caractersticas essas devem possuir.
Conforme foi observado no incio deste trabalho, o estudo deste problema tem a
inteno de despertar o interesse investigao das teorias relacionadas Anlise de
Fourier.
70

Observao: A seguir sero apresentados alguns resultados relacionados a essa

teoria, os quais serviro de fonte norteadora para um eventual aprofundamento nessa
rea do conhecimento.
Esses resultados so relacionados as teorias da Srie de Fourier e da Anlise de
Fourier, as quais tem o objetivo principal de criar mecanismos matemticos que possibilitem analisar quais os tipos de funes f : R R podem ser expressas da seguinte
forma:

 n..x 
 n..x 
X
1
f (x) = a0 +
an . cos
+ bn .sen
.
(83)
2
L
L
n=1
Dentre os resultados, foram escolhidos a definio da Srie de Fourier e um Teorema
que garante a convergncia dessa srie para a prpria funo. O teorema apresentado
a seguir, pode ser utilizado para obter aproximaes de funes que sejam contnuas
e de classe C 2 , diferentemente das aproximaes de Taylor que necessitam de funes
n + 1 vezes derivveis.
Definio 8.1 (Srie de Fourier). Dada uma funo integrvel f : [, ] R, definese sua Srie de Fourier atravs da expresso dada por:

a0 X
[an . cos(n.x) + bn .sen(n.x)] ,
+
2
n=1

(84)

onde os coeficientes an e bn so os coeficientes de Fourier de f, obtidos atravs das

seguintes expresses:
1
a0 =

1
an =

bn =

f (x)dx,

(85)

f (x). cos(n.x)dx,

n 1;

(86)

f (x).sen(n.x)dx,

n 1.

(87)

Teorema 8.1. Seja f : [, ] R uma funo contnua, de classe C 2 por partes

e tal que f () = f (), ento para todo x [, ] sua Srie de Fourier converge
uniformemente para a prpria funo, isto :

a0 X
f (x) =
+
[an . cos(n.x) + bn .sen(n.x)] ,
2
n=1
onde an e bn so os coeficientes de Fourier de f.

71

(88)

Observao: Entende-se como funes de classe C 2 aquelas que possuem, pelo

menos, as funes derivadas de at segunda ordem contnuas.
Neste momento encerra-se esta introduo teoria relacionada ao estudo das Sries
de Fourier e da Anlise de Fourier.
Conforme visto, essas teorias apresentam uma forma de aproximar-se uma funo
atravs da soma de parcelas que envolvem as relaes trigonomtricas seno e cosseno,
assim como coeficientes determinados atravs da integrao do produto da funo em
questo, juntamente com uma dessas relaes trigonomtricas.
Essa aproximao pode parecer muito mais complexa do que a apresentada na seo
(5), porm a mesma exige apenas que a funo seja peridica, integrvel e absolutamente integrvel, enquanto que a teoria de Taylor exige que a mesma seja (n + 1) vezes
derivvel e que suas derivadas sejam contnuas em um intervalo.
Assim espera-se que este apresentao mostre que alm da teoria de Taylor, existem
outras formas de aproximar-se funes, despertando assim o interesse em aprofundar-se
tambm no estudo desta teoria.

72

Consideraes Finais

Conforme visto no desenvolvimento deste trabalho, determinar os valores da funo

sen(x) para valores reais desse ngulo muito importante, porm nem um pouco fcil.
Tentar determinar tais valores atravs de construes geomtricas ou tratamentos
algbricos, que utilizam as identidades trigonomtricas comumente conhecidas, uma
tarefa no s rdua como tambm bastante difcil.
Na medida em que so aprimorados os conhecimentos do Clculo Diferencial e
Integral, assim como suas aplicaes, torna-se possvel ter acesso teoria de Taylor
para aproximaes polinomiais de funes reais.
O Polinmio de Taylor, juntamente com seu resto na forma de Lagrange, apresentase como uma ferramenta consistente
para determinar aproximaes dos valores da
h i
funo sen(x) para todo x 0, , assim como estimar o erro cometido ao utilizar-se
2
esta aproximao.
Porm, a utilizao dessa teoria no se restringe apenas determinao da aproximao da funo f (x) = sen(x), mas sim para toda funo que seja contnua em um
intervalo fechado [a, b] e (n + 1) vezes derivvel em no intervalo aberto (a, b).
Atravs do conhecimento da teoria de Taylor, os professores de matemtica podem
elaborar atividades em sala de aula que possibilitem a seus alunos aprimorar seus
conhecimentos matemticos relacionados a funes tradicionalmente tratadas de forma
superficial.
Por exemplo a funo exponencial f (x) = ex igual a sua srie de Taylor e pode ser
aproximada atravs de seu Polinmio de Taylor de grau n em uma vizinhana prxima
n
X
xn
x2 x3
xn
ao ponto x = 0, o qual dado por pn,0 (x) =
=1+x+
+
+ + .
n!
2
6
n!
n=0
Ao obter o Polinmio de Taylor de uma funo, um estudante tem a oportunidade de
determinar valores aproximados para funes que normalmente teriam de ser calculadas
atravs de calculadoras cientficas, ou mesmo utilizando valores tabelados, sem que
saibam sua origem.
Por fim, o aprofundamento na teoria de aproximaes podem culminar no interesse
de estudar-se a teoria das Sries de Fourier uma vez que estas, diferentemente dos
Polinmios de Taylor, exigem apenas que a funo seja no mnimo duas vezes derivvel.

73

Referncias
[1] WAGNER, Eduardo; MORGADO, Augusto Cesar de O.; CARMO, Manfredo P.
do. Trigonometria e nmeros complexos. 3a ed. Rio de Janeiro: SBM, 2005.
[2] Iezzi, Gelsom. Fundamentos de matemtica elementar - trigonometria. 9a ed. So
Paulo: Atual, 2013. v. 9.
[3] AYRES JR., Frank; MOYERS, Robert E. Trigonometria. 3a ed. So Paulo: BOOKMAN, 2003 - Coleo Schaum.
[4] GUIDORIZZI, Hamilton L. Um curso de clculo. 5a ed. Rio de Janeiro: LTC,
2001. v. 1.
[5] GUIDORIZZI, Hamilton L. Um curso de clculo. 5a ed. Rio de Janeiro: LTC,
2001. v. 4.
[6] THOMAS, George B. Clculo. 11a ed. So Paulo: PEARSON, 2009. v. 1.
[7] LEITHOLD, Louis. O clculo com geometria analtica. 3a ed. So Paulo: HARBRA, 1994. v. 1.
[8] MORETTIN, Pedro A.; HAZZAN, Samuel; BUSSAB, Wilton de O. Clculo funes de uma e vrias variveis. 2a ed. So Paulo: Saraiva, 2010.
[9] LIMA, Elon Lages. Anlise real. Rio de Janeiro: IMPA, 1999. v. 1.
[10] MONTEIRO, Luiz Henrique Alves. Sistemas dinmicos. 3a ed. So Paulo: Livraria
da Fsica, 2006.
[11] FIGUEIREDO, Djairo Guedes de. Anlise de Fourier e equaes diferenciais parciais. 4a ed. Rio de Janeiro: IMPA, 2003.
[12] FIGUEIREDO, Djairo Guedes ; NEVES, Alosio Freiria. Equaes diferenciais
aplicadas. 3a ed. Rio de Janeiro: IMPA, 2008.
[13] BOYCE, William E.; DI PRIMA, Richard C. Equaes diferenciais elementares e
problemas de valores de contorno. 8a ed. Rio de Janeiro: LTC, 2006.
74

[14] MEDEIROS, Luis Adauto; ANDRADE, Nirzi Gonalves. Introduo s equaes

diferenciais parciais. Rio de Janeiro: LTC, 1978.
[15] BOYER, Carl B. Histria da matemtica. 3a ed. So Paulo: Edgard Blucher, 2010.
[16] FERREIRA, Aurlio Buarque de Holanda. Dicionrio Aurlio da lngua portuguesa. 5a ed. Curitiba: Positivo, 2010.

75