13.12.11 - Dissertação (Ponto Fixo - Uma Introdução No Ensino Médio) - Philipe Albuquerque

Philipe Thadeo Lima Ferreira de Albuquerque
Ponto fixo: uma introduo no Ensino Mdio

So Jos do Rio Preto
2014

UNIVERSIDADE ESTADUAL PAULISTA
JLIO DE MESQUITA FILHO
Campus de So Jos do Rio Preto



Trabalho de concluso de curso submetida Coordenao
Acadmica Institucional do Programa de Mestrado
Profissional em Matemtica em Rede Nacional, oferecido
em associao com a Sociedade Brasileira de Matemtica,
e ao Programa de Ps-graduao do Instituto de Instituto
de Biocincias, Letras e Cincias Exatas da Universidade
Estadual Paulista Jlio de Mesquita Filho, Campus de
So Jos do Rio Preto, como requisito parcial para
obteno do grau de mestre em Matemtica.

Orientador: Prof. Dr. German Jesus Lozada Cruz.

So Jos do Rio Preto
2014

FICHA CATALOGRFICA

Albuquerque, Philipe Thadeo Lima Ferreira.
Ponto fixo: uma introduo no ensino mdio / Philipe Thadeo Lima
Ferreira de Albuquerque. -- So Jos do Rio Preto, 2013
69 f. : il., frmulas

Orientador: German Jesus Lozada Cruz
Dissertao (mestrado profissional) Universidade Estadual
Paulista Jlio de Mesquita Filho, Instituto de Biocincias, Letras e
Cincias Exatas

1. Matemtica (Ensino mdio) Estudo e ensino. 2. Teoria do ponto
fixo. 3. Funes (Matemtica). 4. Banach, lgebra de. 5. Teoria da
aproximao. I. Lozada Cruz, German Jesus. II. Universidade Estadual
Paulista "Jlio de Mesquita Filho". Instituto de Biocincias, Letras e
Cincias Exatas. III. Ttulo.

CDU 51(07)

Ficha catalogrfica elaborada pela Biblioteca do IBILCE
UNESP - Campus de So Jos do Rio Preto



Trabalho de concluso de curso submetida Coordenao
Acadmica Institucional do Programa de Mestrado
Profissional em Matemtica em Rede Nacional, oferecido
em associao com a Sociedade Brasileira de Matemtica,
e ao Programa de Ps-graduao do Instituto de Instituto
de Biocincias, Letras e Cincias Exatas da Universidade
Estadual Paulista Jlio de Mesquita Filho, Campus de
So Jos do Rio Preto, como requisito parcial para
obteno do grau de mestre em Matemtica.

Banca examinadora:

Prof. Dr. German Jesus Lozada Cruz
DMAT IBILCE/UNESP
Presidente da Banca

Prof. Dr. Cosme Eustaquio Rubio Mercedes
DMAT UEMS

Profa. Dra. Rita de Cssia Pavani Lamas
DMAT IBILCE/UNESP

So Jos do Rio Preto
21 de Fevereiro de 2014

Este trabalho dedicado s pessoas que sempre estiveram ao meu lado pelos caminhos
da vida, me acompanhando, apoiando e principalmente acreditando em mim. Dedico ainda ao
meu primeiro filho, Raphael, dado por Deus durante a produo desse trabalho. E
especialmente a Deus, pelas oportunidades maravilhosas que me concede.

AGRADECIMENTO

Agradeo aos meus professores da UNESP-IBILCE pela qualificao profisso de
educador na rea de Matemtica, em especial ao carssimo professor Dr. German Jesus
Lozada Cruz pela sabedoria compartilhada e pacincia; minha querida e amada esposa,
Fernanda Carolina de Pontes Albuquerque pela pacincia, amor e zelo.

"Ns somos aquilo que repetidamente
fazemos. Portanto, a excelncia no um fato,
mas um hbito."

Aristteles

8

RESUMO

O principal objetivo deste trabalho consiste na produo de um referencial terico relacionado
aos conceitos de ponto fixo, que possibilite, aos alunos do Ensino Mdio, o desenvolvimento
de habilidades e competncias relacionadas Matemtica. Neste trabalho so colocadas
abordagens contextualizadas e proposies referentes s noes de ponto fixo nas principais
funes reais (afim, quadrtica, modular, dentre outras) e sua interpretao geomtrica. So
abordados de maneira introdutria os conceitos do teorema do ponto fixo de Brouwer, o
teorema do ponto fixo de Banach e o mtodo de resoluo de equaes por aproximaes
sucessivas.

Palavras-chaves: Ponto fixo. Teorema de Brouwer. Teorema de Banach. Resoluo por
aproximaes sucessivas.

9

ABSTRACT

The main objective of this work is to produce a theoretical concepts related to fixed point,
enabling, for high school students, the development of skills and competencies related to
Mathematics. This work placed contextualized approaches and proposals relating to notions
of fixed point in the main real functions (affine, quadratic, modular, among others) and its
geometric interpretation. Are approached introductory concepts of the fixed point theorem of
Brouwer's, fixed point theorem of Banach and the method of solving equations by successive
approximations.

Keywords: Fixed point. Brouwer theorem. Banach theorem. Resolution by successive
approximations.

10

SUMRIO
MOTIVAO ............................................................................................................... 11
1 INTRODUO ............................................................................................................. 12
2 CONCEITOS INICIAIS DE PONTO FIXO .............................................................. 14
2.1 Definio de ponto fixo ................................................................................................. 14
2.2 Relaes definidas por frmulas matemticas ........................................................... 15
3 PONTO FIXO DE UMA FUNO REAL ................................................................ 18
3.1 Interpretao geomtrica do ponto fixo ...................................................................... 18
3.2 Funo afim ................................................................................................................... 22
3.3 Funo quadrtica ........................................................................................................ 28
3.4 Funo modular ............................................................................................................ 29
3.5 Paridade de funes ...................................................................................................... 31
3.6 Composies de funes ................................................................................................ 33
3.7 Funes inversas ............................................................................................................ 37
3.8 Ponto fixo e o teorema do valor intermedirio ........................................................... 39
3.9 Teorema do ponto fixo de Brouwer ............................................................................. 42
4 INTRODUO RESOLUO DE EQUAES PELO MTODO DAS
APROXIMAES SUCESSIVAS .............................................................................. 45
4.1 Motivao ....................................................................................................................... 45
4.2 Reescrevendo uma equao .......................................................................................... 46
4.3 Sequncias de nmeros reais ........................................................................................ 47
4.4 Limites de sequncias de nmeros reais...................................................................... 47
4.5 Sequncias recorrentes de nmeros reais ................................................................... 50
4.6 Sequncias de Cauchy ................................................................................................... 52
4.7 Teorema do ponto fixo de Banach ............................................................................... 54
4.8 Resoluo de equaes pelo mtodo das aproximaes sucessivas ........................... 58
CONSIDERAES FINAIS ........................................................................................ 64
REFERNCIAS ............................................................................................................ 65
APNDICE .................................................................................................................... 67

11

MOTIVAO

Os documentos norteadores do Sistema Educacional Brasileiro
1
e da Secretaria de
Educao do estado de So Paulo
2
so colocados como parmetros que orientam a prtica
escolar. Eles buscam contribuir para que os alunos tenham acesso a um conhecimento
matemtico que desenvolva competncias que lhes possibilite de fato sua insero, como
cidados, no mundo do trabalho, das relaes sociais e da cultura. Estes documentos
apresentam uma lista de temas e contedos para a Matemtica, e tm como premissa
fundamental que os contedos so meios para o desenvolvimento das competncias
almejadas.
As transformaes sociais, causadas principalmente pelos computadores, trouxe a
necessidade de tcnicas de programao de algoritmos e anlise de dados no apenas aos
inseridos no Ensino Superior, mas populao em geral. Contedos matemticos mais
comuns no ensino superior como, por exemplo, a criptografia, a topologia e a otimizao,
hoje so fundamentais para a cidadania.
Inexoravelmente o avano da computao de forma intensa e abrangente na nossa
sociedade permite e exige que vrios contedos da Matemtica que antes eram restritos ao
ensino superior, hoje sejam introduzidos aos alunos do Ensino Mdio.
A atualizao dos contedos, alm de fundamental para o desenvolvimento de
competncias necessrias vida social, deve ser colocada de forma que permita aos alunos
uma interao entre a matemtica e os desafios apresentados na sociedade atual.
Sobre isso, Dante [6], p.11 diz que um dos principais objetivos do ensino de matemtica
fazer o aluno pensar produtivamente e para isso nada melhor que lhe apresentar situaes
problemas que o envolvam, o desafiem e o motivem a querer resolv-las.
Assim, este trabalho busca apresentar referncias e parmetros tericos para apoiar a
elaborao de sequncias didticas relacionadas aos conceitos de ponto fixo de funes que
podem ser empregados no Ensino Mdio, visando o desenvolvimento de competncias ligadas
Matemtica.

1
Parmetros Curriculares Nacionais MEC, 1998. [3]
2
Proposta Curricular do Estado de So Paulo SEESP, 2008. [12]

12

1 INTRODUO

