You are on page 1of 0

PONTIFCIA UNIVERSIDADE CATLICA DE SO PAULO

PUC/SP


ALOSIO DANIEL VENDEMIATTI












A QUADRATURA DO CRCULO E A GNESE DO NMERO









MESTRADO PROFISSIONAL EM ENSINO DE MATEMTICA











So Paulo
2009


PONTIFCIA UNIVERSIDADE CATLICA DE SO PAULO
PUC/SP


ALOSIO DANIEL VENDEMIATTI










A QUADRATURA DO CRCULO E A GNESE DO NMERO





Dissertao apresentada Banca Examinadora da
Pontifcia Universidade Catlica de So Paulo, como
exigncia parcial para obteno do ttulo de MESTRE
PROFISSIONAL EM ENSINO DE MATEMTICA, sob
a orientao do Prof. Dr. Benedito Antonio da Silva.












So Paulo
2009
































Banca Examinadora


________________________________________


________________________________________


________________________________________














































Autorizo, exclusivamente para fins acadmicos e cientficos, a reproduo total ou
parcial desta Dissertao por processos de fotocopiadoras ou eletrnicos.

Assinatura: _______________________________________ Local e Data: ______________












































minha esposa Andria
Aos meus pais, Antonio e Margarida








AGRADECI MENTOS


minha esposa Andria Neme Prado Vendemiatti, engenheira civil
e professora de Matemtica, que sempre me acompanhou durante o
curso, pela compreenso, pacincia, apoio, ajuda e sugestes.
minha famlia pelo incentivo, assim como famlia de minha
esposa.
Ao meu cunhado Adilson Jos Neme Prado pelo acolhimento em sua
casa todas as vezes que precisei ficar na cidade de So Paulo
durante o curso.
Ao meu irmo Jos Adriano Vendemiatti que sempre me ajudou com
prontido por esclarecer e ensinar a utilizar os recursos do
computador para a digitalizao deste trabalho.
Ao meu irmo Leandro Abel Vendemiatti que fez a reviso final do
texto.
Ao meu orientador, professor Dr. Benedito Antonio da Silva, pelas
horas de atendimento, sugestes, indicaes de leituras,
ensinamentos e discusses no grupo de estudos, e por sua
experincia, conhecimento e sabedoria que ajudaram muito na
elaborao deste trabalho.
s professoras doutoras Cristina Cerri e Sonia Barbosa Camargo
Igliori, pelas contribuies e comentrios sobre o projeto deste
trabalho durante o exame de qualificao.
Aos professores do Programa de Estudo Ps-Graduados em
Educao Matemtica da Pontifcia Universidade Catlica de So
Paulo, Dr. Benedito Antonio da Silva, Dra. Sandra Maria Pinto
Magina, Dr. Vincenzo Bongiovanni, Dra. Laurizete Ferragut
Passos, Dra. Cileda de Queiroz e Silva Coutinho, Dra. Brbara
Lutaif Bianchini, Dr. Antonio Carlos Brolezzi, Dra. Sonia Pitta e Dr.
Gerson Pastre de Oliveira, com os quais cursei as disciplinas do
programa.


Ao amigo Antonio Span Junior, que foi meu professor durante a
graduao na PUC de Campinas, pelas conversas e contribuies
para este texto.
Secretaria de Educao do Estado de So Paulo pela bolsa de
estudos concedida pelo Programa Bolsa Mestrado.

O Autor









RESUMO


O objetivo deste trabalho apresentar aspectos da gnese do nmero , inerentes questo da
quadratura do crculo, a qual consiste em construir um quadrado de rea igual rea de um crculo
de raio r dado. Esse problema no diz respeito a uma aplicao prtica da matemtica, mas sim a
uma questo terica que envolve uma distino entre uma boa aproximao e a exatido do
pensamento. O registro da primeira tentativa de se quadrar o crculo remonta a Anaxgoras, no
sculo V a.C. Posteriormente, ficou estabelecido que essa construo deveria ser realizada
utilizando-se, um nmero finito de vezes, a rgua no graduada e o compasso. Nas construes
com rgua e compasso, estamos nos referindo aos trs primeiros postulados dos Elementos de
Euclides: 1) possvel unir dois pontos por uma reta, 2) prolongar uma linha reta at onde seja
necessrio e 3) traar uma circunferncia em torno de qualquer ponto e com qualquer raio. Esses
postulados so a base dessas construes, muitas vezes chamadas de construes euclidianas. Um
nmero real construtvel, se for possvel construir com rgua e compasso um segmento de
comprimento igual a , a partir de um segmento tomado como unidade. Apresentamos a idia de
traduzir o problema geomtrico das construes com rgua e compasso para a linguagem
algbrica, e isso permitiu solucionar o problema da quadratura do crculo. Expomos que todo
nmero construtvel algbrico sobre os racionais, estabelecendo a impossibilidade de quadrar o
crculo com a demonstrao de Lindemann, em 1882, da transcendncia do nmero . Vemos que
esse problema fascinou estudiosos por mais de 20 sculos. Procuramos fornecer todas as
ferramentas matemticas necessrias para essa demonstrao. As demonstraes desempenham um
papel fundamental no desenvolvimento deste trabalho, que tem por finalidade no s contribuir
para a formao do professor de matemtica, mas tambm detalhar a resoluo do problema da
quadratura do crculo.

Palavras-Chave: quadratura do crculo, nmero , nmeros algbricos, nmeros construtveis,
transcendncia do nmero .








ABSTRACT


The goal of this essay is to show aspects of genesis of number , inherent to the question of
squaring the circle, which consists in constructing a square which has the same area as a given
circle. This problem does not refer to a practical application of mathematics, but to the theoretic
question that involves the distinction between a valid approach and thinking accuracy. The first
attempt to squaring the circle dates back in the fifth century before Christ. After that, it was
established that this construction should be carried through using a finite number of times, also the
non-graduated ruler and the drawing compass itself. In the constructions with ruler and drawing
compass we are referring to the first three postulates of Euclides Elements: 1) Its possible to join
two points by a straight line, 2) to expand a straight line until the necessary point, and 3) to draw a
circumference around any point and with any radius. These postulates are the base of these
constructions, sometimes called euclideans constructions. A real number is constructible, if
feasible building a segment of legth with ruler and drawing compass, since a segment is taken as
a unity. We show the idea of translating the geometrical problem of constructions made with ruler
and drawing compass to the algebraic language and this allowed us to solve the problem of
squaring the circle. We exposed that all constructible numbers are algebraic, over the rational
numbers, establishing the impossibility of squaring the circle, with Lindemanns demonstration, in
1882, of the number transcendence. This problem has been fascinating people for more than
twenty centuries. We tried to supply all mathematical tools needed for this demonstration.
Demonstrations play a fundamental role in the development of this essay, which purpose is not
only to contribute to the math teacher formation, but also to detail the resolution of the problem of
squaring the circle.

Key words: squaring the circle, number , algebraic numbers, constructible numbers,
transcendence of number .









SUMRI O


APRESENTAO .................................................................................................................. 13

CAPTULO 1 ........................................................................................................................... 19
1.1 O problema da quadratura do crculo ............................................................................ 19
1.2 O mtodo de Arquimedes para o clculo do .............................................................. 22
1.3 Comprimento da Circunferncia ................................................................................... 24
1.4 rea do Crculo ............................................................................................................. 30
1.5 A expresso de Vite para o nmero ......................................................................... 34
1.6 A expresso de J ohn Wallis para o nmero ............................................................... 37
1.7 Outras maneiras de se obter uma estimativa para o ................................................... 42

CAPTULO 2 ........................................................................................................................... 47
2.1 Os nmeros algbricos .................................................................................................. 47
2.2 O conjunto dos nmeros algbricos enumervel ........................................................ 52
2.3 Todo nmero construtvel algbrico .......................................................................... 53
2.4 A aritmtica dos nmeros algbricos ............................................................................ 64
2.4.1 A soma de dois nmeros algbricos algbrico .................................................. 65
2.4.2 O produto de dois nmeros algbricos algbrico .............................................. 69
2.4.3 O simtrico de um nmero algbrico algbrico ................................................ 69
2.4.4 O inverso de um nmero algbrico 0 algbrico ............................................ 70

CAPTULO 3 ........................................................................................................................... 73
3.1 Os nmeros transcendentes: consideraes iniciais ...................................................... 73
3.2 O Teorema de Liouville ................................................................................................ 75
3.3 Os nmeros de Liouville ............................................................................................... 80
3.4. Prova de Cantor para a existncia de nmeros transcendentes .................................... 82
3.5. O conjunto dos nmeros transcendentes no enumervel ......................................... 84
3.6 Outros exemplos de nmeros transcendentes ............................................................... 85



CAPTULO 4 ........................................................................................................................... 89
4.1 Relaes entre os coeficientes e as razes de uma equao .......................................... 89
4.2 Polinmios Simtricos .................................................................................................. 92
4.2.1 Polinmios simtricos elementares ...................................................................... 95
4.2.2 Teorema ............................................................................................................... 96
4.2.3 Teorema ............................................................................................................... 98

CAPTULO 5 ........................................................................................................................... 103
5.1 Demonstrao da transcendncia do nmero ............................................................. 103

CONSIDERAES FINAIS ................................................................................................. 119

REFERNCIAS ...................................................................................................................... 123

Anexo I ..................................................................................................................................... 127

Anexo II .................................................................................................................................... 139
A Frmula de Euler ............................................................................................................. 139
Clculo da soma .....................................................................................................

n
i
i
n
1
140

Anexo III .................................................................................................................................. 141

Anexo IV .................................................................................................................................. 145
Desigualdade do valor mdio para funes de uma varivel complexa ............................. 145









LI STA DE FI GURAS


Figura 1 ..................................................................................................................................... 24
Figura 2 ..................................................................................................................................... 25
Figura 3 ..................................................................................................................................... 28
Figura 4 ..................................................................................................................................... 30
Figura 5 ..................................................................................................................................... 31
Figura 6 ..................................................................................................................................... 55
Figura 7 ..................................................................................................................................... 55
Figura 8 ..................................................................................................................................... 56
Figura 9 ..................................................................................................................................... 57
Figura 10 ................................................................................................................................... 58









LI STA DE TABELAS


Tabela 1 ..................................................................................................................................... 26
Tabela 2 ..................................................................................................................................... 32
Tabela 3 ..................................................................................................................................... 45




13





APRESENTAO


A cincia grega fundamenta-se numa curiosidade altamente intelectual contrastando
com o esprito prtico do pensamento pr-helnico. A meno da primeira tentativa de se
quadrar o crculo remonta a Anaxgoras, no sculo V a.C. Posteriormente ficou
estabelecido que o quadrado de rea exatamente igual do crculo deveria ser construdo
utilizando-se apenas os instrumentos platnicos, a saber, rgua e compasso. Essa questo
que iria fascinar estudiosos por mais de vinte sculos, retrata uma matemtica muito
diferente da dos babilnios e egpcios, uma vez que no se trata de uma aplicao prtica
da cincia dos nmeros mas sim de uma questo terica envolvendo uma clara distino
entre uma boa aproximao e a exatido do pensamento (Boyer, 1974, p. 48)
Como veremos, a quadratura do crculo pode ser expressa por meio de um
enunciado muito simples, mas que se revelou como um grande desafio para vrias geraes
de matemticos. As tentativas de resolv-lo ou de demonstrar a impossibilidade de sua
resoluo serviram como motivao criao de novas teorias e ao desenvolvimento da
matemtica, notadamente, no que se refere gnese do nmero .
Esse problema teve origem na geometria da Grcia antiga, mas sua resoluo
necessitou de um tratamento no mbito da moderna geometria algbrica. Sua resoluo, ou
seja, a prova de sua impossibilidade, precisou ir muito alm da rgua, do compasso e das
fronteiras da Grcia. Envolveu o trabalho de muitos matemticos durante um longo
perodo de tempo.
A dificuldade para resolver a questo da quadratura do crculo est na natureza do
nmero que, alm de ser irracional, tambm transcendente, porm computvel.
14
O estudo do nmero permite fazer uma articulao entre as vrias reas da
matemtica, como a geometria, a lgebra e a anlise, necessitando naturalmente muitas
mudanas de quadros, como veremos neste trabalho.
Muitos livros de matemtica do ensino fundamental e mdio apenas apresentam o
nmero como a razo entre o comprimento de uma circunferncia qualquer pelo seu
dimetro e que aproximadamente igual a 3,14. Esses livros no apresentam uma maneira
de se obter essa estimativa para o nmero . Alm disso, propem como uma aplicao o
clculo do comprimento da circunferncia e da rea do crculo, apresentando as frmulas
r C = 2 e , tambm sem nenhuma justificativa.
2
r A =
Com este trabalho objetivamos apresentar aspectos da gnese do nmero ,
inerentes questo da quadratura do crculo e mostrar a impossibilidade da construo de
tal quadrado, fundamentando todas as etapas envolvidas, inclusive a demonstrao do
resultado definitivo, a saber, a transcendncia do nmero .
Esperamos que esta pesquisa tambm venha contribuir para a formao dos
professores de matemtica, ampliando a viso sobre a natureza dos nmeros e
complementando, dessa forma, a teoria apresentada na maioria dos livros didticos sobre
os nmeros, especialmente sobre o nmero .
Descrevemos o mtodo de Arquimedes para estimar uma aproximao do nmero
e justificamos as frmulas do comprimento da circunferncia e da rea do crculo. Isso
ser realizado com o auxlio de uma calculadora cientfica para o clculo do seno e da
tangente de vrios ngulos. Tambm apresentamos algumas sequncias que convergem
para o nmero , com suas respectivas demonstraes.
A escolha do objeto de pesquisa deste trabalho foi motivada por uma das discusses
surgida no grupo de pesquisas, sob a orientao do professor Benedito Antonio da Silva,
referente aos trs problemas clssicos gregos: a quadratura do crculo, a duplicao do
cubo e a trisseco de um ngulo.
Segundo Laville e Dionne (1999, p. 11), chegar a possveis explicaes ou
solues para um problema pode significar no apenas aquisio de novos conhecimentos,
mas, tambm, favorecer uma determinada interveno. Um problema sempre uma falta
de conhecimento.
15
Esse foi o esprito do desenvolvimento deste trabalho: a busca de explicaes e a
interveno nas demonstraes com a finalidade de deix-las mais detalhadas. Isso sempre
pensando na elaborao de um material que possa contribuir para a formao do professor
de matemtica e para sua prtica no exerccio do magistrio. Para isso foi necessria a
aquisio de novos conhecimentos, principalmente sobre os polinmios simtricos.
Durante a elaborao deste trabalho, reconhecemos a importncia da pesquisa em
nossa rea e a necessidade de incorpor-la ao exerccio de nossa profisso, tendo em vista
o desempenho de um alto nvel de qualificao profissional. Alm disso, percebemos
tambm a importncia da procura por uma informao que no sabemos e que precisamos
saber, desenvolvendo dessa maneira certa autonomia em nossa formao.
A maioria dos livros consultados sobre o problema da quadratura do crculo no
apresenta a demonstrao da transcendncia do nmero por ser muito tcnica. Por outro
lado, os que a apresentam, fazem-na de uma forma muito concisa, tornando sua leitura
muitas vezes difcil de ser compreendida. Alm disso, no justificam outros resultados
envolvidos na demonstrao.
Como tornar a leitura da demonstrao da transcendncia do nmero mais
acessvel aos professores e aos alunos dos cursos de licenciatura em matemtica? Como
apresentar a demonstrao da impossibilidade da quadratura do crculo de forma mais
detalhada em um nico texto, com todos os resultados necessrios envolvidos para tal
demonstrao?
Neste trabalho, procuramos fazer uma explicao da demonstrao da
transcendncia do nmero com essa finalidade. Tambm justificamos todos os passos
das demonstraes dos resultados e das afirmaes que so utilizados no decorrer dessa
demonstrao.
As demonstraes desempenharo um papel fundamental no desenvolvimento do
trabalho. A preocupao com o entendimento dos raciocnios nelas utilizados foi um ponto
ao qual procuramos dar muita importncia.
Sero utilizadas vrias tcnicas de demonstrao em matemtica: a demonstrao
por induo, demonstraes diretas e principalmente as demonstraes por reduo ao
absurdo.
16
Achamos necessrio incluir um captulo sobre os nmeros transcendentes para
ampliarmos as informaes sobre a natureza desses nmeros. Veremos que alm da
classificao dos nmeros reais em racionais e irracionais que sempre apresentada nos
livros didticos, podemos tambm fazer uma separao dos nmeros reais em algbricos e
transcendentes ou, ainda, em computveis e no computveis.
O trabalho apresentado em cinco captulos e quatro anexos.
No captulo 1, descrevemos o problema da quadratura do crculo e a
impossibilidade da construo; a forma como Arquimedes tratou a questo e algumas
maneiras de se estimar uma aproximao para o nmero . Mostramos ainda no s como
se obter a frmula do comprimento da circunferncia, mas tambm como se obter a
frmula para o clculo da rea do crculo.
No captulo 2, depois da apresentao do conjunto dos nmeros algbricos e suas
propriedades, mostramos que esse conjunto enumervel. Expomos a idia de traduzir o
problema geomtrico das construes com rgua e compasso para a linguagem algbrica, o
que proporcionou um avano no estudo do problema da quadratura do crculo. Neste
captulo, tambm mostramos que todo nmero construtvel por rgua e compasso
algbrico.
No captulo 3, apresentamos elementos da teoria dos nmeros transcendentes e
como Liouville e Cantor provaram aexistncia de tais nmeros. Tambm expomos a prova
de Cantor da no-enumerabilidade do conjunto dos nmeros transcendentes, assim como
outros exemplos desses nmeros.
No captulo 4, revisamos as relaes mtricas entre os coeficientes e as razes de
uma equao polinomial. Esse captulo essencialmente dedicado ao estudo dos
polinmios simtricos e de suas propriedades.
No captulo 5, desenvolvemos um estudo elucidativo da demonstrao da
transcendncia do nmero .
No anexo I mostramos que dada uma altura h fixa, existe um nmero finito de
equaes polinomiais com coeficientes inteiros com essa altura.

17
Nos anexos II e III, demonstramos outros resultados utilizados na demonstrao da
transcendncia do que no foram contemplados no corpo da dissertao. No anexo IV,
expomos uma breve teoria sobre os nmeros complexos, necessria para demonstrar a
desigualdade do valor mdio para funes de uma varivel complexa. Essa desigualdade
ser utilizada na demonstrao da transcendncia do nmero apresentada neste trabalho.

18




19





CAP TULO 1


Neste primeiro captulo, vamos descrever de forma suscinta o problema da
quadratura do crculo e sua relao com o nmero . Apresentaremos uma justificativa de
como se pode obter a frmula do comprimento da circunferncia e da rea do crculo.
Veremos tambm algumas maneiras de se estimar o valor do utilizando processos
geomtricos e algbricos.


1.1 O problema da quadratura do crculo

Talvez um dos mais famosos problemas da histria da matemtica seja o da
Quadratura do Crculo, que consiste em construir um quadrado de rea igual rea de
um crculo de raio r dado, utilizando apenas rgua sem escala e compasso, sendo que esses
instrumentos devem ser usados um nmero finito de vezes. Portanto, no podem ser
empregados limites ou processos de convergncia, com um nmero infinito de operaes
em tais construes.
Esse problema obcecou matemticos desde Plato no sculo III a.C.
Segundo Boyer (1974, p. 64),
Plato pode ter sido o grande responsvel pela restrio, que prevalecia nas
construes geomtricas gregas, s que podem ser efetuadas s com rgua e
compasso. A razo desta limitao provavelmente no foi a simplicidade dos
instrumentos usados na construo de retas e crculos, mas antes a simetria das
construes. Qualquer dos infinitos dimetros de um crculo um eixo de
simetria da figura; qualquer ponto de uma reta pode ser considerado um centro
de simetria, assim como qualquer reta perpendicular a uma reta dada uma reta
em relao qual a reta dada simtrica.

20
No entanto, ao falarmos em construes com rgua no graduada e compasso,
estamos nos referindo aos trs primeiros postulados dos Elementos de Euclides:
1. possvel unir dois pontos por uma reta
2. Prolongar uma linha reta at onde seja necessrio
3. Traar uma circunferncia em torno de qualquer ponto e com qualquer
raio.
Esses postulados so a base destas construes, muitas vezes chamadas de
construes euclidianas. Para os gemetras gregos, um problema que podia ser resolvido
com rgua sem escala e compasso era um problema cuja soluo consistia em construir os
elementos desconhecidos, utilizando apenas a rgua sem escala e o compasso, a partir dos
elementos geomtricos conhecidos. Isso significava fazer construes fundamentadas nos
trs primeiros postulados de Euclides.
Ainda, segundo Boyer (1974, p. 271),
Em 1672 o matemtico dinamarqus Georg Mohr (1640-1697) publicou um livro
em que mostrou que toda construo ponto a ponto que possa ser realizada com
rgua e compasso (isto , todo problema plano) pode ser feita s com
compasso. Evidentemente no se pode traar uma reta com compasso; mas se
considerarmos uma reta como conhecida sempre que dois pontos distintos sobre
ela so conhecidos, ento o uso de rgua em geometria euclidiana suprfluo.
To pouca ateno prestaram os matemticos da poca a essa notvel descoberta
que a geometria que usa apenas compasso tem o nome no de Mohr mas de
Lorenzo Mascheroni, que redescobriu o princpio 125 anos depois. O livro de
Mohr desapareceu to completamente que s em 1928, quando um exemplar foi
acidentalmente descoberto por um matemtico numa livraria de Copenhagem
que se soube que algum havia provado antes de Mascheroni a superfluidade da
rgua.

O problema da Quadratura do Crculo pode ser enunciado em termos atuais, da
seguinte maneira:
Construir um quadrado de rea igual rea de um crculo de raio r dado,
utilizando apenas uma rgua sem escala e um compasso. Dado um crculo de raio r, sua
rea dada por . Vamos considerar um crculo de raio unitrio, ou seja,
2
r 1 = r . Ento
a rea deste crculo ser igual a . Assim, se a rea de um quadrado de lado
for igual de um crculo de raio unitrio, devemos ter , o que nos d
= = 1 1
2
l =
2
l = l .
21
Para resolver o problema da Quadratura do Crculo, seria necessrio, ento,
construir um segmento de reta de comprimento igual a = l , utilizando apenas uma
rgua sem escala e um compasso. Mas se fosse construtvel
1
, ento tambm o seria.
Se fosse possvel construir um segmento de reta de comprimento igual a , o
nmero seria construtvel. Porm, todos os nmeros construtveis, como veremos, so
algbricos
2
. E o matemtico alemo Lindemann (1852-1939) demonstrou em 1882 que o
nmero no algbrico
3
. Portanto, a possibilidade de se construir um segmento de reta
com medida igual a falsa, ou seja, tal construo no possvel. Com isso, fica
demonstrada a impossibilidade da quadratura do crculo.
Enquanto no se apresentou uma prova dessa impossibilidade, muitos matemticos
tentaram quadrar o crculo utilizando rgua e compasso. Como veremos adiante, todas as
construes com rgua e compasso so equivalentes geomtricos de equaes algbricas
de primeiro e segundo grau e de combinaes de tais equaes. Como um nmero
transcendente, qualquer equao que seja satisfeita por ele no pode ser algbrica
(KASNER e NEWMAN, 1968, p. 77).
A soluo do problema da quadratura do crculo, que intrigara os matemticos
desde a antiguidade, fez de Lindemann um homem famoso. No entanto, foi a prova do
matemtico francs Charles Hermite (1822-1901) para a transcendncia do nmero e,
publicada em 1873, que possibilitou a Lindemann provar a transcendncia do , nove
anos mais tarde (MAOR, p. 249).
A transcendncia de estabeleceu finalmente a impossibilidade de se construir ,
usando rgua e compasso, um quadrado com uma rea igual do crculo.
A questo de quadrar o crculo consiste na realidade, no estudo da natureza do .
A idia do nmero no nasceu pronta, muito menos a constatao de que ele
um nmero representado por infinitas casas decimais no peridicas. A busca pelo valor do
ocupou os matemticos desde a Antiguidade. Em papiros egpcios, escritos antes de
_____________
1
Um nmero real um nmero construtvel, se for possvel construir com rgua e compasso, a partir de
um segmento tomado para unidade, um segmento de comprimento igual a
2
Um nmero real se diz algbrico se for soluo de uma equao polinomial da forma
, em que os coeficientes so nmeros inteiros.
0 ...
0 1
1
1
= + + + +

a x a x a x a
n
n
n
n 0 1 1
, , ... , , a a a a
n n
3
Um nmero que no seja algbrico chamado de transcendente.
22
1700 a.C, encontra-se que a rea de um crculo igual a rea de um quadrado de lado igual
a
9
8
do dimetro, e o papiro de Ahmes, cerca de 1600 a.C, d relao existente entre o
comprimento da circunferncia e do seu dimetro, o valor de 3,16.
No Velho Testamento, 2Cr, 4, 2, na descrio da construo do templo de Salomo,
aproximadamente em 950 a.C, podemos ver uma aproximao hebraica para o nmero
que diz o seguinte: Fez tambm um mar fundido, que tinha dez cvados duma borda
outra, redondo em toda a volta; tinha cinco cvados de alto e um cordo de trinta cvados
abraava toda a sua circunferncia. Neste versculo, podemos observar uma aproximao
igual a 3 para o nmero , pois 3


=
cvados DEZ
cvados TRINTA
.
Em seguida veremos o mtodo de Arquimedes (287-212 a.C) para estimar uma
aproximao para o nmero .


1.2 O mtodo de Arquimedes para o clculo do

A primeira tentativa cientfica de calcular e o comprimento da circunferncia
parece ter sido a de Arquimedes, 240 a.C. (EVES, 2006, p. 141). Em sua obra As medidas
do crculo, Arquimedes desenvolveu um mtodo de aproximao para o clculo da medida
do comprimento da circunferncia. Esse mtodo envolvia a construo de polgonos
regulares inscritos e circunscritos a uma dada circunferncia. Conhecidos os permetros
dos polgonos inscritos e circunscritos a ela, ele tentou definir um intervalo no qual estaria
contida a medida do comprimento da circunferncia.
Comearemos ento descrevendo o seu mtodo.
O comprimento de uma circunferncia um nmero entre o permetro de qualquer
polgono regular inscrito e de qualquer polgono regular circunscrito.
Numa circunferncia de raio r inscreve-se um tringulo equiltero. Em seguida,
divide-se cada um dos trs arcos da circunferncia em duas partes iguais, unem-se estes
pontos e assim obtm-se um hexgono regular de permetro igual a r 6 . Com sucessivas
divises dos arcos ao meio, constri-se a partir do hexgono regular um dodecgono
23
regular. Em seguida, polgonos regulares de 24 lados, de 48 lados e, finalmente, de 96
lados. Aqui Arquimedes fez uma primeira parada (KARLSON, 1961, p. 137).
Considerou que o comprimento da circunferncia ainda ser maior que o permetro
do polgono de noventa e seis lados, pois, entre cada dois vrtices sucessivos, a medida do
lado do polgono menor que a medida do arco de circunferncia correspondente a esse
lado. Tanto mais verdadeira ser essa afirmao para a soma de todos os lados. Passa a
calcular, ento, o permetro desse polgono, concluindo que maior que d .
71
10
3 , onde
o dimetro da circunferncia e, com mais forte razo, o comprimento da circunferncia
ser maior que
d
d .
71
10
3 (KARLSON, 1961, p. 137), ou seja, maior que 3,14084507.d .
Em seguida, Arquimedes circunscreve de maneira semelhante circunferncia,
uma sequncia de polgonos, prosseguindo, tambm aqui, at o de 96 lados. Cada um
desses polgonos tem permetro maior que a circunferncia. O clculo numrico conduz ao
seguinte resultado: o polgono regular de 96 lados circunscrito circunferncia de dimetro
d menor que d .
7
1
3 , ou seja, menor que 3,142857143.d . Resulta, assim, que o
comprimento da circunferncia deve estar compreendido entre d .
71
10
3 e d .
7
1
3 , isto , que
maior que
71
10
3 e menor que
7
1
3 , ou seja, 142857143 , 3 14084507 , 3 < < , obtendo,
assim, 14 , 3 (KARLSON, 1961, p. 138).
Arquimedes estabelece dois limites, um inferior e um superior, entre os quais deve
se encontrar o nmero . Ele no afirma mais nada alm disso. Utiliza o clculo
numrico, e esse , possivelmente, seu maior feito, considerando-se as limitaes enormes
do sistema de numerao de sua poca. Uma concluso inevitvel que Arquimedes era
um exmio calculista. O mtodo fundamentado nos polgonos regulares inscritos e
circunscritos circunferncia, conhecido como mtodo clssico de clculo do (EVES,
2004, p. 142).
Vamos, agora, calcular o comprimento da circunferncia, utilizando esse mtodo
clssico, com os recursos que dispomos atualmente.


24
1.3 Comprimento da Circunferncia

Consideremos uma circunferncia de raio r e um polgono regular de lados
inscrito nessa circunferncia. Representaremos o lado desse polgono por e o seu
permetro por . Desse modo temos:
n
n
l
n
p
Figura 1

