A Geometria Euclidiana

Euclides foi um dos maiores matemticos gregos da

antiguidade. No se sabe com certeza a data do seu
nascimento, talvez tenha sido por volta do ano 325
antes de Cristo. Sabe-se que ele viveu na cidade de
Alexandria, no atual Egito, quase certamente
durante o reinado de Ptolomeu I (323 BC283 BC) e
morreu, de causas desconhecidas, no ano 265 antes
de Cristo. Por essa razo ele citado como Euclides
de Alexandria.
Euclides nos deixou um conjunto de livros de
matemtica, os Elementos, que pode ser
considerado um dos mais importantes textos na
histria da matemtica. Nesse monumental conjunto
de 13 volumes Euclides reuniu toda a geometria
conhecida em sua poca ou seja, os vrios
resultados originalmente obtidos por outros
matemticos anteriores a ele e seus trabalhos
originais. O fato importante que Euclides
apresentou esses resultados dentro de uma
estrutura logicamente coerente e simples. Ele at
mesmo apresentava provas de teoremas
matemticos que haviam sido perdidos.
Euclides deduzia, entre vrios outros resultados, as
propriedades dos objetos geomtricos a partir de um
pequeno conjunto de axiomas. Axiomas si
afirmaes que no possuem prova mas so aceitas
como auto-evidentes. Por esses motivo Euclides
considerado o "pai da geometria" e o fundador do
chamado "mtodo axiomtico da matemtica".
O sistema geomtrico apresentado por Euclides nos
livros que formam os Elementos durante muito
tempo foi considerado "a" geometria. Era a nica
disponvel e podia ser usada na vida diria sem
contradies aparentes. Os "Elementos" de Euclides
foram os fundamentos do ensino de geometria
praticamente at o incio do sculo XX.
Hoje a geometria apresentada por Euclides
chamada de "geometria Euclidiana" para distingui-la das outras formas de geometria chamadas "geometrias
no-Euclidianas" que foram descobertas no sculo XIX.
As geometrias no-Euclidianas cresceram a partir de mais de 2000 anos de investigao sobre o quinto
postulado de Euclides, um dos axiomas mais estudados em toda a histria da matemtica. A maior parte
dessas investigaes envolveram tentativas de provar o quinto postulado, relativamente complexo e
presumivelmente no intuitivo, usando os outros quatro postulados. Se eles tivessem sido bem sucedidos
teriam mostrado que esse postulado seria na verdade um teorema. Na verdade os "Elementos" consistem de
duas partes: a primeira formada por teoremas que so provados sem o auxlio do quinto postulado e
formam o que chamamos de "geometria absoluta" e a parte formada por teoremas que esto baseados no
quinto postulado e que formam a "geometria Euclidiana" propriamente dita.
As imagens abaixo mostram pginas de um manuscrito grego do sculo XI com os "Elementos".

Os axiomas de Euclides so os seguintes:

1.

dados dois pontos h um intervalo que os une.

2.

um intervalo pode ser prolongado indefinidamente.

3.

um crculo pode ser construido quando seu centro e um ponto sobre ele so dados.

4.

todos os ngulos retos so iguais.

5.

se uma linha reta inclinada sobre duas linhas retas faz os ngulos interiores do mesmo lado
menores do que dois ngulos retos, as duas linhas retas, se prolongadas indefinidamente, se
encontram naquele lado no qual os ngulos so
menores do que dois ngulos retos.

Vemos que o quinto postulado de Euclides tem um

enunciado bem mais complicado que os outros. Na verdade
ele pode ser colocado de uma maneira bem mais simples:
"Atravs de um ponto C, no localizado sobre uma dada
linha reta AB, somente uma linha reta paralela a AB pode
ser traada, ou seja, uma linha situada no mesmo plano
onde est a linha reta dada e que no a intersepta."
ou ento
"Duas linhas paralelas so equidistantes"
Por mais de 2000 anos os matemticos tm tentado
demonstrar esse postulado sem sucesso.
A geometria Euclidiana aquela que as pessoas comuns
usam na sua vida diria. Nessa geometria a soma dos
ngulos internos de um tringulo igual a 180o, como
vemos na figura ao lado.
Em uma geometria plana, ou geometria euclidiana, a distncia entre dois pontos pode ser facilmente
calculada. Se considerarmos somente