As Orientaes Curriculares para o Ensino Mdio: Cincias da Natureza, Matemtica e
suas Tecnologias [4] destacam que o contedo parte do princpio de que toda situao de
ensino e aprendizagem deve agregar o desenvolvimento de habilidades que caracterizem o
pensar matematicamente. Neste sentido, preciso dar prioridade qualidade do processo e
no quantidade de contedos a serem trabalhados. A escolha de contedos deve ser
cuidadosa e criteriosa, propiciando ao aluno um fazer matemtico por meio de um processo
investigativo que o auxilie na apropriao de conhecimento.
As competncias e habilidades de matemtica desenvolvidas no Ensino Mdio,
relacionadas aos estudos das funes, desempenham um papel fundamental na formao
bsica do cidado. Para isso, os contedos devem possibilitar um bom domnio das funes,
principalmente as habilidades que exploram qualitativamente as relaes entre duas grandezas
em diferentes situaes, destacando o significado da representao grfica das funes,
quando alteramos seus parmetros e pontos significativos para o seu estudo.
Vrios pontos ou valores relevantes aos estudos das funes so comumente abordados
nos livros didticos disponibilizados aos alunos como: zero da funo, valor mximo e
mnimo da funo, vrtice da parbola descrita por uma funo quadrtica, ponto de
interseco de funes, pontos da funo que tocam os eixos cartesianos, dentre outros. Neste
trabalho pretendemos evidenciar um ponto extremamente relevante para o estudo das funes
que no abordado nos livros didticos do Ensino Mdio, isto , o ponto fixo de uma funo.
Buscamos, dessa forma, auxiliar professores e alunos com um referencial terico acerca dos
conceitos de ponto fixo, para que este conhecimento venha enriquecer os contedos que
desenvolvem as competncias e habilidades relacionadas ao estudo de funes e sequncias
numricas.
No Captulo 2 introduziremos conceitos iniciais de ponto fixo apresentando abordagens
introdutrias da definio de ponto fixo e situaes contextualizadas para a familiarizao
com o tema.
No Captulo 3 abordaremos o ponto fixo de uma funo real e sua interpretao
geomtrica, apresentando proposies que esto relacionadas s principais funes reais e
suas operaes. Apresentaremos ainda aplicaes contextualizadas do teorema do ponto fixo
de Brouwer.

13

No Captulo 4 apresentaremos aplicaes dos conceitos de ponto fixo na resoluo de
equaes atravs do mtodo de aproximaes sucessivas, com base nos conceitos de
sequncias de nmeros reais. Apresentaremos ainda abordagens envolvendo os conceitos
referentes ao teorema do ponto fixo de Banach.
Por fim, concluiremos buscando expor nossas consideraes finais acerca do tema
desenvolvido.

14

2 CONCEITOS INICIAIS DE PONTO FIXO

As abordagens apresentadas a seguir buscam mostrar como o conceito de ponto fixo
pode auxiliar no desenvolvimento de competncias relacionadas interpretao de tabelas,
frmulas matemticas e resoluo de problemas contextualizados.

2.1 Definio de ponto fixo

Amigo-secreto
3
ou amigo-oculto uma tradicional dinmica de final de ano que tem
como objetivo, atravs da troca de presentes, a confraternizao entre todos os participantes
de um grupo. Para isso, coloca-se o nome de todos em bilhetes, que so depositados em uma
urna. Aleatoriamente, cada pessoa retira apenas um bilhete, que traz escrito o nome de seu
amigo-secreto. Porm, um problema muito comum desta brincadeira consiste quando a pessoa
retira da urna o seu prprio nome.
Tal fato corriqueiro pode ocorrer em funes matemticas. Consideremos, por exemplo,
a funo, , dada por () , razovel questionar se existe algum valor
, pertencente ao domnio da funo, tal que . No caso desta funo afim teremos
um nico valor , pertencente ao domnio, tal que () , ou seja, para implicar em
. Logo, o ponto , ser ponto fixo desta funo. Esta singularidade a base em uma
poderosa ferramenta matemtica, principalmente, sobre o estudo de funes e de equaes.

Definio 2.1
Dados dois conjuntos quaisquer no vazios A e B, e uma transformao
, define-se ponto fixo, o valor tal que () em ,
ou seja, um ponto fixo um valor pertencente ao domnio que no
sofre alterao pela transformao .

Assim como podemos no ter problemas na retiradas dos nomes, tambm temos
transformaes matemticas que no possuem pontos fixos.

3
Ideias adaptadas do trabalho de Moreira [10].

2 DEFINIES INICIAIS DE PONTO FIXO

15

2.2 Relaes definidas por frmulas matemticas

Como os conceitos de tabela de dupla entrada so desenvolvidos geralmente no Ensino
Fundamental e ampliados no Ensino Mdio, podemos verificar que, durante a introduo de
relaes definidas atravs de frmulas matemticas, a noo de ponto fixo pode ser
apresentada como parte complementar desses conceitos.
Exemplo 2.2.1 Mquina de renumerar cartes
Imaginemos, por exemplo, uma mquina que renumera cartes. A mquina l o nmero
original e escreve um novo nmero , onde . A tabela abaixo apresenta alguns
valores originais e seus novos nmeros:

0 -6
1 -3
2 0
3 3 Ponto fixo
4 6
5 9

Observe que quando inserimos o carto com o nmero 3 a mquina no altera o valor do
nmero, ou seja, o nmero 3 ficar fixo.
Exemplo 2.2.2 Teorema de Tales
Dentro das aplicaes do teorema de Tales desenvolvidas durante o Ensino
Fundamental e novamente trabalhados nas disciplinas de Matemtica e Fsica no Ensino
Mdio, temos problemas, por exemplo, como os de converses entre escalas termomtricas
que permitem a ampliao do conceito de ponto fixo.
Dadas duas escalas termomtricas graduadas A e B, temos dois pontos conhecidos, por
exemplo, o de congelamento e o de ebulio da gua. Na escala A tais pontos so: 10 A e 90
A, e na escala B, 10 B e 110 B.


16

Pelo Teorema de Tales, temos:
90 A Ponto de Ebulio 110 B

10 A Ponto de Congelamento -10 B

Assim, temos a seguinte relao de converso entre as escalas:

()
()

(2.2.a)
Em temas envolvendo estes assuntos, uma pergunta simples que pode ampliar o
conceito de ponto fixo : existe alguma temperatura que possui um valor na escala A que tem
o mesmo valor na escala B? Em termos matemticos, existe algum em A tal que
em B?
Da equao (2.2.a), temos:
()

Portanto, segue que em determinada temperatura os dois termmetros marcaro o valor
30, ou seja, o valor 30 fixo nos dois termmetros.
Em particular, as escalas termomtricas utilizadas na maioria dos pases so a escala
Celsius e a Fahrenheit, elas possuem ponto fixo igual a 40.

Exemplo 2.2.3 Caixas dgua
Imaginemos duas caixas dgua, uma vazia e outra com 50 litros. Elas vo ser cheias
por duas bombas dgua idnticas, que iniciaro no mesmo momento, porm a que encher a
caixa com 50 litros funcionar com metade da potncia da primeira. Como a primeira encher
mais rpido que a segunda, podemos afirmar que em determinado momento elas tero a
mesma quantia dgua.


17

Seja a quantia de gua da caixa 1, podemos escrever a quantia na caixa 2 em funo
da quantia , ou seja,

(2.2.b).
Logo, o problema se resume em determinar quando a quantia implicar numa
quantia . Ou seja, o valor corresponde a um ponto fixo. Assim, pela equao (2.2.b),
segue que:
()

Portando, a quantidade nas duas caixas dgua ser igual em 100 litros.

18

3 PONTO FIXO DE UMA FUNO REAL

A noo de funo foi desenvolvida e aperfeioada ao longo de vrios sculos. E esta
noo no restrita apenas aos interesses da Matemtica, pois, ela faz parte do nosso
cotidiano e est presente em diversas reas do conhecimento. Vrios problemas que surgem
de fenmenos presentes na natureza recaem no estudo das funes, possibilitando uma
poderosa ferramenta na interpretao e compreenso dos fenmenos em questo.
As definies das principais funes que apresentaremos foram adaptadas do trabalho
de Dante [7], que possui o seu trabalho distribudo pelo Ministrio da Educao a vrias
escolas do pas.

3.1 Interpretao geomtrica do ponto fixo

O desenvolvimento das habilidades relacionadas ao estudo de grficos, interceptao de
curvas e pontos de interseco, fundamental no estudo de funes reais. A interpretao
geomtrica do ponto fixo pode auxiliar no desenvolvimento destas habilidades.
Proposio 3.1.1
Uma funo possui ponto fixo se, e somente se, o
ponto ( ) pertencer ao grfico da funo .

Demonstrao:
() Seja uma funo , tal que seja um ponto fixo da .
Logo, pela definio 2.1, para implica que existe () .
Como os pontos do grfico da funo so da forma ( ), podemos
afirmar que o ponto ( ) pertence ao grfico da funo .
() Seja uma funo , tal que o ponto ( ) pertence ao
grfico da funo . De fato, existe que implica em
() . Logo, pela definio 2.1, ponto fixo da funo
como queramos demonstrar.


19

Observao: A partir desta proposio observamos uma correspondncia biunvoca entre
qualquer ponto fixo com o par ordenado ( )
. Como todos os pontos da

forma ( )
so pontos da reta definida por no plano cartesiano, podemos

concluir que, se o grfico de uma funo interceptar a reta , ento este ponto
ser um ponto da forma ( ), determinando assim o ponto fixo da funo dado por
. Portanto, os pontos do grfico de uma funo que tm abscissas iguais s ordenadas
determinaro os pontos fixos desta funo.
A interpretao geomtrica do ponto fixo de uma funo ser, portanto, relacionada
atravs de um ponto auxiliar pertencente reta .
Exemplo 3.1.2 Funo com um nico ponto fixo.
Observemos a funo , definida por () . De fato, pela definio
2.1 segue que, se um nico ponto fixo da funo , ento:

() .

Figura 1 - Exemplo 3.1.2

Analisando geometricamente vemos que de fato o grfico da funo intersecta a reta
em um nico ponto, ou seja, no ponto ( ). Portanto, a funo possui um nico
ponto fixo dado por .

20