Sendo , a medida do ngulo central AB igual a
n
l AB =
n
360
.
Ento
2
n
l
AM = e
n
n
AB
AM med
180
2
360
2
) ( = = = .
No tringulo retngulo AOM, temos:
r
l
r
l
n
sen
n
n
2
2
180
= =

.
Portanto

=
n
sen r l
n
180
2 . Como o polgono possui n lados, ento o seu
permetro ser dado em funo de n por

=
n
sen r n p
n
180
2 ou seja

=
n
sen r n p
n
180
2 .
Notemos que o permetro do polgono regular inscrito circunferncia igual ao
produto do nmero

n
sen n
180
pelo dimetro da circunferncia. O nmero

n
sen n
180
depende exclusivamente do polgono.
25
Consideremos agora um polgono regular de lados circunscrito nessa
circunferncia de raio
n
r . Representaremos o lado desse polgono por e o seu permetro
por . Desse modo, temos:
n
L
n
P
Figura 2


Sendo

, a medida do ngulo AB igual a
n
L AB =
n
360
.
Ento
2
n
L
AM = e
n
AM med
180
) ( = .
No tringulo retngulo AOM, temos:
r
L
r
L
n
tg
n
n
2
2
180
= =

.
Portanto

=
n
tg r L
n
180
2 .
Logo o seu permetro ser dado em funo de n por

=
n
tg n r P
n
180
2 .
O permetro do polgono regular circunscrito circunferncia igual ao produto do
nmero

n
tg n
180
pelo dimetro da circunferncia. O nmero

n
tg n
180
depende
exclusivamente do polgono.
Com o auxlio de uma calculadora cientfica, podemos obter os valores
r
p
n
sen n
n
2
180
=

e os valores de
r
P
n
tg n
n
2
180
=

para vrios polgonos.


Esses valores esto calculados na tabela 1, com aproximao de 8 casas decimais,
obtidas por truncamento.
26
Tabela 1
n
r
p
n
2

r
P
n
2

r
p
r
P
n n
2 2

3 2,59807621 5,19615242 2,59807621
4 2,82842712 4,00000000 1,17157288
5 2,93892626 3,63271264 0,69378638
6 3,00000000 3,46410161 0,46410161
10 3,09016994 3,24919696 0,15902702
12 3,10582854 3,21539030 0,10956176
24 3,13262861 3,15965994 0,02703133
48 3,13935020 3,14608621 0,00673601
96 3,14103195 3,1427146 0,00168264
500 3,14157198 3,14163399 0,00006201
1000 3,14158748 3,14160298 0,00001550

Os valores em negrito correspondem aos polgonos utilizados por Arquimedes para
se obter a aproximao
7
1
3
71
10
3 < < .
Consideremos agora as duas sequncias:
1. A sequncia dos permetros dos polgonos regulares inscritos em uma
circunferncia de raio r, dada por

=
n
sen n r p
n
180
2 , 3 n .
2. A sequncia dos permetros dos polgonos regulares circunscritos em uma
circunferncia de raio r, dada por

=
n
tg n r P
n
180
2 , 3 n .
A sequncia crescente ) (
n
p
4
, ou seja, quando o nmero de lados do polgono
regular inscrito aumenta, o permetro desse polgono tambm aumenta. Essa sequncia
limitada inferiormente por e superiormente pela medida do comprimento da
3
p
_____________
4
Diz-se que uma sequncia crescente se . , ...) , ... , , , ( ) (
3 2 1 n n
a a a a a = ... ...
4 3 2 1 n
a a a a a < < < < <
27
circunferncia, portanto, uma sequncia limitada ) (
n
p
5
. Como toda sequncia crescente
e limitada convergente
6
, podemos concluir que a sequncia )
n
converge (p .
A sequncia decrescente ) (
n
P
7
, ou seja, quando o nmero de lados do polgono
regular circunscrito aumenta, o permetro desse polgono diminui. Essa sequncia
limitada superiormente por e inferiormente pela medida do comprimento da
circunferncia, portanto, uma sequncia limitada. Como toda sequncia decrescente
e limitada convergente, podemos concluir que a sequncia convergente.
3
P
) (
n
P
) (
n
P
Nessa construo, qualquer que seja tem-se 3 n
n n
P p < .
Alm disso, sendo o permetro da circunferncia de raio C r , tem-se tambm que
, o que nos d
n n
P C p < <
r
P
r
C
r
p
n n
2 2 2
< < , 3 , n N n .
A diferena
r
p
r
P
n n
2 2
pode tornar-se to prxima de zero quanto quisermos, desde
que se escolha um adequado, suficientemente grande. A sequncia n


r
p
r
P
n n
2 2
, que se
aproxima de zero, quando aumenta, indica que os permetros dos polgonos circunscritos
aproximam-se cada vez mais dos permetros dos polgonos inscritos. Esse mtodo
tambm chamado de mtodo das aproximaes sucessivas (IMENES, J AKUBOVIC,
TROTTA, 1979, p. 105-106).
n




_____________
5
Diz-se que uma sequncia limitada quando o conjunto dos seus termos limitado, isto , quando
existem nmeros reais c, d tais que para todo n N.
) (
n
a
d
n
a c
6
Diz-se que uma sequncia converge para o nmero L, ou tem limite L, se, dado qualquer nmero ) (
n
a
0 > , sempre possvel encontrar um nmero N tal que . Uma sequncia que
converge dita convergente.
< > | | L a N n
n
7
Diz-se que uma sequncia decrescente se . , ...) , ... , , , ( ) (
3 2 1 n n
a a a a a = . .. ...
4 3 2 1 n
a a a a a > > > > >
28
A desigualdade
r
P
r
C
r
p
n n
2 2 2
< < determina uma seqncia

=
r
P
r
p
I
n n
n
2
,
2
de
intervalos fechados e encaixados
8
, que se aproxima do ponto . A compreenso do
nmero envolve a prpria conceituao de nmero real como um corte
9
praticado na
reta, introduzida por Richard Dedekind, em 1872.
Vamos fazer uma representao grfica dos 5 primeiros valores destas sequncias e
observar o que acontece. Consideremos os pontos
r
p
I
n
n
2
= e os pontos
r
P
C
n
n
2
= .

Figura 3


Observando a figura, podemos perceber que:
a) Todos os pontos
n
I esto esquerda de todos os pontos
n
C
,
ou seja,
n n
C I < ,
3 , . n N n
b) medida que n aumenta, a distncia entre
n
I

e
n
C diminui, tendendo a zero.
Podemos descrever essa situao, imaginando dois pontos distintos, deslocando-se
sobre uma mesma reta com sentidos opostos, ou seja, um ao encontro do outro. Esses dois
_____________
8
Seja , uma famlia de intervalos fechados e encaixados, isto ,
Ento existe pelo menos um nmero c pertencendo a todos os intervalos (ou,
o que o mesmo, . Se alm das hipteses feitas, o comprimento
do n-simo intervalo tender a zero, ento, o nmero c ser nico, isto , .
] , [
n n n
b a I = ,..., 2 , 1 = n
. ... ...
2 1

n
I I I
n
I
...) ...
2 1

n
I I I c
n n n
a b I = | |
} { ... ...
2 1
c I I I
n
=
9
Seja uma reta e um ponto P sobre ela. Em relao ao ponto P, todos os pontos da reta se repartem em 2
classes: a classe (A) dos pontos que esto esquerda de P, e a classe (B), dos pontos que esto direita
de P. O prprio ponto P, que produz a repartio, pode ser colocado indiferentemente na classe (A) ou na
classe (B). Sempre que em uma reta, se tem uma repartio dos seus pontos em duas classes (A) e (B),
satisfazendo s duas condies: i) nenhum ponto escapa repartio; ii) todo ponto da classe (A) est
esquerda de todo ponto da classe (B), diz-se que se tem um corte, do qual (A) e (B) so as classes
constitutivas. O corte constitudo pelas duas classes (A) e (B) representa-se por (A,B). Todo ponto P da
reta produz nela um corte. Todo corte da reta produzido por um ponto dela, isto , qualquer que seja o
corte (A,B) existe sempre um ponto P da reta que separa as duas classes (A) e (B). Nmero real o
elemento de separao das duas classes de um corte qualquer no conjunto dos nmeros racionais. Se
existe um nmero racional a separar as duas classes, o nmero real coincidir com esse nmero racional;
se no existe tal nmero, o nmero real dir-se- irracional (Caraa, 1989, p. 62).
29
pontos se aproximam de tal modo que a distncia entre eles vai ficando cada vez menor,
aproximando-se de zero, porm, nunca se encontrando.
Se nada houvesse separando essas classes, certamente as mesmas se encontrariam.
Existe ento algo que as separa. Porm, se isto que as separa fosse um segmento de reta, a
distncia entre os dois pontos no poderia se tornar to pequena quanto desejssemos. Este
algo que separa os pontos

dos pontos

no pode ter dimenso positiva. Ento deve
existir um ponto
n
I
n
C
P que separa os pontos

dos pontos , dado por
n
I
n
C P C I
n
n
n
n
= =

lim lim .
Essa idia corresponde ao seguinte fato geomtrico: a medida do comprimento da
circunferncia o limite dos permetros dos polgonos regulares inscritos e dos permetros
dos polgonos regulares circunscritos, quando o nmero de lados desses polgonos tende ao
infinito. Ao ponto , dever corresponder o nmero P
r
C
2
, que a razo entre o
comprimento da circunferncia e o seu dimetro. Esse nmero
r
C
2
foi, h muito tempo,
designado com a letra grega (l-se: pi)
10
, isto : =
r
C
2
e portanto r C . . 2 =
(IMENES, J AKUBOVIC, TROTTA, manual,1979, p. 92).
Da Tabela 1, para n =1000, temos 14160298 , 3 14158748 , 3 < < .
O mtodo de Arquimedes mostra que possvel se obter aproximaes do valor de
to precisas quanto desejarmos, bastando aumentar continuamente o nmero de lados
dos polgonos.
A primeira aproximao notvel de depois de Arquimedes foi dada por Cludio
Ptolomeu, que viveu em Alexandria no Egito (150 d.C), em sua famosa obra conhecida
popularmente por seu ttulo em rabe Almagesto, considerado o maior trabalho de
astronomia produzido na Grcia antiga. Nela o valor de equivalente a 3,1416 (EVES,
2004, p. 142).


