Universidade Estadual Paulista Jlio de Mesquita Filho

Instituto de Geocincias e Cincias Exatas

Campus de Rio Claro

"A Irracionalidade e Transcendncia do

Nmero "

Joo Milton de Oliveira

Dissertao apresentada ao Programa de Ps-

Graduao  Mestrado Prossional em Mate-
mtica em Rede Nacional como requisito par-
cial para a obteno do grau de Mestre

Orientadora

Profa. Dra. Elris Cristina Rizziolli

2013
512 Oliveira, Joo Milton de
O48i "A Irracionalidade e Transcendncia do Nmero "/ Joo Milton
de Oliveira- Rio Claro: [s.n.], 2013.
43 f.: il., forms., tabs.

Dissertao (mestrado) - Universidade Estadual Paulista, Insti-

tuto de Geocincias e Cincias Exatas.
Orientadora: Elris Cristina Rizziolli

1. lgebra. 2. Teoria dos Nmeros. 3. Nmeros Algbricos. I.

Ttulo

Ficha Catalogrca elaborada pela STATI - Biblioteca da UNESP

Campus de Rio Claro/SP
 TERMO DE APROVAO

Joo Milton de Oliveira

"A Irracionalidade e Transcendncia do Nmero "

Dissertao aprovada como requisito parcial para a obteno do grau de

Mestre no Curso de Ps-Graduao Mestrado Prossional em Matemtica

em Rede Nacional do Instituto de Geocincias e Cincias Exatas da Uni-

versidade Estadual Paulista Jlio de Mesquita Filho, pela seguinte banca

examinadora:

Profa. Dra. Elris Cristina Rizziolli

Orientadora

Prof. Dr. Aldicio Jos Miranda

Instituto de Cincias Exatas - UNIFAL - MG - ALFENAS/MG

Profa. Dra. Marta Cilene Gadotti

Departamento de Matemtica - IGCE - UNESP/Rio Claro

Rio Claro, 28 de Janeiro de 2013

 minha esposa e meu lho...
Agradecimentos

Primeiramente a Deus que permitiu que tudo isso acontecesse, ao longo de minha

vida.

Agradeo a minha esposa Mrcia e ao meu lho Joo Pedro pelo apoio e compre-

enso da minha ausncia, nos momentos dedicados aos estudos.

Obrigado a todos os meus familiares, que nos momentos de minha ausncia dedi-

cados ao estudo, sempre zeram entender que o futuro feito a partir da dedicao no

presente.

Agradeo Profa. Dra. Elris Cristina Rizziolli, pela orientao e tempo dedicado

a esse projeto.

Agradeo aos professores do Departamento de Matemtica da Unesp de Rio Claro,

em especial Profa. Dra. Suzinei Aparecida Siqueira Marconato por sempre ter uma

palavra de apoio. Agradeo tambm CAPES, pelo apoio nanceiro, importante para

o desenvolvimento desse projeto.

Por m quero agradecer aos meus amigos. Aos que estiveram presentes tanto nos

momentos difceis como nos momentos felizes, em especial aos amigos Gilberto, Maciel

e Amauri, cujo apoio foi fundamental.

A todos citados acima, muito obrigado!

As leis da natureza nada mais so que pensamentos matemticos de Deus.
Kepler.
Resumo

O objetivo desta dissertao fazer uma exposio elementar sobre a irracionali-

dade de certos nmeros reais, a construo de um nmero transcendente, alm disso,

demonstrar a irracionalidade e transcendncia do nmero . Entre outras ferramentas,

utilizamos o Clculo Diferencial e Integral de uma varivel.

Palavras-chave: lgebra, Teoria dos Nmeros, Nmeros Algbricos.

Abstract

The purpose of this dissertation is to present an elementary statement about irrati-

onality of certain real numbers, the construction of a transcendental number, further-

more demonstrate the irrationality and transcendence of the number. Among other

tools, we have made use the Dierential and Integral Calculus of one variable.

Keywords: Algebra, Number Theory, Algebraic Numbers.

Sumrio

1 Sobre Teoria dos Nmeros 11

2 Nmeros Algbricos e Nmeros Transcendentes 16
3 O nmero irracional 27
4 O nmero transcendente. 31
5 Nmeros Irracionais: Uma Abordagem no Ensino Mdio. 38
Referncias 41
6 Apndice 42
Introduo

Como se sabe , o nmero mais famoso da histria universal, o qual recebeu um

nome prprio, um nome grego, pois embora seja um nmero, no pode ser escrito com

um nmero nito de algarismos. O representa a razo entre o permetro de qualquer

crculo e seu dimetro.

O nmero tem uma histria fascinante, que comeou milnios atrs. No velho

"E ele ( Salomo ) fez tambm um

testamento ( Primeiro Livro dos Reis 7 : 23 ) l-se:

lago de dez cbitos, de margem a margem, circular, cinco cbitos de fundo, e trinta
cbitos em redor." Este mesmo verso aparece tambm em (II Crnicas 4 : 2). Esta
passagem ocorre numa lista de especicaes para a construo do grande templo de

Salomo. A circunferncia era, seis vezes o raio, ou trs vezes o dimetro. Isto signica

que os antigos Hebreus se contentavam em atribuir a o valor 3.

Este valor foi muito possivelmente encontrado por medio. O valor 3 foi usado

durante muito tempo por motivos religiosos e culturais em certas civilizaes, como a

dos Egpcios e a dos Babilnios, quando j se conheciam, nessas mesmas civilizaes

determinaes melhores. Os melhores valores Egpcios e Babilnios que se conhecem

so respectivamente 4( 89 )2 = 3, 16 e 3+ 1
8
= 3, 125.
No caso egpcio ignoramos como chegaram ao valor 4( 89 )2 , que se encontra no Pa-

piro de Ahmes ou Rhind, gravado no segundo sculo a.C.. Curiosamente este valor

que se obtm experimentalmente, medindo a circunferncia de latas, pratos e cestas e

dividindo-a pelos dimetros respectivos.

No caso Babilnio o valor 3 + 81 deduz-se de uma das Placas de Susa, nico exemplo

conhecido nessas pocas do que parece ser familiaridade com um processo geral que,

em princpio, permite determinaes to exatas quanto se queira. No sabemos de que

modo os Babilnios chegaram a esta boa aproximao.

Arquimedes de Siracusa ( 287-212 a.C. ), ps mos obra com experimentos novos,

muito mais profundos. Sabia que no era racionalmente determinvel, ou, ao menos,

o suspeitava. Assim sendo, props-se descobrir um processo para a determinao de

, o Mtodo de Arquimedes, com a preciso que se desejasse. Ele usou, processos

geomtricos, que do limites inferiores e superiores para . Arquimedes utilizou alguns

polgonos regulares, com um nmero crescente de lados, at chegar ao polgono de 96

lados, atravs do qual obteve a seguinte aproximao de ,

3, 1410 < < 3, 1428.

8
 9

A poca do Renascimento Europeu trouxe, na altura devida, um novo mundo ma-

temtico. Entre os primeiros efeitos deste renascer est a necessidade de encontrar

uma frmula para o . Descobriu-se ento a denio no geomtrica de e do papel

"no geomtrico"deste valor. Assim se chegou descoberta das representaes de

por sries innitas. Um dos primeiros foi Wallis ( 1616-1703 ) com a frmula,

 
2 2 4 4 6 6
=2 ... .
1 3 3 5 5 7

Uma outra frmula que por vezes atribuda a Leibniz ( 1646-1716), mas que parece

ter sido primeiro descoberta por James Gregory (1638-1675 )

 
1 1 1 1 1
=4 + + ... .
1 3 5 7 9

A srie de Gregory converge lentamente, de tal forma que se pretendermos obter

quatro casas decimais corretas temos que ter cerca de 10000 termos da srie. Esta

frmula mais apropriada para o clculo computacional do que para o clculo humano.

Contudo Gregory tambm demonstrou um resultado mais geral,

x3 x5 x7
arctg(x) = x + + ..., 1 x 1,
3 5 7
ento usando o seguinte fato  
1
arctg =
3 6
conclui-se que,

   
1 1 1 1
= 1 + + ...
6 3 (3 3) (5 3 3) (7 3 3 3)

a qual converge mais rapidamente, pois para se obter quatro casas decimais corretas

necessitamos apenas de nove termos da srie.

Em 1706, John Machin introduziu uma variao da srie de Gregory com um au-

mento signicativo da convergncia. Ele conseguiu calcular o com 100 casas decimais.
A frmula de Machin uma das que ainda hoje usada, pelos programas de compu-

