ttulo de "Professor of Geometry" .

Um outro equvoco no menos freqente pensar que os fatos geomtricos dos Elementos de Euclides sejam expressos numericamente como o so para ns hoje. Para exemplifica r, enquanto para ns a rea de um tringulo dada por uma frmula exprimindo metade do produto da base pela altura, para Euclides a rea de um tringulo metade da rea' do p a ralelogramo que se obtm com a juno de dois tringulos iguais ao tringulo dado; a rea do paralelogramo igual rea de um retngulo de mesma base e mesma altura, e assim po r diante. Para ns, hoje, a rea de um crculo 7f1.2, mas para Arquimedes (287-212 a.C.) , que viveu algumas dcadas depois de Euclides, a rea do crculo igual rea de um tringulo de base igual ao comprimento da circunferncia e altura igual ao raio do crculo. Pa ra ns o volume da esfera 47rr3/3, enquanto o que Arquimedes nos diz que o volume da esfe ra est para o volume do cilindro circular reto a ela circunscrito assim como 2 est para 3; e isto .informao suficiente. Na Matemtica 'grega, antes e durante o perodo helenstico, no hav ia frmulas como to comum hoje em dia; tudo era dado em termos de propores, como no caso do volume da esfera que acabamos de mencionar. E isso perdurou no Ocidente por mais um milnio aps o declneo da civilizao helenstica. o contedo dos Elementos Os Elementos, para ns hoje, so uma obra antes de tudo de valor histrico. Sua melhor verso Captulo 1: Os nmeros reais 41 a traduo inglesa de Thornas L. Hoath (publicnd.i pela Editora Dover cm trs volumes) . Isto porque Heath enriqueceu sobremaneira a obra de Euclides com uma excelente i ntroduo, alm de inmeros, valiosos e esclarecedores comentrios. O volume I rene os Livros I e II dos Elementos, o primeiro destes contendo uma bo a parte da geometria plana, construes geomtricas, teoremas de congruncia, reas de polgonos e o teorema de Pitgoras (que a Proposio 47). Ainda no volume I de Heath encontra-se o L ivro II dos Elementos, sobre o que se costuma chamar de "lgebra geomtrica". Por exemplo , a Proposio 4 desse Livro II O equivalente, em linguagem geomtrica, da propriedade que hoje conhecemos como "quadrado da soma" (igual ao quadrado do primeiro, mais o quadra do do segundo, mais duas vezes o primeiro vezes o segundo). Euclides enuncia isto geom etricamente assim: "se um segmento de reta dividido em dois, o quadrado construdo sobre o seg mento inteiro igual aos quadrados sobre os segmentos parciais e duas vezes o retngulo c onstrudo com estes segmentos". Euclides no fala. ma." de cst.~\.se referindo a reas, quando diz ~;:.. igual..." O volume II de Heath contm os Livros III a IX dos Elementos, tratando do crculo (L ivro llI), construo de certos pollgonos regulares (Livro IV), teoria das propores de Eudo xo (Livro V), Semelhana de figuras (Livro VI) e teoria dos nrneros (Livros VII-IX). Por exemplo,