_____________
10
A letra a primeira letra da palavra grega peripheria ) ( , cujo significado circunferncia,
ou seja, o contorno ou o permetro de um crculo. Atribui-se a Leonard Euler, no sculo XVIII, a
popularizao do uso da letra grega para representar a razo entre o comprimento de uma
circunferncia e seu dimetro.
30
1.4 rea do Crculo

Vamos, agora, calcular a rea do crculo, utilizando novamente o mtodo das
aproximaes sucessivas, e considerar as reas dos polgonos regulares inscritos e
circunscritos em um crculo de raio r .
Para isto vamos, primeiro, calcular a rea do polgono regular de lados inscrito
num crculo de raio
n
r . Indicaremos esta rea por .
n
a
Seja o lado do polgono regular de lados inscrito num crculo de raio
n
l AB = n r .

Figura 4


A medida do ngulo central AB igual a
n
360
. A rea do polgono regular
inscrito igual a n vezes a rea do tringulo AOB. A rea do tringulo AOB dada por
n
a

n
sen
r r
360
2
. Logo

=
n
sen
r r
n a
n
360
2
ou
2
360
2
r
n
sen
n
a
n

= .
Podemos notar que a rea do polgono regular inscrito ao crculo de raio r o
produto do nmero

n
sen
n 360
2
pelo quadrado do raio. O nmero

n
360
sen
n
2

depende apenas do nmero de lados do polgono.
Calculemos, agora, a rea do polgono regular de lados circunscrito num crculo
de raio
n
r . Indicaremos esta rea por . Seja
n
A
n
L AB = .


31
Figura 5


O ngulo a metade do ngulo central AB, logo:
n
n

180
2
360
= = .
No tringulo AOM, temos:

= = = =
n
tg r L
r
L
r
L
r
AM
tg
n
n
n
180
2
2
2
.
A rea do polgono regular circunscrito igual a vezes a rea do tringulo
AOB, portanto:
n
A n
2
180

180
2
2 2
r
n
tg n A ou
n
tg r
nr r AB
n A
n n

= .
Neste caso, a rea do polgono regular circunscrito ao crculo de raio r o produto
do nmero

n
tg n
180
pelo quadrado do raio, e o nmero

n
tg n
180
tambm depende
apenas do nmero de lados do polgono.
Com o auxlio de uma calculadora cientfica, podemos obter os valores de

=
n
sen
n
r
a
n
360
2
2
e de

=
n
tg n
r
A
n
360
2
para vrios polgonos.
Esses valores esto calculados na tabela 2, com aproximao de 8 casas
decimais, obtidas por truncamento.





32
Tabela 2
n

2
r
a
n

2
r
A
n

2 2
r
a
r
A
n n

3 1,29903810 5,19615242 3,89711432
4 2,00000000 4,00000000 2,00000000
5 2,37764129 3,63271264 1,25507135
6 2,59807621 3,46410161 0,86602540
10 2,93892626 3,24919696 0,31027070
20 3,09016994 3,16768880 0,07751886
60 3,13585389 3,14446675 0,00861286
100 3,13952597 3,14262660 0,00310063
180 3,14095470 3,14191168 0,00095698
360 3,14143315 3,14167240 0,00023925
500 3,14150997 3,14163399 0,00012402


Consideremos agora as duas sequncias:
1. A sequncia das reas dos polgonos regulares inscritos em um crculo de
raio r , dada por
2
360
2
r
n
sen
n
a
n

= , 3 n .
2. A sequncia das reas dos polgonos regulares circunscritos em um crculo
de raio r , dada por
2
180
r
n
tg n A
n

= , 3 n .
A sequncia crescente, ou seja, quando o nmero de lados do polgono
regular inscrito aumenta, a rea desse polgono tambm aumenta. Essa sequncia
limitada inferiormente por e superiormente pela medida da rea do crculo, portanto,
uma sequncia limitada. Podemos concluir que a sequncia converge.
) (
n
a
3
a
) (
n
a ) (
n
a
A sequncia decrescente, ou seja, quando o nmero de lados do polgono
regular circunscrito aumenta, a rea desse polgono diminui. Essa sequncia limitada
superiormente por e inferiormente pela medida da rea do crculo, portanto,
uma sequncia limitada. Podemos concluir que a sequncia converge.
) (
n
A
3
A ) (
n
A
) (
n
A
33
Nessa construo, qualquer que seja , tem-se 3 n
n n
A a < .
Alm disso, sendo A a rea do crculo de raio r , tem-se tambm que
n n
A A a < < ,
o que nos d
2 2 2
r
A
r
A
r
a
n n
< < , . 3 , n N n
A diferena
2 2
r
a
r
A
n n
pode tornar-se to prxima de zero quanto quisermos, desde
que se escolha um adequado, suficientemente grande. A sequncia n


2 2
r
a
r
A
n n
, que se
aproxima de zero quando aumenta, mostra que as reas dos polgonos circunscritos
aproximam-se cada vez mais das reas dos polgonos inscritos (IMENES, J AKUBOVIC,
TROTTA, 1979, p. 87-88).
n
A desigualdade
2 2 2
r
A
r
A
r
a
n n
< < tambm determina uma sequncia de intervalos
encaixados, que tambm se aproxima do ponto .
Com o mesmo raciocnio feito para o comprimento da circunferncia, temos que
=
2
r
A
e, portanto, .
2
r A =
Antes de avanarmos, tratemos da seguinte questo:
Como garantir que o nmero
r
C
2
igual ao nmero
2
r
A
, ou seja, como assegurar
que os dois processos de aproximaes sucessivas empregados no clculo do comprimento
da circunferncia e no clculo da rea do crculo convergem para o mesmo nmero?
Vimos que o nmero
r
C
2
foi definido como o ponto de separao do corte, cujas
classes so

=
n
sen n
r
p
n
180
2
e

=
n
tg n
r
P
n
180
2
. Os nmeros
r
p
n
2
so as aproximaes
por falta do nmero
r
C
2
, enquanto que os nmeros
r
P
n
2
so as aproximaes por excesso
do nmero
r
C
2
.
34
Da mesma forma, o nmero
2
r
A
foi definido como o ponto de separao do corte
cujas classes so

=
n
sen
n
r
a
n
360
2
2
e

=
n
tg n
r
A
n
180
2
. Os nmeros
2
r
a
n
so as
aproximaes por falta do nmero
2
r
A
, enquanto que os nmeros
2
r
A
n
so as aproximaes
por excesso do nmero
2
r
A
.
Como

=
n
tg n
r
P
n
180
2
e

=
n
tg n
r
A
n
180
2
, temos
2
2 r
A
r
P
n n
= , ou seja, os nmeros
r
C
2
e
2
r
A
tm as mesmas aproximaes por excesso. Isto suficiente para concluirmos que
2
2 r
A
r
C
= , sendo que esse nmero nico e indicado por (IMENES, J AKUBOVIC,
TROTTA, manual, 1979, p. 44).
O advento do clculo infinitesimal com Newton e Leibniz, redundou no abandono
do mtodo grego, dando lugar aos mtodos puramente algbricos das fraes contnuas,
dos produtos infinitos e das sries (KASNER e NEWMAN, 1968, p. 81).


1.5 A expresso de Vite para o nmero

Em 1579, o matemtico francs Franois Vite calculou as nove primeiras casas
decimais do nmero pelo mtodo clssico, usando polgonos de 393216 lados.
Demonstrou que

2 2 2
2
2 2
2
2
2
2

+ +

+
=
Enquanto Arquimedes utilizou os permetros dos polgonos regulares com 3, 6, 12,
24, 48 e 96 lados para sua estimativa do , Vite considerou na sua expresso o clculo
das reas dos polgonos regulares com 4, 8, 16, 32, ... lados inscritos num crculo de raio
1 = r . Neste caso, a rea do crculo igual a .
Geralmente essa expresso aparece nos livros sem uma demonstrao. Achamos
necessrio justific-la, sem a pretenso de demonstr-la. Para isso, vamos utilizar a
35
frmula que nos d a rea de um polgono regular de n lados inscrito em um crculo de raio
r . J vimos que esta frmula dada por
2
360
2
r
n
sen
n
a
n

= . Para 1 = r , temos

=
n
sen
n
a
n
360
2
.
No clculo a seguir, iremos, ento, considerar uma subsequncia
11
da sequncia

=
n
sen
n
a
n
360
2
, que j sabemos ser convergente para o nmero .
Vamos, ento, utilizar essa frmula para 32 , 16 , 8 , 4 = = = = n n n n .
4 = n
2 1 2 ) 90 ( 2
4
360
2
4
4
= = =

= sen sen a . Para 4 = n , temos . 2


4
= a
8 = n
2
2
2
2
2
2 2 2 2
2
2
4 ) 45 ( 4
8
360
2
8
8
= = = = =

= sen sen a
Para , temos 8 = n
2
2
2
8
= a
16 = n
) 5 , 22 ( 8
16
360
2
16
16
sen sen a =

=
Para o clculo de , utilizaremos a frmula ) 5 , 22 ( sen
2
) 2 cos( 1 x
senx

= .
Esta frmula pode ser deduzida da igualdade e da relao
fundamental da trigonometria .
x sen x x
2 2
cos ) 2 cos( =
1 cos
2 2
= + x x sen
_____________
11
Uma subsequncia de uma dada sequncia uma restrio desta sequncia a um subconjunto
infinito N do conjunto N dos nmeros naturais, ou seja, uma subsequncia de uma sequncia do
tipo em que uma sequncia crescente de inteiros positivos, isto , . Se
uma subsequncia converge para um limite L, ento, toda subsequncia tambm converge
para L.
) (
n
a
) (
n
a
), ( ) (
j
n j
a b = ) (
j
n ...
2 1
< < n n
) (
n
a ) (
j
n
a
36
2
2 2
4
2 2
2
2
2 2
2
2
2
1
2
45 cos 1
) 5 , 22 (

=

= sen
Ento,
2 2
2
2
2
2
2 2
1
2
2
2 4
2 2
2
4
2 2
2 2
2 2 4 2 2 4
2
2 2
8 ) 5 , 22 ( 8
16
360
2
16
16
+
=
+
=
+
=
=
+
+
= =

= =

= sen sen a

Para , temos 16 = n
2 2
2
2
2
2
16
+
= a
32 = n
) 25 , 11 ( 16
32
360
2
32
32
sen sen a =

=
2
) 5 , 22 cos( 1
) 25 , 11 (

= sen .
Para o clculo de , utilizamos a frmula ) 5 , 22 cos(
2
1 ) 2 cos(
cos
+
=
x
x .
Da mesma maneira, essa frmula tambm pode ser deduzida da igualdade
e da relao fundamental da trigonometria . x sen x x cos ) 2 cos( =
2 2 2 2
1 cos = + x x sen
2
2 2
2
2
2 2
2
1
2
2
2
1 45 cos
) 5 , 22 cos(
+
=
+
=
+
=
+
=
Ento,
2
2 2 2
2
2
2 2
1
2
) 5 , 22 cos( 1
) 25 , 11 (
+
=
+

= sen

Dessa maneira,
37
2 2 2
2
2 2
2
2
2
2
2 2 2
1
2 2
1
2
2
2 8
2 2 2
1
2 2
2
8
2 2 2
1
2 2
2 2
2 2 8
2 2 2
2 2
8
2 2 2
2 2 2
2 2 2 8
2
2 2 2
16
32
+ +

+
=
+ +

+
=
=
+ +

+
=
+ +

+
+
=
=
+ +

=
+ +
+ +
+ =
+
= a


Para , temos 32 = n
2 2 2
2
2 2
2
2
2
2
32
+ +

+
= a
Neste ponto, j possvel perceber a lei de formao do produto de Vite. Temos,
ento:
...
2 2 2 2
2

2 2 2
2
2 2
2
2
2
2
+ + +

+ +

+
=


1.6 A expresso de John Wallis para o nmero

Em 1650, o ingls J ohn Wallis (1616-1703) estabeleceu para a seguinte
igualdade:
...
9
8
7
8
7
6
5
6
5
4
3
4
2
2
1
2
2
=



Uma demonstrao bem resumida dessa igualdade dada em Courant (2000, p.
608-609). Em seguida, vamos desenvolver esta demonstrao, explicitando as etapas
envolvidas.
Vamos iniciar calculando a integral

xdx sen
k
. O mtodo da integrao por partes
dessa integral ir nos conduzir demonstrao da expresso acima.
38
Para isso, escrevemos a funo e a integramos no
intervalo delimitado por 0 e
senx x sen x sen x f
k k
= =
1
) (
2

, isto , vamos calcular



=

2

0
1
2

0

k
senxdx x sen xdx sen ,
aplicando a frmula de integrao por partes

= vdu uv udv .
Vamos escolher para e para x sen u
k 1
= senxdx dv = . Dessa forma:
e xdx x sen k du cos ) 1 ( =
k 2
x v cos = . Ento,
[ ]

=

2

0
2
2
0
2

0
1
cos ) 1 ( cos ) cos (

k

k k
xdx x sen k x x x sen xdx sen

+ =

2

0
2 2 1
2

0
1
cos ) 1 ( ) 0 cos ( 0 )
2
cos (
2

k k

k k
xdx x sen k sen

sen xdx sen

Como 0 0 , 0
2
cos = = sen

e , temos: x sen x
2 2
1 cos =




=
= +
=
=
+ =
2

0
2
2

0
2

0
2
2

0
2

0
2

0
2

0
2
2

0
2

0
2
2

0
2

0
2 2
2

0
) ( ) 1 (
) ( ) 1 ( ) 1 (
) 1 ( ) ( ) 1 (
) ( ) 1 (
) 1 .( ) 1 ( 0 0





dx x sen k xdx sen k
dx x sen k xdx sen k xdx sen
xdx sen k dx x sen k xdx sen
dx x sen x sen k xdx sen
dx x sen x sen k xdx sen
k k
k k k
k k k
k k k
k k

O que nos d uma frmula de recorrncia

=
2

0
2
2

0
) (
) 1 (


dx x sen
k
k
xdx sen
k k

Considerando para k valores pares e mpares separadamente, vamos agora
determinar duas expresses para

=
2
0
xdx sen I
k
k

, ou seja, e , .
n
I
2 1 2 + n
I 1 , n N n
Para

= =
2

0
2
2
, 1 , , 2

xdx sen I n N n n k
n
n
.
Utilizando a frmula de recorrncia

=
2

0
2
2

0
) (
) 1 (


dx x sen
k
k
xdx sen
k k
, teremos:
39

= =
2

0
2 2
2

0
2
2
2
1 2


xdx sen
n
n
xdx sen I
n n
n
.

Mas,


=
2

0
4 2
2

0
2 2 2
2

0
2 2
2 2
3 2
2 2
1 2 2


xdx sen
n
n
xdx sen
n
n
xdx sen
n n n
.
Ento,

=
2

0
4 2
2
2 2
3 2
2
1 2

xdx sen
n
n
n
n
I
n
n
.

Utilizando novamente a frmula de recorrncia, temos que


=
2

0
6 2
2

0
2 4 2
2

0
4 2
4 2
5 2
4 2
1 4 2


xdx sen
n
n
xdx sen
n
n
xdx sen
n n n
.
Ento,

=
2

0
6 2
2
4 2
5 2
2 2
3 2
2
1 2

n
n
xdx sen
n
n
n
n
n
n
I .

Utilizando a frmula de recorrncia sucessivas vezes, teremos:
2 2
1
4
3

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

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

4 2
5 2
2 2
3 2
2
1 2

4 2
5 2
2 2
3 2
2
1 2

2

0
0
2

0
2
2

0
4
2

=
=

=
=

n
n
n
n
n
n
xdx sen
n
n
n
n
n
n
xdx sen
n
n
n
n
n
n
xdx sen
n
n
n
n
n
n
I
n


Portanto,
2 2
1
4
3
6
5
8
7
10
9

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

n
n
n
n
n
n
I
n

=
Para 1 , , 1 . 2 + = n N n n k ,

+
+
=
2

0
1 2
1 2

xdx sen I
n
n
.
Analogamente, pela frmula de recorrncia

=
2

0
2
2

0
) (
) 1 (


dx x sen
k
k
xdx sen
k k
,
teremos:

+ +
+
+
=
+
+
= =
2

0
1 2
2

0
2 1 2
2

0
1 2
1 2
1 2
2
1 2
1 1 2


xdx sen
n
n
xdx sen
n
n
xdx sen I
n n n
n

Mas,


=
2

0
3 2
2

0
2 1 2
2

0
1 2
1 2
2 2
1 2
1 1 2


xdx sen
n
n
xdx sen
n
n
xdx sen
n n n

40
Ento,

+
=
2

0
3 2
1 2
1 2
2 2
1 2
2

n
n
xdx sen
n
n
n
n
I .
Utilizando novamente a frmula de recorrncia temos que:


=
2

0
5 2
2

0
2 3 2
2

0
3 2
3 2
4 2
3 2
1 3 2


xdx sen
n
n
xdx sen
n
n
xdx sen
n n n

Ento,

+
=
2

0
5 2
1 2
3 2
4 2
1 2
2 2
1 2
2

xdx sen
n
n
n
n
n
n
I
n
n


Utilizando a frmula de recorrncia sucessivas vezes, teremos:
1
3
2
5
4

3 2
4 2
1 2
2 2
1 2
2
3
2
5
4

3 2
4 2
1 2
2 2
1 2
2
5
4

3 2
4 2
1 2
2 2
1 2
2

3 2
4 2
1 2
2 2
1 2
2

2

0
2

0
3
2

0
5
1 2

+
=

+
=
=

+
=
=

+
=


+
n
n
n
n
n
n
senxdx
n
n
n
n
n
n
xdx sen
n
n
n
n
n
n
xdx sen
n
n
n
n
n
n
I
n


Portanto, 1
3
2
5
4
7
6
9
8
11
10

3 2
4 2
1 2
2 2
1 2
2
1 2

+
=
+
n
n
n
n
n
n
I
n

Para
2
0

< < x , temos 1 0 < < senx . Ento, , de modo
que .
x sen x sen x sen
n n n 1 2 2 1 2 +
> >
1 2 2 1 2 +
> >
n n n
I I I
Dividindo a desigualdade por , temos:
1 2 2 1 2 +
> >
n n n
I I I
1 2 + n
I 1
1 2
2
1 2
1 2
> >
+ +

n
n
n
n
I
I
I
I
.
Como 1
3
2
5
4
7
6
9
8
11
10

5 2
6 2
3 2
4 2
1 2
2 2
1 2

n
n
n
n
n
n
I
n
, ento:
n
n
n
n
n
n
n
n
n
n
n
n
n
n
I
I
n
n
2
1 2
1 2
2
1
1
3
2
5
4
7
6
9
8
11
10

3 2
4 2
1 2
2 2
1 2
2
1
3
2
5
4
7
6
9
8
11
10

3 2
4 2
1 2
2 2
1 2
1 2
+
=
+
=

=
+






41
Calculando
1 2
2
+ n
n
I
I
, temos:
2 2 2 4 4 6 6 8 8 10 10 ) 2 2 ( ) 2 2 ( 2 2
1 3 3 5 5 7 7 9 9 ) 3 2 ( ) 3 2 ( ) 1 2 ( ) 1 2 ( ) 1 2 (
1
2
3
4
5
6
7
8
9
10
11

4 2
3 2
2 2
1 2
2
1 2
2 2
1
4
3
6
5
8
7
10
9

4 2
5 2
2 2
3 2
2
1 2
1
3
2
5
4
7
6
9
8
11
10

3 2
4 2
1 2
2 2
1 2
2
2 2
1
4
3
6
5
8
7
10
9

4 2
5 2
2 2
3 2
2
1 2
1 2
2


+
=
=

=
=

=
+
n n n n
n n n n n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
I
I
n
n


Ento,
1
2 2 2 4 4 6 6 8 8 10 10 ) 2 2 ( ) 2 2 ( 2 2
1 3 3 5 5 7 7 9 9 ) 3 2 ( ) 3 2 ( ) 1 2 ( ) 1 2 ( ) 1 2 (
2
1 2
>

+
>
+
n n n n
n n n n n
n
n
.
Mas, 1
2
1 2
lim =
+

n
n
n
.

Verificamos, ento, que medida que n aumenta, o termo
2 2 2 4 4 6 6 8 8 10 10 ) 2 2 ( ) 2 2 ( 2 2
1 3 3 5 5 7 7 9 9 ) 3 2 ( ) 3 2 ( ) 1 2 ( ) 1 2 ( ) 1 2 (


+
n n n n
n n n n n

tende para 1, ou seja, a expresso
2 2 4 4 6 6 8 8 10 10 ) 2 2 ( ) 2 2 ( 2 2
1 3 3 5 5 7 7 9 9 ) 3 2 ( ) 3 2 ( ) 1 2 ( ) 1 2 ( ) 1 2 (

+
n n n n
n n n n n

tende para

2
, o que nos d que
) 1 2 ( ) 1 2 ( ) 1 2 ( ) 3 2 ( ) 3 2 ( 9 9 7 7 5 5 3 3 1
2 2 ) 2 2 ( ) 2 2 ( 10 10 8 8 6 6 4 4 2 2
+

n n n n n
n n n n

tende para
2

.



42
Observemos que:
) 1 2 ( ] )! 2 [(
) ! ( 2
) 1 2 ( )] 2 ( ) 1 2 ( 8 7 6 5 4 3 2 1 [
) ! ( 2 ) ! ( 2
) 1 2 ( ) 2 ( ) 1 2 ( 8 7 6 5 4 3 2 1
) 2 ( 8 6 4 2 ) ! ( 2
) 1 2 ( ) 1 2 ( 7 5 3 1
! ! 2
) 1 2 ( ) 1 2 ( 7 5 3 1
) 3 2 1 ( 2 ) 3 2 1 ( 2
) 1 2 ( ) 1 2 ( 7 5 3 1
) 2 3 2 2 2 1 2 ( ) 2 3 2 2 2 1 2 (
) 1 2 ( ) 1 2 ( 7 5 3 1
) 2 6 4 2 ( ) 2 6 4 2 (
) 1 2 ( ) 1 2 ( ) 1 2 ( 7 7 5 5 3 3 1
2 2 6 6 4 4 2 2
2
4 4
2
2 2 2 2
2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2
2 2 2 2
2
2 2 2 2 2 2 2 2
2 2 2 2
+

=
+

=
=
+

=
+

=
=
+

=
+

=
=
+

=
+

n n
n
n n n
n n
n n n
n n
n n
n n
n n
n n
n n
n n
n n
n n
n n n
n n
n n n
n n
n n

Para n , obtemos a representao de Wallis para
2

.
) 1 2 ( ] )! 2 [(
) ! ( 2
lim
) 1 2 ( ) 1 2 ( ) 1 2 ( 7 7 5 5 3 3 1
2 2 6 6 4 4 2 2
2
2
4 4
+

=
+

=

n n
n
n n n
n n
n
n




1.7 Outras maneiras de se obter uma estimativa para o

Lord Brouncker (1620-1684), o primeiro presidente da Royal Society, converteu o
resultado de Wallis na frao contnua



Em 1671, o matemtico escocs J ames Gregory obteve a srie
...
11 9 7 5 3
11 9 7 5 3
+ + + =
x x x x x
x arctgx , que para 1 | | x convergente.
Talvez tenha passado desapercebido a Gregory que, para , tem-se 1 = x
... + + + =
11
1
9
1
7
1
5
1
3
1
1
4

. Essa srie, que converge, era conhecida de Leibniz desde


43
1674. Gregory tentava provar que impossvel uma soluo euclidiana
12
do problema da
quadratura (EVES, 2004, p. 144).
Em 1777, o conde de Buffon concebeu seu famoso problema da agulha, pelo qual
pode-se aproximar por mtodos probabilsticos. O problema consiste no seguinte:
suponhamos que se trace num plano horizontal um grande nmero de retas paralelas
equidistantes entre si. Representando por a distncia entre duas retas vizinhas quaisquer,
Buffon mostrou que a probabilidade de que uma agulha de comprimento caia
cortando uma das retas, quando lanada ao acaso sobre o plano, dada por
d
d l <
d
l
p

2
.
Fazendo uma srie de lanamentos de agulhas e contando quantas caem sobre as
retas e quantas caem entre os espaos, ou seja, sem tocar as retas, podemos calcular um
valor para experimentalmente. p
Realizando esse experimento um grande nmero de vezes, obtm-se um valor
emprico de p que podemos usar para calcular uma aproximao de . (EVES, 2004, p.
145).
De fato, essa estratgia, quando aplicada em um grande nmero de lanamentos,
resulta numa aproximao bastante aceitvel para o valor de . Alguns pesquisadores se
dedicaram a esses experimentos e obtiveram resultados surpreendentes: Lazzerini obteve
uma aproximao de 3,1415929 para aps 3408 lanamentos (MACHADO e outros,
2008, p. 43).
Muitos matemticos, ao longo da Histria, trataram o como racional, ou seja,
passvel de ser transformado em uma frao. Para os egpcios, o valor de era
equivalente a
81
256
, que, na forma decimal, equivale a 3,16. Na Mesopotmia, esse valor
era
8
25
, ou 3,125. Ptolomeu, que viveu em Alexandria, no Egito, por volta do sculo III
d.C., conseguiu calcular o valor de como
120
377
, que aproximadamente igual a 3,1416,
uma aproximao muito boa para a poca.
_____________
12
Soluo euclidiana aquela obtida por meio de construes fundamentadas nos trs primeiros postulados
de Euclides utilizando apenas uma rgua sem escala e um compasso um nmero finito de vezes.
44
Em 1768, J ohann Heinrich Lambert (1728-1777), um matemtico suo-alemo,
provou a irracionalidade do nmero , ou seja, provou que no existem nmeros inteiros
e , tais que a 0 b =
b
a
(MAOR, 2006, p. 247). Sua representao decimal , ento,
infinita e no peridica. Em nosso trabalho no apresentaremos a demonstrao da
irracionalidade do , uma vez que a prova de sua irracionalidade no est diretamente
relacionada com o problema da quadratura do crculo. Uma prova da irracionalidade do
nmero pode ser vista em Figueiredo (1985, p. 15) ou em Spivak (v. 2, p. 415).
Segundo Eves (2004, p. 148), no clculo do com muitas casas decimais, h
outras questes alm do desafio envolvido. Antes de 1768, quando se provou que
irracional, uma das razes era verificar se os dgitos de comeavam a se repetir e, se
esse fosse o caso, obt-lo como um nmero racional, talvez com um denominador muito
grande.
O clculo do com o maior nmero possvel de algarismos tem sido um desafio
para os matemticos. A evoluo desse clculo foi surpreendente com a introduo do uso
de computadores e algoritmos computacionais, possibilitando determinar um nmero cada
vez maior de casas decimais da representao decimal do nmero . Um dos ltimos
recordes foi obtido pelos pesquisadores japoneses Kanada e Takahashi que, em 2002,
conseguiram obter o valor aproximado de com mais de um trilho de casas decimais.
Atualmente a busca por novos mtodos de clculo de valores aproximados de
tambm outro campo de pesquisas. Quanto mais eficiente for o mtodo, mais
rapidamente ser possvel calcular determinada quantidade de dgitos.
Outra linha de pesquisa consiste em estudar a estatstica da distribuio dos dgitos
de , de modo a verificar se eles aparecem aleatoriamente ou se h algum tipo de padro.
Os clculos j realizados tendem a confirmar a aleatoriedade dos dgitos de .
Examinando os 200 bilhes de dgitos iniciais do , Kanada e Takahashi obtiveram a
seguinte distribuio:





45
Tabela 3
Algarismo Freqncia Porcentagem
0 20.000.030.841 10,00002%
1 19.999.914.711 9,99996%
2 20.000.136.978 10,00007%
3 20.000.069.393 10,00003%
4 19.999.921.691 9,99996%
5 19.999.917.053 9,99996%
6 19.999.881.515 9,99994%
7 19.999.967.594 9,99998%
8 20.000.291.044 10,00015%
9 19.999.869.180 9,99993%
Total 200.000.000.000 100%

Observando a Tabela 3, possvel notar que a freqncia relativa dos algarismos se
aproxima muito de 10%, o que evidencia um equilbrio entre os algarismos, e indica a
aleatoriedade dos dgitos de (MACHADO e outros, 2008, p. 18).
Alm do desafio intelectual relacionado a essas pesquisas, o clculo do usado
para testar a eficincia dos novos computadores. Por exigir uma computao intensa e
precisa, o clculo de milhes de casas decimais do pode servir de parmetro para
verificar a velocidade e a confiabilidade dos novos computadores.
Na prtica, no necessrio conhecer o valor de com tantas casas decimais. Na
maioria das aplicaes, uma aproximao do valor de com quatro casas decimais, ou
seja, 1416 , 3 , suficiente para os clculos envolvendo projetos de construes,
desenhos, clculo de comprimentos, reas e volumes.
As tentativas de resolver o problema da quadratura do crculo geraram a produo
de muitas teorias em diversas reas da matemtica, vrias delas envolvendo o nmero .
Com o objetivo de apresentar a impossibilidade de se construir um quadrado cuja
rea seja igual de um crculo dado, veremos no prximo captulo a definio de nmero
algbrico e as demonstraes de importantes resultados sobre esses nmeros, que sero
utilizados na demonstrao da transcendncia do nmero .

46

47





CAP TULO 2


Neste captulo, apresentamos alguns resultados sobre nmeros algbricos que sero
utilizados na demonstrao da transcendncia do nmero . Veremos que o conjunto dos
nmeros algbricos enumervel
13
e estudaremos a idia de traduzir o problema
geomtrico das construes com rgua e compasso para a linguagem algbrica, o que
possibilitou concluir que todo nmero construtvel algbrico.


2.1 Os nmeros algbricos

Em primeiro lugar, um nmero se diz algbrico se for soluo de uma equao
polinomial da forma , em que os coeficientes
so nmeros inteiros.
0 ...
0 1
1
1
= + + + +

a x a x a x a
n
n
n
n
0 1 1
, , ... , , a a a a
n n
Podemos escrever esta definio de outra maneira, ou seja, um nmero
algbrico se for possvel construir uma equao polinomial com coeficientes inteiros, da
qual seja raiz (FIGUEIREDO, 1985, p. 21).
Assim, qualquer nmero racional
b
a
= , (a, b Z, e b 0) algbrico, porque
raiz da equao 0 = b ax .
No entanto, nem todos os nmeros algbricos so racionais. Existem infinitos
nmeros algbricos que no so racionais.
_____________
13
Um conjunto X diz-se enumervel quando finito ou quando existe uma bijeo , sendo N o
conjunto dos nmeros naturais.
X N f :
48
Por exemplo
n
2, , algbrico, pois soluo da equao ,
e
2 , n N n 0 2=
n
x
n
2 no racional.
Para a prova da irracionalidade de
n
2, vamos supor que
n
2seja um nmero
racional, isto
b
a
n
= 2 , onde a e b so inteiros. Suponhamos, ainda, e isto essencial para
a demonstrao, que
b
a
seja uma frao irredutvel, isto , que a e b sejam primos entre si.
Admitimos, especificamente, o fato de que a e b no so ambos pares porque, se o fossem,
b
a
no seria irredutvel. Elevando a n a equao
b
a
n
= 2 , ou seja, ( )
n
n
n
b
a

= 2 , obtemos
n
b
a
= 2
n
. Portanto, . O termo representa um inteiro par, de modo que um
inteiro par e, portanto, a um inteiro par, digamos
n n
b a 2 =
n
b 2
n
a
c a 2 = , onde c tambm um inteiro.
Substituindo a por 2c na equao , obtemos , ou seja, .
Dividindo ambos os lados dessa ltima igualdade por 2 obtemos , ou, ainda,
. O termo representa um inteiro par, de modo que um
inteiro par e, portanto, b um inteiro par. Mas agora chegamos concluso de que a e b
so ambos inteiros pares, enquanto que a e b foram, inicialmente, supostos primos entre si.
Esta contradio nos leva concluso de que no possvel escrever
n n n n n n n
n n n1
n n n2 2 n n n
b a 2 = b c 2 ) 2 ( = b c 2 2 =
b c = 2
b c = ) 2 ( 2 ) 2 ( 2 c b
n
2 na forma
b
a
com
a e b inteiros e, portanto,
n
2 irracional.
Nessa demonstrao, afirmamos que se um inteiro par, ento a um inteiro
par. Antes de prosseguirmos, vamos demonstrar esse resultado.
n
a
Vamos supor por absurdo que a seja mpar, ou seja, Z k k a + = , 1 2 . Ento,
. Desenvolvendo a potncia pelo Binmio de Newton, temos:
n n n
k a ) 1 2 ( + = k ) 1 2 ( +
0 1 1
3 3 2 2 1 1 0
1 ) 2 ( 1 ) 2 (
1
... 1 ) 2 (
3
1 ) 2 (
2
1 ) 2 (
1
1 ) 2 (
0
) 1 2 (

+
+ +

= + =


n n
n n n n n n
k
n
n
k
n
n
k
n
k
n
k
n
k
n
k a



49
Ou ainda:
n n n n n n
k k
n
n
k
n
k
n
k
n
k a 2 2
1
... 2
3
2
2
2
1
1 ) 1 2 (
1 1 3 3 2 2
+

+ +

+ = + =

+ +

+ = + =
n n n n n n
k k
n
n
k
n
k
n
k
n
k a
1 1 2 3 2 2
2 2
1
... 2
3
2
2 1
2 1 ) 1 2 (

Como um inteiro,
ento, podemos escrever O termo

+ +

n n n n
k k
n
n
k
n
k
n
k
n
1 1 2 3 2 2
2 2
1
... 2
3
2
2 1
Z m m a
n
+ = , 1 2 . 1 2 + m representa um inteiro mpar,
de modo que um inteiro mpar. Mas, por hiptese, um inteiro par. Esta
contradio nos leva concluso de que a par. De forma anloga, mostramos que se
um inteiro par, ento b um inteiro par.
n
a
n
a
n
b
Um nmero que no seja algbrico chamado de transcendente.
Uma prova da existncia dos nmeros transcendentes foi dada pelo matemtico
francs J oseph Liouville (1809-1882) em 1844. Sua prova permitiu a construo de vrios
nmeros transcendentes (MAOR, 2006, p. 247), como veremos no captulo 3.
Uma outra prova da existncia de nmeros transcendentes foi dada pelo matemtico
Georg Cantor, que no s demonstrou a existncia de nmeros transcendentes, mas
tambm provou que o conjunto dos nmeros transcendentes infinito, sem exibir nem
mesmo um nico nmero transcendente.
Ento, se um nmero transcendente, esse nmero no soluo de qualquer
equao polinomial com coeficientes inteiros, ou seja, dado , no possvel construir
uma equao polinomial com coeficientes inteiros da qual seja raiz.
Observando os nmeros reais, reparamos, ento, que eles podem ser classificados
no apenas como racionais ou irracionais, mas tambm em duas outras categorias. Uma
dos nmeros algbricos e outra dos nmeros transcendentes (NIVEN, 1984, p. 79).
Alm dessas categorizaes dos nmeros reais em racionais ou irracionais,
algbricos ou transcendentes, podemos categoriz-los tambm em nmeros computveis
ou no computveis.
50
Um nmero real chamado computvel se existe um algoritmo que fornece os
dgitos de sua representao em uma base qualquer, ou, ainda, podemos aproxim-lo to
precisamente quanto desejarmos por meio de um algoritmo.
Um exemplo o nmero , que, apesar de ser irracional e transcendente, um
nmero computvel. Como j vimos, os pesquisadores japoneses Kanada e Takahashi
conseguiram em 2002, com o uso do computador e algoritmos computacionais, obter o
valor aproximado de com mais de um trilho de casas decimais.
Prova-se que o conjunto dos nmeros computveis enumervel. Isso provado
mostrando que, se existe um algoritmo que aproxima o nmero, ento, esse algoritmo pode
ser implementado em uma linguagem de programao, mostrado por Turing
14
. Como
existem contveis codificaes em uma linguagem finita, ento, existem contveis
nmeros computveis.
Por outro lado, existem nmeros cujas representaes no podem ser geradas por
meio de algoritmos. Nesse caso, o nmero chamado no computvel.
Um exemplo de nmero no computvel a constante de Chaitin, que tambm
um nmero transcendente. Resumidamente, podemos construi-la calculando o seguinte
somatrio: para cada algoritmo existente (cujo natural associado n), se o algoritmo pra,
soma-se , seno, no se soma nada. Como o somatrio no pode ser calculado, uma vez
que no podemos saber se um algoritmo pra (Problema de Parada), ento, a constante de
Chaitin um nmero no computvel. Esse nmero perfeitamente definido e um objeto
matemtico sem ambigidade. Contudo ele no pode ser computado. No conseguimos
exibir um algoritmo para gerar a constante
n
2
de Chaitin, mas podemos descrever como
ger-la, por isso ela tambm chamada de um nmero definvel.
A Lgica Matemtica e a Teoria da Computao so duas reas nas quais podemos
fazer um estudo sobre os nmeros computveis e no computveis descritos apenas como
informao.
Voltemos categorizao dos nmeros reais em algbricos e transcendentes.
_____________
14
Alan Mathison Turing (1912-1954), analisa o ato de computar e fornece argumentos mediante os quais
todas as computaes podem ser efetuadas por suas mquinas, que vieram a ser chamadas mquinas
de Turing. Essas mquinas so importantes porque propiciam um meio fsico de raciocinar sobre a lgica.
Todo processo efetivo, isto , para o qual existe um algoritmo, ou um processo mecnico de computao,
pode ser efetuado por meio de uma mquina de Turing.
51
Como j vimos, todo nmero racional algbrico. Segue-se ento que todo
nmero que no algbrico no racional. Seja um nmero no algbrico. Vamos
supor que seja racional. Mas se racional, ento, algbrico, como j foi
provado. Esta contradio nos leva concluso de que no racional. Podemos, ento,
escrever que todo nmero transcendente irracional.
No entanto, nem todo nmero irracional transcendente. Um nmero irracional
pode ser algbrico. Um exemplo desse caso o nmero 2, que soluo da equao
, como j foi dito anteriormente. 0 2= x
2
Esquematicamente, temos:

) 2 ln , 2 , , : (
) , 7 : (
cos) lg (

2
3
e ex por NTES TRANSCENDE
primo p com p ex por ALGBRICOS
S IRRACIONAI
bri a nmeros so estes todos RACIONAIS
REAIS NMEROS

) (




s irracionai nmeros so estes todos NTES TRANSCENDE
S IRRACIONAI
RACIONAIS
ALGBRICOS
REAIS NMEROS




S COMPUTVEI NO
S COMPUTVEI
REAIS NMEROS

Em seguida, iremos apresentar as demonstraes de que:
i. O conjunto dos nmeros algbricos enumervel.
ii. Todo nmero construtvel algbrico.
iii. A aritmtica dos nmeros algbricos
A soma de dois nmeros algbricos algbrico.
O produto de dois nmeros algbricos algbrico.
O simtrico de um nmero algbrico algbrico.
O inverso
-1
de um nmero algbrico 0 algbrico.




52
2.2 O conjunto dos nmeros algbricos enumervel

A demonstrao desse teorema tem como referncia Niven (1984, p. 199).
J vimos que um nmero algbrico aquele que satisfaz uma equao do tipo
, em que os coeficientes so
nmeros inteiros.
0 ...
0 1
1
1
= + + + +

a x a x a x a
n
n
n
n 0 1 1
, , ... , , a a a a
n n
Vamos supor 0 > . Se tivermos
n
a 0 <
n
a , podemos multiplicar a equao por ,
sem que isso altere as razes.
) 1 (
Utilizaremos sem demonstrao o seguinte teorema: Qualquer equao da forma
com coeficientes inteiros tem no mximo n razes
distintas. (NIVEN, 1984, p. 198). Como conseqncia desse resultado, temos de imediato
que o nmero de razes de qualquer equao do tipo
com coeficientes inteiros finito.
0 ...
0 1
1
1
= + + + +

a x a x a x a
n
n
n
n
0 ...
0 1
1
1
= + + + +

a x a x a x a
n
n
n
n
Em seguida, temos a definio de altura de uma equao polinomial com
coeficientes inteiros.
Dada a equao , sua altura definida como o
nmero inteiro e positivo h =n +a
n
+| a
n 1
| +... +| a
2
| +| a
1
| +| a
0
| .
0 ...
0 1
1
1
= + + + +

a x a x a x a
n
n
n
n
Vejamos alguns exemplos:
No existe equao de altura igual a 1.
Com altura igual a 2, existe somente a equao x = 0.
Com altura igual a 3, temos quatro equaes:
3 delas de grau um, ou seja, 2x =0, x + 1 =0 e x 1 =0;
1 equao de grau 2, ou seja, x
2
=0.
Com altura igual a 4, h onze equaes:
5 equaes de grau 1, ou seja, 3x =0, 2x + 1 =0, 2x 1 =0, x +2 =0 e
x 2 =0.
5 equaes de grau 2, ou seja; 2x
2
=0, x
2
+1 =0, x
2
1 =0, x
2
+x =0 e
x
2
x =0.
1 equao de grau 3, ou seja, x
3
=0.
53
E, sucessivamente, para cada valor inteiro e positivo de h fixo temos um nmero
finito de equaes (ver Anexo I). Isso justificado pelo fato do grau n e os coeficientes
estarem restritos a um conjunto finito de inteiros, tais que
0 1 1
, , ... , , a a a a
n n
| | | | | | ... | |
0 1 2 1
a a a a a n h
n n
+ + + + + + =

. medida que o valor de h aumenta, tambm
aumenta o nmero de equaes com essa altura h, assim como a quantidade de razes de
todas essas equaes. No entanto, por maior que seja o valor de h, temos sempre uma
quantidade finita de equaes com essa altura h.
Pelo teorema anterior, para cada uma dessas equaes com altura igual a h fixa h
um nmero finito de razes. Seja C
h
o conjunto finito constitudo pelas razes de todas as
equaes com altura h (h fixo).
Ento, temos que a reunio de todos os C
h
, h = 1,2,3,4,..., um conjunto
enumervel, pois a unio de um conjunto enumervel de conjuntos finitos enumervel.
Como nesta unio aparecem todos os nmeros algbricos, segue-se que o conjunto
dos nmeros algbricos enumervel.
Como R no enumervel, segue-se que o conjunto dos nmeros transcendentes
no enumervel, o que ser provado no captulo 3.


2.3 Todo nmero construtvel algbrico

No ltimo captulo deste trabalho, apresentamos uma demonstrao da
transcendncia do nmero , da qual decorre a impossibilidade da quadratura do crculo
com rgua e compasso, levando em considerao que todo nmero construtvel algbrico.
Vamos, ento, analisar agora esta ltima afirmao: todo nmero construtvel
algbrico.
Em geometria plana, o termo construo significava, para os gregos, utilizar em
suas construes geomtricas apenas uma rgua sem escala numerada e um compasso. Em
todas essas construes geomtricas, a rgua utilizada como instrumento para traar uma
reta e no para medir ou demarcar distncia (COURANT, 2000, p. 141).
Construir com rgua e compasso, significa efetuar as seguintes construes:
54
i) traar uma reta, conhecendo dois de seus pontos;
ii) traar uma circunferncia, conhecendo o seu centro e um ponto da
circunferncia, que determina o seu raio;
iii) determinar as interseces: de retas com retas, de circunferncias com
circunferncias e de retas com circunferncias (WAGNER, 1993, p. 92).
O que significa ento um nmero ser construtvel?
Se um nmero real, dizemos que construir o nmero significa construir
com rgua e compasso, a partir de um segmento tomado para unidade, um segmento de
comprimento igual a . Em termos numricos, 1 dado e procura-se determinar quais
nmeros se podem construir a partir de 1, usando-se a rgua e o compasso um nmero
finito de vezes. Esses nmeros so chamados de construtveis (KAPLANSKY, 1958, p.
57).
Veremos, em seguida, que dados dois nmeros a e b construtveis, ento, a +b, -a,
a.b, ) 0 , (
1
a
a
, e a tambm so construtveis.
Para essas construes, vamos considerar a reta real, a origem e uma unidade.

Construo de a + b

1. Sobre uma reta r, marcar o ponto O correspondente ao nmero 0. Construir os
pontos A e B, tal que med(OA) =a e med(OB) =b.
2. Construir uma reta s // r.
3. Escolher um ponto Cs e traar o segmento de reta OC. Em seguida, traar o
segmento CB.
4. Traar um segmento de reta passando por A e paralelo a OC, determinando o
ponto Ds.
5. Traar um segmento de reta passando por D e paralelo a CB, determinando o
ponto Er.


55
Figura 6
O
B
C
A
D
E
a
s
r
a
b
a+b


Dessa forma, temos: med(OA) =med(CD) =med(BE) =a.
Ento, med(OE) =med(OB) +med(BE) =b+a =a+b.
O ponto Er corresponde ao nmero a + b.

Construo de a

1. Sobre uma reta r, marcar o ponto O correspondente ao nmero 0. Construir o
ponto A, tal que med(OA) =a.
2. Construir uma reta s//r
3. Escolher um ponto Bs e traar o segmento de reta AB. Em seguida, traar o
segmento BO.
4. Traar um segmento de reta passando por O e paralelo a AB, determinando o
ponto Cs.
5. Traar um segmento de reta passando por C e paralelo a BO, determinando o
ponto Dr.
Figura 7
O A
B C
D
s
r
a
-a


56
Dessa forma, temos: med(OA) =med(CB) =med(DO) =a.
O ponto D corresponde ao nmero a.

Construo de a.b

Nessa construo, iremos considerar a >1 e b >1.
1. Sobre uma reta r, marcar o ponto O correspondente ao nmero 0 e o ponto I
correspondente ao nmero 1. Construir os pontos Ar e Br tal que med(OA) =
a e med(OB) =b.
2. Construir uma reta s, passando por O, formando com r um ngulo agudo.
3. Escolher um ponto Cs e traar o segmento IC. Em seguida, traar o segmento
CB.
4. Traar um segmento de reta passando por A e paralelo ao segmento IC,
determinando Ds.
5. Traar o segmento de reta passando por D e paralelo ao segmento CB,
determinando o ponto Er.

Figura 8
O
s
I
A B
C
D
E
r
a
b
ab
1


Dessa forma, temos que OBC OED.
Ento,
OE
OB
OA
OI
= , ou seja,
) (
1
OE med
b
a
= , o que nos d med(OE) =a.b.
O ponto Er, corresponde ao nmero a.b .
57
Construo de ) 1 , (
1
> a
a


1. Sobre uma reta r, marcar o ponto O correspondente ao nmero 0 e o ponto I
correspondente ao nmero 1. Construir o ponto Ar tal que med(OA) =a.
2. Construir uma reta s, passando por O, formando com r um ngulo agudo.
3. Escolher um ponto Bs e traar o segmento AB. Em seguida, traar o segmento
BI.
4. Traar o segmento de reta passando por I e paralelo ao segmento AB,
determinando em s o ponto C.
5. Traar o segmento de reta passando por C e paralelo ao segmento BI,
determinado o ponto Dr.

Figura 9
O
I A
B
C
D
s
r
1/a
1
a


Dessa forma, temos que OIC OAB.
Ento,
OD
OI
OI
OA
= , ou seja,
) (
1
1 OD med
a
= , o que nos d
a
OD med
1
) ( = .
O ponto Dr corresponde ao nmero
a
1
.
A construo para 0 <a <1 anloga.
As construes de (a+b), -a, ab e 1/a (a0) so vlidas para quaisquer que sejam os
sinais de a e b.
58
Construo de a , 0 > a

1. Sobre uma reta r, marcar o ponto O correspondente ao nmero 0. Construir o
ponto A tal que med(OA) =a. Em seguida, a partir de A, construir o ponto B, tal
que med(OB) =a +1.
2. Traar uma semi-circunferncia com centro no ponto mdio de OB, passando
por O.
3. Traar por A um segmento de reta perpendicular a OB, determinando na semi-
circunferncia o ponto C.

Figura 10
O A B
C
r
a
a+1
1


Dessa forma, o OBC retngulo em C.
Pelas relaes mtricas no tringulo retngulo, temos:
o que nos d ) ( ). ( )) ( ( AB med OA med AC med =
2
a AC med a AC med = = ) ( 1 . )) ( (
2
.






59
Dessas construes, segue-se que o conjunto dos nmeros construtveis constitui
um corpo
15
que chamaremos de K (ou um subcorpo do corpo dos nmeros reais). Isso
significa que o conjunto dos nmeros construtveis um conjunto de nmeros reais que
possui 0 e 1 e fechado em relao adio, multiplicao e ao clculo de simtricos e
de inversos de elementos no nulos. (WAGNER, 1993, p. 96)
Alm disso, K satisfaz a condio: se K , ento, K . A recproca desta
afirmao, tambm verdadeira ou seja, se K , ento, K . Como o produto de
dois nmeros construtveis construtvel, se K , ento, K . , o que nos d
K .
Essa construo de ser decisiva na demonstrao de que todo nmero
construtvel algbrico. Ela ser utilizada na construo das extenses do corpo dos
racionais.
Dizemos que uma extenso de um corpo F um corpo M, se M contm F, ou seja,
M F . Por exemplo, R uma extenso de Q, e R uma extenso de K.
Do fato de o conjunto dos nmeros construtveis formarem um corpo, temos como
conseqncia imediata que todo nmero racional construtvel, pois qualquer que seja
Q
b
a
, a, b Z, b 0, a e b so construtveis a partir de 0 e 1,
b
1
construtvel a partir de
b, e
b
a
b
a =
1
. construtvel a partir de a e
b
1
.
_____________
15
Um corpo um conjunto X, munido de duas operaes chamadas adio e multiplicao, que satisfazem a
certas condies chamadas os axiomas de corpo. A adio faz corresponder a cada par de elementos
, sua soma , enquanto a multiplicao associa a esses elementos o seu produto
.
X y x , X y x +
X y x .
Os axiomas de corpo so os seguintes:
A. Axiomas da adio:
A
1
. Associatividade: tem-se , , , X z y x ) ( ) ( z y x z y x + + = + +
A
2
. Comutatividade: tem-se , , X y x x y y x + = +
A
3
. Elemento Neutro: X x x x X = + , 0 | 0
A
4
. Simtrico: 0 ) ( | ) ( , = + x x X x X x
B. Axiomas da multiplicao:
M
1
. Associatividade: tem-se , , , X z y x ) . .( ). . ( z y x z y x =
M
2
. Comutatividade: tem-se , , X y x x y y x . . =
M
3
. Elemento Neutro: X x x x e X = , 1 . 0 1 | 1
M
4
. Inverso Multiplicativo: 1 . | , 0 ,
1 1
=

x x X x x X x
D
1
. Axioma da distributividade:
, , , X z y x tem-se z x y x z y x . . ) .( + = + . Pela comutatividade, tem-se tambm . z y z x z y x . . ). ( + = +
60
Como todo nmero racional algbrico, segue-se que todos os nmeros
construtveis racionais so algbricos.
No entanto, nem todo nmero construtvel racional. Um exemplo clssico o
nmero 2 que, embora sendo construtvel, no racional.
Podemos perguntar: alm dos nmeros racionais, quais outros nmeros tambm so
construtveis?
Como j vimos, sendo K o conjunto dos nmeros construtveis, se K , ento,
K . Temos de imediato que alm dos racionais, todos os nmeros da forma Q r ,
r Q so construtveis.
Consideremos agora r Q (r fixo). Se Q r , imediato que os nmeros da
forma r b a . + com a, bQ so construtveis. Analisemos o caso em que Q r . Como
o conjunto dos nmeros construtveis um corpo, podemos construir todos os nmeros da
forma r b a . + , com a, b Q.
Podemos tambm construir os nmeros:
r
rb a
b
rb a
a
r b a
r b a
r b a r b a
r b a r b a
r bc ad bdr ac r d c r b a
r d b c a r d c r b a

+
=
+
+ = +
+ + + = + +
+ + + = + + +
2 2 2 2
.
1
.
1
) ( ) (
) ( ) ( ) . ( ) (
) ( ) ( ) ( ) (

com a, b, c, d racionais, que tambm so da forma r q p . + , com p, q racionais.
O denominador no pode ser zero, pois, se , ento,
2 2
b r a 0
2 2
= b r a
b
a
r = ,
contrariando o fato de Q r .
Logo, o conjunto } , , { Q b a r b a + um corpo que denotaremos por ] [ r Q .
Todos os nmeros desse corpo so razes de equaes quadrticas. Seja
r b a x . + = . Ento, r b a x . = . Elevando ambos os lados da igualdade ao quadrado,
temos: , ou seja, . Ento, todo nmero r b a ax x = + 2
2 2 2
0 2
2 2 2
= + r b a ax x
61
construtvel da forma r b a . + raiz de uma equao algbrica do 2 grau com
coeficientes racionais. Segue-se, ento, que esses nmeros so algbricos.
Esse corpo } , , { ] [ Q b a r b a r Q + = contm o corpo dos racionais. Basta
considerar . No entanto, nem todo nmero real dessa forma, por exemplo 0 = b R
3
2 e
] [ 2
3
r Q .
Para facilitar as notaes, chamaremos o corpo Q dos racionais de e corpo
0
F
] [ r Q de . A construtibilidade de cada nmero no corpo de extenso
1
F
16
foi
estabelecida. Como
,
ento,

uma extenso de .
1
F
1 0
F F
1
F
0
F
Podemos agora ampliar nossas construes, considerando um nmero construtvel
r b a . + = (fixo) de F
1
e extrair sua raiz quadrada, obtendo, assim, o nmero
construtvel = + r b a . .
Analogamente, podemos construir o corpo de todos os nmeros . v u + , onde
, isto , so nmeros da forma
1
, F v u r b a . + , com Q r b a , , . Chamemos de o
corpo dos nmeros da forma
2
F
. v u + . O corpo

contm o corpo , ou seja, .
Basta fazer em
2
F
1
F
2 1
F F
0 = v . v u + . Ento,

uma extenso de , que por sua vez uma
extenso de . Temos at agora .
2
F
1
F
0
F
2 1 0
F F F
Qualquer nmero de tem a forma
2
F . v u x + = , onde , ,v u esto no corpo ,
e, portanto, tem a forma
1
F
r f e v r d c u r b a + = + = + = , , , onde Q f e d c b a , , , , , .
Mostraremos que os nmeros desse corpo so razes de uma equao algbrica de
quarto grau.
2
F
Como + = v u x , podemos escrever = v u x . Elevando ambos os lados
dessa igualdade ao quadrado temos
2 2
) . ( ) ( v u x = . Calculando as potncias, obtemos
, com coeficientes no corpo , gerado por . 2
2 2 2
v u ux x = +
1
F r .
_____________
16
Dizemos que um corpo R A uma extenso de um corpo se R B B A . Dado B tal que
B , o conjunto } , | { ] [ B b a b a B + = um exemplo de subcorpo de R, ou seja, um
subconjunto com as mesmas condies do corpo tambm um corpo. Esse denominado corpo de
adjuno de a . Dizemos que B ] [ B uma extenso quadrtica de . B
62
Consideremos agora essa equao , em que . 2
2 2 2
v u ux x = +
r f e v r d c u r b a + = + = + = , , com Q f e d c b a , , , , , .
Ento,
) ( ) ( ) ( ) ( 2 2
2 2 2 2 2 2
r b a r f e r d c x r d c x v u ux x + + = + + + = + .

Desenvolvendo as operaes indicadas, obtemos:
) 2 2 2 ( 2 2
2 2 2 2 2
) )( 2 ( 2 2 2
2 2 2 2 2 2 2
2 2 2 2 2 2 2
2 2 2 2 2
rb f aef b e cd dx r r af efbr ae r d c cx x
r rb f r af efbr r aef r b e ae r d r cd c x r d cx x
r b a r f r ef e r d r cd c x r d cx x
+ + + = + +
+ + + + + = + + +
+ + + = + + +

Fazendo

= + + +
=
= +
=
t rb f aef b e cd
l d
q r af efbr ae r d c
p c
2 2
2 2 2 2
2 2
2
2
2
obtemos ) .(
2
t lx r q px x + = + + , onde p, q, r, l e t so racionais. Elevando novamente
ambos os lados dessa equao ao quadrado, obtemos uma equao de quarto grau
, com coeficientes racionais. Portanto, os nmeros
2 2 2
) .( ) ( t lx r q px x + = + +
. v u x + = , onde , ,v u esto no corpo , so razes de uma equao algbrica de
quarto grau.
1
F
Segue-se, ento, que os nmeros de tambm so algbricos.
2
F
Repetindo este processo um nmero finito de vezes a partir do corpo dos
racionais, ou seja, a partir do nmero 1, chegamos a concluso de que todo nmero
construtvel pertence a um corpo M da forma tal que existe uma cadeia
(KAPLANSKY, 1958, p. 59).
Q F =
0
n
F
M F F F F F Q
n n
= =
1 2 1 0
...
Portanto, um nmero ser construtvel se e somente se puder ser escrito em termos
de nmero racionais, usando somente adies, multiplicaes, simtricos, inversos e razes
quadradas (WAGNER, 1993, p. 98).
Em outras palavras, nmeros construtveis so aqueles que podem ser alcanados
por uma seqncia de corpos de extenso a partir de Q. O nmero n de extenses
63
necessrias no importa. De certa forma, ele indica o grau de complexidade do problema
(COURANT, 2000, p. 160).
Em geral, os nmeros de so razes de equaes algbricas de grau , com
coeficientes racionais.
n
F
n
2
Comeando com um segmento de comprimento unitrio, qualquer comprimento
que possa ser construdo com rgua e compasso um nmero algbrico de grau 1, ou 2, ou
4, ou 8,..., isto , um nmero algbrico de grau igual a uma potncia de 2 (NIVEN, 1984, p.
121).
Sempre que um nmero algbrico for raiz de uma equao de grau n com
coeficientes inteiros, mas no for raiz de nenhuma equao de grau menor com
coeficientes inteiros, dizemos que um nmero algbrico de grau n.
Portanto, todo nmero construtvel algbrico (sobre os racionais) e seu grau uma
potncia de 2. Alm disso, um nmero s ser construtvel se for algbrico de grau igual a
uma potncia de 2 (WAGNER, 1993, p. 101).
Segundo Courant (2000, p. 144), a chave para uma compreenso mais profunda
consiste em traduzir os problemas geomtricos para a linguagem algbrica. Desse modo,
o problema de resolver uma construo geomtrica equivale a resolver um problema
algbrico.
O que ir fornecer os fundamentos de toda essa teoria o princpio da Geometria
Analtica, ou seja, a caracterizao quantitativa de objetos geomtricos por nmeros reais
(COURANT, 2000, p. 145)
Introduzindo coordenadas cartesianas no plano, os pontos passam a ser
representados por pares (a, b) de nmeros reais. Um ponto do plano P(a, b) ser
construtvel se e somente se a e b forem construtveis. Um ponto A do plano cartesiano
construtvel a partir de P se possvel determinar A utilizando rgua e compasso por meio
de um nmero finito das construes j descritas no incio deste item.
Um nmero real construtvel se o ponto P(, 0) construtvel.
Analiticamente, traar uma reta, determinada por dois pontos construtveis do
plano, significa que podemos considerar retas y = ax + b, sendo a e b nmeros
construtveis.
64
Da mesma forma, traar uma circunferncia, conhecendo o seu centro e um ponto
da circunferncia, que determina o seu raio, significa que podemos considerar
circunferncias (x a)
2
+(y b)
2
=r
2
, sendo a, b e r nmeros construtveis.
Como j vimos, um ponto nas construes com rgua e compasso s pode ser
determinado por meio de repetio de um nmero finito das seguintes operaes:
[A] determinar a interseco de duas retas construtveis
[B] determinar a interseco de duas circunferncias construtveis
[C] determinar a interseco de uma reta e uma circunferncia construtveis.
Analiticamente, isso significa que um nmero construtvel pode ser obtido a
partir dos nmeros racionais por meio de uma seqncia finita dos seguintes processos:
[A] Resolver o sistema

+ =
+ =
' ' b x a y
b ax y
[B] Resolver o sistema

= +
= +
2 2 2
2 2 2
' ) ' ( ) ' (
) ( ) (
r b y a x
r b y a x
[C] Resolver o sistema

= +
+ =
2 2 2
) ' ( ) ' ( r b y a x
b ax y

Os processos [A] e [B], aplicados com coeficientes num corpo L, produzem
resultados em L . O processo [C], em geral, nos faz passar de L a
} , | { ] [ L b a c b a c L + = , e L c L c (KAPLANSKY, 1958, p. 58-59).


2.4 A aritmtica dos nmeros algbricos

As demonstraes a seguir tem como referncia Figueiredo (1985, p. 29-34).
Novamente, mais uma vez nossa preocupao foi detalhar os raciocnios utilizados nas
demonstraes. Com essa inteno, explicamos todas as etapas envolvidas, descrevendo as
idias subentendidas no texto de referncia.

65
2.4.1 A soma de dois nmeros algbricos algbrico

Se e so dois nmeros algbricos, ento, a soma + um nmero algbrico.
Para =0 ou =0 a demonstrao imediata.
Se 0 um nmero algbrico, ento existe uma equao polinomial
, com coeficientes inteiros tal que ) 0 , ( 0 ... . .
0 1 1
= + + + +
n n n
d d x d x d x d
1 n n
0 ...
0 1
1
1
= + + + +

d d d d
n
n
n
n
.
Multiplicando essa ltima igualdade por
n
d
1
, obtemos:
0 ...
0 1 1 1
= + + + +

n n
n
n
n n
d
d
d
d
d
d
. Segue-se, ento, que raiz da equao
0 ...
0 1 1 1
= + + + +

n n
n
n
n n
d
d
x
d
d
x
d
d
x com coeficientes racionais.
Para facilitar a notao, vamos escrever esta equao na seguinte forma:
). , , ... , , ( 0 ...
0 1 1 0 1
1
1
Q a a a a x a x a x
n
n
n
n
= + + + +


Analogamente, se 0 algbrico, existe uma equao polinomial
) , , ... , , ( 0 ...
0 1 1 0 1
1
1
Q b b b b x b x b x
m
m
m
m
= + + + +

, tal que seja raiz.


Como raiz da equao , ento,
.
0 ...
0 1
1
1
= + + + +

a x a x a x
n
n
n
0 ...
0 1 1
= + + + +

a a a
n

1 n n
Dessa igualdade, podemos escrever
n
como uma combinao linear de
1, ,...,
n 1
, ou seja: .
0 1
1
1
... a a a
n
n
n
=


Multiplicando por , temos:
0 1
1
1
... a a a
n
n
n
=


=

+
0
2
1 1
1
... a a a
n
n
n
.
Substituindo nesta igualdade, tem-se:
0 1
1
1
... a a a
n
n
n
=



0
2
1 0 1
1
1 1
1
... ) ... ( a a a a a a
n
n n
n
=


+

+ + + =

+
0
2
1 0 1 1 1
1 2
1
1
... ... a a a a a a a
n n
n
n
n
,
66
o que nos d:
0 1 0 1 1
2
1
1 2
1
1
) ( ) ( ... a a a a a a a
n n
n
n
n
+ + + + =

+

Dessa forma, obtemos tambm expresso como uma combinao linear de
com coeficientes racionais. Esses coeficientes so racionais, pois o conjunto
dos nmeros racionais fechado em relao s operaes de adio, subtrao,
multiplicao e diviso.
1 + n

1 n
, ... , , 1
Analogamente, multiplicando por
1 + n
, obtemos expresso como
combinao linear de com coeficientes racionais, e, assim sucessivamente,
podemos obter todas as potncias de para
2 + n

1 n
j
, ... , , 1
n j , como combinaes lineares de
, usando-se coeficientes racionais.
1 n
1 m
, ... , , 1
Da mesma forma, podemos exprimir as potncias para , como
combinaes lineares de

usando-se coeficientes racionais.
k
m k
, ... , , 1
Para provarmos que ) ( + tambm um nmero algbrico, devemos mostrar que
) ( + satisfaz uma equao polinomial com coeficientes inteiros.
Para isto, mostraremos que ) ( + satisfaz uma equao polinomial de grau m.n
com coeficientes racionais. Multiplicando-se essa equao por um nmero que seja um
mltiplo comum dos denominadores de todos os seus coeficientes, obteremos uma equao
polinomial com coeficientes inteiros, implicando ento que ) ( + seja algbrico.
Para a construo dessa equao, vamos considerar os ) 1 ( + mn nmeros:
n m. 3 2 1 0
) ( , ... , ) , ( ) , ( ) , ( ) ( + + + + + .
Desenvolvendo essas potncias, temos:
1 ) (
0
= +
+ = +
1
) (

2

2 2
2 ) ( + + = +

3 2

2 3 3
3 3 ) ( + + + = +
----------------------------------------------

n m

n m n m . . .
... ) ( + + = +
67
Usando o resultado sobre a representao das potncias
j
, para j n e
k
, para
k m, obtemos que os nmeros
podem ser expressos como combinaes lineares dos nmeros , 0 j n 1,
0 k m 1, usando-se coeficientes racionais.
n m. 3 2 1 0
) ( , ... , ) , ( ) , ( ) , ( ) ( + + + + +
n m.
k j

Ou seja:
( + )
0
= 1.
0

0
+ (somatrio das outras m.n -1 potncias de
j

k
, todas
com coeficientes iguais a zero).
( + )
1
= 1.
1

0
+ 1.
0

1
+ (somatrio das outras m.n -2 potncias de

k
, todas com coeficientes iguais a zero).
( + )
2
= 1.
2

0
+ 2.
1

1
+ 1.
0

2
+ (somatrio das outras m.n -3
potncias de
j

k
, todas com coeficientes iguais a zero).
e assim sucessivamente, observando que nos termos em que
j

k
tiverem j n ou k m,
devemos escrever
j
como combinao linear de usando-se coeficientes
racionais e
k
como combinao linear de

usando-se coeficientes racionais.
1 n
1 m
, ... , , 1
, ... , , 1
No desenvolvimento das potncias ( + )
i
, 0 i m.n , existem termos
j

k
com
j n ou k m, quando ocorrer i n ou i m , uma vez que m.n n e m.n m.
Podemos escrever:

+ + + = +

+ + + = +
+ + + = +
+ + + = +

+ + +



1 1
, 1
1 0
2 , 1
0 0
1 , 1
1 1
, 3
1 0
32
0 0
31
2
1 1
, 2
1 0
22
0 0
21
1
1 1
, 1
1 0
12
0 0
11
0
... ) (
... ) (
... ) (
... ) (
m n
mn mn mn mn
mn
m n
mn
m n
mn
m n
mn
q q q
q q q
q q q
q q q






Vamos mostrar que essas ) 1 . ( + m n potncias so linearmente dependentes sobre os
racionais, isto , existem Q r r r
mn

+1 2 1
, ... , , , com alguns (ou todos) diferentes de zero, tais
que
r
1
( + )
0
+ r
2
( + )
1
+ r
3
( + )
2
+ ... + r
mn+1
( + )
mn
= 0
Substituindo pelas expresses
acima, temos:
n m. 3 2 1 0
) ( , ... , ) , ( ) , ( ) , ( ) ( + + + + +
68
0 ) ... .(
... ) ... .(
) ... .(
) ... .(
1 1
, 1
1 0
2 , 1
0 0
1 , 1 1
1 1
, 3
1 0
32
0 0
31 3
1 1
, 2
1 0
22
0 0
21 2
1 1
, 1
1 0
12
0 0
11 1
= + + + +
+ + + + + +
+ + + + +
+ + + +

+ + + +



m n
mn mn mn mn mn
m n
mn
m n
mn
m n
mn
q q q r
q q q r
q q q r
q q q r






Efetuando as multiplicaes e reagrupando os termos, temos:
0 ). ... (
... ). ... (
). ... (
1 1
1 , 1 3 , 3 2 , 2 1 , 1
1 0
1 2 , 1 3 32 2 22 1 12
0 0
1 1 , 1 3 31 2 21 1 11
= + + + + +
+ + + + + + +
+ + + + +

+ +
+ +
+ +
m n
mn mn mn mn mn mn
mn mn
mn mn
r q r q r q r q
r q r q r q r q
r q r q r q r q




Levando em considerao que 0 e 0 , temos , para 0
k j
1 0 n j ,
. 1 0 m k
Vemos, ento, que 0 ) ( ... ) ( ) ( ) (
1
2
3
1
2
0
1
= + + + + + + + +
+
mn
mn
r r r r
estar satisfeita se forem solues do sistema de equaes lineares Q r r r
mn

+1 2 1
, ... , ,

= + + + +

= + + + +
= + + + +
+ +
+ +
+ +
0 ...
0 ...
0 ...
1 , 1 3 , 3 2 , 2 1 , 1
1 2 , 1 3 32 2 22 1 12
1 1 , 1 3 31 2 21 1 11
mn mn mn mn mn mn
mn mn
mn mn
r q r q r q r q
r q r q r q r q
r q r q r q r q


Temos, ento, um sistema linear homogneo com m.n equaes e (mn+1)
incgnitas. Como um sistema homogneo de equaes lineares com mais incgnitas do
que equaes tem uma soluo no-nula, podemos concluir que existem racionais
no todos nulos tais que Q r r r
mn

+1 2 1
, ... , ,
0 ) ( ... ) ( ) ( ) (
1
2
3
1
2
0
1
= + + + + + + + +
+
mn
mn
r r r r ,
mostrando que ) ( + satisfaz uma equao polinomial
, com coeficientes racionais. 0 ...
1
2
3
1
2
0
1
= + + + +
+
mn
mn
x r x r x r x r
Como j foi dito, multiplicando-se essa equao por um nmero que seja um
mltiplo comum dos denominadores de todos os seus coeficientes, obtemos uma equao
polinomial com coeficientes inteiros, implicando, ento que ) ( + seja algbrico.
Portanto, soma de algbricos algbrica.
69
2.4.2 O produto de dois nmeros algbricos algbrico

Se e so dois nmeros algbricos, ento o produto . um nmero algbrico.
A demonstrao desse resultado segue as mesmas linhas da demonstrao anterior.
Sejam 0 e 0 dois nmeros algbricos.
Consideremos, agora, os 1 + mn nmeros , , ,..., , todos
diferentes de zero.
0
) (
1
) (
2
) (
mn
) (
Esses nmeros podem ser expressos como combinaes lineares dos mn nmeros
, , , usando coeficientes racionais.
k j
k j
1 0 n j 1 0 m k
Podemos mostrar que essas potncias , , ,..., podem ser
expressas como combinaes lineares dos mn nmeros ,
0
) (
1
) (
2
) (
mn
) (
1 0 n j , 1 0 m k ,
usando coeficientes racionais. Alm disso, elas so linearmente dependentes sobre os
racionais, isto , existem Q r r r
mn

+1 2 1
, ... , , , no todos nulos, tais que:
0 ) ( ... ) ( ) ( ) (
1
2
3
1
2
0
1
= + + + +
+
mn
mn
r r r r
Segue-se, ento, que satisfaz uma equao polinomial da forma
0 ...
1
2
3
1
2
0
1
= + + + +
+
mn
mn
x r x r x r x r , com coeficientes racionais. Como conseqncia, temos
que algbrico.
Portanto, o produto de algbricos algbrico.

2.4.3 O simtrico de um nmero algbrico algbrico

Se um nmero algbrico, ento, - algbrico.
Se algbrico, ento, raiz de uma equao polinomial da forma
, onde os coeficientes so
nmeros inteiros. Ento, .
0 ...
0 1 1
= + + + +

a x a x a x a
n n
1 n n
1 n n
0 1 1
, , ... , , a a a a
n n
0 ...
0 1 1
= + + + +

a a a a
n n

Para provar que ) ( tambm algbrico, necessrio mostrar que ) ( raiz de
uma equao polinomial com coeficientes inteiros.
70
Vamos, ento, construo dessa equao.
Para isso, utilizaremos os seguintes resultados:
0 ...
0 1
1
1
= + + + +

a a a a
n
n
n
n

R, 1. =
(-1). =-
(-1).(-1) =1
a, b, cR, (a.b).c =a.(b.c)
(a.b)
n
=a
n
.b
n

Partindo de , temos: 0 ...
0 1
1
1
= + + + +

a a a a
n
n
n
n

0 ) .( ) 1 ( ... ) .( ) 1 ( ) .( ) 1 (
)) ). 1 .(( ) 1 ( ... )) ). 1 .(( ) 1 ( )) ). 1 .(( ) 1 (
)) ). 1 ).(( 1 ( ... )) ). 1 .(( ) 1 ( )) ). 1 .(( ) 1 (
))) ). 1 ).(( 1 (( ... ))) ). 1 ).(( 1 (( ))) ). 1 ).(( 1 ((
) )). 1 ).( 1 ((( ... ) )). 1 ).( 1 ((( ) )). 1 ).( 1 (((
) . 1 ( ... ) . 1 ( ) . 1 ( ... . .
0 1
1
1
1
0 1
1
1
1
0 1
1 1
1
0 1
1
1
0 1
1
1
0 1
1
1 0 1
1
1
= + + + + =
= + + + + =
= + + + + =
= + + + + =
= + + + + =
= + + + + = + + + +

a a a a
a a a a
a a a a
a a a a
a a a a
a a a a a a a a
n
n
n n
n
n
n
n
n n
n
n
n n
n
n n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n







Portanto, (- ) raiz da equao
) , ,..., , , ( 0 ) 1 ( ... ) 1 ( ) 1 (
0 1 1 0 1
1
1
1
Z a a a a a x a x a x a
n n
n
n
n n
n
n
= + + + +

.
Logo, (- ) algbrico.

2.4.4 O inverso de um nmero algbrico 0 algbrico

Se 0 um nmero algbrico, ento, algbrico.
1

Se 0 algbrico, ento, raiz de uma equao polinomial da forma


, onde os coeficientes so nmeros
inteiros. Ento, .
0 ...
0 1 1
= + + + +

a x a x a x a
n n
1 n n
1 n n
0 1 1
, , ... , , a a a a
n n
0 ...
0 1 1
= + + + +

a a a a
n n

Novamente, para provar que tambm algbrico, necessrio mostrar que
raiz de uma equao polinomial com coeficientes inteiros.
1

71
Essa equao, da qual raiz, pode ser construda da seguinte maneira.
1

Como 0 , ento, . Vamos, ento, multiplicar os dois lados da igualdade


por .
0
n

0 ...
0 1 1
= + + + +

a a a a
n n

1 n n n
1 n n 1 n n

Ento:
0 ) .( ) .( ... .
0 . . ... . .
0 . ) . ( ... ) . ( ) . (
0 . ). ( ... ). . ( ). . (
. 0 ). ... . . (
1
0
1 1
1
1
1
0
1
1
1
1
0
0 1
1
1
0 1
1
1
0 1
1
1
= + + + +
= + + + +
= + + + +
= + + + +
= + + + +

n n
n n
n n
n n
n n n n
n
n n
n
n n n n
n
n n
n
n n n
n
n
n
a a a a
a a a a
a a a a
a a a a
a a a a






Da ltima igualdade, tem-se que raiz da equao
ou com
coeficientes inteiros.
1

0 ...
0 1 1
= + + + +
n n
x a x a x a a 0 ...
1 1 0
= + + + +
n n
a x a x a x a
Com isso, provamos que o conjunto dos nmeros algbricos um subcorpo do
corpo R dos reais.
Em seguida, estudaremos alguns resultados sobre os nmeros transcendentes. Esses
resultados no sero utilizados na prova da transcendncia do , porm iro fornecer
elementos para entendermos um pouco mais da natureza desses nmeros.

72



73





CAP TULO 3


Nesta parte do trabalho, trataremos da prova da existncia dos nmeros
transcendentes de duas maneiras distintas. A primeira delas, realizada em 1844, a do
matemtico francs J oseph Liouville (1809-1882), que foi o primeiro a demonstrar a
existncia de tais nmeros. Sua prova, como veremos mais adiante, permite a construo
de exemplos desses nmeros.
A segunda prova a do matemtico Georg Cantor (1845-1918), que provou a
existncia de nmeros transcendentes sem exibir nenhum deles. Sua prova garante a
existncia de nmeros reais que no so algbricos, levando em considerao que o
conjunto dos nmeros algbricos enumervel. Veremos tambm que o conjunto dos
nmeros transcendentes no enumervel. Alm dos nmeros de Liouville, apresentamos
neste captulo, outros exemplos de nmeros transcendentes.


3.1 Os nmeros transcendentes: consideraes iniciais

Liouville demonstrou que os nmeros algbricos irracionais so aqueles que no
podem ser aproximados por nmeros racionais com um grau muito elevado de preciso, a
menos que os denominadores das fraes sejam bastante grandes (COURANT, 2000, p.
125).
O que significa dizer que um nmero irracional pode ser aproximado com
qualquer grau desejado de preciso por um nmero racional?
74
Isso significa que podemos encontrar uma sequncia
0 , , , =
m m m
m
m
m
q Z q p Q
q
p
, ou seja, )
,... ,
(
2
2
1
1
q
p
q
p
de nmeros racionais com
denominadores cada vez maiores tais que =
m
m
m
q
p
.
Uma maneira de se obter valores aproximados de um nmero irracional, como 2,
usar a forma decimal ... . 41421356 , 1 2 = Os nmeros 1; 1,4; 1,41; 1,414; 1,4142;
1,41421; 1,414213; 1,4142135; 1,41421356; ..., formam uma sequncia de aproximaes,
cada vez mais precisas, de 2.
Os nmeros da sequncia so todos racionais e temos, desse modo, uma sequncia
de aproximaes racionais de 2:

... ,
10000000
14142135

,
1000000
1414213

,
100000
141421
,
10000
14142
,
1000
1414

,
100
141

,
10
14

,
1
1
.
medida que avanamos na sequncia, esses nmeros se aproximam cada vez
mais de 2.
Consideremos o nmero ... . 14159265 , 3 =
A sequncia para

, ...
10000000
31415926

,
1000000
3141592

,
100000
314159

,
10000
31415

,
1000
3141

,
100
314

,
10
31

,
1
3
.
Nos dois exemplos anteriores, utilizamos nas sequncias de aproximaes racionais
denominadores No entanto, demonstra-se que todo nmero irracional pode
ser aproximado por um nmero racional de denominador arbitrrio (NIVEN, 1984, p. 140).
, ... . 10 , 10 , 10
3 2
J vimos que um nmero algbrico de grau se ele for raiz de uma equao
polinomial de grau com coeficientes inteiros, e se no existir nenhuma outra equao
desse tipo, de grau menor que , da qual seja raiz (FIGUEIREDO, 1985, p. 36).
n
n
n
Por exemplo, os nmeros racionais coincidem com os nmeros algbricos de grau
1, pois qualquer nmero racional
q
p
= raiz da equao q.x p = 0, com 0 , q p
75
inteiros. Uma consequncia desse resultado que um nmero algbrico de grau no
pode ser racional.
1 > n


3.2 O Teorema de Liouville
Se um nmero algbrico de grau e se 1 > n 0 , , , =
m m m
m
m
m
q Z q p Q
q
p
e

m
, ento
1
1
+
>
n
m m
m
q q
p
para m suficientemente grande.

Em seguida, iremos apresentar a demonstrao desse teorema, justificando e
explicando as etapas envolvidas, tendo como referncia Courant (2000, p. 127).
Seja um nmero algbrico de grau . 1 > n
Ento, satisfaz uma equao algbrica com coeficientes inteiros
, com 0 ... ) (
0 1 2 1
= + + + + + =

a x a x a x a x a x f
n n
1 2 1 n n
) 0 (
n
a , porm nenhuma
outra equao deste tipo de grau inferior a . n
Consideremos uma sequncia de nmeros racionais
m
m
m
b
a
= tal que
m
.
Para garantir a existncia de uma sequncia de nmeros racionais escritos na forma
0 , , , q Z q p Q
q
p
, com denominadores cada vez maiores e que convirja para , basta
observar que se Q
b
a
m
m
m
= e
m
, ento, a seqncia

+ =
m
m
m
m
b
a
10
1
tambm
converge para , uma vez que = + = + =

+

0
10
1
lim lim
10
1
lim
m
m
m
m
m
m
m
m
m
b
a
b
a
.
Dessa maneira, os denominadores de
m
so cada vez maiores, pois
Q
b
b a
b
b
b
a
b
a
m
m
m
m
m
m
m
m m
m
m
m
m
m
m
m

= + = + =
10
10
10
1
10
10
10
1
,
. } 0 { 10 . ) 10 . ( + Z b e Z b a
m
m m
m
m
76
imediato que . =

m
m
m
b 10 . lim
Fazendo
m
m
m
m
m
m
m
q
p
b
b a
=
+
10 .
10 .
, temos 0 , , , =
m m m
m
m
m
q Z q p Q
q
p
e
m

de tal forma que, qualquer que seja , existe um valor de 0 > M N m tal que . M q
m
>
Como 0 ) ( = f , ento
) ... (
) ... ( ) ( ) ( ) (
0
1
1
2
2
3
3
1
1
0
1
1
2
2
3
3
1
1
a a a a a a
a a a a a a f f f
n
n
n
n
m m m
n
m n
n
m n m m
+ + + + + +
+ + + + + + + = =




Agrupando os termos semelhantes, podemos escrever
) .( ) .( ... ) .( ) .( ) .( ) (
1 1
1
3 3
3
2 2
2 1
n n
m n
n n
m n m m m m
a a a a a f + + + + + =


Dividindo ambos os lados desta equao por ) (
m
, obtemos:









+ +

m
n n
m n
m
n n
m n
m
m
m
m
m
m
a a a a f ) .( ) .(
...
) .( ) .( ) (
1 1
1
2 2
2 1

Para continuar o desenvolvimento da demonstrao, vamos precisar agora da
fatorao de .
n n
m

Essa fatorao dada por:
) ... ).( (
1 2 1 3 2 2 3 1 2 1
+ + + + + + =
n n
m
n
m
n
m
n
m
n
m m
n n
m
.
Portanto,
1 2 1 3 2 2 3 1 2 1
...

+ + + + + + =

n n
m
n
m
n
m
n
m
n
m
m
n n
m




Utilizando o resultado dessa ltima igualdade, temos:
77
) ... . (
) ... . ).( ( ) (
) (
) ).( ( ) (
) (
) ).( ( ) (
1
) (
2 3 2 4 3 2
2 3 2 4 3 2 1 1
2 2
2 2 3 3
2 2


+ + + + + =
=

+ + + + +
=


+ + =

+ +
=

+ =

+
=

n n
m
n
m
n
m
n
m
m
n n
m
n
m
n
m
n
m m
m
n n
m
m m
m
m m m
m
m
m
m
m m
m
m
m
m



















Utilizando esses resultados, obtemos para









+ +

m
n n
m n
m
n n
m n
m
m
m
m
m
m
a a a a f ) .( ) .(
...
) .( ) .( ) (
1 1
1
2 2
2 1

a seguinte igualdade:
) ... .( ... ) .( ) .(
) (
1 1 2 2
3 2 1

+ + + + + + + + + =

n n
m n m m m
m
m
a a a a
f




Levando em considerao que
m
, temos que para m suficientemente grande,

m
difere de menos que 1, ou seja, 1 | | <
m
.
Este fato ser utilizado para fazermos uma estimativa de

m
m
f ) (
.
Para isto, observemos que | | | | | | <
m m
. Como 1 | | <
m
, podemos
escrever 1 | | | | | | < <
m m
, o que nos d 1 | | | | <
m
ou ainda 1 | | | | + <
m
.
Utilizando 1 | | | | + <
m
e a desigualdade triangular, temos:
) 1 | .(| 2 2 | | . 2 1 | | 1 | | | | | | | | + = + < + + + < + +
m m
,
ou seja,
) 1 | .(| 2 | | + < +
m
.


78
Da mesma forma
2
2 2 2 2 2 2
) 1 | .(| 3
) 1 | (| ) 1 | ).(| 1 | (| ) 1 | (| | | | | . | | | | | . |
+ =
= + + + + + + < + + + +


m m m m

ou seja; .
2 2 2
) 1 | .(| 3 | . | + < + +
m m
Analogamente
3 3 2 2 3
3 2 2 3 3 2 2 3
) 1 | .(| 4 ) 1 | (| ) 1 | ).(| 1 | (| ) 1 | .(| ) 1 | (| ) 1 | (|
| | | | . | | | | . | | | | | |
+ = + + + + + + + + + <
< + + + < + + +


m m m m m m

ou seja; .
3 3 2 2 3
) 1 | (| 4 | | + < + + +
m m m
Utilizando o mesmo raciocnio, podemos escrever
1 1 1 1 1 1 1
) 1 | .(| ) 1 | (| ... ) 1 | (| | | ... | | | ... |

+ = + + + + < + + + +
n n n n n
m
n n
m
n
Voltando expresso
) ... .( ... ) .( ) .(
) (
1 1 2 2
3 2 1

+ + + + + + + + + =

n n
m n m m m
m
m
a a a a
f



,
temos que:
) ... .( ... ) .( ) .(
) (
1 1 2 2
3 2 1

+ + + + + + + + + =

n n
m n m m m
m
m
a a a a
f




Aplicando a desigualdade triangular e os resultados acima, temos:
1 3
4
2
3 2 1
) 1 | .(| | | . ... ) 1 | .(| | | . 4 ) 1 | .(| | | . 3 ) 1 | .(| | | . 2 | |
) (

+ + + + + + + + + <

n
n
m
m
a n a a a a
f




Como fixo em nosso raciocnio, podemos concluir que o lado direito desta
desigualdade tambm um nmero fixo, que representaremos por M.
Vamos, ento, escrever M
f
m
m
<

) (
, M fixo. De M
f
m
m
<

) (
temos:
79
M
f
M f
M
f
m
m
m m
m
m
| ) ( |
| |
| | . | ) ( |

| |
| ) ( |





>
<
<


Escolhamos agora um valor para m (m fixo) suficientemente grande tal que em
m
m
m
q
p
= o denominador seja maior do que M.
m
q
Como M q ento
m
>
m
m m
m
q
f
M
f | ) ( | | ) ( |
| |

> > .
Da igualdade | | | |
m m
= temos
m
m
m
q
f | ) ( |
| |

> .
Como , ento
0
1
1
2
2
1
1
... ) ( a x a x a x a x a x f
n
n
n
n
+ + + + + =

| ... | | ) ( |
0 1
2
2
1
1
a a a a a f
m m
n
m n
n
m n m
+ + + + + =

.
Tomando
m
m
m
q
p
= , temos:
|
...
| | ) ( |
| ... | | ) ( |
| ) ( ) ( ... ) ( ) ( | | ) ( |
0
1
1
2 2
2
1
1
0
1
1
1
2
2
2
1
1
1
0
1
1
2
2
1
1
n
m
n
m m
n
m m
n
m
n
m m n
n
m n
m
m
m
m
m
n
m
n
m
n
n
m
n
m
n m
m
m
m
m n
m
m
n
n
m
m
n m
q
q a p q a p q a p q a p a
f
a
q
p
a
q
p
a
q
p
a
q
p
a f
a
q
p
a
q
p
a
q
p
a
q
p
a f
+ + + + +
=
+ + + + + =
+ + + + + =


O nmero racional
m
m
m
q
p
= no pode ser raiz de 0 ) ( = x f , pois se
m
fosse raiz
de , poderamos fatorar (x -
m
) de e neste caso (que um nmero
algbrico de grau n) satisfaria uma equao de grau menor do que n. Portanto,
0 ) ( = x f ) (x f
0 ) (
m
f .

80
Analisando, agora, o numerador do lado direito da igualdade
n
m
n
m m
n
m m
n
m
n
m m n
n
m n
m
n
m
n
m m
n
m m
n
m
n
m m n
n
m n
m
q
q a p q a p q a p q a p a
f
q
q a p q a p q a p q a p a
f
| ... |
| ) ( |
|
...
| | ) ( |
0
1
1
2 2
2
1
1
0
1
1
2 2
2
1
1
+ + + + +
=
+ + + + +
=


temos que ele um nmero inteiro, e deve ser maior ou igual a 1.
Dessa considerao temos que
n
m
m
q
f
1
| ) ( | .
Ento, de
m
m
m
q
f | ) ( |
| |

> e
n
m
m
q
f
1
| ) ( | temos:
1
1 1 1
| ) ( |
1
| |
+
= > >
n
m
n
m m
m
m
m
q q q
f
q
, ou seja,
1 1
1
| |
1
| |
+ +
> >
n
m m
m
n
m
m
q q
p
q

o que prova o teorema.


3.3 Os nmeros de Liouville

Mostraremos, agora, como esse teorema possibilita a construo de nmeros
transcendentes.
Qualquer nmero da forma

=
=
1
!
10
k
k
k
a
, onde um algarismo qualquer de 1 a 9,
um nmero de Liouville.
k
a
Ou seja:
... 000 0000000 0000000000 000 , 0
... 000001 , 0 01 , 0 1 , 0
... 10 10 ... 10 10 10 10
4 3 2 1
3 2 1
)! 1 (
1
! ! 4
4
! 3
3
! 2
2
! 1
1
a a a a
a a a
a a a a a a
m
m
m
m
=
+ + + =
+ + + + + + + =
+
+


onde os algarismos iguais a

ocorrem nas casas decimais 1, 2, 6, 24, 120, 720, ..., ou
seja, nas casas decimais 1!, 2!, 3!, 4!, 5!, 6!, ... .
k
a
81
Esse nmero caracterizado pelo aumento rpido do comprimento dos grupos de
0 interrompidos por dgitos no nulos isolados.
Vamos, agora, considerar a frao decimal finita tomando-se apenas os termos de
at , inclusive. Chamemos essa frao de
m
.
! m
10 .
m
a
Sendo assim, temos: .
! ! 4
4
! 3
3
! 2
2
! 1
1
10 . ... 10 . 10 . 10 . 10 .
m
m m
a a a a a

+ + + + + =
Ento ... 10 . 10 . 10 . 10 . | |
)! 4 (
4
)! 3 (
3
)! 2 (
2
)! 1 (
1
+ + + + =
+
+
+
+
+
+
+
+
m
m
m
m
m
m
m
m m
a a a a
Como , podemos concluir que . 9 1
1

+ m
a
)! 1 (
10 . 10 | |
+
<
m
m

Vamos supor, agora, que seja um nmero algbrico de grau n, qualquer que seja
. 1 > n
Fazendo
!
10
m
m
m
m
m
p
q
p
= = , como
m
, pelo Teorema de Liouville, existe um
, tal que N m
1
1
| |
+
>
n
m m
m
q q
p
. Obtemos, ento, que
1 !
) 10 (
1
| |
+
>
n m
m
, ou seja
! ). 1 (
10
1
| |
m n
m
+
> , para m suficientemente grande.
De e
)! 1 (
10 . 10 | |
+
<
m
m
| |
10
1
! ). 1 (
m
m n
<
+
temos
1 )! 1 ( )! 1 (
1
)! 1 (
! ). 1 (
10
1
10
10
10 . 10
10
1
+ +
+
+
= = <
m m
m
m n
ou seja
1 )! 1 ( ! ). 1 (
10
1

10
1
+ +
<
m m n
.
Essa ltima desigualdade implica em 1 )! 1 ( ! ) 1 ( + > + m m n , para todos os valores
de m suficientemente grandes.
Porm, para qualquer valor de m maior do que n, a desigualdade
1 )! 1 ( ! ) 1 ( + > + m m n falsa, o que gera uma contradio. Em seguida, vamos mostrar
que essa desigualdade falsa.
Uma maneira de verificar essa contradio supondo que essa desigualdade seja
verdadeira para qualquer valor de m maior que n. No caso de 1 )! 1 ( ! ) 1 ( + > + m m n ser
verdadeira, teramos:
82
1 ! ). (
1 ! . ! .
1 ! . ! .
1 ! . ! .
1 ! ! . ! ! .
1 ! ). 1 ( ! ! .
<
<
>
>
+ > +
+ > +
m n m
m n m m
m m m n
m m m n
m m m m m n
m m m m n

Para qualquer m = n+k , k N, k 1,temos:
)! .( )! ).( ( ! ). ( k n k k n n k n m n m + = + + = .
Como n > 1 e k 1, ento k.(n+k)! 1.2 >1. Portanto, a suposio de que a
desigualdade verdadeira falsa. Ou seja, para qualquer valor de m
maior que n, essa desigualdade sempre ser falsa. Essa contradio foi gerada pela
suposio de que um nmero algbrico de grau n.
1 )! 1 ( ! ). 1 ( + > + m m n
Ento, essa suposio de que um nmero algbrico de grau n, qualquer que seja
n, falsa. Logo, transcendente.
Pelo mtodo da Diagonal de Cantor, utilizado para demonstrar que o conjunto
dos nmeros reais no enumervel, podemos demonstrar que o conjunto dos nmeros de
Liouville tambm um conjunto no enumervel.


3.4 Prova de Cantor para a existncia de nmeros transcendentes

A demonstrao apresentada nesta seo tem como referncia Niven (1984, p. 201-
202).
J vimos que o conjunto dos nmeros algbricos enumervel.
Como um subconjunto infinito de um conjunto enumervel enumervel, ento, o
conjunto dos nmeros reais algbricos entre 0 e 1 enumervel.
Por outro lado, o conjunto dos nmeros reais no enumervel. Na demonstrao
desse resultado utilizado o famoso mtodo da diagonal de Cantor, que veremos agora.
Suponha que o conjunto dos nmeros reais x entre 0 e 1 (0 < x 1) seja
enumervel. Listando esses nmeros teramos: ,... . ,..., , , ,
4 3 2 1 n
r r r r r
83
Escrevendo todos esses nmeros em forma decimal infinita, temos:

=
=
=
=
... , 0
... , 0
... , 0
... , 0
45 44 43 42 41 4
35 34 33 32 31 3
25 24 23 22 21 2
15 14 13 12 11 1
a a a a a r
a a a a a r
a a a a a r
a a a a a r

e assim sucessivamente.
Construiremos, agora, um nmero ... ... , 0
4 3 2 1 n
b b b b b = tal que:
b
1
qualquer algarismo entre 1 e 9, porm b
1
a
11

b
2
qualquer algarismo entre 1 e 9, porm b
2
a
22

b
3
qualquer algarismo entre 1 e 9, porm b
3
a
33

--------------------------------------------------------------
E, assim sucessivamente, temos em geral b
n
qualquer algarismo entre 1 e 9, porm
b
n
a
nn
.
Por exemplo, podemos considerar

=
+
=
9 , 1
9 , 1
nn
nn nn
n
a se
a se a
b
Por meio deste critrio de construo temos que:
r
1
, pois eles diferem pelo menos na primeira casa decimal;
r
2
, pois eles diferem pelo menos na segunda casa decimal;
r
3
, pois eles diferem pelo menos na terceira casa decimal;
--------------------------------------------------------------------------
E assim sucessivamente, temos r
n
, pois eles diferem pelo menos na n-sima
casa decimal.
Dessa maneira, construmos um nmero que diferente de cada um dos r
i
,

, ... . 4 , 3 , 2 , 1 = i
Mas um nmero real entre 0 e 1. Obtemos, ento, uma contradio, pois
supomos que todos os nmeros compreendidos entre 0 e 1 so os nmeros
,... . ,..., , , ,
4 3 2 1 n
r r r r r
84
Essa contradio conseqncia do fato de se supor que o conjunto dos nmeros
reais entre 0 e 1 seja enumervel. Portanto, essa suposio falsa.
Podemos, ento, concluir que o conjunto dos reais entre 0 e 1 um conjunto no
enumervel.
Consideremos, agora, os dois resultados:
i ) o conjunto dos nmeros algbricos entre 0 e 1 enumervel
ii ) o conjunto dos nmeros reais entre 0 e 1 no enumervel.
Ento, devem existir nmeros reais entre 0 e 1 que no sejam algbricos. Esses so
os nmeros transcendentes, cuja existncia fica demonstrada (NIVEN, 1984, p. 203).


3.5 O conjunto dos nmeros transcendentes no enumervel

Alm disso, Cantor demonstrou que o conjunto dos nmeros reais transcendentes
no enumervel.
Para a demonstrao desse resultado, vamos supor que o conjunto dos nmeros
reais transcendentes seja enumervel.
J vimos que os nmeros reais podem ser classificados em algbricos ou
transcendentes, ou seja, o conjunto dos nmeros reais pode ser obtido pela unio do
conjunto dos nmeros algbricos com o conjunto dos nmeros transcendentes.
Dessa forma, o conjunto dos nmeros reais seria enumervel, pois a unio de dois
conjuntos enumerveis enumervel, o que uma contradio, pois j sabemos que o
conjunto dos nmeros reais no enumervel.
Essa contradio conseqncia da suposio de que o conjunto dos nmeros reais
transcendentes seja enumervel. Portanto, essa suposio falsa e vale a sua negao, ou
seja, o conjunto dos nmeros reais transcendentes no enumervel. (NIVEN, 1984, p.
203).


85
3.6 Outros exemplos de nmeros transcendentes

Tomando como referncia Boyer (1974, p. 443),
No Congresso de Paris de 1900, David Hilbert, renomado professor de
Gttingen, apresentou uma exposio em que tentou, com base nas tendncias da
pesquisa matemtica no fim do glorioso sculo dezenove, predizer a direo de
progressos futuros. Isso ele fez propondo vinte e trs problemas que ele
acreditava estariam ou deveriam estar entre os que ocupariam a ateno dos
matemticos no sculo vinte. Se quisermos ter uma idia do desenvolvimento
provvel do conhecimento matemtico no futuro imediato, ele disse, devemos
fazer passar por nossas mentes as questes no resolvidas e olhar os problemas
que a cincia de hoje coloca e cujas solues esperamos do futuro.

Especificamente, o stimo problema de Hilbert consistia em estabelecer se certos
nmeros eram transcendentes, no qual perguntava-se se o nmero , em que


algbrico ) 1 0 ( e e irracional e algbrico, transcendente.
Essa questo foi resolvida em 1934 por Aleksander Osipovich Gelfond que provou
que a conjectura de Hilbert, agora conhecida como Teorema de Gelfond, era correta: Sejam
e nmeros algbricos (reais ou complexos). Se 0 , 1 e no for um nmero
racional (real), ento transcendente (FIGUEIREDO, 1985, p. 96) . Em 1935,
Schneider tambm provou esse teorema, independentemente dos trabalhos de Gelfond.

A transcendncia de
2
2 um caso especfico desse resultado geral.
Uma outra conseqncia especfica a transcendncia de . 2 log
10
Fazendo 2 log
10
= e 10 = , pela definio de logaritmo decimal
. Se 2 10
10
= =
2 log
2 log
10
= fosse algbrico e irracional, pelo Teorema de Gelfond, 2
seria transcendente. Mas 2 no transcendente, portanto, 2 log
10
= racional ou
transcendente. Mas no racional (NIVEN, 1984, p.110) . Portanto,
transcendente.
2 log
10
2 log
10
Generalizando, o Teorema de Gelfond estabelece a transcendncia de , desde
que
r
10
log
r seja racional e irracional. Ento, transcendente, desde que r
10
log r
10
log r seja
um nmero racional positivo diferente de . Por exemplo, para , m Z n , 10
n
1000 1 m
86
inteiro, , os nmeros so transcendentes
(NIVEN, 1984, p. 115).
1000 , 100 , 10 , 1 m m m m m
10
log

e transcendente, pois
i
i e
e
2
1 1
= =

, e transcendente pelo Teorema de


Gelfond (BOYER, 1974, p. 445).
i
i
2
Um outro exemplo de nmero transcendente o nmero de Champernowne
0,123456789101112131415..., obtido escrevendo-se a seqncia de nmeros inteiros na
base 10.
Em seguida, provaremos dois resultados que permitiro escrever outros infinitos
exemplos de nmeros transcendentes a partir de um nmero transcendente conhecido.

[A] Sejam R , , sendo algbrico e transcendente. Ento, ) ( +
transcendente.
Vamos supor que ) ( + seja algbrico. Por hiptese, algbrico. Ento, ) (
tambm algbrico. Como a soma de dois nmeros algbricos um nmero algbrico,
ento = + = + + = + + 0 ) ( ) ( ) ( algbrico. Mas, por hiptese,
transcendente. Essa contradio nos leva concluso de que ) ( + no algbrico.
Portanto, ) ( + transcendente.
Por exemplo, seja Q e um nmero de Liouville. Ento, ) ( +
transcendente.

[B] Sejam R , , sendo 0 algbrico e transcendente. Ento, .
transcendente.
Vamos supor que . seja algbrico. Por hiptese, 0 algbrico. Ento,
tambm algbrico. Como o produto de dois nmeros algbricos um nmero algbrico,
ento, algbrico. Mas, por hiptese,
1

= = =

1 ) ( ) (
1 1

transcendente. Essa contradio nos leva concluso de que . no algbrico.
Portanto, . transcendente.
Por exemplo, seja Q e 0 e o transcendente . Ento, 2 log
10
2 log .
10

transcendente.
87
No prximo captulo, iremos fazer uma reviso sobre as relaes entre os
coeficientes e as razes de uma equao polinomial. Tambm estudaremos os polinmios
simtricos e suas propriedades. Esses resultados sero utilizados na demonstrao da
transcendncia do .

88




89





CAP TULO 4


Este captulo ser dedicado ao estudo dos polinmios simtricos e de trs resultados
que sero empregados na demonstrao da transcendncia do . O primeiro deles ser uma
reviso sobre as relaes entre os coeficientes e as razes de uma equao polinomial,
geralmente estudado no ensino mdio. O segundo e o terceiro resultados se referem a dois
teoremas dos polinmios simtricos.


4.1 Relaes entre os coeficientes e as razes de uma equao

Seja uma equao polinomial
com coeficientes inteiros, .
0 ... ) (
0
1
1
2
2
1
1
= + + + + + =

a x a x a x a x a x f
n
n
n
n
0
n
a
De acordo com o Teorema Fundamental da lgebra, toda equao polinomial
a coeficientes complexos e grau , tem pelo menos uma raiz. Na Frana,
este teorema conhecido frequentemente como teorema de dAlembert devido ao grande
tempo e esforo que dAlembert dedicou sua prova. (BOYER, 1974, p. 330). Por outro
lado, em 1799, Gauss em sua tese de doutorado apresenta uma Nova demonstrao que
toda funo algbrica racional inteira em uma varivel pode ser decomposta em fatores de
primeiro ou segundo grau. Esse enunciado, a que Gauss mais tarde se referiu como O
Teorema Fundamental da lgebra essencialmente o teorema de dAlembert. (BOYER,
1974, p. 370).
0 ) ( = x f 1 n
De qualquer maneira, de acordo com o Teorema Fundamental da lgebra, existe
pelo menos uma raiz de .
1
t 0 ) ( = x f
90
Ento, um fator de e
1
t x ) (x f ) ( ). ( ) (
1 1
x f t x x f = .
um polinmio de grau n 1 cujo coeficiente do termo de maior grau ) (
1
x f .
n
a
Da mesma forma, existe uma raiz de
2
t 0 ) (
1
= x f e ) ( ). ( ) (
2 2 1
x f t x x f = , onde
um polinmio de grau n 2, cujo coeficiente do termo de maior grau ) (
2
x f .
n
a
Podemos, ento, escrever que ). ( ). ).( ( ) (
2 2 1
x f t x t x x f =
Prosseguindo com esse raciocnio, obtemos sucessivamente
) ( ) (
) ( ). ( ) (
) ( ). ( ) (
) ( ). ( ) (
1
1 1 2
4 4 3
3 3 2
n n n
n n n
t x a x f
x f t x x f
x f t x x f
x f t x x f
=
=

=
=



o que nos d 0 ) ( ). ... . ).( ).( ( ) (
3 2 1
= =
n n
t x a t x t x t x x f ou
0 ) ).( ). ... .( ).( ).( ( ) (
1 3 2 1
= =
n n n
t x t x t x t x t x a x f .
Vemos, ento, que so as razes de
n
t t t , ... , ,
2 1
0 ) ( = x f .
Como essa decomposio nica, no existem razes diferentes de .
(BEZERRA, 1965, p. 285-286).
n
t t t , ... , ,
2 1
Efetuando o produto dos n binmios em
0 ) ).( ). ... .( ).( ).( (
1 3 2 1
=
n n n
t x t x t x t x t x a
temos:
0 ) ... ( ) 1 ( ... ) ... ( ) ... (
2 1
2
1 3 1 2 1
1
2 1
= + + + + + + + + +

n n
n n
n n n
n
n n
n
n
t t t a x t t t t t t a x t t t a x a
Como os primeiros membros da equao
0 ...
0
1
1
2
2
2
2
1
1
= + + + + + +

a x a x a x a x a x a
n
n
n
n
n
n

e desta ltima igualdade devem ser idnticos, temos:
91
) ... ( ) 1 (
) ... (
) ... (
2 1 0
1 3 1 2 1 2
2 1 1
n n
n
n n n n
n n n
n n
t t t a a
t t t t t t a a
t t t a a
a a
=

+ + + =
+ + + =
=


de onde obtemos as relaes entre os coeficientes e as razes da equao
0 ...
0
1
1
2
2
2
2
1
1
= + + + + + +

a x a x a x a x a x a
n
n
n
n
n
n
n
n
n
n
n
n n n
n
n
n n
n
n
n
a
a
t t t t
a
a
t t t t t t t t t
a
a
t t t t t t
a
a
t t t
0
3 2 1
3
1 2 4 2 1 3 2 1
2
1 3 1 2 1
1
2 1
) 1 ( ...
...
...
...
=

= + + +
= + + +
= + + +

(BEZERRA, 1965, p. 291-292)


Vejamos dois exemplos que ilustram esse resultado:
1) Seja a equao do segundo grau e suas razes.
Fatorando a equao temos
0
0 1
2
2
= + + a x a x a
2 1
,t t
0 ) ( ) (
2 1 2
= t x t x a e efetuando o produto obtemos
, ou seja, , de onde
temos
0 ) ) ( (
2 1 2 1 2
= + + t t x t t x a
2 2
0 ) (
2 1 2 2 1 2 2
= + + t t a x t t a x a

=
= +
2
0
2 1
2
1
2 1
a
a
t t
a
a
t t

2) Seja a equao do terceiro grau e suas
razes. Fatorando a equao temos
0
0 1
2
2
3
3
= + + + a x a x a x a
3 2 1
, , t t t
0 ) ( ) ( ) (
3 2 1 3
= t x t x t x a e efetuando o produto
obtemos , ou seja,
, de onde temos
0 ) ) ( ) ( (
3 2 1 3 2 3 1 2 1
2
3 2 1
3
3
= + + + + + t t t x t t t t t t x t t t x a
0 ) ( ) (
3 2 1 3 3 2 3 1 2 1 3
2
3 2 1 3
3
3
= + + + + + t t t a x t t t t t t a x t t t a x a
92

=
= + +
= + +
3
0
3 2 1
3
1
3 2 3 1 2 1
3
2
3 2 1
a
a
t t t
a
a
t t t t t t
a
a
t t t



4.2 Polinmios Simtricos

Vamos iniciar nosso estudo tratando dos polinmios simtricos com duas variveis.
Em seguida, daremos a definio dos polinmios simtricos com n variveis.
Um polinmio P, a duas variveis , simtrico, se para
todos os valores de .
2 1
,t t ) , ( ) , (
1 2 2 1
t t P t t P =
2 1
,t t
Vejamos alguns exemplos:
a) um polinmio simtrico, pois
2 1
2
2
2
1 2 1
6 ) , ( t t t t t t P + + =
) , ( 6 6 ) , (
2 1 2 1
2
2
2
1 1 2
2
1
2
2 1 2
t t P t t t t t t t t t t P = + + = + + = .
b) ) , ( ) , (
2 1 2 1 2 1 2 1
t t t t P e t t t t P = + = so os polinmios simtricos elementares,
que sero representados por
2 1 2 2 1 1
t t s e t t s = + = .
c) , tambm so polinmios simtricos. N n t t t t P
n n
n
+ = , ) , (
2 1 2 1
Uma propriedade dos polinmios simtricos a duas variveis que pode
ser sempre representado por um polinmio onde
) , (
2 1
t t P
) , (
2 1
s s g
2 1 2 2 1 1
t t s e t t s = + = , tal
que . Veremos mais adiante um resultado anlogo a esse para qualquer
polinmio simtrico .
) , ( ) , (
2 1 2 1
s s G t t P =
) , ,..., , (
1 2 1 n n
t t t t P

Por exemplo,
a) O polinmio simtrico e
2 1
2
2
2
1 2 1
5 ) , ( t t t t t t P + + =
2 1
2
2 1 2 1
2
2 2 1
2
1 2 1
2
2
2
1 2 1
3 ) ( 3 2 5 ) , ( t t t t t t t t t t t t t t t t P + + = + + + = + + = .
Ento, nesse caso ser ) , (
2 1
s s G
2
2
1 2 1
3 ) , ( s s s s G + =
93
b) O polinmio simtrico e 2 , , ) , (
2 1 2 1
+ = n N n t t t t P
n n
n
) , ( ) , ( ) ( ) ( ) ( ) , (
2 1 2 2 2 1 1 1
2
2
2
1 2 1
1
2
1
1 2 1 2 1 2 1
t t P s t t P s t t t t t t t t t t t t P
n n
n n n n n n
n

= + + + = + =

Para n =0 e n =1 temos, respectivamente, e 2 1 1 ) , (
0
2
0
1 2 1 0
= + = + = t t t t P
1 2 1
1
2
1
1 2 1 1
) , ( s t t t t t t P = + = + = .

Para n =2
2
2
1 2 1 1 2 1 0 2 2 1 1 1
2
2
2
1 2 1 2
2 2 ) , ( ) , ( ) , ( s s s s s t t P s t t P s t t t t P = = = + =
Neste caso
2
2
1 2 1
2 ) , ( s s s s G =

Para n =3
2 1
3
1 1 2 2
2
1 1 2 1 1 2 2 1 2 1
3
2
3
1 2 1 3
3 ) 2 ( ) , ( ) , ( ) , ( s s s s s s s s t t P s t t P s t t t t P = = = + =
Neste caso
2 1
3
1 2 1
3 ) , ( s s s s s G =
Usando a lei de recorrncia ,
sempre possvel determinar em funo de e , para todo .
) , ( ) , ( ) , (
2 1 2 2 2 1 1 1 2 1 2 1
t t P s t t P s t t t t P
n n
n n
n
= + =
n n
n
t t t t P
2 1 2 1
) , ( + =
1
s
2
s 2 n

c) Num polinmio simtrico , temos
n n
n
t t a t t P
2 1 2 1
) , ( =
n n n n
n
s a t t a t t a t t P
2 2 1 2 1 2 1
) ( ) , ( = = = . Neste caso
n
s a s s G
2 2 1
) , ( =

d) Consideremos agora os polinmios simtricos que possuem um termo da forma
, com . Como simtrico, se com , um
termo de , ento o termo tambm dever existir em ,
para que a condio
m l
t t b
2 1
m l < ) , (
2 1
t t P
m l
t t b
2 1
m l <
) , (
2 1
t t f
l m
t t b
2 1
) , (
2 1
t t P
) , ( ) , (
1 2 2 1
t t P t t P = seja satisfeita. Neste caso, podemos
escrever: . Como j
vimos no exemplo b, pode ser escrito como um polinmio em e
, pois , uma vez que
) , ( ) (
2 1 2 2 1 2 1 2 1 2 1
t t P s b t t t t b t t b t t b
l m
l l m l m l l l m m l


= + = +
) , (
2 1
t t P
l m 1
s
2
s N l m ) ( m l < (GOMES, 2008).
94
Veremos, agora, a definio de um polinmio simtrico em , com
coeficientes em um conjunto A (A =Z ou A =Q).
) , ,..., , (
1 2 1 n n
t t t t

Para isso, precisamos da definio de permutao dos inteiros 1, 2, ..., n.
Uma permutao dos inteiros 1, 2, ..., n uma funo bijetora do conjunto {1, 2, ...,
n} nele prprio.
) (
} , ... , 2 , 1 { } , ... , 2 , 1 { :
j j
n n


Por exemplo, para n =2, h 2! =2 permutaes. So elas:
2 2
1 1 :
1


e
1 2
2 1 :
2




Se n =3, temos 3! =6 permutaes. So elas:

3 3
2 2
1 1 :
1



2 3
3 2
1 1 :
2



3 3
1 2
2 1 :
3




1 3
3 2
2 1 :
4



2 3
1 2
3 1 :
5



1 3
2 2
3 1 :
6



Em geral, existem n! permutaes dos inteiros {1, 2, ..., n}.
Em seguida, veremos a definio dos polinmios simtricos com n variveis.
Um polinmio chamado simtrico se ) , ,..., , (
1 2 1 n n
t t t t P

) , ,..., , ( ) , ,..., , ( ) , ,..., , (
1 2 1 ) ( ) 1 ( ) 2 ( ) 1 ( 1 2 1 n n n n n n
t t t t P t t t t P t t t t P

= =


para todas as permutaes dos inteiros 1, 2, ..., n 1, n .
J vimos que um polinmio simtrico, se ) , (
2 1
t t P ) , ( ) , (
1 2 2 1
t t P t t P = .
Para n =3, temos que um polinmio simtrico, se ) , , (
3 2 1
t t t P
) , , ( ) , , ( ) , , ( ) , , ( ) , , ( ) , , (
1 2 3 2 1 3 1 3 2 3 1 2 2 3 1 3 2 1
t t t P t t t P t t t P t t t P t t t P t t t P = = = = = .
95
4.2.1 Polinmios simtricos elementares

Se so as razes de um polinmio P(x), ento podemos escrever esse
polinmio na forma
C t t t
n
,..., ,
2 1
) ( ... ) ( ) ( ) (
2 1 n
t x t x t x x P = , supondo nesse caso que o
coeficiente lder de P(x) igual a 1.
Desenvolvendo esse produto, temos: ,
onde
n
n n n n
s x s x s x x P + + + =

) 1 ( ... ) (
2
2
1
1
n n
n k j i
k j i
n j i
j i
n
j
j
t t t s
t t t s
t t s
t s
=

=
=
=

< <
<
=
...


2 1
1
3
1
2
1
1

Os polinmios so chamados de polinmios simtricos elementares
em . Esses polinmios tero um papel fundamental no enunciado de dois
teoremas sobre os polinmios simtricos que estudaremos agora.
n
s s s s , ... , , ,
3 2 1
n n
t t t t , ,..., ,
1 2 1
Antes disso, veremos a definio de grau e peso de um polinmio em
.
n n
t t t t , ,..., ,
1 2 1
Uma expresso da forma chamada de monmio.
n
k
n
k k
t t t a ...
2 1
2 1

O grau do monmio , por definio, o nmero inteiro
.
n
k
n
k k
t t t a ...
2 1
2 1

=
+ + + =
j
n j
k k k k
1
2 1
...
n
n
O peso do monmio , por definio, o nmero inteiro
.
n
k
n
k k
t t t a ...
2 1
2 1

=
+ + + =
j
n j
k n k k k j
1
2 1
... 2 1
O grau de um polinmio em o mximo dos graus dos monmios
que o formam. Igualmente, o peso de um polinmio em o mximo dos
pesos dos monmios que o constituem. (FIGUEIREDO, 1985, p. 77)
n n
t t t t , ,..., ,
1 2 1
n n
t t t t , ,..., ,
1 2 1
96
4.2.2 Teorema

Seja um polinmio simtrico de grau d, com coeficientes em
A (A = Z ou A = Q). Ento, existe um polinmio de peso menor ou
igual a d com coeficientes em A, onde so os polinmios simtricos
elementares em tal que = .
(FIGUEIREDO, 1985, p. 80)
) , ,..., , (
1 2 1 n n
t t t t P

) , ,..., , (
1 2 1 n n
s s s s G

n n
s s s s , ,..., ,
1 2 1
n n
t t t t , ,..., ,
1 2 1
) , ,..., , (
1 2 1 n n
t t t t P

) , ,..., , (
1 2 1 n n
s s s s G

A demonstrao desse teorema ser feita por induo sobre n .
Para n =1, o teorema se verifica, pois neste caso
1 1
s t = . Se um polinmio
de grau d, ento existe ,
) (
1
t P
) (
1
s G ) ( ) (
1 1
t P s G tambm de grau d, portanto de peso menor ou
igual a d, tal que = . ) (
1
t P ) (
1
s G
Hiptese de Induo (1): Suponhamos que o teorema seja vlido para polinmios
simtricos em
1 2 1
,..., ,
n
t t t
Tese: O teorema vlido para polinmios simtricos em .
n n
t t t t , ,..., ,
1 2 1
Considerando a Hiptese de Induo (1), vamos agora escrever os polinmios
simtricos elementares em , que representaremos por
1 2 1
,..., ,
n
t t t
1 3 2 1
, ... , , ,
n
s s s s tomando
nas expresses dos polinmios simtricos elementares em . Desse
modo:
0 =
n
t
n n
t t t t , ,..., ,
1 2 1
1 3 2 1 1
1 1
1 2 3 3 2 1 3
1 2 1 1 2 1
1 1
2
1
1
1 2 1 1
. ... .
....
... ...
...

< <


<

=

=

+ + = =
+ + + + = =
+ + + = =

n n
n k j i
n n n k j i
n n n
n j i
j i
n
j
n j
t t t t s
t t t t t t t t t s
t t t t t t t t s
t t t t s

Para provar que o teorema vlido para polinmios simtricos em ,
utilizaremos novamente um prova por induo. Porm, essa induo agora ser feita sobre
os graus d desses polinmios.
n n
t t t t , ,..., ,
1 2 1
97
Hiptese de Induo (2): Suponhamos que o teorema seja vlido para polinmios
simtricos em de grau menor que d.
n n
t t t t , ,..., ,
1 2 1
Tese: O teorema vlido para polinmios de grau d.
Para d = 0, o resultado vlido. Nesse caso, temos apenas os polinmios
constantes, ou seja, ) , ,..., , ( ) , ,..., , (
1 2 1 1 2 1 n n n n
s s s s G c t t t t P

= = .
Consideremos um polinmio simtrico de grau d. Pela Hiptese
de Induo (1), para , existe um polinmio simtrico
) , ,..., , (
1 2 1 n n
t t t t P

0 =
n
t ) ,..., , (
1 2 1 n
s s s G de peso menor
ou igual a d, tal que ) ,..., , ( ) 0 , ,..., , (
1 2 1 1 1 2 1
=
n n
s s s G t t t P .
Considerando aplicado em , temos que um
polinmio simtrico em com grau menor ou igual a d.
1
G
1 2 1
,..., ,
n
s s s ) ,..., , (
1 2 1 1 n
s s s G
n n
t t t t , ,..., ,
1 2 1
Seja agora o polinmio dado por ) , ,..., , (
1 2 1 1 n n
t t t t P

) ,..., , ( ) , ,..., , ( ) , ,..., , (
1 2 1 1 1 2 1 1 2 1 1
=
n n n n n
s s s G t t t t P t t t t P o qual tambm
simtrico em .
n n
t t t t , ,..., ,
1 2 1
Fazendo em 0 =
n
t ) ,..., , ( ) , ,..., , ( ) , ,..., , (
1 2 1 1 1 2 1 1 2 1 1
=
n n n n n
s s s G t t t t P t t t t P ,
temos ) ,..., , ( ) 0 , ,..., , ( ) 0 , ,..., , (
1 2 1 1 1 2 1 1 2 1 1
=
n n n
s s s G t t t P t t t P .
Como ) ,..., , ( ) 0 , ,..., , (
1 2 1 1 1 2 1
=
n n
s s s G t t t P , conclumos que . 0 ) 0 , ,..., , (
1 2 1 1
=
n
t t t P
Do fato de 0 ) 0 , ,..., , (
1 2 1 1
=
n
t t t P , podemos concluir que um fator comum em
. Como um polinmio simtrico em
e um fator comum em , segue-se, ento, que tambm
so fatores comuns de . Lembrando que
n
t
) , ,..., , (
1 2 1 1 n n
t t t t P

) , ,..., , (
1 2 1 1 n n
t t t t P
n n
t t t t , ,..., ,
1 2 1
n
t ) , ,..., , (
1 2 1 1 n n
t t t t P
1 2 1
,..., ,
n
t t t
) , ,..., , (
1 2 1 1 n n
t t t t P
n n
t t t s . ... . .
2 1
= , segue-se que
) , ,..., , ( . ) , ,..., , (
1 2 1 2 1 2 1 1 n n n n n
t t t t P s t t t t P

= , onde o grau de menor ou igual
2
P d n d < .
Aplicando agora a Hiptese de Induo (2), existe um polinmio simtrico
de peso menor ou igual a ) , ,..., , (
1 2 1 2 n n
s s s s G

) ( n d tal que
) , ,..., , ( ) , ,..., , (
1 2 1 2 1 2 1 2 n n n n
s s s s G t t t t P

= .
98
Ento, . ) , ,..., , ( . ) , ,..., , (
1 2 1 2 1 2 1 1 n n n n n
s s s s G s t t t t P

=
Desse modo obtemos de ) ,..., , ( ) , ,..., , ( ) , ,..., , (
1 2 1 1 1 2 1 1 2 1 1
=
n n n n n
s s s G t t t t P t t t t P
que
) ,..., , ( ) , ,..., , ( ) , ,..., , (
1 2 1 1 1 2 1 1 1 2 1
+ =
n n n n n
s s s G t t t t P t t t t P .

Como , segue-se que ) , ,..., , ( . ) , ,..., , (
1 2 1 2 1 2 1 1 n n n n n
s s s s G s t t t t P

=
) ,..., , ( ) , ,..., , ( ) , ,..., , (
1 2 1 1 1 2 1 2 1 2 1
+ =
n n n n n n
s s s G s s s s G s t t t t P .
Fazendo ) ,..., , ( ) , ,..., , ( ) , ,..., , (
1 2 1 1 1 2 1 2 1 2 1
+ =
n n n n n n
s s s G s s s s G s s s s s G temos
= ) o que mostra que igual a um
polinmio simtrico em de peso menor ou igual a d,
concluindo a demonstrao (FIGUEIREDO, 1985, p. 81-84).
) , ,..., , (
1 2 1 n n
t t t t P

, ,..., , (
1 2 1 n n
s s s s G

) , ,..., , (
1 2 1 n n
t t t t P

) , ,..., , (
1 2 1 n n
s s s s G
n n
s s s s , ,..., ,
1 2 1


4.2.3 Teorema

Sejam
n
,..., ,
2 1
nmeros algbricos, tais que os polinmios simtricos
elementares
n n
j i
n
j
j
s
n j i s
s

. ... . .
1 .
2 1
2
1
1
=

< =
=


=

sejam nmeros racionais. Considere agora os nmeros algbricos

2
n
n j i
j i ij
< + = 1 , . Ento, os polinmios simtricos elementares associados aos
s
ij
' so tambm nmeros racionais.





99
Como conseqncia desse teorema, temos o seguinte resultado:
Se
n
,..., ,
2 1
so as razes de um polinmio
0 ... ) (
0
1
1
2
2
1
1
= + + + + + =

a x a x a x a x a x P
n
n
n
n

de grau n, com coeficientes racionais, ento os nmeros

2
n
s
ij
' anteriores so as
razes de um polinmio de grau com coeficientes racionais (FIGUEIREDO, 1985, p.
86).

2
n
Neste trabalho, ilustramos esse resultado s para n = 2 e n = 3 a fim de
compreender melhor o enunciado do teorema e sua conseqncia.
Para n = 2, temos os nmeros algbricos
2 1
, . Os polinmios simtricos
elementares so Q s e Q s = + =
2 1 2 2 1 1
. Nesse caso, temos apenas um nmero
algbrico
2 1 12
+ = . O nico polinmio simtrico associado ao
12
o prprio
2 1 12
+ = , que imediatamente racional. Sejam
2 1
, razes do polinmio
com coeficientes racionais. Ento,
0 1 2
) ( a x a x a x P + + =
2
12
raiz de um polinmio de
grau com coeficientes racionais. Esse polinmio dado por 1
2
2
=

12
) ( = x x P .
Para n =3, temos os nmeros algbricos
3 2 1
, , . Nesse caso, os polinmios
simtricos elementares so
3 2 1 3
3 2 3 1 2 1 2
3 2 1 1



=
+ + =
+ + =
s
s
s
com Q s s s , ,
3 2 1

Consideremos os nmeros algbricos 3
2
3
=

3 2 23
3 1 13
2 1 12



+ =
+ =
+ =


100
Os polinmios simtricos elementares associados aos s
ij
' so:
23 13 12 3
23 13 23 12 13 12 2
23 13 12 1



=
+ + =
+ + =
S
S
S

Para provar que esses polinmios simtricos elementares associados aos s
ij
' so
tambm nmeros racionais, basta provar que eles so polinmios simtricos em
3 2 1
, , ,
pois, como j vimos, dado um polinmio simtrico P em
3 2 1
, , , existe um polinmio
tal que ) , , (
3 2 1
s s s G ) , , ( ) , , (
3 2 1 3 2 1
s s s G P = . Desse fato, podemos concluir que os
polinmios simtricos elementares associados aos s
ij
' tambm so racionais, pois estaro
escritos em funo de , que, por hiptese, so nmeros racionais.
3 2 1
, , s s s
Vejamos:
Q s S = + + = + + + + + = + + = 2 ) .( 2
1 3 2 1 3 2 3 1 2 1 23 13 12 1

) .( 3 ) ).( (
) ).( ( ) ).( (
3 2 3 1 2 1
2
3
2
2
2
1 3 2 3 1
3 2 2 1 3 1 2 1 23 13 23 12 13 12 2


+ + + + + = + + +
+ + + + + + = + + = S

que um polinmio simtrico em
3 2 1
, , . Portanto, Q S
2
.
3 2 1
2
3 2 3
2
2
2
3 1 3
2
1
2
2 1 2
2
1
3 2 3 1 2 1 23 13 12 3
2
) ).( ).( (


+ + + + + + =
= + + + = = S

que um polinmio simtrico em
3 2 1
, , . Portanto, Q S
3
.
Sejam
3 2 1
, , razes do polinmio com
coeficientes racionais. Ento,
0 1
2
2
3
3
) ( a x a x a x a x P + + + =
23 13 12
, , so razes de um polinmio de grau
com coeficientes racionais.
3
2
3
=

Esse polinmio pode ser obtido da seguinte maneira:


) ).( ).( ( ) (
23 13 12
= x x x x P . Desenvolvendo os produtos indicados, temos:
23 13 12 23 13 23 12 13 12
2
23 13 12
3
) ( ) ( ) ( + + + + + = x x x x P , ou seja:
3 2
2
1
3
) ( S x S x S x x P + = , com Q S S S
3 2 1
, , .
101
Esse teorema pode ser generalizado da seguinte maneira:
Sejam
n
,..., ,
2 1
nmeros algbricos, tais que os polinmios simtricos
elementares
n n
j i
n
j
j
s
n j i s
s

...
1
2 1
2
1
1
=

< =
=


=

sejam nmeros racionais. Considere agora os nmeros algbricos

j
n
n k k
j k k k k
j j
< < + + = ... 1 , ...
1 ...
1 1
. Ento, os polinmios simtricos elementares
associados a esses s ' so tambm nmeros racionais.

Como conseqncia, temos que:
Se
n
,..., ,
2 1
so as razes de um polinmio de grau n, com coeficientes
racionais, ento os s ' so razes de um polinmio de grau com coeficientes
racionais. (FIGUEIREDO, 1985, p. 87-88).

j
n
Mostramos em seguida outros resultados que sero utilizados na demonstrao da
transcendncia do nmero . As demonstraes so dadas nos Anexos II, III e IV.

[A] A frmula de Euler (ver Anexo II)
seny i y e
iy
+ = cos . Para = y , temos a famosa igualdade . 1 =
i
e

[B] Clculo da soma

(ver Anexo II)


=

n
i
i
n
1
1 2 ...
3 2 1
1
=

+ +

=
n
n
i
n
n n n n
i
n

Esta soma ser utilizada para determinar o grau de um polinmio que ser
construdo durante a demonstrao.
102
[C] Seja um polinmio com coeficientes inteiros e seja

=
=
r
j
j
j
x a x Q
0
) ( r p < um
inteiro positivo. Ento:
r i x a
i j
j
x Q a
i j
j
r
i j
i

=

=

,
)! (
!
) ( )
) (
, onde representa a derivada de ordem
i de .
) (
) (
x Q
i
) (x Q
i p x Q
p
b
i

), (
)! 1 (
1
)
) (
, um polinmio com coeficientes inteiros divisveis por
p.

O item a) ser utilizado na demonstrao do item b). O item b) motivou a definio
de uma funo que dar sequncia no plano da demonstrao. (ver anexo III)