tadores, para calcular os dgitos do . A frmula encontrada por Machin dada por,

   
1 1
= 4 arctg arctg .
4 5 239

Um ingls chamado Shanks, usou a frmula de Machin para calcular at s 707 ca-
sas decimais, das quais s 527 estavam corretas, publicando o resultado do seu trabalho

em 1873.

Em 1949 um computador foi usado para calcular at s 2000 casas decimais. Em

1961 conseguiu-se atravs de computao a aproximao de atravs de 100 265 casas

decimais, mais tarde em 1967 aproximou-se at s 500 000 casas decimais.

 10

Recentemente, David Bailey, Peter Borwein e Simon Ploue contabilizaram dez

bilhes de casas decimais para , usando uma frmula que d cada casa decimal do
individualmente, para cada n escolhido.

ainda importante destacar, que o primeiro a usar o smbolo , com o signicado

que este tem hoje em dia, foi o matemtico ingls William Jones em 1706. O matem-

tico suo Leonhard Euler em 1737 adotou o smbolo que rapidamente se tornou uma

notao padro.

Aps esta Introduo a estrutura do trabalho foi organizada como segue:

No captulo 2 iniciamos a teoria de inteiros algbricos, nmeros algbricos e nmeros

transcendentais, bem como um exemplo de construo de um nmero transcendental.

No captulo 3 demonstramos a irracionalidade do nmero .

No captulo 4, a demonstrao de que o nmero transcendente, baseada na

demonstrao feita por R. Moritz, em Annals of Mathematics, vol. 2 (1901). Contudo

faremos uma substituio na demonstrao de Moritz: no momento em que aplica o

teorema do valor mdio para polinmios complexos substituiremos esse passo por uma

"desigualdade do valor mdio".

Finalmente, no captulo 5, apresentamos uma sugesto de aula contendo os tpicos

abordados nos captulos anteriores.

1 Sobre Teoria dos Nmeros

Neste captulo apresentamos tpicos sobre teoria dos nmeros, os quais so neces-

srios aos demais.

Denio 1.1. Dados a, b Z, dizemos que a divide b, e escrevemos a|b, se existir

q Z tal que b = qa.

Exemplo 1.1. a = 2, b = 4; 4 = q2 = q = 2.
Denio 1.2. (a) Um nmero p N, p > 1, primo se os nicos nmeros inteiros
que o dividem so ele prprio e o 1. Ou seja, p primo se para todo b N tal que b|p,
ento b = p ou b = 1.

(b) Um nmero p Z, p 6= 0 e p 6= 1, primo se os nicos nmeros inteiros que o

dividem so p e 1.

Exemplo 1.2. p = 7, b|7 b = 7 ou b = 1.

Denio 1.3. Seja a Z. Um nmero inteiro b chamado mltiplo de a se b = aq,

para algum q Z.

Exemplo 1.3. a = 6, q = 3; b = 6.3 = b = 18. Logo, b mltiplo de 6 e tambm

de 3.

Denio 1.4. Dados a, b Z, um nmero natural d chamado o mximo divisor

comum de a e b, denotado por d = m.d.c(a, b), se satisfaz as armaes abaixo:

(i) d|a e d|b,

(ii) se r Z, tal que r|a e r|b, ento r|d.

Exemplo 1.4. a = 16, b = 32 m.d.c.(16, 32) = 16 = d. 16|16 e 16|32 e alm disso

Pois

se r|16 e r|32 ento r|16 (por exemplo se r = 4, temos que 4|16, 4|32 e ainda que 4|16.

Observao 1.1. O m.d.c(a, 0) no existe caso a seja nulo. Alm disso, assumimos

que m.d.c(a, 0) = a, se a 6= 0.

11
 12

Teorema 1.1. (Algoritmo da Diviso). Se a, b Z, com b 6= 0, ento existem (e

so nicos) q, r Z com 0 r < |b|, tais que,

a = qb + r. (1)

Demonstrao. (i) Existncia.

b > 0. Consideremos o conjunto dos nmeros mltiplos de b ordenados de acordo

com a ordem natural da reta, isto , o conjunto ..., 3b, 2b, b, 0, b, 2b, 3b, ...,
com,

... 3b 2b b 0 b 2b 3b...
Note que disso decorre uma decomposio da reta em intervalos disjuntos da forma

[qb, (q + 1)b] = {x R : qb x < (q + 1)b, com q Z}.

Por exemplo [3b, 2b] = [3b, (3 + 1)b], [b, 2b] = [1b, (1 + 1)b],
[2b, 3b] = {x R : 2b x < 3b}.
Assim, dado a Z, este pertence a apenas um desses intervalos e portanto ne-

cessariamente da forma a = qb+r , com q Z e r 0. claro que r < (q+1)bqb = b.

b < 0. Aplicamos o teorema no caso demonstrado em (i) para determinar q 0 , r Z,

com 0 r < |b| para escrever:

a = q 0 |b| + r. (2)

Fazendo q = q 0 , como |b| = b, (pois b < 0), obtemos de (2) a = qb + r, onde

q, r Z e 0 r < |b|.

(ii) Unicidade.

Resta demonstrar que q e r, os quais satisfazem (1) so nicos. De fato, suponha

que a = qb + r e a = q1 b + r1 , com 0 r < |b| e 0 r1 < |b|. Assim,

qb + r = q1 b + r1

r r1 = (q1 q)b (3)

 13

Armamos que r = r1 .
Com efeito, se r 6= r1 , ento: 0 < |r1 r|. Alm disso, |r1 r| < b. De fato,

vamos admitir, sem perda de generalidade que r < r1 , consequentemente r1 r > 0

e |r1 r| = r1 r .

Assim, se r1 r = |b|, ento r1 = |b| + r e portanto r1 > |b|, que absurdo.

Tambm, se r1 r > |b|, ento r1 > |b| + r > |b|, gerando novamente o absurdo

r1 > b.
Logo pela Lei da Tricotomia,

|r1 r| = r1 r < |b|.

Segue que

0 < |r1 r| < |b|. (4)

Agora de (3) obtemos,

|r1 r| = |q1 q||b|. (5)

Substituindo (5) em (4), obtemos,

0 < |q1 q||b| < |b|.

Logo, 0 < |q1 q| < 1, o que um absurdo, pois |q1 q| um nmero inteiro (pois
q e q1 Z e em Z vale a Lei do Fechamento da Adio).
Portanto r = r1 .

Note que essa igualdade combinada com (3) implica q1 = q , j que 0 = (q1 q)b e

b 6= 0 por hiptese.

Exemplo 1.5. a = 11, b = 5; q = 2 r = 1 = 11 = 2.5 + 1.

Teorema 1.2. Dados a, b Z, pelo menos um deles no nulo, existem x0 , y0 Z tais
que ax0 + by0 = d, onde d = m.d.c(a, b).

Demonstrao. Limitando-se ao caso em que a>0 e b > 0.

Seja L = {ax + by | x, y Z}. Evidentemente existem elementos estritamente

positivos em L (faa-se, por exemplo, x = y = 1). Seja d o menor desses elementos,

d = min{ax + by L, ax + by > 0}. Mostremos que d o mximo divisor comum entre

a e b.
(i) d obviamente maior que zero;
(ii) Como d L, ento existem x0 , y0 Z de maneira que d = ax0 + by0 . Aplicando
o algortmo da diviso aos elementos a e d:

a = dq + r, em que 0 r < d.
 14

Das duas ltimas igualdades obtemos

a = (ax0 + by0 )q + r

ou, ainda

r = a(1 qx0 ) + b(y0 )q

o que vem mostrar que r L.
Agora sendo r positivo, chegamos a uma contradio, pois r < d, contraria a

minimalidade de d. A concluso que r = 0. Da camos com a = dq o que mostra

que d|a. Analogamente se prova que d|b;

(iii) Se d0 |a e d0 |b, como d = ax0 + by0 , ento claro que d0 |d, e portanto

d = m.d.c(a, b).

Lema 1.1. Sejam a, x0 , b, y0 , d Z, se d|a e d|b, ento d|(ax0 + by0 ).

Demonstrao. Como d|a (pela denio 1.1) implica que existe q Z, tal que a = qd.
Tambm (pela denio 1.1) d|b implica que existe p Z, tal que b = pd.

Logo,

ax0 + by0 = qdx0 + pdy0 = d(qx0 + py0 ).

Observe que K = (qx0 + py0 ) Z, (pois vale a lei do fechamento da adio e

multiplicao em Z e q, x0 , p, y0 Z).

Portanto, ax0 + by0 = dK, K Z, ou seja,

d|(ax0 + by0 ).

Exemplo 1.6. 2|4 e 2|6 2|(4x0 + 6y0 ), x0 , y0 Z.

Lema 1.2. Seja r N um nmero primo, e a, b Z. Se r divide o produto ab ento
r divide a ou b.

Demonstrao. r|a, nada temos que provar.

Se

Suponhamos que r no divide a, ou seja, r e a so primos entre si.

Logo, pelo Teorema 1.2, existem x0 , y0 Z tais que ax0 + ry0 = 1.

Assim,

abx0 + rby0 = b. (6)

Como r|ab (por hiptese) e claramente r|rb, logo pelo Lema 1.1, segue que,

r|(abx0 + rby0 ).
Portanto de (6) segue que r|b.
 15

Exemplo 1.7. :

1) r = 3, a = 9, b = 5, temos que 3|9.5 e tambm 3|9.

