Universidade Federal da Paraba Centro de Cincias Exatas e da Natureza Departamento de Matemtica Mestrado Prossional em Matemtica em Rede Nacional - PROFMAT

Sobre o nmero
por

Marcelo Rodrigues Nunes Dantas

sob a orientao do

Prof. Dr. Napolen Caro Tuesta

Dissertao apresentada ao Corpo Docente do Mestrado Prossional em Matemtica em Rede Nacional PROFMAT CCEN-UFPB, como requisito parcial para a obteno do ttulo de Mestre em Matemtica.

Maro/2013 Joo Pessoa - PB

O presente trabalho foi realizado com apoio da CAPES, Coordenao de Aperfeioamento de Pessoal de Nvel Superior.

Sobre o nmero
por

Marcelo Rodrigues Nunes Dantas

Dissertao apresentada ao Corpo Docente do Mestrado Prossional em Matemtica em Rede Nacional PROFMAT CCEN-UFPB, como requisito parcial para obteno do ttulo de Mestre em Matemtica. rea de Concentrao: Teoria dos nmeros. Aprovada por:

Prof. Dr. Napolen Caro Tuesta -

UFPB

(Orientador)

Prof. Dr. Uberlandio Batista Severo -

UFPB

Prof. Dr. Miguel Fidencio Loayza Lozano -

UFPE

Maro/2013

Agradecimentos
A Deus por me mostrar os caminhos da luz e conceder sabedoria em todos os momentos que precisei. A Erclio Soares Dantas, meu pai, mesmo no estando mais entre ns, tem participao ativa em toda minha vida e a Maria Irani Rodrigues Nunes Dantas, minha me, por todo empenho, por ser smbolo de tudo que h de mais sublime , por todo amor. Me, esse trabalho mais seu do que meu. A Talita Helen Arajo de Almeida, minha esposa, e Marcelo Rodrigues Nunes Dantas Filho, por suas existncias, pois ambos so motivos de meu mximo empenho na concluso desse trabalho. A vida bem melhor com vocs. A Lenimar Nunes de Andrade, primo, padrinho e dolo. inspirao em todos os momentos de minha vida. A Marclio Rodrigues Nunes Dantas, meu irmo, por toda parceria e bons momentos. A todos os professores e colegas de curso pelo crescimento intelectual proporcionado e s coordenaes, local e geral, do PROFMAT pelo excelente projeto que deu novo rumo minha vida. Em especial ao professor Elon Lages Lima, por toda bondade em me ouvir na hora em que precisei. Sem sua ajuda no teria conseguido. A Napolen Caro Tuesta, meu orientador, por toda contribuio intelectual e pelas horas de empenho em busca de me mostrar os melhores caminhos da pesquisa. Minhas expectativas foram alcanadas e superadas por seu excelente apoio. Aos amigos Pedro Jnior, Fernando Viana, Edson Filho, Francisco Lima e Ccero Demtrio, pelas verdadeiras amizades cultivadas graas ao advento da matemtica em nossas vidas. Coordenao de Aperfeioamento de Pessoal de Nvel Superior (CAPES), pela bolsa concedida. Sempre foi fonte de

Dedicatria

minha me, Maria Irani Rodrigues Nunes Dantas. Por tudo.

Resumo
Por mais de 2500 anos, muitos dos grandes matemticos se interessaram na natureza e nos mistrios do fascinante nmero

, mentes brilhantes como Arquimedes, .

Iniciamos

Euler, Gauss, Abel, Jacobi, Weierstrass, entre outros. Neste trabalho, estudaremos algumas das propriedades fundamentais que caracterizam o nmero nosso trabalho, provando que a razo entre o comprimento de uma circunferncia arbitrria e seu dimetro constante. Para isto, usamos a completude dos nmeros reais. Tal constante precisamente o nmero da irracionalidade de nmero

O Captulo 2 dedicado ao estudo

Apresentamos trs provas, a clssica, devida a Lambert, e

duas provas mais modernas de Cartwright e Ivan Niven. Alm de ser irracional, o

transcendente, isto , no existe um polinmio no nulo com coecientes

racionais que tenha

como raiz. Tal fato foi demonstrado inicialmente por Linde-

mann e, como consequncia, o problema clssico da quadratura do crculo no tem soluo. No captulo 3, apresentamos, sem prova, um resultado mais geral, o celebrado Teorema de Lindemann-Weiertrass que tem como corolrio, a transcendncia de

Finalmente, no captulo 4, a cronologia, curiosidades, aproximaes e sries

sobre

Palavras-chave: , irracionalidade, transcendncia, cronologia.

so estudadas.

Abstract

For more than 2500 years, many of the great mathematicians interested in the nature and the mysteries of fascinating number

, wonderful minds such that Ar-

chimedes, Euler, Gauss, Abel, Jacobi, Weierstrass, among others. In this work we will study some of the fundamental properties that characterize the number

We

begin our work, proving that the ratio between the length of an arbitrary circumference and its diameter is constant. For this, we use the completeness of the real numbers. This constant is precisely the number he study of the irrationality of to be irrational, the number

The chapter 2 is dedicated to

We present three proofs, a classical proof, due to

Lambert, and two modern proofs due to Cartwright and Ivan Niven. In addition

is transcendental, that is, there is not a non zero

polynomial in one variable with rational coecients that has squaring the circle has no solution. corollary , the transcendence of

as root. This fact

was initially proved by Lindemann and as a consequence, the classical problem of In the chapter 3 we present , without proof, chronology, curiosia more general result, the celebrated Lindemann-Weierstrass theorem, which has a ties, approximations and series on

transcendence, chronology.

. Finally, in the chapter 4, are studied. Key words

: , irrationality,

vi

Sumrio
Introduo 1 Denio e existncia do nmero
1.1 1.2 1.3 1.4 1.5 1.6 A denio de comprimento de arco . . . . . . . . . . . . . . . . . . . A existncia de

ix 1
1 4 8 11 13 15 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Clculo do comprimento do arco usando limites Teorema da adio para comprimento de arco

Aproximando a rea de um setor circular por defeito Aproximando a rea do setor circular por excesso

2 Demonstraes da irracionalidade de
2.1 2.2 2.3 2.4 2.5 Nmeros naturais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Conjuntos enumerveis . . . . . . . . . . . . . . . . . . . . . . . . . . Prova de Ivan Niven Prova de Cartwright A prova de Lambert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

17
17 18 21 26 30

3 Transcendncia de
3.1 3.2 3.3 Nmeros algbricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . A Quadratura do Crculo . . . . . . . . . . . . . . . . . . . . . . . . . Teorema de Lindemann - Weierstrass . . . . . . . . . . . . . . . . . .

36
36 38 39

Cronologia e curiosidades sobre

4.1 4.2 O perodo geomtrico . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.1.1 4.2.1 4.2.2 4.2.3 4.2.4 4.3 4.4 Polgonos inscritos com n e 2n lados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Srie de Leibniz . . . . . . . . . . . . . . . . . . . . . . . . . . Srie de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . Srie de Machin . . . . . . . . . . . . . . . . . . . . . . . . . . Outras Frmulas envolvendo O Perodo Clssico

40
40 42 43 43 44 45 46 47 49

. . . . . . . . . . . . . . . . . . . . . . . . . .

O perodo moderno . . . . . . . . . . . . . . . . . . . . . . . . . . . . Aproximaes de

usando probabilidade geomtrica

vii

4.4.1 4.4.2 4.5 4.5.1 4.5.2 4.5.3 4.5.4

Agulhas de Buon

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

49 51 51 51 52 52 53

Mtodo de Monte Carlo

Curiosidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Mnemnicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . Diferena nma Quem maior: . . . . . . . . . . . . . . . . . . . . . . . . . e? . . . . . . . . . . . . . . . . . . . . .

ou

Questes em aberto . . . . . . . . . . . . . . . . . . . . . . . .

viii

Introduo
Por mais de 2500 anos, o nmero e os mistrios do fascinante nmero

tem ocupado uma posio central na hist: Arquimedes e os matemticos da antiga

ria da matemtica. Muitos dos grandes matemticos se interessaram na natureza Grcia calcularam vrias aproximaes para o clculo da rea do crculo. Os matemticos do Renascimento acharam aplicaes na arte e arquitetura. Euler e seus inmeros trabalhos. Gauss, princeps mathematicorum, especialista em ciclotomia, isto , na diviso do crculo em partes iguais ou a construo de polgonos regulares ou, analiticamente, achar as razes n-simas da unidade e que muitas vezes esteve frente de seu tempo. Abel e Jacobi, criadores dos fundamentos da teoria das funes elpticas. Hermite, cuja prova da transcendncia do nmero transcendncia de

inspirou a prova da

por Lindemann e sua posterior generalizao por Weierstrass

com o celebrado Teorema de Lindemann-Weierstrass. E Ramanujan, cuja inesperada frmula ainda desperta o interesse dos especialistas na atualidade. O objetivo de nosso trabalho apresentar algumas das propriedades bsicas do nmero isto, dividimos a dissertao em quatro captulos. No primeiro captulo, usamos a completude dos nmeros reais, para denir o comprimento de uma circunferncia e, mais geralmente, o comprimento de arco. Mostramos que a razo entre o comprimento de uma circunferncia e seu dimetro sempre constante, isto , independe da circunferncia. Tal constante precisamente

Para

Tal fato bem conhecido, mas, poucas vezes demonstrado nos textos. Faremos

uma prova elementar com ajuda da geometria. Usando fatos sobre enumerabilidade, possvel provar que existem nmeros irracionais. Uma das primeiras caractersticas que

irracional.

A primeira prova deste fato foi obra do matemtico francs

Johann Henrich Lambert em 1777. No segundo captulo, apresentamos trs provas da irracionalidade de Niven.

que in-

cluem a de Lambert, Mary Cartwright e uma prova mais moderna do teorista Ivan Um dos problemas clssicos da antiguidade foi a chamada quadratura do

crculo, consistindo em construir um quadrado com a mesma rea de um crculo

dado. Em 1882, Ferdinand Lindemann provou que

um nmero transcendente,

isto , no existe um polinmio com coecientes racionais no todos nulos dos quais

seja uma raiz. Como resultado disto o problema da quadratura impossvel.

ix

No captulo 3, apresentamos as noes de nmeros algbricos e demonstramos que so enumerveis. Os nmeros complexos, que no so algbricos, so chamados transcendentes. Portanto, o conjunto dos transcendentes no enumervel e em particular, no vazio. Apresentamos o celebrado Teorema de Lindemann-Weierstrass sem prova, dado o carter tcnico da prova, mas usamos ele para provar como corolrio que os nmeros

so transcendentes.

Finalmente no captulo 4, apresentamos uma breve histria sobre

algumas

frmulas e sries que permitem calcul-lo, assim como aproximaes usando probabilidade geomtrica. O trabalho acaba com algumas curiosidades sobre este nmero maravilhoso, que juntamente com os nmeros importantes da matemtica e que ele os