Exemplo 3.1.3 Funo com dois pontos fixos.
Vrias funes intersectam mais de uma vez a reta , nestes casos teremos mais de
um ponto fixo. Como no exemplo anterior, observemos o grfico da funo , dada
por ()
.

Pela definio 2.1 segue que se um ponto fixo da funo , ento:

()
ou .


Analisando geometricamente segue que o grfico da funo intersectar a reta
em dois pontos, ou seja, nos pontos ( ) e ( ). Portanto, a funo possui os pontos
fixos e .

21

Exemplo 3.1.4 Funo com trs pontos fixos.
Observemos o grfico da funo , dada por ()
.
Pela definio 2.1 segue que, se um ponto fixo da funo , ento:
()
( )( ) .


Analisando geometricamente segue que o grfico da funo intersectar a reta
em trs pontos, ou seja, nos pontos ( ), ( ) e ( ).
Portanto, a funo possui os pontos fixos , e .


22

3.2 Funo afim

No estudo de funo afim so desenvolvidos contedos referentes taxa de
crescimento/decrescimento, grfico da funo, valor inicial, zero da funo, estudo do sinal da
funo, dentre outros.
Definio 3.2.1
Uma funo chama-se funo afim quando existem dois
nmeros reais e tal que () para todo .

A partir desta definio razovel questionarmos se uma funo afim possui pontos
fixos e quais so suas caractersticas. A proposio seguinte mostra como localizar um valor
, que determina o ponto fixo de uma funo afim atravs dos coeficientes a e b.

Proposio 3.2.2
Se uma funo afim, da forma () , com
, ento ela ter um nico ponto fixo , dado por

( )
(3.2.a)

Demonstrao:
Existncia: Pela definio 2.1 queremos encontrar , tal que
() .
De fato, () ( )
( )
.
Afirmao:
( )
ponto fixo da funo
De fato, (
( )
) (
( )
)
( )
() .
Unicidade: Suponhamos que existam
, com
, pontos
fixos da funo . Pela definio 2.1 segue que:
(
( )
( )
.
(
( )
( )
.
Logo,
. Isso reduz a afirmao de que a funo possui pontos

fixos distintos ao absurdo. Ento, possui um nico ponto fixo


23

Exemplo 3.2.3 Funo afim com .
Observemos, por exemplo, a funo afim , definida por () .
Podemos obter seu ponto fixo de duas maneiras:

- Pela definio 2.1 segue que possui ponto fixo , se existe , tal que () .
Logo, () .

- uma funo afim e a 1, pela proposio 3.2.2, existe , tal que
()
.
Logo,
(())

.

Analisando geometricamente, temos:


Portanto, a funo intersecta a reta , uma nica vez e o ponto fixo da funo
ser .


24

Observao: A maioria das funes afins possui um nico ponto fixo, entretanto, a condio
a 1, chama-nos a ateno para a funo identidade e suas translaes com relao ao eixo y,
pois elas possuem coeficiente a = 1.

Proposio 3.2.4
Seja a funo identidade, da forma () . Ento, todos os
pontos do domnio da funo so pontos fixos.

Demonstrao:
Decorre da definio 2.1. De fato, dado qualquer , implica que
() . Logo, qualquer pertencente aos reais um ponto fixo da
funo como queramos demonstrar.

Observemos o grfico da funo identidade.

Figura 5 - Proposio 3.2.4

Analisando geometricamente, os pontos A e B so alguns pontos da forma ( )
pertencentes ao grfico da funo identidade. Pela observao da proposio 3.1.1 segue que
pontos dados desta forma permitem a localizao dos pontos fixos x = k de uma funo, logo
todos os pontos do domnio da funo identidade so pontos fixos.


25

Proposio 3.2.5
Seja um funo afim. Ento, uma translao da funo
identidade se, e somente se, no possuir pontos fixos.

Demonstrao:
() Seja , uma translao da funo identidade. Logo, pode
ser expressa da forma () , com .
Assim, pela definio 2.1 de ponto fixo segue que a funo possui
ponto fixo se existir tal que () . Ento, ()
Assim, a afirmao de que () se
reduz ao absurdo. Pois, implicaria que , contrariando a afirmao
inicial era de que . Portanto, no possui ponto fixo.
() Seja , uma funo afim que no possui ponto fixo .
Temos pela proposio 3.2.2 que, se , ento possuir ponto fixo.
Logo, uma funo afim no ter ponto fixo se . Ento, para
qualquer , segue que: ()
Portanto, uma funo afim com
coeficientes e , ou seja, translao da funo afim como
queramos demonstrar.

Exemplo 3.2.6 Funo afim com e .

Observemos, por exemplo, uma funo afim , definida por () , ou
seja, uma translao da funo identidade. Vamos supor que existe , tal que () .
Logo,
() .

A afirmao da existncia de um ponto fixo em reduziu-se ao absurdo. Dessa forma, a
funo no possui ponto fixo.

26


Analisando geometricamente segue que o grfico da funo paralelo reta .

Geometricamente podemos resumir os pontos fixos de funes afins em trs casos:
Caso I: Infinitos pontos fixos Caso II: Nenhum ponto fixo Caso III: Um nico ponto fixo

a = 1 e b = 0
A funo afim a funo
identidade.

a = 1 e b 0

A funo afim paralela
funo identidade.

a 1

A funo afim possui
coeficiente a 1.

Podemos escrever ainda a lei de uma funo afim a partir de seu ponto fixo. Tal
abordagem ser relevante para o entendimento de composio de funes afins que ser
desenvolvido posteriormente.

27

Proposio 3.2.7
Seja , uma funo afim. Ento, possui ponto fixo k se, e
somente se, () , a .

Demonstrao:
() Sejam () uma funo afim e um ponto fixo de
. Logo, pela definio 2.1 segue que, () , logo, , isto
equivale a afirmar que .
Portanto, () implica que () .
() Seja uma funo dada por () .
Tomando , segue que () . Logo, pela definio
3.2.1 uma funo afim. imediato que () , ou
seja, ponto fixo de como queramos demonstrar.


28

3.3 Funo quadrtica

No tema de funo quadrtica sempre so abordados os contedos referentes
concavidade da parbola, grfico da funo, zero da funo e anlise do discriminante, estudo
do sinal da funo, dentre outros. O tema do ponto fixo se mostra tambm significativo e
relevante dentro deste contexto, pois pode ser abordado da mesma maneira como tratado o
tema zero da funo ou razes da funo quadrtica.

Definio 3.3.1
Uma funo chama-se funo quadrtica quando existem
nmeros reais , com a 0, tal que ()
para
todo .

A partir desta definio vamos supor que tenha ponto fixo, ento existe ,
tal que () . Logo,

()
( ) ( )

Isso reduz a abordagem dos pontos fixos de uma funo quadrtica resoluo de
equaes quadrticas, ou seja, raiz da equao quadrtica ( ).
O estudo do nmero de pontos fixos de uma funo quadrtica vai depender do
discriminante da equao ( ), onde

( )
( )

Assim, como nos estudos de zeros de equaes quadrticas, podemos afirmar que uma
funo quadrtica pode ter dois, um ou nenhum ponto fixo.
O quadro a seguir ilustra a quantidade de pontos fixo de uma funo quadrtica em
funo do sinal do discriminante ( ).


29

Caso I: Dois pontos fixos Caso II: Um nico ponto fixo Caso III: Nenhum ponto fixo

()

.()

()

3.4 Funo modular

Definio 3.4.1
Denomina-se funo modular, a funo , definida por
() , ou seja, () {
, se 0
-, se 0
.

Para enfatizar o tema de ponto fixo juntamente com funes modulares, utilizaremos a
questo proposta na prova de Matemtica da 2 fase do Exame de Ingresso da Universidade
Estadual de Feira de Santana, aplicada no ano de 2010.

A questo trouxe o seguinte enunciado:
Os pontos do grfico de uma funo que tm abscissas iguais s ordenadas so chamados de
pontos fixos desse grfico.
A distncia, em u.c., entre os pontos fixos do grfico da funo () , igual a:
a) b) c) d) e) UEFS/2010

Inicialmente, vamos analisar a definio dada de ponto fixo de uma funo. O
enunciado define que os pontos do grfico de uma funo que tm abscissas iguais s
ordenadas so chamados de pontos fixos desse grfico. Tal definio no est correta, pois

30

ponto fixo um ponto do domnio da funo e no o par ordenado de uma funo. Podemos
relacionar o ponto fixo ao par ordenando como fizemos na proposio 3.1.1 sobre a
interpretao geomtrica do ponto fixo.
Resolvendo a questo, suponhamos que exista um ponto fixo na funo dada
por () . Logo, pela proposio 3.1.1, temos:
( ) ()
Como condio de existncia, segue que:
Pela definio de mdulo, temos:
-

- ( )

Assim, a funo possui dois pontos fixos, ou seja,

Analisando geometricamente segue que os pontos fixos
esto
relacionados com os pares ordenados P
1
(2, 2) e P
2
(4, 4).

Figura 7 - f (x) = 1 + |2x - 5|

Logo, a distncia entre os P
1
e P
2

( )
( )

O enunciado desta questo ficaria adequado da seguinte forma: os pontos do grfico de
uma funo que tm abscissas iguais s ordenadas permitem localizar os pontos ,
pertencentes ao domnio, que so denominados pontos fixos da funo. Determine a distncia
entre P
1
(
) e P
2
(
), em que
so pontos fixos da funo () .


31

3.5 Paridade de funes

No estudo de caractersticas de funes temos tambm como objeto de anlise as
funes pares e mpares. Em especial, no estudo de funes mpares podemos propor
abordagens envolvendo o conceito de ponto fixo.

Definio 3.5.1
funo mpar se, e somente se, () (), para
qualquer pertencente ao domnio de .