2) r = 3, a = 9, b = 6, temos que 3|9.6 e tambm 3|9 e 3|6.

Corolrio 1.1. Seja r N um nmero primo e a Z. Se r|pn , ento r|p.

Demonstrao. Esse resultado segue usando o Princpio da Induo Finita.

Queremos mostrar a veracidade da sentena.

P(n) : Se r|pn , ento r|p, n N.

Faamos isso.

Note que, obviamente, P(1) vlida,

P(1) : r|p = r|p.

Alm disso, observe que P(2) tambm vlida pois se r|p2 , pelo Lema 1.2, se r|p.p,
ento r|p ou r|p, isto , r|p.

Hiptese de Induo . Seja k N, qualquer.

P(k) : Se r|pk , ento r|p.

Usando a Hiptese de Induo queremos mostrar que P(k + 1) vlida, ou seja,

Se r|pk+1 , ento r|p.

Observe que r|pk+1 o mesmo que r|pk .p.
Agora, pelo Lema 1.2, segue que r|pk ou r|p.
Por outro lado, temos por Hiptese de Induo que r|pk implica que r|p.
k+1 k
Portanto, r|p implica r|p ou r|p, isto , r|p.
2 Nmeros Algbricos e Nmeros

Transcendentes

Neste captulo apresentamos elementos essenciais para o tratamento dos prximos

captulos.

Qualquer soluo de uma equao polinomial da forma

xn + an1 xn1 + ... + a1 x + a0 = 0, (2.1)

onde os coecientes a0 , ..., an1 so nmeros inteiros, chamada um inteiro algbrico.

Exemplo 2.1. :

1) Qualquer nmero inteiro b inteiro algbrico pois a equao

xb=0 (2.2)

tem b por soluo.

2) 3 e 3 so inteiros algbricos, pois eles so as solues da equao

x2 3 = 0. (2.3)

p
3) Podemos vericar que 2 + 3 um inteiro algbrico pois uma soluo da equao

x4 4x2 + 1 = 0. (2.4)

p
Para obtermos a equao (2.4), basta escrever x = 2+ 3 e mediante duas

quadraturas consecutivas livrar-se dos radicais. Apesar de usarmos no presente cap-

tulo inteiros algbricos que sejam nmeros reais, chamamos a ateno para o fato que

h inteiros algbricos complexos.

4) i= 1 e i so inteiros algbricos, pois so as razes de x2 + 1 = 0.

16
 17

5) Todo nmero da forma 2n, com n N, um inteiro algbrico.

De fato,

x= 2n x2 = ( 2n)2 x2 = 2n x2 2n = 0,
e esta ltima uma equao do tipo (2.1), para n = 1, a0 = 2n.

6) Para cada a Z , o nmero complexo i a um inteiro algbrico, pois soluo da

equao x2 + a = 0.

Observao 2.1. Dos exemplos acima, podemos observar que todos os nmeros In-

teiros so Inteiros Algbricos. Tambm, vimos que, existem Inteiros Algbricos Irra-
cionais e Complexos.

Nesse momento, vale a pena ressaltar que 3 um nmero irracional, como de-

monstraremos a seguir. Para isso, antes precisamos do seguinte resultado.

Lema 2.1. . Se p2 mltiplo de 3, ento p mltiplo de 3.

Demonstrao. Vamos provar, usando a contrapositiva, que se p no mltiplo de 3,
ento p 2
no mltiplo de 3 .
Note que p no mltiplo de 3, pelo Teorema 1.5, signica que p = 3q + r, onde

qZ e 0 < r < 3.
Da,

p2 = (3q + r)2
p2 = 2
9q + 6qr + r 2

p2 = 2 2
3(3q + 2qr) + r
p2 = 3q 0 + r2
onde q 0 = (3q 2 + 2qr) Z.
Estudemos o resto r , 0 < r < 3:

(i) r=1

p2 = 3q 0 + 1.
Logo, neste caso, p2 no mltiplo de 3.

(ii) r=2

p2 = 3q 0 + 4 p2 = 3q 0 + 3 + 1 p2 = 3q 00 + 1
onde q 00 = (q 0 + 3) Z.
 18

Tambm, neste caso, p2 no mltiplo de 3.

Portanto, por (i) e (ii), segue que p2 no mltiplo de 3.

Observao 2.2. De modo geral, usando o Algoritmo da Diviso como acima,

possvel mostrar que, se p2 mltiplo de c, ento p tambm o .

Lema 2.2. 3 um nmero irracional.

Demonstrao. Suponhamos por absurdo que x= 3 um nmero racional. Logo,
p
existem p, q Z, com q>1 e (p, q) = 1, tal que x = .
q
Assim:  2
p
x2 =
 q 2
p
( 3)2 =
q (2.5)
p2
3 =
q2
3q 2 = p2 .

De (2.5), segue que p2 mltiplo de 3. Logo, p mltiplo de 3. Consequentemente,

p pode ser escrito da forma p = 3a, para algum a Z.

Substituindo p = 3a em (2.5), temos,

3q 2 = 9a2
3q 2 9a2
=
3 3
q 2 = 3a2 .

Logo, q2 mltiplo de 3, e assim, q mltiplo de 3.

Portanto, p e q so mltiplos de 3, o que absurdo, j que por hiptese p e q so

primos entre si.

O Teorema a seguir caracteriza os Inteiros Algbricos Reais.

Teorema 2.1. Todo nmero inteiro algbrico real um nmero inteiro ou irracional.
Demonstrao. Para provar que um inteiro algbrico no pode ser um nmero racional

no inteiro, usaremos o tipo de demonstrao indireta, a saber, reduo ao absurdo.

p
Suponha por absurdo, que o nmero racional x= [(p, q Z), e q>1 e (p, q) = 1]
q
satisfaa a equao do tipo (2.1), ou seja:

xn + an1 xn1 + ... + a1 x + a0 = 0.

 19

Ento,
 n  n1  
p p p
+ an1 + ... + a1 + a0 = 0
q q q
pn pn1 p
n
+ a n1 n1 + ... + a1 + a0 = 0
q q q
pn pn1 p
n
= a n1 n1
... a1 a0
q q q
pn1 p
pn = q n (an1 n1 ... a1 a0 )
q q
pn = (an1 pn1 q ... a1 pq n1 a0 q n )
n n1 n2 n1
p = q(an1 p ... a1 pq a0 q ).
Considerando,

j = (an1 pn1 ... a1 pq n2 a0 q n1 ),

temos que jZ (pois vale a lei do fechamento, da adio e multiplicao em Z) e que
n n
p = qj , ou seja, q|p
Agora, sejar um fator primo de q , r 6= 1 (observe que se q for primo podemos
n
considerar r = q ); ento r divide p e pelo Corolrio 1.1 isso implica que r|p.

Portanto obtemos que, r|q e r|p, o que contradiz o fato de (p, q) = 1, (o absurdo
p
ocorre quando admitimos como soluo da equao do tipo (2.1)).
q
Denio 2.1. (a) Qualquer soluo de uma equao polinomial da forma

an xn + an1 xn1 + ... + a1 x + a0 = 0, ai Z, para todo i {0, ..., n}

chamado um nmero algbrico. Ou seja, um nmero algbrico quando pos-

svel encontrar uma equao polinomial com coecientes inteiros, da qual seja raiz.

(b) Um nmero que no algbrico denominado transcendente.

Exemplo 2.2. :

p
1) Qualquer nmero racional = , algbrico porque a raiz da equao qxp = 0.
q

