Universidade Estadual Paulista Jlio de Mesquita Filho

Instituto de Geocincias e Cincias Exatas

Campus de Rio Claro

Nmeros Transcendentes e de Liouville

Roberto Miachon Marchiori

Dissertao apresentada ao Programa de PsGraduao  Mestrado Prossional em Matemtica em Rede Nacional como requisito parcial para a obteno do grau de Mestre

Orientadora

Profa. Dra. Elris Cristina Rizziolli

2013

512.7
M317n

Marchiori, Roberto Miachon

Nmeros Transcendentes e de Liouville/ Roberto Miachon
Marchiori- Rio Claro: [s.n.], 2013.
36 f. : il.
Dissertao (mestrado) - Universidade Estadual Paulista, Instituto de Geocincias e Cincias Exatas.
Orientadora: Elris Cristina Rizziolli
1. Teoria dos nmeros. 2. lgebra. 3. Nmeros lgbricos. 4.
Nmeros de Liouville. I. Ttulo

Ficha Catalogrca elaborada pela STATI - Biblioteca da UNESP

Campus de Rio Claro/SP

TERMO DE APROVAO

Roberto Miachon Marchiori

Nmeros Transcendentes e de Liouville

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 Universidade Estadual Paulista Jlio de Mesquita Filho, pela seguinte banca
examinadora:

Profa. Dra. Elris Cristina Rizziolli

Orientadora

Prof. Dr. Aldcio Jos Miranda

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

Profa. Dra. Marta Cilene Gadotti

Departamento de Matemtica - IGCE - UNESP - RIO CLARO/SP

Rio Claro, 28 de Janeiro de 2013

Dedico essa dissertao minha esposa, famlia, amigos e alunos.

Agradecimentos
Em primeiro lugar agradeo a Deus por ter me dado fora nos momentos de maior
diculdade, e seguir em frente para tornar este momento possvel.
Em seguida tenho muito a agradecer a minha esposa pelo incentivo para que me
inscrevesse ao Programa de Mestrado Prossional em Matemtica em Rede Nacional Profmat. Foram incontveis horas de estudos, noites em claro, trabalhos para entregar
e avaliaes para me preparar, sem contar os sbados longe de casa.

Em todos os

momentos tive o apoio total de minha esposa, sempre presente e acreditando em mim
e no meu potencial, mesmo diante das adversidades que encontrei pela frente como,
por exemplo, conciliar o mestrado com o trabalho nas escolas onde leciono e tambm
no Frum (acumulo duas prosses).
Obrigado tambm a minha famlia e amigos que me incentivaram e, claro, no
poderia deixar de citar meus alunos, principal fonte inspiradora para que voltasse a
estudar e me aperfeioar para me tornar um professor um pouco melhor.
Finalmente agradeo a todos os professores do Departamento de Matemtica da
Unesp de Rio Claro, em especial minha orientadora Profa. Eliris e coordenadora
Profa. Suzinei que sempre estiveram presentes para me auxiliar e aos amigos de curso
Luis Henrique, Ronaldo, Ricardo e Pedro com os quais aprendi muito principalmente
o valor de uma amizade.

O nico lugar em que sucesso vem antes de trabalho no dicionrio.

Albert Einstein

Resumo
Tudo nmero, diria o famoso matemtico grego Pitgoras. Os nmeros esto a
nossa volta, como o oxignio que respiramos. Primeiro vieram os naturais, depois os
inteiros, os racionais e os incrveis irracionais, que deixaram os pitagricos to perplexos
a ponto de escond-los. Nmeros primos, perfeitos e outros vieram. E quando tudo
parecia ser real apareceram os imaginrios. Que imaginao tem esses matemticos!
Vamos nos aprofundar em um grupo intrigante de nmeros chamados transcendentes
e aos nmeros estudados por um matemtico francs chamado Liouville.

Palavras-chave:
ouville.

Teoria dos nmeros, lgebra, Nmeros lgbricos, Nmeros de Li-

Abstract
All is number, say the famous Greek mathematician Pythagoras. The numbers are
all around us, like the oxygen we breathe. First came the natural, then the integers,
the rational and the irrational incredible that left perplexed the Pythagoreans so as to
hide them. Prime numbers, perfect and others came. And when everything seemed
to be real the imaginary appeared. What have these mathematical imagination! Let's
delve in a group of intriguing numbers called transcendental numbers and studied by
a French mathematician named Liouville.

Keywords:

Number Theory, Algebra, Algebraic Numbers, Liouville's Numbers.

Sumrio
1 Introduo

2 Nmeros Algbricos e Transcendentes

11

2.1

Nmeros Inteiros

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

11

2.2

Nmeros Algbricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

15

2.3

Nmeros Transcendentes . . . . . . . . . . . . . . . . . . . . . . . . . .

19

3 Os Nmeros de Liouville

25

4 Nmeros Racionais e Irracionais: uma proposta didtica na prtica

da sala de aula
33
Referncias

36

1 Introduo
Os nmeros acompanham os passos do homem desde a Antiguidade e seu desenvolvimento est ligado inicialmente a duas funes bsicas: a contagem e a medio.
Contar envolve a comparao entre grandezas discretas e para tal so usados os nmeros inteiros.
Por vezes medir envolve a comparao entre grandezas contnuas e assim so usados
os nmeros reais.

Com o aprimoramento dos nmeros foi possvel classic-los em

conjuntos.
A humanidade desenvolveu lentamente o princpio de contagem como a comparao
entre grandezas discretas. Neste contexto podemos citar o exemplo clssico do homem
que conta seu rebanho utilizando pedras, da a origem da palavra
A caracterizao formal do conjunto dos

clculo.

Nmeros Naturais representado por N,

por incrvel que possa parecer, recente (incio do sculo XX) e foi feita pelo matemtico
italiano Giuseppe Peano. Tal caracterizao feita de forma axiomtica e baseada na
ideia de sucessor. Assim os nmeros naturais so descritos pelo conjunto a seguir:

N = {1, 2, 3, 4, 5, ...}.
Com relao ao nmero zero no estar representado se deve ao fato de que alguns
autores no o consideram natural, sendo facultativa sua representao. Tambm podemos citar o fato histrico de que o zero surgiu bem depois dos nmeros naturais. O
conjunto dos nmeros naturais munido de duas operaes bsicas: a adio e a multi-

x, y N a soma x + y .
x, y N o produto x.y .

plicao. A adio associa a cada dois nmeros

por sua vez associa a cada dois nmeros
Em seguida, temos o conjunto dos

A multiplicao

Nmeros Inteiros, representado por Z, o qual

formado pelos nmeros naturais, pelo zero e pelos nmeros negativos. A necessidade
da criao deste conjunto se deve ao fato de que dados
se

a < b.

a, b N,

a diferena

abN

Assim representamos os nmeros inteiros da seguinte forma

Z = {..., 3, 2, 1, 0, 1, 2, 3, ...}.
O conjunto dos

Nmeros Racionais, representado por Q, denido como o quo-

ciente de dois nmeros inteiros, sendo o denominador diferente de zero e sua represen-

tao dada por

Q=

p
: p, qZ eq=0 .
q