[D] Seja a funo , em que um
polinmio de grau r e representa a derivada de ordem r de .Ento:
) ( ) ( ... ) ( ) ( ) (
) ( ) 1 (
x P x P x P x P x F
r r
+ + + + =

) (x P
) (
) (
x P
r
) (x P
) ( )) ( ( x P e x F e
dx
d
x x
=


Esse resultado tambm ser utilizado na definio de uma funo.

[E] Desigualdade do valor mdio para funes de uma varivel complexa (ver
anexo IV)

Teorema: Seja uma funo analtica e sejam C C f : C z z
2 1
, . Ento:
} 1 0 |: )) .( ( sup{| . | | . 2 | ) ( ) ( |
1 2 1 1 2 1 2
+ z z z f z z z f z f , onde representa o
mdulo do complexo z = x + i.y, isto ;
| | z
2 2
| | y x z + = (FIGUEIREDO, 1985, p. 61).
No prximo captulo faremos um estudo sobre a demonstrao da transcendncia
do , aplicando os resultados vistos at agora.
Veremos que todos esses resultados interagem entre si, cada um dando sua
contribuio na construo do raciocnio utilizado na demonstrao.
103





CAP TULO 5


Neste captulo, veremos a demonstrao da transcendncia do nmero , tendo
como referncias (FIGUEIREDO, 1985, p. 65-73), (ALVES, 1999, p. 15-17) e
(AUGUSTINI, OLIVEIRA e SILVA, 2005, p. 81-86).
Assim como Alves (1999), Augustini, Oliveira e Silva (2005) tambm utilizaram a
demonstrao dada em Figueiredo (1985), como referncia em seus trabalhos.
Em nosso trabalho, tivemos o cuidado de apresent-la de forma mais detalhada,
justificando todas as afirmaes e etapas envolvidas durante a demonstrao.
O mtodo usado por Hermite para demonstrar a transcendncia de e foi estendido
por Lindemann, para demonstrar a transcendncia do nmero , em 1882.
A demonstrao dada em Figueiredo (1985, p. 65), tem como referncia a
demonstrao de R. Moritz, a qual por sua vez foi inspirada na prova de Hurwitz para a
trancendncia de e.


5.1 Demonstrao da transcendncia do nmero

Para demonstrar que transcendente, vamos supor exatamente o contrrio, isto ,
que o nmero seja algbrico, obtendo assim, uma contradio.
Suponhamos, ento, que seja um nmero algbrico.
Como o nmero complexo C i soluo da equao polinomial , ento
um nmero algbrico.
0 1
2
= + x
i
104
Pela aritmtica dos nmeros algbricos, o produto de dois nmeros algbricos
algbrico. Logo, i tambm algbrico.
Isso significa que i raiz de uma equao polinomial de grau n com
coeficientes inteiros, que ser representada por 0 ) (
1
= x P . Neste caso, temos 0 ) (
1
= i P .
Vamos representar as n razes (reais ou complexas) de 0 ) (
1
= x P por
n
i , ... , , ,
3 2 1
= .
Fatorando temos 0 ) (
1
= x P
), ( ) ( ) ( ) (
2 1 1 1 n
x x x a x P = n i P a Z a
i
, ... , 3 , 2 , 1 , 0 ) ( ), 0 , (
1 1 1
= = .
Da Frmula de Euler , temos para isenx x e
ix
+ = cos = x , a igualdade . 1 =
i
e
Consideremos, agora, o produto .

=
+
n
j
j
e
1
) 1 (

Como , segue-se que , pois 1 =
i
e

=
= +
n
j
j
e
1
0 ) 1 (

0 ) 1 ( ... ) 1 ( 0 ) 1 ( ... ) 1 ( )) 1 ( 1 (
) 1 ( ... ) 1 ( ) 1 ( ) 1 ( ... ) 1 ( ) 1 ( ) 1 (
2 2
2 2 1
1
= + + = + + + =
= + + + = + + + = +

=
n n
n n
j
e e e e
e e e e e e e
i
n
j


Desenvolvendo o produto do lado esquerdo da igualdade , obtemos
uma expresso da forma:
0 ) 1 (
1
= +

=
n
j
j
e

0 ...
... ... ... ... 1
...
2 1 1 2
3 2 1 1 1 2 1 2 1
= + + +
+ + + + + + + + + + + +
+ + + + +
+ + + + +

n n n n
n n n n
e e
e e e e e e e



ou seja, 1 +somatrio de exponenciais, cujos expoentes so:
[1]
n
, ... , , ,
3 2 1
, com termos n
n
=

1
[2]
j i
+ , para todos i <j, com termos

2
n
[3]
k j i
+ + , para todos i <j <k, com termos

3
n
105
[n]
n
+ + + + ...
3 2 1
, com termo. 1 =

n
n
onde
)! !.(
!
m n m
n
m
n

, para n m 0 , so os coeficientes binomiais.



Para exemplificar esse resultado, consideremos os 2 casos abaixo:
0 1 ) 1 ).( 1 ( ) 1 ( )
2 1 2 1 2 1
2
1
= + + + = + + = +
+
=

e e e e e e a
j
j


0
1 ) 1 ).( 1 ).( 1 ( ) 1 ( )
3 2 1 3 2 3 1
2 1 3 2 1 3 2 1
3
1
= + + +
+ + + + + = + + + = +
+ + + +
+
=

e e e
e e e e e e e e b
j
j


Somando o nmero de termos em [1], [2], [3], ..., [n], temos:
1 2 ...
3 2 1
=

+ +

n
n
n n n n
termos.

Agora, do fato de que
n
, ... , , ,
3 2 1

satisfazem uma equao polinomial de grau
n com coeficientes inteiros, 0 ) (
1
= x P , segue-se que:
a) os nmeros
j i
+ , para todos i < j , satisfazem uma equao polinomial de
grau