Como consequncia o domnio simtrico em relao origem, isto , se pertence ao
domnio de acarreta de que pertence ao domnio. Temos ainda o grfico de que
simtrico em relao origem O.

Proposio 3.5.2
Seja uma funo mpar. Se existe ponto fixo
,
ento seu simtrico em relao origem tambm ser ponto fixo.

Demonstrao:
Suponhamos que ponto fixo de , pela definio 2.1, temos:
() . Ento, () (), ou seja, () .
Portanto, ponto fixo de , como queramos demonstrar.

Exemplo 3.5.3 Funo mpar.
Para analisar geometricamente esta
proposio, utilizaremos a funo mpar
, dada por ()
, com .
Verificaremos que ela intersecta a reta em
dois pontos simtricos em relao origem.
Observemos que os pontos A (-1, -1) e B (1, 1) pela
proposio 3.1.1 permitem a localizao dos pontos
fixos desta funo dados por
.

32

Proposio 3.5.4
Se uma funo mpar, ento existe pelo menos um ponto
fixo trivial, ou seja, .
Demonstrao:
De fato, como 0 D
f
, ento,
() ()
() ()
()
() .
Portanto, o ponto ponto fixo em como queramos demonstrar.

Exemplo 3.5.5 Funo mpar.
Analisando geometricamente a proposio acima atravs da funo , dada
por ()
, temos:

Como a funo mpar e contnua, analisando geometricamente, segue que ela
intersecta a reta nos pontos ( ), ( ) e (). Pela proposio 3.1.1, segue que
os pontos fixos da funo so
. Logo, o ponto ponto fixo

de uma funo mpar e contnua como queramos verificar.

33

3.6 Composies de funes

Uma importante operao envolvendo funes so as funes compostas.

Proposio 3.6.1
Sejam e funes definidas , segue que, se () () ,
ou seja, as funes e possuem o mesmo ponto fixo ,
ento (()) (()) .

Demonstrao:
De fato, sejam e funes definidas , tais que a
() () . Logo, (()) () () (())

Exemplo 3.6.2 Composio de funes.
Analisaremos esta proposio a partir da funo , definida por
() . Esta funo, pela proposio 3.2.2, possui um nico ponto fixo, ou seja,
para acarretar em . Analisando a composta da funo com ela mesma, ou
seja, (()) ( ) , teremos o mesmo ponto fixo, ou seja, para
temos (()) .
O resultado deste exemplo parece primeira vista, bem bvio, porm fazendo uma
anlise geomtrica da funo com as suas compostas (figura 10), temos uma caracterstica
de aproximaes sucessivas acerca do ponto fixo , o que nos permite supor que o
limite de infinitas composies desta funo tenderia para a reta , bem como uma
rotao em torno do ponto de interseco da funo com a reta , dado por ( ). Tal
abordagem enriquece o desenvolvimento das habilidades relacionadas aos estudos de funes
e grficos.


34


Proposio 3.6.3
Sejam e funes afins definidas , se existir , tal
que () () , ento, (()) (()).

Demonstrao:
De fato, sejam e funes afins definidas , com
() () . Logo, pela proposio 3.2.7, temos:
() e ()
Assim,
(()) ( ) ( )
(())
(()) ( )
Temos ainda, que:
(()) ( ) ( )
(())
(()) ( )
Portanto, pelas equaes ( ) e ( ), segue que
(()) (()) como queramos demonstrar.


35

Exemplo 3.6.4 Composio de funes.
Fazendo uma anlise geomtrica destas proposies, por meio das funes afins
() e () , que possuem o mesmo ponto fixo segue que:


Atravs do grfico observamos que duas funes afins com o mesmo ponto fixo
implicam (()) (()) e neste caso (()) (()) .


36

Proposio 3.6.5
Sejam e funes afins definidas , se (()) (()) e
e , ento existe tal que, () () .

Demonstrao:
De fato, como e , temos pela proposio 3.2.2 que e
possuem pontos fixo nicos. Suponhamos que tais pontos fixos sejam
distintos. Logo, pela definio 2.1 existem m, n , tais que,
() e () e . Pela proposio 3.2.7, segue que
() e () .
Assim,
(()) (())
( ) ( )
( ) ( )

( )( ) ( )( )

Isso reduz a afirmao de que ao absurdo.
Portanto, existe tal que, () () , ou seja, as
funes e possuiro o mesmo ponto fixo como queramos
demonstrar.


37

3.7 Funes inversas

Abordando o tema de funes inversas, com foco nas propriedades de ponto fixo,
colocamos algumas proposies.

Proposio 3.7.1
Sejam X e Y subconjuntos dos nmeros reais, e as funes e
, onde
a funo inversa da funo . Segue que, dado

qualquer ponto ( ), os pontos
( ) e
( )
so
equidistantes do ponto .

