Escolar Documentos
Profissional Documentos
Cultura Documentos
Matemática
Século XIX:
As Geometrias
Não-Euclidianas e
a Libertação do
Real
5. Dada uma linha que cruze duas linhas retas, de modo que
a soma dos ângulos internos do mesmo lado seja menor do
que dois ângulos retos, então, as duas linhas, quando
prolongadas, acabarão por se encontrar (naquele lado da
linha) (MLODINOW, 2004, p. 47).
Século XIX: As Geometrias Não-Euclidianas e a Libertação do Real
O desafio do quinto postulado
Dado uma reta e um ponto fora dela, por este ponto passa
uma única reta paralela à reta dada.
Século XIX: As Geometrias Não-Euclidianas e a Libertação do Real
■ Sabemos que o axioma de Euclides não contém contradição, porque temos no mundo real modelos
do sistema.
■ Acreditamos que o Postulado das Paralelas pode ser demonstrado a partir dos outros axiomas, mas
até agora ninguém conseguiu fazê-lo.
■ Suponha que possa ser demonstrado. Então, se substituirmos o Postulado por sua negação,
estaremos pondo uma contradição no sistema.
■ Portanto, se eu usar a negação do Postulado das Paralelas como axioma e encontrar uma
contradição neste sistema, terei mostrado que o Postulado das Paralelas pode ser demonstrado a partir
dos outros quatro axiomas anteriores, embora eu não tenha uma demonstração direta disso!
Século XIX: As Geometrias Não-Euclidianas e a Libertação do Real
Como viveu durante 97 anos, a mãe de Gauss teve tempo e motivos suficientes para se orgulhar de
sua atitude, pois acompanhou, praticamente, toda a carreira do filho.
Século XIX: As Geometrias Não-Euclidianas e a Libertação do Real
Nas tentativas de demonstração do postulado das paralelas, chegou em conclusões, por exemplo, de
que a soma dos ângulos internos de um triângulo não seria, necessariamente, igual a dois retos
“assustavam” os estudiosos que não consideravam como Geometria o sistema teórico resultante.
Século XIX: As Geometrias Não-Euclidianas e a Libertação do Real
A substituição do postulado V por postulados análogos, porém não equivalentes, mesmo mantendo os
quatro primeiros axiomas, resultou em geometrias de características muito diferentes, denominadas, por
Gauss, de geometrias não-euclidianas.
Século XIX: As Geometrias Não-Euclidianas e a Libertação do Real