Beruflich Dokumente
Kultur Dokumente
()
()
(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.
2 DEFINIES INICIAIS DE PONTO FIXO
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.
3 PONTO FIXO DE UMA FUNO REAL
19
Observao: A partir desta proposio observamos uma correspondncia biunvoca entre
qualquer ponto fixo com o par ordenado ( )
.
Pela definio 2.1 segue que se um ponto fixo da funo , ento:
()
ou .
Figura 2 - Exemplo 3.1.3
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 .
3 PONTO FIXO DE UMA FUNO REAL
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:
()
( )( ) .
Figura 3 - Exemplo 3.1.4
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 .
3 PONTO FIXO DE UMA FUNO REAL
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,
()
.
Logo,
(())
.
Analisando geometricamente, temos:
Figura 4 - Exemplo 3.2.3
Portanto, a funo intersecta a reta , uma nica vez e o ponto fixo da funo
ser .
3 PONTO FIXO DE UMA FUNO REAL
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.
3 PONTO FIXO DE UMA FUNO REAL
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.
3 PONTO FIXO DE UMA FUNO REAL
26
Figura 6 - Exemplo 3.2.6
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.
3 PONTO FIXO DE UMA FUNO REAL
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.
3 PONTO FIXO DE UMA FUNO REAL
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 ( ).
3 PONTO FIXO DE UMA FUNO REAL
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
3 PONTO FIXO DE UMA FUNO REAL
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
,
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
.
Figura 8 - Exemplo 3.5.3
3 PONTO FIXO DE UMA FUNO REAL
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:
Figura 9 - Exemplo 3.5.5
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
, onde
( ) e
( )
so
equidistantes do ponto .
Demonstrao:
Como
(
( )
( )
( )
( )
Segue que
Portanto, os pontos
, 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
.
Figura 12 - Exemplo 3.7.2
3 PONTO FIXO DE UMA FUNO REAL
38
Proposio 3.7.3
Sejam X e Y subconjuntos dos nmeros reais, e as funes e
, onde
. Portanto,
( ) se, e somente se, ( )
, definidas
+
+
, dadas
por ()
() , temos:
Figura 13 - Exemplo 3.7.4
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.
3 PONTO FIXO DE UMA FUNO REAL
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.
Figura 14 - Exemplo 3.8.1
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.
3 PONTO FIXO DE UMA FUNO REAL
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
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
3 PONTO FIXO DE UMA FUNO REAL
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
como queramos demonstrar.
4
A demonstrao deste teorema um tanto tcnica e preferimos omiti-la.
3 PONTO FIXO DE UMA FUNO REAL
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
, para . Ento,
, 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 .
4 INTRODUO RESOLUO DE EQUAES PELO MTODO DAS APROXIMAES SUCESSIVAS
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 (
, 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 um subconjunto infinito
.
Consideremos, por exemplo, a sequncia (
)
( ), se
restringirmos a funo ao subconjunto
, com , teremos a
subsequncia (
so elementos da sequncia (
)
.
4.4 Limites de sequncias de nmeros reais
Definio 4.4.1
Sejam (
, de modo que
para todo
.
4 INTRODUO RESOLUO DE EQUAES PELO MTODO DAS APROXIMAES SUCESSIVAS
48
Esta definio equivale condio algbrica: para todo nmero real , dado
arbitrariamente, podemos encontrar
com
satisfazem a condio
.
Exemplo 4.4.2 Limite de uma sequncia.
Consideremos a sequncia ( ) e observemos a frao
geratriz
da representao decimal
,
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
:
|
| |
( (
| (
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.
4 INTRODUO RESOLUO DE EQUAES PELO MTODO DAS APROXIMAES SUCESSIVAS
49
Como
.
Definio 4.4.3
Quando no existir um nmero real para o qual a sequncia (
)
convirja, dizemos que a sequncia (
, com
. Tome
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 (
e seja (
) uma
subsequncia qualquer, ento
.
Demonstrao:
Seja um nmero real, logo existe
tal que
( )
para todo
tal que se
, ento
. Portanto, se
, segue que
( ), que mostra
que
) . Dizemos 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 .
4 INTRODUO RESOLUO DE EQUAES PELO MTODO DAS APROXIMAES SUCESSIVAS
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
() tal que
Exemplo 4.6.2 Sequncia de Cauchy
A sequncia (
), onde
() tal que
, segue que
. Logo,
Teorema 4.6.3
Toda sequncia de Cauchy limitada.
Demonstrao:
Seja (
() tal que
Da segue, que
|
| |
| |
Fazendo
| |
|, segue que
. Portanto, a sequncia (
) limitada.
8
Augustin Louis Cauchy (1789-1857), matemtico francs.
4 INTRODUO RESOLUO DE EQUAES PELO MTODO DAS APROXIMAES SUCESSIVAS
53
Teorema 4.6.4
Critrio de Cauchy
Uma sequncia de nmeros reais (
()
tal que
Se
, ento
Isto mostra que a sequncia (
) de Cauchy.
() Se (
() tal que
Pelo Teorema 4.6.3, (
) convergente.
Digamos que
, quando
tal que
|
Por outro lado, temos
|
|
| |
onde
. Portanto,
, 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.
4 INTRODUO RESOLUO DE EQUAES PELO MTODO DAS APROXIMAES SUCESSIVAS
55
Corolrio 4.7.4
Se uma sequncia (
( )
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
. Logo, a sequncia (
) de Cauchy. Portanto, (
)
convergente pelo Critrio de Cauchy (Teorema 4.6.4) como queramos
demonstrar.
4 INTRODUO RESOLUO DE EQUAES PELO MTODO DAS APROXIMAES SUCESSIVAS
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
)) ( )
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.
4 INTRODUO RESOLUO DE EQUAES PELO MTODO DAS APROXIMAES SUCESSIVAS
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.
4 INTRODUO RESOLUO DE EQUAES PELO MTODO DAS APROXIMAES SUCESSIVAS
58
4.8 Resoluo de equaes pelo mtodo das aproximaes sucessivas
Da equao (4.5.a), ou seja,
) 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?
Figura 23 - Exemplo 4.8.1
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
4 INTRODUO RESOLUO DE EQUAES PELO MTODO DAS APROXIMAES SUCESSIVAS
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,
4 INTRODUO RESOLUO DE EQUAES PELO MTODO DAS APROXIMAES SUCESSIVAS
60
()
Doravante consideremos a equao ()
. Se desprezarmos o termo
da equao, pois considerado relativamente pequeno se comparado , obteremos um valor
aproximado
. Analogamente,
substituindo por
(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
) 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
.
Figura 24 - Exemplo 4.8.2
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?
Figura 25 - Exemplo 4.8.2
Pelo teorema de Pitgoras temos:
.
Mas qual a representao decimal correspondente a ?
Por construo segue que , ou seja, .
Consideremos
o erro desta
aproximao. Com efeito, temos
. Elevando os dois
membros da equao ao quadrado, temos:
. Como
4 INTRODUO RESOLUO DE EQUAES PELO MTODO DAS APROXIMAES SUCESSIVAS
62
segue que
da equao, logo,
.
Como
, consideremos
uma
aproximao de . Denotemos por
. Como
, podemos desprezar
da equao, logo,
.
Analogamente, a terceira aproximao pode ser escrita da forma:
.
Repetindo este processo, teremos:
.
Observe que para
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
, isto ,
)
Neste caso ( ) dada por: ()
).
Observando o fato de que (
Desta ltima desigualdade segue a afirmao. Logo,
Consequentemente,
( )
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 (
, 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.