com coeficientes inteiros que denotaremos por 0 ) (


2
= x . Essa
equao pode ser escrita na forma fatorada

2
n
P
)), ( ( )) ( ( )) ( ( ) (
1 1 2 1 2 2 n n n
x x x a x P + + + =

, 0
2
a Z a
2


b) os nmeros
k j i
+ + , para todos i < j < k, satisfazem uma equao
polinomial de grau

com coeficientes inteiros que denotaremos por


0 ) (
3
= x . Essa equao pode ser escrita na forma fatorada

3
n
P
)), ( ( )) ( ( ) (
1 2 3 2 1 3 3 n n n
x x a x P + + + + =

, . 0
3
a Z a
3

E assim sucessivamente.
106
Em resumo, os nmeros
n
, ... , , ,
3 2 1

;
j i
+

, para todos j i < ;
k j i
+ + ,
para todos ; ...; k j i < <
n
+ + + + ...
3 2 1
, satisfazem uma equao polinomial
, com coeficientes inteiros de grau 0 ) ( ). ... . ( ). ( ). (
3 2 1
= x P x P x P x P
n
1 2
n
.
Como alguns dos nmeros
n
, ... , , ,
3 2 1
;
j i
+

, ( j i < );
k j i
+ +
,( ); ... ; k j i < <
n
+ + + + ...
3 2 1
, podem se anular, vamos supor que desses
nmeros, m deles sejam diferentes de zero. Esses m nmeros diferentes de zero sero
representados por
1
,
2
,
3
, ...,
m
.
) 1 2 (
n
Se tivermos , podemos simplificar em ) 1 2 ( <
n
m 0 ) ( ... ) ( ) ( ) (
3 2 1
= x P x P x P x P
n

os fatores da forma x
q
(q > 0), obtendo uma equao polinomial de grau m com
coeficientes inteiros cujas razes so os nmeros
m
, ... , , ,
3 2 1
.
Essa equao ser representada por 0 ... ) (
0 1
1
1
= + + + + =

c x c x c x c x R
m
m
m
Considerando ainda esses m nmeros diferentes de zero representados por
m
, ... , , ,
3 2 1
, vamos efetuar novamente o produto , que j vimos ser
uma expresso da forma (1 +somatrio de exponenciais).

=
= +
j
j
e
1
0 ) 1 (

n
Agrupando as potncias de e cujos expoentes so iguais a zero (se houver) no incio
desta soma de exponenciais, obtemos:
0 ... ... 1
3 2 1
0 0 0
= + + + + + + + + +
m
e e e e e e e


0 ...
3 2 1
= + + + + +
m
e e e e k


m j e k ou e e e e k
j
m
j
j
m
, ... , 3 , 2 , 1 , 0 ; ) ... (
1
3 2 1
= = + + + + =

=



Definimos o polinmio
p p
s
x R x
p
c
x P )) ( (
)! 1 (
) (
1

=

, onde c o coeficiente da
potncia de em ; p um nmero primo a ser
escolhido; e m o grau de
m
x 0 ... ) (
0 1
1
1
= + + + + =

c x c x c x c x R
m
m
m
1 = mp s 0 ) ( = x R .
O grau de P igual a mp + p 1 = mp 1 + p = s + p.

107
Definimos, agora, a funo:
) ( ... ) ( ' ' ) ( ' ) ( ) (
) (
x P x P x P x P x F
p s+
+ + + + =
onde P
(s+p)
(x) representa a derivada de ordem (s+p) de P(x).
Multiplicando ambos os lados da igualdade acima por , temos:
x
e

)) ( ... ) ( ' ' ) ( ' ) ( ( ) (


) (
x P x P x P x P e x F e
p s x x +
+ + + + =
Desta forma, ) ( . )) ( . ( x P e x F e
dx
d
x x
=
Seja uma funo analtica e sejam z
1
, z
2
C. Ento: C C f :
} 1 0 |: )) .( ( ' sup{ | . | | . 2 | ) ( ) ( |
1 2 1 1 2 1 2
+ z z z f z z z f z f , sendo |z| o mdulo do
nmero complexo z =x +i.y, isto ,
2 2
| | y x z + = .
Aplicando essa desigualdade funo para z
1
=0 e z
2
=
j
(j =1,
2, ..., m), temos:

) ( . ) ( z F e z f
z
=
} 1 0 |: )) 0 ( 0 ( ' sup{| . | 0 | . 2 | ) 0 ( ) ( | +
j j j
f f f
} 1 0 |: )) ( ( ' sup{| . | | . 2 | ) 0 ( ) ( |
j j j
f f f

Como , temos ) ( ) ( z F e z f
z
=

) ( ) (
j j
F e f
j


=

e ) 0 ( ) 0 ( 1 ) 0 ( ) 0 (
0
F F F e f = = =

Usando ( ) ) ( ) ( z P e z F e
dz
d
z z
=

, podemos escrever
( ) ( ) ) ( ) ( ) ( z P e z f
dz
d
z F e
dz
d
z z
= =

, ou seja, . ) ( ) ( ' z P e z f
z
=

Segue-se que , j =1, 2, 3, ..., m. )) ( ( )) ( ( '
) .(
j j
P e f
j


=

Ento, em } 1 0 |: )) ( ( ' sup{| . | | . 2 | ) 0 ( ) ( |
j j j
f f f , temos:
} 1 0 |: ) ( . sup{| . | | 2 | ) 0 ( ) ( |



j j j
P e F F e
j j

108
Multiplicando essa desigualdade por
| |
1
j
e

, obtemos:
} 1 0 |: ) ( sup{| | | 2 | ) 0 ( ) ( |
). 1 (




j j j
P e F e F
j j

Fazendo , podemos escrever } 1 0 |: ) ( sup{| | | 2
). 1 (
=



j j j
P e
j
m j F e F
j j
j
, ... , 3 , 2 , 1 , | ) 0 ( . ) ( |

=

.
Para j de 1 at m, obtemos:
1 1
| ) 0 ( ) ( |
1


F e F
2 2
| ) 0 ( ) ( |
2


F e F
3 3
| ) 0 ( ) ( |
3


F e F
-------------------------------

| ) 0 ( ) ( |
m m
F e F
m




Somando essas desigualdades, segue-se que:
m m
F e F F e F F e F
m


+ + + + + + ... | ) 0 ( ) ( | ... | ) 0 ( ) ( | | ) 0 ( ) ( |
2 1 2 1
2 1

Aplicando a desigualdade triangular no lado esquerdo dessa desigualdade, obtemos:
m
m
m
F e F F e F F e F
F e F F e F F e F
m
m





+ + +
+ + +
+ + +
...
| ) 0 ( ) ( | ... | ) 0 ( ) ( | | ) 0 ( ) ( |
| )) 0 ( ) ( ( ... )) 0 ( ) ( ( )) 0 ( ) ( ( |
2 1
2 1
2 1
2 1
2 1

Ou seja,


=
= =
+
+ + +
m
j
j m
m
j
m
j
j
F e F
F e F F e F F e F
m
j
1
2 1
1 1
| ) 0 ( . ) ( |
... | ) 0 ( . ) ( | | ) 0 ( . ) ( | | ) 0 ( . ) ( |
2 1


Resumindo, . Como , obtemos
.

= = =

m
j
j
m
j
m
j
j
F e F
j
1 1 1
| ) 0 ( . ) ( |

=
=
m
j
j
e k
1


= =
+
m
j
j
m
j
j
F F k
1 1
| ) ( ) 0 ( . |
109
O objetivo a partir deste momento mostrar que o lado esquerdo dessa
desigualdade um inteiro no nulo, e que o lado direito, para um nmero primo
conveniente, menor que 1, gerando uma contradio.
Em primeiro lugar, vamos analisar o lado esquerdo dessa desigualdade. Para isso,
devemos calcular F(0) e F(
j
), para j = 1, 2, ..., m.
Lembrando que , temos: ) ( ... ) ( ' ' ) ( ' ) ( ) (
) (
x P x P x P x P x F
p s+
+ + + + =
a) F(0) = P(0) + P(0) + P(0) + ... + P
(s+p)
(0) e

b) F(
j
) = P(
j
) + P(
j
) + P(
j
) + ... + P
(s+p)
(
j
), para j = 1, 2, ... , m.