2) Qualquer inteiro algbrico um nmero algbrico.

No que segue, estamos interessados em mostrar a existncia de nmeros transcen-

dentes. Para tal necessitamos de alguns conceitos.

Denio 2.2. Um conjunto A enumervel se seus elementos podem ser coloca-

dos em correspondncia biunvoca com os nmeros naturais. Mais precisamente, A
enumervel se existir uma funo bijetiva, f : N A.
 20

Exemplo 2.3. :

1) O conjunto dos nmeros pares positivos enumervel:

Seja P = {2n, n N}, e considere a seguinte funo

f : N P
n 7 2n
(i) f injetora, pois:

Suponha que f (x) = f (y). Queremos mostrar que x = y.

Como

f (x) = f (y) 2x = 2y x = y
Portanto f, injetora.

(ii) f sobrejetora, isto f (N) = P . De fato:

f (N) P pela denio de imagem.

-

-P f (N), pois seja b P , qualquer, ento b = 2n0 para algum n0 N. Tomando

x = n0 , temos que f (x) = f (n0 ) = 2n0 = b, ou seja, b f (N), logo b = f (x).

Portanto f sobrejetora.

Logo por (i) e (ii), f bijetora.

2) O conjunto dos nmeros mpares positivos enumervel. Basta considerar a funo

f : N I
n 7 2n 1
onde I = {2n 1, n N.}
A demontrao pode ser feita de modo anlogo ao exemplo (1).

3) O conjunto Z enumervel. Observe a correspondncia abaixo

..., 3, 2, 1, 0, 1, 2, 3, ...
l l l l l l l
... 7, 5, 3, 1, 2, 4, 6, ...
Esta correspondncia pode ser descrita pela funo denida por partes

f : Z N
n 7 f (n)
onde

(
2n, se n > 0
f (n) =
2n + 1, se n 0
 21

(i) f x 6= y f (x) 6= f (y), pois:

injetora, isto ,

- se x, y > 0, f (x) = 2x 6= 2y = f (y)

- se x, y < 0, f (x) = 2x + 1 6= 2y + 1 = f (y)

- se x > 0 e y < 0, temos que f (x) = 2x ef (y) = 2y + 1

da, f (x) = 2x 6= 2y 6= 2y 6= 2y + 1 = f (y);

-se x < 0 e y > 0, idem item anterior;

-se x = 0 e y > 0 (ou y = 0 e x > 0), ento f (x) = f (0) = 1 e f (y) = 2y , da

f (y) = 2y 6= 1 = f (0) = f (x)

- se x = 0 e y < 0 (ou y = 0 e x < 0), ento f (x) = f (0) = 1 e f (y) = 2y + 1, da

f (y) = 2y + 1 6= 1 = f (0) = f (x)

Portanto, pelos casos considerados acima, f injetora.

(ii) f sobrejetora, isto , f (Z) = N. De fato,

- f (Z) N pela denio de imagem;

- N f (Z), pois:

seja n N. Se n par, ento n = 2k, k N. Logo, tomando x = k , temos que

n = 2k = f (k) = f (x) f (Z).

Se n mpar, ento n = 2k + 1, k N, logo tomando x = k, temos que

n = 2k + 1 = 2(k) + 1 = f (k) = f (x) f (Z).

Portanto por (i) e (ii), segue que f sobrejetora.

Logo por (i) e (ii), f bijetora.

Como f bijetora, existe g 1 : N Z, assim basta tomarmos f = g 1

4) O conjunto dos nmeros racionais enumervel.

Mostremos primeiramente que o conjunto dos nmeros racionais positivos enume-

rvel.

1 1 1 1 1
1
2 3
4 5

. % . %
2 2 2 2 2
1 2 3 4 5

% . % .
3 3 3 3 3
1 2 3 4 5

. % . %
4 4 4 4 4
1 2 3 4 5

% . % .
5 5 5 5 5
1 2 3 4 5

.
. . . . .
. . . . .
. . . . .
 22

p
Observe que todos os nmeros da forma , com p, q N e q 6= 0 aparecem no
q
quadro anterior. Se o percorrermos seguindo as echas temos uma ordenao desse

conjunto, a funo f

f : N Q+
n 7 f (n)
denida comof (n) = n-simo elemento que encontramos seguindo as echas. Assim,
+
mostramos que o conjunto Q = {x Q, x > 0} enumervel.

A enumerabilidade de Q segue do item (i) do prximo Teorema, lembrando que

Q = Q+ Q {0}, onde Q = {x Q : x < 0}.

A seguir demonstramos algumas propriedades sobre conjuntos enumerveis.

Teorema 2.2. (i) A unio de um conjunto nito e um conjunto enumervel enu-

mervel;
(ii) A unio de dois conjuntos enumerveis enumervel;
(iii) A unio de um nmero nito de conjuntos enumerveis enumervel;
(iv) A unio de um conjunto enumervel de conjuntos nitos enumervel;
(v) A unio de um conjunto enumervel de conjuntos enumerveis enumervel.

Demonstrao. (i) A = {a1 , a2 , ..., an } conjunto nito e B = {b1 , b2 , ...}

Seja o

conjunto enumervel. O conjunto A B enumervel.

De fato a correspondncia biunvoca entre A B e N ser assim:

a1 , ..., an , b1 , b2 , ...
l l l l
1 n n+1 n+2
(ii) Sejam A = {a1 , a2 , ...} e B = {b1 , b2 , ...}, dois conjuntos enumerveis, ento A B
enumervel, j que possui a seguinte correspondncia biunvoca,

a1 , b 1 , a 2 , b 2 , a 3
l l l l l
1 2 3 4 5
(iii) Sejam A1 , A2 , ..., An conjuntos enumerveis, queremos mostrar que A1 A2 ...An ,
enumervel, n N.
Para isso usamos o Princpio de Induo Finita.

(a) k = 1 vlida pois A1 enumervel.

(b) k = 2 vlida pelo item (ii).

Hiptese de Induo: Suponha que seja vlida para k, ou seja, se A1 , A2 , ..., Ak

so enumerveis ento A1 ... Ak enumervel.

Provemos ento que a propriedade vlida para k + 1.

 23

Ou seja, se A1 , ..., Ak , Ak+1 so enumerveis, ento

A1 A2 ... Ak Ak+1
enumervel.

Note que

A1 A2 ... Ak Ak+1 = (A1 ... Ak ) Ak+1

Considere A = (A1 ... Ak ), ento

A1 A2 ... Ak Ak+1 = A Ak+1 .

Agora A enumervel por Hiptese de Induo e A Ak+1 enumervel por (ii).

Portanto A1 ... Ak Ak+1 enumervel. Logo pelo Princpio de Induo Finita,

(iii) vlida.

(iv) Seja {A1 , A2 , ..., An , ...} um conjunto enumervel onde cada Ai um conjunto -

nito, para qualquer i {1, ..., n, ...}.

Queremos mostrar que A1 A2 ... An ... enumervel.

Suponha que A1 = {a11 , a12 , ..., a1l1 }, A2 = {a21 , a22 , ..., a2l2 }, ..., An = {an1 , an2 , ..., anln }

Ento,

A1 A2 ... An ... = {a11 , a12 , ..., a1l1 , a21 , a22 , ..., a2l2 , an1 , an2 , ..., anln , ...}

Dena a seguinte correspondncia entre A1 A2 ... An ... N.

a11 , ..., a1l1 , a21 , ..., a2l2 , ..., an1 , ..., anln , ...
l l l l l l
1, ..., l1 , l1 + 1, ..., l1 + l2 , ..., l1 + ... + ln1 + 1, ..., l1 + ... + ln1 + ln , ...

Logo, A1 A2 ... An ... enumervel.

(v) {A1 , A2 , ..., An , ...} um conjunto

Seja enumervel onde cada Ai um conjunto

enumervel para qualquer i {1, .., n, ...}.

Suponha que

A1 = {a11 , a12 , a13 , ...}

A2 = {a21 , a22 , a23 , ...}
.
.
.

An = {an1 , an2 , an3 , ...}

 24

Disponha os elementos de A1 , A2 , ..., An como a tabela

a11 , a12 , a13 , ...

a21 , a22 , a23 , ...
. . .
. . .
. . .

an1 , an2 , an3 , ...

. . .
. . .
. . .
Formando echas como feito em Q+ denimos f dada por f (n) = n-simo elemento
que encontramos seguindo as echas. Dessa forma denimos uma correspondncia

biunvoca entre A1 A2 ... An ... e consequentemente provamos que um conjunto