Todo nmero que pode ser escrito como a razo entre dois nmeros inteiros, exceto
o zero como denominador, chamado de nmero racional. Em particular, os nmeros
naturais e inteiros so racionais pois podem ser escritos com denominador 1. Assim
conclumos que o conjunto dos nmeros naturais e o dos nmeros inteiros podem ser
vistos como subconjuntos do conjunto dos nmeros racionais. Alm dos naturais e dos
inteiros, as fraes, os decimais nitos e os decimais innitos peridicos so nmeros
racionais. Por exemplo,

2=

2
1

3 =

3
1

1, 5 =

3
2

0, 44444... =

4
9

A crena de que todo nmero poderia ser escrito como a razo entre dois inteiros
comeou a cair na Grcia Antiga, mais precisamente na sociedade pitagrica.

Foi

surpreendente e perturbador para os pitagricos o fato de que a medida do comprimento

de sua diagonal de um quadrado de lado unitrio no poderia ser expressa como um
nmero racional. Por mais que se tentasse encontrar, no havia qualquer frao que
multiplicada por ela mesma resulta 2.

Foi um golpe mortal na losoa pitagrica

segundo a qual tudo dependia dos nmeros inteiros. A descoberta da irracionalidade

de

provocou tamanha consternao entre os pitagricos que, por algum tempo, se

zeram esforos para manter a questo em sigilo.

Alguns historiadores dizem que o

pitagrico Hipaso foi expulso da sociedade por revelar o segredo e teria sido lanado
ao mar.
Hoje os

Nmeros Irracionais so bem compreendidos.

So denidos como nme-

ros que no podem ser expressos como a razo entre dois inteiros. Os nmeros racionais
parecem ilhas de ordem num interminvel oceano de desordem representado pelos irracionais.

H um nmero innito de racionais, porm os irracionais so bem mais

numerosos. Enquanto os nmeros racionais tem um padro como as dzimas peridicas

os irracionais so desprovidos de padro. Veja os exemplos:

3
= 0, 428571 428571 428571...
7

2 = 1, 414213562373095... ( 2

3
Q .
7
irracional

).

Os nmeros irracionais formam espaos entre os padres. Foi o matemtico Georg

Cantor que estudou os conjuntos innitos e se era possvel cont-los. Ele descobriu que
os conjuntos dos nmeros naturais, inteiros e racionais so enumerveis (ou contveis),
pois era possvel estabelecer uma bijeo entre estes conjuntos e o conjunto dos nmeros
naturais. Porm o conjunto dos nmeros irracionais no enumervel (incontvel).
A unio dos conjuntos dos nmeros racionais e dos irracionais forma o conjunto dos

Nmeros Reais, representado por R, que no enumervel como veremos no prximo

captulo.

10

Nosso objeto de estudo ser a classicao dos nmeros em

cendentes.

Algbricos e Trans-

Dizemos que um nmero algbrico se o mesmo soluo de uma equao

polinomial com coecientes inteiros.

Caso contrrio ele dito transcendente.

Deste

p, q Z, q = 0, algbrico pois soluo da equao polinomial de coecientes inteiros qx p = 0. Alm

2 que soluo da
disso alguns irracionais tambm so algbricos como por exemplo
2
equao x 2 = 0.
fato j podemos concluir que todo nmero racional

p/q

com

Existem porm alguns nmeros irracionais que no so soluo de nenhuma equao polinomial com coecientes inteiros.
Liouville.

o caso do

Estes so chamados nmeros transcendentes.

do

e dos nmeros de

Alis, o matemtico fran-

cs Joseph Liouville foi o autor da primeira demonstrao da existncia de nmeros transcendentes estabelecendo um critrio para que um nmero seja transcendente.
Este resultado permitiu a construo da famosa

constante de Liouville,

qual seja:

0,110001000000000000000001...
Este trabalho est composto por quatro captulos, a saber, a Introduo no captulo 1, reservamos o captulo 2 para explorar nmeros irracionais e transcendentes, o
captulo 3 ir apresentar os nmeros de Liouville e apresentamos no captulo 4 uma
aula sobre nmeros racionais e irracionais.
Finalmente observamos que so necessrias para a leitura deste trabalho noes
bsicas sobre Anlise Real como prerrequisito.

2 Nmeros Algbricos e
Transcendentes
A seguir exploramos os Nmeros Algbricos e Transcendentes. Iniciamos com denies e propriedades que envolvem os Nmeros Inteiros, uma vez que estes estabelecem
a base para os prximos conceitos.

2.1

Nmeros Inteiros

Denio 2.1. Dados a, b Z, dizemos que a

divide b, e escrevemos a|b, se existir

q Z tal que b = qa. Neste caso, diremos que a um fator ou divisor de b ou ainda
que b um mltiplo de a.

Exemplo 2.1. 3|12, pois 12 = q3 = q = 4.

Denio 2.2.

(a) Um nmero p N, p > 1, chamado primo se este s admite

dois divisores naturais: o 1 e si prprio. Assim p primo se para todo d N tal que
d|p, ento d = p ou d = 1.
(b) Um nmero p Z, p = 0 e p = 1, primo se os nicos nmeros inteiros
que o dividem so p e 1.

Exemplo 2.2. p = 5 e d|5 = d = 5 ou d = 1.

Denio 2.3. Seja a Z. Um nmero inteiro b chamado mltiplo de a se b = aq,
para algum q Z.

Exemplo 2.3. a = 5, q = 4;

b = 5.4 = b = 20

(20 mltiplo de 5).

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

