A Geometria não-euclidiana
A geometria não euclidiana é um assunto que podemos trabalhar e discutir facilmente em sala de aula, tornando-o mais interessante com a exibição do filme “Apolo 13 – do resgate ao triunfo” estrelado por Tom Hanks e dirigido por Ron Howard, que aborda o assunto num dos cálculos para a distância e trajetória da nave Apolo XIII, ou com a leitura do texto “Projeto Euclides” livro “Convite às Geometrias Não-Euclidianas”.
Os primeiros quatro postulados enunciados por Euclides são evidentes por eles próprios, já o quinto postulado apresenta um enunciado complicado e menos evidente por si próprio.
O desenvolvimento da geometria não-euclidiana foi um resultado de tentativas de lidar com este axioma.
A releitura do 5º postulado
O matemático escocês John Playfair, foi um dos muitos que procuraram substituí-lo por um equilvante mais aceitável e sua proposta foi a que hoje utlizamos nos textos escolares: Por um ponto fora de uma reta pode-se traçar uma única paralela à reta dada.
Nas primeiras investigações sobre o Axioma das paralelas de Euclides, queriam transformá-lo em um teorema deduzido dos outros 4 postulados. Mas as tentativas falharam.
O fracasso fez com que os matemáticos voltassem para os métodos indiretos, ou seja, negar o quinto postulado instituindo uma redução ao absurdo, tentando deduzir uma contradição.
Dois pesquisadores empregaram esse método: Girolamo Saccheri e Johann Lambert. Ambos negaram o quinto postulado. Embora tenham falhado, todos trouxeram à luz várias conseqüências que são reconhecidas hoje como teoremas importantes de uma geometria não euclidiana.
Geometria Hiperpólica
O húngaro Janos Bolyai e o russo Nikolai Ivanovi Lobachevsky, na mesma época, só que separados pela distância, enfocaram o assunto através da forma de Playfair do postulado das paralelas, considerando três possibilidades: Por um ponto dado fora de uma reta pode-se traçar:
· mais que uma reta paralela à reta dada;
· exatamente uma reta paralela à reta dada;
· nenhuma reta paralela à reta dada.
Nenhum deles conseguiu chegar a uma contradição sob a primeira possibilidade e cada um deles começou a suspeitar de que nenhuma contradição poderia ocorrer e de que a geometria resultante era tão consistente quanto a geometria euclidiana. Surgia então a geometria hiperbólica.
Geometria elíptica
Em 1854 Riemann mostrou que se a infinitude de reta fosse descartada, e a reta fosse simplesmente assumida como limitada, então, com alguns outros pequenos ajustes nos demais postulados, outra geometria se desenvolveria nos moldes do terceiro caso acima.
Descobriu-se então que não há um, mas duas geometrias não-euclidianas: a gemotria de Lobatchevski (ou hiperbólica) e geometria riemanniana (ou elíptica). Relativamente ao axima de Playfair, estas duas geometrias não euclidianas correspondem aos axiomas:
Lobatchevski: Sejam dados em um plano um reta L e um ponto P que não está sobre L. Há, então, pelo menos duas retas que passam por P e são paralelas a L.
Riemann: Sejam dados em um plano uma reta L e um ponto P que não está em L. Não há, então, retas passando por P e paralelas a L.
Conclusão:
Um esquema lógico-dedutivo pode ser comparado a um jogo, e os axiomas do esquema são as regras do jogo. Quem quer que brinque com jogos, sabe que se podem inventar variações diferentes de jogos dados, e as conseqüências serão diferentes. Uma geometria não euclidiana é uma geometria jogada com axiomas que são distintos de Euclides.

