Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Goinia
2013
[ ]Sim
[ X ] No
rea de concentrao:
MATEMTICA
Data defesa:
15/03/2013
Programa de Ps-Graduao:
PROFMAT SBM
Orientador (a): Durval Jos Tonon
E-mail:
djtonon@mat.ufg.br
Co-orientador(a):*
E-mail:
*Necessita do CPF quando no constar no SisPG
] NO 1
Havendo concordncia com a disponibilizao eletrnica, torna-se imprescindvel o envio do(s) arquivo(s) em formato digital PDF ou DOC do trabalho de concluso de curso.
O sistema da Biblioteca Digital de Teses e Dissertaes garante aos autores, que os arquivos contendo eletronicamente as teses, dissertaes ou trabalhos de concluso de curso,
antes de sua disponibilizao, recebero procedimentos de segurana, criptografia (para no
permitir cpia e extrao de contedo, permitindo apenas impresso fraca) usando o padro
do Acrobat.
________________________________________
Assinatura do (a) autor (a)
Data: 01 / 05 / 2013
Neste caso o documento ser embargado por at um ano a partir da data de defesa. A extenso deste prazo suscita
justificativa junto coordenao do curso. Os dados do documento no sero disponibilizados durante o perodo de
embargo.
Goinia
2013
N244f
CDU: 511.14:373.5
Agradecimentos
Deus, que me deu fora, f e segurana ao longo desses dois anos, para enfrentar
todas as dificuldades encontradas. Me guiando semanalmente a cada 400km de estrada
perigosa, guardando meus 2 filhos em seu manto sagrado e permitindo alcanar neste
momento um xito para toda a minha vida.
Ao meu marido e meus dois pequenos, que no decorrer de todo o curso, me incentivaram a continuar, mesmo eu estando ausente, com o corao partido, em alguns
momentos importantes da nossa famlia. A cada pedido choroso de fica mame, eu
sabia que eu precisava persistir e buscar uma vida melhor para todos ns.
minha amada me, que sempre foi o meu porto seguro. Te amo muito e obrigada
por cuidar dos nossos filhos.
Aos meus dois companheiros, amigos, irmos, colegas de jornada: Tlio e Viviane. Sem vocs seria muito mais difcil. Cada estudo, cada prova ultrapassada, cada
quilmetro de estrada, todas as risadas e preocupaes. Espero ter vocs por perto
sempre.
Ao meu orientador, Prof. Dr. Durval Jos Tonon por compartinhar seus conhecimentos e orientar meus estudos neste trabalho. Peo desculpas por eventuais falhas.
Aos meus colegas de turma pelo companheirismo, estudos em grupo e momentos
de descontrao.
E finalmente, ao PROFMAT e a CAPES pela sua ajuda finaceira e ao proporcionar
essa chance nica a todos os professores do Brasil.
Resumo
Fraes Contnuas e aplicaes no Ensino Mdio inicia-se com o contexto histrico, socialmente construdo a mais de 2500 anos, sobre o qual se originou o estudo e
formao dos conjuntos numricos com o objetivo de fundamentar a importncia dos
nmeros irracionais e suas peculiaridades. Retoma alguns conceitos bsicos de Sequncias Numricas e seus convergentes que so importantes para a compreenso do estudo
das aproximaes a partir do estudo de Frao contnua. A discusso centralizada
no estudo das fraes contnuas, explorando sua parte histrica, conceitos bsicos e
sua relao com o Algoritmo de Euclides. mostrada a importncia das aproximaes
tanto de nmeros racionais como irracionais,afim de diminuir o abismo existente entre o
finito e o infinito para a construo do conjunto dos Reais. No captulo final apresento
um minicurso para alunos do Ensino Mdio, de escola pblica, que buscam por cursos
superiores na rea de exatas e objetivam alcanar uma maior integrao com este importante segmento. Todos os assuntos abordados neste Trabalho sero desenvolvidos
no curso, mostrando suas propriedades e aplicaes.
Abstract
Continued Fractions and applications in High School begins with the historical
context, the socially constructed over 2500 years, over which originated the study and
training of numerical sets in order to substantiate the importance of irrational numbers
and their peculiarities . Reintroducing some basic concepts of Numerical Sequences
and their converging that are important for understanding the study of approaches
from the study of continuous fraction. The discussion and centered on the study of
continued fractions, exploring its historical part, basic concepts and their relation to
the Euclidean algorithm. It is shown the importance of both approximations of rational
numbers as irrational, in order to decrease the gap between finite and infinite for the
construction of all the dollars. In the final chapter I present a mini-course for high
school students, public school, looking for higher courses in the exact sciences and aim
to achieve greater integration with this important segment. All matters discussed in
this work will be developed in the course, showing their properties and applications.
10
Lista de Figuras
1
19
reas de polgonos . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
31
. . . . . . . . . . . . . . . . . . . . . . . . . . .
32
. . . . . . . . . . . . . . . . . . . . . . . . . . .
37
. . . . . . . . . . . . . . . . . . . . . . . . . . .
38
Intervalo . . . . . . . .
1
Grfico f (x) = 2 . . .
k
1
. . .
Grfico f (x) =
k
Segmentos encaixados
. . . . . . . . . . . . . . . . . . . . . . . . . . .
48
49
4
5
11
Sumrio
Resumo
Abstract
10
Lista de Figuras
11
1 Introduo
14
16
3 Sequncias Numricas
22
3.1
Definio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
22
3.2
Progresso Aritmtica . . . . . . . . . . . . . . . . . . . . . . . . . . .
23
26
Progresso Geomtrica . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
3.3.1
29
3.3.2
30
3.4
Convergncia de Sequncias . . . . . . . . . . . . . . . . . . . . . . . .
30
3.5
Sequncias Limitadas . . . . . . . . . . . . . . . . . . . . . . . . . . . .
32
3.6
Sequncias Montonas . . . . . . . . . . . . . . . . . . . . . . . . . . .
33
3.7
Subsequncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
3.2.1
3.3
4 Fraes Contnuas
39
4.1
Contexto Histrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
39
4.2
O Algoritmo de Euclides . . . . . . . . . . . . . . . . . . . . . . . . . .
41
4.3
Conceitos Bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
43
4.4
45
4.5
Finito X Infinito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
47
4.6
49
4.7
52
5 Concluso
55
12
5.1
. . . . . . . . . . . . . . . . . . .
55
5.2
Planejamento de Aula . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
Bibliografia
65
13
Introduo
A Educao hoje, vai alm das aulas montonas e baseadas no conteudismo que
15
mtica elementar, sendo ainda hoje tema de diversas pesquisas. Suas aproximaes
de nmeros finitos e infinitos apesar de ser estudado apenas na Educao Superior
apresenta um grande potencial para ser adaptado ao estudo dos Conjuntos Numricos,
contedo este bastante trabalhado no Ensino Fundamental e Mdio.
Nas incluses N Z Q feitas no Ensino Fundamental, a passagem por cada conjunto feita de forma simples e bem recebida pelos alunos. Eles conseguem visualizar
a necessidade dessa expanso. O nmero natural visto como um conceito primitivo,
os nmeros inteiros com seus sinais de + e os remete ideia de se ter ou faltar algo;
e finalmente os racionais, com a ideia de nmeros quebrados e fraes como razo
entre um inteiro e um natural no nulo. J a passagem de Q para R, ou ainda, a incluso dos Irracionais (I) sem dvida a mais instigante e complicada conceitualmente.
Infelizmente, no dado o devido valor, sendo feita de uma forma simplificada, sem
ressaltar suas importantes peculiaridades.
As aproximaes realizadas a partir das fraes contnuas so essenciais nesta passagem (Q I R), esclarecendo algumas das interrogaes deixadas. Assim, segundo
Cunha [10]:
(...) fraes contnuas constituem um exemplo interessante de procedimento que finito, quando
operado sobre nmeros racionais, e infinito, quando o nmero dado irracional. A origem das fraes contnuas est na Grcia, onde as fraes, para efeito de comparaes, eram todas escritas com
numerador 1".
A histria do desenvolvimento da Matemtica nos mostra que os povos antigos utilizavam sistematicamente aproximaes numricas. H referncia, no papiro de Ahmes,
do clculo da rea de crculo em relao rea de um quadrado considerado equivalente. Alguns autores, segundo Boyer [5], fazem uso deste conhecimento emprico para
calcular o valor de . Tambm, h referncia aos mesopotmios, em Brolezzi [7], que
atravs do uso da base sexagesimal realizaram aproximaes de nmeros irracionais.
16
...nossos mais antigos antepassados a principio contavam s at dois, qualquer conjunto, alm
desse nvel era dado como muitos....Os dedos de uma mo podem facilmente ser usados para indicar
um conjunto de dois, trs, quatro ou cinco objetos...
Por volta de 3000 a.C. na civilizao egpcia surgiu o que hoje chamamos de fraes.
s margens do Rio Nilo, o fara Sesstris dividia os terrenos entre seus agricultores:
... repartiu o solo do Egito s margens do rio Nilo entre seus habitantes. Se o rio levava qualquer
parte do lote de um homem, o fara mandava funcionrios examinarem e determinarem por medida a
extenso exata da perda.
Nas pocas de cheia, perodo de Junho a Setembro, o rio avanava sobre as margens e derrubava as cercas que cada agricultor usava para marcar os limites de seu
terreno. Perdendo-se um pedao de seu lote, tornou-se necessrio a remarcao. O
fara mandava os estiradores de corda, responsveis pela marcao, examinar o prejuzo. Estes mediam os terrenos com cordas esticadas nas quais j havia uma unidade
de medida marcada. Era verificado quantas vezes a unidade cabia no terreno, e nem
sempre o clculo era exato. Surgindo ento a necessidade de se dividir a unidade por
eles estabelecida, ou seja, o surgimento do nmero fracionrio.
Enquanto os egpcios tratavam o nmero como uma ferramenta utilitria e emprica, os gregos os concebiam como entidades abstratas e tericas, com propriedades
merecedoras de estudos aprofundados e pragmticos. Um importante representante
desta poca foi Pitgoras, fundador da seita onde todas as coisas podiam ser associadas aos nmeros. A escola pitagrica considerava os nmeros naturais (exceto o zero e
o um) como originrios dos deuses e imersos numa relao de direcionamento de todos
os objetos.
Por volta do ano 600 a.C., a escola pitagrica com todo o seu fascnio e estudo dos
nmeros naturais e suas propriedades obteve duas importantes descobertas na histria
da Matemtica: O Teorema de Pitgoras e o surgimento dos nmeros irracionais.
Pitgoras foi do cu ao inferno em tempo recorde.
A partir de seu Teorema e o estudo da relao entre a diagonal e o lado do quadrado, os pitagricos perceberam que estes segmentos no eram comensurveis. Dois
18
segmentos so ditos incomensurveis se a razo entre estes no puder ser expressa como
uma razo de nmeros inteiros (com denominador no nulo).
O problema da incomensurabilidade entre a diagonal e o lado do quadrado no se
adequava a filosofia grega, onde todo nmero inteiro ou composto de uma relao simples entre inteiros. Com tal descoberta os Pitagricos consideraram quebrada a
harmonia do universo e estavam convencidos de que os deuses os castigariam caso divulgassem aquilo que lhes parecia uma imperfeio divina. Este episdio representou um
momento crtico, que, posteriormente, foi denominado A Crise dos Incomensurveis.
Apesar de toda a problemtica gerada, os pitagricos contornaram o impasse com
uma soluo tpica da cultura matemtica grega da poca: a relao entre a diagonal e
o lado do quadrado no deveria ser expressa por um nmero, mas por meio de elementos
geomtricos.
Uma referncia a esta soluo grega se encontra em Bekken [3], que relata um trecho
dos Dilogos, de Plato, onde Scrates desenha um quadrado de lado 2, veja Figura
1a, e pede a um escravo que lhe mostre um quadrado com o dobro da rea. Depois
de algumas tentativas feitas pelo escravo, Scrates lhe mostra a resoluo correta,veja
Figura 1d.
...ligado Geometria. Somente os nmeros inteiros eram considerados nmeros, enquanto que os
outros nmeros eram considerados reas; particularmente as fraes eram tidas como quantidades; e
Euclides entendeu que at os nmeros inteiros eram concebidos geometricamente, como segmentos de
reta. Naquele tempo a Aritmtica grega fazia parte da Geometria".
escola pitagrica: nmeros que no podiam ser escritos como a razo de nmeros inteiros? Existncia de nmeros com variaes infinitamente pequenas que escapam
medio? Ou ainda, nmeros que furam a continuidade dos Racionais?
A soluo matemtica foi desenvolvida pelos alemes Dedekind (1831 a 1916) e
Cantor (1829 a 1920). Eles estabeleceram que, a continuidade das quantidades no era
coberta pelo campo racional, mas isto no significava que os pontos de descontinuidade no fossem nmeros. Seriam nmeros, mas de outro tipo, que no poderiam ser
expressos por razes: seriam os nmeros irracionais.
Para estabelecer esta continuidade, e diminuir o abismo existente entre o finito (racionais) e o infinito (irracionais) foi necessrio se trabalhar com aproximaes. Essa
continuidade foi primeiramente trabalhada no conjunto dos racionais, com representaes compostas de uma finita soma de fraes com denominador na forma 10n . A
segunda etapa foi trabalhar com as dzimas peridicas, onde o mtodo anterior se tornou ultrapassado, passando-se a estudar limites tendendo a infinito e a convergncia
dessas sries numricas (soma de fraes) e na alada do Ensino Mdio foi ensinado
com o estudo de progresses geomtricas e no nvel Fundamental, com equaes do 1o
grau.
Finalmente, os to temidos nmeros irracionais. Conhecidos por serem formados
por dzimas infinitas e no peridicas, era impossvel transform-lo em uma razo de
nmeros inteiros (com denominador diferente de zero), ento, a soluo era trabalhar
com aproximaes precisas que diferissem dos racionais por erros milionesimamente
pequenos. Vrios mtodos foram desenvolvidos, estudados e provados com o maior
rigor matemtico, e dentre estes, um dos que mais se adequa ou se correlaciona com
os contudos do Ensino Bsico e Mdio, o estudo de fraes contnuas.
Sendo assim, o trabalho tem como objetivo desenvolver uma aula, nvel de Ensino Mdio, sobre aproximaes de nmeros racionais e irracionais com o uso de fraes
contnuas, comeando por relembrar os contedos das progresses aritmtica e geomtrica, perpassando no estudo sobre sequncias numricas para assim fundamentar o
nosso objetivo, mostrando suas propriedades e peculiaridades.
21
Sequncias Numricas
3.1
Definio
,
,
,
.
.
.
;
n
2 3
4
7. (an ) = (1 + (1)n ) = (0, 2, 0, 2, 0, 2, . . .);
Podemos observar que:
Dada uma sequncia, nem sempre podemos determin-la por uma lei de formao,
ou seja, nem sempre podemos determinar o termo geral explicitamente, por exemplo,
a sequncia dos nmros primos, dada no item 3.
Existem sequncias que, a partir de certo elemento, os demais se aproximam de um
determinado nmero real, medida que os valores de n crescem. o caso da sequncia
22
1
dado no item 5, onde medida que os valores de n crescem, os valores de
(an ) =
n
an se aproximam do zero.
Iniciaremos por relembrar duas importantes sequncias numricas trabalhadas no
Ensino Mdio, para em seguida aprimorarmos o conhecimento com o estudo das convergncias e subsequncias.
3.2
Progresso Aritmtica
Seja dada a sequncia (2, 4, 6, 8, 10, 12, 14, ...). Observamos que, a partir do segundo
termo, a diferena entre qualquer termo e seu antecessor sempre a mesma:
r = 4 2 = 6 4 = 8 6 = 10 8 = 12 10 = . . . = 2
Sequncias como esta so denominadas progresses aritmticas (PA). A diferena
constante chamada de razo da progresso e costuma ser representada por r . Na PA
dada, temos r = 2.
Definio: Uma progresso aritmtica uma sequncia numrica (an ) em
que cada termo, a partir do segundo, igual soma do termo anterior com
uma constante r , chamada de razo da progresso.
an = an1 + r
Uma progresso aritmtica crescente toda progresso aritmtica em que cada
termo, a partir do segundo, maior que o termo que o antecede, sendo que, para isso,
a razo r tem que ser sempre positiva e diferente de zero.
Exemplo:
(2, 4, 6, 8, 10, 12, 14, . . .) razo r = 2;
(3, 6, 9, 12, 15, 18, 21, . . .) razo r = 3;
Uma progresso aritmtica decrescente toda progresso aritmtica em que
cada termo, a partir do segundo, menor que o termo que o antecede, sendo que para
isso a razo r tem que ser sempre negativa e diferente de zero.
23
Exemplo:
(8, 6, 4, 2, 0, 2, 4, 6, 8, . . .) razo r = 2;
(9, 6, 3, 0, 3, 6, 9, 12, . . .) razo r = 3;
Uma progresso aritmtica constante toda progresso aritmtica em que
todos os termos so iguais, sendo que, para isso, a razo r tem que ser sempre igual a
zero.
Exemplo:
(1, 1, 1, 1, 1, 1, ...) razo r = 0.
Propriedades
1. Numa PA, qualquer termo, a partir do segundo, a mdia aritmtica
do seu antecessor e do seu sucessor.
Exemplo: Seja a PA (4, 8, 12, 16, 20, 24, 28), em quaisquer trs termos consecutivos, o termo mdio sempre a m8 + 16
dia aritmtica dos outros dois termos. Observe que:
=
2
12.
2. Ao selecionarmos uma quantidade mpar e sucessiva de termos de uma
PA, o termo do meio (mdio) a mdia aritmtica do primeiro termo
e do ltimo termo, do 2o termo com o penltimo e assim por diante.
Exemplo: Dada a PA de 7 termos (3, 6, 9, 12, 15, 18,
3 + 21
21), observe que o termo mdio 12 e que 12 =
=
2
6 + 18
9 + 15
=
.
2
2
3. Ao selecionarmos uma determinada quantidade sucessiva de termos de
uma PA, a soma de dois termos quaisquer ser a mesma, se a soma de
seus ndices tambm forem iguais, ou seja, ai + aj = ak + al i + j =
k + l.
Exemplo: Seja a PA (3, 7, 11, 15, 19, 23, 27, 31), observe
que:
24
a2 + a5 = a3 + a4
7 + 19 = 11 + 15
Termo Geral
Proposio 1. A frmula do termo geral de uma progresso aritmtica expressa por:
an = a1 + (n 1) r
Demonstrao. Sabemos que o valor de qualquer termo igual ao anterior
mais a constante r, ou seja:
a2 = a1 + r
a3 = a2 + r = (a1 + r) + r = a1 + 2 r
a4 = a3 + r = (a1 + 2 r) + r = a1 + 3 r
a5 = a4 + r = (a1 + 3 r) + r = a1 + 4 r
..
.
an = a1 + (n 1) r
3.2.1
(a1 + an ) n
2
3.3
Progresso Geomtrica
Na sucesso de nmeros (5, 10, 20, 40, 80, 160, 320, . . . ) cada nmero o dobro do
nmero anterior. Ou ainda, se escolhermos qualquer um dos nmeros desta sucesso e
divid-lo pelo seu antecedente, o mesmo quociente ser constante.
Essa sequncia numrica (an ) chamada de progresso geomtrica (PG), onde cada
termo, a partir do segundo, igual ao produto do termo anterior por uma constante q,
chamada de razo da PG.
Portanto, a razo de uma PG obtida pelo quociente entre um de seus termos por
seu antecessor, ou seja,
q=
a2
a3
a4
ai+1
=
=
= ... =
,
a1
a2
a3
ai
com ai 6= 0
27
Exemplos:
(2, 6, 18, 54, 162, 486, 1458, 4374, 13122, . . . ) razo q = 3;
(5, 25, 125, 625, . . . ) razo q = 5
Uma PG decrescente toda progresso geomtrica em que cada termo, a partir
do segundo, menor que o termo que o antecede.
Exemplos:
1
1
8, 4, 2, 1, 21 , 41 , 18 , 16
. . . razo q =
2
(2, 4, 8, 16, . . .) razo q = 2.
Uma PG constante toda progresso geomtrica em que todos os termos so
iguais.
Exemplos:
(1, 1, 1, 1, 1, 1, 1, 1, 1, . . . ) razo q = 1;
(0, 0, 0, 0, 0, 0, 0, 0, 0, . . . ) razo q indeterminada
(3, 3, 3, 3, . . . ) razo q = 1.
Uma PG oscilante (ou alternante) toda progresso geomtrica em que todos os
termos so diferentes de zero e dois termos consecutivos tm sempre sinais opostos,
sendo que, para isso, a razo q tem que ser sempre negativa e diferente de zero.
Exemplos:
(3, 6, 12, 24, 48, 96, 192, 384, 768, . . .) razo q = 2;
(1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, . . .) razo q = 1.
Termo Geral
Trabalhando da mesma forma feita na PA, temos:
a2 = a1 q
a3 = a2 q = a1 q q = a1 q 2
a4 = a3 q = a1 q 2 q = a1 q 3
a5 = a4 q = a1 q 3 q = a1 q 4
28
..
.
an = an1 q = a1 q n2 q = a1 q n1
Sendo assim, a frmula do termo geral de uma progresso geomtrica (an ), onde a1
o primeiro termo, q a razo e n o nmero de termos, expressa por:
an = a1 q n1
Exemplo: Determine o 21o termo da PG (5, 10, 20, 40, 80, 160, 320, . . . ).
Soluo: Temos que a1 = 5 e q = 2.
Logo: a21 = a1 q 20
a21 = 5 220
Interpolao Geomtrica
Interpolar (n 2) meios geomtricos entre dois nmeros dados a1 e an , significa
obter uma PG com n termos de uma PG, cujos extremos so a1 e an , sendo que a1
o primeiro termo da PG e an o n-simo termo da PG.
Exemplo: Interpolar cinco meios geomtricos entre 3 e 192.
Soluo: Basta fazermos a1 = 3 e an = 192.
Como so 5 meios geomtricos, temos que n = 7 e, para obter
a razo da PG, temos que a7 = a1 q 6 .
Logo, 192 = 3 q 6 . Segue que q 6 = 64. Assim, q = 2.
Temos, ento, que os 7 termos da PG so: (3, 6, 12, 24, 48,
96, 192).
3.3.1
a1 (q n 1)
, com q 6= 1
q1
Demonstrao. Seja Sn = a1 + a2 + a3 + . . . + an = a1 + a1 q + a1 q 2 +
. . . + a1 q n1
Multiplicando-se a equao por q, q 6= 0 temos:
29
q.Sn = a1 .q + a2 .q 2 + a1 .q 3 + . . . + a1 .q n1
Segue que,
q.Sn Sn = (a1 .q+a1 .q 2 +a1 .q 3 +. . .+a1 .q n )(a1 +a1 .q+a1 .q 2 +. . .+a1 .q n1 )
Sn .(q 1) = a1 .q n a1
a1 .(q n 1)
Sn =
q1
Vejamos alguns exemplos:
Exemplo: Calcule a soma dos 12 primeiros termos da PG (1, 2, 4, 8,. . . ).
Soluo: Temos que a1 = 1 e a razo q = 2, logo:
S12
3.3.2
1.(212 1)
1.(4096 1)
a1 .(q 12 ) 1
=
=
= 4095
=
q1
21
1
Se uma PG possui razo 1 < q < 1, a soma de seus infinitos termos dada por:
S =
Exemplo: Resolva a equao x +
a1
1q
x x x
+ + + . . . = 100
2 4 8
3.4
Convergncia de Sequncias
30
n
1
n+1
1
1 tal que n n0
|an 1| < .
Para, realmente, vermos que n0 depende de , vamos tomar valores para
1
este ltimo e observar como ficar o ndice. Por exemplo, tome =
e
10
1
teremos que n0 = 99.
teremos que n0 = 9, enquanto que para =
100
3.5
Sequncias Limitadas
Definio: Uma sequncia (an ) limitada quando existe um nmero real
M > 0 tal que |an | M , para todo n inteiro positivo.
Em outras palavras, o conjunto dos termos da sequncia um conjunto
limitado se existe um valor M tal que todos os seus elementos esto no
intervalo [M, M ].
1
1 1
Exemplo: A sequncia (an ) =
= 1, , , . . . limin
2 3
tada. De fato, se fizermos M = 1, observa-se, claramente, que os
seus termos estaro sempre no intervalo [1, 1].
Figura 3: Intervalo
Podemos observar, neste exemplo, atravs da figura, que os
seus limites inferior e superior so, respectivamente, os nmeros
0 e 1.
Proposio 4. Toda sequncia convergente limitada.
Demonstrao. Seja (an ) uma sequncia tal que an L.
Assim, pela prpria definio, dado > 0, n0 N tal que
n n0 |an L| < L < an < L + .
32
an
L1
;
bn
L2
5. |an | |L1 |;
6. Se f uma funo contnua real, ento f (an ) f (L1 ).
3.6
Sequncias Montonas
Nota: Dada uma sequncia numrica (an ) temos que:
o termo sucessor ao termo geral an o termo an+1 ;
o termo antecessor ao termo geral an o termo an1 .
33
1
(b) 2
n
1 1
= 1, , , . . .
4 9
(c)(1, 1, 1, 1, 1, . . .)
3.7
Subsequncias
n + 1 , n {2, 3, 6, }
n
an =
.
n
, n {1, 3, 5, }
n
n+1
n1
Observe que as subsequncias
e
convergem para 1 e,
n
n
alm disso, (an ) converge, tambm, para 1.
Proposio 7. Sejam (an ) e (bn ) sequncias tais que an 0 e (bn ) limitada.
Ento, an bn 0.
Teorema 3.1. Sejam (an ), (bn ) e (cn ) sequncias tais que an cn bn . Se
an L e bn L, ento cn L.
Teorema 3.2. Seja (an ) converge para L, ento
a1 + a2 + + an
n
L.
+ + +
an0 +1 + + an
2 = n n0 <
< 2 2
n
n
n
2
2
Por outro lado, a1 , , an0 uma quantidade finita de nmeros reais, e
a1 + + an0
segue, imediatamente, que lim
= 0. Assim, existe n1 tal
n
n
a1 + + an
< .
que n n1
2
n
36
n
X
1
Exemplo 3.3. A sequncia (an ) =
convergente ou divergente?
k2
k=1
Justifique.
Como
m
n
X
1 X 1
(an ) =
+
k 2 k=m k 2
k=1
n
X
1
> 0, resulta an > am .
2
k
k=m+1
37
1
k2
Temos
an = 1 +
Como a sequncia n
n
Z
lim
n+
Rn 1
1
1
1
dx.
+
+
1
+
1
22 32
n2
x2
Rn 1
dx crescente e
1
x2
1
1
dx = lim
+1 =1
n+
x2
n
Resulta
an 2, para todo n 1.
Segue a sequncia convergente, pois crescente e limitada superiormente por 2.
n
X
1
k=1
convergente ou divergente?
Justifique.
Soluo: Para todo n 1,
1
k
1 1
1 R n+1 1
+ + + 1
dx
2 2
2
x
Como
Z
lim
n+
n+1
1
dx = lim ln(n + 1) = +
n+
x
Resulta
lim an = +.
n+
38
Fraes Contnuas
4.1
Contexto Histrico
13 ' 3 +
4
6+
4
6
18
.
5
18 ' 4 +
2
2
8+
8+
2
.
8 + ..
2 4 4 6 6 8 8
Que posteriormente foi transformada, pelo primeiro presidente da Royal Society of
London, Lord Brouncker, Lord W. Brouncker (1620-1686), na sequncia abaixo, que
consagrou-se um importantssimo passo nas aproximaes de .
39
4
=1+
12
=1+
32
2+
12 32 52 72
2+2+2+2+
52
2+
2+
72
.
2 + ..
Em seu livro Opera Mathematica (1695), Wallis utilizou o termo frao contnua
pela primeira vez e colocou alguns dos seus fundamentos bsicos, como por exemplo,
o clculo do n-simo convergente, descobrindo algumas de suas propriedades.
O matemtico e astrnomo holands Christian Huygens (1629-1695) foi o primeiro
a mostrar uma aplicao prtica de fraes contnuas. Escreveu um artigo explicando como usar os convergentes de uma frao contnua para encontrar as melhores aproximaes racionais para as relaes entre as engrenagens. Essas aproximaes
permitiram-lhe escolher as engrenagens com o nmero correto de dentes.
Parte da teoria moderna foi desenvolvida por Euler em seu trabalho de 1737, De
Fractionlous Continious, onde cada racional pode ser expresso como uma frao contnua simples finita, alm, de uma expresso para o nmero e.
1
e=2+
1+
2+
1+
1+
4+
1
.
1 + ..
40
4.2
O Algoritmo de Euclides
41
Divises
Quociente
Resto
a por b
a0
r0
b por r0
a1
r1
r0 por r1
a2
r2
r1 por r2
..
.
a3
..
.
r3
..
.
(3.1)
r1 = q3 r2 + r3 (0 < r3 < r2 );
..
.
rn3 = qn1 rn2 + rn1 (0 < rn1 < rn2 );
rn2 = qn rn1
Segue, que se ri = 0, o processo de aplicao do algoritmo findar, seja na 1a
equao ou aps certo nmero de passos, e rn1 o MDC dos nmeros a e b.
Vejamos um exemplo:
Exemplo 4.1. Seja a = 61 e b = 27, aplique o algoritmo de Euclides e determine
MDC(a, b).
61 = 2 27 + 7
=37+6
7=16+1
6 = 6.1
MDC(61,27) = 1
b
r1
= q1 + ;
r0
r0
e
42
r0
r2
= q2 + ;
r1
r1
rn2
= qn .
rn1
4.3
Conceitos Bsicos
q0 +
q1 +
1
1
.
q2 + . . +
qn
= q0 +
1
1 1 1
q 1 + q2 + q3 +
qn
(3.2)
43
Teorema 4.1. Todo nmero racional pode ser representado de duas maneiras distintas sob a forma de frao contnua finita e toda frao coninua
finita representa um nmero racional.
1 1 1
1
A frao q0 +
tem seus termos chamados de quocientes parciais.
q 1 + q2 + q3 +
qn
E a partir deles, determinamos os convergentes (ou aproximante) da frao contnua
representada em (3.2).
Seja
sequncia (Sn )
n=0
constituda
da
seguinte
maneira:
(3.3)
q0
1
1
S 1 = q0 +
q1
1 1
S2 = q0 +
q1 + q2
..
.
S0 =
1
1 1 1
... .
q1 + q2 + q3 +
qn
Dizemos que Sn o n-simo convergente da frao contnua.
Sn = q0 +
an = qn an1 + an2
n = 1, 2, 3,
bn = qn bn1 + bn2
com as condies iniciais
a0 = q 0
b0 =
a1 = 1
b1 = 0
1
44
4.4
a
um nmero racional, ele possui uma expanso em frao contnua simples
b
finita dada por:
Se
Sn = q0 +
1
1 1 1
...
= [q0 ; q1 , q2 , , qn ]
q1 + q 2 + q3 +
qn
91
29
1
1
1
1
= 1+
= 1+
= 1+
=
= 1+
= 1+
62
4
1
1
62
62
2+
2+
2+
1
29
29
29
7+
4
4
[1; 2, 7, 4]
(a)
(b)
62
91
=0+
=0+
91
62
1
2+
= [0; 1, 2, 7, 4]
1
7+
1
4
(c)
Teorema 4.2. Qualquer frao contnua simples finita representa um nmero racional. Reciprocamente, qualquer nmero racional pode ser representado por uma frao
contnua simples finita.
Demonstrao. A demonstrao da primeira parte imediata, pelo fato de se tratar
de uma frao contnua simples finita.
Para provar a recproca, consideremos um nmero racional
ritmo da diviso, obtemos:
45
a
qualquer. Pelo algob
a
r0
= q0 +
b
b
a
onde 0 r0 < b e q0 = .
b
Se eles tiverem o mesmo nmero de elementos, e os elementos correspondentes de
a
uma e outra coincidirem, isto , a0 = b0 , a1 = b1 , ... Se r0 = 0 e um numero
b
inteiro, nada h para provar. Porm, se r0 6= 0, ento fazemos:
1
a
= q0 +
, 0 < r0 < b.
b
b
r0
b
e obtemos
Fazemos o mesmo para
r0
b
r1
= q1 + .
r0
r0
Se r1 = 0 , temos:
1
a
= q0 +
= [q0 ; q1 ].
b
q1
Terminando a prova.
r1
Se r1 6= 0, repetimos o mesmo procedimento com a frao . Observamos que o
r0
processo termina quando rn = 0 para algum n, o que ocorre, pois b > r0 > r 1 > . . .
uma sequncia decrescente de inteiros positivos. Temos ento:
r0
a
= q0 + , 0 < r0 < b,
b
b
b
r1
= q1 + , 0 < r1 < r0 ,
r0
r0
..
.
rn3
rn1
= qn2 +
, 0 < rn1 < rn2 ,
rn2
rn2
rn2
= qn1 , rn = 0.
rn1
E, portanto,
a
1
= q0 +
1
b
q1 +
1
q2 +
1
q3 + +
qn1
Terminando a demonstrao.
46
4.5
Finito X Infinito
48
4.6
1
,
x1
sendo 0 <
1
<1
x1
(3.4)
Assim
x1 =
1
>1
x a0
um nmero irracional.
Da mesma forma, podemos escrever
1
,
x2
x 1 = a1 +
a1 = bx1 c 1 e 0 <
1
<1
x2
e, obtemos ento
x2 =
1
> 1,
x 1 a1
1
,
x1
1
,
x2
x1 > 1,
x2 > 1, a1 1,
..
.
xn = an +
1
xn+1
xn+1 > 1, an 1,
,
..
.
1
= a0 +
x1
1
a1 +
1
x2
= a0 +
a1 +
1
a2 +
= [a0 ; a1 , a2 , ]
= a0 +
1
x3
a1 +
a2 + +
Como
50
1
an +
3 = a1 +
1
1
=1+ .
x1
x1
Temos
1
3+1
1
( 3 + 1)
x1 =
=
=
,
2
31
3 1 ( 3 + 1)
ou seja,
3=1+
1
1
=1+
.
x1
3+1
2
Da
1
3+1
=1+ ,
2
x2
o que nos fornece
1
x2 =
= 3 + 1.
3+1
1
2
Dessa forma,
3=1+
1
=1+
x1
1
1
1+
x2
=1+
1
1+
1
3+1
ou seja,
3 + 1 = x2 = a3 +
1
1
=2+ .
x3
x3
Portanto
1
3+1
x3 =
=
.
2
( 3 + 1 2)
Como x3 = x1 , conclumos que x4 ser igual a x2 e desta forma, continuando com este processo, iremos obter para a sequncia a1 , a2 , a3 , os
valores 1, 1, 2, 1, 2, 1, 2, . Logo a frao contnua infinita representando
3 = [1, 1, 2, 1, 2, 1, 2, ]
2 2 2
8+ 8+ 8+
(1)
Temos ento
S0 =
4
a0
= = 4,
b0
1
S1 =
2
34
a1
=4+ =
= 4, 25,
b1
8
8
S2 =
a2
q 2 a1 + a0
8 34 + 4
276
=
=
=
= 4, 2461538,
b2
q 2 b1 + b0
88+1
65
S3 =
q 3 a2 + a1
8 276 + 34
2242
a3
=
=
=
= 4, 22462121,
b3
q 3 b2 + b1
8 65 + 8
528
a4
q 4 a3 + a2
8 2242 + 276
18212
=
=
=
= 4, 2462112
b4
q 4 b3 + b2
8 528 + 65
4289
Sabemos que 18 = 4, 2426406 . Desta forma, a frao contnua (1) pode ser
obtida da expanso de 18. E, os convergentes desta frao tendem para este valor.
S4 =
4.7
Admitamos o conjunto dos nmeros Reais como a reunio dos conjuntos dos Racionais e Irracionais. Ao longo do captulo, representamos cada um destes conjuntos
atravs de fraes contnuas. Mas, ainda persiste uma dvida: Poder-se- afirmar que
qualquer nmero real pode ser representado por uma frao contnua, sendo essa frao
definida univocamente?
Para responder esta pergunta, devemos demonstrar que:
52
53
E assim sucessivamente.
Poder o nmero de elementos ser diferente em fraes contnuas de
valor igual?
Suponhamos que a primeira frao contnua finita e tem s elementos,
enquanto a segunda finita e tem t elementos, sendo t > s; ou infinita.
Isso significa que:
a0 +
1
1
.
a1 + . . +
as
= a0 +
a1 +
1
.
+ .. +
a2
1
as +
1
.
bs+1 + . .
ou
as = as +
1
.
bs+1 + . .
E, portanto,
1
..
=0
bs+1 + .
O que impossvel. Concluindo, que t = s.
Logo, qualquer nmero real pode ser representado por uma frao contnua, sendo definida univocamente.
54
Concluso
5.1
A busca por um ensino de qualidade percorre um caminho longo e rduo. Vai alm
do desejo de cada professor despertar em seu aluno o querer e o prazer de aprender.
O ensinar/aprender se estrutura em quatro alicerces: o professor, o aluno, a estrutura fsica e a proposta curricular. Sabemos quo importante o papel de cada um
desses alicerces. E que para cada um, necessrio uma reestruturao e aperfeioamento constante.
A proposta curricular dos temas matemticos est passando por avanos, onde se
torna essencial a busca por um currculo mais coeso, com contedos interrelacionados
a cada progresso serial e aplicveis ao dia-a-dia. A coeso na progresso serial no
deve acontecer apenas entre os ensinos Fundamental e Mdio. fundamental tambm
diminuir o distanciamento entre os ensinos Mdio e Superior, que acredito ser uma das
causas da grande parte das reprovaes no incio de cada semestre letivo nas disciplinas
de Matemtica e Clculo 1.
Nessa perspectiva, minha concluso e objetivo tentar mostrar que um contedo
como Fraes Contnuas - visto apenas no Ensino Superior, pode ser abordado de forma
mais simples no Ensino Mdio, onde ser detalhada uma aula sobre a importncia na
construo do Conjunto dos nmeros Irracionais, suas aproximaes a partir de Fraes
Contnuas e suas aplicaes nas mais diversas reas.
5.2
Planejamento de Aula
55
informtica) uma pesquisa sobre o 2, a demonstrao de sua irracionalidade e construo na reta numrica. Falaramos do e do (nmero de
ouro).
Material utilizado: Apresentao em powerpoint e Internet.
2a aula: Demonstrao da
2 e sua Irracionalidade
56
2 e
MDC(47,11) = 1
4+
3+
47
3
1
1
1
= 4+
= 4+
= 4+
= 4+
11
2
1
11
11
3+
3+
3
3
3
2
1
1+
1
2
57
[Adaptado de Sanches;
Salomo (2003)].
1+
2 = 1, 4142136 = 1 + 0, 4142136 = 1 +
1
3
=
2
2
1
1
2+
2
c3 = 1+
7
5
1
2+
2, 4142133
1
2+
=1+
1
2+
1
1
= 1+
= 1+
2, 4142136
2 + 0, 4142136
2+
1
1
2, 4142133
(3o convergente)
1+
1
1
=1+
1
2, 4142136
0, 4142136
(2o convergente)
c2 = 1+0, 4142136 = 1+
1+
(1o convergente)
2 = 1, 4142136 = 1
1
2
= 1+
1
1
2+
5
2
1
1
2+
2 + 0, 4142133
=1+
17
12
=
5
12
= 1+
2+
2+
1
2, 41421151
(4o convergente)
1+
2+
2+
1
2, 4142151
1
41
1+
1
29
2+
1
2+
1
2+
2, 4142046
2+
c4 =
1+
59
2+
1
2 + 0, 4142151
c5 =
1+
2+
2+
c5 =
1+
1
2+
2, 1442046
1
1+
1
2+
1
2+
1
2+
1
2+
2, 4142658
2+
2+
2+
1
2 + 0, 4142046
99
70
1
De 2 = 1, 4142136 = 1 + .
x1
1
1
1
21 =
x1 =
,
x1
x
2
1
1
Temos:
Como
2 = 1+
1
1
2 > 1, ento: x1 = 1+ 2 = 1+1+
= 2+ .
x2
x2
Assim:
1
= 1+
2 = 1+
x1
. De: x1 =
2+1 = 2+
x2
1
2+
x2
1
1
1
2+1=2+
2=1+
x2 =
= x1 .
x2
x2
21
1
1
2 = 1+
= 1+
= 1+
1
x1
2+
2+
x2
[1; 2, 2, 2, 2, ] = [1; 2]
1
1
2+
1
x3 +
60
1
1
1
2+x
2+
2+
2+
1
1
2+x
2+
2+
1
2+x
2+
2+x
1
= [0; 2, 2, 2, 2, ]
x=
1
2+
1
2+
1
2+
1
2+
2 +
x=
Como
[1; 2, 2, 2, ]
Exerccio2: O nmero de ouro () tem sua representao a
partir da frao contnua mais simples (e bela!) de se escrever :
= [1; 1, 1, 1, ...].
Vejamos como ela se desenvolve:
1
1
x+1
x+1
x = 1+
= 1+ =
x=
1
x
x
x
1+
1
1+
1
1+
1 +
5
x 2 = x + 1 x2 x 1 = 0 x =
1, 6180340
2
61
1, 61803398874989 =
1, 6180340 =
(1o convergente)
1 + 0, 6180340 =
1
3
=
(2o convergente)
2
2
1
1
x2 = 1+
= 1+
= 1+
1, 6180340
1 + 0, 6180340
1+
1, 618034
1+
1
1
1+
1+
1+
1+
1+
x3 =
1+
1
2
5
3
1
1, 6180341
(3o conv.)
1+
=
1
1
1+
1+
1, 6180341
1 + 0, 6180341
1
1
8
= 1+
(4o conv.)
1+
=
1
1
5
1+
1+
1
1
1+
1+
1
2
1+
1, 6180338
Ao continuarmos, estes valores expressam a razo entre dois termos consecutivos da Seqncia de Fibonacci, dada por:
(1, 1, 2, 3, 5, 8, 13, ).
Para finalizar seria lanado o desafio/enigma do Calendrio
Enigma: O Calendrio Gregoriano: Uma incrvel coincidncia!
Como de conhecimento de todos, o nosso calendrio segue um ciclo de 3 anos
com 365 dias e 1 ano bissexto com 366 dias. Mas por que isso ocorre?
Resoluo: O ano trpico, aquele que marca as estaes, tem a durao
mdia de 1 ano = 365 dias 5 horas 48 minutos e 46 segundos = 365, 242199
dias. O calendrio Juliano, estabelecido em 45 a. C., considera a aproximao 1 ano = 365 dias 6 horas = 365,25 dias. E portanto, haver uma
diferena de cerca de 11 minutos.
Esta diferena de 11 minutos, em cem anos causava um desvio de:
62
11min 14s
x = 67400s
100 anos
x
=
1 ano
Esta aproximao causou um problema: as estaes reais haviam retrocedido treze dias em relao ao calendrio Juliano. Em 1582, o papa Gregrio
III convocou matemticos e astrnomos para resolver este problema. Desde
45 a.C. at 1582, se passaram 1627 anos, sendo o desvio acumulado desde
ento:
11h 43min 20s
x
100 anos
1627 anos
5h 48min 46s
20926
10463
=
=
1dia
86400
43200
63
64
43200
10463
1348
1027
321
64
1348
1027
321
64
1
4
= 365
1
4+
7
1
= 365
4+
7+
bissextos a cada 33 anos.
8
33
= 365
4+
7+
31
128
dias, ou seja,
1
1+
1
1
7
29
1
3
x = 96, 875 97
64
Referncias
[1] Aaboe, A. Episdios da Histria Antiga da Matemtica. Sociedade Brasileira de
Matemtica,Rio de Janeiro-1984.
[2] Andrade, E.X.L. e Bracciali, C.F. Fraes Contnuas. Editora Pliade, 2005
.
[3] Bekken, O.B. Equaes de Ahmes at Abel. Universidade de Santa rsula,1994.
Traduo de Jos Paulo Quinhes Carneiro.
[4] Beskin, N.M.Fraes Contnuas - Iniciao Matemtica. Editora Mir Moscovo,
1987. Traduo de Pedro Lima.
[5] Boyer, C.B. Histria da Matemtica. Ed. da Universidade de So Paulo,So
Paulo-1974 .
[6] Brolezzi, A.C. A Arte de Contar. Dissertao de Mestrado. So Paulo, Faculdade
de Educao da USP, 1991.
[7] Brolezzi, A.C. A Tenso entre o Discreto e Contnuo na Histria da Matemtica
e no Ensino da Matemtica. Tese de Doutorado. So Paulo, USP-1996.
[8] Caraa, Bento de J. Conceitos Fundamentais da Matemtica. Lisboa-1989, p.
3.
[9] Carneiro, Jos P.Q. Um processo finito para a raiz quadrada. RPM 34,1997,
p.36-44.
[10] Cunha, M.O. Sobre a idia de algoritmo. SEMA/USP, 2007 .
[11] Guidorizzi, H.L. Um curso de Clculo-vol.4. GRUPO GEN - LTC,2002.
[12] Nascimento, Paulo H. R. e Rodrigues, Fbio S. Licenciatura em
Matemtica-Clculo III. FTC-EaD,Bahia-2007.
[13] Niven, I.Nmeros Racionais e Irracionais. SBM, 1984.
[14] Olds, C.D. Continued Fractions-New Mathematical Library Random House.
65
66