Vamos, ento, calcular P(0), P(
j
) e as vrias derivadas de P(x) nos pontos
0,
1
,
2
,
3
, ...,
m
.
Como
p p
s
x R x
p
c
x P )) ( (
)! 1 (
) (
1

=

e
,
podemos escrever P(x) na seguinte forma:
0 1
1
1
... ) ( c x c x c x c x R
m
m
m
+ + + + =

p m
m
m p
s
c x c x c cx x
p
c
x P ) ... (
)! 1 (
) (
0 1
1
1
1
+ + + +


Desenvolvendo as operaes indicadas, temos:
). ... (
)! 1 (
) (
1 1
0
+
+ + +

=
p mp p p p p
s
x c bx x c
p
c
x P
Como s = mp 1, ento:
). ... (
)! 1 (
) (
1
0
p s p p p p
s
x c bx x c
p
c
x P
+
+ + +

=
No ponto x = 0, temos:
0 0
)! 1 (
) 0 . ... 0 . 0 . (
)! 1 (
) 0 (
1
0
=

= + + +

=
+
p
c
c b c
p
c
P
s
p s p p p p
s

Para o clculo de , onde representa a derivada de ordem i de P(x)
calculada no ponto 0, vamos fazer nossa anlise em 3 partes: para i < p 1, i = p 1 e i p.
) 0 (
) (i
P ) 0 (
) (i
P
110
Para i < p 1, em qualquer derivada de ordem i, o polinmio P(x) apresentar
potncias de x em todos os seus termos. Ento, conclumos que para i < p 1 temos P
(i)
(0) =0.

Para , 1 = p i
) ) 2 ( ... ) ( ... ! )! 1 ((
)! 1 (
) (
1
0
) ( +
+ + + + +

=
s p p
s
i
x s p s c x p b c p
p
c
x P
Ento:
p s p
s
p
s
s p p
s
i
c c c p
p
c
c p
p
c
s p s c p b c p
p
c
P
0 0 0
1
0
) (
)! 1 (
)! 1 (
) 0 ... 0 0 )! 1 ((
)! 1 (
) 0 ). 2 ). ... .( .( ... 0 !. . )! 1 ((
)! 1 (
) 0 (
=

= + + + +

=
= + + + + +

=
+

Resumindo: para i = p 1, temos .
p s i
c c P
0
) (
) 0 ( =
Para i p, os coeficientes de P
(i)
(x) so inteiros divisveis por p. Como esses
coeficientes tambm so divisveis por c
s
, conclumos, ento, que os coeficientes de
P
(i)
(x), i p, so inteiros divisveis por p.c
s
. Disso conclumos que, para i p, os
coeficientes de P
(i)
(0) so nmeros inteiros divisveis por p.c
s
.
Ento:
F(0) = P(0) + P(0) + P(0) + ... + P
(p 2)
(0) + P
(p 1)
(0) + P
(p)
(0) + + P
(s+ p)
(0)
F(0) = 0 + 0 + 0 + + 0 + c
s
.c
0
p
+ k
0
. p.c
s

F(0) = c
s
.c
0
p
+ k
0
. p.c
s
, (k
0
Z )
Nos pontos x =
j
, para j = 1, 2, 3, , m, temos:
Como R(
j
) = 0, para j = 1, 2, 3, , m, ento:
. 0 0 .
)! 1 (
)) ( .(
)! 1 (
) (
1 1
=

=
p p
j
s
p
j
p
j
s
j
p
c
R
p
c
P
Para i <p, segue-se diretamente de
p p
s
x R x
p
c
x P )) ( (
)! 1 (
) (
1

=

, que ,
pois a expresso R(x) fator comum nas derivadas P
(i)
(x), para i < p e R(
j
) = 0, para
j =1, 2, 3, , m.
0 ) (
) (
=
j
i
P
111
Para as derivadas de ordem i p, os coeficientes de P
(i)
(x) so inteiros divisveis
por p.c
s
. Ento, para i p, os coeficientes de para j =1, 2, 3, , m, so inteiros
divisveis por p.c
s
.


) (
) (
j
i
P
Calculando F(
j
), temos:
F(
j
) = P(
j
) + P(
j
) +...+P
(p 1)
+ P
(p)
(
j
) +... +P
(s+p)
(
j
)
F(
j
) = 0 + 0 +...+ 0

+P
(p)
(
j
) +... +P
(s+p)
(
j
)
F(
j
) = P
(p)
(
j
) + P
(p+1)
(
j
) ... +P
(s+p)
(
j
), para j =1, 2, 3, , m.

Para j de 1 at m, temos:
F(
1
) = P
(p)
(
1
) + P
(p+1)
(
1
) ... + P
(s+p)
(
1
)
F(
2
) = P
(p)
(
2
) + P
(p+1)
(
2
) ... + P
(s+p)
(
2
)
---------------------------------------------------
F(
m
) = P
(p)
(
m
) + P
(p+1)
(
m
) ... +P
(s+p)
(
m
)

Somando termo a termo
F(
1
) + F(
2
) + +F(
m
) = [P
(p)
(
1
) +P
(p)
(
2
) + +P
(p)
(
m
)] +
+[P
(p+1)
(
1
) + P
(p+1)
(
2
) + +P
(p+1)
(
m
) ] + +[P
(s+p)
(
1
) +P
(s+p)
(
2
) + +
+P
(s+p)
(
m
)]

Usando a notao do somatrio

=
+
=
+
= =
+ + + =
m
j
j
s p
m
j
j
p
m
j
m
j
j
p
j
P P P F
1
) (
1
) 1 (
1 1
) (
) ( ... ) ( ) ( ) (

=
+
= =
=
m
j
p s
p i
m
j
j
i
j
P F
1 1
) (
) ) ( ( ) (

Observemos, agora, a expresso
) ( ... ) ( ) ( ) (
) (
2
) (
1
1
) ( ) (
m
i i
m
j
i
j
i
P P P P + + + =

=
,
para cada i fixado, com p i s+p.
O polinmio P
(i)
tem coeficientes inteiros divisveis por p.c
s
e grau s + p i s,
pois p i.
112
Para i = p, o grau de P
(p)
ser s + p p =s s.
Como o polinmio P
(p)
tem coeficientes divisveis por p.c
s
e grau s, podemos
escrev-lo da seguinte forma:
P
(p)
(x) = p.c
s
.(d
0
+ d
1
.x + d
2
.x
2
+ +d
s
.x
s
), d
i
Z, i =0, 1, 2, , s (d
s
0)

Ento,
) ,..., , ( . . ) ... ( ... ) ... (
) ... ( . .[ . ) . ... . . .( . ...
) . ... . . .( . ) . ... . . .( .
) ( ... ) ( ) ( ) (
2 1 2 1 2
2 2
2
2
1
1 2 1 0
2
2 1 0
2
2
2 2 2 1 0 1
2
1 2 1 1 0
) (
2
) (
1
1
) ( ) (
m p
s
s
s
m
s s
m
m
s s
m s m m
s
s
s
s s
s
s
m
p p
m
j
p
j
p
Q c p d d
d d m c p d d d d c p
d d d d c p d d d d c p
P P P P




= + + + + + + + +
+ + + + + = + + + + + +
+ + + + + + + + + + =
= + + + =

=

) ,..., , ( . . ) (
2
1
1
) (
m
m
j
p
s
j
p
Q c p P

=
= , onde ) ,..., , (
2 1 m p
Q um polinmio nos de
grau s.
s
j
,

Pelo desenvolvimento acima, podemos concluir que ) ,..., , (


2 1 m p
Q um
polinmio simtrico nos , com coeficientes inteiros. s
j

,
Logo, existe um polinmio ) ,..., , (
2 1 m p
G de grau menor ou igual a s com
coeficientes inteiros, onde
m
,..., ,
2 1
so os polinmios simtricos elementares em
m
,..., ,
2 1
, tal que ) ,..., , ( ) ,..., , (
2 1 2 1 m p m p
G Q = .
Ento, . ) ,..., , ( ) (
1
2 1
) (
m
m
j
p
s
j
p
G c p P

=
=
Pela definio de polinmios simtricos elementares, temos que:

=

=
=
=

< <
<
=
m n
k j i
k j i
j i
j i
m
j
j




. ... . .
. .
.
2 1
3
2
1
1

113
Como
m
,..., ,
2 1
, so razes de , segue-se
que:
0 1
1
1
... ) ( c x c x c x c x R
m
m
m
+ + + + =

=

=
=
=

< <
<

c
c
c
c
c
c
c
c
m
m
m
k j i
k j i
j i
m
j i
m
j
m
j
0
2 1
3
2
1
1
. ) 1 ( . ... . .
. .
.




Igualando esses dois sistemas, temos:

=

=
=
=

c
c
c
c
c
c
c
c
m
m
m
m
m
0
3
3
2
2
1
1
. ) 1 (



Como ) ,..., , (
2 1 m p
G tem grau menor ou igual a s com coeficientes inteiros,
ento a expresso ,
p m
m
j
p
s
j
p
k p G c p P . ) ,..., , ( ) (
1
2 1
) (
= =

=
Z k
p
.
Analogamente, para i = p + 1, o grau de P
(p+1)
ser igual a s + p (p + 1) = s 1 s.
Como o polinmio P
(p+1)
tem coeficientes divisveis por p.c
s
e grau s 1, podemos
escrev-lo da seguinte forma:
) ... ( ) (
1
1
2
2 1 0
) 1 (

+
+ + + + =
s
s
s p
x e x e x e e c p x P , e
i
Z, i =0, 1, 2,, (s 1), (e
s-1
0).
Ento,
) ,..., , ( . . ) ... ( ... ) ... (
) ... ( . .[ . ) . ... . . .( . ...
) . ... . . .( . ) . ... . . .( .
) ( ... ) ( ) ( ) (
2 1 1 1
1 1
2
1
1 2
2 2
2
2
1
1 2 1 0
1
1
2
2 1 0
1
2 1
2
2 2 2 1 0
1
1 1
2
1 2 1 1 0
) 1 (
2
) 1 (
1
1
) 1 ( ) 1 (
m p
s
s
s
m
s s
m
m
s s
m s m m
s
s
s
s s
s
s
m
p p
m
j
p
j
p
Q c p e e
e e m c p e e e e c p
e e e e c p e e e e c p
P P P P




+

+ +
=
+ +
= + + + + + + + +
+ + + + + = + + + + + +
+ + + + + + + + + + =
= + + + =


114
, onde ) ,..., , ( . . ) (
2
1
1 1
) 1 (
m
m
j
p
s
j
p
Q c p P

=
+
+
= ) ,..., , (
2 1 1 m p
Q
+
um polinmio
nos de grau (s 1). Pelo desenvolvimento acima, podemos ver tambm que s
j
,

) ,..., , (
2 1 1 m p
Q
+
um polinmio simtrico com coeficientes inteiros. Logo, existe um
polinmio ) ,..., , (
2 1 1 m p
G
+
de grau menor ou igual a (s 1) com coeficientes inteiros e
onde
m
,..., ,
2 1
so os polinmios simtricos elementares em
m
,..., ,
2 1
, tal que
) ,..., , ( ) ,..., , (
2 1 1 2 1 1 m p m p
G Q
+ +
= .
Ento . ) ,..., , ( ) (
1
2 1 1
) 1 (
m
m
j
p
s
j
p
G c p P

=
+
+
=
Como ) ,..., , (
2 1 1 m p
G
+
tem grau menor ou igual a (s 1) com coeficientes
inteiros, ento a expresso , .
1
1
2 1 1
) 1 (
) ,..., , ( ) (
+
=
+
+
= =
p m
j
p
s
j
p
k p G c p P
m
m
Z k
p

1

+
De forma anloga, como j vimos, para cada i fixado, com p i s +p, o
polinmio P
(i)
tm coeficientes inteiros divisveis por p.c
s
. 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 pode ser escrita
como , onde
) ( ... ) ( ) ( ) (
) (
2
) (
1
1
) ( ) (
m
i i
m
j
i
j
i
P P P P + + + =

=
) ,..., , ( ) (
2
1
1
) (
m
j
i
s
j
i
Q c p P

=
= ) ,..., , (
2 1 m i
Q um polinmio
simtrico nos , de grau menor ou igual a s, com coeficientes inteiros. Logo, existe um
polinmio
s
j

,
) ,..., , (
2 1 m i
G de grau menor ou igual a s com coeficientes inteiros e onde
m
,..., ,
2 1
so os polinmios simtricos elementares em
m
,..., ,
2 1
, tal que
) ,..., , ( ) ,..., , (
2 1 2 1 m i m i
G Q = .
Segue-se que
i m
m
j
i
s
j
i
k p G c p P = =

=
) ,..., , ( ) (
1
2 1
) (
, Z k
i



115
Ento,
Z K K p k k k p k p k p k p P
P P P F
s p p p s p p p
m
j
j
s p
m
j
j
p
m
j
j
p
m
j
p s
p i
m
j
j
i
j
, ) ... ( ... ) (
... ) ( ) ( ) ) ( ( ) (
1 1
1
) (
1
) 1 (
1
) (
1 1
) (
= + + + = + + + = +
+ + + = =
+ + + +
=
+
=
+
= =
+
= =



Retomando as expresses F(0) e , temos:

=
m
j
j
F
1
) (
Z k c p k c c F
s p s
, ) 0 (
0 0 0
+ = e . Z K K p F
m
j
j
, ) (
1
=

=

Ento, na expresso , obtemos: | ) ( ) 0 ( |
1

=
+
m
j
j
F F k
| | | ) ( | | |
| ) ( | | ) ( ) 0 ( |
0 0 0 0 0
0 0
1
p s p s s s p s
s p s
m
j
j
c c k L p c c k K c k k p K p c p k k c c k
K p c p k c c k F F k
+ = + + = + + =
= + + = +

=


sendo . K c k k L
s
+ =
0
Todo esse desenvolvimento foi necessrio para mostrar que
Z c c k L p F F k
p s
m
j
j
| | | ) ( ) 0 ( |
0
1
+ = +

=
, s =mp 1.
Agora, devemos escolher um nmero primo p, de modo que ele seja maior que k, c
e c
0
. Este p existe, pois o conjunto dos nmeros primos infinito. Desta maneira, o inteiro
no divisvel por p, pois p no fator de k, nem de c
s
e de . Como p divide
p.L e p no divide , ento p no divide a soma . Logo, o nmero
, para tal valor de p, um inteiro no nulo.
p s
c c k
0

p
c
0
p s
c c k
0
) (
0
p s
c c k L p +
| |
0
p s
c c k L p +
Consequentemente, . 1 | ) ( ) 0 ( |
1
+

=
m
j
j
F F k
Para completar a demonstrao, necessitamos fazer uma estimativa do termo
que aparece no lado direito da expresso .

= j
j
1

m m m m

= = =

j
j
j j
j
F e F
j
1 1 1
| ) 0 ( ) ( |

116
Para isto, devemos recordar que e } 1 0 |: ) ( sup{| | | 2
). 1 (
=



j j j
P e
j
p p
s
x R x
p
c
x P )) ( (
)! 1 (
) (
1

=

.
Seja |} | | , ... , | , | {|
2 1 m
mx M = .
Ento . } 1 0 |: ) ( sup{| 2
). 1 (




j
M
j
P e M
Antes de prosseguirmos com a estimativa, justifiquemos a desigualdade acima em
relao expresso . } 1 0 |: ) ( sup{| | | 2 =
j j j
P e
j
). 1 (
Como |} | | , ... , | , | {|
2 1 m
mx M = , ento imediato que | | M
j
para
. m j , ... , 3 , 2 , 1 =
Veremos, agora, que
} 1 0 |: ) ( sup{| } 1 0 |: ) ( sup{|
). 1 (
). 1 (




j
M
j
P e P e
j

Seja R b a i b a
j j j j j
, , . + = . Ento M b a
j j j
+ =
2 2
| | e
]). ) 1 [( . ] ) 1 .(cos[(
.
). 1 (
. ). 1 ( ). 1 ( . ) 1 ( ). 1 ( ) . ).( 1 ( ). 1 (
j j
a
i b a i b a i b a
b sen i b e
e e e e e
j
j j j j j j j


+ =
= = = =

+ +

Utilizamos, no ltimo passo, a Frmula de Euler e
ix
= cosx + i.senx.
M
a a
a
j j
a
j j
a
j j
a
e e e
e b sen b e
b sen i b e
b sen i b e e
j j
j j
j
j j
). 1 (
). 1 ( ). 1 (
). 1 (
2 2
.
). 1 (
). 1 (
). 1 ( ). 1 (
| |
1 . | | ]) ) 1 [( ( ]) ) 1 (cos[( | |
| ]) ) 1 [( . ] ) 1 (cos[( | . | |
| ]) ) 1 [( . ] ) 1 .(cos[( | | |


= =
= = + =
= + =
= + =

pois M b a a
j j j
+
2 2
e (1 - ) 0.
Ento . | | | |
). 1 (
). 1 (
M
e e
j

Logo, o que
termina a justificativa da desigualdade.
} 1 0 |: ) ( sup{| } 1 0 |: ) ( sup{|
). 1 (
). 1 (




j
M
j
P e P e
j

117
Continuando com a estimativa.
} 1 0 |: ) ( sup{| 2
). 1 (




j
M
j
P e M
Como
p p
s
x R x
p
c
x P )) ( (
)! 1 (
) (
1

=

e , pois
M M
e e
). 1 (
1 0 , segue-se que:
} 1 0 |: )) ( ( ) (
)! 1 (
sup{| 2
1




p
j
p
j
s
M
j
R
p
c
e M .
Como segue-
se que
1 1 1 1 1 1 1 1
) . ( . ) ( | | . | | | | . | | | |

= = =
p p p p p p
j
p p
j
M M M
} 1 0 |: )) ( .( ) (
)! 1 (
sup{| . . . 2
1



p
j
p
s
M
j
R M
p
c
e M
Como
)! 1 ( p
c
s
e M so constantes e que , podemos escrever
1 1
) . (

p p
M M
} 1 0 |: )) ( ( sup{| .
)! 1 (
| |
. . 2
1




p
j
p
s
M
j
R M
p
c
e M
Seja } | | : | ) ( {| M z z R mx N < = , o que nos fornece
p p
s
M
j
N M
p
c
e M . .
)! 1 (
| |
. . 2
1

. Sendo s = m.p 1 ,
)! 1 (
) | (|
| | 2
)! 1 (
) | (|
| | 2
)! 1 (
| | . | |
2
)! 1 (
| |
2
)! 1 (
| |
2
1
1
1 1
1
1
1 1
1
1 1 1
1
1
1


=
=

=
=

=
=

=
=

p
N M c
c N e M
N M
p
c
c N e M
N M
p
c c
N e M
N N M
p
c
e M
N M
p
c
e M
p m
m M
p p
p m
m M
p p
m mp m
M
p p
m m mp
M
p p
mp
M
j


Ento
)! 1 (
) | (|
| | 2
1
1

p
N M c
c N e M
p m
m M
j



118
Fazendo temos: A N M c
m
= | | ,
)! 1 (
| | 2
1
1

p
A
c N e M
p
m M
j

Vamos analisar, agora, qual o comportamento da expresso
)! 1 (
| | 2
1
1

p
A
c N e M
p
m M
, quando p .
Como o fatorial domina qualquer exponencial, temos
0 0 | | 2
)! 1 (
lim | | 2
)! 1 (
| | 2 lim
1
1
1
1
1
= =
=


m M
p
p
m M
p
m M
p
c N e M
p
A
c N e M
p
A
c N e M

para qualquer A >0.
Ento, para p suficientemente grande, podemos fazer
1
1
+

m
j
, para
j = 1, 2, 3, ..., m, o que nos d:
1
1 1
1
...
1
1
1
1
...
2
1
1
<
+
=
+
+ +
+
+
+
+ + + =

=
m
m
m m m
m
m
j
j

ou seja, . 1
1
<

=
m
j
j

Ento, na expresso , temos



= =
+
m
j
j
m
j
j
F F k
1 1
| ) ( ) 0 ( |
1 | ) ( ) 0 ( |
1
+

=
m
j
j
F F k e , 1
1
<

=
m
j
j

o que nos d um absurdo.


Portanto, a suposio inicial de que um nmero algbrico falsa.
Logo, transcendente.
119





CONSI DERAES FI NAI S


As construes com rgua e compasso j aparecem no sculo V a.C., poca dos
pitagricos, e tiveram enorme importncia no desenvolvimento da Matemtica grega. A
cincia grega fundamenta-se numa curiosidade altamente intelectual contrastando com o
esprito prtico do pensamento pr-helnico. Na Grcia antiga, a palavra nmero era
usada s para os inteiros, e uma frao era considerada apenas uma razo entre nmeros.
Esses conceitos naturalmente causavam dificuldade nas medidas das grandezas. A noo
de nmero real estava ainda muito longe de ser concebida, mas, na poca de Euclides
(sculo III a.C.), uma idia nova apareceu. As grandezas, no lugar de serem associadas a
nmeros, passaram a ser associadas a segmentos de reta. Assim, o conjunto dos nmeros
continuava discreto e o das grandezas contnuas passou a ser tratado por mtodos
geomtricos. Nasce, ento, nesse perodo, uma nova lgebra completamente geomtrica,
onde a palavra resolver era sinnimo de construir (WAGNER, 1993, p. 1).
A questo da quadratura do crculo se apresenta como um problema geomtrico. No
entanto, para demonstrar a impossibilidade de quadr-lo utilizando apenas rgua e
compasso, que levou mais de 20 sculos, foi necessrio traduzi-lo para a linguagem
algbrica e analis-lo com as ferramentas do Clculo e da Anlise Matemtica. No se trata
de uma aplicao prtica da matemtica, mas de uma questo terica envolvendo uma
distino entre uma boa aproximao e a exatido do pensamento.
A soluo desse problema consistiu no em exibir a construo do quadrado com
rea igual do crculo, mas em afirmar que no possvel efetuar tal construo. Isso no
significa que a regio quadrada proposta no exista, ao contrrio, ela existe, mas no pode
ser construda usando apenas rgua e compasso. A impossibilidade prpria da
construo.
120
Muitas tentativas foram realizadas sem sucesso e muitos erros foram cometidos na
busca de uma soluo para esse problema. Isso nos mostra que muitas descobertas e
avanos que ocorrem nas Cincias e na Matemtica so frutos de muito trabalho,
investigao, dvidas, persistncia, erros, impregnados de condio humana, com suas
foras e as suas fraquezas (CARAA, 1989, XIII).
Liouville, (1809-1882), foi o primeiro matemtico a provar a existncia de nmeros
transcendentes. Sua prova, em 1844, permitiu a construo de tais nmeros, chamados
nmeros de Liouville. Uma outra prova da existncia de nmeros transcendentes foi
dada pelo matemtico Georg Cantor (1845-1918), que no s demonstrou a existncia
desses nmeros, mas tambm provou que o conjunto dos transcendentes infinito, sem
exibir um nico nmero transcendente.
Em 1873, Hermite demonstrou que o nmero e (nmero de Euler) transcendente.
O mtodo usado por Hermite para a demonstrao da transcendncia de e foi estendido por
Lindemann, para demonstrar a transcendncia do nmero , em 1882.
A transcendncia de estabeleceu de uma vez por todas a impossibilidade de
quadrar o crculo usando rgua e compasso, que pode ser resumida da seguinte forma:
i) Vimos que todo nmero construtvel algbrico.
ii) Supondo que seja possvel quadrar o crculo de raio igual a 1, poderamos
construir, com rgua e compasso, um quadrado de rea igual a . Essa
afirmao equivale a dizer que poderamos construir um quadrado de lado igual
, ou seja, seria um nmero construtvel.
iii) Se construtvel, ento, tambm construtvel. Como todo nmero
construtvel algbrico, ento, seria algbrico.
iv) Absurdo, pois foi provado que transcendente.
v) Esse absurdo conseqncia da possibilidade de quadrar o crculo com rgua e
compasso, dada em ii. Portanto, essa suposio falsa. Logo, vale a sua
negao, ou seja, no possvel construir, usando rgua e compasso, um
quadrado com rea igual do crculo.

