Академический Документы
Профессиональный Документы
Культура Документы
Introdu
c
ao
Este trabalho foi elaborado pela aluna Ana Claudia da Silva Moreira,
a pedido da Profa. Eliane Quelho Frota Rezende, como encerramento da
disciplina Geometria Descritiva e Desenho Geometrico (MA 241), oferecida
no segundo semestre de 2006, obrigatoria nos cursos de Matematica (Bacharelado e Licenciatura) da Universidade Estadual de Campinas.
O objetivo geral do trabalho e mostrar aos colegas, estudantes do curso,
a existencia de outras Geometrias e seus sistemas axiomaticos, baseados no
de Hilbert. Partindo da Axiomatica de Hilbert para a Geometria Euclidiana,
estudada na ementa da disciplina citada, procuramos estudar a construcao
de modelos que dessem forma `a outras Geometrias, mostrando quais grupos axiomaticos de Hilbert continuam validos e quais sao suprimidos ou
alterados. Estudamos Geometrias Euclidiana, Esferica, Projetiva e Afim.
O trabalho nao e aprofundado e para compreende-lo bastam conheci
desejavel que se
mentos basicos de Geometria Analtica e Algebra
Linear. E
tenha algum conhecimento de classes de equivalencia e conjuntos quocientes
para que se tenha uma melhor compreensao da construcao do modelo para
a Geometria Projetiva.
O trabalho traz tambem breves relatos historicos que julgamos curioso
e estimulante acrescentar.
Agradecemos o apoio do Prof. Carlos Eduardo Duran Fernandez que tao
atenciosamente nos indicou e cedeu fontes bibliograficas fundamentais para
a pesquisa e estudo aqui apresentados.
Ana Claudia da Silva Moreira
Campinas, 03 de novembro de 2006.
Indice
Captulo 1 - Aspectos Historicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1 Geometria Classica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1
1.2 Os Elementos de Euclides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Axiomas de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Captulo 2 - Geometrias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.1 Geometria Euclidiana . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.1.1 O Conjunto Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.1.2 Plano Eucliano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.1.3 Trigonometria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.1.4 Espaco Euclidiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.2 Geometria Elptica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.2.1 Plano Elptico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.2.2 Retas Elpticas Orientadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.2.4 Isometrias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.2.5 Congruencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .20
2.2.6 Trigonometria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.3 Geometria Projetiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.3.1 Plano Projetivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.3.2 Retas Projetivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .27
2.3.3 Plano Projetivo Dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.4 Geometria Afim . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.4.1 Plano Afim . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.4.2 Retas Afim . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
Captulo 3 - Teorema de Menelau . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Referencias Bibliograficas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
ii
Captulo 1
Aspectos Hist
oricos
1.1
Geometria Cl
assica
os
angulos opostos pelo vertice s
ao iguais.
Pitagoras de Samos ( 569 a.C. a 475 a.C.), possivelmente um aluno
da escola de Tales, estabeleceu uma sociedade filosofica e religiosa que muito
contribuiu para a formalizacao da Geometria, com trabalhos nas Teorias de
paralelas, figuras similares e com uma combinacao de Teoria de n
umeros e
misticismo. O proprio Pitagoras introduziu as palavras Filosofia (amor `a
Sabedoria) e Matematica (o que e aprendido). Apos a morte do filosofo, a
Escola Pitagorica dividiu-se em duas faccoes. Uma, formada por aqueles que
aceitavam a palavra do mestre como uma revelacao e a outra, formada por
aqueles seguidores que desejavam o novo aprendizado, os matematicos.
Membros da u
ltima faccao desenvolveram novos resultados de matematica
exclusivamente por deducao logica, transformando-a numa Ciencia Dedutiva. Sua doutrina sobreviveiu por seculos. Ainda na decada de 1980 existiam seguidores msticos em Fortaleza, Ceara, que realizavam suas reunioes
num velho casarao do centro da cidade, na Rua Major Facundo, cuja sede
era chamada de Escola Pitagorica.
O avanco seguinte foi estabelecido por outro grego, um professor de
Geometria, Hipcrates de Chios ( 470 a.C. a 410 a.C.), ao escrever um
livro texto, Elementos de Geometria, no qual os teoremas eram arranjados
numa sequencia onde os subsequentes eram provados tendo como base os
teoremas anteriores. Tudo indica que sua obra esta contida nos Livros I
e II dos Elementos de Euclides. Com ele tem-se incio a sistematizacao
do conhecimento Matematico, estabelecendo uma estrutura de apresentacao
que sobrevive ate hoje. Hipocrates de Chios contribuiu com teoremas sobre
circunferencias.
Por essa mesma epoca, foi fundada em Atenas, pelo filosofo Platao (427
a.C. a 347 a.C.), a famosa Academia, uma instituicao que congregava os
maiores sabios da epoca. Sobre seu portao estava escrito:
N
ao permitam a entrada de quem n
ao saiba geometria.
Com a Academia, a Matematica obteve o status de Ciencia Pura, seus
membros nao tinham a preocupacao em aplicar os conhecimentos adquiridos no seu trabalho e a enfase era no desenvolvimento do pensamento
matematico e filosofico.
Um dos membros da Academia, dos 17 aos 30 anos, foi o filosofo Aristoteles
da Macedonia ( 384 a.C. a 322 a.C.). Aristoteles descendia de uma
abastada famlia da Macedonia. Seu pai fora medico do avo de Alexandre, o
2
1.2
Os Elementos de Euclides
Toda esta construcao da mente humana, feita ao longo de 300 anos, ficou
registrada numa obra momumental intitulada Elementos, constituda de 13
livros (captulos). Nela estao demonstradas 465 proposicoes deduzidas de
um sistema axiomatico numa forma didatica, cujo u
nico rival em n
umero de
traducoes e a Bblia. Tal obra expoe sistematicamente toda a Matematica
basica conhecida em seu tempo.
Devemos tal facanha ao matematico grego Euclides ( 330 a.C. a 270
a.C.) cuja biografia e praticamente desconhecida. Provavelmente estudou na
Academia e mudou-se para Alexandria a convite de Ptolomeu I para ser o
primeiro professor de Matematica do Museu. Escreveu cerca de doze obras
mas somente cinco delas resistiram ao tempo. Seu texto intitulado Optica
(Stoichia) foi um dos primeiros trabalhos escritos sobre perspectiva. A obra
de Euclides nao e apenas uma simples compilacao de resultados conhecidos;
supoe-se que varias proposicoes e provas sao do proprio Euclides e, possivelmente, algumas delas foram acrescentadas posteriormente. A obra nao
trata apenas de Geometria, inclui tambem resultados de Aritmetica. No
Livro IX ficou para a posteridade uma das mais belas e elegantes provas da
4
civilizacao Arabe
tomou o impulso relatado nos livros de Historia.
1.3
Axiomas de Hilbert
Dezoito seculos depois da publicacao dos Elementos (1482), em plena Renascenca, comecaram a surgir as primeiras traducoes dos Elementos para
Algebra
ao ser introduzido o conceito de Grupo.
Varios outros sistemas axiomaticos equivalentes ao de Hilbert foram propostos. Dois deles se destacam. Aquele estabelecido por George David
Birkhoff (1864 a 1944), com forte enfase no conceito de distancia, e um
outro conhecido pela sigla SMSG (School Mathematics Study Group) feito
na decada de 1960 por uma equipe de professores americanos dirigidos por
6
Edward G. Begle. Aqui, mais uma vez fatos polticos interferem nos caminhos da Matematica.
Com o lancamentodo primeiro satelite artificial pela extinta Uniao Sovietica,
o Governo Americano decidiu reformular o ensino de Ciencias nas escolas,
nomeando e financiando grupos de estudos para elaborar as propostas da
reforma. SMSG foi um dos grupos.
Logo apos a fixacao dos axiomas de Hilbert, o matematico americano
Oswald Veblen (1880 a 1960) estabeleceu os axiomas da Geometria Projetiva
na sua obra Projective Geometry em conjunto com John Wesley Young.
Atualmente, o ingles H. M. S. Coxeter (1907) e considerado o maior geometra
sintetico, tendo varios livros publicados na area.
Apresentamos a seguir os Axiomas da Geometria Euclidiana Plana
(ou Parab
olica) propostos por Hilbert.
I. Termos Indefinidos
entre e congrue
ncia.
1. Ponto, reta, plano, pertence, esta
II. Axiomas de Incid
encia
nica reta que
1. Para cada dois pontos distintos existe uma u
m.
os conte
m pelo menos dois pontos.
2. Toda reta conte
s pontos que na
o pertencem a uma
3. Existem pelo menos tre
mesma reta.
III. Axiomas de Ordem
entre A e C, enta
o os tre
s pontos
1. Se um ponto B esta
entre C e A.
pertencem a uma mesma reta e B esta
2. Para quaisquer dois pontos distintos A e C, existe pelo
1. Se A e B sa
0
o necessariamente distinta
um outro ponto de uma reta l , na
o e
sempre possvel encontrar um ponto B em
da anterior, enta
0
(um dado lado da reta) l , tais que os segmentos AB, e A0 B 0 sejam
congruentes.
o congruentes
2. Se um segmento A0 B 0 e um segmento A00 B 00 , sa
o os segmentos A0 B 0 e A00 B 00 sa
o
a um mesmo segmento AB, enta
congruentes entre si.
3. Sobre uma reta l, sejam AB e BC dois segmentos da mesma
o te
m pontos em comum. Ale
m disto, sobre
que, exceto por B na
0
0
0
0
0
uma outra ou a mesma reta l , sejam A B e B C dois segmentos
0
o te
m pontos em comum. Neste caso se
que, exceto por B na
0
0
0
0
0
0
o AC
AB = A B e BC = B C , enta
=AC .
00
um tria
ngulo e se B C e
um raio, enta
o existe
4. Se ABC e
00
0
0
0
0
0
exatamente um raio A B em cada lado de B C tal que A B A
=
ale
m do ponto
contiguamente de A ao longo do raio AB passara
B.
o de um
2. Axioma da Completude da Reta: Uma extensa
s pontos na
o colineares pertencem a um u
nico plano.
3. Tre
o
4. Se dois pontos de uma reta pertencem a um plano, enta
contida no plano.
toda a reta esta
m em um ponto em comum eles te
m um
5. Se dois planos te
segundo ponto em comum.
Captulo 2
Geometrias
Postula-se, a partir da divisao axiomatica do sistema criado por Hilbert, isto
e, a partir dos grupos de axiomas, algumas vezes com pequenas modificacoes,
para se criar um modelo para outras Geometrias a serem estabelecidas.
2.1
Geometria Euclidiana
2.1.1
O Conjunto Rn
entre os n
umeros reais R e os pontos de uma reta Euclidiana E1 , fixamos
uma unidade e associamos a cada ponto de uma reta Euclidiana E1 um u
nico
n
umero real, o qual chamamos abcissa do ponto. Com isto temos definido
uma aplicacao P : R E1 , onde P (x) e o ponto da reta Euclidiana cuja
abscissa e x.
Escolhidos dois eixos Cartesianos num plano Euclidiano E2 , digamos Ox
e Oy, definimos P : R2 E2 , onde P (x, y) e o ponto do plano Euclidiano
cuja abscissa e x e a ordenada e y. Reciprocamente cada ponto do plano
e associado a um u
nico par ordenado. Fixado o sistema de eixos, o Plano
Euclidiano passa a ser chamado Plano Cartesiano.
Analogamente, fixados tres eixos Cartesianos em E3 , Ox, Oy e Oz, definimos a aplicacao P : R3 E3 , onde P (x, y, z) e o ponto do plano
Euclidiano tal que a abscissa e x, a ordenada e y e a altura e z. Passamos
da a chamar E3 de Espaco Cartesiano. O mesmo valera para En .
Foi neste contexto, isto e ao se perceber que, fixado um sistema de eixos
cartesianos, poderia se fazer uma identificacao canonica entre o espaco Euclidiano En e o conjunto algebrico Rn que surgiu a Geometria Analtica.
Ela nos permite, por exemplo, calcular distancia, angulos, utilizando ferra
mentas da Algebra
Linear, como o produto interno.
2.1.2
Plano Euclidiano
l (p) : 1 x + 2 y h(p1 , p2 ), (1 , 2 )i = 0
l (p) : 1 x + 2 y + 3 = 0
Note que l (p) = l (p).
A equacao da reta que passa pela origem sera denotada por
l : 1 x + 2 y = 0
l e subespaco proprio de R2 , de dimensao um. Uma base e formada por
qualquer vetor nao nulo pertencente a l , por exemplo, = (2 , 1 ).
Entendemos o conceito de um ponto pertencer a uma reta.
Agora podemos verificar alguns axiomas:
Dois pontos distintos determinam uma reta.
Dados p = (p1 , p2 ) e q = (q1 , q2 ), consideramos q p = (q1 p1 , q2 p2 )
e tomamos = (q2 + p2 , q1 p1 ).
Entao, p, q l (p) = h(x, y) (p1 , p2 ), i = 0.
Esta entre
Dada l (p), defina f : R l (p) por f (t) = p + , onde e obtido
a partir de . Dado = (1 , 2 ) = (2 , 1 ).
p esta entre q = f (t0 ) e r = f (t2 ) t0 < t1 < t2 .
A definicao deste u
ltimo termo nos permite demonstrar todos os axiomas
de ordem e continuidade, alem de podermos definir segmentos de reta: o
segmento [p, q] e o conjunto formado pelos pontos p, q e os pontos que estao
entre eles. O comprimento do segmento [p, q] e a distancia entre os extremos
d(p, q) = |b a|.
Lembramos que uma isometria do R2 e uma funcao de R2 R2 que
preserva distancia. Toda isometria e uma translacao, rotacao, reflexao ou
uma composicao destas funcoes.
As propriedades preservadas pelo Grupo de Isometrias - colinearidade,
concorrencia de retas, angulos e distancias - sao chamadas propriedades Euclideanas 1 .
Teorema 2.1.1. Toda isometria f , pode ser escrita como f (x) = U0 (x) +
(u, v) onde U0 e uma isometria que fixa a origem e (u, v) R2 .
1
12
Demonstrac
ao. Seja U0 uma isometria que fixa a origem. Entao U0 (x) =
0
U0 (x) para alguma U0 , isometria que fixa a origem. De fato, U0 (x) = U0 (x)+
(0, 0) = U0 (x).
00
00
Seja U uma isometria que nao fixa a origem. Entao U (0) = (u, v),
u 6= 0 ou v 6= 0.
00
Tome U0 (x) = U (x) (u, v) U0 (0) = (0, 0) (i.e. U0 fixa a origem).
00
Entao U (x) = U0 (x) + (u, v) como queramos.
Como U0 fixa a origem U0 e uma rotacao em torno da origem ou uma
reflexao por uma reta que passa pela origem, e tem matrizes em uma das
formas:
U0 = R =
cos sen
sen cos
ou U0 =
=
cos 2 sen2
sen2 cos 2
Angulo
l indica a reta com vetor normal 6= 0, orientada por , i.e., o lado de
cima da reta e para onde o vetor aponta. l e a mesma reta, como conjunto
de pontos, porem com orientacao oposta, i.e. enquanto retas orientadas, elas
sao distintas.
O vetor v esta no semiplano positivo H (p) definido por l quando
claro
hv p, i 0 e no semiplano negativo quando hv p, i 0. E
que quando hv p, i = 0, v l .
Um angulo e o conjunto obtido pela intersecao entre dois semiplanos
positivos H (p) H (q) e mede (, ).
Dois angulos sao congruentes se existe uma isometria do R2 que aplica
biunivocamente um angulo no outro.
13
2.1.3
Trigonometria
2.1.4
Espaco Euclidiano
Nao nos concentramos muito na construcao do modelo para a Geometria Euclidiana, pois este tema ja foi tratado extensivamente no curso de
Geometria Descritiva e Desenho Geometrico, durante todo este semestre.
Estamos mais interessados em construir modelos para outras geometrias,
como veremos a seguir.
2.2
Geometria Elptica
15
3. Existem pelo menos tres pontos que nao pertencem a uma mesma
reta e todos estao sobre o mesmo plano.
IV. Axiomas de Congruencia
V. Axioma das Paralelas
1. Seja l uma reta e A um ponto nao em l. Entao toda reta que passa
por A intercepta l.
VI. Axiomas de Continuidade
1. Existe uma correspondencia biunvoca entre os n
umeros reais e os
pontos de uma reta menos um de seus pontos.
2.2.1
Plano Elptico
Demonstrac
ao. Sabemos que v S2 e r = S2 . Logo v r v
hv, i = 0.
Com isto ja nos e possvel verificar o grupo de axiomas de incidencia da
Geometria Elptica.
Nota (Geometria Diferencial): r e chamada geodesica. O vetor binormal de r num ponto p e paralelo ao vetor normal do plano que determina
r . E o vetor normal a S2 em p e paralelo ao vetor normal de r .
Dois pontos distintos determinam uma reta.
Sejam u, v S2 distintos = u v 6= 0 u 6= v.
Suponha u 6= v. Temos e r = S2 . Como hu, i = 0 = hv, i
u, v r .
Suponha agora u = v. Seja R3 tal que hu, i = 0. Como u = v
hv, i = 0 u, v r . Esta reta nao e u
nica ja que existem infinitos planos
contendo a origem, u e v, colineares.
No plano elptico nao existe paralelismo, nem a propriedade de interseccao u
nica entre duas retas. Ao contrario,
Sejam e dois planos distintos que passam pela origem, determinados pelos vetores normais e respectivamente. Tais planos interseccionam
S2 nas retas elpticas r e r , i.e., r = S2 e r = S2 3 .
Entao, r r = S2 ( ) r r = S2 tv , onde tv e a reta cujo
vetor diretor e v = . Segue que r r = {u1 , u2 }.
Mais formalmente, temos a seguinte
Proposi
c
ao 2.2.2. (Concorr
encia de Duas Retas) Duas retas elpticas
distintas r e r sempre se interseptam em dois pontos, a saber,
u1 =
1
1
e u2 =
k k
k k
Proposi
c
ao 2.2.3. (Colinearidade de tr
es Pontos) Dados tres pontos
u, v, w S2 . Temos:
u, v, w s
ao colineares det [u, v, w] = 0
Demonstrac
ao. Sejam u, v, w S2 distintos e v 6= w. Entao, u, v, w sao
colineares u, v, w r = S2 para algum vetor normal ao plano .
17
Proposi
c
ao 2.2.4. (Equa
c
ao de Concorr
encia para tr
es Retas) Dadas tres retas elpticas, digamos r , r e r . Temos:
r , r e r s
ao concorrentes det [r , r , r ] = 0
Demonstrac
ao. Sejam u1 e u2 pontos de intersecao das retas elpticas r e
r . Entao, hu1 , i = hu1 , i = hu2 , i = hu2 , i = 0.
r e concorrente com r e r hu1 , i = hu2 , i = 0 , , sao
coplanares (Euclidiana) h, i = 0 det [r , r , r ] = 0.
Existe uma correspondencia biunvoca entre os n
umeros reais e os
pontos da reta elptica menos um de seus pontos.
A demonstracao deste fato envolve a ideia de projecao estereografica.
Imagine a reta elptica (um crculo) feita de arame. A reta elptica menos
um ponto e equivalente a fazermos um corte neste arame e abrirmos o arco,
formando um meio crculo. Apoiamos este arco sobre a reta real, de forma
tangente. As semi-retas que partem do centro do crculo projetam cada
ponto da reta elptica menos um ponto sobre R de forma biunvoca.
O grafico da funcao () = (cos , sen), definida do intervalo (0, 2) em
2
R e exatamente o crculo unitario menos um ponto, S1 {(1, 0)}. Assim,
temos que, em um certo sentido, o intervalo (0, 2) e o crculo unitario menos
um ponto sao a mesma coisa.
Considere agora f : (0, 1) (0, 2), dada por f (t) = 2t e g : (0, 1)
R, definida por g(x) = tan x 12 .
Segue que g f 1 : (0, 2) R e a bijecao procurada. Portanto, existe
uma correspondencia um-a-um entre (0, 2) e R. Por transicao, o resultado
segue.
2.2.2
2.2.3
Isometrias
O conceito de isometria sera importante para obtermos a ideia de congruencia na geometria esferica.
Defini
c
ao 2.2.2. Uma isometria em S2 e uma aplicac
ao U : S2 S2 que
preserva dist
ancia, i.e., (U (u), U (w)) = (v, w) para todo v, w S2 .
Teorema 2.2.1. (Classifica
c
ao de Isometrias em S2 - Leonhard Euler, 1707 - 1783): Uma aplicac
ao U0 : S2 S2 e uma isometria U0
for a restric
ao de um operador ortogonal U : R3 R3
Demonstrac
ao. () Seja U : R3 R3 um operador ortogonal. Como U
preserva norma kU (u)k2 = hU (u), U (u)i = hu, ui = kuk2 U |S2 = U0 :
S 2 S2 esta bem definida.
Agora dados u, v S2 , temos
(U0 (u), U0 (v)) = hU (u), U (v)i = hu, vi = (u, v).
Logo U0 preserva a distancia esferica.
()Dada Uo : S2 S2 uma isometria na esfera, definimos U : R3
3
R , como
(
v
kvk U0 kvk
, v 6= 0
U (v) =
0
, v=0
1. U esta bem definida.
Seja u = v 6= 0 kuk = kvk
u
kuk
v
kvk .
u
kuk
e U (v) = kvk U0
v
kvk
u
Como U0 e isometria e esta bem definida em S2 , temos U0 kuk
=
u
v
v
, ja que kuk
e kvk
tem norma igual a um, i.e., pertencem ao S2 .
U0 kvk
Segue que U (u) = U (v).
2. U e ortogonal.
D
E
D
E
v
v
v
v
kU (v)k2 = kvk Uo kvk
, kvk Uo kvk
= kvk2 Uo kvk
, Uo kvk
=
kvk2
kvk2
hv, vi = kvk2 .
3. A restricao de U ao S2 e U0 .
/ S2 , logo U |S2 = kvk U0
U |S2 = Uo , pois v = 0
kvk = 1, temos:
U |S2 (v) = U0 (v)
2.2.4
v
kvk
. Como v S2
Congru
encia
k k
u=
e
20
k k
2.2.5
Trigonometria
- angulo = (, ).
- c = (u, v).
Lema 2.2.1. Estabelecida a notac
ao acima, temos
= h, vi v,
= h, wi w,
= h, ui u
k k = sen(a)sen(c)sen()
k k = sen(a)sen(b)sen()
Pelo Lema anterior (igualdade das normas) o resultado segue.
22
cos(c) cos(a)cos(b)
sen(a)sen(b)
Demonstrac
ao. (Lei dos Senos) - A demonstracao decorre diretamente da
proposiccao anterior. Como sen()sen(b)sen(c) = sen(a)sen()sen(c), temos
sen()sen(b) = sen(a)sen()
sen()
sen()
=
sen(a)
sen(b)
A conta e analoga para as outras igualdades e o resultado segue.
(Lei dos Cossenos) - Temos h, i = hv w, w ui = 2 hhv, wi , hw, uii
hhv, ui , hw, wii = cos(v, w)cos(w, u) cos(v, u) = cos(a)cos(b) cos(c)
Por outro lado, h, i = kk kk cos(, ) = sen(a)sen(b)cos( ) =
sen(a)sen(b)cos()
Para apresentarmos o u
ltimo teorema desta secao precisamo antes compreender como calcular areas de luas da esfera unitaria.
Arquimedes considerava seu mais belo teorema aquele que estabelece a
igualdade entre as areas de uma esfera de raio r e de um cilindro circunscrito
Area(4
uvw ) = + +
consequentemente, + + > .
2
Identidade de Lagrange: ha b, c di = det
23
ha, ci
hb, ci
ha, di
hb, di
Demonstrac
ao. Podemos calcular as areas das luas
L = 2, L = 2, L = 2
Considere as luas simetricas L . Elas tem de mesma area das luas L
Mas, 4uvw = L L L e 4
es
uvw = L L L aparecem tr
vezes cada.
Por isso, para o calculo da area, devemos escrever
2
Area(S
) = 2 + 2 + 2 + 2 + 2 + 2 2Area4
uvw 2Area4uvw
4 = 4( + + ) 4Area(4)
uvw
Area(4)
uvw = ( + + )
Como a area e uma grandeza positiva, temos ( + + ) > 0
( + + ) >
2.3
Geometria Projetiva
Voce ja pensou porque ao viajar por uma estrada que tem lados, supostamente paralelos, eles parecem se encontrar num ponto muito distante? Ou
em como pode ser possvel retratar numa tela bidimensional uma paisagem
tridimensional?
Ao refletirmos sobre tais questoes percebemos que a Geometria Euclidiana a qual estamos tao habituados parece nao ser um modelo da realidade
tao proximo da forma como a visualizamos, quanto pensavamos.
Tambem chamada Geometria Elptica Simples, a Geometria Projetiva
procura apresentar um modelo coerente com nossa percepcao de mundo.
certamente a mais simples, com dois grupos axiomaticos apenas, o de
E
incidencia e o de continuidade, nao envolvendo problemas de congruencia e
de ordem.
Axiomas
O alemao Karl Georg Christian von Staudt (1798-1867) foi o primeiro
matematico que viu a possibilidade de construir uma Geometria logica sem
o conceito de congruencia. Na sua epoca as atencoes estavam voltadas para
o exame de estruturas geometricas simples. Uma tal geometria define-se,
essencialmente, postulando axiomas de incidencia. Mas o primeiro a propor
24
2.3.1
Plano Projetivo
25
Rela
c
ao entre RP2 e S2
Para cada v RP2 podemos determinar dois pontos na esfera unitaria
u=
v
v
e seu antpoda, u =
kvk
kvk
Segue que v = u = u.
Assim,
|S2 = 0 : S2 RP2
u 7
u
0 e sobrejetora.
o
n
v
v
S2 tal que (u) =
, u = kvk
De fato, dado v RP2 , u = kvk
(u) = v
Isto nos da uma ideia: podemos construir o plano projetivo sobre S2 !
Sejam u, v S2 . Entao a relacao de equivalencia se torna
u v u = v ou u = v e
RP2 = S2 /
isto e v RP2 pode ser representado por u = (u1 , u2 , u3 ) S2 com
u3 6= 0, ou seja, estamos no hemisferio norte da esfera,
He3 = u S2 : hu, e3 i = u3 0
|He3 = 0 : He3 RP2 e sobrejetora.
Dado v RP2 , existe
v
u = kvk
S2 , se u3 > 0
u, u S2 , se u3 = 0
Considere a reta elptica re3 S2 ,
re3 = u S2 : u3 = 0
entao os pontos da imagem de re3 por 0 sao chamados pontos ideais e
representados por I .
Agora sim, obtivemos uma bijecao 0 : He3 /re3 RP2 /I 3 .
3
Ou seja, estamos identificando todos os pontos pertencentes a reta re3 , obtida pela
intersec
ao da esfera unit
aria com o plano xy. Identificar traz consigo a ideia de que
todos esses pontos passam a ser representados como um u
nico e mesmo ponto no conjunto
quociente.
26
2.3.2
Retas Projetivas
2.3.3
partir de agora indicado por RP2 e denominado plano projetivo dual. Assim
r RP2 RP2
v
r S2 v =
kvk
v
kvk
r
Demonstrac
ao. (Existencia) Sejam a, b S2 representantes das classes de
equivalencias dos pontos projetivos v, w RP2 dados, respectivamente.
Como v 6= w por hipotese, entao b 6= a.
Considere o plano , onde = a b. e o u
nico plano que contem
2
a, b e a origem. Alem disso, S = r e (r ) = r e reta projetiva.
Como a e b sao pontos de r , suas imagens por pertencem a r .
(a) = a = v e (b) = b = w
28
= () = (a b) = (a) (b) = v w = v w
(Unicidade) Suponha que exista r 6= r passando por v e w. Como
r 6= r 6= .
Por definicao, r e a reta projetiva pertencente a RP2 determinada pela
projecao da geodesica r = S2 (Atencao: lembre que, sendo r uma
geodesica, necessariamente passa pela origem).
Sabemos que dado so existe um plano correspondente. Logo, como
6= 6= 6= . Alem disso, se a e b sao representantes de v e
w, respectivamente e = a b, nao passa por a e b.
Isto implica que as imagens de a e b pela projecao nao pertencem a
r (a) = v
/ r e (b) = w
/ r contradicao!
Logo r e u
nica.
Proposi
c
ao 2.3.3. (Concorr
encia de Duas Retas) Duas retas projeti2
vas distintas, , RP tem um u
nico ponto em comum, a saber,
v = RP2
Diz-se que tres pontos u, v, w RP2 sao colineares se existe uma reta
projetiva incidindo sobre eles.
Proposi
c
ao 2.3.4. (Equa
c
ao de Colinearidade para Tr
es Pontos)
2
Dados tres pontos u, v, w RP temos
u, v, w s
ao colineares se, e somente se, det [u, v, w] = 0
Demonstrac
ao. Sejam u 6= v 6= w RP2 . Entao u, v, w sao colineares
r incidindo sobre eles (contendo a origem) tal que S2 = r
e 0 (r ) contem estes pontos.
Isto ocorre, se, e somente se, contem os representantes das classes
dos tres pontos projetivos, u, v, w que obviamente sao n
ao nulos e n
ao
colineares.
Observe que v, w (v w) = v w (ou (v w)) e
neste contexto, u hu, i = 0.
Portanto, u, v, w hu, v wi = 0 det[u, v, w] = 0.
Proposi
c
ao 2.3.5. (Equa
c
ao de Concorr
encia para Tr
es Retas) Da
das tres retas projetivas , , RP2 , temos
as retas , , s
ao concorrentes se, e somente se, det [, , ] = 0
Uma reta projetiva menos um de seus pontos e um modelo de uma
reta euclidiana.
29
2.4
Geometria Afim
2.4.1
Plano Afim
30
2.4.2
Retas Afim
31
32
Captulo 3
Teorema de Menelau
Menelau de Alexandria viveu por volta do ano 100 d.C., na Grecia. Teon,
comentador de Alexandria, menciona que Menelau escreveu seis livros sobre
cordas de um crculo, alem de muitos outros trabalhos que se perderam.
Tres livros de seu tratado Sphaerica se preservaram, em arabe.
O livro II trata de astronomia, mas nos livros I e III encontra-se a primeira definicao de tri
angulo esferico. O trabalho procura demonstrar a
validade de varias proposicoes de Euclides sobre triangulos planos para o
caso esferico. Alem disso, demonstra que a soma dos angulos internos de
um triangulo esferico e menor que 180 .
No livro III encontra-se o Teorema de Menelau, que enunciamos logo
apos a seguinte
Defini
c
ao 3.0.1. Um ponto que se situa em uma reta pelo lado de um
tri
angulo, mas que n
ao coincide com nenhum dos vertices do tri
angulo,
chama-se ponto de Menelau do tri
angulo relativamente a este lado.
Teorema 3.0.1. (Teorema de Menelau) Considere o tri
angulo 4ABC.
Seja l uma reta que intersecciona os lados BC, CA e AB (ou seus prolongamentos) em tres pontos distintos P, Q, R, respectivamente. Ent
ao:
AR BP CQ
= 1
RB P C QA
Demonstrac
ao. (1) Pelo Teorema Fundamental da Geometria Afim 1 , sabemos que existe uma transformacao afim t que leva os pontos A, B, C sobre
1
Esta demonstrac
ao utiliza conceitos n
ao apresentados aqui. Optamos por inclu-la
com o objetivo de despertar a curiosidade do leitor. Recomendamos a leitura do captulo
2 da referencia [2] ou do captulo sobre Geometria Afim, do trabalho Geometria no Plural
- A vis
ao de Klein, j
a citado, para uma melhor compreens
ao desta demonstrac
ao.
33
AR
R0 B 0
0 0
B P
0 0
P C
0
=
=
C Q
Q0 A0
c1
c1
0c = c
c
0
c
m
c =
1+ m
m+c
1c
1
m+1
= (m+c)
c1
0 1c
m+1
Segue que
AR BP CQ
= 1
R0 B 0 P 0 C 0 Q0 A0
Como t1 e uma transformacao afim, preserva proporcao ao longo de
0
0
0
retas, portanto leva os pontos P , Q , R devolta aos originais P, Q, R, de tal
forma que
AR BP CQ
= 1
RB P C QA
como queramos.
BP
BY
=
,
PC
CZ
Resulta que
AR BP CQ
= 1
RB P C QA
34
CQ
CZ
=
QA
AX
AR BP CQ
= 1
RB P 0 C QA
0
Segue que
BP
P0C
BP
PC
A partir da Forma Trigonometrica do Teorema de Menelau, que enunciamos a seguir, o matematico estendeu suas descobertas para o caso esferico.
Encerramos nosso trabalho apresentando estes resultados.
Proposi
c
ao 3.0.2. Ligando-se o vertice A de um tri
angulo ABC ao ponto
Demonstrac
ao. Seja h o comprimento da altura baixada do vertice A sobre
o lado BC. Entao temos:
= (AB)[(AD)senBAD]
\
\
BD
ABsenBAD
h BD
2Area(4ABD)
()
=
=
=
DC
h DC
\
\
2Area(4ADC)
(AC)[(AD)senDAC]
ACsenDAC
\
senCBQ
\
senQBA
[
senACR
\
senRCB
se, e somente se
BP CQ AR
= 1
P C QA RB
O que completa a prova.
36
!
= 1
Teorema 3.0.4. Sejam P, Q, R pontos de Menelau relativos aos lados BC, CA, AB
de um tri
angulo ABC e seja O um ponto do espaco, fora do plano do
tri
angulo ABC. Ent
ao os pontos P, Q, R s
ao colineares se, e somente se,
\ senCOQ
\ senAOR
[
senBOP
= 1
\
[ senROB
\
senP
OC senQOA
Demonstrac
ao. Sabemos que pelos pontos OAB passa um plano, OAB ,
portanto temos um triangulo plano 4OAB. Consideramos ainda a reta
0
senC Q
senC\
OQ0
=
0
senQ0 A0
\
senQ
OA0
0
senA R
senA\
OR0
0
0 =
0
senR B
senR\
OB 0
entao o resultado segue imediatamente do Teorema anterior. Conclua a
demonstracao.
37
Refer
encias Bibliogr
aficas
[1] Andrade, Placido Francisco de Assis & Barros, Abdenago Alves de,
Introduac
ao `
a Geometria Projetiva, XIII Escola de Geometria Diferencial, Instituto de Matematica e Estatstica da Universidade de Sao
Paulo, 26 a 30 de julho de 2004.
[2] Brannan, David A., Esplen, Matthew F. & Gray, Jeremy J., Geometry, University Press, Cambridge, UK, 1999.
[3] Eves, Howard, A Survey of Geometry, Allyn and Bacon Inc., Boston,
USA, 1974.
[4] Eves, Howard, Introduc
ao `
a Hist
oria da Matem
atica, Editora da Unicamp, Campinas, SP, 2004.
38