enumervel.

Observao 2.3. Se A enumervel e B A um conjunto innito, ento B tambm

enumervel, pois como A enumervel existe uma correspondncia biunvoca, f , entre
N e A, ento basta considerar a restrio f |B : B N.

Teorema 2.3. O conjunto R dos nmeros reais no enumervel.

Demonstrao. Demonstramos que o conjunto dos nmeros reais x [0, 1), no

enumervel, em virtude da observao acima segue que R tambm no enumervel.

Faamos isso, primeiro note que os nmeros x [0, 1) tem uma representao decimal

da forma

0, a1 a2 a3 ... (2.6)

onde aj um dos algarismos 0, 1, 2, 3, 4, 5, 6, 7, 8 ou 9. Alguns nmeros tem duas re-

1
presentaes da forma (2.6), por exemplo,
2
igual 0, 50... ou 0, 499...
Para tais nmeros, escolhemos a representao decimal que termina. Em outras

palavras, eliminamos as decimais (2.6) que a partir de uma certa ordem todos os

elementos so 9. Suponhamos que as decimais tipo (2.6), ou que os nmeros reais no

intervalo [0, 1), formam um conjunto enumervel.

0 a11 a12 a13 ...

0 a21 a22 a23 ...
(2.7)
0 a31 a32 a33 ...
.
.
. ...
Agora forme o decimal 0, b1 b2 b3 ... do seguinte modo: todos os bi 's so diferentes de 0
ou 9 eb1 6= a11 , b2 6= a22 . claro que 0, b1 b2 b3 . . . 6= 0, an1 an2 an3 . . ., para todo n, pois
6 ann . Logo 0, b1 b2 b3 . . . no est na
bn = tabela (2.7) o que um absurdo, j que um

nmero real entre 0 e 1.

 25

Com os resultados anteriores provamos a existncia de nmeros transcedentes no

seguinte teorema.

Teorema 2.4. Existem nmeros transcendentes.

Demonstrao. Dado um polinmio com coecientes inteiros,

P (x) = an xn + ... + a1 x + a0 (2.8)

Denimos sua altura como sendo o nmero natural

|P | = |an | + ... + |a1 | + |a0 | + n (2.9)

O Teorema Fundamental da lgebra nos diz que P (x) = 0, tem exatamente n razes
complexas. Todas, algumas ou nenhuma delas podem ser reais. Agora o nmero de

polinmios do tipo (2.8) com uma dada altura apenas um nmero nito (observe que

para essa armao que inclumos a parcela n na denio da altura em (2.9)).

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

nito, consequentemente o conjunto de todas as razes de todos os polinmios de todas

as alturas formam um conjunto enumervel de conjuntos nitos. (Por exemplo, se

4 3
P (x) = 3x x + x 5, ento|P | = |3| + | 1| + |0| + |1| + | 5| + 4 e pelo
Teorema Fundamental da lgebra P (x) possui quatro razes complexas). Portanto,

podemos concluir que o conjunto dos nmeros algbricos reais enumervel. Agora, o

conjunto dos nmeros reais pode ser considerado como a unio do conjunto dos nmeros

algbricos reais com o conjunto dos nmeros no-algbricos reais, ou seja, o conjunto dos

nmeros reais pode ser considerado como a unio do conjunto dos nmeros algbricos

reais com o conjunto dos nmeros transcendentes reais. Assim, como o conjunto R
no enumervel, o conjunto dos transcendentes reais deve ser no enumervel, j que,

caso contrrio, pelo item (ii) do Teorema 2.2, R seria enumervel. Consequentemente,

existe um conjunto innito no enumervel de nmeros reais transcendentes.

Exemplo 2.4. O nmero

X
= 10j! = 0, 110001000
j=1

transcendental. (Este era um dos nmeros usados por Liouville em 1851 na primeira

prova da existncia de nmeros transcendentais.)

Demonstrao. Suponha que algbrico, para que ele satisfaa qualquer equao

n
X
f (x) = cj x j = 0
j=0
 26

com coecientes inteiros. Para qualquer x satisfazendo 0 < x < 1, temos que, pela

desigualdade triangular
 
Xn  X
0 j1 
|f (x)| =  jcj x  < |jcj | = C,

 
j=1

onde a constante C , denida na equao anterior, depende somente dos coecientes de

k = kj=1 10j! a m de que

P
f (x). Denimos

X
k = 10j! < 2 10(k+1)! .
j=k+1

Pelo teorema do valor mdio,

|f () f (k )| = | k | |f 0 ()|

para algum entre e k . Conseguimos uma contradio provando que o lado direito

menor que o esquerdo, se k escolhido sucientemente grande. O lado direito

(k+1)!
menor que 2C/10 . f (x) tenha somente n zeros, podemos
Desde que tomar k
sucientemente grande de modo que f (k ) 6= 0. Usando f () = 0 vemos que

 n 
X  1
|f () f (k )| = |f (k )| =  cj kj  n.k! ,
 
  10
j=0

poiscj kj um nmero racional com denominador 10n.k! . Finalmente observamos que

1/10n.k! > 2C/10(k+1)! se k sucientemente grande.

3 O nmero irracional

O objetivo dessa seo demonstrar que o nmero irracional, para isso consi-

deremos a funo,

xn (1 x)n
f (x) = (3.1)
n!
onde n um numero inteiro positivo.

Lema 3.1. Dk f (0) um nmero inteiro para qualquer k = 0, 1, 2..., onde Dk repre-
senta a ksima derivada de f e D0 f = f .

Demonstrao. Vamos utilizar a chamada frmula de Leibnitz para as derivadas de um

produto de duas funes g e h,

k  
k
X k
D (gh) = Dj gD(kj) h. (3.2)
j=0
j

1 n
Note que a funo (3.1) pode ser escrita como o produto das funes g(x) = x
n!
e h(x) = (1 x)n .
Logo aplicando (3.2), temos:

k  
k 1 X k
D f= Dj xn D(kj) (1 x)n . (3.3)
n! j=0 j

Agora observe que:

0, se j < n

Dj xn |x=0 = n!, se j = n (3.4)

0, se j > n

Substituindo (3.4) em (3.3) segue que

Dk f (0) = 0 se k < n.

27
 28

e que
     
k 1 k (kn) n k (kn) n k
D f (0) = n!D (1 x) |x=0 = D (1 0) = , (3.5)
n! n n n
se k n.
Como os coecientes binomiais so inteiros segue que expresso no segundo membro
k


de (3.5) um inteiro. Portanto, como Dk f (0) = 0 k < n e Dk f (0) =
para
n
, para

k n, segue que Dk f (0) tem nmero inteiro para qualquer k = 0, 1, 2, ....

Lema 3.2. Dk f (1) um nmero inteiro para qualquer k = 0, 1, 2, ....

Demonstrao. Segue diretamente do lema anterior e da observao de que:

f (1 x) = f (x)
pois,

(1 x)n (1 (1 x))n (1 x)n xn xn (1 x)n

f (1 x) = = = = f (x)
n! n! n!
De fato, como Dk f (1 x) = Dk f (x), temos para x = 0, que

Dk f (1) = Dk f (0).

Como Dk f (0) um nmero inteiro segue que Dk f (1) tambm o .

Teorema 3.1. um nmero irracional.

p p
Demonstrao. Suponha que 2 = , onde uma frao irredutvel. Com essa
q q
suposio queremos encontrar um absurdo, mostrando assim que 2 no racional e

consequentemente, no racional, pois o quadrado de um nmero racional necessa-

riamente racional.

Para isso, dena a funo:

F (x) = q n { 2n f (x) (2n2) D2 f (x) + ... + (1)n D2n f (x)},

xn (1 x)n
onde f (x) = .
n!
p
Como consequncia dos lemas 3.1 e 3.2, e da hiptese 2 = , temos que F (0) e
q
F (1) so nmeros inteiros pois:

 n  (n1)
F (0) = q n { pq f (0) pq D2 f (0) + ... + (1)n D2n f (0)} =
p(n1) 2
= q n D f (0) + ... + (1)n q n D2n f (0) =
q (n1)
= qp(n1) D2 f (0) + ... + (1)n q n D2n f (0)
 29

F (1) = qp(n1) D2 f (1) + ... + (1)n q n D2n f (1).

Agora observe que,

{F 0 (x) sen x F (x) cos x}0 =

F 00 (x) sen x + 2 F (x) sen x.
Pois,

{F 0 (x) sen x F (x) cos x}0 =