comum de a e b, denotado por d := mdc(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 2.4.

a = 30, b = 75 ento mdc(30, 75) = 15, pois 15|30 e 15|75 e alm

disso se r|30 e r|75 ento r|15 (por exemplo se r = 3, temos que 3|30, 3|75 e ainda que
3|15).
Se

11

12

Nmeros Inteiros

Observao 2.1.

mdc(a, 0) = a,

se

que

Teorema 2.1.

mdc(a, 0)
a = 0.

no existe caso

seja

nulo.

Alm disso, assumimos

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

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

a = qb + r.

(2.1)

Demonstrao. (i) Existncia.

(b > 0)

b ordenados de acordo
..., 3b, 2b, b, 0, b, 2b, 3b, ...,

Consideremos o conjunto dos nmeros mltiplos de

com a ordem natural da reta, isto , o conjunto

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.

Para

q = 3,

temos por exemplo,

[3b, 2b) = [3b, (3 + 1)b) = {x R : 3b x < 2b}.

a Z, este pertence a apenas um desses intervalos e portanto necessaforma a = qb + r , com q Z e r 0. claro que r < (q + 1)b qb = b.

Assim, dado
riamente da

(b < 0)

Aplicamos o teorema para

|b|,

logo existem

q , r Z,

com

0 r < |b|

tais

que

a = q |b| + r.
q = q , como |b| = b,
q, r Z e 0 r < |b|.
Fazendo

(ii)

Unicidade.

(pois

Resta demonstrar que

De fato, suponha que

a = qb + r

b < 0),

r,

a = q 1 b + r1 ,

(2.2)
obtemos de (2.2)

a = qb + r,

onde

os quais satisfazem (2.1) so nicos.

com

0 r < |b|

0 r1 < |b|.

Assim,

qb + r = q1 b + r1
r r1 = (q1 q)b.

(2.3)

r = r1 . Com efeito, se r = 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,

Armamos que

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

13

Nmeros Inteiros

Segue que

0 < |r1 r| < |b|.

(2.4)

|r1 r| = |q1 q||b|.

(2.5)

Agora de (2.3) obtemos,

Substituindo (2.5) em (2.4), obtemos,

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

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 (2.3) implica q1 = q , j que 0 = (q1 q)b e b = 0 por
Logo,

hiptese.

Exemplo 2.5.

Se

a = 17

b=5

ento obtemos

q=3

r=2

pois

17 = 3.5 + 2.

Teorema 2.2. Dados a, b Z, pelo menos um deles no nulo, existem x0 , y0 Z tais

que

ax0 + by0 = d

onde d = mdc(a, b).

Demonstrao.

Considere o conjunto C de todos os inteiros positivos da forma

ax + by ,

C = {n N : n > 0 e n = ax + by, para algum x e algum y}. O conjunto C

no vazio, pois tomando x = a e y = b temos n = aa + bb C . Utilizando o Princpio
isto ,

da Boa Ordenao podemos armar que C tem um menor elemento.

Dessa forma, existe

d1

tal que

d = ax0 + by0 ,

com

x0 , y0 Z,

d ax + by
para todo

ax + by C .

(2.6)

A seguir armamos que

d | ax + by
para todo

ax + by C .

d ax + by .

Logo, existem

(2.7)

Para demonstrar (2.7) suponhamos, por contradio, que

q, r Z

com

0<r<d

tais que

ax + by = qd + r = q(ax0 + by0 ) + r,
de onde segue que

r = a(x qx0 ) + b(y qy0 )

Como

r > 0,

a expresso (2.8) diz que

contrariando o fato de assurmirmos

d | ax + by .

r C.

Porm isso um absurdo pois

(2.8)

r < d,

como o menor elemento do conjunto C. Logo

14

Nmeros Inteiros

A relao

d | ax + by

implica

d | |a|

d | |b|

pois, ou um deles zero e

d | 0,

ou

ambos so positivos e, nesse caso, ambos esto em C. De fato,

|a| = a(sgn{a}) + b.0

|b|; em (2.9) sgn{a} = +1 se a > 0
sgn{a} Z. Consequentemente,

e analogamente para
em ambos os casos

(2.9)
e

sgn{a} = 1

se

d | a e d | b.

a < 0,

(2.10)

n N tal que n | a e n | b, ento n | (ax0 + by0 ), ou seja, n | d.

d | a e d | b e tambm para n N, n | a e n | b, ento n | d, conclumos que

Por outro lado, se

Portanto,

o mximo divisor comum de a e b. Logo,

d = ax0 + by0 = mdc(a, b),

o que naliza a demonstrao.

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

Demonstrao.
Tambm (pela

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

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

K = (qx0 + py0 ) Z, (pois vale a lei do fechamento da adio
Z e q, x0 , p, y0 Z). Portanto, ax0 + by0 = dK, K Z, ou seja,

Observe que
cao em

e multipli-

d|(ax0 + by0 ).

Exemplo 2.6. 3|6 e 3|9 3|(6x0 + 9y0 ), x0 , y0 Z.

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

Demonstrao.

Se

p|a,

p e a so primos
ax0 + py0 = 1. Assim,
seja,

nada temos que provar. Suponhamos que

entre si. Logo, pelo Teorema 2.2, existem

p no divide a, ou
x0 , y0 Z tais que

abx0 + pby0 = b.
Como

p|ab

(por hiptese) e claramente

p|pb,

logo pelo Lema 2.1, segue que,

p|(abx0 + pby0 ).
Portanto de

(2.11)

segue que

p|b.

(2.11)

15

Nmeros Algbricos

Exemplo 2.7.
2.

p = 3, a = 9, b = 5, assim 3|9.5 e tambm 3|9.

p = 3, a = 9, b = 6, temos que 3|9.6 e tambm 3|9 e 3|6.
1. Sejam

Corolrio 2.1. Seja p N um nmero primo e a Z. Se p|an , ento p|a.

Demonstrao.

Esse resultado segue usando o Princpio da Induo Finita. Queremos

mostrar a veracidade da sentena.

P(n) : p|an = p|a, n N.

Note que, obviamente,

P(1)

vlida,

P(1) : p|a1 = p|a.

P(2)
p|a.

Alm disso, observe que

ento

p|a

ou

p|a,

isto ,

tambm vlida pois se

Suponha agora que para qualquer

P(k + 1)

p|ak+1

p|a.a,

ento

p|a.

vlida, ou seja,
Se

Observe que

pelo Lema 2.2, se

k N,

P(k) : Se p|ak ,
Queremos mostrar que

p|a2 ,

p|ak+1 ,

o mesmo que

p|ak .a.

ento

p|a.

Agora, do Lema 2.2, segue que

p|ak

ou

p|a.

p|a, o resultado est provado. Por outro lado, se p|ak temos por Hiptese de Induo
k
k+1
que p|a implica que p|a e tambm est provado. Portanto, p|a
implica p|a.
Se

Uma vez explorados os Nmeros Inteiros, apresentamos os Nmeros Algbricos.

2.2

Nmeros Algbricos

Um nmero real ou complexo dito algbrico quando soluo de uma equao

polinomial com coecientes inteiros, conforme a denio abaixo:

Denio 2.5. Qualquer soluo de uma equao da forma

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

(2.12)

em que cada coeciente ai Z, i {0, 1, ..., n 1}, chamado de inteiro algbrico.

Exemplo 2.8.
equao

1.

x a = 0,

Seja

a Z,

ento

um inteiro algbrico, pois

a qual do tipo (2.12), para

n=1

a0 = a.

soluo da

16

Nmeros Algbricos

2.

3.

um inteiro algbrico, j que soluo de

2+

x2 5 = 0 .

um inteiro algbrico, uma vez que soluo de uma equao do tipo

(2.12). A seguir descrevemos como obt-la.

Para obtermos uma equao do tipo (2.12), precisamos aplicar duas quadraturas.
Aplicando a primeira quadratura, temos

x=

2+

3 x2 = ( 2 + 3)2 x2 = 2 + 3.

Para eliminar o radical que restou, aplicamos outra quadratura,

x2 = 2 +

x2 2 = 3

(x2 2)2 = ( 3)2

x4 4x2 + 4 = 3
x4 4x2 + 1 = 0.
Portanto,

x4 4x2 + 1 = 0,

a equao procurada.

b N, um inteiro algbrico. De

x = b x2 = ( b)2 x2 = b x2 b = 0,

4. Todo nmero da forma

b,

com

e esta ltima uma equao do tipo (2.12), para

5.

a Z , o nmero
2
equao x + a = 0.

Para cada

o da

Observao 2.2.

complexo

i a

fato,

n = 2, a0 = b.
um inteiro algbrico, pois solu-

Dos exemplos acima, podemos observar que todos os Nmeros In-

Irracionais
Complexos. O Teorema a seguir caracteriza os Inteiros Algbricos Reais.
teiros so Inteiros Algbricos.

Tambm, existem Inteiros Algbricos

Teorema 2.3. 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.

Suponha por absurdo, que o nmero racional

mdc(p, q) = 1,

x =

p
,
q

em que

p, q Z, q > 1

satisfaa a equao do tipo (2.12), ou seja,

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

Ento,

p
q

+ an1

p
q

n1

+ ... + a1

p
q

+ a0 = 0

17

Nmeros Algbricos

pn
pn1
p
+ an1 n1 + ... + a1 + a0 = 0
n
q
q
q
pn
pn1
p
= an1 n1 ... a1 a0
n
q
q
q
pn = q n an1

pn1
p
... a1 a0
n1
q
q

pn = (an1 pn1 q ... a1 pq n1 a0 q n )

pn = q(an1 pn1 ... a1 pq n2 a0 q n1 ).
j = (an1 pn1 ... a1 pq n2 a0 q n1 ), temos que j Z (pois vale a
n
n
lei do fechamento, da adio e multiplicao em Z) e que p = qj , ou seja, q|p . Agora,
seja r um fator primo de q , r = 1 (observe que se r for primo podemos considerar
r = q ); ento r divide pn e pelo Corolrio 2.1 isso implica que r|p. Obtemos assim que,
r|q e r|p, o que contradiz o fato de mdc(p, q) = 1 (o absurdo ocorre quando admitimos
p
soluo da equao do tipo (2.12)).
que
q
Considerando,

No prximo exemplo mostraremos a irracionalidade de algumas razes quadradas.

Exemplo 2.9. (a) 2 irracional.

2 racional, ento este pode ser

a
escrito como
, com a, b Z e b = 0 e a, b irredutveis, ou seja, primos entre si. Ento
b

a
a2
2 = 2 = 2 a2 = 2b2 . Como a2 par, ento a par (pois se a fosse
temos:
b
b
2
2
2
mpar, ento a = 2k + 1, k Z a = 4k + 4k + 1 ento a seria mpar). Assim,
2
2
2
2
2
2
2
sendo a par, ento a = 2k a = 4k 2b = 4k b = 2k b par, da b
par. Contradio, pois a e b so primos entre si.
De fato, supomos

(b) 3 irracional.

p2 mltiplo de 3, ento p mltiplo de 3. De fato,

2
contrapositiva, que se p no mltiplo de 3, ento p no

Observe primeiramente que se

vamos provar, usando a
mltiplo de 3.

p no
0 < r < 3.

Note que

qZ

mltiplo de 3, pelo Teorema 2.1, signica que

Da,

p2 = (3q + r)2
p2 = 9q 2 + 6qr + r2
p2 = 3(3q 2 + 2qr) + r2
p2 = 3q + r2
q = (3q 2 + 2qr) Z.
Estudemos o resto r , 0 < r < 3,
r=1

onde

(i)

p2 = 3q + 1

p = 3q + r,

onde

18

Nmeros Algbricos

Logo, neste caso,

p2

no mltiplo de 3.

r=2

(ii)

p2 = 3q + 4 p2 = 3q + 3 + 1 p2 = 3q + 1
onde

q = (q + 1) Z.

Tambm, neste caso,

Agora sim mostraremos que

por absurdo que

mdc(p, q) = 1,

tal que

p
x= .
q

p
q

x =
p2

Substituindo

p = 3a, para
p = 3a, temos,

Logo, existem

p, q Z,

com

q > 1

p2
3 = 2 3q 2 = p2 .
q

p mltiplo
algum a Z.

mltiplo de 3. Logo

escrito da forma

no mltiplo de 3.

um nmero irracional. Para tanto, suponhamos

um nmero racional.

Assim:

Segue que

p2

3.

de

Consequentemente,

pode ser

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

Logo,

q2

mltiplo de 3, e assim,

Portanto,

mltiplo de 3.

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

entre si.

(c)

Se um nmero natural no o quadrado de um outro nmero natural, sua raiz

quadrada um nmero irracional. Para provar este fato, seja

n N.

p
Q
q

Se

que

p
q
Como os fatores primos de

p2

ocorrer com os fatores primos

tal

= n = p2 = nq 2

q 2 aparecem todos com expoente par, o mesmo deve

de n. Ento n o quadrado de algum nmero natural.
e

Alm dos nmeros racionais e irracionais, outros importantes nmeros reais so os

nmeros algbricos e transcedentes, os quais so denidos a seguir.

Denio 2.6.

(a) Qualquer soluo de uma equao polinomial da forma

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

(2.13)

chamado um nmero algbrico. Ou seja, um nmero algbrico quando possvel

encontrar uma equao polinomial com coecientes inteiros, da qual seja raiz.
(b) Um nmero que no seja algbrico chamado transcendente.

Exemplo 2.10.
equao

(i) Qualquer nmero racional

qx p = 0.

p
,
q

algbrico porque

(ii) Qualquer inteiro algbrico um nmero algbrico.

a raiz da

19

Nmeros Transcendentes

Os nmeros algbricos possuem algumas propriedades de fechamento, as quais so

listadas no Teorema a seguir.

Teorema 2.4. Valem as seguintes propriedades:

(i) A soma de dois nmeros algbricos um algbrico;

(ii) O produto de dois nmeros algbricos um algbrico;
(iii) O simtrico de um nmero algbrico algbrico;
(iv) O inverso 1 de um nmero algbrico = 0 um inteiro algbrico.

Demonstrao. (i) e (ii) Vide [1].

(iii) Se algbrico, ento ele raiz de uma equao do tipo (2.13).

Portanto

raiz da equao

(1)n an xn + (1)n1 an1 xn1 + ... + (1)a1 x + a0 = 0.

(iv) Se satisfaz a equao (2.13) e = 0, ento 1 satisfaz equao

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

2.3

Nmeros Transcendentes

Como na seo 2.2, um nmero transcendente quando este no algbrico, ou seja,

quando tal nmero no raiz de alguma equao polinomial de coecientes inteiros
no nulos.

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

transcendentes. Para tal necessitamos de alguns conceitos.

Denio 2.7. 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, (isto , uma funo injetiva e sobrejetiva),
f : N A.

Exemplo 2.11. (a) O conjunto dos nmeros pares positivos enumervel.

{2n, n N},

Seja

e considere a seguinte funo

f : N P
n 2n

(i) f

injetora. Suponha que

f (x) = f (y).

Queremos mostrar que

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

(ii) f

f,

injetora.

sobrejetora, isto

f (N) = P .

De fato,

x = y.

Como

P =

20

Nmeros Transcendentes

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.
-

(b) O conjunto dos nmeros mpares positivos enumervel.

Basta considerar a funo

f : N I
n 2n 1
onde

I = {2n 1, n N}.

A demontrao pode ser feita de modo anlogo ao exemplo

(a).

(c) O conjunto Z enumervel.

Observe a correspondncia abaixo

..., 3, 2, 1, 0, 1, 2, 3, ...
...

7,

5,

3,

1, 2, 4, 6, ...

Esta correspondncia pode ser descrita pela funo denida por partes

f : Z
N
n f (n),
onde

f (n) =

(i) f

2n,
se n > 0,
2n + 1, se n 0.

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

- se x, y > 0, f (x) = 2x = 2y = f (y)
- se x, y < 0, f (x) = 2x + 1 = 2y + 1 = f (y)
- se x > 0 e y < 0, temos que f (x) = 2x ef (y) = 2y + 1 da, f (x) = 2x = 2y =
2y = 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 = 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 = 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 ,
injetora, isto ,

temos

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

21

Nmeros Transcendentes

Se

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

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

Portanto

sobrejetora.

Por (i) e (ii)

tomarmos

f =g

bijetora.

Como

bijetora, existe

g 1 : N Z,

assim basta

(d) O conjunto dos nmeros racionais enumervel.

Mostremos primeiramente que o

conjunto dos nmeros racionais positivos enumervel.

1
2

1
3

1
4

1
5

2
1

2
2

2
3

2
4

2
5

3
1

3
2

3
3

3
4

3
5

4
1

4
2

4
3

4
4

4
5

5
1

5
2

5
3

5
4

5
5

.
.
.

.
.
.

.
.
.

.
.
.

.
.
.

1
1

Observe que todos os nmeros da forma

p
,
q

com

p, q N

q=0

aparecem no quadro

acima. Se o percorrermos seguindo as echas temos uma ordenao desse conjunto, a

funo

f
f : N Q+
n f (n)
f (n) = n-simo elemento que encontramos seguindo as echas. No
+
que f bijeo e que portanto o conjunto Q
= {x Q, x > 0}

denida como
difcil ver
enumervel.

A enumerabilidade de

Q segue do item (i) do

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

prximo Teorema, lembrando que

A seguir demonstramos algumas propriedades sobre conjuntos enumerveis.

Teorema 2.5.

(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.

22

Nmeros Transcendentes

Demonstrao. (i)

A = {a1 , a2 , ..., an } um conjunto nito e B = {b1 , b2 , ...} um

conjunto enumervel. O conjunto A B enumervel. De fato, basta considerar a
correspondncia biunvoca entre A B e N dada por
Seja

a1 , ..., an ,
1

b1 ,

b2 ,

...

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 , b1 , a2 , b2 , a3 , ...
1

...

(iii) Sejam A1 , A2 , ..., An conjuntos enumerveis, queremos mostrar que A1 A2 ...An ,

n N. Para isto usamos o Princpio de Induo Finita. Note que para
k = 1 a propriedade vlida pois A1 enumervel. Para k = 2 vlida pelo item
(ii). Suponha que seja vlida para k , ou seja, se A1 , A2 , ..., Ak so enumerveis, ento
A1 A2 ... Ak enumervel. Provemos ento que a propriedade vlida para k + 1.
A1 , ..., Ak , Ak+1 so enumerveis, ento
enumervel,

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

enumervel por Hiptese de Induo e

A1 ... Ak Ak+1

Portanto

(iv)

A Ak+1

enumervel por

(ii).

enumervel.

{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 } e An = {an1 , an2 , ..., anln }. Ento,
Seja

A1 A2 ... An ... = {a11 , a12 , ..., a1l1 , a21 , a22 , ..., a2l2 , ..., an1 , an2 , ..., anln , ...}
Dena a seguinte correspondncia entre

a11 , ..., a1l1 ,

1,

...,

l1 ,

a21 ,

...,

a2l2 ,

A1 A2 ... An ...
...,

an1 ,

N:
..., anln , ...

l1 + 1, ..., l1 + l2 , ..., l1 + l2 + ... + ln1 + 1, ...

ln+1 ...

23

Nmeros Transcendentes

Logo,

(v)

A1 A2 ... An ...

enumervel.

{A1 , A2 , ..., An , ...} um conjunto enumervel onde

enumervel para qualquer i {1, .., n, ...}. Suponha que
Seja

cada

Ai

um conjunto

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

A2 = {a21 , a22 , a23 , ...},
An = {an1 , an2 , an3 , ...}...
Disponha os elementos de

A1 , A2 , ..., An , ...

como na tabela

a11 , a12 , a13 ,

a21 , a22 , a23 ,
...
...
...
an1 , an2 , an3 ,
...
...
...
...
...
...
...
...
...
Formando echas como feito em

Q+

denimos

...
...
...
...
...
...
...
por

f (n) = n-simo

elemento que en-

contramos 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

A enumervel existe uma correspondncia biunvoca, f , entre
considerar a restrio f |B : B N.

enumervel, pois como

A,

ento basta

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

Demonstrao.
0 x < 1)

x [0, 1), (isto ,

segue que R tambm

Demonstraremos que o conjunto dos nmeros reais

no enumervel e, em virtude da observao acima,

no enumervel.

Primeiro note que os nmeros

x [0, 1)

tem uma representao

decimal da forma

0, a1 a2 a3 ...

0, 1, 2, 3, 4, 5, 6, 7, 8 ou 9. Alguns nmeros tem duas repre1

sentaes da forma (2.14), por exemplo,
igual 0, 50... ou 0, 499... Para tais nmeros,
2

onde

aj

(2.14)

um dos algarismos

escolhemos a representao decimal que termina. Em outras palavras, eliminamos os

9. Suponhamos
[0, 1), formam um

decimais (2.14) que a partir de uma certa ordem todos os elementos so

que os decimais tipo (2.14), ou que os nmeros reais no intervalo
conjunto enumervel.

24

Nmeros Transcendentes

0, a11 a12 a13 ...

0, a21 a22 a23 ...

(2.15)

0, a31 a32 a33 ...

...
0, b1 b2 b3 ... do seguinte modo: todos os bi 's so diferentes
de 0 ou 9 e b1 = a11 , b2 = a22 , ... . claro que 0, b1 b2 b3 . . . = 0, an1 an2 an3 . . ., para todo
n, pois bn = ann . Logo 0, b1 b2 b3 . . . no est na tabela (2.15) o que um absurdo, j
Agora considerando o decimal

que um nmero real entre 0 e 1.

Com os resultados anteriores provamos a existncia de nmeros transcedentes garantido pelo seguinte teorema.

Teorema 2.7. Existem nmeros transcendentes.

Demonstrao.

Dado um polinmio com coecientes inteiros,

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

(2.16)

Denimos sua altura como sendo o nmero natural

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

O Teorema Fundamental da lgebra nos diz que

(2.17)

P (x) = 0, tem exatamente n razes

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

na denio da altura em (2.17)).

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

P (x) =

3x x + x 5, ento |P | = |3| + | 1| + |0| + |1| + | 5| + 4, pelo Teorema Fundamental

da lgebra P (x) possui quatro razes complexas e com essa altura podem existir at
treze polinmios). 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 transcendentes reais.
Assim, como o conjunto

no enumervel, o conjunto dos transcendentes reais deve

ser no enumervel, j que, caso contrrio, pelo item (ii) do Teorema 2.5,

seria enu-

mervel. Consequentemente, existe um conjunto innito no enumervel de nmeros

reais transcendentes.

3 Os Nmeros de Liouville
O Teorema 2.7 apresentado no captulo anterior garante a existncia de nmeros
transcendentes e, de fato, existem em abundncia, mas no fornece explicitamente
nenhum nmero transcendente. Foi o matemtico francs Joseph Liouville, em 1851,
que estebeleceu um critrio para que um nmero real seja transcendente. Com o seu
trabalho, passou a ser possvel escrever explicitamente alguns nmeros transcendentes.

Denio 3.1. Um nmero algbrico de grau n se ele for raiz de uma equao

polinomial de grau n com coecientes inteiros, e se no existir uma equao desse tipo,
de menor grau, da qual seja raiz.

Exemplo 3.1.
1,

Os Nmeros Racionais coincidem com os nmeros algbricos de grau

pois qualquer nmero racional da forma

polinomial de grau

p/q ,

com

p, q Z

q=0

raiz da equao

1
qx p = 0.

Denio 3.2. Dizemos que um nmero real aproximvel na ordem n por racionais

se existirem uma constante c > 0 e uma sucesso {pj /qj } de racionais distintos, com
qj > 0 e mdc (pj , qj ) = 1 tais que

Observao 3.1.

c
pj
< n .
qj
qj
for aproximvel na ordem n,
k < n. De (3.1) obtemos que

Segue que, se um nmero

aproximvel em qualquer ordem

k,

com

pj
<c,
qj

{qj } no se mantm limitada.

(3.1) conclumos que

o que mostra que a sucesso

que

qj +.

Logo, de

lim

(3.1)

pj
qj

= .

ento ele

(3.2)

Podemos, portanto, deduzir

(3.3)

Ainda, veja que a importncia da Denio 3.2 no est na existncia de uma sucesso
de racionais convergindo para

(tais sucesses sempre existem qualquer que seja o real

25

26

essa a chamada densidade dos racionais no conjunto dos reais), mas no fato de

que uma sucesso particular de racionais converge para

de acordo com (3.1). Outro

ponto relevante na Denio 3.2 que podemos tomar racionais todos diferentes, o
que acarretar, em particular, que possamos torn-los diferentes de

mesmo no caso

deste ser racional.

Na sequncia vamos estabelecer as relaes entre os dois conceitos introduzidos nas
Denies 3.1 e 3.2 dadas anteriormente.

Teorema 3.1. Todo nmero racional (nmero algbrico de grau 1) aproximvel na

ordem 1, e no aproximvel na ordem k , para k > 1.
Demonstrao.

(i) (todo nmero racional aproximvel na ordem

p/q um nmero racional, com q > 0 e mdc(p, q) = 1.

x0 , y0 Z tais que
px0 qy0 = 1.
Seja

1)

Pelo Teorema 2.2 existem

(3.4)

Na verdade a equao

px qy = 1

(3.5)

tem um nmero innito de solues da forma

xt = x0 + qt, yt = y0 + pt,
para qualquer

t Z,

(3.6)

as quais satisfazem (3.5), isto ,

pxt qyt = 1.
Fixando

(3.7)

k N, tal que k > x0 /q , considere as sucesses {xj }, {yj }, denidas a partir

de (3.6) por

xj = x0 + q(k + j), yj = y0 + p(k + j), j N.

Pela restrio sobre

k,

temos

xj > qj

e da

xj > 0,

pois

q > 0.

(3.8)

Agora, armamos que

yj
yj
=
, se j = j ,
xj
xj

(3.9)

pois caso houvesse igualdade entre os racionais em (3.9), por (3.6) e (3.4) teramos

j.

Em virtude de (3.7), os

xj 's

e os

yj 's,

j=

denidos em (3.8), satisfazem a desigualdade

1
2
p yj

=
< ,
q xj
qxj
xj
o que prova que

p/q

aproximvel na ordem

1.

(ii) (todo nmero racional no aproximvel na ordem

racional

v/u = p/q

com

u > 0,

k,

para

k > 1)

Para qualquer

tem-se

1
p v
|pu qv|

.
q u
qu
qu

(3.10)

27

Ora, se

p/q

fosse aproximvel na ordem 2, teramos a existncia de um

sucesso de racionais

vj /uj

c > 0, e de uma

diferentes, tais que

p vj
c

< 2.
q uj
uj

(3.11)

1/quj < c/u2 , isto , uj < qc, o que, entretanto,

j
uj +. Dessa forma, p/q no aproximvel na ordem

De (3.10) e (3.11), segue-se que

no pode ser verdade, pois

2, e portanto, tambm no aproximvel em nenhuma ordem superior.

Observao 3.2.

A parte (ii) do Teorema 3.1 consequncia de um resultado mais

geral demonstrado abaixo, a saber Corolrio 3.1.

Teorema 3.2. Todo nmero irracional aproximvel na ordem 2, isto , existe uma
constante c > 0 tal que a desigualdade abaixo se verica para um nmero innito de
racionais p/q distintos,

Demonstrao.

Seja

um nmero irracional e

inteira de um nmero real

agora os

n+1

c
p
< 2.
q
q

x,

n N.

Representamos por

isto , o maior inteiro menor ou igual a

x.

[x]

a parte

Considere

nmeros reais

0, [], 2 [2], ..., n [n],

(3.12)

[0, 1) = {x : 0 x < 1}.

Considere em seguida a

os quais pertencem ao intervalo

partio do intervalo

[0, 1)

em

intervalos, disjuntos dois a dois, e da forma

j j+1
,
n n

, j = 0, 1, ..., n 1.

(3.13)

claro que, pelo menos, dois dos reais em (3.12) esto em um mesmo intervalo do tipo
(3.13). Digamos que eles sejam

n1 [n1 ]

n2 [n2 ],

os quais temos ento

|n2 [n2 ] n1 + [n1 ]| <

Seja agora

k = n2 n1

h = [n2 ] [n1 ],

com

0 n1 < n2 n,

1
.
n

os quais so inteiros com

para

(3.14)

k > 0, h 0.

Logo, (3.14) pode ser escrito como

|k h| <

1
ou
n

h
1
<
,
k
nk

segue que

k < n. Em sntese, mostramos

h/k , com k < n, para o qual (3.15) se

para

h
1
< 2,
k
k

que, para cada

(3.15)

n,

existe um racional da forma

verica. Agora, armamos que (3.15) se verica

28

para um nmero innito de racionais

isto , h apenas

h1 /k1 , ..., hr /kr ,

h/k

distintos. Suponha que tal no seja verdade,

racionais distintos satisfazendo (3.15).

Agora seja

= min{| h1 /k1 |, ..., | hr /kr |}

e tome

nN

tal que

1/n <

. Vimos que existe um racional

tal que

h
1
<
.
k
nk

1/nk < 1/n < , segue que h/k = hi /ki ,

contradio, pois h/k satisfaz (3.15).
Como

Observao 3.3.

h/k

para i = 1, ...

, r.

Isso uma

(i) O Teorema 3.2 arma que um nmero irracional aproximvel,

pelo menos, na ordem 2. Dependendo do nmero irracional ele poder ser aproximvel
numa ordem superior a 2.

O Teorema 3.3 abaixo fornece informaes mais precisas

sobre essas ordens de aproximao.

(ii) Hurwitz provou que a menor constante c que vlida para todos os irracionais na
desigualdade acima
irracional

1 5.

Mais precisamente, se

1
A< ,
5

ento existe um nmero

tal que para todos os racionais p/q, exceptuando-se um nmero nito deles.

Para mais detalhes, conra I. Niven,

"Diophantine Approximations".

p
A
> 2.
q
q

Teorema 3.3. Seja um nmero algbrico real de grau n. Ento existe uma constante

A > 0 tal que

p
1
>
q
Aq n

(3.16)

para todo racional p/q . (Se n = 1, tome p/q = )

Demonstrao.

Uma vez que

um nmero algbrico real de grau

n,

segue que

uma soluo de uma equao polinomial da forma

f (x) = an xn + an1 xn1 + ... + a1 x + a0 = 0.

Seja

(3.17)

d > 0 tal que, no intervalo [ d, + d] a nica raiz de f (x) = 0 .

de um tal
Portanto

segue do fato que a equao polinomial tem no mximo

pode ser qualquer nmero menor que a menor das distncias de

A existncia
razes reais.

as demais

razes reais.
A seguir observamos que a derivada

f (x)

de

f (x)

um polinmio de grau

portanto, ela limitada em qualquer intervalo nito. Seja pois

|f (x)| < M,

para

x [ d, + d].

M >0

n 1,

e,

tal que
(3.18)

29

p/q ,

Para qualquer racional

com

q > 0,

em

[ d, + d]

temos, aplicando o Teorema

do Valor Mdio, que

f () f (p/q) = ( p/q)f (),

com

( d, + d).

Como

p
q

f () = 0,
=

obtemos

p
p
|f ()| M ,
q
q

(3.19)

em que usamos a estimativa (3.18) no ltimo passo. Para obter a desigualdade buscada,
necessitamos de uma estimativa inferior para

p
q

f (p/q):

an pn + an1 qpn1 + ... + a0 q n

1
n.
n
q
q

(3.20)

De (3.19) e (3.20) segue que

para

p/q [ d, + d].

Se

p/q

1
p
>
,
q
M qn

no estiver nesse intervalo teremos, ento

e como

q1

p
> d,
q

temos

Tomamos, nalmente,

1/A

p
d
> n.
q
q

igual ao menor dos nmeros

(3.16) para todos os racionais

1/M

d,

e obtemos a relao

p/q .

Corolrio 3.1. Se um nmero algbrico real de grau n, ento no aproximvel

na ordem n + 1.
Demonstrao.

Por contradio, suponha que existe

c > 0

e uma sucesso

pj /qj

de

racionais distintos tais que

pj
c
< n+1 .
qj
qj

(3.21)

Para tais racionais, seguir-se-ia de (3.16) e (3.21) que

c
1
< n+1 ou qj < Ac.
n
Aqj
qj
Mas a ltima desigualdade no possvel, pois

Observao 3.4.

qj +.

Uma verso mais forte do Teorema (3.3) segue-se de um teorema de

Roth-Siegel-Thue, que estabelece o seguinte: "Seja um nmero algbrico; se houver

uma innidade de racionais distintos p/q , com mdc(p, q) = 1, q > 0, satisfazendo a
desigualdade

p
1
,
q
q

30

ento 2".
p/q

> 2, ento h apenas um nmero nito de racionais

Segue-se da que se

satisfazendo desigualdade

para um dado nmero algbrico

1
p
,
q
q

E nalmente, uma consequncia imediata disso

o seguinte resultado. Dados um nmero algbrico

constante

c>0

e um nmero

> 0,

existe uma

tal que

para todos os nmeros racionais

C
p
2+
q
q

p/q .

Denio 3.3. Um nmero real chamado um nmero de Liouville se existir uma

sucesso {pj /qj }, qj > 0, mdc(pj , qj ) = 1, com todos os elementos diferentes, e tal que

Observao 3.5.

1
pj
< j.
qj
qj

(3.22)

Em particular podemos dizer que um nmero real

nmero de Liouville se para todo nmero inteiro

0<

existirem inteiros

chamado de
p e q tais que:

p
1
< n , q > 1.
q
q

Os nmeros de Liouville so nmeros que podem ser aproximados tanto quanto se

queira por nmeros racionais.
Vemos a seguir que os nmeros de Liouville so irracionais e transcendentes.

Teorema 3.4. Todo nmero de Liouville irracional.

Demonstrao.

Suponha, por contradio, que um certo nmero de Liouville

seja um inteiro positivo

tal que

2n1 > b.
0<

A primeira desigualdade nos diz que

Como

nmero de Liouville, ento

1
a p

< n.
b q
q
a
p
=
b
q

o que equivale a

|aq bp| 1

aq bp
1
1
1
a p

> n1 n ,
b q
bq
bq
2 q
q
o que leva a uma contradio.

Teorema 3.5. Todo nmero de Liouville transcendente.

, assim,

a
b

31

Demonstrao.

Suponha, por absurdo, que um certo nmero de Liouville

brico, digamos de grau

n.

seja alg-

Ento, pelo Teorema 3.3, a relao (3.16) seria vlida para

todo racional. Em particular, para os

pj /qj

da Denio 3.3. Dessa forma teramos

pj
1
1
<
< j,
n
Aqj
qj
qj
de onde obtemos

jn
qj < A.
Como

qj +,

(3.23)

segue que (3.23) no vericada para

contradio est no fato de supormos que

sucientemente grande. A

seja algbrico.

O resultado seguinte til nos exemplos.

Lema 3.1. Seja um nmero tal que

vj
1
< j,
uj
uj

em que {vj /uj } uma sucesso de racionais diferentes com uj > 0. (Ateno: no
exigimos que mdc(vj , uj ) seja 1). Ento um nmero de Liouville.
Demonstrao.

Considere a sucesso

por

{pj /qj },

com

qj > 0

mdc(pj , qj ) = 1

denida

pn
vn
= .
qj
uj

Ento,

o que prova que

Exemplo 3.2.

vj
1
1
pj
=
< j j,
qj
uj
uj
qj

um nmero de Liouville.

Seja

=
k=1

1
.
10k!

(3.24)

Consideremos a sucesso de racionais denida por

vj
=
uj
Temos,

k=1

1
.
10k!

vj
1
1

=
= (j+1)!
k!
uj
10
10
k=j+1

1+

1
10(j+2)!(j+1)!

A expresso em parnteses majorada por

1+

1
1
10
+ 2 + ... = .
10 10
9

+ ... .

(3.25)

32

Logo, o ltimo membro de (3.25) majorado por

(10j! )j 10j!

1
10
<
,
9
(10j! )j

e portanto

Como

uj = 10j! ,

Exemplo 3.3.

segue que

1
vj
<
.
uj
(10j! )j

denido em (3.24) um nmero de Liouville.

Qualquer nmero da forma

=
k=1

ak
,
10k!

ak um qualquer dos nmeros de 1 a 9, um nmero de Liouville.

ak = 1 ento a chamada constante de Liouville.

onde
se

Em particular,

Denio 3.4. A constante de Liouville foi o primeiro nmero transcendente historicamente reconhecido e denida por

10k! = 0, 110001000000000000000001...

L=
k=1

Note que a constante de Liouville corresponde a um decimal no peridico no qual

o algarismo

ocupa a casa decimal correspondente a um fatorial

so ocupadas pelo algarismo

k!

e as demais casas

0.

Proposio 3.1. A constante de Liouville um nmero de Liouville.

Demonstrao.
n

forma:

Considere um certo

10n!k! , q = 10n! .

p=

inteiro e positivo xo e dena

Dessa forma,

k=1

p
=
10k! =
q
k=n+1

10(n+k+1)!
k=0

10(n+1)!k =
k=0

(n+1)!

10k < 10n!n =

= 10

k=0
Portanto L um nmero de Liouville.

1
qn

da seguinte

4 Nmeros Racionais e Irracionais:

uma proposta didtica na prtica da
sala de aula
Uma proposta didtica na prtica de uma aula no Ensino Mdio seria o estudo dos
Conjuntos Numricos com nfase na abordagem dos Nmeros Racionais e Irracionais.
Primeiramente vamos denir os Nmeros Racionais.
Denimos

Nmeros Racionais

todos aqueles que podem ser escritos como fra-

es nas quais o numerador e o denominador so nmeros inteiros e o denominador

diferente de zero. Representamos o conjunto dos Nmeros Racionais pelo smbolo
Exemplos:

3
;
1
2
exatos: 0, 2 =
;
10
3
1
peridicos: 0, 333... =
= .
9
3

1. Os nmeros inteiros:
2. Os decimais
3. Os decimais

Q.

3=

Nos decimais peridicos, ou dzimas peridicas, chama-se

grupo de algarismos que se repete innitamente, e

perodo o algarismo ou

geratriz de uma dzima peridica

a frao equivalente a ela.

Em uma dzima peridica simples, o perodo comea no primeiro algarismo aps a
vrgula.
Exemplo: Determinar a geratriz da dzima peridica

0, 313131... .

Seja

x = 0, 313131... .

Como h dois algarismos no perodo, multiplicamos ambos os membros da igualdade

por

100

. Assim:

100x = 31, 313131... 100x x = 31, 313131... 0, 313131... 99x = 31 x =

31
.
99

Na dzima peridica composta, h um ou mais algarismos depois da vrgula que

no fazem parte do perodo.
Exemplo: Determinar a geratriz da dzima peridica

0, 5282828... .

Novamente, seja

x = 0, 5282828... . Primeiramente multiplicamos os dois membros da igualdade por

10, pois h apenas 1 algarismo antes do perodo. Assim obtemos 10x = 5, 282828... .
33

34

Em seguida, multiplicamos

por

1000

resultando em

1000x = 528, 282828...

. Dessa

forma:

1000x 10x = 528, 2828282... 5, 282828... 990x = 523 x =

523
.
990

Neste momento podem ser sugeridos alguns exerccios nos quais os alunos devem
determinar a geratriz de algumas dzimas peridicas.

1, 23333... .
Resoluo. Considere x = 1, 23333... . Multiplique x por 10 e por 100 obtendo,
respectivamente, 10x = 12, 3333... e 100x = 123, 3333... . Agora basta subtrair
Exerccio. Determine a geratriz da dzima peridica

100x 10x = 123, 3333... 12, 3333... 90x = 111 x =

Resposta:

1, 23333... =

111
.
90

111
.
90

H nmeros decimais que no so exatos e nem peridicos. Tais nmeros decimais

so impossveis de se escrever na forma fracionria e, por isso, no so racionais. Esses
nmeros so chamados de

Nmeros Irracionais.

A histria da origem dos Nmeros Irracionais est no mundo grego clssico, no

momento em que os pitagricos resolveram calcular a medida da diagonal
quadrado de lado igual a

1.

de um

Ao utilizarem o Teorema de Pitgoras, encontraram:

d2 = 12 + 12 d2 = 2,
2? Aps
2
algumas tentativas perceberam que d possua medida entre 1, 414 e 1, 415, pois 1, 414 =
1, 999396 e 1, 4152 = 2, 002225. Mesmo tentando novas aproximaes com mais casas

decimais no foi possvel determinar nenhum racional. Assim dizemos que

2 um
e se questionaram: qual o nmero racional que elevado ao quadrado resulta

nmero irracional.

2 irracional.

supomos
2 racional, ento este

Exerccio. Demonstre que

Resoluo. De fato,

a, b Z

b=0

a, b

a
, com
b a
2=
b

pode ser escrito como

irredutveis, ou seja, primos entre si. Ento temos:

a2
a2 = 2b2 . Como a2 par, ento a par (pois se a fosse mpar, ento
b2
a = 2k + 1, k Z a2 = 4k 2 + 4k + 1 ento a2 seria mpar). Assim, sendo a par, ento
a = 2k a2 = 4k 2 2b2 = 4k 2 b2 = 2k 2 b2 par, da b par. Contradio,
pois a e b so primos entre si.
2 =

De modo geral, as razes quadradas de nmeros naturais que no so quadrados

3 = 1, 7320508... .
Existem outros irracionais importantes como = 3, 14159265358... (razo entre o
comprimento de uma circunferncia e o seu dimetro) e o nmero e = 2, 7182818...(base
do logaritmo natural). O nmero e o nmero e tambm so denominados nmeros

perfeitos so nmeros irracionais, como, por exemplo,

35

transcendentes pois no so soluo de nenhuma equao polinomial de coecientes

inteiros no nulos.
Observao:
i) Dados