121
Se fosse possvel quadrar o crculo com rgua e compasso, o nmero seria
construtvel e, portanto, algbrico, gerando uma contradio, pois transcendente.
No estudo que fizemos sobre a quadratura do crculo, fez-se necessrio conhecer
um pouco mais sobre a natureza dos nmeros e suas propriedades e, sem dvida, fazer
muita interao matemtica entre o contnuo e o discreto, o real e o complexo, o racional e
o irracional, o algbrico e o transcendente, a geometria, a lgebra e a anlise, o finito e o
infinito, o enumervel e o no enumervel, as igualdades e as desigualdades, os nmeros,
as funes, os limites, as seqncias, as sries, os polinmios.
Neste trabalho, constatamos que as demonstraes desempenham um papel
fundamental no estudo da matemtica e que, para efetu-las, s vezes necessrio o
desenvolvimento e a criao de novas teorias.
Esperamos que este trabalho oferea aos professores e aos alunos de licenciatura
em matemtica um material a mais de consulta sobre o problema da quadratura do crculo
e a natureza dos nmeros, especialmente sobre o nmero .


122



123





REFERNCI AS


ALVES, Alessandro Ferreira. Algumas importantes constantes em matemtica. 1999.
Dissertao (mestrado em matemtica) Instituto de Matemtica, Estatstica e Computao
Cientfica, UNICAMP, Campinas, SP.

AUGUSTINI, Edson; OLIVEIRA, Anselmo A. de A.; SILVA, Uziel P. da. A
transcendncia do nmero . FAMAT em revista, Universidade Federal de Uberlndia,
MG, abril de 2005, n. 4, p. 69-86.

BEZERRA, Manoel J airo. Curso de matemtica. 17.ed. So Paulo: Companhia Editora
Nacional, 1965.

BOYER, Carl Benjamin. Histria da matemtica. Traduo por Elza F. Gomide. So
Paulo: Edgard Blcher, 1974.

CARAA, Bento de J esus. Conceitos fundamentais da matemtica. 9.ed. Portugal, Lisboa:
Livraria S da Costa Editora, 1989.

COURANT, Richard; ROBBINS, Herbert. O que matemtica?. Traduo por Adalberto
da Silva Brito. Rio de J aneiro: Cincia Moderna, 2000.

DANTZIG, Tobias. Nmero: a linguagem da cincia. Traduo por Srgio Ges de Paula.
Rio de J aneiro: Zahar Editores, 1970.

DAVIS, Philip J ; HERSH, Reuben. A experincia matemtica. Traduo por J oo Bosco
Pitombeira. 4.ed. Rio de J aneiro: Francisco Alves, 1989. 481p.

DELAHAYE, J ean-Paul. Le fascinant nombre . France, Paris: Bibliotque Scientifique,
1997.

EVES, Howard. Introduo histria da matemtica. Traduo por Higyno H.
Domingues. Campinas, SP: Editora da Unicamp, 2004.

FIGUEIREDO, Djairo Guedes de. Nmeros irracionais e transcendentes. Braslia: 1985.
101p. Coleo Fundamentos da Matemtica Elementar. Sociedade Brasileira de
Matemtica.

124
GOMES, Carlos A. Polinmios Simtricos. Disponvel em
<www.oei.es/oim/revistaoim/numero24/gomes.pdf >. Acesso em: 12 out. 2008. UFRN,
Natal, RN.

HOGBEN, Lancelot. Maravilhas da Matemtica. Traduo por Paulo Moreira da Silva.
2.ed. Porto Alegre: Editora Globo, 1950. 1v.

IMENES, Luiz Marcio Pereira; J AKUBOVIC, J os; TROTTA, Fernando. Matemtica
Aplicada. So Paulo: Moderna Ltda, 1979. 2v.

______. Matemtica Aplicada: manual do professor. So Paulo: Moderna Ltda, 1979. 2v.

KAPLANSKY, I. Introduo teoria de Galois. Notas redigidas por Elon Lages Lima.
Rio de J aneiro: 1958. 153p. Notas de Matemtica n.13. Coleo publicada sob a direo de
L.Nachbin. Fascculo publicado pelo Instituto de Matemtica Pura e Aplicada do Conselho
Nacional de Pesquisas.

KARLSON, Paul. A magia dos nmeros. Traduo por Henrique Carlos Pfeifer, Eugnio
Brito e Frederico Porta. Porto Alegre: Editora Globo, 1961.

KASNER, Edward; NEWMAN, J ames. Matemtica e imaginao. Traduo por J orge
Fortes. Rio de J aneiro: Zahar Editores, 1968.

LARS, Garding. Encontro com a matemtica. Traduo por Clio W. Manzi Alvarenga e
Maria Manuela V. Marques M. Alvarenga. 2.ed. Braslia: Editora Universidade de Braslia,
1997.

LAVILLE, Christian; DIONNE, J ean. A construo do saber: manual de metodologia da
pesquisa em cincias humanas.Traduo por Helosa Monteiro e Francisco Settineri.
Reviso tcnica e adaptao da obra: Lana Mara Siman. Porto Alegre: Editora Artes
Mdicas Sul Ltda.; Belo Horizonte: Editora UFMG, 1999.

LIMA, Elon Lages. Conceitos e controvrsias. Revista do Professor de Matemtica
RPM, So Paulo, n. 3, p. 22-23, 2 semestre de 1983. Sociedade Brasileira de Matemtica.

MACHADO, Nilson J os; GRANJ A, Carlos Eduardo de Souza Campos; MELLO, J os
Luiz Pastore; MOISS, Roberto Perides; SPINELLI, Walter. Caderno do professor:
matemtica 8. srie, 4 bimestre, Secretaria da Educao; coordenao geral Maria Ins
Fini. So Paulo: SEE, 2008.

MAOR, Eli. e: a histria de um nmero. Traduo por J orge Calife. 3.ed. Rio de J aneiro:
Record, 2006.

NIVEN, Ivan Morton. Nmeros: racionais e irracionais. Traduo por Renate Watanabe.
Rio de J aneiro: 1984, 216p. Coleo Fundamentos da Matemtica Elementar. Sociedade
Brasileira de Matemtica.

SINGH, Simon. O ltimo teorema de Fermat. Traduo por J orge Luiz Calife. 4.ed. Rio de
J aneiro: Record, 1999.

125
SPIVAK, Michael. Clculo Infinitesimal. Espanha: Editorial Reverte, S.A. 2v.

STRUIK, Dirk J . Histria concisa das matemticas. Traduo por J oo Cosme Santos
Guerreiro. 3.ed. Lisboa: Gradiva, 1997.

WAGNER, Eduardo. Construes geomtricas. 4.ed. Rio de J aneiro: 1993. Coleo
Professor de Matemtica. Sociedade Brasileira de Matemtica.


126




127





ANEXOS

Anexo I


Para cada valor inteiro e positivo de , existe um nmero finito de equaes
com coeficientes inteiros, , sendo
|
2 h
0 ...
0 1
1
1
= + + + +

a x a x a x a
n
n
n
n
0 >
n
a
| | | | | ... | |
0 1 2 1
a a a a a n h
n n
+ + + + + + =