e; i; 1; 0 so, ao dizer de Euler, os mais i juntou na sua famosa frmula: e + 1 = 0.

Fazendo meno ao lme indicado ao OSCAR, resumimos nosso trabalho como The

Life of

Captulo 1 Denio e existncia do nmero

Neste primeiro captulo, usaremos a completude dos nmeros reais para mostrar a existncia do nmero

1.1 A denio de comprimento de arco

Considere um arco

AB

de um crculo C:

Tomemos uma sequncia de pontos

A0 , A1 , A2 , . . . , An sobre o arco, tais que An = B , e para cada par de pontos consecutivos Ai1 , Ai , consideremos o segmento Ai1 Ai . A unio desses segmentos de reta gera uma poligonal pontilhada e a soma de seus comprimentos denotada por pn , ou seja, A0 = A
e

pn = A0 A1 + A1 A2 + + An1 An =
i=1
onde

Ai1 Ai ,

Ai1 Ai

denota o comprimento do segmento

Ai1 Ai .

1.1.

A DEFINIO DE COMPRIMENTO DE ARCO

Seja P o conjunto formado por todos os nmeros linhas pontilhadas inscritas em

pn

que so comprimentos de

AB ,

como acima, ou seja,

P =
Notemos que elemento de

pn | pn =
i=1

Ai1 Ai AB
um

P = ,

pois, por exemplo, o comprimento do segmento

P. P
limitado superiormente. Consequentemente, ter

Armamos que o conjunto

supremo. Para justicarmos essa armao, precisaremos do seguinte:

Lema 1.1.1

Seja

P QR

um tringulo issceles, de base

QR.

Consideremos os

pontos S, U e T (como na gura) de modo que

QR

SU .

Ento

ST > QR.

Prova:
Logo

Observemos que o tringulo

P QR

semelhante ao tringulo

P SU .

SU PS = >1 QR QP
e, portanto,

SU > QR
Alm disso, o ngulo o ngulo

QRP

agudo, pois base de um tringulo issceles. Assim,

QRU

obtuso e o ngulo

RU S

agudo. Ento, o ngulo

SU T

obtuso e o

1.1.

A DEFINIO DE COMPRIMENTO DE ARCO

ngulo

ST U

agudo. Mas, sabemos que, num tringulo, o lado de maior medida

oposto ao maior ngulo. Portanto,

ST > QR.

Agora, provemos a armao anterior.

Teorema 1.1.1 O conjunto P limitado superiormente. Prova: Tomemos um quadrado que contenha a circunferncia C em sua totalidade,
como na gura abaixo. Consideremos os pontos

Ai

sobre o quadrado, que so obtidos

a partir dos prolongamentos dos respectivos segmentos

DAi .

Agora, utilizando o Lema 1.1.1 , vemos que

n n

Ai1 Ai < Ai1 Ai . Ai1 Ai ,

Logo,

pn =
i=1

Ai1 Ai <
i=1 n

mas

Ai1 Ai q,
i=1

onde

o permetro do quadrado. Assim,

pn q

para todo

n N.

Isto prova que

o conjunto P limitado superiormente.

Observao:

Pelo axioma da completude dos nmeros reais o conjunto

possui

supremo que denotaremos por p. Isto nos permite dar a seguinte denio:

1.2.

A EXISTNCIA DE

Denio 1
Observao:
tices

Denimos o

comprimento

do arco

AB

como sendo o supremo do

conjunto P, isto ,

(AB ):= p = supP

Para denirmos o comprimento da circunferncia C, procedemos de modo anlogo ao caso anterior. Para isto, consideremos o polgono inscrito de vr-

A0 , A1 , A2 , . . . , An1 , An = A0 .
Consideremos ,

pn

a soma dos comprimentos das linhas pontilhadas inscritas, isto

pn =
i=1

Ai1 Ai , pn .
Prova-se, como acima, que

Seja P o conjunto de todos os comprimentos

P =

e que P limitado superiormente. Pelo axioma da completude dos nmeros

reais, existe

p = sup P .

Isto nos permite nos dar a seguinte denio:

Denio 2

Denimos o comprimento da circunferncia C por

p = (C ) := supP

1.2 A existncia de
Nesta seo, provaremos a existncia do nmero razo ser denotada por Seja

Mostraremos que a razo

entre o comprimento de qualquer circunferncia e seu dimetro constante. Essa

Antes disso, precisaremos de alguns resultados: limitado superiormente tal que conjunto:

P um conjunto no-vazio e k R+ . Consideremos o seguinte

P R0

e seja

kP := {kp | p P }

Por exemplo, se

P = [0, 1]
ento,

k=3

3P = [0, 3].
Observemos que se

j R+ ,

ento

j (kP ) = (jk )P.

1.2.

A EXISTNCIA DE

Lema 1.2.1

Se

uma cota superior de

P,

ento

kb

uma cota superior de

kP .

Prova:
e como

Se

uma cota superior de

P,

ento

p b k > 0, kb
ento

para todo

p P,

kb kp

para todo

p P.

Portanto,

uma cota superior de

kP.

Notemos que o Lema anterior mostra que

kP kP ,

limitado superiormente

Lema 1.2.2

Se c uma cota superior de

ento

c/k

uma cota superior de

P.

Prova:
Como

Se c uma cota superior de

kP ,

ento

kp c, k > 0,
temos que

para todo

p P.

p
o que garante que

c , k

para todo

p P,

c k

uma cota superior de P.

Como

kP = (pois P = ) e kP

limitado superiormente, o axioma da completude

dos nmeros reais garante a existncia de relao:

sup(kP ).

Mais ainda, temos a seguinte

Lema 1.2.3 sup(kP ) = ksup(P ) para todo k 0

Prova:

Seja b o supremo de P. Ento, b cota superior de P. Pelo Lema 1.2.1, kb

cota superior de por absurdo, que

kP . Armamos que kb o supremo de kP . kP tem cota uma cota superior c tal que c < kb.

De fato, suponhamos,

Do lema 1.2.2 , temos que

c/k

uma cota superior de P que seria menor que b, o que

uma contradio, pois b a menor das cotas superiores de P.

Agora estamos prontos para provar que a razo entre o comprimento e o dimetro de toda circunferncia constante.

1.2.

A EXISTNCIA DE

Teorema 1.2.1 (existncia de )

comprimentos

Sejam

dois crculos de raios

p,

ento,

Prova:

p p = . 2r 2r
Suponhamos, sem perda de generalidade, que os crculos so concntricos

de centro D e que

r > r,

como na gura a seguir:

Consideremos uma sequncia de pontos culo C. Para cada do segmento

A0 , A1 , A2 , . . . , An1 , An = A0

sobre o cr-

0 i n,

seja

Ai

o ponto de C' obtido a partir do prolongamento

DAi .

Assim, obtemos uma sequncia de pontos

A0 , A1 , A2 , . . . , An = A0

sobre o crculo C'. Logo, os tringulos

DAi1 Ai DAi1 Ai .
so semelhantes. Portanto,

Ai1 Ai r = Ai1 Ai r
Agora, se os permetros dos polgonos, inscritos em mentos

, formados pelos seg-

Ai1 Ai pn =

Ai1 Ai

so denotados por
n

pn

pn ,

temos que
n

Ai1 Ai =
i=1 i=1

r r

r (Ai1 Ai ) = r

(Ai1 Ai ) =
i=1

r pn . r

Assim,

pn =
Observemos que os pontos

r pn , r

para todo

nN Ai ,

(1.1)

Ai

foram obtidos a partir dos pontos

mas o pro-

cesso reversvel, isto , podemos considerar primeiro uma sequncia de pontos

1.2.

A EXISTNCIA DE

A0 , A1 , A2 , . . . , An = A0
Pela Denio 2,

sobre C' e obter os pontos

A0 , A1 , A2 , . . . , An1 , An = A0

sobre C como interseces dos segmentos

DAi

com o crculo C.

p = sup P = sup pn | pn =
i=1

Ai1 Ai

p = sup P = sup pn | pn =
i=1

Ai1 Ai k= r r
, temos que

Da expresso (1.1) e do lema 1.2.3

fazendo

P =
Portanto

r P. r

supP =

r supP, r

ou seja,

p p = . r r

Dividindo os dois membros da equao por 2, temos nosso enunciado.

Outro teorema anlogo ao anterior pode ser provado para arcos de circunferncia.

Teorema 1.2.2
AB
e

Sejam C e C' dois crculos de raio r e r',respectivamente. Sejam

AB

arcos de C e C', respectivamente, que possuem a mesma medida em

graus. Se p e p' so os comprimentos dos arcos

AB

AB,

ento

p p = r r

1.3.

CLCULO DO COMPRIMENTO DO ARCO USANDO LIMITES

Observaes:
(1) Esta razo conhecida como

medida em radianos do BCA.

temos que

O teorema a medida a clssica

diz que a medida em radianos depende somente do ngulo, ou que a medida em graus do arco, independente do raio do crculo. Se em radianos do ngulo

BCA,

frmula da trigonometria.

p = , r

donde

denota p = r ,

(2) A demonstrao desse teorema semelhante do teorema 1.2.1. Sem perda de generalidade podemos supor que os crculos so concntricos e tomar sequncias de pontos

A = A1 , A2 , . . . , An = B

A = A1 , A2 , . . . , An = B

como na

prova do teorema anterior.

1.3 Clculo do comprimento do arco usando limites

Nesta seo, veremos que os permetros das linhas pontilhadas inscritas de um arco se aproximam do comprimento do arco quando as medidas do lado maior das linhas pontilhadas se aproximam de zero. Antes de tornar mais precisa nossa armao, consideremos um crculo, como na seguinte gura:

AB

um arco sobre

A = A1 , A2 , . . . , An = B sobre o crculo AB , denotemos como Bn a linha pontilhada que a unio dos segmentos Ai1 , Ai , 1 i n e denotemos com m(Bn ) o maior dos comprimentos, isto ,
Para cada sequncia de pontos

m(Bn ) := max {Ai1 , Ai | 1 i n} .

1.3.

CLCULO DO COMPRIMENTO DO ARCO USANDO LIMITES

n
claro que

m(Bn )
n

pn , .

onde

pn

=
i=1

Ai1 , Ai .

Como

antes,

seja

P =

pn | pn =
i=1

Ai1 , Ai

Por denio,

(AB ) = p

, onde

p = sup P

Agora, precisamos nossa armao com o seguinte:

Teorema 1.3.1
existe

Seja

>0

tal que se

AB um arco de comprimento p = supP . m(Bn ) < , ento pn > p . pn P pn > p . 2

tal que

Para todo

> 0

Prova:
Seja

Pela denio de supremo, existe

Bn

uma linha pontilhada inscrita no crculo e de comprimento

pn .