Demonstrao:
Como
(
( )
( )
( )
( )

Segue que

Portanto, os pontos
so equidistantes do ponto como queramos

demonstrar.

Exemplo 3.7.2 Funes inversas.
Analisando geometricamente
atravs das funes e
, funes
definidas + +, dadas por
()
() , podemos
verificar que os grficos de duas
funes inversas so sempre simtricos
com relao a quaisquer pontos da reta
, que esto relacionados de acordo
com a proposio 3.1.1 aos pontos fixos
de uma funo. Da segue que os
grficos de funes inversas sero
sempre simtricos com relao reta
.

38

Proposio 3.7.3
Sejam X e Y subconjuntos dos nmeros reais, e as funes e
, onde
a funo inversa da funo . Segue que,

() se, e somente se,
() , ou seja, uma funo e sua

inversa sempre possuem os mesmos pontos fixos.

Demonstrao:
De fato, segue da definio de funo inversa que o par ordenado
( ) se, e somente se, o par ordenado ( )
. Portanto,
( ) se, e somente se, ( )
, como queramos demonstrar.

Exemplo 3.7.4 Funes inversas.
Analisando geometricamente por meio das funes e
, definidas
+

+
, dadas
por ()
() , temos:

Os pontos ( ) e ( ) so os pontos em que as funes intersectam a reta .
Logo, como queramos verificar, os pontos
so pontos fixos de e de

simultaneamente.

39

3.8 Ponto fixo e o teorema do valor intermedirio

Ao desenvolvermos as competncias relacionadas ao estudo das funes, nossa primeira
preocupao deve ser sua expresso matemtica e o seu domnio (condio de existncia),
afinal, s faz sentido utiliz-la nos pontos em que esteja definida e, portanto, tenha
significado. Entretanto, em muitos casos, importante fazer uma anlise dos resultados
obtidos nos pontos em que a funo est definida e verificar o padro dos resultados, ou seja,
saber como a funo se comporta com relao ao conjunto imagem.
Dentro da abordagem de ponto fixo de uma funo real, a imagem de um ponto do
domnio tem aspecto fundamental, pois ela garante a existncia do ponto fixo da funo.
Exemplo 3.8.1 Funo contnua.
Suponhamos, por exemplo, que o fio de um metal ocupa o intervalo da reta real.
A cada posio , medida em centmetros, associamos (), a temperatura desse fio
neste ponto, medida em graus Clsius.
Considerando que o metal um meio que conduz calor com facilidade, como seria o
grfico de tal funo? Aqui est uma possibilidade.


O grfico sugere que uma pequena variao na posio corresponder a uma pequena
variao na temperatura.
Esta a ideia bsica da continuidade de uma funo, no caso, a temperatura em
termos da posio.

40

Figura 17 - Funo no contnua
Note que pequena variao um conceito relativo e necessita de noes de limite para
estabelecermos a definio em termos absolutos. Como os alunos do Ensino Mdio no
possuem subsdios para tal abordagem, a definio de funo contnua apresentada de
maneira intuitiva.

Definio 3.8.2
Seja
. Dizemos que uma funo contnua em

se dado existe () tal que sempre que ento
() () .

Para provar que uma determinada funo contnua segue que verificar a definio em
cada ponto de seu domnio. Por outro lado, para mostrar que certa funo no contnua,
basta descobrir um ponto de seu domnio no qual a definio de continuidade falhe.

Dada uma funo , observemos alguns possveis grficos:

f(a) < c < f(b) f(a) > c > f(b)
No existe , tal que () .
Figura 15 - Exemplo de Funo contnua
Figura 16 - Exemplo de Funo contnua

41

Observando os grficos anteriores poderamos colocar a seguinte questo: dada uma
funo , sob quais condies podemos afirmar que, se um nmero entre
() e (), ento existe um nmero , entre e , tal que () ?
Como ilustram as figuras anteriores, segue que a continuidade uma condio
necessria para a existncia de um nmero , tal que () . Ou seja, a continuidade a
condio necessria para o grfico da funo, ao passar do nvel () para o nvel (),
cruzar todas as retas horizontais entre eles, passando tambm pela reta , pelo menos
uma vez. Este fato que nossa intuio aceita to facilmente, um resultado matemtico muito
importante, chamado teorema do valor intermedirio ou teorema de Bolzano, em homenagem
ao matemtico tcheco Bernhard Bolzano (1781-1848), que o demonstrou analiticamente.

Teorema 3.8.3
Teorema do valor
intermedirio
4

Seja uma funo contnua e seja um nmero entre
() e (). Ento existe um nmero ( ) tal que
() .

Como aplicao do teorema do valor intermedirio apresentaremos um corolrio que
garante a existncia de um ponto fixo de uma funo real sobre determinadas condies.

Corolrio 3.8.4
Seja uma funo contnua. Ento existe um nmero
tal que
() .

Demonstrao:
Consideremos a funo , definida por
() () que obviamente contnua em . Se () ou
() o corolrio est demonstrado, pois () ou () .
Caso contrrio, segue que () (), como () , segue
que () . Por outro lado, () (), como () ,
segue que () . Pelo teorema do valor intermedirio existe
( ) tal que () , isto , um ponto fixo para a funo

4
A demonstrao deste teorema um tanto tcnica e preferimos omiti-la.

42

Figura 18 - Corolrio 3.8.4

Intuitivamente podemos observar o seguinte: Seja uma funo contnua de um
intervalo fechado nele prprio. O grfico da funo uma curva contnua que une um
ponto do lado esquerdo do quadrado , a um ponto do lado direito; logo o grfico
de ter que interceptar a diagonal do quadrado. As coordenadas ( ()) de qualquer ponto
do grfico que pertence diagonal satisfazem a condio () .

3.9 Teorema do ponto fixo de Brouwer

A teoria dos pontos fixos hoje est fortemente ligada tambm ao ramo da Topologia,
ramo da matemtica desenvolvida nos finais do sculo XIX. Um nome importante e que deve
ser referenciado Luitzen Egbertus Jan Brouwer (1881-1966), matemtico e filsofo
holands que generalizou o Corolrio 3.8.3.
Consideremos um nmero natural , e denotemos por
a bola unitria em
,
isto ,
,
onde
.

Segue que
o crculo de centro na origem () e raio 1 do plano;
a esfera de centro na origem () e raio 1 do espao; e assim por diante.


43

Teorema 3.9.1
Teorema do ponto
fixo de Brouwer
5

Toda funo contnua
tem pelo menos um ponto fixo.

Exemplo 3.9.2 Papel amassado.

Consideremos uma funo contnua
pelo teorema de Brouwer existe pelo

menos um ponto fixo, ou seja, que se encontra fixo depois da aplicao da funo .
Ilustraremos topologicamente o resultado de Brouwer da seguinte forma: consideremos
duas folhas idnticas e numeradas; coloquemos uma das folhas de papel amassada
aleatoriamente acima da outra folha do mesmo padro conforme a figura 20; o teorema de
Brouwer garante a existncia de pelo menos um ponto na folha amassada que est diretamente
acima do ponto correspondente da folha que est abaixo.


5
A demonstrao deste teorema um tanto tcnica e preferimos omiti-la.

44

Exemplo 3.9.3 Xcara de caf.
Figura 21- Exemplo 3.9.3

Outro fato decorrente do Teorema do Ponto Fixo de Brouwer que pode ser
exemplificado como uma aplicao contnua
que no importa como voc

misture o caf em uma xcara, sempre existe uma partcula de caf que retorna ao seu lugar de
origem.

Este teorema possibilitou o desenvolvimento no somente da Topologia, mas este e
outros teoremas garantem a existncia de solues de equaes diferenciais, integrais, dentre
outras, que podem ser demonstrados utilizando teoremas de ponto fixo. Os teoremas do ponto
fixo so usados em outras reas de conhecimento, como por exemplo, em economia, teoria de
jogos e a informtica.
As ideias destes exemplos foram adaptadas dos trabalhos de Francis Edward Su [15], de
Caissotti [5], de Shashkin [13], e possvel encontrar nestas referncias demonstraes do
teorema e outras aplicaes.

45

4 INTRODUO RESOLUO DE EQUAES PELO MTODO
DAS APROXIMAES SUCESSIVAS

Apenas um conjunto de equaes proposto aos alunos do Ensino Mdio, devido,
principalmente, ao nvel de complexidade para a obteno de mtodos que possibilitem a
resoluo dessas equaes.

4.1 Motivao
Exemplo 4.1.1 Efeito Droste.
Observemos a figura abaixo:

Imagem Droste
6
- Adaptado de <www.neatorama.com>
Atravs da figura 22, podemos verificar uma sequncia de imagens recorrentes.
medida que olhamos para uma imagem menor dentro da prpria imagem nos aproximamos
cada vez mais de um ponto fixo que constante em todas as imagens.

6
O termo foi cunhado pelo poeta e colunista Nico Scheepmaker no final da dcada de 1970.

4 INTRODUO RESOLUO DE EQUAES PELO MTODO DAS APROXIMAES SUCESSIVAS

46

O mesmo efeito do exemplo 4.1.1 poder ocorrer em vrias funes matemticas.
Exemplo 4.1.2 Ponto fixo da raiz quadrada de um nmero real positivo
Atravs de uma calculadora com funo raiz quadrada, faa a experincia a seguir.
Escreva o maior ou o menor nmero real positivo que conseguir e extraia a sua raiz quadrada.
Repita o processo, extraindo a raiz quadrada do resultado. E mais uma vez, e outra,
reiteradamente. Voc deve observar que este processo resultar o nmero 1. O fenmeno
observado reflete o fato de que 1 um ponto fixo da funo raiz quadrada.
Em termos matemticos estamos fazendo o seguinte: dado , consideremos a
sequncia (
) obtida da seguinte maneira:
, para . Ento,
. A sequncia foi obtida aplicando reiteradamente a funo raiz quadrada ao

nmero .
Note tambm que nem sempre um ponto fixo atrair sequncias obtidas por processos
como este. Basta pensar na funo definida por ()
, na reta real. Novamente 1 um

ponto fixo, mas agora no atrai mais os termos da sequncia. Se
, e colocamos
, para , ento
. Se escolhermos
, ento
.

4.2 Reescrevendo uma equao

Por vezes estamos interessados em obter as solues de uma equao
() , (4.1.a)
sendo uma funo contnua, definida num intervalo fechado com valores em .
Se escrevermos () () , vemos que contnua e resolvendo a equao
(4.1.a) equivale a encontrar um , tal que,
() . (4.1.b)
Pela definio 2.1., um ponto que verifica (4.1.b) ponto fixo da funo .

O mtodo de resoluo de equaes que apresentaremos est baseado na tentativa de
reescrever uma equao () em uma equao () , de tal modo que a funo
possa ser reiterada de maneira sucessiva e sendo atrada (convergente) para o ponto fixo da
funo , assim determinaremos de maneira aproximada ou por limite a soluo da funo .


47

Para isso, destacaremos algumas definies e teoremas necessrios para o entendimento do
mtodo em que esto relacionadas principalmente s sequncias de nmeros reais e suas
propriedades.

4.3 Sequncias de nmeros reais

Definio 4.3.1
Uma sequncia (ou sucesso) de nmeros reais uma funo ,
que a cada nmero natural associa um nmero real
(),
chamado de n-simo termo da sequncia.

Denotaremos por (
) ou simplesmente (
), a sequncia cujo n-simo

termo
, com . Por exemplo, a sequncia dos nmeros pares positivos pode ser
expressa por ( ), , cujo n-simo termo ou termo geral
.
Observao: Sem perda de generalidade, consideraremos .

Definio 4.3.2
Dada uma sequncia (
)

de nmeros reais, uma subsequncia de
(
) a restrio da funo que define (
) a um subconjunto infinito
. Denotamos a subsequncia por

(
.

Consideremos, por exemplo, a sequncia (
)

( ), se
restringirmos a funo ao subconjunto
, com , teremos a
subsequncia (
( ). Observemos ainda que todos os elementos

da subsequncia (
so elementos da sequncia (
)

.

4.4 Limites de sequncias de nmeros reais

Definio 4.4.1
Sejam (
) uma sequncia de nmeros reais e um nmero real.

Dizemos que (
) converge para , ou convergente, e escreve-se
, quando para qualquer intervalo aberto contendo (por

menor que ele seja) possvel encontrar um natural
, de modo que
para todo
.


48

Esta definio equivale condio algbrica: para todo nmero real , dado
arbitrariamente, podemos encontrar
() tal que todos os termos
com

satisfazem a condio
.
Exemplo 4.4.2 Limite de uma sequncia.
Consideremos a sequncia ( ) e observemos a frao
geratriz
da representao decimal
. Podemos supor que o limite desta sequncia
,
ou seja, esta sequncia converge para
.
O termo geral da sequncia
. Consideremos esta
soma como uma soma de finitos termos de uma progresso geomtrica. Logo,
(
(
( (
) (4.4.a)

Pela definio 4.4.1, segue que:

De fato, dado um nmero real arbitrrio possvel determinar um nmero natural
tal que
(Propriedade Arquimediana dos nmeros reais).

Assim, pela equao (4.4.a), temos para qualquer
:
|
| |
( (
| (

Portanto, verificamos que o limite da sequncia
.
Encontrar o limite para onde uma sequncia converge pela definio pode se mostrar
muito difcil ao se aplicar no Ensino Mdio. Porm, a noo de que fraes com numeradores
constantes e denominadores muito grandes so fraes tendendo a zero, pode auxiliar nesta
interpretao.


49

Como
, pela equao 4.4.a, temos:

.

Definio 4.4.3
Quando no existir um nmero real para o qual a sequncia (
)
convirja, dizemos que a sequncia (
) diverge, ou que divergente.

Proposio 4.4.4
Se existir um nmero real tal que
, ento ele nico.

Demonstrao:
Suponhamos por absurdo que
, com
. Tome
. Assim, existem inteiros positivos
tais que para todo
e para todo
. Tomando-se
, segue que
, para todo
, o que equivalente a

Multiplicando-se a primeira desigualdade por -1 e adicionando-a na
segunda, obtemos
, absurdo.
Provamos assim que o limite nico.

Proposio 4.4.5
Seja (
) uma sequncia tal que
e seja (
) uma
subsequncia qualquer, ento
.

Demonstrao:
Seja um nmero real, logo existe
tal que
( )
para todo
. Por outro lado existe
tal que se
, ento
. Portanto, se
, segue que
( ), que mostra
que
como queramos demostrar.


50

4.5 Sequncias recorrentes de nmeros reais

Definio 4.5.1
Seja (
) . Dizemos que (
) uma sequncia recorrente ou

uma sequncia definida por recorrncia se existe uma funo
tal que

), (4.5.a)
e o primeiro termo
dado.
Neste caso a equao (4.5.a) chamada de relao de recorrncia.

Observao: Uma sequncia recorrente uma iterao sucessiva da funo F a partir de
),
(((
)) (
), ...,
).
Exemplo 4.5.2 Sequncia recorrente.
Observemos as principais sequncias recorrentes apresentadas no Ensino Mdio:

Sequncia aritmtica
Por exemplo, tomemos a sequncia (5, 8, 11, 14, ...). Segue que,
;
e assim por diante.
Logo,
e () , com .

Em termos matemticos, estamos fazendo o seguinte:
Seja , dizemos que uma sequncia (
) aritmtica de razo se

para todo . Neste caso () e a expresso do termo geral
( )
Se , a sequncia aritmtica constante
;
Se , a sequncia aritmtica diverge para ;
Se , a sequncia aritmtica diverge para .


51

Sequncia geomtrica
Por exemplo, tomemos a sequncia (40, 20, 10, 5, ...). Segue que,
;
e assim por diante.
Logo,
e ()
, com .

Em termos matemticos, estamos fazendo o seguinte:
Seja , dizemos que uma sequncia (
) geomtrica de razo se

para todo . Neste caso () e a expresso do termo geral

()
.
Se , a sequncia geomtrica constante
;
Se , a sequncia geomtrica constante
;
Se , a sequncia geomtrica converge;
Se , a sequncia geomtrica diverge;
Se e
, a sequncia geomtrica diverge.

Existem vrias sequncias que podem ser obtidas de maneira recorrente, em particular, a
mais famosa a sequncia de Fibonacci
7
, dada por, (1, 1, 2, 3, 5, 8, ...).

7
Leonardo Pisano Fibonacci (1170-1250), matemtico italiano.


52

4.6 Sequncias de Cauchy
8

Existem vrios resultados em diferentes partes da Matemtica que garantem que as
sequncias, desde que satisfeitas algumas condies, sejam convergentes ou divergentes.
A maior dificuldade em mostrar que uma sequncia converge, usando tcnicas que
vimos at agora, que devemos saber antecipadamente se ela converge ou no. Isto um
problema do tipo o ovo e a galinha, pois para provar que uma sequncia converge, ns
devemos saber se esta sequncia convergente e quem o seu limite. Uma sada deste dilema
fornecida pelas sequncias de Cauchy.

Definio 4.6.1
Uma sequncia (
) dita sequncia de Cauchy se para todo

, existe
() tal que

Exemplo 4.6.2 Sequncia de Cauchy
A sequncia (
), onde
, de Cauchy. De fato, dado , existe
() tal que
. Da, para todo tal que
, segue que
. Logo,

Teorema 4.6.3
Toda sequncia de Cauchy limitada.

Demonstrao:
Seja (
) uma sequncia de Cauchy. Logo, para , existe
() tal que
Da segue, que
|
. Por outro lado,
| |
| |

Fazendo
| |
|, segue que
. Portanto, a sequncia (
) limitada.

8
Augustin Louis Cauchy (1789-1857), matemtico francs.


53

Teorema 4.6.4
Critrio de Cauchy
Uma sequncia de nmeros reais (
) convergente se, e somente se,

(
) uma sequncia de Cauchy.

Demonstrao:
() Suponhamos que
. Ento, dado , existe
()
tal que

Se
, ento

Isto mostra que a sequncia (
) de Cauchy.
() Se (
) uma sequncia de Cauchy, ento dado , existe
() tal que

Pelo Teorema 4.6.3, (
) limitada. Pelo teorema de Bolzano-

Weierstrass
9
segue que (
) tem uma subsequncia (
) convergente.
Digamos que
, quando
, isto , dado , existe
tal que
|

Por outro lado, temos
|
|
| |

onde
. Portanto,
, quando Isto conclui a

demonstrao.

As ideias da demonstrao desse teorema foram adaptadas do trabalho de Robert G.
Bartle e Donald R. Sherbert [14].

9
Teorema (Bolzano-Weierstrass). Toda sequncia limitada (
) possui uma subsequncia convergente.

Karl Wilhelm Theodor Weierstrass (1815-1897), matemtico alemo.
Bernard Placidus Johann Nepomuk Bolzano (1781-1848), matemtico tcheco.


54

4.7 Teorema do ponto fixo de Banach
10

Definio 4.7.1
Contrao
Seja uma funo. Dizemos que uma contrao se
existe ) tal que
() ()
Exemplo 4.7.2 Contrao
A funo , definida por, ()
, uma contrao.
De fato,
() () |

Logo,
).
Portanto uma contrao.

Proposio 4.7.3
Desigualdade fundamental
de contraes
Seja . Se uma contrao com constante , ento para
todo ,

( () ()) ( )

Demonstrao:
Aplicando duas vezes a desigualdade triangular temos
() () () ()
() ()
Assim,
( ) () ()
Disto segue a desigualdade ( ).

Como estamos trabalhando com base em sequncias recorrentes, o corolrio abaixo, se
satisfeito, garante a convergncia de uma sequncia recorrente, podendo-nos auxiliar quanto
necessidade de mostrar que uma sequncia convergente.

10
Stefan Banach (1892-1945), matemtico polons.


55

Corolrio 4.7.4
Se uma sequncia (
) de nmeros reais e existe ) tal que

( )
ento (
) convergente.

Demonstrao:
Primeiro vamos mostrar a seguinte afirmao:
Se , ento

( )
Vamos provar isto por induo. De fato,
- Se , temos
;
- Suponhamos que para , a desigualdade ( ) vale;
- Vamos mostrar que para , a desigualdade ( )
tambm vale. De fato,
|
| |
|
(

Portanto, pelo princpio de induo finita a desigualdade ( ) vale
para todo .
Agora, sejam tais que , ento
) (
) (

Como
quando , segue que
, quando
. Logo, a sequncia (
) de Cauchy. Portanto, (
)
convergente pelo Critrio de Cauchy (Teorema 4.6.4) como queramos
demonstrar.


56

Teorema 4.7.5
Teorema do ponto
fixo de Banach
Se fechado e uma contrao com () , ento
tem um nico ponto fixo , e para qualquer
a sequncia (
)
definida por

) ( )
converge para .

Demonstrao:
Existncia: Vamos mostrar que a sequncia (
) de Cauchy. De fato,
para temos
) (

Aplicando sucessivamente a desigualdade acima temos

( )
Fazendo
e usando a desigualdade (4.7.a) temos

)) ( )
Substituindo ( ) em ( ) temos

e como ,
, quando . Assim
,
quando . Logo, conclumos que a sequncia (
) de Cauchy
e, portanto, existe tal que
) . Sendo fechado,
segue que . Tomando o limite em ( ) e usando a continuidade
da funo , segue que (), isto , ponto fixo da funo .

Unicidade: Suponhamos que exista outro ponto fixo de , digamos .
Usando a desigualdade ( ) obtemos

( () ()) ( )
Como e so pontos fixos, da desigualdade ( ) segue que
. Logo, , o que implica . Isto completa a
demonstrao.


57

O teorema do ponto fixo demonstrado por Banach mais abrangente, porm esta
apresentao parcial do teorema mais acessvel para os alunos do Ensino Mdio. As ideias
da demonstrao do teorema 4.7.5 foram adaptadas do trabalho de R. Palais [11]. Uma
demonstrao mais abrangente pode ser encontrada no trabalho de M. S. Ferreira [9], caso o
leitor busque mais detalhes.
Este teorema que garante a convergncia de uma funo recorrente e a unicidade do
ponto fixo fundamental para se determinar como podemos reescrever uma equao. Ou seja,
no basta apenas reescrever uma equao como fizemos no item 4.2, mas se a funo for
uma contrao ser garantida a resoluo da equao.


58

4.8 Resoluo de equaes pelo mtodo das aproximaes sucessivas

Da equao (4.5.a), ou seja,
), que define uma sequncia recorrente, segue

que se a sequncia recorrente (
) converge para , ento a subsequncia (
) converge
para o mesmo limite e se uma funo contnua em , ento () , ou seja, o limite
de uma sequncia recorrente pode ser interpretado como um ponto fixo da funo.
Basicamente o que devemos buscar uma sequncia recorrente e convergente. O
mtodo se baseia no mtodo das iteraes ou mtodo das aproximaes sucessivas, em que
queremos encontrar o valor para onde a sequncia recorrente (
) converge.
Exemplo 4.8.1 Aquiles e a tartaruga.
Consideremos o problema proposto pelo filsofo grego Zenon de Elia, 500 a.C., que
buscava demonstrar que no existe movimento na natureza.
Para isso Zenon prope uma corrida entre Aquiles, considerado o homem mais rpido
entre os gregos e uma tartaruga. Ao colocar, por exemplo, a tartaruga a 1000 metros a frente
de Aquiles no momento da largada, e ao considerar que Aquiles desenvolve uma velocidade
de 10 metros por segundo e a tartaruga uma velocidade de 1 metro por segundo, qual seria o
tempo necessrio para Aquiles alcanar a tartaruga?

adaptado de http://conceitoaronaldo.blogspot.com/2009/08/os-paradoxos-de-zenao.html, 2013.

A concluso dele foi a seguinte: Se Aquiles tivesse tentado alcanar a tartaruga, nunca a
alcanaria. De fato, suponhamos que a distncia entre Aquiles e a tartaruga 1000 passos e
suponhamos que Aquiles corre 10 passos por segundo, enquanto a tartaruga faz 1 passo por
segundo. Depois de 100 segundos, Aquiles percorreu 1000 passos que o distavam da
tartaruga, mas neste tempo, a tartaruga, se distanciou 100 passos. Passados 10 segundos,
Aquiles percorre estes 100 passos, mas a tartaruga estar na frente 10 passos. Para percorrer
estes 10 passos Aquiles precisar de 1 segundo, durante o qual a tartaruga percorre 1 passo


59

mais. Deste modo, segundo o raciocnio de Zenon, a tartaruga sempre estaria frente e
Aquiles nunca a alcanaria. Portanto, no existe movimento.
concluso baseada no argumento de que Aquiles nunca alcanar a tartaruga, Zenon
desconsidera qualquer reflexo sobre o que o tempo. A concluso de que a tartaruga sempre
estar frente se sustenta sobre o argumento de infinitos deslocamentos simultneos, de
Aquiles e da tartaruga, que representam sempre um dcimo em relao ao deslocamento
anterior. De forma anloga, o tempo transcorrido para cada deslocamento ir ser de um
dcimo do tempo do deslocamento anterior. Logo, tem-se que o tempo transcorrido uma
progresso geomtrica de razo inferior a "um", o que significa que se somando os infinitos
intervalos de tempo desta progresso, haver um valor limite ao qual o somatrio converge.
Encontra-se, ento, uma incoerncia no paradoxo, porque ele define que a tartaruga nunca
ser alcanada, porm a anlise temporal demonstra que isto acontecer apenas neste intervalo
de tempo fixo.
A soluo deste paradoxo envolve noes dos conceitos de limite e convergncia de
sequncias numricas. O paradoxo surge ao supor, intuitivamente, que a soma de infinitos
intervalos de tempo infinita, de tal forma que seria necessrio passar um tempo infinito para
Aquiles alcanar a tartaruga. No entanto, os infinitos intervalos de tempo descritos no
paradoxo formam uma sequncia em progresso geomtrica e sua soma converge para um
valor finito, em que Aquiles encontra a tartaruga.

No Ensino Mdio, podemos resolver o problema proposto simplesmente considerando o
tempo necessrio para Aquiles alcanar a tartaruga por . E o problema pode ser escrito por:

Portando, o tempo necessrio ser de 111,11... segundos.

O que propomos neste exemplo um mtodo de resoluo chamado mtodo das
aproximaes sucessivas. Em alguns casos ele pode parecer menos prtico, mas ser mais
eficiente para a obteno de valores aproximados na resoluo de outros problemas.
Consideremos a equao obtida acima . Ela pode ser reescrita de
vrias maneiras, porm, iremos reescrev-la de tal forma que obtenhamos uma funo
contnua no intervalo do problema proposto e que seja uma contrao. Logo,


60

()
Doravante consideremos a equao ()
. Se desprezarmos o termo

da equao, pois considerado relativamente pequeno se comparado , obteremos um valor
aproximado
. Agora, substituindo por
no lado direito da equao,

teremos um valor mais aproximado de dado por
. Analogamente,
substituindo por
no lado direito da equao, teremos um valor mais aproximado

de dado por
. Deste modo obteremos os valores
, e assim por diante. Estes nmeros formam uma sequncia

recorrente que pode ser escrita da seguinte maneira:

(4.8.a)
Observemos que no achamos o valor exato da soluo do problema, mas conseguimos
construir uma sequncia recorrente e convergente que fornece aproximaes sucessivas cada
vez mais prximas do valor exato.
Pelo exemplo 4.8.2 segue que, a funo , definida por ()
, uma
contrao. E pelo teorema do ponto fixo de Banach, segue que a sequncia (
), definida por
) convergente e converge para um nico ponto fixo que