a Proposio 20 do Livro IX o famoso teorerna: "existem infinitos nmeros primos". Mas Euclides no fala "infinitos" , j que os gregos no admitiam o que Aristteles chama de "infinit o atual", apenas o chamado "infinito potencial". Em liuguagern de hoje ele diz o s eguinte: "Dado qualquer conjunto (finito, entenda-se bem!) de nmeros primos, existe algum nmero p rimo fora desse conjunto", E a demonstrao, novamente, geomtrica. Segundo o matemtico ingls Godfrey Harold Hardy (1877-1947). trata-se de uma das mais belas demonstraes da Matemtica. Finalmente, o volume III de Heath contm os Livros X-XIII, onde so tratados a incom ensurabilidade, geometria espacial e os poliedros regulares. O leitor pode 'ler mais sobre os Elementos no excelente trabalho do Prof. Joo Bos co Pitombeira sobre essa obra, publicado como volume 5 dos Cadernos da RPM; ou no l ivro de Asgar Aaboe, intitulado "Episdios da Histria Antiga da Matemtica", traduzido e publ icado pela SBM. A Geometria dedutiva Foi no sculo VI a.C. que Tales de Mileto inaugurou na Matemtica a preocupao demonstr ativa. A partir de ento a Matemtica grega vai assumindo o aspecto de um corpo de proposies logicamentc ordenadas: cada proposio demonstrada n partir de proposies anteriores, estas a partir de outras precedentes, e assim por diante, UI11 prOCC !:iSO que no teria fim. Mas os gregos logo perceberam isso e viram que era necessrio parar o p rocesso em certas proposies iniciais, consideradas evidentes por si meSOHLS; a partir dest as todas aH outras so dernoustrudas. As proposies evidentes por si mosmns, silo hoje designa das, indiferentemente, "postulados" ou "axiomas". O aspecto mais importante dos Eleme ntos essa organizao dos fatos, num admirvel encadeamento lgico-dedutivo em que um reduzid o nmero de proposies e definies iniciais so o bastante para se demonstrar, uns aps outro , todos os teoremas considerados. Historicamente, os Elementos so a primeira corpor ificao desse "mtodo axiorntico", de que voltaremos a falar mais adiante. As geometrias no-euclidianas Embora muito admirado e aplaudido, o modlo axiorntico dos Elementos, no que se ref ere ao 52.postulado, ou postulado das paralelas, suscitou questionamentos .. J na antigid ade vrios matemticos acreditavam que ele pudesse ser demonstrado com base nos outros postul ados, e 42 Captulo 1: Os nmeros reais tentaram fazer tal demonstrao. Essas tentativas de demonstrao foram retomadas nos te mpos modernos pelo matemtico italiano Girolamo Saccheri (1667-1733), que publicou, pou co antes de morrer, um opsculo no qual pretendia ter demonstrado o postulado pelo mto do de reduo ao absurdo. Assim, negando o postulado, ele demonstrou uma srie de teorema s,

concluindo ter chegado a uma contradio. Mas, no fundo, no fundo, no havia contradio nas concluses de Saccheri, embora isso s fosse notado muito mais tarde, quando Eugn io Beltrami (1835-1900) descobriu o trabalho de Saccheri. Por volta de 1830 j havia srias suspeitas de que o postulado das paralelas no pudes se ser demonstrado a partir dos outros. Em outras palavras, suspeitava-se que se pudess e desenvolver uma geometria a partir de negaes do postulado das paralelas, ao lado dos outros po stulados de Euclides. Foi nessa poca que o matemtico hngaro Jnos Bolyai (1802-1860) e o russo Nicokolai Ivanovich Lobachevsky (1792-1856) publicaram, independentemente um do outro, a descoberta de geometrias no-euclidianas, "ou seja, geometrias que negam o postu lado das paralelas." Mas as publicaes de Bolyai e Lobachevski no foram suficientes para convencer o mund o matemtico da possibilidade das geometrias no-euclidianas. Na verdade, esses trabal hos eram parecidos com o de Saccheri: negavam o postulado das paralelas e desenvolviam um a srie de teoremas sem chegar a contradio alguma. Mas, e da? quem garante que a contradio no est para. aparecer logo no prximo teorerna que ainda no foi demonstrado? Quem garant e que todos os teoremas j foram enunciados e demonstrados? Alis, foi somente aps essas questes serem levantadas em conexo com as tentativas de demonstrar o postulado das paralelas, ou construir geometrias no-euclidianas, que os matemticos comearam a perceber que a prpria Geometria de Euclides tambm estava sujei ta aos mesmos questionamentos. Quem poderia garantir que os cinco postulados de Euc lides no poderiam levar a uma contradio? Afinal, Euclides demonstrara apenas um nmero fini to de teoremas. Quem sabe a contradio poderia aparecer _no prximo teorerna, como algum que, depois de tanto percorrer as areias de um deserto procura de um oasis, quan do no mais acredita que ele exista, pode - agora por felicidade e no desdita - encontr-Io do outro lado da prxima duna!. .. Foi Beltrarni quem primeiro exibiu um modelo de geometria no-euclidiana que permi tia interpretar os fatos dessa geometria em termos da prpria geometria euclidiana. Ou tros modelos foram construdos por Felix Klein (1849- 1925) e Henri Poincar, estes tambm, como O de Beltrami, apoiando-se na geometria euclidiana, Foi a partir de ento - aps esses vrios matemticos haverem exibido modelos euclidiano s das geometrias no-euclidianas -, que estas geometrias ganharam total credibilidad e." Provava-se que elas eram consistentes, isto , livres de contradies internas. Mas ta is provas apoiavam-se na geometria euclidiana, de sorte que elas tornavam ao mesmo tempo e vidente a necessidade de provar a consistncia da prpria Geometria de Euclides. Os matemtico s comearam ento a estudar a consistncia dos postulados de Euclides, e logo perceberam que eles eram insuficientes para provar os teorernas conhecidos, sem falar nos demai

