EUCLIDES

No se sabe muito a respeito da vida do matemtico Euclides, nem sua formao ou onde tenha nascido. Euclides eventualmente se estabeleceu em Alexandria, no Egito, onde Ptolomeu I criou um importante instituto cientfico conhecido como Museu. No Museu Euclides se tornou um educador reconhecido e usava sua obra Os Elementos como texto introdutrio ao estudo de matemtica elementar.

A GEOMETRIA EUCLIDIANA
Euclides apresenta a matemtica como cincia dedutiva, onde cada afirmativa se constri a partir de uma mais simples, obedecendo uma ordem lgica e sucessiva . Sua principal obra o livro "Os Elementos", onde desenvolve todos os princpios de sua Geometria Euclidiana a partir de um pequeno conjunto de axiomas que dividiu em dois grupos: noes comuns e postulados. As noes comuns compreendia as seguintes assertivas: (a) Coisas iguais a uma mesma coisa so tambm iguais. Ex.: Se A = C e B = C ento A = B (b) Se iguais so adicionados a iguais, os totais so iguais. E.: Se A = B, ento A+ C = B+ C (c) Se iguais so subtrados de iguais, os restos so iguais. Ex.: Se A=B, ento A C = B C (d) Coisas que coincidem uma com a outra, so iguais. Ex.:Se posso gerar a forma geomtrica A atravs de translaes, rotaes e inverses ao redor de uma reta (estas operaes so conhecidas como isometrias) de uma figura B, ento A e B so iguais. (e) O todo maior do que qualquer uma das partes. Ex.: Se A divide B, ento A<B ou A=B. E os postulados eram os cinco: I. Pode-se traar uma (nica) reta ligando dois pontos. II. Pode-se prolongar (de uma nica maneira) uma reta finita continuamente em uma linha reta. III. Pode-se traar um crculo com centro qualquer e raio qualquer. IV. Todos os ngulos retos so iguais. V. Se uma reta, interceptando duas outras, forma ngulos internos de um mesmo lado cuja soma menor que dois retos, ento estas duas retas, se prolongadas indefinidamente, se encontram naquele lado cuja soma dos ngulos internos menor que dois retos.

O Quinto Postulado
V. Se uma reta, interceptando duas outras, forma ngulos internos de um mesmo lado cuja soma menor que dois retos, ento estas duas retas, se prolongadas indefinidamente, se encontram naquele lado cuja soma dos ngulos internos menor que dois retos.

O quinto postulado usado a partir da proposio 29 do livro dos Elementos,que diz que quando uma reta corta duas paralelas, formam-se ngulos correspondentes iguais., as outras 28 proposies so independentes deste ltimo e so vlidas para qualquer geometria. A partir dele temos outros postulados equivalentes: Axioma de Playfair: Por um ponto fora de uma reta pode-se traar uma nica reta paralela reta dada. Postulado A: a soma dos ngulos internos de um tringulo sempre igual a dois ngulos retos. Postulado B: existe um par de tringulos semelhantes e no congruentes. Postulado C: existe um par de retas eqidistantes. Postulado D: se trs dos ngulos de um quadriltero so retos, ento, o ltimo tambm reto. Esse postulado, tambm chamado de postulado das paralelas, merece ateno especial. Por parecer menos bvio que os outros, o quinto postulado tornou-se alvo de crticas e por cerca de 2000 anos diversas tentativas surgiram para demonstr-lo, podemos destacar: * Ptolomeu I - escreveu um livro que apresentava uma prova do quinto postulado, mas essa tinha um erro, pois assumia que paralelismo acarreta na congruncia de duas figuras. Seu principal argumento era que se uma reta intercepta um segunda reta, tambm interceptar todas as retas paralelas a esta segunda. * Proclus - na demonstrao proposta por Proclus, deve-se admitir que retas paralelas so eqidistantes, o que equivalente ao quinto postulado * Nasir Eddin All Tusin(1201 1274) - Nasir sups, sem demonstrao, o seguinte axioma para deduzir o quinto postulado: sejam m e n duas retas, A um ponto de m e B um ponto de n, tais que AB perpendicular a n e forma um ngulo agudo com m. Ento as perpendiculares baixadas de m reta n, do lado do ngulo agudo, so menores do que AB e as que ficam do outro lado so maiores do que AB. Em sua demonstrao, Nasir usou uma figura que ficou muito conhecida pelo nome de outro matemtico. Ele considerou um quadriltero em que os ngulos da base