corresponder soluo procurada na equao inicial.
Como a sequncia (
) converge para , ento a subsequncia (
) converge para o
mesmo limite e se uma relao de recorrncia contnua em , ento () , ou seja,
o limite desta sequncia recorrente pode ser interpretado como um ponto fixo da relao de
recorrncia. A sequncia converge para o mesmo valor obtido anteriormente, ou seja, na
medida em que aumenta a soluo se aproxima
Observemos ainda que o teorema do ponto fixo de Banach garante que a sequncia
convergente para um nico ponto fixo independente do valor inicial tomado, pois uma
contrao, pelo exemplo 4.7.2.
Suponhamos que eles tenham corrido por 300 segundos e tomando a primeira
aproximao por
, e substituindo na equao (4.8.a) temos:
; e assim por diante.

Portanto, o tempo necessrio ser aproximadamente de 111,12 segundos.


61

Exemplo 4.8.2 Valor aproximado de razes quadradas.
Um dos mais belos achados sobre a civilizao babilnica, em termos matemticos,
consiste uma tbua de argila (YBC7289), de aproximadamente 2500 anos, que se encontra no
museu da Universidade de Yale, nos Estados Unidos. Este fragmento contm, na base
sexagesimal, uma bela aproximao para o valor de , convertendo para a base decimal
temos:
.