sua altura.
Para mostrar esse resultado, utilizaremos as combinaes completas
)! 1 !.(
)! 1 (
1

+
=

+
=
k p
p k
p
p k
CR
p
k
para determinar o nmero de solues inteiras e no
negativas da equao p x x x
k
= + + + ...
2 1
, p um inteiro positivo.
Dada a equao com coeficientes inteiros,
, e sua altura |
0 ...
0 1
1
1
= + + + +

a x a x a x a
n
n
n
n
0 >
n
a | | | | | ... | |
0 1 2 1
a a a a a n h
n n
+ + + + + + =

, temos que
n h a a a a a
n n
= + + + + +

| | | | | | ... | |
0 1 2 1
.
Como 0 > , devemos ter
n
a 1 1 h n .
Dado 2 h (h fixo), vamos determinar o nmero de equaes com altura h para
n =1, n =2, n =3,..., n =h 1, e em seguida somar todas essas quantidades, obtendo o
nmero de equaes com essa altura h.
Para n = 1, temos as equaes 1 | | 0 , 0
0 1 1 0 1
= + > = + h a a e a a x a .




128
1 caso: 0 , 0
0 1
> > a a
Fazendo
1 1
1 b a + = e
0 0
1 b a + = , temos: 1 1 1
0 1 0 1
= + + + = + h b b a a , ou seja:
. Ento . 3
0 1
= + h b b

+
=

3
2
3
1 3 2
3
2
h
h
h
h
CR
h
Considerando
0
a , temos ento equaes.

3
2
. 2
h
h

2 caso: 0 , 0
0 1
= > a a
Fazendo e
1 1
1 b a + = 0
0
= a , temos: 1 0 1
1 0 1
= + + = + h b a a , ou seja,
. Ento equao, dada por 2
1
= h b 1
2
2
2
1 2 1
2
1
=

+
=

h
h
h
h
CR
h
. 0 ) 1 (
1
= x h
Portanto, o nmero de equaes do 1 grau com altura h (h fixo) igual a
.

1
0
1 0 1
3
2
2
1
2
2
2
1
1
3
2
2
0
1
j
j
j h
h
j h
h
h
h
Para n = 2, temos as equaes
2 | | | | 0 , 0
0 1 2 2 0 1
2
2
= + + > = + + h a a a e a a x a x a .

1 caso: 0 , 0 , 0
0 1 2
> > > a a a
Fazendo
2 2
1 b a + = , e
1 1
1 b a + =
0 0
1 b a + = , temos:
2 1 1 1
0 1 2 0 1 2
= + + + + + = + + h b b b a a a , ou seja, 5
0 1 2
= + + h b b b .
Ento .

+
=

5
3
5
1 5 3
5
3
h
h
h
h
CR
h
Considerando
0 1
, a a , temos equaes.

5
3
2
2
h
h

2 caso: 0 , 0 , 0
0 1 2
= > > a a a
Fazendo
2 2
1 b a + = , e
1 1
1 b a + = 0
0
= a , temos:
2 0 1 1
1 2 0 1 2
= + + + + = + + h b b a a a , ou seja, 4
1 2
= + h b b .
129
Ento .

+
=

4
3
4
1 4 2
4
2
h
h
h
h
CR
h
Considerando , temos equaes.
1
a

4
3
2
h
h

3 caso: 0 , 0 , 0
0 1 2
> = > a a a
Sendo anlogo ao caso anterior, nesse temos tambm equaes.

4
3
2
h
h

4 caso: 0 , 0
0 1 2
= = > a a a
Fazendo
2 2
1 b a + = e 0
0 1
= = a a , temos: 2 0 0 1
2 0 1 2
= + + + = + + h b a a a , ou
seja, . 3
2
= h b
Ento equao, dada por 1
3
3
3
1 3 1
3
1
=

+
=

h
h
h
h
CR
h
. 0 ) 2 (
2
= x h
Portanto, o nmero de equaes do 2 grau com altura h (h fixo) igual a
.

2
0
2 0 1 2
5
3
2
2
3
3
2
2
2
4
3
2
1
2
5
3
2
0
2
j
j
j h
h
j h
h
h
h
h
h

Para n = 3, temos as equaes 0 , 0
3 0 1
2
2
3
3
> = + + + a a x a x a x a
e 3 | | | | | |
0 1 2 3
= + + + h a a a a .

1 caso: 0 , 0 , 0 , 0
0 1 2 3
> > > > a a a a
Fazendo
3 3
1 b a + = ,
2 2
1 b a + = ,
1 1
1 b a + = e
0 0
1 b a + = , temos:
3 1 1 1 1
0 1 2 3 0 1 2 3
= + + + + + + + = + + + h b b b b a a a a , ou seja, 7
0 1 2 3
= + + + h b b b b .
Ento .

+
=

7
4
7
1 7 4
7
4
h
h
h
h
CR
h
Considerando , temos equaes.
0 1 2
, , a a a

7
4
2
3
h
h

130
2 caso: 0 , 0 , 0 , 0
0 1 2 3
= > > > a a a a
Fazendo
3 3
1 b a + = , ,
2 2
1 b a + =
1 1
1 b a + = e 0
0
= a , temos:
3 0 1 1 1
1 2 3 0 1 2 3
= + + + + + + = + + + h b b b a a a a , ou seja, 6
1 2 3
= + + h b b b .
Ento .

+
=

6
4
6
1 6 3
6
3
h
h
h
h
CR
h
Considerando
1 2
, a a , temos equaes.

6
4
2
2
h
h
Para cada um dos casos
0 , 0 , 0 , 0
0 1 2 3
> = > > a a a a e 0 , 0 , 0 , 0
0 1 2 3
> > = > a a a a
temos tambm equaes.

6
4
2
2
h
h
Portanto temos um total de equaes.

6
4
2
1
3
2
h
h

3 caso: 0 , 0 , 0
0 1 2 3
= = > > a a a a
Fazendo
3 3
1 b a + = , ,
2 2
1 b a + = 0
0 1
= = a a , temos:
3 0 0 1 1
2 3 0 1 2 3
= + + + + + = + + + h b b a a a a , ou seja, 5
2 3
= + h b b .
Ento .

+
=

5
4
5
1 5 2
5
2
h
h
h
h
CR
h
Considerando ,
2
a temos equaes.

5
4
2
h
h
Para cada um dos casos
0 , 0 , 0 , 0
0 1 2 3
= > = > a a a a e 0 , 0 , 0 , 0
0 1 2 3
> = = > a a a a
temos tambm equaes.

5
4
2
h
h
Portanto, temos um total de equaes.

5
4
2
2
3
1
h
h
131
4 caso: 0 , 0 , 0 , 0
0 1 2 3
= = = > a a a a
Fazendo 0 , 1
0 1 2 3 3
= = = + = a a a b a , temos:
3 0 0 0 1
3 0 1 2 3
= + + + + = + + + h b a a a a , ou seja, . 4
3
= h b
Ento equao, dada por 1
4
4
4
1 4 1
4
1
=

+
=

h
h
h
h
CR
h
. 0 ) 3 (
3
= x h
Portanto, o nmero de equaes do 3 grau com altura h (h fixo) igual a

=
=

3
0
3
0 1 2 3
7
4
2
3
4
4
2
3
3
5
4
2
2
3
6
4
2
1
3
7
4
2
0
3
j
j
j h
h
j
h
h
h
h
h
h
h
h
.

Para n = 4, temos as equaes 0 , 0
4 0 1
2
2
3
3
4
4
> = + + + + a a x a x a x a x a
e 4 | | | | | | | |
0 1 2 3 4
= + + + + h a a a a a .

1 caso: 0 , 0 , 0 , 0 , 0
0 1 2 3 4
> > > > > a a a a a
Fazendo
4 4
1 b a + =
3 3
1 b a + = ,
2 2
1 b a + = ,
1 1
1 b a + = e
0 0
1 b a + = , temos:
4 1 1 1 1 1
0 1 2 3 4 0 1 2 3 4
= + + + + + + + + + = + + + + h b b b b b a a a a a ,
ou seja,
9
0 1 2 3 4
= + + + + h b b b b b .
Ento .

+
=

9
5
9
1 9 5
9
5
h
h
h
h
CR
h
Considerando
0 1 2 3
, , , a a a a , temos equaes.

9
5
2
4
h
h

2 caso: 0 , 0 , 0 , 0 , 0
0 1 2 3 4
= > > > > a a a a a
Fazendo
4 4
1 b a + = ,
3 3
1 b a + = ,
2 2
1 b a + = ,
1 1
1 b a + = e 0
0
= a , temos:
4 0 1 1 1 1
1 2 3 4 0 1 2 3 4
= + + + + + + + + = + + + + h b b b b a a a a a ,
132
ou seja,
8
1 2 3 4
= + + + h b b b b .
Ento .

+
=

8
5
8
1 8 4
8
4
h
h
h
h
CR
h
Considerando
1 2 3
, , a a a , temos equaes.

8
5
2
h
h
Para cada um dos outros trs casos ,
,
0 , 0 , 0 , 0 , 0
0 1 2 3 4
> = > > > a a a a a
0 , 0 , 0 , 0 , 0
0 1 2 3 4
> > = > > a a a a a 0 , 0 , 0 , 0 , 0
0 1 2 3 4
> > > = > a a a a a , temos
tambm equaes.

8
5
2
3
h
h
Portanto, temos um total de equaes.

8
5
2
1
4
3
h
h

3 caso: 0 , 0 , 0 , 0 , 0
0 1 2 3 4
= = > > > a a a a a
Fazendo
4 4
1 b a + = , ,
3 3
1 b a + =
2 2
1 b a + = , 0
1
= a e 0
0
= a , temos:
4 0 0 1 1 1
2 3 4 0 1 2 3 4
= + + + + + + + = + + + + h b b b a a a a a ,
ou seja,
7
2 3 4
= + + h b b b .
Ento .

+
=

7
5
7
1 7 3
7
3
h
h
h
h
CR
h
Considerando , ,
2 3
a a temos equaes.

7
5
2
2
h
h
Considerando as outras possibilidades, teremos um total de
equaes.

7
5
2
2
4
2
h
h



133
4 caso: 0 , 0 , 0 , 0 , 0
0 1 2 3 4
= = = > > a a a a a
Fazendo
4 4
1 b a + = ,
3 3
1 b a + = , 0
2
= a , 0
1
= a e 0
0
= a , temos:
4 0 0 0 1 1
3 4 0 1 2 3 4
= + + + + + + = + + + + h b b a a a a a ,
ou seja,
6
3 4
= + h b b .
Ento .

+
=

6
5
6
1 6 2
6
2
h
h
h
h
CR
h
Considerando , temos equaes.
3
a

6
5
. 2
h
h
Considerando as outras possibilidades, teremos um total de
equaes.

6
5
2
3
4
h
h

5 caso: 0 , 0 , 0 , 0 , 0
0 1 2 3 4
= = = = > a a a a a
Fazendo
4 4
1 b a + = , , 0
3
= a 0
2
= a , 0
1
= a e 0
0
= a , temos:
4 0 0 0 0 1
4 0 1 2 3 4
= + + + + + = + + + + h b a a a a a ,
ou seja,
5
4
= h b .
Ento equao, que dada por 1
5
5
5
1 5 1
5
1
=

+
=

h
h
h
h
CR
h
. 0 ) 4 (
4
= x h
Portanto, o nmero de equaes do 4 grau com altura h (h fixo) igual a

=
=

4
0
4
0 1 2 3 4
9
5
2
4
5
5
2
4
4
6
5
2
3
4
7
5
2
2
4
8
5
2
1
4
9
5
2
0
4
j
j
j h
h
j
h
h
h
h
h
h
h
h
h
h



134
Para n = 5, temos as equaes
e 0 , 0
5 0 1
2
2
3
3
4
4
5
5
> = + + + + + a a x a x a x a x a x a
5 | | | | | | | | | |
0 1 2 3 4 5
= + + + + + h a a a a a a .
Analogamente, o nmero de equaes do 5 grau com altura h (h fixo) igual a

+
+

5
0
5 0
1 2 3 4 5
11
6
2
5
6
6
2
5
5
7
6
2
4
5
8
6
2
3
5
9
6
2
2
5
10
6
2
1
5
11
6
2
0
5
j
j
j h
h
j h
h
h
h
h
h
h
h
h
h
h
h

Como , este procedimento termina para 1 1 h n 1 = h n . Neste caso, temos a
equao e 0 , 0 ...
1 0 1
2
2
2
2
1
1
> = + + + + +

h
h
h
h
h
a a x a x a x a x a
1 ) 1 ( | | | | | | ... | |
0 1 2 2 1
= = + + + + +

h h a a a a a
h h
. Como , temos apenas o caso
em que e
0
1
>
h
a
1
1
=
h
a 0 ...
0 1 2 2
= = = = =

a a a a
h
, ou seja, temos uma nica equao com
altura h e , que dada por . 1 = h n 0 1
1
=
h
x
Somando o nmero de equaes para cada valor de n, 1 1 h n , temos:


+ +

=
=

+ +


+ +

+
+

=
1
1 0
1
1
0
4
4
0
3
3
0
2
2
0
1
1
0
) 1 2 (
1
2
] 1 ) 1 ( 2 [
1 ) 1 (
2
1
...
9
5
2
4
7
4
2
3
5
3
2
2
3
2
2
1
h
n
j n
n
j
j h
h
j
j
j
j
j
j
j
j
j
j n h
n h
j
n
j h h
h h
j
h
j h
h
j
j h
h
j j h
h
j j h
h
j
N

Essa frmula, desde que sejam satisfeitas as condies de existncia no clculo das
combinaes, d o nmero de equaes com altura h (h fixo).
Portanto, o nmero de equaes com altura h finito.
Vejamos 4 exemplos que ilustram o uso dessa frmula.




135
1. Para h =2.

=
=

+ +

=

=

=
0
0
2 .
1
1
1
0
2
0
1
1
0
2
1
) 1 2 ( 2
1
2
0 1
1
0
1
1
1 0 j
j
n
j n
n
j
j j j n
n
j
n
N

Desconsiderando o termo , que no satisfaz s condies de
existncia, temos N =1.

1
0
2
0
1
1
Nesse caso, temos uma nica equao com altura h =2, que dada por x =0.

2. Para h =3.

=
=

+ +

=

=

=
0
0
2 .
2
2
1
0
2 .
1
2
2
0
2
0
2
1
1
2 .
1
1
0
1
2
0
1
2
0
2
2 1
2
1
) 1 2 ( 3
2
2
0 1 2 0 1
2
0
2
1
0
1
2
1 0 j
j
j
j
n
j n
n
j
j j j j j n
n
j
n
N

Desconsiderando os termos e que no satisfazem as
condies de existncia, temos N =3+1 =4.

2
0
2
0
2
2

1
0
2 .
1
2
1
Nesse caso temos:
3 equaes de grau 1: 2x =0, x +1 =0 e x 1 =0.
1 equao de grau 2: x
2
=0









136
3. Para h =4.

+
+

=
=

=
=

+ +

=


=

=
0
0
2 .
3
3
1
0
2 .
2
3
2
0
2
1
3
3
0
2 .
0
3
1
1
2 .
2
2
0
1
2 .
1
2
1
1
2
0
2
2
2
2 .
1
1
1
2
2
0
1
3
0
2
3
1
1
2
2
1
2
2
1
) 1 2 ( 4
3
2
0 1 2 3
0 1 2 0 1
3
0
3
2
0
2
1
0
1
3
1 0
j
j
j
j
j
j
n
j n
n
j
j j j j j j
j n
n
j
n
N


Desconsiderando os termos que no satisfazem as condies de existncia, temos
N =4 +1 +4 +1 +1 =11.
Nesse caso temos:
5 equaes de grau 1: 3x =0, 2x +1 =0, 2x 1 =0, x +2 =0 e x 2 =0.
5 equaes de grau 2: 2x
2
=0, x
2
+1 =0, x
2
1 =0, x
2
+x =0, x
2
x =0.
1 equao de grau 3: x
3
=0.

4. Para h =5.

+
+

+
+

=
=

=
=

+ +

=


=

=
0
0
2
4
4
1
0
2
3
4
2
0
2
2
4
3
0
2
1
4
4
0
2
0
4
1
1
2
3
3
0
1
2
2
3
1
1
2
1
3
2
1
2
0
3
2
2
2
2
2
1
2
2
1
2
0
2
2
0
2
3
3
2
1
1
2
3
2
0
1
4
0
2
4
2
1
2
3 2
2
2
2
3
2
1
) 1 2 ( 5
4
2
0 1
2 3 4 0 1 2
3 0 1 2 0 1
4
0
4
3
0
3
2
0
2
1
0
1
4
1 0
j
j
j
j
j
j
j
j
n
j n
n
j
j j j j j j j j
j n
n
j
n
N

137
Desconsiderando os termos que no satisfazem as condies de existncia, temos
N =6 +1 +4 +8 +1 +6 +1 +1 =28.
Nesse caso temos:
7 equaes de grau 1: x +3 =0, x 3 =0, 2x +2 =0, 2x 2 =0, 3x +1 =0,
3x 1 =0, 4x =0.
13 equaes de grau 2: x
2
+x +1 =0, x
2
+x 1 =0, x
2
x +1 =0,
x
2
x 1 =0, x
2
+2x =0, x
2
- 2x =0, x
2
+2 =0, x
2
2 =0, 2x
2
+x =0,
2x
2
x =0, 2x
2
+1 =0, 2x
2
+1 =0 e 3x
2
=0.
7 equaes de grau 3: x
3
+x
2
=0, x
3
x
2
=0, x
3
+x =0, x
3
x =0, x
3
+1 =0,
x
3
1 =0, 2x
3
=0.
1 equao de grau 4: 1x
4
=0.


138



139
Anexo II

A Frmula de Euler

Euler adotou como base de suas exponenciais e seus logaritmos o nmero
n
n
n
e

+ = =

1
1 lim ... 718281 , 2 .
O nmero e, assim como o nmero , alm de serem irracionais, so
transcendentes.
A teoria da exponencial e do logaritmo tem como ponto de partida, segundo Euler,
a definio da potncia , onde o expoente
z
e iy x z + = um nmero complexo.
Do Clculo, temos que para todo nmero real x,
...
!
...
! 3 ! 2
1
3 2
+ + + + + + =
n
x x x
x e
n
x

Da mesma forma, a definio da exponencial , onde
z
e iy x z + = um nmero
complexo, dada por:
...
!
...
! 3 ! 2
1
3 2
+ + + + + + =
n
z z z
z e
n
z

Desenvolvendo senx e cosx em srie, temos:
...
)! 1 2 (
. ) 1 ( ...
! 9 ! 7 ! 5 ! 3
1 2 9 7 5 3
+
+
+ + + =
+
n
x x x x x
x senx
n
n

...
)! 2 (
. ) 1 ( ...
! 8 ! 6 ! 4 ! 2
1 cos
2 8 6 4 2
+ + + + =
n
x x x x x
x
n
n

Para , temos: iy z =
...
! 9
) (
! 8
) (
! 7
) (
! 6
) (
! 5
) (
! 4
) (
! 3
) (
! 2
) (
1
9 8 7 6 5 4 3 2
+ + + + + + + + + + =
iy iy iy iy iy iy iy iy
iy e
iy

Calculando as potncia de i, que pertencem ao conjunto { i, -1, -i , 1}, temos
...
! 9 ! 8 ! 7 ! 6 ! 5 ! 4 ! 3 ! 2
1
9 8 7 6 5 4 3 2
+ + + + + + =
y
i
y y
i
y y
i
y y
i
y
iy e
iy

140
Agrupando as partes reais e imaginrias temos:

+ + +

+ + = ...
! 9 ! 7 ! 5 ! 3
. ...
! 8 ! 6 ! 4 ! 2
1
9 7 5 3 8 6 4 2
y y y y
y i
y y y y
e
iy

ou seja, , que a Frmula de Euler. seny i y e
iy
. cos + =
Para = y , temos a seguinte igualdade:
1
0 . 1
cos
=
+ =
+ =


i
i
i
e
i e
isen e
(LIMA, 1983, p. 22)


Clculo da soma

n
i
i
n
1

Desenvolvendo (a + b)
n
pelo binmio de Newton temos:
n n n n n
b
n
n
b a
n
b a
n
a
n
b a . ... . .
2
. .
1
.
0
) (
2 2 1 1

+ +

= +


Fazendo a=1 e b=1 na igualdade acima, segue-se:
n n n n n
n
n n n n
1 . ... 1 . 1 .
2
1 . 1 .
1
1 .
0
) 1 1 (
2 2 1 1

+ +

= +

=
n
n n n n n
n
...
3 2 1 0
) 2 (

n
n n n n n
n
...
3 2 1 0
2 ,
o que nos d: 1 2 ...
3 2 1
=

n
n
n n n n

141
Anexo III

[C] Seja a funo , em que um
polinmio de grau r e representa a derivada de ordem r de . Ento:
) ( ) ( ... ) ( ) ( ) (
) ( ) 1 (
x P x P x P x P x F
r r
+ + + + =

) (x P
) (
) (
x P
r
) (x P
) ( . )) ( . ( x P e x F e
dx
d
x x
=

Demonstrao:
)) ( ) ( ... ) ( ) ( .( ) ( .
) ( ) 1 (
x P x P x P x P e x F e
r r x x
+ + + + =



Ento:
)) ( ) ( ... ) ( ) ( .(
)) ( ) ( ... ) ( ) ( .( )) ( . (
) 1 ( ) (
) ( ) 1 (
x P x P x P x P e
x P x P x P x P e x F e
dx
d
r r x
r r x x
+

+ + + + +
+ + + + + =


Pela propriedade distributiva da multiplicao em relao adio, temos:
)) ( ) ( ) ( ... ) ( ) ( .
) ( ) ( ... ) ( ) ( ) ( . )) ( . (
) 1 ( ) ( ) 1 (
) ( ) 1 (
x P e x P e x P e x P e x P e
x P e x P e x P e x P e x P e x F e
dx
d
r x r x r x x x
r x r x x x x x
+

+ + + + + +
+ =

Como o grau de igual a r, temos . ) (x P 0 ) (
) 1 (
=
+
x P
r
Ento ) ( . )) ( . ( x P e x F e
dx
d
x x
= .

[D] Seja um polinmio com coeficientes inteiros e seja

=
=
r
j
j
j
x a x Q
0
. ) ( r p < um
inteiro positivo. Ento:
r i x a
i j
j
x Q a
i j
j
r
i j
i

=

=

, . .
)! (
!
) ( )
) (
, onde representa a derivada de ordem
i de .
) (
) (
x Q
i
) (x Q
i p x Q
p
b
i

), ( .
)! 1 (
1
)
) (
, um polinmio com coeficientes inteiros divisveis por
p.
142
Demonstrao:
r
r
r
j
j
j
x a x a x a x a x a a x a x Q a + + + + + + = =

=
... . ) ( )
4
4
3
3
2
2
1
1 0
0

Calculando as sucessivas derivadas de , vamos perceber a regularidade que
ocorre e concluir a demonstrao.
) (
) (
x Q
i
) 1 ( 3
4
2
3 2 1
) 1 (
) 1 ( 3
4
2
3 2 1
) 1 (
. .
)! 1 (
!
... . .
! 3
! 4
. .
! 2
! 3
. .
! 1
! 2
.
! 0
! 1
) (
. . ... . . 4 . . 3 . . 2 . 1 ) (

+ + + + + =
+ + + + + =
r
r
r
r
x a
r
r
x a x a x a a x Q
x a r x a x a x a a x Q

) 2 ( 2
4
1
3 2
) 2 (
) 2 ( 2
4
1
3 2
) 2 (
. .
)! 2 (
!
... . .
! 2
! 4
. .
! 1
! 3
.
! 0
! 2
) (
. ). 1 .( ... . . 3 . 4 . . 2 . 3 . 1 . 2 ) (

+ + + + =
+ + + + =
r
r
r
r
x a
r
r
x a x a a x Q
x a r r x a x a a x Q

) 3 ( 1
4 3
) 3 (
) 3 ( 1
4 3
) 3 (
. .
)! 3 (
!
... . .
! 1
! 4
.
! 0
! 3
) (
. ). 2 )( 1 .( ... . . 2 . 3 . 4 . 1 . 2 . 3 ) (

+ + + =
+ + + =
r
r
r
r
x a
r
r
x a a x Q
x a r r r x a a x Q

---------------------------------------------------------------------------

Ento:
) ( 3
3
2
2
1
1
) (
. .
)! (
!
... . .
! 3
)! 3 (
. .
! 2
)! 2 (
. .
! 1
)! 1 (
.
! 0
!
) (
i r
r i i i i
i
x a
i r
r
x a
i
x a
i
x a
i
a
i
x Q

+ + +

+ +
+
+
+
+
+
+ =
Utilizando o somatrio, temos:
r i x a
i j
j
x Q
i j
j
r
i j
i

=

=

, . .
)! (
!
) (
) (
.
Observao: para r i > , temos . 0 ) (
) (
= x Q
i

b) Usando o resultado anterior, podemos escrever

r
i j
i j
j
i
x a
i j
j
p
x Q
p
. .
)! (
!
.
)! 1 (
1
) ( .
)! 1 (
1

) (
.
Os coeficientes de ) ( .
)! 1 (
1

) (
x Q
p
i

so da forma Z a a
i j
j
p
j j


, .
)! (
!
.
)! 1 (
1
, com
r i p , p fixo.
143
Para , temos: N k k i j + = ,
k i k i j
a
p k
k i
a
i k i
k i
p
a
i j
j
p
+ +

+
=
+
+

=

.
)! 1 !.(
)! (
.
)! (
)! (
.
)! 1 (
1
.
)! (
!
.
)! 1 (
1

Como i p , temos . Ento: p k i +
k i k i k i
a
k
p k i k i
a
p k
p p k i k i
a
p k
k i
+ + +
+ +
=

+ +
=

+
.
!
). ... . 1 ).( (
.
)! 1 !.(
)! 1 .( ). ... . 1 ).( (
.
)! 1 !.(
)! (

Esse numerador possui 1 ) 1 ( + + = + p k i p k i fatores. Como i p , podemos
concluir que ele ter pelo menos 1 + k fatores.
Ento:
k i k i
k i k i
a p i i
k
k i
a p i i
i
i
k
i k i k i
a
k
p i i i k i k i
a
p k
k i
+ +
+ +

+
=
+ + +
=
=
+ + +
=

+
. ). ... . 1 .( . . ). ... . 1 .( .
!
!
.
!
) 1 ). ... .( 1 ).( (
.
!
). ... . 1 .( ). 1 ). ... .( 1 ).( (
.
)! 1 !.(
)! (


Mas

um nmero binomial, portanto, natural.

+
k
k i
Ento Z a p i i
k
k i
k i

+
+
. ). ... . 1 .( . .
Portanto, . . ). ... . 1 .( . .
)! 1 !.(
)! (
.
)! (
!
.
)! 1 (
1
Z a p i i
k
k i
a
p k
k i
a
i j
j
p
k i k i j

+
=

+
=

+ +

Como p aparece na decomposio desse nmero em fatores, conclumos que
, .
)! (
!
.
)! 1 (
1

j
a
i j
j
p
divisvel por p.

144


145
Anexo IV

Desigualdade do valor mdio para funes de uma varivel complexa

Uma funo de uma varivel complexa tem derivada no ponto z, se
existir o limite
C C f :
0
0
0
) ( ) (
lim ) (
0 z
z f z z f
z f
z
+
=

, onde C z
0
.
chamada a derivada de f em z. ) (z f
Diz-se que a funo analtica em C, se f derivvel em todos
os pontos de C, ou seja, existe qualquer que seja
C C f :
) (z f C z .
Seja z = x + i.y, com x, y R. Podemos escrever f(x + i.y) = u(x,y) + i.v(x,y) onde
u(x,y) a parte real de f(z) e v(x,y) a parte imaginria de f(z).
Por exemplo, se f(z) = z
2
, ento f(x+iy) = (x+iy)
2
= x
2
y
2
+ 2.i.xy. Neste caso,
temos u(x,y) = x
2
y
2
e v(x,y)= 2.xy.
Considerando z
0
= h + ik, podemos tambm escrever
ik h
y x v i y x u k y h x v i k y h x u
ik h
iy x f k y i h x f
z f
k
h
k
h
+
+ + + + +
=
=
+
+ + + +
=

) , ( . ) , ( ) , ( . ) , (
lim
) ( )) .( ) ((
lim ) (
0
0
0
0

independente da maneira como ou e . 0
0
z 0 h 0 k
Supondo que f(z) = u(x,y) + i.v(x,y), z = x + i.y, seja analtica em C, vamos calcular
0
0
0
) ( ) (
lim ) (
0 z
z f z z f
z f
z
+
=

usando valores reais para z
0
= h + i.k, ou seja, vamos
considerar z
0
=h0 ek = 0.
Neste caso, z + z
0
= x + i.y + h = (x+h) + i.y e
f(z + z
0
) = f((x+h) + i.y) = u(x+h, y) + i.v(x+h, y).



146
Portanto,
) , ( . ) , (
) , ( ) , (
lim .
) , ( ) , (
lim
) , ( . ) , ( ) , ( . ) , (
lim
) ( ) (
lim ) (
0 0
0
0
0
0
0
y x
x
v
i y x
x
u
h
y x v y h x v
i
h
y x u y h x u
h
y x v i y x u y h x v i y h x u
z
z f z z f
z f
h h
h z

=
+
+
+
=
=
+ + +
=
+
=



Ou seja ) , ( . ) , ( ) ( y x
x
v
i y x
x
u
z f

= (I)
Agora vamos calcular usando valores imaginrios puros para z
0
= h + i.k, ou
seja, z
0
= i.k (h = 0 e k 0 ).
) (z f
Ento z + z
0
= x + i.y +i.k = x+ i.(y+k)
f(z + z
0
) =f(x+ i.(y+k))=u(x, y+k) + i.v(x, y+k)
Portanto,
) , ( ) , ( .
) , ( ) , ( .
1 ) , ( ) , (
lim .
) , ( ) , (
lim
1
.
) , ( ) , (
lim .
.
) , ( ) , (
lim
.
) , ( . ) , ( ) , ( . ) , (
lim
) ( ) (
lim ) (
0 0
0 0
0
0
0
0
0
y x
y
v
y x
y
u
i
y x
y
v
y x
y
u
i k
y x v k y x v
i
i
k
y x u k y x u
i
k i
y x v k y x v
i
k i
y x u k y x u
k i
y x v i y x u k y x v i k y x u
z
z f z z f
z f
k k
k k
k z

=
=

=
+
+
+
=
=
+
+
+
=
=
+ + +
=
+
=




Ou seja, ) , ( ) , ( . ) ( y x
y
v
y x
y
u
i z f

= (II)
Identificando (I) e (II), obtemos: ) , ( ) , ( . ) , ( . ) , ( y x
y
v
y x
y
u
i y x
x
v
i y x
x
u

, ou
seja,
) , ( ) , ( y x
y
v
y x
x
u

e ) , ( ) , ( y x
x
v
y x
y
u


Estas duas equaes so chamadas de Equaes de Cauchy-Riemman.
Se f for analtica em C, ento as equaes de Cauchy-Riemman valem em qualquer
ponto de C.


147
Desigualdade do valor mdio para funes de uma varivel complexa

Teorema: Seja uma funo analtica e sejam . Ento: C C f : C z z
2 1
,
} 1 0 |: )) .( ( sup{| . | | . 2 | ) ( ) ( |
1 2 1 1 2 1 2
+ z z z f z z z f z f , onde | representa o
mdulo do complexo z = x + i.y, isto ;
| z
2 2
| | y x z + = (FIGUEIREDO, 1985, p. 61).
Esta demonstrao tem como referncias (FIGUEIREDO, 1985, p. 59-65) e
(AUGUSTINI, OLIVEIRA e SILVA, 2005, p. 72-75).

Demonstrao:
Seja uma funo analtica dada por f(z) = u(x,y) + i.v(x,y). C C f :
Primeiramente vamos mostrar que o teorema vlido para e , ou
seja, que
0 2
z z = 0
1
= z
} 1 0 |: )) .( ( sup{| . | | . 2 | ) 0 ( ) ( |
0 0 0
z f z f z f .
De
0 0 0 2
.y i x z z + = = e 0 . 0 0
1
i z + = = , temos:
) 0 , 0 ( . ) 0 , 0 ( ) 0 (
) , ( . ) , ( ) (
0 0 0 0 0
v i u f
y x v i y x u z f
+ =
+ =

Ento
)) 0 , 0 ( ) , ( .( ) 0 , 0 ( ) , ( ) 0 ( ) (
0 0 0 0 0
v y x v i u y x u f z f + =
Dado , vamos definir agora duas funes reais:
0 0 0
.y i x z + =
) , ( ) (
:
0 0
y x u
R R

e
) , ( ) (
:
0 0
y x v
R R


Aplicando o Teorema do Valor Mdio
17
s funes reais e no intervalo [0,1],
obtemos:
1 0 ), 0 1 ).( ( ) 0 ( ) 1 (
1 0 ), 0 1 ).( ( ) 0 ( ) 1 (
2 2
1 1
< < =
< < =




_____________
17
Seja uma funo contnua no intervalo fechado e derivvel no intervalo aberto
. Ento existe tal que
R b a f ] , [ : ] , [ b a
) , ( b a ) , ( b a c ) )( ( ' ) ( ) ( a b c f a f b f = .
148

Ento
1 0 ), ( ) 0 ( ) 1 (
1 0 ), ( ) 0 ( ) 1 (
2 2
1 1
< < =
< < =



Vamos agora calcular as derivadas ) (
1
e ) (
2
. Para isso utilizamos o Teorema
de Derivao de Funes Compostas
18
.
Calculando ) ( ' temos:
0 0 0 0 0 0
). , ( ). , ( ) ( ' y y x
y
u
x y x
x
u

= .
Ento,
0 0 1 0 1 0 0 1 0 1 1
). , ( ). , ( ) ( ' y y x
y
u
x y x
x
u

=
Calculando ) ( ' temos:
0 0 0 0 0 0
). , ( ). , ( ) ( ' y y x
y
v
x y x
x
v

= .
Ento,
0 0 2 0 2 0 0 2 0 2 2
). , ( ). , ( ) ( ' y y x
y
v
x y x
x
v

=

De ) , ( ) (
0 0
y x u = e ) , ( ) (
0 0
y x v = , temos:
para 1 = , ) , ( ) 1 (
0 0
y x u = e ) , ( ) 1 (
0 0
y x v =
para 0 = , ) 0 , 0 ( ) 0 ( u = e ) 0 , 0 ( ) 0 ( v =

Ento,
0 0 2 0 2 0 0 2 0 2 2 0 0
0 0 1 0 1 0 0 1 0 1 1 0 0
). , ( ). , ( ) ( ) 0 ( ) 1 ( ) 0 , 0 ( ) , (
). , ( ). , ( ) ( ) 0 ( ) 1 ( ) 0 , 0 ( ) , (
y y x
y
v
x y x
x
v
v y x v
y y x
y
u
x y x
x
u
u y x u

= = =

= = =

Substituindo estas duas igualdades em
)) 0 , 0 ( ) , ( .( ) 0 , 0 ( ) , ( ) 0 ( ) (
0 0 0 0 0
v y x v i u y x u f z f + = ,
_____________
18
Sejam e ) , ( y x h u = ) ( p x = e ) ( q y = em que e so diferenciveis por hiptese. Ento p h, q
d
dy
y
u
d
dx
x
u
d
du
. .

=
149
temos:

+
+

=
0 0 2 0 2 0 0 2 0 2
0 0 1 0 1 0 0 1 0 1 0
). , ( ). , ( .
). , ( ). , ( ) 0 ( ) (
y y x
y
v
x y x
x
v
i
y y x
y
u
x y x
x
u
f z f



Aplicando nesta ltima igualdade a desigualdade | | | | | | y x z + que diz que o
mdulo de um nmero complexo z = x + i.y menor ou igual que a soma dos valores
absolutos de sua parte real e imaginria, temos:
0 0 2 0 2 0 0 2 0 2
0 0 1 0 1 0 0 1 0 1 0
). , ( ). , (
). , ( ). , ( | ) 0 ( ) ( |
y y x
y
v
x y x
x
v
y y x
y
u
x y x
x
u
f z f

+
+




Aplicando agora a desigualdade de Cauchy-Schwars
19
, temos:
2
0
2
0
2
0 2 0 2
2
0 2 0 2
2
0
2
0
2
0 1 0 1
2
0 1 0 1 0
. ) , ( ) , (
. ) , ( ) , ( | ) 0 ( ) ( |
y x y x
y
v
y x
x
v
y x y x
y
u
y x
x
u
f z f
+

+
+ +






De ) , ( . ) , ( ) ( y x
x
v
i y x
x
u
z f

= e das equaes de Cauchy-Riemman


) , ( ) , ( y x
y
v
y x
x
u

e ) , ( ) , ( y x
x
v
y x
y
u

,
temos:
1) ) , ( . ) , ( ) ( y x
y
u
i y x
x
u
z f

=
2) ) , ( . ) , ( ) ( y x
x
v
i y x
y
v
z f

=

_____________
19
Dados , tem-se que R b b a a , , ,
2 1 2 1
2
2
2
1
2
2
2
1 2 2 1 1
. | | b b a a b a b a + + +
150

Calculando ) (
0 1
z f na primeira equao e ) (
0 2
z f na segunda equao,
obtemos:
) , ( . ) , ( ) (
0 1 0 1 0 1 0 1 0 1
y x
y
u
i y x
x
u
z f

=
) , ( . ) , ( ) (
0 2 0 2 0 2 0 2 0 2
y x
x
v
i y x
y
v
z f

=
Vamos agora calcular o mdulo dessas expresses:
2
0 1 0 1
2
0 1 0 1 0 1
) , ( ) , ( | ) ( |

= y x
y
u
y x
x
u
z f
2
0 2 0 2
2
0 2 0 2 0 2
) , ( ) , ( | ) ( |

= y x
x
v
y x
y
v
z f

Como
2
0
2
0 0
| | y x z + = , voltando em
2
0
2
0
2
0 2 0 2
2
0 2 0 2
2
0
2
0
2
0 1 0 1
2
0 1 0 1 0
. ) , ( ) , (
. ) , ( ) , ( | ) 0 ( ) ( |
y x y x
y
v
y x
x
v
y x y x
y
u
y x
x
u
f z f
+

+
+ +





temos:
|) ) ( | | ) ( .(| | | | | . | ) ( | | | . | ) ( | | ) 0 ( ) ( |
0 2 0 1 0 0 0 2 0 0 1 0
z f z f z z z f z z f f z f + = +

Como 1 0
1
< < e 1 0
2
< < , ento:
} 1 0 | : ) ( sup{| | ) ( |
0 0 1
z f z f e } 1 0 | : ) ( sup{| | ) ( |
0 0 2
z f z f .

Portanto, } 1 0 |: )) .( ( sup{| 2 . | | | ) 0 ( ) ( |
0 0 0
z f z f z f , ou seja
} 1 0 |: )) .( ( sup{| . | | . 2 | ) 0 ( ) ( |
0 0 0
z f z f z f .
Considerando a funo ) ( ) (
1
z z f z g + = e ao ponto
1 2 0
z z z = , segue-se que:
151
} 1 0 |: )) .( ( sup{| . | | . 2 | ) 0 ( ) ( |
0 0 0
z g z g z g .
Como
)) ( ( )) ( ( ) (
) ( ) ( ) ( ) (
) ( ) 0 ( ) 0 (
1 2 1 1 2 0
2 1 1 2 1 2 0
1 1
z z z f z z g z g
z f z z z f z z g z g
z f z f g
+ = =
= + = =
= + =


Conclumos que
} 1 0 |: )) .( ( sup{| . | | . 2 | ) ( ) ( |
1 2 1 1 2 1 2
+ z z z f z z z f z f ,
o que conclui a demonstrao.