s que viessem a ser considerados no futuro. Analisando os Elementos desse novo ponto de vista, eles desco6Quando jovem, o pai de Bolya havia sido colega de Gauss em Gttingen. E quando o filho ps suas idias por escrito, ele (o pai) enviou um exemplar do :manuscrito a Gauss, Mas este, pouco sensvel -ao entusiasmo do jovem Jnos, escreveu de volta dizendo ma is ou menos o seguinte: "sim, mas isso que seu filho fez no novidade para mim, que perc ebi essa possibilidade h muitos anos, em minha juventude". Tudo indica que Gauss foi mesmo o primeiro matemtico a perceber a possibilidade das geometrias no-euclidianas. 7Estamos deixando de lado uma outra vertente importantssima no desenvolvimento da s geometrias no-euclidianas, devida a Riemann, mas que no necessria no momento. Captulo 1: Os nmeros reais 43 briram que a axiorntica euclidiana era muito incompleta e continha srias falhas. E uclides, em suas demonstraes, apelava para muitos fatos alheios aos postulados. Era necessri o reorganizar a prpria geometria euclidiana, suprindo, inclusive, os postulados que estavam faltando. Isto foi feito por vrios matemticos no final do sculo XIX, dentre eles David Hilber t (1862-1943) que, em 1889 publicou o livro "Fundamentos da Geometria", no qual el e faz lima apresentao rigorosa de uma axiorntica adequada ao desenvolvimento lgico-dedutivo da geometria euclidiana.. Paralelamente ao que acontecia em Geometria, as preocupaes com o rigor se faziam presentes tambm na Anlise Matemtica a partir de aproximadamente 1815, e sobre isso falaremos nas notas do final do Captulo 4. Os Fundamentos da Matemtica Os desenvolvimentos que vinham ocorrendo na Geometria, na lgebra e na Anlise duran te todo o sculo XIX convergiram, no final do sculo, para uma preocupao com os fundament os de toda a l\latemtica. Por duas razes -importantes os matemticos acabaram se conven cendo de que todas "as teorias matemticas teriam de se fundamentar, em ltima instncia, nos nmeros naturais. De um lado, os nmeros complexos, os nmeros reais, os racionais e os inteiros puderam ser construdos, de maneira lgica e consistente, uns aps outros, terminando nos nmeros naturais. De outro lado, Hilbert estabelecera uma correspondncia entre os elementos geomtricos do plano - pontos e retas e crculos - com os entes numricos da geometria analtica. Os pontos podem ser caracterizados por pares ordenados de nmeros reais, e as retas e crculos por suas equaes. Isto permitiu transferir o problema da consistncia da Geometria consistncia da Aritmtica. Provando-se a consistncia desta, ficaria tambm provada a consistncia da"Geometria. Assim, a Geometria, que desde a antigidad e era considerada o modelo de rigor lgico, estava agora dependendo da prpria Aritmtic a para sua efetiva fundamentao. Leopold Kronecker (1823-1891) dizia que Deus nos deu os nmeros naturais e que o r esto obra do homem. Com isto ele queria dizer que esses nmeros deveriam ser tomados co mo