Bm uma linha pontilhada inscrita num crculo qualquer de comprimento Pm . Seja Br a linha pontilhada obtida usando todos os vrtices de Bm e de Bn . Seja pr o comprimento de Br .
Agora, seja Para ilustrar isto, na gura, os pontos marcados com cruzes so os vrtices de

Bn

e os pontos marcados com crculos, so os vrtices de

Bm .

Aps repetidas aplicaes da desigualdade triangular, temos que

pr > p . 2

pr pn ,

portanto

Tambm imediato perceber que de de

Br , proveniente apenas da Bm em relao de Br . Essa

pm pr , pois cada vez que tomarmos um vrtice marcao de Bn , teremos uma reduo na formao
reduo ca ainda mais clara quando analisamos

a gura a seguir:
9

1.3.

CLCULO DO COMPRIMENTO DO ARCO USANDO LIMITES

Note que

O nmero de vezes em que essa reduo ocorre , no mximo,

P R < P Q+P Q (desigualdade triangular), onde P R Bm e P Q, P R B n. n 1 vezes para o caso em que Bn tem marcaes apenas em A e B, podendo ainda, no ocorrer vez alguma, caso Bn tenha marcaes sobre todos os pontos de Bm . Se denotamos com k o maior lado de Bm , ento pr pm (n 1).k sabemos que Pr > p , isto , p pr < . 2 2 p pm = (p pr ) + (pr pm ) < + (n 1)k. 2 p pm < , k<
isto seguir se

Por outro lado, Logo,

Como desejamos concluir que

(n 1)k <

, 2

ou seja,

. 2(n 1) , pois 2(n 1) |p pm | < .

se

Ento, nosso problema est resolvido se escolhermos ento

k < ,

p pm <

e como

pm p,

isto ser equivalente a

Observao:
um limite.

Em outras palavras, o teorema diz que

pn

se aproxima de

quando

o maior lado de

Bn ,

se aproxima de zero. Isto, obviamente, equivale aplicao de

10

1.4.

TEOREMA DA ADIO PARA COMPRIMENTO DE ARCO

1.4 Teorema da adio para comprimento de arco

Um dos postulados para medida angular o postulado da adio. Este arma que se um ponto

est no interior do ngulo

DAB , ento mDAB = mDAC +

mCAB.

A partir disto, pode-se provar um resultado semelhante para a medida angular de arcos circulares. Isto ,

m ABC = m AB +m BC .

O seguinte teorema o

enunciado correspondente para comprimentos de arco.

Teorema 1.4.1

Sejam

AB

BC

arcos de um mesmo crculo, com somente um

ponto B em comum para ambos. Sejam seja s o comprimento de

s1

s2

os comprimentos de

AB

BC ,

ABC .

Ento,

s1 + s2 = s

Prova:

(1) Suponhamos que

s1 + s2 > s.

Ento,

s1 + s2 s > 0.

Seja

= s1 + s2 s.
11

1.4.

TEOREMA DA ADIO PARA COMPRIMENTO DE ARCO

Consideremos uma linha pontilhada modo que

Bn

inscrita em

AB

de comprimento

pn ,

de

pn > s1 . 2 Bm
uma linha pontilhada inscrita em

Analogamente, seja de modo que

BC ,

de comprimento

pm ,

pm > s2 . 2 pm+n
tal que

Fazendo a unio dessas linhas pontilhadas, obtemos uma nova linha denotada por

Bm+n

de comprimento

pm+n = pn + pm
Como que

Bm+n

est inscrito em

ABC ,

segue-se que

pn+m s.

Por outro lado, temos

pm+n = pn + pm > s1 + s2 = s
Dessa forma,

pm+n s

pm+n > s

, uma contradio. Ento

(2) Agora, suponhamos que Assim,

s1 + s2 < s.

s s1 s2 > 0.

Seja

= s s1 s2 .

s = s1 + s2 + .
Seja

um nmero positivo de modo que se

Bn

uma linha inscrita em

AB

de

comprimento

pn

m(Bn ) < ,

ento

s pn < ou pn > s . existe pelo Teorema 1.3.1. Agora, seja Bn uma linha pontilhada inscrita em ABC com m(bn ) < tal que B um vrtice de Bn . Seja pn o comprimento de Bn , ento Bn pode ser dividida em duas linhas pontilhadas Bm , Br (m + r = n),
Tal uma inscrita em

AB

e a outra inscrita em

BC .

Se os comprimentos dessas linhas

pontilhadas so, respectivamente,

pm

pr ,

temos que

p m + pr pn , pm s1 , pr s2 .
Portanto,

pn s1 + s2
12

1.5.

APROXIMANDO A REA DE UM SETOR CIRCULAR POR DEFEITO

Mas,

s 1 + s 2 = s .

Ento

pn s ,
o que uma contradio. Consequentemente,

s1 +s2 = s.

1.5 Aproximando a rea de um setor circular por defeito

Seja C um crculo com centro C e raio r e sejam de todos os raios

AB

um arco de C e K a unio

CP ,

onde

p AB .

Denio 3

O conjunto K chamado setor circular de raio Seja

e fronteira

AB .

Teorema 1.5.1

um setor circular de raio

Ento, h uma sequncia de regies poligonais tal modo que existe

n

r e fronteira de comprimento s. K1 , K2 , . . . todas contidas em K de

lim Kn =

1 r s, 2

onde

Prova:

Kn

denota a rea de

Kn . AB
na qual todos os seus

Seja

Bn

uma linha pontilhada inscrita no arco

lados so congruentes de comprimento

bn :

13

1.5.

APROXIMANDO A REA DE UM SETOR CIRCULAR POR DEFEITO

Observando a gura, fcil ver que os tringulos tanto, as alturas tm mesma medida, 1 qualquer um desses tringulos 2 an bn . ponde unio desses tringulos. Ento

An1 An C so congruentes. Porque denotamos por an . Assim, a rea de Seja agora Kn a regio poligonal que corres-

1 Kn = nan bn 2
Seja

s o comprimento de AB .
Logo,

Notemos que

nbn

o comprimento da linha pontilhada

Bn .

nbn s
e, portanto,

0 bn
Como

s . n

s 1 = s. lim = s.0 = 0, n n n n lim

segue-se pelo Teorema do Confronto que,

lim bn = 0. Bn
so iguais, segue que

Como

m(Bn ) = bn ,

pois todos os seguimentos de

lim nbn = s Ai1 CAi

vemos que

Por outro lado, examinando um tringulo do tipo

r < an
Portanto,

bn . 2

bn < an < r. 2
14

1.6.

APROXIMANDO A REA DO SETOR CIRCULAR POR EXCESSO

Como

lim bn = 0,

ento, pelo Teorema do Confronto temos que

lim an = r

Dos resultados obtidos, temos que

lim (Kn ) = lim

1 1 .an .bn = rs, 2 2

o que prova nosso teorema.

1.6 Aproximando a rea do setor circular por excesso

Nesta seo, mostraremos que existe uma sequncia de regies poligonais cada uma delas contendo o setor

L1 , L2 , . . .,

de modo que

1 lim Ln = rs, n 2
em que

Ln

denota a rea da regio

Ln . r,
de fronteira

Teorema 1.6.1
mento

Sejam

um setor circular de raio

AB

e compri-

s,

e seja

um nmero arbitrrio positivo. Ento, existe uma regio poligonal

L,

contendo

K,

de modo que

Prova:

1 L < rs + . 2 K
com o de modo que

Para encontrar tal regio poligonal, tracemos um setor circular

mesmo centro que

e raio

r > r.

15

1.6.

APROXIMANDO A REA DO SETOR CIRCULAR POR EXCESSO

Na gura, a linha pontilhada no setor menor a mesma que do teorema anterior. J a linha inscrita no setor maior tem lados inscrita no setor maior. Ento

bn

e altura

an .

Seja

L a regio poligonal

L =
Seja

n a b . 2 n n

comprimento de

AB.

Pelo teorema 1.3.1, temos que

s s = , r r
portanto

s =
Alm disso, sabendo que

r .s r

nbn s ,
temos

nbn
Por semelhana de tringulos, segue que

r s . r

an r = , an r
ou seja,

an = 1 L < rs + 2

an r r

At ento, tudo vlido para todo modo que

1 an r r s 1r2 s 2 r r 2 r r > r e para todo n. Precisamos K L.

escolher

de

e, em seguida, escolher n, tal que

Desejamos que

r 2s < rs + 2, r
ou, equivalentemente,

ou seja,

r 2 < r2 +

2r , s

r <
Ento, basta tomar segue que

r2 + 2r/s.
Desde que

r > r, satisfazendo a condio anterior. n.

Escolhendo esse

an > r para algum prova nosso teorema.

n,

temos que

lim an n contm K .

=r,
Isto

16

Captulo 2 Demonstraes da irracionalidade de

Neste captulo, sero mostradas trs demonstraes da irracionalidade de

Ini-

cialmente, mostraremos alguns resultados sobre conjuntos enumerveis, que provaro a existncia de nmeros irracionais. Em seguida, usando basicamente ferramentas de Clculo Diferencial e Integral faremos a trs demonstraes.

2.1 Nmeros naturais

Fazer referncia ao conjunto dos nmeros naturais, inevitavelmente, corresponde a associaes sobre contagem. A utilizao desses nmeros bastante antiga e mesmo sem noes formais sobre o conjunto dos nmeros naturais, vrias civilizaes, ao longo do tempo, deixaram registros do uso desse conjunto. de Giussepe Peano (1858 - 1932) a elaborao da teoria dos nmeros naturais. Utilizando apenas quatro propriedades bsicas, conhecidas como axiomas de Peano, possvel obter todas as armaes verdadeiras que conhecemos sobre os nmeros naturais. H duas maneiras de exibirmos tais axiomas, uma formal e outra que utiliza uma linguagem mais usual, menos rigorosa. Utilizaremos a segunda, visando tornar a leitura um pouco menos tcnica:

Todo nmero natural possui um nico sucessor, que tambm um nmero natural. Nmeros naturais diferentes possuem sucessores diferentes. (Ou ainda: nmeros que tm o mesmo sucessor so iguais.) Existe um nico nmero natural que no sucessor de nenhum outro. Este nmero representado pelo smbolo 1 e chamado de nmero um.

17

2.2.

CONJUNTOS ENUMERVEIS

Se um subconjunto dos nmeros naturais contm o nmero 1 e, alm disso, contm o sucessor de cada um de seus elementos, ento esse conjunto coincide com

N,

isto , contm todos os nmeros naturais.

O ltimo axioma conhecido como Princpio da Induo Matemtica e muito til na demonstrao de propriedades que envolvem nmeros naturais. Um princpio equivalente ao princpio da Induo o chamado Princpio da Boa Ordem, que arma que todo conjunto no vazio de A partir do conjunto dos nmeros naturais dos nmeros inteiros possui menor elemento.

N,

podemos construir o conjunto

e o conjunto dos nmeros racionais

Q,

cujos elementos so

quocientes de nmeros inteiros.

2.2 Conjuntos enumerveis