adaptado de: http://pt.wikipedia.org/wiki/Matemtica_babilnica, 2013.
Tal nmero tambm foi objeto de discusses entre os pitagricos por volta de 2500 anos
atrs, por ser um nmero diferente dos utilizados na poca, descoberta atribuda a Hipaso de
Metaponto, da escola de Pitgoras, hoje conhecidos como nmeros irracionais.
Consideremos o seguinte problema: qual a medida da diagonal de um quadrado de
lado 1?

Pelo teorema de Pitgoras temos:
.
Mas qual a representao decimal correspondente a ?
Por construo segue que , ou seja, .
Consideremos
uma aproximao de . Denotemos por
o erro desta
aproximao. Com efeito, temos
. Elevando os dois
membros da equao ao quadrado, temos:
. Como


62

segue que
. Assim, podemos desprezar
da equao, logo,

.
Como
, consideremos
uma
aproximao de . Denotemos por
o erro desta aproximao. Com efeito, temos

. Elevando os dois membros da equao ao quadrado, temos:

. Como
, podemos desprezar
da equao, logo,

.
Analogamente, a terceira aproximao pode ser escrita da forma:
.
Repetindo este processo, teremos:
.

Observe que para
encontramos uma boa aproximao para a .

Assim, por induo matemtica encontramos o valor aproximado
para , esta
aproximao tem a seguinte forma:
)

De maneira geral, para calcular a , consideremos e suponhamos que
tenhamos achado a -sima aproximao positiva
de , ento temos:

Segue que a mdia geomtrica dos nmeros
. O valor aproximado da mdia

geomtrica a mdia aritmtica dos nmeros
, isto ,
)

Neste caso ( ) dada por: ()
).
Observando o fato de que (
. Disto segue que


63

Desta ltima desigualdade segue a afirmao. Logo,

Consequentemente,
. Disto segue que,

( )

Assim,
|(
)
(
)|
Pela desigualdade (4.8.b) temos:

Logo, segue que

Da segue pelo corolrio 4.7.4 que a sequncia convergente.

Como as sequncias (
) e (
) convergem para o mesmo limite e
, segue
que , assim segue que

)
Logo,

)

Portanto, ponto fixo da relao de recorrncia .

64

5 CONSIDERAES FINAIS

Os conceitos aqui apresentados buscaram auxiliar a criao de referenciais tericos que
possibilitem, de maneira significativa, o desenvolvimento das competncias e habilidades
relacionadas com a Matemtica atual. Permite aos alunos compreender os desafios que sero
propostos durante o Ensino Superior, visto que tais conceitos j so muitas vezes tratados
como pr-requisitos em algumas disciplinas e vestibulares.
Atravs de situaes contextualizadas de maneira simples podemos ilustrar que
conceitos restritos ao Ensino Superior como, por exemplo, o teorema de Bouwer e o teorema
de Banach, podem e devem ser abordados no Ensino Mdio, desenvolvendo novos horizontes
e possibilidades para aplicaes de tais conceitos na sociedade atual.
Os exemplos apresentados, principalmente os antigos, buscaram provocar e motivar a
busca de novas formas de resolv-los, mostrando que um mesmo problema tem vrias
possibilidades de ser resolvido, criando assim uma viso de que mesmo na matemtica no
existem verdades absolutas, e sim maneiras distintas de se compreender um determinado
assunto.
O mtodo de resoluo de equaes por aproximaes sucessivas, conforme foi aqui
apresentado, pode desenvolver habilidades e competncias relacionadas s formas de resolver
equaes, diferente das abordadas tradicionalmente. Possibilita ainda uma viso diferenciada
para os nmeros irracionais que necessitam constantemente de aproximaes para seu
entendimento.
A Matemtica tem avanado significativamente no ltimo sculo e um tema relevante
neste avano est relacionado ao conceito de ponto fixo. Tentamos apresentar uma abordagem
simples, porm, significativa dos conceitos de ponto fixo com a intenso de possibilitar a
insero de maneira concreta deste tema nos contedos escolares propostos aos alunos do
Ensino Mdio, permitindo assim uma atualizao de tais contedos.
O conhecimento adquirido pela humanidade deve ser compartilhado entre todos,
principalmente com os mais jovens que sero os protagonistas do futuro. No devemos
restringir as noes elementares da Matemtica atual sociedade, e sim encontrar formas
simples de lev-las a todos para que novas formas de conhecimento sejam construdas.
Esperamos que este trabalho seja uma fonte inspiradora e norteadora de novas abordagens de
conceitos relevantes na Matemtica e que tais abordagens sejam compartilhadas com os
alunos.

65

REFERNCIAS