00 0 0
F (x) sen x + F (x) cos x [F (x) cos x F (x) sen x] =
F 00 (x) sen x + F 0 (x) cos x F 0 (x) cos x + F (x) sen x 2 =
F 00 (x) sen x + 2 F (x) sen x.

Da

{F 0 (x) sen x F (x) cos x}0 = (3.6)

pn 2 f (x) sen x.
Agora, aplicamos o teorema fundamental do clculo integral ["Se g : [0, 1] R
R1 0
uma funo contnua em [0, 1] e derivvel em (0, 1), ento
0
g (x)dx = g(1) g(0)"].
0
Obtemos para funo g(x) = F (x) sen xF (x) cos x. Em virtude de (3.6) obtemos
que

Z 1
n 2
p f (x) sen xdx = F (1) + F (0),
0
ou seja,
Z 1
n
p f (x) sen dx = F (1) + F (0). (3.7)
0

Note que como F (1) e F (0) so nmeros inteiros e o conjunto dos nmeros inteiros

(3.7) inteiro. Portanto se mostrarmos que

fechado quanto a adio, o lado direito de

para n N conveniente, o lado esquerdo de (3.7) um nmero positivo estritamente

menor que 1, temos o absurdo procurado. J que assim temos 0 < F (1) + F (0) < 1.

Faamos isso, veja que para 0 < x < 1, temos (lembre-se f (x) dado em (3.1))

1
0 < f (x) < . (3.8)
n!
Usando a desigualdade (3.8) em (3.7):
Z 1 Z 1
n n 1
0 < p f (x) sen xdx < p sen xdx.
0 0 n!
 30

Mas,

1 1
pn
Z Z
n 1
p sen xdx = sen xdx.
0 n! n! 0
Com a mudana de varivel,

u = g(x) = x
g 0 (x) = .
Temos que

Z
1
n
p sen udu =
n! 0

pn
[ cos u]|0
n!
pn pn 2pn
[(cos ) ( cos 0)] = [(1) + 1] = .
n! n! n!
Portanto

1
2pn
Z
n
0 < p f (x) sen xdx < .
0 n!
n
p 2pn
Como limn = 0, temos que limn = 0, logo podemos encontrar um
n! n
n!
2p
nN sucientemente grande, tal que < 1.
n!
Ou seja, um nmero irracional.

No prximo captulo tratamos da transcendncia deste nmero.

4 O nmero transcendente.

Para mostrar a transcendncia de precisamos de determinados resultados sobre

Anlise Complexa.

O primeiro trata-se do Teorema da Desigualdade do Valor Mdio, para isso explo-

ramos o Teorema do Valor Mdio para nmeros reais, a saber, seja f : [a, b] R
uma funo real contnua denida em um intervalo fechado [a, b], a, b R. Suponha

que a derivada f 0 (x) existe para todo x no intervalo aberto (a, b). Ento existe com

0<<1 tal que

f (b) f (a) = (b a)f 0 (a + (b a)).

Para obter um teorema de valor mdio para funes complexas, utilizaremos algo

sobre funes de duas variveis. Representamos por C o conjunto dos nmeros com-

plexos, isto , nmeros da forma z = x + iy , onde x, y R. Uma funo f :CC

tem derivada no ponto z se o limite abaixo existe

f (z + z0 ) f (z)
f 0 (z) = lim (4.1)
z0 0 z0

onde z0 C, e f 0 (z) chamada a derivada de f no ponto z. Se uma funo f tiver

derivadas em todos os pontos de C, ento dizemos que ela analtica em C. Sejam

u(x, y) e v(x, y) as partes real e imaginria de f (z), isto ,

f (z) = u(x, y) + iv(x, y), em que z = x + iy. (4.2)

Suponhamos que f (z) seja analtica em C e calculemos a derivada (4.1) usando

valores reais para z0 , z0 = h

u(x + h, y) u(x, y) v(x + h, y) v(x, y)

f 0 (z) = lim + i lim
h0 h h0 h
ou seja

f 0 (z) = ux (x, y) + ivx (x, y). (4.3)

(ux representa a derivada de u(x, y) com relao a primeira varivel, e uy com relao

a segunda).

31
 32

A seguir calculemos a derivada (4.1) usando valores imaginrios puros para z0 ,

z0 = ik :
u(x, y + k) u(x, y) v(x, y + k) v(x, y)
f 0 (z) = lim + i lim
k0 ik k0 ik
ou seja

f 0 (z) = iuy (x, y) + vy (x, y). (4.4)

Identicando (4.3) e (4.4)obtemos as equaes de Cauchy Riemann

ux (x, y) = vy (x, y), uy (x, y) = vx (x, y),

para qualquerz = x + iy em C.
Resumindo-se: se f for analtica em C, ento as equaes de Cauchy-Riemann

valem em qualquer ponto de C. Se f : C C for uma funo analtica em C e se z2 e

z1 forem nmeros complexos, no verdade, em geral, que exista , 0 < < 1, tal que

f (z2 ) f (z1 ) = (z2 z1 )f 0 (z1 + (z2 z1 )). (4.5)

Como podemos ver atravs de um contra-exemplo. Seja P (z) = (z 2 2z + 2)(z 2 +

2z + 2) cujas razes so z1 = 1 + i, z2 = 1 i, z3 = 1 + i, z4 = 1 i; aplicando
0
(4.5) aos pares de pontos (z1 , z2 ), (z2 , z3 ), (z3 , z4 ), (z4 , z1 ), conclumos que P (z) teria 4

razes distintas. Isso, porm, contraria o teorema fundamental da lgebra que diz que

um polinmio de grau 3 tem exatamente 3 razes complexas. Portanto, temos de abrir

mo da igualdade no teorema do valor mdio, e assim teremos:

Teorema 4.1. Seja f : C C uma funo analtica e sejam z1 , z2 C. Ento

|f (z2 ) f (z1 )| 2|z2 z1 |sup{|f 0 (z1 + (z2 z1 ))| : 0 1} (4.6)

onde |z| representa o mdulo do complexo z = x + iy , isto , |z| = + x2 + y 2 .

p

Demonstrao. Primeiramente, demostraremos que

|f (z0 ) f (0)| 2|z0 |sup{|f 0 (z0 )| : 0 1} (4.7)

Isso feito, (4.6) segue-se facilmente pela aplicao de (4.7) funo g(z) = f (z + z1 )
e ao ponto z0 = z2 z1 . Sejam u e v as partes real e imaginria de f (z). Dado

z0 = x0 + iy0 , dena as funes : R R e : R R pelas expresses

() = u(x0 , y0 ),

() = v(x0 , y0 ).
Aplicando o teorema do valor mdio s funes reais e obtemos
 33

(1) (0) = 0 (1 ), 0 < 1 < 1, (4.8)

(1) (0) = 0 (2 ), 0 < 2 < 1. (4.9)

Para calcular as derivadas de e , usamos o teorema de derivao das funes

compostas e obtemos de (4.8) e (4.9)

u(x0 , y0 ) u(0, 0) = ux (1 x0 , 1 y0 )x0 + uy (1 x0 , 1 y0 )y0 ,

v(x0 , y0 ) v(0, 0) = vx (2 x0 , 2 y0 )x0 + vy (2 x0 , 2 y0 )y0 ,

e da

f (z0 )f (0) = ux (1 x0 , 1 y0 )x0 +uy (1 x0 , 1 y0 )y0 +i{vx (2 x0 , 2 y0 )x0 +vy (2 x0 , 2 y0 )y0 }.

(4.10)

Agora usaremos a desigualdade

|z| |x| + |y|,

da qual segue que o mdulo de um nmero complexo z = x + iy menor ou igual que

a soma dos valores absolutos de sua parte real e imaginria, bem como a desigualdade

de Cauchy-Schwarz

q q
|a1 b1 + a2 b2 | a1 + a2 b21 + b22 ,
2 2

onde a1 , a2 , b 1 , b 2 so nmeros reais quaisquer. Utilizando essas duas desigualdades

em (4.10) obtemos

q q
|f (z0 ) f (0)| u2x (1 x0 , 1 y0 ) + u2y (1 x0 , 1 y0 ) x20 + y02 (4.11)

q q
+ vx (2 x0 , 2 y0 ) + vy (2 x0 , 2 y0 ) x20 + y02 .
2 2

Em virtude de (4.4) e (4.5) e das equaes de Cauchy-Riemann, os radicais em

(4.11), envolvendo u e v so precisamente o mdulo de f0 calculado em certos pontos,

isto ,

|f (z0 ) f (0)| |f 0 (1 z0 )||z0 | + |f 0 (2 z0 )||z0 |,

de onde segue (4.7) imediatamente. E, assim, o teorema 4.1 ca demonstrado.

Agora sim estamos preparados para demonstrar a transcendncia de . Para tanto,

suponhamos por absurdo que seja um nmero algbrico.

Logo, i onde i = 1 seria tambm algbrico como um produto de dois nmeros
algbricos. Ento i seria raiz de uma equao polinomial com coecientes inteiros:

P1 (x) = 0. (4.12)
 34

Representemos as razes de (4.12) por 1 = i , 2 , ..., n . Como ei = 1, segue

que
n
Y
(1 + ej ) = 0. (4.13)
j=1

Se desenvolvermos o produto indicado em (4.13), obteremos uma expresso da

forma: 1 + somatrio de exponenciais cujos expoentes so:

1 , 2 , ..., n (4.14)

i + j , para todos i<j (4.15)

i + j + k , para todos i<j<k (4.16)

.
.
.

1 + ... + n . (4.17)

n


Observemos que o nmero de termos em (4.14) n, em (4.15)
2
, em (4.16)
n n n

3
, ..., em (4.17)
n
= 1, em que
m
so os coecientes binomiais, isto ,

n

n!
m
= para 0 m n.
m!(n m)!
Agora, do fato de 1 + ... + n satisfazerem uma equao polinomial de grau n com
coecientes inteiros, segue-se (e isso ser demonstrado no Apndice a esse captulo)
n


que: (a) os nmeros em (4.15) satisfazem uma equao polinomial de grau com
2
coecientes inteiros

P2 (x) = 0; (4.18)

n


(b) os nmeros em (4.16) satisfazem uma equao polinomial de grau com coeci-
3
entes inteiros

P3 (x) = 0,
e assim sucessivamente.

Logo os nmeros em (4.14) ... (4.17) satisfazem a equao polinomial

P1 (x)...Pn (x) = 0 (4.19)

n n



com coecientes inteiros e cujo grau n +
2
+ ... + n
= 2n 1. Como alguns

dos nmeros em (4.14) ... (4.17) podem se anular, podemos supor que m deles sejam

diferentes de zero e representemo-los por 1 , ..., m . Logo, simplicando de (4.19) os

fatores da forma xq , para q > 0, caso haja, (e haver se 2n 1 > m), obtemos que

1 , ..., m so razes de uma equao na forma

R(x) = cxm + cm1 xm1 + ... + c1 x + c0 = 0, (4.20)

com coecientes inteiros.

A seguir, efetuamos o produto de (4.13) e obtemos

k + e1 + ... + em = 0. (4.21)
 35

Considere o polinmio

cs
P (x) = xp1 (R(x))p , (4.22)
(p 1)!
onde s = mp 1 e p um nmero primo a ser escolhido posteriormente. O grau de P
r = s + p. Seja agora

F (x) = P (x) + P 0 (x) + ... + P (s+p) (x). (4.23)

Segue que
d x
(e F (x)) = ex P (x). (4.24)
dx
z
Aplicando o Teorema 4.1 funo f (z) = e F (z), temos

|ej F (j ) F (0)| 2|j | sup{|ej P (j )| : 0 1}, (4.25)

para j = 1, ..., m. Fazendo

j = 2|j | sup{|e(1)j P (j )| : 0 1}, (4.26)

obtemos de (4.25) que

|F (j ) ej F (0)| j . (4.27)

Usando (4.21) e a expresso (4.27) para j = 1, ..., m obtemos

m
X m
X
|kF (0) + F (j )| j . (4.28)
j=1 j=1

Mostraremos, agora, que o lado esquerdo de (4.28) um inteiro no nulo, e que o

lado direito, para p conveniente, menor que 1.

Devemos, ento, calcular as vrias derivadas de P (x) nos pontos 0, 1 , ..., m . O

polinmio P (x) denido em (4.22) da forma

cs
P (x) = {cp0 xp1 + bxp + ...}.
(p 1)!
Logo,

P (i) (0) = 0, para i < p 1, e P (p1) (0) = cs cp0 . (4.29)

Por outro lado, segue-se diretamente de (4.22) que

P (i) (j ) = 0, i < p, j = 1, ..., m, (4.30)

uma vez que nas derivadas P (i) (x), para i, p, a expresso R(x) fator comum, e

R(j ) = 0.

Para as derivadas de ordem i p, e de (4.22), conclumos que os coecientes de

P (i) (x), i p, (4.31)

 36

so inteiros divisveis por pcs .

Logo, de (4.29) e (4.31) obtemos

F (0) = cs cp0 + pcs k0 , (4.32)

onde k0 um inteiro, cujo valor no importa para os nossos propsitos. Para os demais

F (j ) observamos que
m
X m X
X m
XX
(i)
F (j ) = P (j ) = P (i) (j ). (4.33)
j=1 j=1 ip ip j=1

Agora, na expresso
m
X
P (i) (j ) (4.34)
j=1

para cada i xado, com p i s + p. Por (4.31) o polinmio P (i) tem coecientes
s
inteiros divisveis por pc . Alm disso, como P tem grau s + p, segue-se que P (i) tem

grau s + p i s, pois p i. Logo, a expresso (4.34) pode ser escrita como

m
X
P (i) (j ) = pcs Q(1 , ..., m ), (4.35)
j=1

onde Q(1 , ..., m ) um polinmio nos i0 s de grau menor ou igual a s, com coecientes
0
inteiros. Veja ainda que Q(1 , ..., m ) um polinmio simtrico nos i s com coecien-

tes inteiros. Logo, pelo Teorema "A"do Apndice, existe um polinmio G(1 , ..., m )

de grau menor ou igual a s com coecientes inteiros e onde 1 , ..., m so os polinmios

simtricos elementares em 1 , ..., m , tal que

Q(1 , ..., m ) = G(1 , ..., m ). (4.36)

Por outro lado, temos

1 = c1 cm1 , 2 = c1 cm2 , ..., m = c1 c0 . (4.37)

Logo, de (4.35), (4.36) e (4.37) segue que a expresso (4.34) um inteiro divisvel

por p. Voltando a (4.33) concluimos que

m
X
F (j ) = pK1 , (4.38)
j=1

onde K1 um inteiro cujo valor irrelevante para nossos propsitos. A seguir, usando

(4.32) e (4.38) obtemos que o lado esquerdo de (4.28) um inteiro da forma

|kcs cp0 + pK|, (4.39)

 37

onde K = cs k0 +K1 l. Agora escolhemos um nmero primo p de modo que ele seja maior
que k , c e c0 . Portanto, o inteiro (4.39) no divisvel por p, e, consequentemente,
um inteiro no nulo.

Para concluir a demonstrao, necessitamos fazer a estimativa do termo do lado

direito de (4.28). Seja

M = max(|1 |, ..., |m |).

Logo,
|c|s
j 2M eM sup{|j |p1 |R(j )|p : 0 1}, (4.40)
(p 1)!

onde usamos que 0 1. Seja a seguir

N = max{|R(z)| : |z| < m},

a qual usada em (4.40) fornece

|c|s
j 2M eM M p1 N p .
(p 1)!

Como o fatorial domina qualquer exponencial, isto ,

An
lim = 0,
n n!

para qualquer A > 0, segue que, para p sucientemente grande, podemos fazer j <
1
. Logo,
m+1
m
X m
j < 1. (4.41)
j=1
m+1

A expresso (4.41) juntamente com o fato que o lado esquerdo de (4.28) inteiro

no nulo resulta em um absurdo. Logo, transcendente.

Com este ltimo resultado cumprimos o objetivo deste trabalho.

5 Nmeros Irracionais: Uma

Abordagem no Ensino Mdio.

Os PCN alertam para a importncia e a diculdade do tratamento dos nmeros,

na escola. No desejvel que os alunos saiam da escola bsica sem terem construdo

os conceitos de nmeros e conjuntos numricos, estando restritos ao nvel utilitrio,

realizando clculos segundo regras memorizadas, sem qualquer compreenso a respeito

do que esto fazendo.

Ao trabalhar com os nmeros, preciso criar atividades que explorem diferentes

contextos, trabalhar com suas diferentes representaes, explorar a ordenao e a com-

parao e, especialmente, trabalhar com a reta numrica.

Atividades:

Em meio innidade do nosso sistema numrico, temos diversos nmeros com

suas peculiaridades: entre eles, os nmeros irracionais. O surgimento do conjunto dos

nmeros irracionais proveniente de uma discusso acerca do clculo da diagonal de

um quadrado de lado 1.

Vamos determinar a medida da diagonal d do quadrado ABCD cujo lado mede 1.

Usando o Teorema de Pitgoras no tringulo ABC, temos:

d2 = 12 + 12
d2 = 1 + 1
d2 = 2

Qual o nmero racional positivo cujo quadrado d 2?

Inicialmente, vamos fazer:

12 = 1 e 22 = 4

Logo, d est entre 1 e 2 (1 < d < 2).

38
 39

Em seguida, vamos determinar a primeira casa decimal de d.

(1, 3)2 = 1, 69 (1, 4)2 = 1, 96 (1, 5)2 = 2, 25

Logo, d est entre 1,4 e 1,5, ou seja, 1, 4 < d < 1, 5.

Ento, 1,4 o valor aproximado de d, por falta, com uma casa decimal.

Usando o mesmo procedimento, determinamos a segunda casa decimal de d.

(1, 41)2 = 1, 9881 (1, 42)2 = 2, 0164

Logo, d est entre 1,41 e 1,42, ou seja, 1, 41 < d < 1, 42.

Aqui, 1,41 o valor aproximado de d, por falta, com duas casas decimais.

Se repetirmos esse processo, vamos obter quantas casas decimais quisermos, mas

encontraremos sempre um valor aproximado para d, por falta, pois esse valor, elevado

ao quadrado, sempre um nmero menor que 2.

Representamos o valor exato para a medida da diagonal do quadrado de lado 1 por

2.

2 = 1, 4142135623730950488016887242097...
Esse valor tem uma innidade de casas decimais que no se repetem, portanto no

uma dzima peridica. Assim, 2 no um nmero racional. um nmero irracional.

Um exemplo interessante da aplicao do conceito de nmeros racionais e nmeros

irracionais uma questo do vestibular da Unicamp de 1992.

Exemplo 5.1. Considere duas circunferncias, uma delas tendo o raio com medida ra-

cional e a outra com medida irracional. Suponha que essas circunferncias tem centros

xos e esto se tocando de modo que a rotao de uma delas produz uma rotao na

outra, sem deslizamento. Mostre que os dois pontos (um de cada circunferncia) que

coincidem no incio da rotao, nunca mais voltaro a se encontrar.

Resoluo.
Sejam as circunferncias denotadas por C1 e C2 e seus pontos de encontro A e B,

respectivamente. Sejam r e R os raios de C1 e C2 , respectivamente. Logo, r racional

e R irracional.

Se o ponto A andar um arco de comprimento x, o ponto B tambm ir andar essa

distncia, j que no h deslizamento entre elas.

Suponhamos que aps n voltas completas de A e m voltas completas de B, os pontos

se encontram novamente. Nesse caso, teremos:

n2r = m2R,
 40

pois ambas devero percorrer o mesmo arco. Logo,

nr =  mR
n
R = r
m
n


Como n, m so inteiros,
m
racional, assim como r. Isso um absurdo, pois o

produto de dois racionais tambm um racional, mas R irracional.

Assim, no existem n e m que cumprem as condies e, portanto, os dois pontos

nunca mais se encontram.

Outras aplicaes importantes envolvendo tais nmeros podem ser encontradas na

literatura cientca.
Referncias

[1] FIGUEIREDO, D. G.: Nmeros Irracionais e Transcendentes, Terceira Edio,

Julho, 2002. Sociedade Brasileira de Matemtica.

[2] DOMINGUES, HYGINO H., IEZZI, GELSON : lgebra Moderna, Segunda Edi-

o, So Paulo, 1982. Atual.

[3] HEFEZ, ABRAMO: Elementos de Aritmtica, Segunda Edio, Rio de Janeiro,

2011. SBM.

[4] NIVEN, I., ZUCKERMAN, H. S. and MONTGOMERY, H. L. R.: An Introduction

to the Theory of Numbers, 5th ed.,New York, 1991.

[5] GIOVANNI, J. R., BONJORNO, J. R.: Matemtica Fundamental: uma nova

abordagem, So Paulo, 2002. FTD.

41
6 Apndice

Teorema A. Seja f (t1 , ..., tn ) um polinmio simtrico de grau d com coecientes em

A. Ento, existe um polinmio g(s1 , ..., sn ) de peso menor ou igual a d com coecientes
em A, onde

n
X
s1 = tj
j=1
X
s2 = ti tj
i<j
X
s3 = ti tj tk
i<j<k
.
.
.

sn = t1 t2 ...tn

so os polinmios simtricos elementares em t1 t2 ...tn , tal que

f (t1 , ..., tn ) = g(s1 , ..., sn ).

Demonstrao. (Por induo em n): Para n = 1, o teorema bvio, pois nesse caso

s1 = t1 . Suponhamos, agora, que o teorema seja vlido para polinmios em t1 , ..., tn1 .
Representemos por s1 , ..., sn1 os polinmios simtricos elementares em t1 , ..., tn1 :

Pn1
s1 = tj (6.1.1)
Pj=1
s2 = ti tj , 1 i < j n 1 (6.1.2)
s3 = ti tj tk , 1i<j <k n1 (6.1.3)
.
.
.

sn1 = t1 ...tn1 (6.1.n)

os quais podem ser obtidos das funes correspondentes, fazendo tn = 0.

Agora, para provar que o teorema vale para polinmios em t1 , ..., tn , procedemos por

induo nos graus d desses polinmios. Para d = 0, o resultado trivial, pois teramos

apenas os polinmios constantes. Suponha que o resultado seja vlido para polinmios

de grau menor que d, e provemos que ele se verica para polinmios de grau d. Seja,

42
 43

f (t1 , ..., tn ) um polinmio de grau d. Pela hiptese de induo, existe um polinmio de

peso menor ou igual a d, g1 (s1 , ..., sn1 ), tal que

f (t1 , ..., tn1 , 0) = g1 (s1 , ..., sn1 ). (6.2)

Assim g1 (s1 , ..., sn1 ) um polinmio em t1 ...tn , cujo grau menor ou igual a d.
Vemos que g1 (s1 , ..., sn1 ) um polinmio simtrico em t1 ...tn . Logo,

f1 (t1 , ..., tn ) = f (t1 , ..., tn ) g1 (s1 , ..., sn1 ) (6.3)

um polinmio simtrico em t1 ...tn . Provemos agora que f1 (t1 ...tn ) da forma (6.4),
abaixo, com f2 de grau menor que d, para ento usarmos a hiptese de induo. Agora,

se zermos tn = 0 em (6.3), obtemos, em virtude de (6.2), que

f1 (t1 , ..., tn1 , 0) = 0.

Consequentemente, tn um fator comum em f1 (t1 , ..., tn ). Agora, do fato que

f1 (t1 , ..., tn ) simtrico em t1 , ..., tn , segue-se que tj , para todo j = 1, ..., n, fator
comum de f1 (t1 , ..., tn ). Logo

f1 (t1 , ..., tn ) = sn f2 (t1 , ..., tn ), (6.4)

e da segue que o grau de f2 d n < d. Aplicando a hiptese de induo, temos

que existe um polinmio g2 (s1 , ..., sn ) de peso menor ou igual a d n, tal que

f2 (t1 , ..., tn ) = g2 (s1 , ..., sn ). (6.5)

Finalmente de (6.3), (6.4) e (6.5) obtemos

f (t1 , ..., tn ) = sn g2 (s1 , ..., sn ) + g1 (s1 , ..., sn1 ),

o que mostra que f (t1 , ..., tn ) igual a um polinmio simtrico em s1 , ..., sn : g(s1 , ..., sn ) =
sn g2 (s1 , ..., sn ) + g1 (s1 , ..., sn1 ). O peso de g(s1 , ..., sn ) menor ou igual a d.
E a demonstrao do Teorema A est concluda.

Exemplo 6.1. :

1) (n = 2). O polinmio f (t1 , t2 ) = t21 + t22 + 6t1 t2 simtrico, e vemos que

t21 + t22 + 6t1 t2 = (t1 + t2 )2 + 4t1 t2

logo, o polinmio g(s1 , s2 ) nesse caso ser g(s1 , s2 ) = s21 + 4s2 .

2) (n = 3). O polinmio f (t1 , t2 , t3 ) = t21 + t22 + t23 + t1 t2 t3 simtrico, e, nesse caso,

g(s1 , s2 , s3 ) = s21 2s2 + s3 .