eram retos e os lado AC congruente ao lado BD. Nasir conclui que a figura um retngulo, provando que os ngulos C e D so retos. Traando a diagonal, dividiu o retngulo em dois tringulos, provando a existncia de um tringulo cuja soma dos ngulos internos 180, o que equivalente ao quinto postulado. * John Wallis (1616 1703) - apresentou uma demonstrao baseando-se no seguinte postulado: dado um tringulo, possvel construir um outro que lhe semelhante, com lados arbitrariamente grandes. Mas esse postulado equivalente ao quinto postulado. * Girolamo Saccheri (1667 1733) - utilizou um quadriltero ABCD em que os ngulos da base, ngulo A e ngulo B, so retos e o lado AC congruente ao ao lado BD. Demonstrou que os ngulos C e D so congruentes usando a propriedade de congruncia entre tringulos. Em seguida, demonstrou que a hiptese do ngulo obtuso era falsa, assumindo, como Euclides, que a reta infinita. Saccheri tambm provou a equivalncia entre o quinto postulado e a hiptese do ngulo reto. Entretanto, ao procurar uma contradio para a hiptese do ngulo agudo, provou uma srie de resultados coerentes com todos os postulados da Geometria Euclidiana, exceto o quinto. Mesmo com todos os resultado obtidos, no acreditou na existncia de uma nova geometria, mas ainda assim contribuiu significativamente para a Geometria no Euclidiana. * Johann Heinrich Lambert (1728 1777) - tambm tentou encontrar uma contradio para a hiptese do ngulo agudo. Usou um quadriltero ABCD com trs ngulos retos e sups trs hipteses para o quarto ngulo: hiptese do ngulo reto, equivalente ao quinto postulado de Euclides; hiptese do ngulo obtuso e Hiptese do ngulo agudo. Eliminou a hiptese do ngulo obtuso assumindo que a reta ilimitada. Mas no chegou em contradio ao tentar demonstrar a hiptese do ngulo agudo. Acabou encontrando proposies inusitadas, como a diferena chamada deficiencia do triangulo (A rea de um tringulo proporcional diferena entre a soma de seus ngulos internos e dois ngulos retos) que tem valor zero na Geometria Euclidiana. Tambm observou que a hiptese do ngulo obtuso vale para tringulos esfricos e que a hiptese do ngulo agudo ocorre na superfcie de uma esfera de raio imaginrio. * Adrien Marie Legendre (1752 1833) - publicou vrias demonstraes do quinto postulado, mas todas erradas.Trabalhou com trs hipteses, que na verdade, tinham uma certa equivalencia com as hipteses de Saccheri: I. Hiptese do ngulo reto A soma dos ngulos internos de um tringulo = 180 II. Hiptese do ngulo agudo A soma dos ngulos internos de um tringulo < 180 III. Hiptese do ngulo obtuso A soma dos ngulos internos de um tringulo > 180 A comprovao do item I foi facilmente feita e Legendre eliminou a possibilidade da soma dos ngulos internos de um tringulo ser maior do que 180, pois encontrou contradio. Porm, as vrias demonstraes fornecidas por Legendre de que a soma dos ngulos internos de um tringulo no pode ser menor do que 180 estavam incorretas. Assim, tantos fracassos na demonstrao do quinto postulado de Euclides, acabou por impulsionar os matemticos na busca de Geometrias no Euclidianas.