uma dimenso:
a distncia entre dois pontos ser dada por ds

ds= dx2 - dx1

duas dimenses:
essa distncia ser obtida por intermdio do chamado "teorema de Pitgoras" (o quadrado da
hipotenusa de um tringulo retngulo e igual soma dos quadrados dos catetos)

ds2 = dx2 + dy2

trs dimenses:
a distncia entre os dois pontos ser obtida a partir da relao:

ds2 = dx2 + dy2 + dz2

Essas so as expresses que nos do a distncia entre dois pontos em uma geometria euclidiana, no
importando se eles esto muito afastados ou muitssimo prximos.
No entanto, embora o nosso mundo dirio seja descrito por trs dimenses espaciais, a matemtica est
ligando muito pouco para isso! Para ela um espao pode ter um nmero qualquer de dimeses, at mesmo
infinitas dimenses. E essa a generalizao que faremos agora, uma vez que precisaremos disso mais
tarde.
Vamos ento generalizar as expresses mostradas acima, e que nos ensinam como medir a distncia entre
dois pontos, para um nmero qualquer de dimenses espaciais. Para isso melhor substituir as coordenadas
x, y, z por xn onde n um ndice que pode ser igual a qualquer nmero inteiro positivo. Assim x ser
substituido por x 1, y ser escrito como x 2, z ser x3, e assim por diante at atingirmos o nmero equivalente
dimenso do espao que queremos estudar. Em geral se queremos dizer que o espao tem um nmero
qualquer de dimenses escrevemos x n onde n assume os valores 1, ou 2, ou 3 ou qualquer outro valor
inteiro positivo. Isso pode ser resumido escrevendo-se n = 1, 2, 3,....
Podemos ento generalizar a expresso que nos d a distncia entre dois pontos em um espao euclidiano
de dimenso qualquer n escrevendo

ds2 = dx12 + dx22 + dx32 + ..... + dxn2

onde n = 1, 2, 3, 4, ....
A expresso ds2, que chamada de elemento de linha ou mtrica, de importncia vital nos clculos da
teoria da relatividade geral. A partir desse momento sempre que nos referirmos distncia entre dois pontos
em um espao de qualquer dimenso sempre a representaremos por ds2.
Voltemos ento s transformaes de Lorentz, mostradas ao lado. J sabemos
que elas nos ensinam como esto relacionadas as coordenadas de um corpo
vistas em um referencial em repouso e em um referencial que se desloca com
velocidade constante v. Note que as transformaes de Lorentz, por serem
definidas para um espao-tempo de 4 dimenses, misturam as coordenadas do
espao (x,y,z) com a de tempo (t).
Entretanto, havia sido demonstrado que as leis fsicas tinham que ser
invariantes por uma transformao de Lorentz. Isso quer dizer que as leis fsicas
no mudam quando so observadas em referencias inerciais, aqueles que esto
em repouso ou em movimento retilneo com velocidade constante.
Consequentemente, um "elemento de linha" de uma geometria tem que ser
invariante por uma transformao de Lorentz.
Vimos acima o elemento de linha que descreve um espao de trs dimenses.
Vimos que essa expresso pode ser generalizada para um nmero qualquer de
dimenses. Ento, resta-nos perguntar qual seria a forma do elemento de linha
que descreve a geometria do espao-tempo de Lorentz, o espao-tempo da
teoria da relatividade restrita?
Nossa primeira idia acrescentar o termo temporal ao elemento de linha que
descreve a distncia entre dois pontos no caso tri-dimensional visto acima.
Ficariamos com

ds2 = dt2 + dx12 + dx22 + dx32