[1] ALMEIDA, Ricardo Miguel Moreira de. Teorema do ponto fixo de Banach: algumas
generalizaes e aplicaes. 2012. 123 f. Dissertao (Mestrado em Matemtica -
Fundamentos e Aplicaes)-Faculdade de Cincias, Universidade do Porto, Porto,
2012. Disponvel em: http://hdl.handle.net/10216/9558>. Acesso em: 11 dez. 2013.
[2] VILA, Geraldo S. de Souza. Anlise matemtica para a licenciatura. So Paulo:
Edgard Blcher, 2001.
[3] BRASIL. Ministrio da Educao e do Desporto, Secretaria de Educao Fundamental.
Matemtica. In: Parmetros curriculares nacionais. Braslia, DF, 1998. v. 3.

[4] BRASIL. Ministrio da Educao, Secretaria de Educao Bsica. Cincias da
natureza, matemtica e suas tecnologias. In: Orientaes curriculares para o ensino
mdio. Braslia, DF, 2006. v. 2.
[5] CAISSOTTI, Maria Teresa. Teoremas de ponto fixo e algumas aplicaes. 2012. 74f.
Dissertao (Mestrado em Matemtica para Professores)-Faculdade de Cincias,
Universidade do Porto, Porto, 2012. Disponvel em:
http://hdl.handle.net/10451/8942>. Acesso em: 11 dez. 2013.

[6] DANTE, Luis Roberto. Didtica da resoluo de problemas de matemtica. So
Paulo: tica, 1994.
[7] ______. Matemtica: contexto e aplicaes. So Paulo: tica, 2010.
[8] FENILLE, Marcio Colombo. Os trs B's da teoria topolgica de pontos fixos:
Bolzano, Brouwer e Borsuk. [S.l.: s.n., 2011?]. 19 p. Manuscrito. Disponvel em:
https://docs.google.com/viewer?a=v&pid=sites&srcid=ZGVmYXVsdGRvbWFpbnxt
Y2ZlbmlsbGV8Z3g6ZmY4ZTlhNjU5NDMyMmU4>. Acesso em: 11 dez. 2013.
Minicurso apresentado na 1. Semana da Matemtica do ICE-UNIFEI, Itajub, 2011.

66

[9] FERREIRA, Marcos dos Santos. O teorema do ponto fixo de Banach e aplicaes.
2008. 61 f. Trabalho de Concluso de Curso (Bacharel em Matemtica)-Universidade
Estadual de Santa Cruz, Ilhus, BA, 2008. Disponvel em:
http://marcosferreira.weebly.com/uploads/1/2/3/6/12369997/monografia_marcosferreir
a.pdf >. Acesso em: 11 dez. 2013.

[10] MOREIRA, Carlos Gustavo Tamm de Araujo. Amigo oculto. Revista do professor de
matemtica, Rio de Janeiro, RJ, n. 15, p. 37-39, 1989.
[11] PALAIS, Richard S. A simple proof of the Banach contraction principle. Journal of
fixed point theory and applications, Texas A&M University - Kingsville, United
States of America, v. 2, n. 2, 221-223, 2007. Disponvel em:
http://vmm.math.uci.edu/PalaisPapers/BanachContractionPrinciple.pdf>. Acesso em:
11 dez. 2013.

[12] SO PAULO (Estado). Secretaria da Educao. Proposta curricular do Estado de
So Paulo: Matemtica: ensino fundamental ciclo II e ensino mdio. In: Coordenao
Maria Ins Fini. So Paulo, 2008.
[13] SHASHKIN, Yu. Puntos fijos. Moscou: MIR, 1991. (Lecciones populares de
matemtica).

[14] SHERBERT, Ronald R.; BARTLE, Robert G. Introduction to real analysis. 4. ed.
New York: John Wiley & Sons, 2011.
[15] SU, Francis Edward et al. Teorema do ponto fixo de Brouwer: curiosidades
matemticas. Disponvel em: http://www.math.hmc.edu/funfacts>. Acesso em: 11
dez. 2013.
[16] VILENKIN, N. Ya. Metodo de aproximaciones sucesivas. Moscou: MIR, 1984.
(Lecciones populares de matemtica).

67

APNDICE

Os exames de ingresso no Ensino Superior colocam em evidncia os contedos,
competncias e habilidades necessrias aos candidatos que desejam ser aprovados. Em vrios
vestibulares o contedo acerca do ponto fixo vem sendo abordado, o que refora a
necessidade de adequao da grade de contedos referentes Matemtica.
Observemos algumas questes que mostram a abordagem do tema de ponto fixo.
Exemplo 1 Universidade Federal de Juiz de Fora.
A prova de Matemtica da 2 fase do vestibular para a Universidade Federal de Juiz de
Fora, aplicado em 2010, trouxe a seguinte questo:

Dizemos que x
0
ponto fixo de uma funo f: se f(x
0
) = x
0
.
a) Verifique se a funo f: , definida por f(x) = x 4x + 6, possui ponto fixo e, em
caso afirmativo, determine seu(s) ponto(s) fixo(s).
b) Seja g: uma funo da forma g(x) = ax + b. Determine a e b para que g admita
dois pontos fixos x
1
e x
2
distintos.

Analisando o item a), temos direto da definio proposta na questo. Se existe(m)
ponto(s) fixo(s) ele(s) satisfaz(em) f(x
0
) = x
0
. Ento:
(

Isso reduz o problema a simples resoluo de equaes quadrticas. Logo, S = {2, 3}.
Portanto, existem dois pontos fixos, para x
1
= 2 e para x
2
= 3.
Analisando o item b), temos pela hiptese da questo dois pontos fixos distintos x
1
e x
2
,
logo:
(
()
(
()
Resolvendo o sistema de equaes dados por (I) e (II), segue que a = 1 e b = 0.
Portanto, a nica funo afim que possui dois pontos fixos distintos a funo identidade.
Caso o aluno j tivesse tido, mesmo que superficialmente, um contato com os conceitos
acerca de ponto fixo, isso facilitaria a interpretao dos resultados obtidos.

68

Exemplo 2 Unicamp.
A prova de Matemtica da 2 fase do Vestibular Nacional da Unicamp 2011, na questo
18, trouxe a seguinte questo:

Define-se como ponto fixo de uma funo f o nmero real x tal que f(x) = x. Seja dada a
funo
1
2
1
1
) ( +
|
.
|
\
|
+
=
x
x f

a) Calcule os pontos fixos de f(x).
b) Na regio quadriculada abaixo, represente o grfico da funo f(x) e o grfico de
g(x) = x, indicando explicitamente os pontos calculados no item (a).

Analisando o item a), temos inicialmente que a funo no esta definida para
.
Segue direto da definio proposta na questo. Se existe(m) ponto(s) fixo(s) ele(s)
satisfaz(em) f(x
0
) = x
0
.
Ento:

(

Isso reduz o problema a simples resoluo de equaes quadrticas. Logo, {
} .
Portanto, existem dois pontos fixos, para x
1
= 1 e para x
2
=
.

69

Analisando o item b), temos:

Figura 26 - Exemplo 2

Atravs deste exemplo vemos claramente a necessidade de favorecer nossos alunos
quanto importncia da interpretao geomtrica do ponto fixo de uma funo.

13.12.11 - Dissertação (Ponto Fixo - Uma Introdução No Ensino Médio) - Philipe Albuquerque

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

13.12.11 - Dissertação (Ponto Fixo - Uma Introdução No Ensino Médio) - Philipe Albuquerque

Uploaded by

Copyright:

Available Formats

Philipe Thadeo Lima Ferreira de Albuquerque

Ponto fixo: uma introduo no Ensino Mdio

. Como todos os pontos da

so pontos da reta definida por no plano cartesiano, podemos

. Isso reduz a afirmao de que a funo possui pontos

so pontos fixos da funo () .

. Logo, o ponto ponto fixo

a funo inversa da funo . Segue que, dado

so equidistantes do ponto como queramos

a funo inversa da funo . Segue que,

() , ou seja, uma funo e sua

, como queramos demonstrar.

. Dizemos que uma funo contnua em

o crculo de centro na origem () e raio 1 do plano;

a esfera de centro na origem () e raio 1 do espao; e assim por diante.

tem pelo menos um ponto fixo.

pelo teorema de Brouwer existe pelo

que no importa como voc

) obtida da seguinte maneira:

. A sequncia foi obtida aplicando reiteradamente a funo raiz quadrada ao

, na reta real. Novamente 1 um

), a sequncia cujo n-simo

) a restrio da funo que define (

. Denotamos a subsequncia por

( ). Observemos ainda que todos os elementos

) uma sequncia de nmeros reais e um nmero real.

) converge para , ou convergente, e escreve-se

, quando para qualquer intervalo aberto contendo (por

() tal que todos os termos

. Podemos supor que o limite desta sequncia

(Propriedade Arquimediana dos nmeros reais).

, pela equao 4.4.a, temos:

) diverge, ou que divergente.

, ento ele nico.

. Assim, existem inteiros positivos

tais que para todo

) uma sequncia tal que

. Por outro lado existe

como queramos demostrar.

) uma sequncia recorrente ou

, a sequncia geomtrica diverge.

) dita sequncia de Cauchy se para todo

, de Cauchy. De fato, dado , existe

. Da, para todo tal que

) uma sequncia de Cauchy. Logo, para , existe

. Por outro lado,

) convergente se, e somente se,

) uma sequncia de Cauchy.

. Ento, dado , existe

) uma sequncia de Cauchy, ento dado , existe

) limitada. Pelo teorema de Bolzano-

) tem uma subsequncia (

, isto , dado , existe

, quando Isto conclui a

) possui uma subsequncia convergente.

) de nmeros reais e existe ) tal que

quando , segue que

e usando a desigualdade (4.7.a) temos

), que define uma sequncia recorrente, segue

) converge para , ento a subsequncia (

. Agora, substituindo por

no lado direito da equao,

no lado direito da equao, teremos um valor mais aproximado