Desde os primrdios, comum encontrar os mais diversos tipos de associaes entre objetos e quantidades. O signicado dessas situaes , simplesmente, contar ou, ainda, enumerar.

Denio:

Um conjunto A, innito, dito enumervel se possvel estabelecer

uma correspondncia biunvoca com os naturais. Em outras palavras, A enumervel se existe uma funo bijetora

f : N A.

Exemplos:

O conjunto dos nmeros naturais pares P enumervel:

encontramos uma bijeo. Basta tomar

facilmente

f :NP

tal que

f (n) = 2n.

N N enumervel: N N com N.

O diagrama abaixo ajuda a construir uma bijeo de

18

2.2.

CONJUNTOS ENUMERVEIS

(1, 1)
{

(1, 2)

(1 , 3) Y
{

(1, 4)

(1 , 5) Y
|

(2, 1)


(2, 2)
Y {

(2, 3)

(2, 4)
Y {

(2, 5)

(3, 1)
{

(3, 2)

(3, 3)
Y {

(3, 4)

(3, 5)
Y |

(4, 1)
. . .

(4, 2)
Y
. . .

(4, 3)
. . .

(4, 4)
Y
. . .

(4, 5)
. . .

..

O conjunto dos inteiros enumervel:

f :NZ
por

Para isto, denamos a funo

f (n) =
Por exemplo,

m m

se se

n = 2m m = 1, 2, 3, . . . n = 2m + 1 m = 0, 1, 2, 3, . . .

f (1) = 0, f (2) = 1, f (3) = 1, f (4) = 2, f (5) = 2, . . .

O conjunto dos racionais enumervel

enumervel.

segue ajuda a visualizar que o conjunto dos nmeros racionais positivos

Como acima, o diagrama que Q+

19

2.2.

CONJUNTOS ENUMERVEIS

1 1
G

2 1
h

3 1
G

4 1
h

5 1
G

1 2 1 3 1 4
. . .

2 h 2 2 3 2 g 4
. . .

3 2 3 h 3 3 4

. . .

4 h 2 4 3
h

5 2 5 3 5 4

. . .

4 g 4
. . .

..

De modo anlogo podemos mostrar que o conjunto dos nmeros racionais negativos Q tambm enumervel, pois como

Q = Q+ Q {0},
a proposio a seguir garante que

enumervel.

Proposio 1

A unio de dois conjuntos enumerveis enumervel.

Prova Sejam A = {a1 , a2 , a3 , . . .} e b = {b1 , b2 , b3 , . . .} conjuntos enumerveis.

A funo

f :NAB f (n) =

denida por:

, an 2 b n+1 ,
2

se se

n = 2k n = 2k 1 f

kN AB
como um

sobrejetiva. A aplicao inversa da direita de subconjunto innito de

permite identicar

N e portanto A B

enumervel.

Mais geralmente, possvel provar que a unio nita ou enumervel de conjuntos enumerveis enumervel.

Proposio 2

O conjunto dos nmeros reais

no enumervel: no enumervel. Consequen-

Prova:

Mostraremos que o conjunto

A = [0, 1)

temente, o conjunto dos reais tambm no ser. Os elementos de A tem a seguinte expanso decimal:
20

2.3.

PROVA DE IVAN NIVEN

0, a1 a2 a3 . . . ,
em que cada

ai

pertence ao conjunto

{0, 1, 2, 3, 4, 5, 6, 7, 8, 9}.

Suponhamos, agora, que A enumervel. Assim, seus elementos podem ser representados da seguinte maneira:

0, a11 a12 a13 . . . 0, a21 a22 a23 . . . 0, a31 a32 a33 . . .

. . .

0, b1 b2 b3 . . . em que todos os valores de bi so diferentes de 0 e 9 e bn = ann . Ento, 0, b1 b2 b3 . . . no pertence ao conjunto A, o que uma contradio. Portanto A no enumervel, e, consequentemente, R no enumerAgora, consideremos o nmero vel.

beginCorolario Existem nmeros irracionais.

Prova:
ros

Sabemos que

enumervel e que

no enumervel.

Ento

R\Q

um conjunto no vazio, mais ainda, pela Proposio 1,

R\Q

no enumervel.

Mesmo sabendo da innidade de irracionais, alguns deles se destacam. Os nme-

ee

possem inmeras aplicaes e foram estudados por grandes matemticos ao

longo da histria. A seguir, faremos uma abordagem sobre neiras diferentes, sua irracionalidade.

, provando, de trs ma-

2.3 Prova de Ivan Niven

Embora o nmero nalidade de

tenha sido estudado desde a antiguidade, assim como o

conceito de nmero irracional, foi apenas no sculo XVIII que se provou a irracio-

Observaremos abaixo uma demonstrao moderna de sua irraciona-

lidade, apresentada em 1947, pelo matemtico canadense Ivan Niven (1915-1999). O mtodo que Hermite (1822-1901) desenvolveu, para provar a transcendncia do foi a fonte de inspirao para essa demonstrao. 2 A demonstrao consiste em supor que racional, e mostrar que essa armao 2 leva a uma contradio. Consequentemente irracional, e, portanto irracional. Antes de provar isso, mostraremos alguns resultados preliminares. nmero

e,

21

2.3.

PROVA DE IVAN NIVEN

Lema 2.3.1

Dado o polinmio

f (x) =

xn (1 x)n , n! 1 . n!
e

se

0 < x < 1,

ento

0 < f (x) <

Prova:
Logo,

Para

0 < x < 1,

temos que

0 < xn < 1

0 < (1 x)n < 1.

0 < xn .(1 x)n < 1

Multiplicando a ltima desigualdade por

1 , n!

obtemos

0<
Portanto

xn .(1 x)n 1 < n! n!

0 < f (x) <

1 para todo n!

0 < x < 1.

Para cada

n Z, n 0

consideremos a funo polinomial

fn (x) =

1 n x (1 x)n , x R. n!

(k) (k) Lema 2.3.2 fn (0) e fn (1) Z para todo k N

Prova:

Observe que

fn (x)

obtida a partir do produto

xn (1 x)n .

Portanto, seu

grau varia de

2n.

Assim,

fn (x)

pode ser escrita na forma

2n

1 f n ( x) = n!

ci x i ,
i=n

com

ci Z

Para provarmos o lema proposto, ser necessrio analisar os possveis valores de (k) (k) fn (0) e fn (1). Note que Se Se

k < n, ento fn (0) = 0 pois fn aplicada no ponto x = 0. (k) k > 2n, ento fn (0) = 0, pois o grau de fn 2n.

(k)

Observe ainda que

1 f n ( x) = n!

2n

ci x i =
i=n

1 cn xn + cn+1 xn+1 + + c2n x2n n!

22

2.3.

PROVA DE IVAN NIVEN

Ento para

n k 2n,

temos

termos envolvendo x
(n) fn ( x) =

1 (2n)! [n!cn + (n + 1)!cn+1 x + c2n xn ] n! n!

termos envolvendo x

(n+1) fn ( x) =

1 (2n)! [(n + 1)!cn+1 + (n + 2)!cn+2 x + c2n xn1 ] n! (n 1)!

. . .
(2n) (x) = fn

1 [(2n)!c2n ] n!

Assim, temos que

(n) fn (0) = cn , (n+1) fn (0) = (n + 1)cn+1

. . .
(2n) fn (0) = (2n)(2n 1) . . . (n + 1)c2n

Ento, podemos concluir que imediato perceber que

fn (0)

(n)

inteiro para todo

k Z.

Alm disso,

fn (x) = fn (1 x),
logo,
(k ) fn (x) = (1)k fn (1 x),

e, portanto,
(k) (k ) fn (1) = (1)k fn (0).

Assim,

fn (1) tambm um inteiro para todo k .

Se

(k )

Lema 2.3.3 Prova:

qualquer nmero e

> 0,

ento para

sucientemente grande

an < . n!
Para provar esse resultado, observe que, se

n > 2a,

ento

an+1 a an 1 an = < . (n + 1)! n + 1 n! 2 n!

23

2.3.

PROVA DE IVAN NIVEN

Agora, seja n0 qualquer nmero natural com n0 2a. an0 , as seguintes desigualdades podem ser satisfeitas: (n0 )! n0 +1 n0

Ento, qualquer que seja

a 1 a < (n0 + 1)! 2 (n0 )!

an0 +2 1 an0 +1 1 1 an0 < < (n0 + 2)! 2 (n0 + 1)! 2 2 (n0 )!
. . .
k

an0 +k < (n0 + k )!

Se k to grande que

1 2

an 0 . (n0 )!

an0 < 2k , (n0 )!

ento

an0 +k < . (n0 + k )!

Teorema 2.3.1 2 irracional. Prova: Suponha que 2 racional.

considere os seguintes polinmios:

Ento,

2 =

p , onde q

p, q Z

com

q = 0

f (x) =
e

xn (1 x)n n!

F (x) = q n 2n .f (x) 2n2 f (2) (x) + + (1)n f (2n) (x)

Do Lema 2.3.2, conclumos que

F (0)

F (1)

so inteiros. Agora, observe que

F (1) (x) sen (x) F (x) cos (x) =

F (2) (x) sen (x) + F (1) (x) cos (x) F (1) (x) cos (x) + F (x) 2 ( sen (x)) = F (2) (x) sen (x) + F (x) 2 sen (x)
Alm disso,

F (2) (x) = q n 2n f (2) (x) 2n2 f (4) (x) + + (1)n 2 f (2n+2) (x)
e

2 F (x) = q n 2n+2 f (x) 2n f (2) (x) + + (1)n 2 f (2n)(x)

24

2.3.

PROVA DE IVAN NIVEN

Note que

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

pois o grau de

f ( x)

2n.

Logo,

F (2) (x) sen (x) + 2 F (x) sen (x) = q n 2n 2 f (x) sen(x) = pn . 2 f (x) sen (x).
Assim,
1 1

pn 2
0

sen (x)f (x)dx = F (1) (x) sen (x) F (x) cos (x)
0

Portanto,

pn 2
0

sen (x)f (x)dx = [F (1) + F (0)] ,

1

isto ,

pn
0

sen (x)f (x)dx = F (1) + F (0).

inteiro.

(2.1)

Como j foi mostrado

F (1) + F (0)

Agora, do Lema (2.3.1) e da expresso 2.1, temos

1

0 < pn
0

f (x) sen (x)dx <

pn n!

sen (x)dx.
0

Mas,
1 0

cos (x) 2 sen (x)dx = = . 0

1

Logo,

0 < pn
0

f (x) sen (x)dx <

tal que
1

2pn . n!

Do Lema 2.3.3 podemos tomar

(2.1) um inteiro e

2pn < 1. n!

Mas, o lado direito da expresso

0 < pn
0

sen (x)dx < 1, 0

e

o que corresponde a uma contradio, pois no h inteiros entre

1.

Corolrio 2.3.1

irracional.

Prova:
que

Suponha que

rema anterior. Logo,

a = b

racional, ento existem a, b Z, com b = 0 de modo a2 2 irredutvel. Ento = tambm racional, o que contraria o teob2

irracional.

25

2.4.

PROVA DE CARTWRIGHT

2.4 Prova de Cartwright

A seguinte prova foi proposta pela matemtica britnica Mary Lucy Cartwright (1900-1998). O clculo de integrais e o raciocnio recursivo so predominantes nessa demonstrao.

Lema 2.4.1

Dada a sequncia de integrais

1

In (x) =
1

(1 t2 )n cos (tx)dt

com

x = 0,

possvel escrev-la de maneira recursiva, obtendo

In (x) =
onde

2n(2n 1) 4n(n 1) I In2 , n 1 x2 x2 4 x2 cos x + 1 sen x x

I0 (x) =

2 sen(x) x

I1 (x) =

Prova:
In (x) =

Aplicando integrao por partes, temos que

0

(1 t2 )n sen(xt) x

+
1 1

2n 2nt(1 t2 )n1 sen(xt)dt = x x

t(1t2 )n1 sen(xt)dt

1

Aplicando, mais uma vez, integrao por partes,

0

cos(xt) 2n .(t).(1 t2 )n1 In = x x

+
1 1

(1 t2 )n1 (n 1)2t2 (1 t2 )n2

1

cos(xt) dt x
(2.2)

2n In = 2 In1 2(n 1) x
1

t2 (1 t2 )n2 cos(xt)dt
1

Nossa inteno escrever

t2 (1 t2 )n2 cos(xt)dt
1

de modo recursivo. Portanto,

1 utilizaremos o seguinte artifcio: 1

t2 (1 t2 )n2 cos(xt)dt =
1 1 1

(1 1 + t2 )(1 t2 )n2 cos(xt)dt

equivale a

chegando concluso que

1 1

t2 (1 t2 )n2 cos(xt)dt
1

(1 t2 )n2 cos(xt)dt
1 In2
26

(1 t2 )n1 cos(xt)dt
1 In1

2.4.

PROVA DE CARTWRIGHT

Substituindo na equao (2.2), temos

In =
e, portanto,

2n [In1 (2n 1) 2(n 1)In2 ] x2 2n(2n 1)In1 4n(n 1)In2 . x2 x2

In =

Agora, considere a funo

Jn (x) = x2n+1 In (x).

Usando o Lema 2.4.1, conclui-se que

Jn (x) = x2n+1
ou seja,

2n(2n 1) 4n(n 1) In1 In2 , 2 x x2

J( x) = x2n1 In1 2n(2n 1) x2n3 In2 x2 4n(n 1),

Jn1
portanto,

Jn2

Jn (x) = 2n(2n 1)Jn1 (x) 4n(n 1)x2 Jn2 (x),

onde

(2.3)

J0 (x) = x2.0+1 I0 ,

ou seja,

J0 (x) = 2 sen x,
alm disso,

J1 (x) = x2.1+1 I1 (x),portanto J1 (x) = 4x cos x + sen x

O que nos faz perceber que

Jn (x) est bem denida.

Lema 2.4.2

Para todo

n Z+

Jn (x) = x2n+1 In (x) = n! [Pn (x) sen x + Qn (x) cos x] ,

em que iguais

Pn ( x ) a 2n.

Qn (x)

pertence a

Z[x]

e os graus de

Pn ( x )

Qn (x)

so menores ou

27

2.4.

PROVA DE CARTWRIGHT

Prova:
Para

n = 0, J0 (x) = 2 sen x n = 1, J1 (x) = 4 sen x 4x cos x

Para

Agora, suponha, por hiptese de induo que

Jn2 = (n 2)! (Pn2 sen + Qn2 cos ) Jn1 = (n 1)! (Pn1 sen + Qn1 cos ) ,
onde de

Pn1 , Qn1 , Pn2 , Qn2 so polinmios com coecientes inteiros e os graus Pn1 e Qn1 so menores que 2(n 1) e os de Pn2 e Qn2 so menores que 2(n 2). Da equao (2.3) e da hiptese de induo, conclumos que: In (x) = 2n(2n 1)(n 1)! (Pn1 sen + Qn1 cos ) 4n(n 1)x2 (n 2)! (Pn2 sen + Qn2 cos ) .
Assim, observe que, agrupando as expresses de maneira conveniente, chegaremos demonstrao do Lema acima enunciado. De fato,

Jn (x) = n! (4n 2) Pn1 4x2 Pn2 sen + (4n 2) Qn1 4x2 Qn2 cos ,
onde

Pn (x) = (4n 2)Pn1 4x2 Pn2 Qn (x) = (4n 2)Qn1 4x2 Qn2
Portanto,

Jn (x) = n! [Pn (x) sen x + Qn (x) cos x]

e a prova est nalizada.

Teorema 2.4.1 2

irracional.

Prova:
Jn
Logo,

Fazendo

x =

a e b nmeros naturais primos entre si. Do Lema 2.4.2

e supondo que

racional, temos que

a = , 2 b

sendo

2n+1

In

= n ! Pn

sen + Qn cos 2 2 2 2

a2n+1 In 2 n +1 b 2
Note que

= n!Pn

ento

a2n+1 In n! 2

= Pn

2n+1 b . 2

(2.4)

Pn (x) = a0 + a1 x + a2 x2 + a2n x2n ,

28

com

ai Z.

2.4.

PROVA DE CARTWRIGHT

Assim,

b2n+1 Pn
e, portanto,

= b2n+1 Pn

a a a2 n = b2n+1 a0 + a1 . + + a2n 2n b b b b2n+1 Pn 2 Z. M >0

tal que

Por outro lado, se

f : [a, b] R
Mais ainda,

contnua, ento existe

|f (x)|

para todo

x [a, b].

b a

f (t)dt M (b a) .
n

Em nosso caso,

In =
1

1 t2

cos(tx)dt.

Se

1 t 1,

ento

0 t2 1.

Assim temos que

0 1 t2 1.Logo,

podemos concluir que

n

| 1 t2
Tambm sabemos que

| 1.

| cos(tx)| 1 para todo t R. Portanto, 1 n 2 1 t cos(xt)dt 1. (1 (1)) ,

1

donde

0 < In < 2.
Alm disso,

grande, de modo que

a2n+1 = 0. n n! lim

Dessa forma, possvel tomar n, sucientemente

a2n+1 In n! 2

< 1,

o que equivale a dizer que poderamos encontrar algum inteiro entre 0 e 1 , absurdo. 2 Logo, irracional. Portanto, pelo Corolrio 2.3.1, segue que tambm irracional.

29

2.5.

A PROVA DE LAMBERT

2.5 A prova de Lambert

Johann Heinrich Lambert (1728-1777) foi um matemtico de origem francesa, radicado na Alemanha. Lambert obteve a primeira prova da irracionalidade de

no nal do sculo XVIII, usando fraes contnuas. Porm, seus clculo so bastante longos, tornando a prova muito tcnica. Mostraremos, a seguir, uma verso mais simplicada dessa demonstrao. Para cada

k R\ {0, 1, 2, 3, . . .},

consideremos a funo

x4 x6 x2 + + fk (x) = 1 k k (k + 1)2! k (k + 1)(k + 2)3!

denida para todo em

x R.

O seguinte Lema provar que

fk (x)

est bem denida

Lema 2.5.1 fk (x) convergente.

Prova:

A demonstrao consiste na aplicao direta do teste da razo para sries

innitas. Observe que

fk (x) = 1 +
n=1

(1)n x2n n1 n! j =0 (k + j )

Agora, considere

an =
assim

(1)n x2n 1 n! n j =0 (k + j )

(1)n+1 x2n+2 a (n+1)! n (k+j ) 1 n+1 j =0 lim =0 = lim = x2 lim n x2n ( 1) n n n |(n + 1)(k + n)| an n1
n!
j =0

(k+j )

Portanto, pelo teste da razo, convergente.

n=1

an

convergente e, consequentemente,

fk (x)

30

2.5.

A PROVA DE LAMBERT

Lema 2.5.2
e

So vlidas as seguintes igualdades

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

f 3 (x) =
2

sen(2x) 2x

Prova:

Usando sries de potncias, temos

cos x =
n=0

(1)n x2n (2n)!

(2.5)

sen x =
n=0

(1)n x2n+1 (2n + 1)!

(2.6)

Agora, observe a expresso

k (k + 1) . . . (k + n 1).n!
Para

k=

1 , 2

obtemos

1 3 5 1 n 2 2 2 2
e, para

n! =

(2n)! 1.2.3 . . . (2n 1) 2n n! = n n 2 .2.4.6 . . . 2n 4

k=

3 , 2 n! = 2.3.4 . . . 2n (2n + 1) (2n + 1)! n! = n 2 .2.4.6 . . . 2n 4n

1 3 5 7 n + 2 2 2 2
Ento,

f 1 (x) = 1 +
2

n=1

(1)n .4n .x2n = (2n)!

n=0

(1n )(2x)2n = cos(2x). (2n)!

Analogamente, obtemos

f 3 (x) = 1 +
2

(1)n .x2n
(2n+1)! 4n

=1+
n=1

n=1

(1)n (2x)2n (2n + 1)!

Multiplicando e dividindo por

2x,

obtemos: para todo

1 f 3 ( x) = 1 + 2 2x

n=1

(1)n (2x)2n sen(2x) = , (2n + 1)! 2x

x R.

31

2.5.

A PROVA DE LAMBERT

Lema 2.5.3

Para cada

k R\ {0, 1, 2, 3, . . .},

temos as seguintes igualdades:

x2 fk+2 (x) = fk+1 (x) fk (x) k (k + 1)

Prova:
x
2n

Vamos expandir as expresses (2.5) e (2.6) e comparar os coecientes de

f k ( x) = 1

x4 x6 x2 + + + k k (k + 1)2! k (k + 1)(k + 2)3!

(I )

(1)n x2n + n!k (k + 1)(k + 2) . . . (k + n 1)

(2.8)

fk+1 (x) = 1

x2 x4 x6 + + + k + 1 (k + 1)(k + 2)2! (k + 1)(k + 2)(k + 3)3!

(II )

(1)n x2n + n!(k + 1)(k + 2) . . . (k + n)

fk+2 (x) = 1

x4 x6 x2 + + k + 2 (k + 2)(k + 3)2! (k + 2)(k + 3)(k + 4)3! (1)n x2n + + n!(k + 2)(k + 3) . . . (k + n + 1)

temos

Fazendo

(II ) (I ),

(1)n x2n (1)n x2n = n!(k + 1)(k + 2) . . . (k + n) n!k (k + 1)(k + 2) . . . (k + n 1) (1)n x2n 1 1 = n! (k + 1)(k + 2) . . . (k + n) n!k (k + 1) . . . (k + n 1) (1)n x2n n!k (k + 1)(k + 2) . . . (k + n 1) k 1 k+n
32

(1)n1 x2n (n 1)!k (k + 1)(k + 2) . . . (k + n)

2.5.

A PROVA DE LAMBERT

importante observar que, na expresso

x2 fk+2 (x),o k (k + 1)

termo em

x2n

no o

que se encontra na n-sima posio, mas sim, o seu antecessor, o que nos leva a encontrar a seguinte expresso:

(1)n1 x2n , (n 1)!k (k + 1)(k + 2) . . . (k + n)

o que mostra a veracidade do nosso lema.

Lema 2.5.4 rlim fr (x) = 1

Prova:

Do Lema 2.3.3, imediato que

modo que

2n x n! k r > 1,

x2n = 0. n n! lim

Ento, existe

k > 0

de

para todo

n.

Portanto, se

segue que

|fr (x) 1|
n=1

1 k k =k = . n n r r r 1 n=1

Assim,

k 1 +r k + r 1 fr (x) r1 r1

e pelo Teorema do Confronto, temos que

lim fr (x) = 1.

Teorema 2.5.1
para todo

Se

x=0

x2

racional, ento

f k ( x) = 0

k Q, k = 0, 1, 2, . . . f k ( x) = 0
ou

fk+1 (x) fk (x)

irracional

Prova:

Suponha que para algum k,

fk+1 (x) f k ( x)

racional.

Ento,

possvel mostrar que

fk (x)

dade, que denotaremos por

fk (x) = 0

x=

b . a

fk+1 (x) so mltiplos inteiros de um mesma quantiy . De fato, seja k Q, k = 0, 1, 2, . . .,de modo que

Assim, pelo Lema 2.5.3,

fk+1 (x) =

x2 fk+2 (x) =b k (k + 1) ak (k + 1)
33

2.5.

A PROVA DE LAMBERT

Fazendo

y=

fk+2 (x) ak (k + 1) f k ( x) = 0 y

temos

fk+1 (x) = by.

Alm disso,

(2.9)

Por outro lado, se

fk+1 (x) fk (x)

racional, ento

fk+1 (x) b = , fk (x) a

ou seja,

y=
Assim, podemos concluir que

fk+1 (x) fk (x) = b a

fk+1 (x) = by
como tnhamos armado. Note que

fk (x) = ay,

no pode valer zero, pois assim, teramos

fk+n (x) = 0,

contrariando o Lema 2.5.4.

bq kq q , 2 , 2 tambm sejam k + x x inteiros. Primeiro, observe que possvel obter algum q Z sob essas condies, b.n m a a.m b 2 e k = , queremos que q ,q sejam ,q lembrando que x = a n m b.n b inteiros. Portanto, basta tomar q = b.m.n.
Agora, considere

um inteiro positivo de modo que

Seja

G0 = fk (x)
Observe que

Gn =

qn fk+n (x) n Z+ k (k + 1) . . . (k + n 1) y,
e do Lema 2.5.3, conclumos que

G0 = ay , G1 = Gn+2 =

bq k

kq q + 2 n Gn+1 2 x x y
para todo

q2 x2

Gn

para todo

n Z+

(2.10)

J mostramos que os coecientes da expresso (2.10) so inteiros. Assim, podemos armar que

Gn

mltiplo de

n.

Do Lema 2.3.3, temos que

fk+n (x) 1,

alm disso, pelo Lema 2.5.4, sabemos que

qn 0, k (k + 1) . . . (k + n 1)
ento

Gn 0.

Mas, armar que

fk+n (x) 1

implica que

Gn

positiva para n su-

cientemente grande. Porm, mltiplos inteiros de Portanto,

no podem convergir para zero.

fk (x) = 0 e

fk+1 (x) / Q. fk (x)

34

2.5.

A PROVA DE LAMBERT

Corolrio 2.5.1 2

irracional

Prova:

f1

= cos

= 0.

Portanto,

tambm irracional.

Corolrio 2.5.2

Se

Prova: Sabendo que

tg x x = 0 racional, ento irracional. x x 2 um nmero racional e diferente de 2 f

3 2

zero, ento

f
1 2

x 2 x 2

tg x . x

Assim,

tg x tambm irracional.

35

Captulo 3 Transcendncia de
No captulo anterior, vimos que

irracional, ou seja, no pode ser escrito como

quociente de dois inteiros. Alm disso, veremos a seguir que polinmio no nulo com coecientes racionais, isto ,

no raiz de nenhum

transcendente.

3.1 Nmeros algbricos

Um nmero complexo

um

nmero algbrico se existe um polinmio no

tal que

nulo com coecientes racionais

P (x) = an xn + an1 xn1 + + a1 x + a0

p( ) = 0

Exemplos:

claro que todo nmero racional algbrico, pois

soluo da equao

x r = 0.

Mas nem todo algbrico racional, por exemplo, 2 pois soluo da equao x 2 = 0,mas 2 no racional.

algbrico,

O nmero de ouro

1+ 5 2

algbrico, pois soluo da equao

x2 x 1 = 0 .

sen 10o
trica:

algbrico. De fato, basta utilizar a seguinte identidade trigonom-

sen(3) = 3 sen() 4 sen3 ().

Ento, se zermos clumos que

= 10o ,

obtemos

4 sen3 (10o ) 3 sen(10o ) + 8x3 6x + 1 = 0.

sen 10o

1 = 0. 2

Assim, con-

soluo da equao

1 A proporo urea, nmero de ouro, nmero ureo ou proporo de ouro uma constante
real algbrica irracional denotada pela letra grega decimais de 1,618. (PHI), em homenagem ao escultor (Fdias), que a teria utilizado para conceber o Parthenon, e com o valor arredondado a trs casas

Phideas

36

3.1.

NMEROS ALGBRICOS

sen 18o

algbrico. Com efeito, fazendo

= 18o

temos que

4 = 72o .

Logo,

sen = cos4.
Assim,

sen = 2 cos2 (2) 1,

donde

sen = 1 8 sen2 + 4 sen4 .

Portanto,

sen 18o

soluo de

8x4 8x2 x + 1 = 0.

Teorema 3.1.1

O conjunto dos nmeros algbricos enumervel. um polinmio de coecientes inteiros da forma

Prova:

Seja

P (x)

P (x) = an xn + + a1 x + a0 .
A altura de

(3.1)

P (x)

um nmero natural dado por

|P | = |an | + + |a1 | + |a0 | + n

O Teorema Fundamental da lgebra nos garante que

P (x) = 0 tem exatamente n ra-

zes complexas. Todas, algumas ou nenhuma delas podem ser reais. Agora o nmero de polinmios do tipo (3.1) com uma dada altura apenas um nmero nito. (Observemos que para essa armao que inclumos a parcela nito.

na denio de altura).

Portanto, as razes de todos os polinmios de uma dada altura formam um conjunto

Corolrio 3.1.1

Existem nmeros transcendentes. no enumervel e

Prova:
rvel.

Como

R C,

ento

um conjunto no enu-

mervel. Desde que o conjunto dos nmeros algbricos enumervel, conclumos que o conjunto dos nmeros transcendentes no vazio. Em particular, no enume-

Observaes:
i. ii. iii.

O conjunto dos nmeros algbricos um subcorpo de

C,

ou seja,

satisfaz as seguintes propriedades: A soma de dois algbricos algbrico. O produto de dois algbricos algbrico. O simtrico

de um nmero algbrico

algbrico.

37

3.2.

A QUADRATURA DO CRCULO

iv.

O inverso

de um nmero algbrico

=0

algbrico.

A demonstrao dessas armaes podem ser encontradas no livro [3]. Como consequncia da observao, podemos mostrar que cos 36 algbrico. o 2 o o Com efeito, observemos que cos 36 = 1 2 sen 18 . Como sen 18 algbrico e o conjunto dos nmeros algbricos um corpo, conclumos que

cos 36o

algbrico.

3.2 A Quadratura do Crculo

Os gregos sabiam construir um quadrado cuja a rea fosse igual de um polgono qualquer dado. Por exemplo, se quisermos construir um quadrado cuja a rea seja igual de um paralelogramo em que a base construir um quadrado de lado sejam conhecidas. Basta 2 que satisfaa equao x = b.h. Observado a

e a altura

gura seguinte, temos uma ideia bastante simples para descobrir a medida de x.

O procedimento consiste em desenharmos uma circunferncia de dimetro D. Assim, temos o comprimento de x.

b + h.

Por

B, traamos uma perpendicular ao dimetro que intersecta o semicrculo no ponto Os gregos tambm sabiam construir um quadrado cuja rea fosse igual de um polgono qualquer. Mas no obtiveram xito ao tentar construir um quadrado cuja rea fosse igual de um crculo de raio 1. Usando raciocnio anlogo aos das reas 2 dos quadrilteros e baseados na gura abaixo, obtiveram a equao x = . Desse forma, era possvel construir medidas desejadas utilizando apenas rgua e compasso.

38

3.3.

TEOREMA DE LINDEMANN - WEIERSTRASS

Porm, para eles, surge um grande problema:

Como encontrar a medida de

Atualmente, utilizando alguns resultados de lgebra, possvel mostrar que apenas nmeros algbricos podem ser construdos atravs dessa tcnica. Lindemann-Weierstrass garante que O teorema de

transcendente e, por isso, no pode ser

encontrado atravs da quadratura do crculo.

3.3 Teorema de Lindemann - Weierstrass

O teorema de Lindemann - Weierstrass um resultado muito til para estabelecer a transcedncia de nmeros complexos. Ele arma que se

1 , 2 , . . . , n

so nmeros

algbricos linearmente independentes sobre o corpo dos nmeros racionais Q (visto C como um Q-espao vetorial) ento e1 , e2 , . . . , en tem grau de transcendncia n sobre

Q.

O teorema chamado assim por Ferdinand Von Lindemann e Karl Weierstrass. Lindemann provou em 1882 que e transcendente para todo nmero algbrico

= 0. e1 = e

Por outro lado, Weierstrass mostrou o resultado geral mais tarde em 1885.

Em particular, como 1 algbrico e linearmente independente sobre transcendente. Por outro lado, suponhamos que

Q,

ento

Ento i tambm seria i algbrico sobre Q. Pelo teorema de Lindemann- Weierstrass, e seria transcendente i sobre Q, mas e = 1, o que uma contradio. Este argumento prova o seguinte algbrico sobre

Q.

teorema:

Teorema 3.3.1

O nmero

transcendente.

39

Captulo 4 Cronologia e curiosidades sobre

Neste captulo, exibiremos um pouco da histria do nmero

desde as noes

intuitivas usadas em civilizaes antigas, at a atualidade, em que se utilizam algoritmos sosticados associados a super-computadores para determinar de casas decimais. Tambm sero comentadas algumas curiosidades e problemas, que at hoje, envolvem

com trilhes

e ainda esto em aberto.

4.1 O perodo geomtrico

Durante muito tempo, civilizaes utilizaram apenas o conhecimento geomtrico para obter aproximaes referentes a Por volta de

mesma poca, os egpcios usavam que um crculo de dimetro 9, tinha a mesma rea que um quadrado de lado 8. Para eles os hebreus usavam

1 2000 a.C., os babilnios usavam 3 = 3.125 como aproximao. 8 256 = 3, 1604. 81

Na

No Antigo Testamento,

3,

como podemos destacar na seguinte passagem bblica:

"Hiro fez tambm o mar de bronze que tinha dez cvados de uma barda outra, perfeitamente redondo, e de altura 5 cvados; sua circunferncia media-se com um o de trinta cvados"(I Reis 7:23) Arquimedes (287 a.C - 212 a.C.), um do maiores matemticos da antiguidade, dedicou parte de seu tempo ao clculo de aproximaes para o valor de

Arquimedes

inscreveu e circunscreveu hexgonos em uma mesma circunferncia, tentando se aproximar de seu comprimento por falta e por excesso. Com esse raciocnio, foi obtido que o permetro de um polgono com 96 lados, inscrito em uma circunferncia de raio

1,

6,28206. Isto corresponde seguinte aproximao:

3, 14103.

Esse

resultado foi obtido por vola de 250 anos antes de Cristo.

40

4.1.

O PERODO GEOMTRICO

Durante, aproximadamente, 1800 anos, a ideia de Arquimedes foi utilizada por outros matemticos em busca de melhores aproximaes para Na China, por volta do sculo V, Chung-Chih calculou corretas. Aps mil anos, Al-Kashi utilizou um polgono de

.
com 7 casas decimais

3.228 lados (cerca de 800 milhes de lados) e encontrou 14 casas decimais corretas para . Em 1609, Ludolph van Ceulen obteve 35 casas decimais de . O clculo envolveu 62 18 um polgono com 2 lados, algo superior a 16 10 lados. O que levou considervel parte de sua vida para ser concludo. Em virtude desse trabalho, na Alemanha,
tambm conhecido como o nmero de Ludolph. Em seu tmulo, est registrada a aproximao obtida por ele.

A tabela a seguir, exibe algumas aproximaes encontradas durante o perodo geomtrico. Nome Egpcios Babilnios Hebreus Arquimedes Ptolomeu Liu Hui Tsu Chung Chi Al-Kashi Romanus Van Ceulen Ano 2000 A.C. 2000 A.C. 550 A.C. 250 A. C. 150 263 480 1429 1593 1615 Casas decimais 1 1 0 3 3 5 7 14 15 35

41

4.1.

O PERODO GEOMTRICO

4.1.1 Polgonos inscritos com n e 2n lados

Como foi visto no Captulo 1, podemos pensar no comprimento da circunferncia como sendo uma situao limite do permetro de um polgono regular de n lados inscrito na circunferncia. Considerando n o maior valor possvel, obtem-se melhores aproximaes.

Na gura acima, consideramos uma circunferncia de raio r = 1 com como sendo o lado de um polgono regular de n lados e

= BC

2n

= AB

como o lado do

polgono regular de 2n lados, ambos inscritos na circunferncia. Usando o Teorema de Pitgoras nos tringulos retngulos ABD e BDO, temos:

2n )

=a +

2
2 n

(4.1)

1=
Da equao (4.2), obtemos

+b =

+ (1 a)2

(4.2)

a=1
que substituindo em (4.1), nos fornece

2n

4 ( n )2
8

(4.3)

Sabemos que

2.

Substituindo na equao 4.3, obtemos:

2.

Usando repetidas vezes na equao (4.3), decorrem os seguintes resultados:

16

2
42

2+

4.2.

O PERODO CLSSICO

32

2+

2+

2 2 Pn
do polgono regular

64

2+

2+

2+

A partir das aproximaes de valores desses permetros:

n , possvel obter o permetro

de n lados, inscrito na circunferncia de raio

r = 1.

A tabela seguir mostra alguns

n
4 8 16 32 64 128 256

Pn
5,6568542494 6,1229349178 6,2428903045 6,2730969810 6,2806623139 6,2825545018 6,2830276022

n
512 1024 2048 4096 8192 16384 32768

Pn
6,2831458807 6,2831754505 6,2831828430 6,2831846911 6,2831851531 6,2831852686 6,2831852975

4.2 O Perodo Clssico

Com a inveno do Clculo Diferencial e Integral, ocorre uma mudana considervel na concepes matemticas. Consequentemente, surgem novas abordagens ao se tentar cacular o valor de

. .
Nessa poca, tambm

Esse foi o perodo das sries relacionadas ao valor de foi provada sua irracionalidade e transcendncia.

Em seguida, apresentamos a prova de algumas sries que envolvem o valor de

4.2.1 Srie de Leibniz

(1)n1
n=1

1 = 2n 1 4
de potncias, imediato

Prova:
que

Sabe-se que

d 1 arctg x = . Usando sries dx 1 + x2 1 = 1 x2 + x4 x6 + 1 + x2

43

4.2.

O PERODO CLSSICO

Integrando ambos os lados da equao:

1 dx = 1 + x2

(1 x2 + x4 x6 + )dx
1

arctg x = x
Fazendo

x3 x5 x7 + + 3 5 7

x = 1,

ento

arctg(1) =

4.2.2 Srie de Euler

n=1

1 2 = n2 6

Prova:

Da expanso binomial

(a + x)n = a0 + a1 x + a2 x2 + + xn .
Analogamente,uma funo maneira

f (x),

com vrias razes, pode ser escrita da seguinte

f (x) = a0 + a1 x + a2 x2 + + xn
Decompondo

f (x),

obtemos

f (x) = (x r1 )(x r2 )(x r3 ) . . . (x rn )

Onde

(4.4)

r1 , r2 , r3 , . . . , rn

so as razes da equao.

Dividindo a equao (4.4) por

r1 r2 r3 . . . rn , 1 x r2

temos

f (x) =
mas

x r1

x r3

x rn

(4.5)

sen x x2 x 4 x6 =1 + + x 3! 5! 7! x2 r1 x2 r2 x2 r3

Da equao (4.5), podemos concluir que:

sen x = x
Portanto,

x2 x4 x6 + + = 3! 5! 7!

1
44

x2 r1

x2 r2

x2 r3

4.2.

O PERODO CLSSICO

Igualando os termos de correspondentes, obtemos os coecientes de

x2 :

Sabemos que

1 = 3!

1 1 + + r1 r2

sen x = 0

para

x = , 2, 3, . . .

Ento, para Portanto,

2 1 (2 )2 sen x = 0, 1 = 0, = 0 . . .. x r1 r2 r1 = 2 r2 = (2 )2 r3 = (3 )2 . . . Assim, conclumos 2 1 1 1 = 2 + 2 + 2 + 6 1 2 3

que

Em decorrncia dessa srie, Euler obteve mais uma coleo de frmulas com estrutura parecida anterior.

4.2.3 Srie de Machin

1 1 = 4 arctg arctg 4 5 239

Prova:

Seja

x = arctg

1 . 5

Ento

tg(2x) = 1
Logo,

2 5 2 5
2

5 . 12

10 12 tg(4x) = 5 1 12

120 . 119

Assim, obtemos

tg 4x 4
ou seja,

120 1 1 = 119 = , 120 239 1+ 119 1 239 .

4x

= arctg 4
45

4.2.

O PERODO CLSSICO

Portanto,

1 1 = 4 arctg arctg 4 5 239

foi calculado com 100 casas decimais. Outra demonstrao

Usando essa frmula,

da frmula de Machin pode ser feita usando-se propriedades do argumento principal de um nmero complexo.

4.2.4 Outras Frmulas envolvendo

O vienense Johan Z. Dase, considerado um computador humano, fazia clculos mentais como

79532853 93758479

em 54 segundos. Ele multiplicava dois nmeros

de 20 algarismos em 6 minutos e dois de 100 algarismos em menos 8 h 45 min. Em 1844, utilizando a frmula

1 1 1 = arctg + arctg + arctg , 4 2 5 8

J.Z. Dase calculou, mentalmente, o valor de

com impressionantes 200 casas deci-

mais corretas. Dase era to hbil em clculos mentais, que, em virtude disso, Gauss planejava t-lo como assistente. Mas ele morreu logo depois. Inmeras frmulas envolvendo Algumas delas aparecem a seguir:

e sries innitas ou combinaes de arcos-

tangentes, semelhantes s anteriores, foram obtidas usando raciocnios parecidos.

2 2 = 2

2+ 2

2+ 2

2+

...

2.2 4.4 6.6 8.8 = ... 2 1.3 3.5 5.7 7.9 2 1 1 1 = 2 + 2 + 2 + 8 3 5 7 2 1 1 1 = 2 + 2 + 2 + 24 2 4 6 2 1 1 1 1 = 2 2 + 2 2 + 12 1 2 3 4 1 1 2 1 = 2 + 2 + 2 + 6 1 2 3

A tabela a seguir, traz algumas aproximaes obtidas, por alguns matemticos, no perodo clssico.

46

4.3.

O PERODO MODERNO

NOME Sharp & Halley Machin Strassnitzky & Dase Rutherford Shanks Ferguson Reitwiesner & outros (ENIAC) Genuys Shanks & Wrench Guilloud & Bouyer

ANO 1699 1706 1844 1853 1874 1947 1949 1958 1961 1973

DGITOS 71 100 200 440 527 808 2.037 10.000 100.265 1.001.250

4.3 O perodo moderno

Esse perodo marcado pelo advento dos computadores. Sua associao a frmulas de rpida convergncia, permitiu obter gigantescas aproximaes. Atualmente, h registros da ordem de trilhes de casas decimais para frmulas envolvendo

Em 1914, o matemtico Srinivasa Ranamujam (1887-1920) descobriu algumas

Abaixo temos uma delas. Encontrada em 1914 por Rana-

mujam, certamente, a mais surpreendente de todas

1 8 = 9801
decimais corretas para

n=0

(4n)! [1103 + 26390n] . (n!)4 3964n

Essa frmula converge de modo que a cada parcela somada, tem-se 8 novas casas

Em 1985, utilizando essa expresso, Gosper obteve 17

milhes de casas decimais . Por volta de 1988, os irmos David e Gregory Chudnovsky descobriram uma srie, do mesmo tipo da de Ramanujan:

(1)n (6n)! 13591409 + 545140134n 1 = 12 3 (3n)!(n!)3 6403203n+ 2 n=0

A cada termo somado, temos em mdia, 14 novas casas decimais corretas. Em 1994, essa frmula permitiu escrever

com mais de 4 bilhes de dgitos.

Outras frmulas dessa famlia foram descobertas na dcada de 90, incluindo uma que acrescenta 50 algarismos corretos a cada termo somado. Em 1995, Bailey, Borwein e Ploue descobriram uma nova famlia de frmulas chamadas sries BBP, cujas convergncias so bastante rpidas:

=
n=0

2 2 1 + + 4n + 1 4n + 2 4n + 3
47

(1)n 4n

4.3.

O PERODO MODERNO

=
n=0

4 2 1 1 8n + 1 8n + 4 8n + 5 8n + 6

1 16n

(4.6)

=
n=0

1 256 64 4 4 1 32 + + 4n + 1 4n + 3 10n + 1 10n 3 10n + 5 10n + 7 10n + 9 n=1

fornece o valor

(1)n 1024n

Para termos melhor ideia, a srie (4.6), para

3, 1333...,

para

n=2

obtm

3, 141422466...,e

,para

n=5

possvel, com um computar de casa e

um assistente matemtico, obter milhes de casa decimais corretas em menos de um segundo. A tabela, a seguir, mostra algumas aproximaes obtidas no perodo moderno, inclusive a mais atual que informa cerca de 10 trilhes de casa decimais. NOME Miyoshi - Kanada Kanada - Yoshino - Tamura Gosper Bailey Kanada - Tamura Kanada - Tamura Chudnovskys Kanada - Tamura Kanada - Tamura Chudnovskys Chudnovskys Kanada - Takahashi Kanada - Takahashi Kanada - Takahashi Kanada - Ushiro - Kuroda Daisuke Takahashi Fabrice Bellard Shigeru Kondo - Alexander Yee Shigeru Kondo - Alexander Yee ANO 1981 1982 1985 Jan/1986 Out/1986 Jan/1988 Mai/1989 Jul/1989 Nov/1989 Ago/1991 Mai/1994 Out/1995 Jul/1997 Set/1999 Dez/2002 2009 2010 Ago/2010 2011 DGITOS 2.000.036 16.777.206 17.526.200 29.360.111 67.108.839 201.326.551 480.000.000 536.870.898 1.073.741.799 2.260.000.000 4.044.000.000 6.442.450.938 51.539.600.000 206.158.430.000 1.241.100.000.000 2.576.980.370.000 2.699.999.990.000 5.000.000.000.000 10.000.000.000.00

Tais aproximaes no possuem valor prtico em problemas envolvendo

Ape-

nas 40 casas decimais seriam sucientes para determinar o permetro de uma circunferncia capaz de envolver todo o universo conhecido, com um erro inferior a um tomo de Hidrognio. Antes da Segunda Guerra, os motivos pelos quais algum se interessava por aproximaes gigantescas do valor de

se resumiam apenas ao desejo de resolver

desaos, e, eventualmente, escrever seu nome na histria da matemtica.

48

4.4.

APROXIMAES DE

USANDO PROBABILIDADE GEOMTRICA

Atualmente, alm da questo de status, o clculo de

testa a velocidade dos

novos computadores. Uma excelente maneira de anunciar a potncia de uma nova mquina, divulgando que a mesma possibilitou a quebra do recorde de casas decimais para

Mais espantoso que o progresso dos super-computadores, o surgimento dos algoritmos que permitem esses clculos. A armao do matemtico Neal Carothers traduz muito bem esse progresso: "O clculo dos 100 265 primeiros dgitos do PI, em 1961, precisou de aproximadamente 105 000 operaes aritmticas, enquanto que o algoritmo inventado pelos irmos Borwein em 1984 precisou de apenas 112 operaes aritmticas para obter os mesmos dgitos. Com meras 8 iteraes desse algoritmo ( o que envolveu 56 operaes aritmticas ) eles obtiveram em poucos segundos a aproximao que consumiu 15 anos da vida de Wm. Shanks".

4.4 Aproximaes de usando probabilidade geomtrica

Nesse captulo, analisamos as ideias que alguns matemticos, ao longo dos sculos, empregaram para determinar aproximaes ou sries que convergem para o valor de

Tcnicas geomtricas, aritmticas, ferramentas de clculo diferencial

e utilizao de super-computadores. Em todos os casos, trabalhamos com eventos determinsticos. Porm, surpreendentemente, tambm possvel fazer boas aproximaes par o valor de

utilizando apenas conhecimentos de probabilidade, que

exatamente o que ser comentado nessa seo.

4.4.1 Agulhas de Buon

Em 1777, o francs, Georges Louis Leclerc, o Conde de Buon props o seguinte problema: umas das outras, por uma distncia constante denotada por plano uma agulha de comprimento

(1707 1788)

Em um plano, traamos retas paralelas, separadas,

d.

Lanamos sobre o

em que

l d.

Calcular a probabilidade que a

agulha toque algumas das retas. Sabe-se que a probabilidade de ocorrer o toque

P =
Em particular, se

2 l . . d

d = l,

a probabilidade ser

P =
49

2 .

4.4.

APROXIMAES DE

USANDO PROBABILIDADE GEOMTRICA

Consequentemente, possvel obter resultados para seja, se zermos que

experimentalmente. Ou

a lanamentos e, em b ocasies, a agulha toca uma das retas, temos

b 2 = . a

Ento, teremos a seguinte aproximao:

2a b

Alguns matemticos armaram ter realizado vrios lanamentos e baseados nas informaes de cada um, temos algumas aproximaes: Experimentador Wolf Smith Fox Lazzarini Ano 1850 1855 1884 1901 Nmero de lanamentos 5000 3204 1120 3408 Valor aproximado de 3,1596 3,1553 3,1419 3,1415929

Todos os experimentadores obtiveram bons resultados. Porm o que obteve resultado mais surpreendente foi Mario Lazzarini. estimativa de

mentos de 213 agulhas de cada vez e realizou o experimento 16 vezes para obter o valor estimado. Por isso, o valor de 3048 agulhas. Mesmo tendo sido tendencioso ao aplicar o experimento repetidas vezes, Lazzarini obteve um resultado bastante expressivo, haja visto que para obter um erro da ordem de cerca de 3,6 milhes de anos.

355 113

Com 3408 arremessos, obteve a Lazzarini realizou lana-

com um erro da ordem de

0, 0000003.

0, 0000002,

usando as

agulhas de Buon, seria necessrio, atirar uma agulha a cada 5 segundos, durante

50

4.5.

CURIOSIDADES

4.4.2 Mtodo de Monte Carlo

Uma tcnica probabilstica ainda mais eciente o mtodo de Monte Carlo, que consiste em: traamos uma circunferncia inscrita em um quadrado de lado metros, obtendo um espcie de alvo, como na gura abaixo.

Dessa maneira, temos um crculo de rea

m2

e um quadrado de rea

4m2 .

Portanto se lanarmos vrios dardos em nosso suposto alvo, supondo que todos iro, pelo menos, dentro do quadrado, a tendncia que a razo entre a quantidade de dardos arremessados dentro do crculo e o total se aproxime do valor

O mtodo de Monte Carlo, em concomitncia com o uso de computadores, bastante utilizado para estimar reas de guras irregulares.

. 4

4.5 Curiosidades
Alm dos expressivos resultados conhecidos acerca do nmero curiosidades bastante peculiares inerentes a essa constante. Provavelmente o uso do smbolo tenha sido inspirado na primeira letra da palavra

h algumas

(periferia).

A sequncia

123456789

aparece pela primeira vez no

523551502o

dgito.

A soma dos primeiros

144

dgitos de

666, e sabemos que

144

igual a

(6 + 6) (6 + 6).
A sinuosidade de um rio descrita pelo comprimento de sua curva dividido pela distncia deste ponto at o oceano em linha reta. O resultado que, em mdia, os rios tm uma sinuosidade de aproximadamente 3,14.

4.5.1 Mnemnicos
Algumas frases nos sugerem o valor de so:

so as mnemnicas. Algumas delas

Sou o medo e pavor constante do menino vadio

(3, 14159265); (3, 14159265358);

Ama a Deus e segue elmente as lies dadas por Jesus Nazareno

51

4.5.

CURIOSIDADES

Cai a neve e novas ferrovias de marm sero por casas trocadas

(3, 14159265358).

4.5.2 Diferena nma

Espantosamente, alguns clculos quase impossveis de efetuar mentalmente so muito prximos de nmeros inteiros.

e = 19, 999099979... 20 cos (ln ( + 20)) = 0, 999999999243 . . . 1 e6 5 4 = 0, 000017673 . . . 0 e

163

= 262537412640768743, 99999999999925007 . . .
n=1

2 0

cos (2x)

x dx , n 8 42a
casa decimal.

em que os membros da ltima aproximao diferem apenas aps a

4.5.3 Quem maior:

Prova: Suponha que

ou e?
Assim, obtemos

e > e .

ln e > ln e ,
ou seja,

ln ln e > e
Para avaliar a desigualdade (4.7) consideremos a funo

(4.7)

f ( x) =

ln x x

com

x>0 f (x),
segue que

e analisemos seus intervalos de crescimento. Derivando

f (x) =
Observe que para valores menores que concluir que

1 ln x x2
Logo, de imediato, podemos

e, f (x) > 0.

f ( ) < f (e)
portanto,

ln ln e < e
O que contradiz 4.7.

52

4.5.

CURIOSIDADES

4.5.4 Questes em aberto

Apesar de ter sido analisado por grandes matemticos, ao longo dos anos, ainda possvel listar alguns problemas, envolvendo No sabemos se

que esto em aberto.

um nmero normal, ou seja, se qualquer sucesso de alga-

rismos aparece nas casas decimais de

Mais ainda, se isso seria verdadeiro em

qualquer base, no apenas na base dez. No ano 2000, foi provada a normalidade de

na base 2. Tambm no se sabe que algarismos aparecem um nmero innito de vezes na

constituio de

. e
e

Sem grandes diculdades, podemos comparar esses nmeros so transcendentes ou algbricos.

e,

porm no sabemos se

53

Referncias Bibliogrcas
[1] Adrian, Y. E. O., The Pleasures of Pi, e and Other Interesting Numbers. World Scientic. Cambridge University (2006). [2] Eymard, P., Lafon, J., P., The number (2004). [3] Figuiredo, D. G., Nmeros irracionais e transcendentes. 3 neiro. SBM, (2002), pg. 9-20. [4] Laczkovich, M., On Lambert's Proof of the Irrationality of Association of America, (1997). [5] Miller, S. J., An Invitation to Modern Number Theory Countable, Uncountable, Algebraic and Transcendentals. Princeton University, (2003). [6] Moise, E. E., Elementary Geometry from an Advanced Standpoint. 3 New York. (1990), pg. 320-335. [7] Neri, C., Um curso de Anlise Real. Rio de Janeiro. Universidade Federal do Rio de Janeiro (2006). [8] Niven, I., Numbers: Rational and irrational. New mathematical library. University of Oregon, (1961). [9] Posamentier, A. S., A biography of the world's most misterous number's. Prometheus Books, New York (2004). [10] Rio, R. R., El nmero

. American Mathematical Society. USA

a
edio. Rio de Ja-

Mathematical

edio.

de la Geometra al Clculo Numrico. Madrid. Uni-

versidad Complutense de Madrid, (2006). [11] Spivak, M., Calculus, W. A. Benjamin 1967.

54