o ponto de partida, o fundamento ltimo de toda a Matemtica. No obstante isso, Richa rd Dedekind mostrou ser possvel construir os nmeros naturais a partir da noo de conjunt o, noo esta que seria mais extensamente desenvolvida por Georg Cantor (1845- 1918)8 A possibilidade de construir toda a Matemtica a partir da teoria dos conjuntos in tensificou o interesse por esse campo de estudos. Porm, esses estudos estavam ainda incipien tes e os matemticos j comeavam a encontrar srias contradies internas na teoria.? Muitas dessas contradies foram resolvidas, at que, em 1931 o lgico austraco Kurt Gdel (19061978) surpreendeu o mundo matemtico com a publicao de um trabalho em que demonstrav a que o mtodo axiomtico tem inevitveis limitaes, que impedem mesmo a possibilidade de construir um sistema axiomtico abrangendo a Aritmtica. Para entender melhor o que isso significa, devemos lembrar que um sistema axiomti co deve satisfazer s trs condies seguintes: ser consistente, quer dizer, os postulados no podem contradizer uns aos outros, por si mesmos ou por suas conseqncias; deve ser comple to, no sentido de serem suficientes para provar verdadeiras ou falsas todas as proposies formuladas "no contexto da teoria em questo; e, por fim, cada postulado deve ser independent e dos demais, no sentido de "que no conseqncia deles, "sob pena de ser suprfluo. Pois bem, Gdel prova, dentre outras coisas, que a consistncia de qualquer sistema matemtico que e nglobe a Aritmtica no pode ser estabelecido pelos princpios lgicos usuais. Isto ele prova c omo 80 matemtico italiano Giuseppe Peano (1858-1932) mostrou como construir esses nmer os a partir de noes primitivas e postulados. 9A propsito, veja o artigo que publicamos na RPM 43. 1 Capimlo 1: Os nmeros reais conseqncia deste seu outro resultado, conhecido como o teorema da incompletude: se uma teoria formal abrangendo a Aritmtica for consistente, ela necessariamente ser inco mpleta, o que significa dizer que haver alguma proposio sobre os inteiros que a teoria ser inc apaz de decidir ser verdadeira ou falsa. Seria errneo pensar que os estudos de Fundamentos terminam com os resultados de Gd el, ou que esses resultado, pelos seus aspectos negativos, condenam a Matemtica a uma posio inferior no contexto do conhecimento humano. O resultado de Gdel certamente mostr a que falsa a expectativa acalentada desde a antigidade de que o conhecimento matemtico, com seu carter de certeza absoluta, possa ser ciscunscrito nos limites permitidos por um sistema axiomtico. Alm de revelar as limitaes do mtodo axiomtico, os resultados de Gdel mostram, isto sim, que as verdades matemticas, na sua totalidade, escapam aos figurinos fo rmais dos sistemas axiomticos. Hermann Weyl (1885-1955), que est entre os maiores matemticos do sculo XX, disse, espirituosamente: Deus existe porque certamente a Matemtica consistente; e o demni o

existe porque somos incapazes de provar essa consistncia. Definio de corpo O leitor encontrar, em livros sobre estruturas algbricas exposies sobre a teoria de corpos. Daremos aqui apenas a definio de corpo, sem entrar em maiores detalhes. Um corpo (comututivo) um conjunto no vazio C, munido de duas operaes, chamadas adio e multipl-icao, cada uma delas fazendo corresponder um elemento de C a cada par de elementos de C, as duas operaes estando sujeitas aos axiomas de corpo listados a s eguir. A soma de x e V de C indicada por x + y e a multiplicao de x e y indicada por xV. OS axiomas de corpo so: 1-, (Associatividade) Dados quaisquer x, v, z E C, (x + V) + z = x + (y + z) e (xy)z = x(yz); 2. (Comutatividade) Quaisquer que sejam z , y E C, x +y = y + x e xy = yx; 3. (Distributividade