irracional e

racional no nulo, ento:

+ r; .r;

nmeros irracionais.
Exemplos:

2 + 1; 3 2;

3
2

so todos

so nmeros irracionais.

ii) A soma, subtrao, multiplicao ou diviso de dois irracionais pode resultar em

um racional ou irracional.
Exemplos:

2
e so nmeros irracionais.
3

27
2 + 3 + 2 3 = 4; 3. 12 = 6; 5 5 = 0 e = 3
3

2 + 3; 2. 3; 2 3

racionais.
Exerccio. O nmero

x=

so nmeros

2
racional.

a) Usando propriedades das potncias, calcule x.

b) Prove que existem dois nmeros irracionais
Resoluo.
a)

x=

2. 2

tais que

racional.

= 2.

2 2
2
b) Sabemos que
2 irracional e que
2
racional (por a). Ora,
2

2
2
racional ou irracional. Se
racional, ento existem dois irracionais e tais
2

2). Se
2
irracional, ento existem dois irracionais
que racional ( = =

2
e tais que racional ( =
e = 2).
2
A aula deve ser encerrada levando os alunos a reetir sobre o conjunto dos

Nmeros

Reais (representado por R) que formado pela unio dos nmeros racionais com os
nmeros irracionais.

Referncias
[1] FIGUEIREDO, D. G.

Nmeros Irracionais e Transcendentes. 3. ed. Rio de Janeiro:

Sociedade Brasileira de Matemtica, 2002.

[2] DOMINGUES, H. H.
[3] HEFEZ, A.

lgebra Moderna. 2. ed. Rio de Janeiro:

Elementos de Aritmtica.

Editora Atual, 1982.

3. ed. Rio de Janeiro: Sociedade Brasileira

de Matemtica, 2002.
[4] EVES, H.

Introduo Histria da Matemtica. 1. ed. Campinas:

Editora Unicamp,

2004.
[5] BENTLEY, P.

O Livro dos Nmeros. 1. ed. Rio de Janeiro:

36

Editora Zahar, 2010.