Mas isso est errado! Lembre-se que dx1, dx2 e dx3 so coordenadas de espao,
respectivamente dx, dy e dz, e, portanto, s podem somadas a outras
coordenadas com dimenses de espao. Como dt tem dimenso temporal ns o multiplicamos pela
velocidade da luz para que o primeiro termo do elemento de linha acima tambm fique com as dimenses de
espao (lembre-se que espao = velocidade x tempo).
Se chamarmos o termo cdt de dx0, para mantermos a mesma forma das expresses usadas para as
coordenadas do espao, ficamos ento com

ds2 = dx02 + dx12 + dx22 + dx32

Essa seria a generalizao quadri-dimensional da expresso que nos d a distncia entre dois pontos muito
prximos no espao Euclidiano.
Esse elemento de linha de um espao-tempo de quatro dimenses est correto sob o ponto de vista de
dimenses fsicas (todos os termos tem dimenses de comprimento) mas, parafraseando Nelson Rodrigues,
esse elemento de linha "bonitinho mas ordinrio". Ele no presta para descrever o espao-tempo quadridimensional pois no invariante por uma transformao de Lorentz!
Foi Minkowski quem mostrou que o "elemento de linha" invariante por uma transformao de Lorentz para
um espao-tempo com 4 dimenses deveria ser escrito como

ds2 = dx02 - dx12 - dx22 - dx32

ou, equivalentemente,

ds2 = - dx02 + dx12 + dx22 + dx32

Com esse elemento de linha podemos falar de uma "geometria do espao-tempo" do mesmo modo como
falamos da geometria do espao somente. Essa expresso o elemento de linha ou mtrica de um
espao-tempo plano 4-dimensional, tambm conhecido como espao-tempo de Minkowski.

O conjunto de sinais (+ - - -) ou (- + + +) que antecedem os termos das expresses acima chamado de

assinatura da mtrica. Note que ambos os conjuntos de sinais so corretos. Os dois elementos de linha
descritos acima, com as duas assinaturas de mtrica diferentes, so vlidos para descrever o espaotempo de Minkowski e esse espao-tempo plano onde definimos a teoria da relatividade restrita.
Como vimos anteriormente, podemos usar vrios sistemas de coordenadas para descrever um espao.
Podemos usar as coordenadas cartesianas como feito acima, mas tambm podemos usar coordenadas
cilndricas e esfricas, por exemplo. Mostramos em um dos itens anteriores que as coordenadas esfricas
so representadas por (
coordenadas esfricas (

, ,
, ,

x = x1 =

sen cos

y = x2 =

sen sen

z = x3 =

cos

). As relaes entre as coordenadas cartesianas (x, y, z) ou (x1, x2, x3) e as

) so dadas por:

Se substituirmos isso na expresso da mtrica de Minkowski dada acima teremos a expresso dessa mtrica
em coordenadas esfricas (que a que os relativistas usam mais comumente):

ds2 = c2dt2 - dr2 - r2 (d

+ sen2 d 2)

Como dissemos antes essa a expresso da distncia entre dois pontos em um espao-tempo
quadridimensional em coordenadas esfricas. Ela invariante por uma transformao de Lorentz e,
portanto, satisfaz s exigncias da teoria da relatividade especial. Essa expresso o elemento de linha de
Minkowski ou mtrica de Minkowski em coordenadas esfricas.
Um outro ponto a considerar que se voc compara a assinatura da mtrica Euclidiana em um espaotempo quadri-dimensional qualquer com a mtrica de Minkowski nota imediatamente a diferena de sinal
que existe entre elas. A mtrica Euclidiana tem assinatura (+ + + +) enquanto que a mtrica de Minkowski,
por satisfazer s transformaes de Lorentz, tem assinatura (+ - - -). A uma mtrica que possui assinatura
semelhante mtrica de Minkowski ou seja, com sinais diferentes em seus termos no importando se (+ - -) ou (- - - +), damos o nome de mtrica pseudo-euclidiana.
DEFINIO TCNICA
Definio matemtica de Espao Euclidiano:
Seja V um espao vetorial n-dimensional sobre R e seja

uma forma bilinear simtrica em V tal que

> 0 para todo v em V com v diferente de 0. Ento o par (V,

) chamado de espao Euclidiano.

(v,v)