Professional Documents
Culture Documents
Introducao a
Geometria Projetiva
Com tratamento vetorial
Prefacio
Este livro foi elaborado para ser um texto de Introducao a Geometria Proje-
tiva, disciplina obrigatoria para os alunos do terceiro perodo dos cursos de Li-
cenciatura e de Bacharelado de Matematica da Universidade Federal do Ceara. O
pre-requisito e Geometria Analtica com tratamento vetorial. Foi dentro desta mol-
dura que foi elaborado, mas ele e auto suciente no que diz respeito a sua leitura.
A escolha do tratamento vetorial nos obriga a uma rapida introducao de Algebra
Linear. Para isto, escolhemos um extrato do livro [An2].
Os topicos apresentados consideram o desenvolvimento da Geometria do ponto
de vista axiomatico, dos gregos ate Hilbert, embora nos xemos na construcao de
modelos, fugindo da apresentacao sintetica. Subjacente a estrutura do texto ca a
trajetoria historica. Os autores nao sao especialistas em Historia da Matematica,
portanto, para elaboracao desta parte coletamos as informacoes em varios e, acre-
ditamos, bons livros sobre o assunto. Com isto, tentamos transmitir ao estudante
o esforco desprendido na sistematizacao da Geometria ao longo de milenios, bem
como tentamos valorizar o estudo da Historia da Matematica, relegada a um se-
gundo plano nas nossas Graduacoes.
A apresentacao deixa claro as ideias e os conceitos surgidos ao longo do de-
senvolvimento da Matematica. Alem disto, o tratamento vetorial torna o conheci-
mento accessvel a todos estudantes dos primeiros anos da Universidade nas areas
de Ciencias Basicas ou Tecnologicas.
O conteudo esta programado para ser exposto em 50h, sem atropelos. O desen-
volvimento culmina com o elegante estudo de conicas utilizando o Plano projetivo.
Agradecemos aos Professores do Departamento de Matematica da UFC, Jose
Afonso de Oliveira, Francisco Pimentel, Aldir Brasil, Fernando Pimentel e, par-
ticularmente, ao Professor Antonio Caminha pelas correcoes sugeridas. Ficamos
lisonjeados e em debito com os organizadores da XIII Escola de Geometria 2004-
USP pelo convite para lecionar um minicurso e pela publicacao do texto.
1 Historia 2
1.1 Geometria classica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Os Elementos de Euclides . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 Os Axiomas de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2 Arquitetura do texto 11
2.1 Estrutura do livro . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.2 Genealogia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.3 Isometria e Congruencia . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.4 Leitura complementar . . . . . . . . . . . . . . . . . . . . . . . . . . 14
II ALGEBRA LINEAR 18
3 O espaco vetorial Rn 19
3.1 O conjunto Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.2 O espaco vetorial Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.3 Subespaco vetorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.4 Independencia linear . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.5 Base e dimensao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.6 Leitura complementar . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4 Produto interno 33
4.1 Produto interno e norma . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.2 Angulo entre vetores . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
4.3 Produto vetorial em R3 . . . . . . . . . . . . . . . . . . . . . . . . . 36
5 Transformacoes lineares 39
5.1 Transformacoes lineares . . . . . . . . . . . . . . . . . . . . . . . . . 39
SUMARIO iii
5.2 Matriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
5.3 Operacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
5.4 Invertibilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
5.5 Operadores lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
5.6 Autovalores e autovetores . . . . . . . . . . . . . . . . . . . . . . . . 46
5.7 Teorema espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
6 Isometrias do Rn 49
6.1 Translacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
6.2 Operadores ortogonais . . . . . . . . . . . . . . . . . . . . . . . . . . 51
6.3 Classicacao das isometrias . . . . . . . . . . . . . . . . . . . . . . . 53
6.4 *Leitura complementar . . . . . . . . . . . . . . . . . . . . . . . . . . 55
7 Geometria Euclidiana 57
7.1 Esferas e hiperplanos . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
7.2 Um modelo de plano Euclidiano . . . . . . . . . . . . . . . . . . . . . 59
7.3 Um modelo de espaco Euclidiano . . . . . . . . . . . . . . . . . . . . 62
8 Geometria Elptica 66
8.1 Distancia esferica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
8.2 Plano elptico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
8.3 Retas elpticas orientadas . . . . . . . . . . . . . . . . . . . . . . . . 72
8.4 Plano elptico dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
8.5 Isometrias de S2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
8.6 Congruencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
9 Trigonometria elptica 78
9.1 Lei dos senos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
9.2 Area de triangulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
9.3 *Triangulo dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
10 Geometria Projetiva 87
10.1 O plano projetivo RP2 . . . . . . . . . . . . . . . . . . . . . . . . . . 88
iv SUMARIO
11 Colineacao 100
11.1 Operador linear e colineacao . . . . . . . . . . . . . . . . . . . . . . . 100
11.2 Construcao de colineacoes . . . . . . . . . . . . . . . . . . . . . . . . 102
11.3 Teorema fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . 105
11.4 Teorema de Papus . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
11.5 Teorema de Desargues . . . . . . . . . . . . . . . . . . . . . . . . . . 113
12 Conicas 115
12.1 Cones em R3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
12.2 Quadricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
12.3 Correlacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
12.4 Polaridades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
12.5 Conicas em RP2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
12.6 Retas tangentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
12.7 Construindo conicas . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
12.8 Teorema de Pascal . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
12.9 Teorema de Brianchon . . . . . . . . . . . . . . . . . . . . . . . . . . 136
12.10Leitura complementar . . . . . . . . . . . . . . . . . . . . . . . . . . 137
VI APENDICE 140
Conjuntos
R. . . . . . . . . . . . . . . . . . . . . . . . . . . .Conjunto dos numeros reais
Rn . . . . . . . . . . . . . . . . Espaco vetorial das n-uplas ordenadas
E1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Reta Euclidiana
E2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Plano Euclidiano
E3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Espaco Euclidiano
S2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Esfera unitaria
S2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Esfera unitaria dual
RP2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Plano projetivo
RP2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Plano projetivo dual
AP2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Plano am
Letras gregas
. . . . . . . . . . . . . . . alfa . . . . . . . . . . . . . . . mu
. . . . . . . . . . . . . . beta . . . . . . . . . . . . . . . . . ni
, . . . . . . . . . . . gama , . . . . . . . . . . . . . qui
, . . . . . . . . . . . delta .................. o
, . . . . . . . . . . epsilon , , . . . . . . . . . . . pi
. . . . . . . . . . . . . . . zeta , . . . . . . . . . . . . . . . ro
. . . . . . . . . . . . . . . . eta , , . . . . . . . . sigma
, , . . . . . . . . . .teta . . . . . . . . . . . . . . . . tau
. . . . . . . . . . . . . . . . iota , . . . . . . . . . upsilon
. . . . . . . . . . . . . . . kapa , , . . . . . . . . . . . .
, . . . . . . . . . lambda , . . . . . . . . . . . . . psi
, . . . . . . . . . . omega
Smbolos classicos
v = (x, y) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Vetor v R2
v = (x, y, z) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Vetor v R3
u, v . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Produto interno canonico de u, v Rn
v . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Norma de um vetor v Rn
d(p, q) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Distancia entre os pontos p, q Rn
(u, v) . . . . . . . . . . . . . Distancia entre u, v S2 ; angulo entre os vetores u, v R3
[v1 , v2 , ..., vk ] . . . . . . . . . . . . . . . Matriz n k cujas colunas sao os vetores vi Rn
[A], [B], [C] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Matrizes com entradas reais
[A(e1 ), A(e2 ), ..., A(en )] . . . . . . . . . Matriz canonica de uma transformacao linear
det[A]. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Determinante da matriz quadrada [A]
v = (x : y : z) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ponto projetivo v RP2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Particao de um conjunto
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Relacao de equivalencia
A/ . . . . . . . . . . . . . . . . . . . . . .Espaco quociente por uma relacao de equivalencia
P(A) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .O conjunto das partes de um conjunto A
Smbolos especiais
[[v1 , v2 , ..., vn ]] . . . . . . . . . . . . . . . Subespaco vetorial gerado por v1 , v2 , ..., vn Rn
uv = u v . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Produto vetorial de u, v R3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Vetor em R3 normal a um plano
. . . . . . . . . . . . . . . . . . . . . . . Plano em R3 contendo a origem com vetor normal
(p) . . . . . . . . . . . . . . . . . . . . . . . . . . .Plano em R3 contendo p com vetor normal
r = S2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Reta elptica: grande crculo de S2
r . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Reta projetiva: subconjunto de RP2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . Reta projetiva: elemento do projetivo dual RP2
Parte I
HISTORIA E ARQUITETURA
DO TEXTO
Captulo 1
Historia
Para deixar claro a estrutura didatica na qual o texto esta desenvolvido, apre-
sentaremos uma breve historia da Geometria. 1
1. Nocoes comuns
a) Coisas que sao iguais a uma mesma coisa tambem sao iguais;
b) Se iguais sao adicionados a iguais, os totais sao iguais;
c) Se iguais sao subtrados de iguais, os restos sao iguais;
d) Coisas que coincidem uma com a outra sao iguais;
e) O todo e maior que qualquer uma de suas partes.
3. Definicoes
i) 23 definicoes que dizem respeito a ponto,
reta, angulo, crculo, triangulo, quadrilatero, etc.
Arquimedes de Siracusa (287 aC 212 aC) considerado um dos tres maiores ma-
tematicos de todos os tempos, junto com o ingles Isaac Newton (1643 1727) e o
alemao Johann Carl Friedrich Gauss (1777 1855). Seu metodo para calculo de
areas guarda muita semelhanca com o Calculo Integral utilizado nos dias atuais.
Arquitetura do texto
Um dos nossos interesses ao apresentar o sistema
axiomatico de Hilbert e deixar claro como estarao
organizados ao longo do livro os topicos que estu-
daremos. Daremos a seguir uma visao rapida da
estrutura didatica escolhida. Assumiremos que o
leitor esta familiarizado com os principais resulta-
dos de Geometria Euclidiana, pois as outras Ge-
ometrias serao estudadas estabelecendo analogias
com ela.
Algebra Linear.
Com isto, surge a Geometria Analtica, que nao e um ramo da Geometria como
o termo nos induz a pensar, mas um poderoso metodo para solucionar problemas.
Fixado um sistema de eixos cartesianos, podemos fazer uma identicacao canonica
entre um plano Euclidiano E2 com o conjunto algebrico R2 e entre um espaco
Euclidiano E3 com o R3 . Tais identicacoes permitem transcrever varios problemas
geometricos para uma linguagem algebrica.
Alem disto, e possvel construir e estudar modelos (superfcies bidimensionais)
para as outras principais Geometrias classicas surgidas a partir do historicamente
controvertido Axioma das Paralelas.
Antecipemos que a ideia de continuidade estara sempre presente e sera utilizado
sem formalizacao maior. Se denotamos por P2 um dos modelos, as retas r P2
serao contnuas no seguinte sentido.
2.2 Genealogia
Como ressaltamos, o sistema axiomatico de Hilbert e organizado em cinco grupos:
1. incidencia;
2. ordem;
3. congruencia;
4. paralelismo;
5. continuidade.
As superfcies que estudaremos sao criadas a partir desta divisao axiomatica. Postula-
se grupos de axiomas, algumas vezes com pequenas modicacoes dos Axiomas de
Hilbert, para criar um modelo para a Geometria estabelecida.
A Geometra Projetiva e certamente a mais simples, com dois grupos axiomaticos,
o de incidencia e o de continuidade.
Na Geometria Elptica sao considerados todos os grupos, exceto o de ordem;
nega-se a existencia do paralelismo e nao e exigido a unicidade de intersecao de
retas.
2.3. ISOMETRIA E CONGRUENCIA 13
Isto provoca uma diferenca substancial entre elas sob varios aspectos, inclusive sobre
as propriedades do polgono mais simples, o triangulo. Um resumo das diferencas,
levando em conta o postulado das paralelas, pode ser feito da seguinte forma.
a) Geometria Parabolica (ou Euclidiana): por um ponto fora de uma reta passa
apenas uma reta paralela a ela. O modelo considerado sera o R2 , ponto de
referencia em torno do qual o texto se desenvolve. Como sabemos, nesta
Gemetria a soma das medidas dos angulos internos de um triangulo e igual a
.
b) Geometria Elptica: por um ponto fora de uma reta nao passam retas paralelas
a ela. Estudaremos como modelo a esfera unitaria S2 . Neste caso, a soma das
medidas dos angulos internos de um triangulo e maior que .
c) Geometria Hiperbolica (Nao Euclidiana1 ) por um ponto fora de uma reta
passa mais de uma reta paralela a ela. Usualmente o modelo considerado e
o disco unitario do plano Euclidiano, chamado de disco de Poincare. Aqui, a
soma das medidas dos angulos internos de um triangulo e menor que .
I Termos indefinidos
1. Ponto, reta, plano, pertence, esta entre e congruencia.
II Axiomas de incidencia
1. Para cada dois pontos distintos existe uma (unica) reta
que os contem.
2. Toda reta contem pelo menos dois pontos.
3. Existem pelo menos tres pontos que nao estao sobre uma
mesma reta e todos os pontos estao sobre o mesmo plano.
III Axiomas de Ordem.
1. Se um ponto B esta entre A e C, entao os tres pontos
pertencem a uma mesma reta e B esta entre C e A.
2.4. LEITURA COMPLEMENTAR 15
trudas contiguamente de A ao longo do raio AB passara
alem do ponto B.
2. Axioma da Completude da Reta: Uma extensao de um con-
junto de pontos sobre uma reta com suas relacoes de
congruencia e ordem que poderiam preservar as relacoes
existentes entre os elementos originais, bem como as pro-
priedades fundamentais de congruencia e ordem que se-
guem dos axiomas acima (menos o das Paralelas), e im-
possvel.
Em 343 aC, Felipe, pai de Alexandre, chamou-o para educar o lho, fato que
criou uma grande afeicao entre o losofo e o futuro conquistador. Apos ser
(um excelente) governador de uma regiao da Macedonia, voltou a Atenas onde
fundou o famoso Liceu.
O Liceu foi a primeira Universidade, com o signicado atual do termo. Ao
contrario da Academia, instituicao destinada aos aristocratas, Aristoteles re-
quisitava seus alunos na classe media. E a diferenca continuava no metodo
de ensino. Seus alunos eram dirigidos para o estudo de Ciencias onde classi-
cavam plantas, animais e seus habitos, estudavam Epistemologia, Filosoa,
Anatomia, etc. O Liceu tinha biblioteca, jardim zoologico e museu natural,
mantidos com a ajuda nanceira de Alexandre e exemplares trazidos pelos
pescadores, exploradores e cacadores, a seu pedido.
Aritosteles foi cientista, professor e losofo. Suas aulas matutinas eram minis-
tradas caminhando com seus alunos pelos porticos que circundavam o Liceu,
escola contruda no meio dos Jardins de Lcio. E por isso que sua escola e ape-
lidada de peripatetica (ambulante). Pelas tardes abria-se a Universidade para
a populacao onde eram proferidas conferencias sobre diversos assuntos. Em-
boranao fosse matematico, deixou registrado uma demonstracao mostrando
que 2 nao era comensuravel. Seu rigor cientco, levou-o a uma losoa na
qual os termos empregados eram precisamante denidos. Eudoxo inspirou-se
em Aristoteles para introduzir na Matematica o sistema axiomatico.
Prestes a morrer, pediu para ser sepultado ao lado da esposa, na ilha de Lesbos
[Mon].
Parte II
ALGEBRA LINEAR
Captulo 3
O espaco vetorial Rn
Neste captulo, estudaremos os conjuntos
algebricos R e R . Ressaltamos que discor-
2 3
3.1 O conjunto Rn
Denotamos por Rn o conjunto das n-uplas ordenadas de numeros reais, ou seja,
Rn = {(v1 , v2 , ..., vn ); vi R para todo inteiro i, 1 i n}.
Os elementos deste conjunto sao chamados de pontos e, por simplicidade, muitas
vezes indicaremos um ponto de Rn como v = (v1 , v2 , ..., vn ). Num primeiro mo-
mento, estes sao os conjuntos para os quais voltaremos nosso interesse. Observe
que v = (v1 , v2 , ..., vn ) e w = (w1 , w2 , ..., wn ) sao iguais, v = w, se, e somente
se, vi = wi para todo i = 1, 2, ..., n. Para organizar a escrita utilizaremos letras
minusculas para indicar os pontos de Rn . Por exemplo,
a = (a1 , a2 , ..., an ), p = (p1 , p2 , ..., pn ), w = (w1 , w2 , ..., wn ), etc.
A maior parte do texto esta relacionada com os conjunto R2 e R3 , e por isto reserva-
remos uma notacao especial para indicar seus elementos. Para o primeiro conjunto
indicaremos um par ordenado por v = (x, y) e uma tripla ordenada em R3 sera
registrada na forma v = (x, y, z).
As ideias expressas pelos termos ponto, reta, plano e espaco empregadas na Geo-
metria Euclidiana sao auto-explicaveis, nao suportam uma denicao. Denotaremos
20 CAPITULO 3. O ESPACO VETORIAL RN
sua imagem pela aplicacao P indicada por V (v1 , v2 ) em lugar de P (v1 , v2 ), o ponto
w = (w1 , w2 ) tera sua imagem indicada por W (w1 , w2 ), etc. Uma regra notacional
similar sera utilizada para R3 .
Comentario Neste texto, nao estudaremos Geo-
metria Analtica, mas lancaremos mao de uns pou-
cos resultados desta disciplina que sao do conheci-
mento de todos desde o Ensino Medio. No desen-
volvimento da teoria nos depararemos com varios
subconjuntos R2 denidos por uma equacao
linear homogenea, por exemplo, = {(x, y)
R2 ; x 3y = 0}.
Um tal conjunto tem como imagem pela aplicacao P : R2 E2 uma reta que
contem a origem do plano Cartesiano cuja equacao linear homogenea que a dene e a
mesma, {P (x, y) E2 ; x 3y = 0}. A identicacao e tao natural que continuaremos
a designar pela mesma letra a imagem, = {P (x, y) E2 ; x 3y = 0}, embora os
dois sejam subconjuntos de conjuntos diferentes.
Do mesmo modo, os subconjuntos do R3 denidos
por uma equacao linear homogenea, por exemplo,
= {(x, y, z) R3 ; x + y + z = 0}, tem como
imagem pela aplicacao P : R3 E3 um conjunto
denido pela mesma equacao linear homogenea,
{P (x, y, z) E3 ; x + y + z = 0}. Como sabemos,
este ultimo conjunto e um plano que contem a ori-
gem do espaco Cartesiano. Tambem a imagem de
sera indicada pela mesma letra. 2
Exemplo 3.2.1 Um vetor pode ser representado por varios segmentos orientados
diferentes. Vejamos duas representacoes para v = (1, 2) R2 . Se escolhermos os
pontos R(2, 0) e S(3, 2) em E2 , o segmento orientado RS representa v pois
1= 32
.
2= 20
Se escolhermos os pontos U (1, 1) e V (2, 3) o segmento orientado U V tambem re-
presenta o mesmo vetor v pois
1= 21
. 2
2= 31
a) A representacao geometrica dos reais R e feita denindo-se a aplicacao P :
R E 1 , onde P (x) e o segmento orientado OP cujo ponto inicial e a origem
O e o ponto nal e o ponto da reta Euclidiana cuja abscissa e P (x) = x.
Definicao 3.3.2 Diremos que um vetor w Rn e uma combinacao linear dos ve-
tores v1 , v2 , ..., vk Rn se existem escalares a1 , a2 , ..., ak R, chamados coecientes
da combinacao linear, tais que w = a1 v1 + a2 v2 + + ak vk .
O conjunto formado por todos os vetores que sao combinacoes lineares dos ve-
tores v1 , v2 , ..., vk Rn sera indicado por [[v1 , v2 , ..., vk ]] Rn . Mais precisamente,
Exemplo 3.3.2 Consideremos um subespaco denido por uma equacao linear ho-
mogenea, digamos = {(x, y, z) R3 ; x y + 3z = 0}.
Facamos uma manipulacao algebrica. Um ve-
tor v = (x, y, z) pertence a se, e somente se,
v = (y 3z, y, z). As igualdades
v = (y 3z, y, z)
= (y, y, 0) + (3z, 0, z)
= y(1, 1, 0) + z(3, 0, 1),
1. Existem varias outras tecnicas para construir subespacos vetoriais. Por exemplo,
mostre que se 1 e 2 sao dois subespacos vetoriais de Rn , entao a intersecao 1 2
tambem o e.
2. Seja = {v1 , v2 , ..., vk1 , vk } um conjunto ordenado de Rn .
1. E verdade que vi [[v1 , v2 , ..., vk ]]?
2. Mostre que [[v1 , v2 , ..., vk1 ]] [[v1 , v2 , ..., vk1 , vk ]].
3. Pode ocorrer a igualdade [[v1 , v2 , ..., vk1 ]] = [[v1 , v2 , ..., vk1 , vk ]]?
ii) Quando existe uma combinacao linear para o vetor nulo com coecientes nao
todos nulos, diremos que o conjunto ordenado e linearmente dependente.
Uma das facilidades da Algebra Linear e que muitas propriedades gerais sao
conhecidas examinando apenas se o vetor nulo possui aquela propriedade. Este e o
caso da combinacao linear. Se soubermos que o vetor nulo e escrito de modo unico
como uma combinacao linear, garantiremos que o mesmo ocorrera com todos os
outros vetores, e reciprocamente.
Existe uma cota superior para o numero de vetores de um conjunto ordenado
linearmente independente em Rn .
b) Existe um vetor vi que e uma combinacao linear dos vetores v1 , v2 , ..., vi1 ;
c) [[v1 , ..., v
i , ..., vk ]] = [[v1 , ..., vi , ..., vk ]] (o sinal v
i indica que o vetor vi foi su-
primido da lista).
3.5. BASE E DIMENSAO 29
Definicao 3.5.1 Seja um subespaco vetorial nao trivial de Rn . Uma base orde-
nada para e um conjunto ordenado de geradores linearmente independente.
Teorema 3.5.1 Seja Rn um subespaco nao trivial. Entao existe uma base
ordenada = {v1 , v2 , ..., vk } . Alem de = [[v1 , v2 , ..., vk ]] podemos afirmar:
a) o numero de elementos de e menor ou igual a n;
b) se o numero de elementos de e igual a n entao = Rn ;
c) todas bases ordenadas de tem o mesmo numero de elementos.
A base ordenada tem orientacao positiva se det[v1 , v2 , ..., vn ] > 0, caso contrario
diremos que ela tem orientacao negativa.
Produto interno
No captulo anterior apresentamos um conjunto algebrico formado pelas n-uplas
ordenadas de numeros reais, Rn , e induzimos no conjunto uma estrutura de espaco
vetorial real. Nosso objetivo e relacionar Rn , n = 1, 2, 3 com a Geometria Euclidi-
ana. Para isto, e conveniente introduzir uma funcao bilinear, chamada de produto
interno em Rn que servira para estabelecer conceitos tais como medida de segmentos
e medida de angulos.
Exemplo 4.2.2 Seja R3 , denido por uma equacao linear homogenea, agora
com tres variaveis. Por exemplo, examinemos o subespaco = {(x, y, z) R3 ; x
3y + 7z = 0}. Denotando por = (1, 3, 7) o vetor do R3 formado pelos coecientes
da equacao, o subespaco pode ser descrito como sendo aquele formado por todos
vetores v = (x, y, z) que sao ortogonais ao vetor . Explicitamente, = {v =
(x, y, z) R3 ; v, = 0}. Novamente, o vetor e dito ser o vetor normal ao
subespaco . 2
do R3 vale a identidade
v w2 = v2 w2 v, w2 .
Em particular, se (v, w) e a medida do angulo entre os vetores v e w, entao
v w = v wsen (v, w).
Exerccio 4.3.1 Existem varias relacoes entre os produtos interno e vetorial. De-
monstre algumas delas.
Transformacoes lineares
Faremos uma rapida revisao de transformacoes lineares enfatizando os algoritmos
classicos relacionando transformacoes lineares e matrizes. Uma transformacao linear
cujo domnio e contradomnio sao iguais e chamada de operador linear.
2. A(v) = A(w).
Uma transformacao linear possui duas propriedades basicas, quais sejam, A(o) = o
A(v) = A(v), qualquer que seja v Rn .
5.2 Matriz
Como vimos, uma transformacao linear A : Rm Rn ca completamente determi-
nada quando conhecemos os valores de A na base canonica, A(e1 ), A(e2 ),...,A(em ).
Por este e outros motivos guardamos os valores A(ei ), i = 1, ..., m, numa matriz.
= [A][u, v, w].
5.3 Operacoes
Sejam A, B : Rm Rn duas transformacoes lineares. Ressaltamos que o domnio e
o contradomnio de ambas sao os mesmos. Denimos a aplicacao soma das trans-
formacoes lineares, A + B : Rm Rn , por (A + B)(v) = A(v) + B(v). A nova
aplicacao linear assim construda e tambem uma transformacao linear.
Dado um escalar R, denimos a aplicacao multiplicacao A : Rm Rn ,
por (A)(v) = A(v). E rotina vericar que A e uma transformacao linear.
5.4 Invertibilidade
A operacao de composicao nos permite xar um novo conceito. Uma transformacao
linear A : Rm Rn e invertvel se existe uma aplicacao B : Rn Rm tal que
B A = Id : Rm Rm , e A B = Id : Rn Rn .
Aqui, o smbolo Id indica a aplicacao identidade do espaco considerado. Quando
existe uma tal aplicacao diremos que B e a inversa de A e denotaremos a aplicacao
inversa por A1 : Rn Rm .
Da Teoria de conjuntos sabemos que uma funcao entre dois conjuntos e invertvel
se, e somente se, a funcao e biunvoca. Logo, por um criterio para sobrejetividade e
injetividade citado anteriormente, podemos armar que uma transformacao linear
A : Rm Rn e invertvel se, e somente se, Im(A) = Rn e N uc(A) = {0}. Pelo
teorema do nucleo e da imagem, segue que m = n. Temos provado a
uma matriz quadrada e invertvel se, e somente se, o seu determinante e nao nulo.
a) A e invertvel;
b) N uc(A) = {0};
c) Im(A) = Rn ;
Um operador linear simetrico A : Rn Rn e dito ser positivo quando v, A(v) >
0, qualquer que seja o vetor nao nulo v Rn . O leitor pode mostrar que um operador
linear simetrico e positivo se, e somente se, todos os seus autovalores sao positivos.
Denimos um operador linear simetrico negativo de forma analoga e conclumos que
todos os seus autovalores sao negativos.
Captulo 6
Isometrias do Rn
Desejamos identicar as aplicacoes de Rn que pre-
servam a distancia entre pontos, chamadas de iso-
metrias ou movimentos rgidos. Iniciamos com a
denicao de isometria e terminamos com um Te-
orema de classicacao. Para percorrer de um ex-
tremo a outro sera necessario lancar mao de tipos
especiais de operadores lineares e estabelecer algu-
mas de suas propriedades. As denicoes, resulta-
dos e demonstracoes feitas em R3 podem ser ime-
diatamente generalizadas, para Rn , para qualquer
inteiro n > 1.
Nos estudos das geometrias com modelos, realizaremos o conceito de congruencia
estabelecendo que os objetos sao isometricos, isto e, existe uma isometria que aplica
biunivocamente um objeto sobre o outro, sejam eles, segmentos, angulos, triangulos,
etc. Fixemos duas denicoes
Uma distancia denida num conjunto S e uma funcao d : S S R que possui
as seguintes propriedades para quaisquer a, b, c S,
d1 d(a, b) 0 e d(a, b) = 0 a = b; (positiva denida)
d2 d(a, b) = d(b, a); (simetrica)
d3 d(a, b) d(a, c) + d(c, b). (desigualdade triangular)
Seja d : S S R uma funcao distancia num conjunto S. Diz-se que uma funcao
f : S S e uma isometria se f for bijetiva e d(f (s), f (t)) = d(s, t) para quaisquer
s, t S.
50 CAPITULO 6. ISOMETRIAS DO RN
6.1 Translacoes
Sabemos calcular o comprimento de vetores de Rn utilizando a norma . Agora,
iremos considerar uma funcao d : Rn Rn R, chamada de distancia, cuja in-
terpretacao geometrica e medir a distancia entre dois pontos do conjunto Rn . Por
denicao ela sera
d(v, w) = w v.
Geometricamente a distancia entre os pontos v e w e o comprimento do segmento
orientado V W . Se v = (v1 , v2 , ..., vn ) e w = (w1 , w2 , ..., wn ) entao podemos escreve-
la na forma
d(v, w) = (w1 v1 )2 + (w2 v2 )2 + + (wn vn )2 .
Numa linguagem mais tecnica, dizemos que uma aplicacao ortogonal e uma aplicacao
que preserva o produto interno. Tais aplicacoes existem. Um exemplo distinto da
identidade e a aplicacao antpoda U : Rn Rn , U (v) = v, pois para quaisquer
u, v Rn temos
U (u), U (v) = u, v = (1) (1)u, v = u, v.
Como vimos, uma translacao do Rn por um vetor a Rn e uma isometria. Se
o vetor e nao trivial, a translacao nao preserva a origem, isto e, Ta (0, 0, ..., 0)
=
(0, 0, ..., 0). Por outro lado, a unica translacao que preserva a origem e a identidade.
Entretanto, existem muitas isometrias que preservam a origem, alem da identidade.
Iniciaremos o estudo tendo como objetivos:
b) U e um operador linear.
52 CAPITULO 6. ISOMETRIAS DO RN
0 = o, U (ej )
= a1 U (e1 ) + a2 U (e2 ) + a3 U (e3 ), U (ei )
= a1 U (e1 ), U (ej ) + a2 U (e2 ), U (ei ) + a3 U (e3 ), U (ei )
= ai .
Passemos a mostrar que U e uma aplicacao ortogonal. Por um lado temos que
por outro lado, com um calculo simples vericamos que v w2 = v2 2v, w +
w2 . Logo, U (v), U (w) = v, w. Como U e uma aplicacao ortonormal, segue
que U e um operador linear ortonormal, de onde conclumos que f (v) = U (v) + a,
ou seja, f (v) = Ta U (v).
A recproca deixaremos aos cuidados do leitor. Siga o roteiro abaixo.
1o Mostre que um operador ortogonal U preserva norma.
2o U preserva distancia.
3o Mostre que a imagem da base canonica e uma base.
4o U e bijetivo.
5o Mostre que a composta de U com uma translacao e uma isometria. 2
1. Considere os planos em R3 ,
(p), onde = (3, 1, 1) e p = (0, 0, 0)
.
(q), onde = (1, 1, 1) e q = (2, 1, 2)
a) Existe translacao Tv0 : R3 R3 que aplica o primeiro plano no segundo?
b) Construa uma isometria S : R3 R3 que aplica o primeiro plano no segundo.
2. A mesma questao anterior para os planos
(p) onde = (1, 1, 2) e p = (0, 1, 1)
.
(q) onde = (2, 1, 2) e q = (3, 2, 2)
3. Encontre a equacao parametrica de um crculo de raio r = 2 quando ele esta
a) centrado no ponto p = (1, 2, 1) e contido no plano (p), onde = (3, 1, 2);
b) centrado no ponto p = (1, 2, 0) e contido no plano (p), onde = (0, 0, 1).
4. Encontre a equacao parametrica de uma elipse cujo eixo maior mede a = 2 e eixo
menor mede b = 1 centrada no ponto p = (3, 2, 0) e contido no plano (p), onde
= (0, 0, 1).
5. Dena uma funcao g : R3 R3 que deixa o plano 1 = {(x, y, z) R3 : z = 0}
invariante e transforma o crculo do exerccio 3.a) na elipse do exerccio 4.
6. Encontre a equacao parametrica de uma elipse centrada no ponto (1, 2, 1) 1 =
{(x, y, z) R3 : x y + 2z = 1} cujo eixo maior mede 3 e eixo menor mede 1.
7. Seja U : R3 R3 um operador ortogonal tal que U (e3 ) = e3 . Mostre que existe
[0, 2] tal que U (e1 ) = (cos , sen , 0) e U (e2 ) = (sen , cos, 0).
8. Prove que conjunto G formado por todas as isometrias de R3 equipado com a operacao
de composicao de funcoes e um grupo.
9. Encontre uma isometria de R3 que transforma o triangulo cujos vertices sao a =
(1, 1, 1), b = (2, 3, 1) e c = (3, 4, 5) num triangulo contido no plano z = 0 congruente
ao triangulo com um dos vertices na origem.
6.4. *LEITURA COMPLEMENTAR 55
Proposicao 6.4.1 Todo subespaco nao trivial Rn possui uma base orto-
normal.
GEOMETRIA EUCLIDIANA
Captulo 7
Geometria Euclidiana
Construir um modelo para a Geometria Euclidiana e xar um conjunto algebrico
especco, que sera chamado de plano, estabelecer quais dos seus subconjuntos
serao nomeados de retas, realizar tambem os outros termos indenidos do sistema
axiomatico, isto e, dar um signicado aos termos congruencia, esta entre, etc. e
nalmente vericar que todos os axiomas de Hilbert sao validos neste contexto.
O objetivo agora e indicar como executar todas estas tarefas no conjunto algebrico
R2 . Ficara claro o motivo pelo qual dizemos que R2 e o modelo canonico do plano
Euclidiano. A Algebra Linear sera a linguagem utilizada para a construcao do
modelo.
Axiomas da Geometria Euclidiana plana
I Termos indefinidos
1. Ponto, reta, plano, pertence, esta entre e congruencia.
II Axiomas de incidencia
III Axiomas de ordem
IV Axiomas de Congruencia
III Axioma das Paralelas
IV Axiomas de Continuidade
Como na equacao d(c, v) = r a distancia e o raio sao nao negativos, esta equacao
em termos de coordenadas dos pontos, v = (x1 , x2 , ..., xn ) e c = (c1 , c2 , ..., cn ), e
equivalente a equacao
(x1 c1 )2 + (x2 c2 )2 + + (xn cn )2 = r 2 .
Uma esfera em R2 recebe o nome de crculo. Quando o crculo tem raio r = 1
e centro na origem, c = (0, 0), diremos que ele e o crculo unitario canonico e
denotamos por S1 . Em resumo,
S1 = {(x, y) R2 ; x2 + y 2 = 1}.
A esfera em R3 centrada na origem, c = (0, 0, 0), e de raio r = 1 e denotada por
S2 e e chamada de esfera unitaria canonica. Pelo visto,
S2 = {(x, y, z) R3 ; x2 + y 2 + z 2 = 1}.
Recordamos que indicamos o produto interno canonico do Rn por , .
Iniciemos a construcao.
Chamaremos R2 de plano e seus elementos de pontos.
Um hiperplano em R2 sera chamado de reta.
Examinemos com mais vagar a denicao de reta em R2 . E conveniente xar uma
notacao para indica-la. Sejam p = (p1 , p2 ) e = (1 , 2 ) pontos em R2 . O plano com
vetor normal contendo o ponto p tem equacao l (p) : (x, y)(p1 , p2 ), (1 , 2 ) = 0,
ou seja,
l (p) : 1 x + 2 y + 3 = 0,
onde 3 = p, . Ao tomarmos como vetor normal um multiplo nao nulo de ,
digamos com
= 0, as retas sao iguais como conjuntos, l (p) = l (p), pois a
equacao desta ultima ca sendo l (p) : 1 x + 2 y + 3 = 0 e, como
= 0, os
pontos v = (x, y) R2 que satisfazem a uma equacao tambem satisfazem a outra
equacao e vice-versa
Um caso particular, porem importante, sao as retas que contem a origem. Re-
servamos uma notacao especial para elas, em lugar de escrevermos l (o) quando
o = (0, 0), omitiremos do smbolo o ponto o escrevendo simplesmente l . Sendo
assim, a equacao da reta e homogenea,
l : 1 x + 2 y = 0.
Anteriormente, utilizamos equacoes lineares homogeneas para denir um subespaco
vetorial, portanto, a reta l contendo a origem e um subespaco vetorial proprio do
R2 de dimensao 1. Uma base ordenada e formada por qualquer vetor nao nulo no
subespaco, por exemplo = (2 , 1 ) l .
Facamos um resumo do que temos ate o momento:
um conjunto, R2 , chamado de plano;
elementos deste conjunto chamados de pontos;
subconjuntos l (p) nomeados de retas;
entendemos o conceito de um ponto pertencer a uma reta (incidencia).
Desejamos que R2 seja um modelo algebrico do plano Euclidiano. Somente com os
termos xados acima ja podemos vericar que o grupo de axiomas de incidencia e
satisfeito. Por exemplo.
Dois pontos distintos determinam uma reta
Dados dois pontos distintos de R2 , digamos que sejam p = (p1 , p2 ) e q = (q1 , q2 ).
Consideramos o vetor nao nulo = q p = (q1 p1 , q2 p2 ), tomamos =
60 CAPITULO 7. GEOMETRIA EUCLIDIANA
vetores que sao multiplos positivos de e pelos vetores que sao multiplos negativos
de .
Um angulo e o conjunto obtido pela intersecao entre dois semiplanos positivos,
H (p) H (q).
Dois angulos sao congruentes se existe uma isometria de R2 que
aplica biunivocamente um angulo no outro.
Apos estas denicoes verica-se todos os axiomas de congruencia.
A medida do angulo H (p) H (q) e, por denicao, o angulo entre os vetores
e . Na notacao aqui utilizada a medida ca indicada por (, ).
Axioma das paralelas
Seja q um ponto que nao esteja esteja na reta l (p). A reta l (q) e a uma reta
paralela a primeira reta e e a unica reta paralela que incide em q. Isto e mostrado
vericando-se que o sistema de equacoes lineares fomado pelas equacoes que denem
as retas nao tem solucao.
Exemplo 7.3.1 [Plano determinado por tres pontos nao colineares] Dados
tres pontos distintos de R3 , digamos a = (1, 0, 1), b = (2, 1, 1) e c = (1, 2, 3).
Primeiro veriquemos que eles sao nao colineares calculando
1 2 1
det[a, b, c] = 0 1 2 = 3
= 0.
1 1 3
O determinante ser diferente de zero implica que eles sao nao colineares. Agora
consideremos os vetores
7.3. UM MODELO DE ESPACO EUCLIDIANO 63
u = b a = (1, 1, 0)
.
v = c a = (2, 2, 4)
e tomemos como vetor normal ao plano que desejamos construir, contendo os pontos
a, b e c, o vetor = uv = (4, 4, 0). Agora, se v = (x, y, z), calculando v a, =
0 em termos de coordenadas, obtemos a equacao : 4x + 4y + 4 = 0. E simples
vericar que as coordenadas dos pontos a, b e c satisfazem esta equacao. Portanto,
eles pertencem ao plano . 2
GEOMETRIA ELIPTICA
(dupla)
Captulo 8
Geometria Elptica
A esfera unitaria canonica S2 sera um modelo para o plano de uma geometria
chamada Geometria Elptica.
O sistema agora considerado omite o grupo de ordem do sistema axiomatico
para a Geometria Euclidiana xado por Hilbert. Como nao existe uma ordem nao
podemos denir segmentos de retas do mesmo modo pois um segmento de reta
Euclidiana e um subconjunto de uma reta denido a partir da ordem.
Mas mesmo assim, no modelo para a Geometria Elptica podemos denir o
conceito de segmento, agora de outra forma. Ao falarmos num segmento de reta
elptico com extremos A e B, e necessario ser mais preciso indicando qual seria
seu interior pois as retas elpticas sao grandes crculos da esfera S2 e dois pontos
distintos de um crculo dene dois segmentos de crculo. Feito isso, ao realizarmos
o termo indenido congruencia podemos vericar todos os axiomas deste grupo.
Uma pequena modicacao se faz necessaria no axioma 1. do grupo de congruencia.
Como nao existe ordem deve-se omitir a expressao ... um dado lado da reta.
No axioma das paralelas, postula-se que sempre ocorre intersecao entre quais-
quer duas retas e a intersecao e dupla, da o nome Geometria elptica dupla. A
regiao que no plano Euclidiano e denominada angulo tera como correspondente na
Geometria Elptica uma regiao classicamente denominada lua. No momento apro-
priado descreveremos tal regiao.
Axiomas da Geometria Elptica
I Termos indefinidos
1. Ponto, reta, plano, pertence e congruencia.
II Axiomas de incidencia
1. Para cada dois pontos distintos existe uma reta que os contem.
2. Toda reta contem pelo menos dois pontos.
8.1. DISTANCIA ESFERICA 67
3. Existe pelo menos tres pontos que nao estao sobre uma mesma
reta e todos os pontos estao sobre o mesmo plano.
IV Axiomas de Congruencia
V Axioma das Paralelas
u, v
cos(u, v) = .
u v
cos ((u, v) + (v, w)) = cos (u, v)cos (v, w) sen (u, v)sen (v, w)
= u, v v, w u v v w.
Ja temos em maos :
Proposicao 8.2.4 (Equacao de concorrencia para tres retas) Dados tres re-
tas elpticas, digamos r , r e r . Temos:
r , r e r sao concorrentes se, e somente se, det[, , ] = 0.
b) m = ( 13 , 13 , 13 ), p = ( 13 , 13 , 13 ), q = (0, 12 , 12 ).
8.5 Isometrias de S2
Realizamos a ideia de congruencia utilizando o con-
ceito de isometria.
Uma isometria em S2 e uma aplicacao U : S2 S2
que preserva distancia, ou seja, (U (v), U (w)) =
(u, v) para quaisquer pontos u, v S2 .
O proximo teorema e creditado ao matematico
suico Leonhard Euler (1707/83). Para acompanhar
a demonstracao o leitor nao pode ter omitido a lei-
tura do captulo Isometrias de Rn .
Mostre que U esta bem denida, que e um operador ortogonal e que a restricao a
esfera e a isometria U0 . 2
1. Mostre as armacoes.
(a) Toda isometria U de S2 e biunvoca.
(b) A inversa de uma isometria do plano elptico e uma isometria.
(c) Se U e uma isometria do plano elptico entao U ou U tem dois pontos xos.
(d) O conjunto das isometrias do plano elptico equipado com a operacao de com-
posicao de funcoes e um grupo.
(e) Uma isometria de S2 deixa invariante alguma reta elptica.
(f) U : S2 S2 , U (x, y, z) = (z, x, y) e uma isometria e determine uma reta elptica
invariante por U .
8.6 Congruencia
1 1
u= , u = .
2. uvw = H H H .
1. Mostre as armacoes.
(a) Angulos opostos pelo vertice tem a mesma medida.
(b) Angulos opostos pelos vertices sao congruos.
(c) A medida da Lua L e (, ).
(d) Se as medidas de duas luas sao iguais entao elas sao congruentes.
(e) Semi-planos, angulos e triangulos elpticos sao conjuntos convexos.
2. Calcule a medida do angulo das luas orientados Le1 e2 e Le1 e3 .
3. Quais dos ternos ordenados {u, v, w} determinam um triangulo uvw S2 .
a) u = (1, 0, 0), v = ( 12 , 12 , 0), w = ( 13 , 13 , 13 ).
Trigonometria elptica
Embora o leitor esteja familiarizado com a teoria de triangulos no plano Eucli-
diano recordaremos alguns resultados de trigonometria plana com a nalidade de
relaciona-los de modo natural com os topicos das proximas secoes. Dados tres pon-
tos nao colineares do plano Euclidiano, digamos A, B e C, podemos construir um
triangulo com vertices nestes pontos, triangulo que denotaremos por ABC . Usu-
almente nomeamos por , e as medidas dos angulos cujos vertices sao A, B e
C, e as medidas dos lados opostos aos vertices por a, b e c, respectivamente. Certa-
mente o leitor recorda de duas leis demonstradas ao estudarmos Trigonometria
no Ensino Medio. Elas dizem que num triangulo ABC valem as igualdades
sen sen sen
= = , c2 = a2 + b2 2ab cos .
a b c
Estas sao a Lei dos senos e a Lei dos cossenos,
respectivamente. A Lei dos cossenos na Geome-
tria Euclidiana e uma generalizacao do Teorema
de Pitagoras (a qual se reduz quando = 2 ).
Observamos ainda que o valor cos e dado pelas
medidas dos lados:
a2 + b2 c2
cos = .
2ab
Decorre da axiomatizacao da Geometria Euclidiana que a soma das medidas dos
angulos de um triangulo e igual a . O objetivo principal do captulo e mostrar que
a soma das medidas dos angulos de um triangulo elptico e maior que . Demonstra-
remos tambem leis equivalentes para triangulos elpticos bem como formulas para
o calculo de areas de triangulos.
9.1. LEI DOS SENOS 79
2. Vertice v
O lado oposto ao vertice v esta contido em
r , onde = w u.
A medida do angulo com vertice v e =
(, ).
A medida do lado oposto ao vertice v e
b = (w, u).
3. Vertice w
O lado oposto ao vertice w esta contido em r , onde = u v.
A medida do angulo com vertice w e = (, ).
A medida do lado oposto ao vertice w e c = (u, v).
= (w u) (u v)
= w, u vu u, u vw
= w, u vu
= w, u.
80 CAPITULO 9. TRIGONOMETRIA ELIPTICA
Teorema 9.1.1 (Lei dos senos e Lei dos cossenos) Seja uvw um triangulo e-
lptico. Se as medidas dos lados opostos aos vertices u, v e w sao respectivamente,
a, b e c e as medidas dos angulos com vertices u, v e w sao, respectivamente, ,
e , entao
sen sen sen cos c cos a cos b
= = , cos = .
sen a sen b sen c sen a sen b
Prova Ja vimos que sen sen b sen c = sen a sen sen c. Como o triangulo consi-
derado e nao degenerado, nenhuma parcela e zero. Simplicando o fator comum,
sen c obtemos sen sen b = sen a sen . Agora, segue imediatamente que
9.2. AREA DE TRIANGULOS 81
sen sen
= .
sen a sen b
As outras igualdades tem demonstracoes semelhantes.
Para a Lei dos cossenos, por um lado, a Identidade de Lagrange nos diz que
A = 4r 2 .
Ele e seus contemporaneos consideraram um resultado tao fascinante que inscreve-
ram na lapide de Arquimedes a gura que ilustra o teorema.
Este resultado admite uma generalizacao. Sejam
L a superfcie lateral do cilindro circunscrito a
esfera e f : L S2 , a aplicacao que a cada
p L associa ao ponto f (p) S2 obtido pela
intersecao da esfera com o segmento tendo como
ponto inicial o ponto p e perpendicular eixo do
cilindro circunscrito. A propriedade excepcional
da aplicacao f e que ela preserva areas, no sen-
tido que uma regiao R L com medida de area
m e aplicada sobre uma regiao f (R) da esfera
com a mesma medida m de area.
E com tal projecao que os cartografos constroem o mapa mundi, colocando
como eixo de simetria a reta contendo os polos norte e sul da terra. O resultado de
Arquimedes e obtido aplicando toda a regiao L, cuja imagem e a esfera.
Sendo assim, uma lua na esfera
unitaria, com angulo , e obtida
pela projecao por f de uma faixa
com altura 2 e largura . Como a
area da faixa e 2, a area da lua
tambem sera 2.
A area da esfera nao sera a soma das areas daqueles conjuntos, pois se efetuarmos
esta soma a area do triangulo elptico sera computada tres vezes, bem como a area
de seu simetrico em relacao a origem, que possui a mesma area,
uvw = L L L e
uvw = L L L .
4 = 4( + + ) 4Area (uvw ) ,
Teorema 9.3.1 (Segundas Lei dos senos e Lei dos cossenos na esfera) Se-
ja uvw um triangulo elptico. Se as medidas dos lados opostos aos vertices u, v e
w sao respectivamente, a, b e c e as medidas dos angulos com vertices u, v e w sao,
respectivamente, , e , entao
sen a sen b sen c cos + cos cos
= = , cos c = .
sen sen sen sen sen
Prova A Segunda Lei dos senos e obtida aplicando a Primeira Lei dos senos para o
triangulo dual. A Segunda Lei dos cossenos tambem e obtida aplicando a Primeira
Lei dos cossenos para o triangulo dual,
cosc cos a cos b
cos = .
sen a sen b
Fazendo as substituicoes necessarias,
cos( ) cos( ) cos( )
cos( c) = .
sen ( ) sen( )
Pelas conhecidas identidades trigonometricas cos( t) = cos t e sen ( t) =
sen t, conclumos a demonstracao. 2
GEOMETRIA PROJETIVA E
GEOMETRIA AFIM
Captulo 10
Geometria Projetiva
Na Geometria Euclidiana postula-se a existencia de retas que nao se interceptam.
Isto ocorrendo, diz-se que elas sao paralelas. Tal postulado contradiz a realidade
que apreendemos visualmente.
Quando estamos numa longa estrada em linha
reta, seus lados sao assumidos paralelos, mas
a nossa sensacao nos diz que elas concorrem
num ponto muito longe, chamado ponto de fuga.
No ponto de fuga as duas retas estao se inter-
ceptando. Se existe uma outra estrada em li-
nha reta, cruzando a primeira, ao olharmos na
direcao desta outra, veremos o mesmo fenomeno,
agora, o ponto de fuga e diferente.
Este fenomeno e captado por uma fotograa ou por uma pintura, sugerindo
que a Geometria Euclidiana e um modelo da realidade nao tao proximo das nossas
sensacoes quanto estamos acostumados a pensar.
E se acrescentarmos os pontos de fuga, isto e, se assumirmos que quaisquer
duas retas se interceptam num unico ponto, que tipo de espaco geometrico tere-
mos? Este e o topico desta parte do texto. Construiremos um modelo para uma
geometria bidimensional sem retas paralelas, a Geometria Projetiva ou Geometria
Elptica Simples. Iniciaremos com a construcao do plano projetivo e somente apos
estarmos familiarizados com ele, recuperaremos a ideia surgidas das sensacoes visu-
ais, apresentando o plano am no nal do captulo.
Axiomas da Geometria Projetiva
I Termos indefinidos
1. Ponto, reta, plano, pertence.
II Axiomas de incidencia
88 CAPITULO 10. GEOMETRIA PROJETIVA
v = {v; R e
= 0}.
Em outras palavras, o subconjunto v R3 \{o} e uma reta perfurada. A aplicacao
quociente e a funcao denotada e denida por
: R3 \{o} RP2 , (v) = v.
Para diminuir o esforco de leitura, em lugar de empregarmos longas barras so-
bre triplas para designar os pontos do plano projetivo, utilizaremos uma notacao
mais simples e conveniente. Seja v = (v1 , v2 , v3 ) um ponto de R3 \{o}. Se acom-
panhassemos a notacao deveramos escrever
v = (v1 , v2 , v3 )
para indicar a classe de equivalencia de v. Entretanto, seguiremos a notacao classica,
ja consagrada, para indicar elementos do plano projetivo, a saber,
v = (v1 : v2 : v3 ).
Tal tripla recebe um nome especial: coordenadas homogeneas de v. Seu uso trara
grandes vantagens em relacao a outra notacao, como veremos.
A construcao acima nos da um outro modelo para o plano projetivo que e obtido ao
identicarmos pontos antpodas da esfera unitaria. Portanto, podemos construir o
plano projetivo denindo uma relacao de equivalencia na esfera unitaria do seguinte
modo. Sejam u, v S2 . Diz que u v se, e somente se, u = v ou u = v. Desta
forma RP2 = S2 / .2
Continuemos tentando imaginar como e o plano projetivo. Pelo visto, qualquer
ponto v RP2 pode ser representado por um ponto u = (u1 , u2 , u3 ) S2 tal que
u3 0. Recordamos que o termo representa o mesmo elemento signica que os
dois pontos determinam a mesma classe de equivalencia, u = v RP2 . Portanto,
se considerarmos o hemisferio norte da esfera unitaria,
He3 = {u S2 ; u, e3 0},
a restricao da funcao projecao : He3 RP2 e sobrejetiva. Podem ocorrer duas
situacoes para a pre-imagem de um ponto projetivo u = (u1 : u2 : u3 ) por ,
1. 1
(u) = {u}, se u3 > 0 ou
2. 1
(u) = {u, u}, se u3 = 0.
Considere a reta elptica re3 S2 (esta reta elpica e o grande crculo obtido
pela intersecao da esfera unitaria com o plano xy). A imagem desta reta elptica
re3 pela projecao e chamada de conjunto de pontos ideais, I . Observe que e a
projecao aplica o conjunto He3 /re3 , biunivocamente sobre RP2 /I .
da reta projetiva r escreve-se como u = sv + tw, onde s e t sao numeros reais nao
nulos simultaneamente.
3. Com a notacao apresentada no exerccio anterior, faz sentido escrevermos u = sv+tw,
onde s e t sao numeros reais nao nulos simultaneamente e v, w R3 \{o}?
10.5 Incidencia
Resumindo a apresentacao feita ate o momento, temos:
Prova Seja o plano perfurado na origem cujo vetor normal e . Veja a seguinte
sequencia de equivalencias,
1 1
v, = 0 v v r = S2 v= v r .
v v
Proposicao 10.5.2 (Equacao de uma reta por dois pontos) Por dois pon-
tos projetivos distintos v, w RP2 incide uma unica reta projetiva, a saber,
= v w RP2 .
Diz-se que tres pontos u, v, w RP2 sao colineares se existe uma reta projetiva
incidindo sobre os mesmos. Tambem existe um criterio simples para determinar se
tres pontos do plano projetivo sao colineares.
Prova Vamos assumir que os pontos sao distintos, caso contrario a demonstracao
e trivial.
Os pontos sao (projetivamente) colineares se, e somente se, existe um plano
contendo a origem e tal que a imagem do grande crculo S2 pela funcao quociente
0 : S2 RP2 contem estes pontos. Por sua vez, tal ocorre se, e somente se, o
plano contem os representantes (que sao vetores nao nulos e nao colineares em R3 )
dos tres pontos, u, v, e w. Observando que um vetor normal ao plano e = v w
e que u e perpendicular a , podemos armar que u, v, w se, e somente se,
det[u, v, w] = u, v w = u, = 0. 2
Proposicao 10.5.5 (Equacao de concorrencia para tres retas) Dadas tres re-
tas projetivas , , RP2 . temos que
as retas , , sao concorrentes se, e somente se, det[, , ] = 0.
Prova Exerccio. 2
Uma reta projetiva menos um dos seus pontos e um modelo de uma
reta Euclidiana.
O axioma de continuidade sera deixado como exerccio.
10.6. GEOMETRIA AFIM 95
1. Sejam v, w RP2 . Mostre que qualquer ponto da reta projetiva r denida por estes
pontos escreve-se na forma u = sv + tw, onde s e t sao numeros reais nao iguais a
zero, simultaneamente.
2. Verique se a reta projetiva determinada por u e u , a reta determinada por v e v e
aquela determinada por w e w sao concorrentes para os seguintes valores.
a) u = (1 : 1 : 1), v = (1 : 1 : 1), w = (1 : 2 : 0),
u = (1 : 1 : 2), v = (1 : 1 : 0), w = (1 : 2 : 2).
b) u = (1 : 1 : 2), v = (2 : 0 : 1), w = (1 : 2 : 1),
u = (2 : 2 : 1), v = (3 : 1 : 2), w = (0 : 1 : 0).
c) u = (1 : 1 : 2), v = (1 : 1 : 1), w = (1 : 1 : 2),
u = (0 : 1 : 1), v = (2 : 2 : 1), w = (1 : 0 : 1).
I Termos indefinidos
1. Ponto, reta, plano, pertence, esta entre.
II Axiomas de incidencia
III Axiomas de ordem
V Axioma das Paralelas
VI Axiomas de Continuidade
tem vetor normal n = (3, 2) e contem, por exemplo, o ponto, p = (0, 3). Aqui,
estamos denotando 1 = 3, 2 = 2 e 3 = 6. Para identicar o plano R2 com o
plano Euclidiano R3 , em termos de equacao, : z = 1, estabelecemos que
(x, y) (x, y, 1).
A reta Euclidiana l e identicada com uma reta s contida naquele plano horizontal.
Por outro lado, uma reta em R3 ca determinada pela intersecao de dois planos
em R3 , neste caso, um plano vertical (perpendicular ao plano xy) e outro plano
horizontal, a saber,
3x 2y + 6 = 0
s:
z1=0
Mas existem innitos planos que interceptados com o plano : z = 1 determinam a
mesma reta s, e entre tantos, estamos interessados no plano contendo a origem.
Ele e precisamente aquele que tem equacao
: 3x 2y + 6z = 0.
onde = (3, 2, 6). Portanto, s = ,
3x 2y + 6z = 0
s: .
z1 = 0
E claro que ao projetarmos os pontos de s sobre o plano am, obtemos a reta am
r , com = (3 : 2 : 6). 2
l1 : x 3y + 2 = 0,
l2 : 2x y = 0.
l : 1 x + 2 y + 3 = 0,
l : 1 x + 2 y + 3 = 0,
com 3
= 3 . As retas ans determinadas por elas sao, respectivamente, =
(1 : 2 : 3 ) e = (1 : 2 : 3 ), elementos de AP2 . Para calcular o ponto de
intersecao das retas ans, deveremos utilizar o metodo estabelecido para o calculo
de intersecoes de retas projetivas, ou seja a intersecao deveria ser
p = = (2 3 2 3 : 1 3 1 3 : 0).
Mas este ponto projetivo e um ponto ideal que nao pertencem ao plano am. Logo,
retas Euclidianas paralelas determinam retas ans que tambem nao se interceptam
no plano am. O ponto p = e aquele ponto de fuga para o qual, aparente-
mente, as retas paralelas convergem. 2
Colineacao
Nos proximos dois captulos estudaremos as aplicacoes projetivas, ou projetividades,
que sao classicadas em dois tipos,
colineacao
projetividade polaridade .
correlacao
nao polaridade
Uma colineacao e uma aplicacao bijetiva : RP2 RP2 que preserva colinearidade,
ou seja, se u, v e w sao pontos projetivos colineares, entao as imagens (u), (v)
e (w) sao tambem pontos projetivos colineares.
O leitor ja deve ter percebido que os topico aqui examinados sao colocado numa
linguagem algebrica. Este caso nao foge a regra. A uma colineacao, associamos
um operador linear do R3 e com ele em maos, iremos desenvolver a teoria sem
diculdades.
No proximo captulo trataremos das correlacoes. Antecipemos este conceito. O
espaco das retas projetivas, ou seja, o plano projetivo dual, RP2 , foi identicado
com o plano projetivo, RP2 , portanto satisfaz aos axiomas da Geometria Projetiva.
Uma correlacao e uma aplicacao bijetiva entre os planos projetivos, : RP2 RP2 ,
possuindo a propriedade de colinearidade dual, ou seja, se u, v e w sao tres pontos
projetivos colineares entao (u) = , (v) = e (w) = sao retas projetivas
concorrentes.
1. Mostre as armacoes.
(a) A composta de duas colineacoes e uma colineacao.
(b) A aplicacao inversa de um operador linear invertvel A em R3 dene uma coli-
neacao que e a inversa da colineacao denida por A.
102 CAPITULO 11. COLINEACAO
exigindo que
A(e1 ) = (k1 u1 , k1 u2 , k1 u3 ),
A(e2 ) = ( k2 v1 , k2 v2 , k2 v3 ),
A(e3 ) = (k3 w1 , k3 w2 , k3 w3 ),
onde ki
= 0, i = 1, 2, 3, de onde conclumos que a matriz [A] deve ter a forma
k1 u1 k2 v1 k3 w1
[A] = k1 u2 k2 v2 k3 w2 .
k1 u3 k2 v3 k3 w3
det[u, v, w] = 1, k1 = det[t, v, w] = 1,
k2 = det[u, t, w] = 3, k3 = det[u, v, t] = 4.
Pela ultima proposicao devemos construir uma matriz do tipo
k1 u1 k2 v1 k3 w1
[A] = k1 u2 k2 v2 k3 w2 .
k1 u3 k2 v3 k3 w3
Observe que, praticamente, todas as entradas da matriz foram calculadas,
1 0 4
[A] = 1 3 4 .
0 3 4
Portanto, A(x : y : z) = (x + 4z : x 3y + 4z : 3y + 4z). 2
Prova Sabemos construir colineacoes C : RP2 RP2 e D : RP2 RP2 tais que
C(e1 ) = u, C(e2 ) = v, C(e3 ) = w, C(1 : 1 : 1) = t,
D(e1 ) = u , D(e2 ) = v , D(e3 ) = w , D(1 : 1 : 1) = t .
Agora, como a inversa de uma colineacao e uma colineacao e a composta de duas
1
colineacoes e uma colineacao, a aplicacao D C e a colineacao procurada. A
segunda parte do teorema e um exerccio. 2
Entao f (x) = x.
Prova O termo aplica retas em retas signica que a imagem de uma reta Eucli-
diana esta contida numa reta Euclidiana.
Sejam l1 e k retas tais que B(l1 ) k. Inicialmente mostraremos que B(l1 ) = k
e l1 e a unica reta cuja imagem esta contida em k.
Vamos supor, por absurdo, que exista um ponto q k mas q / B(l1 ). Neste
caso, como B e biunvoca existe um unico ponto q0 tal que B(q0 ) = q. E claro que
q0
/ l1 . Seja l2 uma reta que contem q0 e e perpendicular a l1 em q1 l1 . Como
B aplica retas em retas e B(q0 ), B(q1 ) k estao em B(l2 ) k. Agora, dado um
ponto qualquer p de R2 , ele pertence a uma reta l que intercepta l1 l2 em pelo
menos dois pontos, digamos p1 e p2 . Novamente, como B(p1 ), B(p2 ) k segue que
B(l) k. Isto mostra que B(R2 ) k. Uma constradicao, pois estamos supondo
que B e sobrejetiva.
Portanto, so existe a reta l1 tal que B(l1 ) = k.
Mostremos agora que as imagens por B de quaisquer duas retas paralelas l1 e l2
sao duas retas paralelas. Pelo visto, as suas imagens B(l1 ) e B(l2 ) sao retas distintas.
Suponha, por absurdo, que exista um ponto na intersecao p B(l1 ) B(l2 ). Sendo
assim, a pre-imagem B 1 (p) tem pelo menos dois pontos, um em cada reta paralela,
contradizendo a hipotese de B ser biunvoca.
Armacao 1 Se {v, w} e uma base de R2 entao B(v + w) = B(v) + B(w).
A hipotese de ser base implica que v e w nao sao nulos e nao colineares. Sejam
l1 e l2 as retas distintas que concorrem na origem e tais que v l1 e w l2 . Sendo
assim, {v + w} = l1 l2 , em que l1 e a reta que passa por w e e paralela a reta l1
108 CAPITULO 11. COLINEACAO
enquanto l2 e a reta que passa por v e e paralela a l2 . Examinemos as imagens por
B das retas acima,
B(o), B(v) k1 = B(l1 ) e B(o), B(w) k2 = B(l2 ).
Como sabemos, k1 e k2 sao retas distintas, logo, = {B(v), B(w)} e uma base de
R2 pois nenhum vetor e nulo e sao nao colineares. Agora, as retas k1 = B(l1 ) e
k2 = B(l2 ) sao retas que passam, respectivamente, por B(w) e B(v) e sao paralelas,
respectivamente, a k1 e k2 . E claro que {B(v) + B(w)} = k1 k2 . Por outro lado,
{B(v + w)} = B(l1 l2 ) = k1 k2 , portanto, B(v + w) = B(v) + B(w).
Armacao 2 Existe uma transformacao linear invertvel A : R2 R2 tal que a
composta C = A1 B e expressa na forma C(x, y) = (f (x), g(y)), em que f e g
sao biunvocas, f (0) = g(0) = 0 e f (1) = g(1) = 1. E mais, C satisfaz as hipoteses
do teorema.
Como feito na Armacao 1, mostramos que o conjunto de dois vetores =
{B(e1 ), B(e2 )} e uma base de R2 . Seja A : R2 R2 a transformacao linear tal que
A(e1 ) = B(e1 ) e A(e2 ) = B(e2 ). Mais precisamente, seja A(x, y) = xB(e1 )+yB(e2 ).
Como e uma base entao A e invertvel. Recordamos que A1 e uma transformacao
linear.
Sendo uma transformacao linear, A1 aplica retas em retas, A1 (o) = o e, sendo
invertvel, A1 e sobrejetiva. Agora, e imediato concluir que C = A1 B tambem
e uma aplicacao biunvoca, aplica retas em retas e C(o) = o. Portanto, C satisfaz
todas as hipoteses da proposicao.
Por construcao, C(o) = o, C(e1 ) = e1 e C(e2 ) = e2 . Isto implica que C pre-
serva os eixos ox e oy. Logo, C transforma retas horizontais em retas horizontais
enquanto retas verticais sao transformadas em retas verticais. Isto e suciente para
mostrar que C(x, y) = (f (x), g(y)). A biunicidade de f e g e os valores enunciados
deixaremos como exerccio. Isto conclui a demonstracao da armacao.
Iremos mostrar que C id. Disto segue que A B, portanto, B e uma
transformacao linear.
Armacao 3 As funcoes coordenadas de C(x, y) = (f (x), g(y)) sao aditivas, ou
seja, f (x1 + x2 ) = f (x1 ) + f (x2 ) e g(y1 + y2 ) = g(y1 ) + g(y2 ).
Examinemos apenas f , o estudo de g e similar.
Dados x1 e x2 . Se x1
= 0, considere a base {v, w} do R2 , em que v = (x1 , 0)
e w = (x2 , 1). Pela Armacao 1, vale a aditividade C(v + w) = C(v) + C(w),
implicando que f (x1 + x2 ) = f (x1 ) + f (x2 ). Se x1 = 0, como f (0) = 0, e imediato
vericar que f (x1 + x2 ) = f (x1 ) + f (x2 ).
Armacao 4 f g e f (x1 x2 ) = f (x1 )f (x2 ).
11.3. TEOREMA FUNDAMENTAL 109
a = (1 : 0 : 0) (I ), b = (0 : 1 : 0) (I ) e c = (0 : 0 : 1),
Como
B xa a origem o R2
e B e biunvoca.
1. Mostre as armacoes
2. Demonstre o seguinte teorema para n = 3 e depois use inducao para o caso geral.
Teorema Seja B : Rn Rn uma aplicacao biunvoca tal que B(o) = o. Se B aplica
hiperplanos em hiperplanos entao B e um operador linear invertvel.
A = lV W lV W , B = lU W lU W , C = lU V lU V .
Prova As hipoteses implicam que u, v , w e b sao nao colineares tres a tres. Sendo
assim, a menos de uma colineacao, podemos supor que
u = (1 : 0 : 0), v = (0 : 1 : 0), w = (0 : 0 : 1), b = (1 : 1 : 1).
Armacao 1 Sendo v colinear com u e w, podemos escolher
v = (, 0, 1) com
= 0.
Senao vejamos. Como u = (1, 0, 0) e w = (0, 0, 1) pertencem ao plano e2 e v
e colinear com u e w e sao distintos, entao qualquer representante de v e da forma
v = (s, 0, t), com s
= 0 e t
= 0. Logo, podemos tomar v = t(s/t, 0, 1). O vetor
(s/t, 0, 1) tambem sera um representante de v. Facamos = st .
Armacao 2 Sendo u colinear com w e b, podemos escolher
u = (1, 1, ) com
= 0.
1
A reta projetiva contendo tais pontos e chamada de reta de Papus.
112 CAPITULO 11. COLINEACAO
Prova Assuma que os pontos projetivos u , v , w e p sao nao colineares tres a tres
(o caso contrario e trivial). A menos de uma colineacao, podemos simplicar os
calculos assumindo que
u = e1 , v = e2 , w = e3 , p = (1 : 1 : 1).
Armacao 1 Existem numeros reais , e diferentes de zero tais que os pontos
u, v e w podem ser representados por
u = (1 + , 1, 1), v = (1, 1 + , 1) e w = (1, 1, 1 + ).
Demonstraremos apenas a existencia de , as outras igualdades tem demons-
tracoes semelhantes. Os pontos p, u e u sao colineares e distintos em RP2 , im-
plicando que todos pertencem a um mesmo plano perfurado em R3 e dois deles,
digamos, p e u , sao linearmente independentes. Logo, u = sp + tu , para algum
s
= 0 e t
= 0. Como
u = sp + tu = s(p + st u ),
facamos = st .
Armacao 2 Os pontos projetivos vw , uw e uv sao
uv = ( : : (1 + )(1 + ) 1),
uw = (+ : 1 (1 + )(1 + ) : +),
vw = ((1 + )(1 + ) 1 : : ).
Conicas
A intersecao de um cone cujo vertice
e a origem do R3 e o plano horizon-
tal com equacao z = 1 produz uma
das tres curvas classicas denomina-
das de conicas: elipse, parabola ou
hiperbole. Estamos interessados em
estudar tais curvas, mas nao com a -
nalidade de determinar seus eixos, fo-
cos, assntotas, etc. ou suas proprie-
dades metricas como, por exemplo, as
razoes entre as distancias de pontos
aos focos e diretrizes, estudo feito nos
ultimos anos do Ensino Medio. Exis-
tem belos resultados, como o Teorema
de Pascal, exibindo propriedades nao metricas das conicas e que dependem apenas
do conceito de incidencia. Toda a forca da Geometria Projetiva surge ao demons-
trarmos estes teoremas, certamente, um dos pontos altos da teoria.
12.1 Cones em R3
Em algum momento da nossa vida de estudante, seja quando estudamos Calculo na
Universidade ou Geometria Analtica no Ensino Medio, ouvimos ou lemos a frase
x2 + y 2 z 2 = 0 e a equacao de um cone em R3 .
De fato, ao registramos gracamente o conjunto dos pontos v = (x, y, z) R3 cujas
coordenadas satisfazem a equacao obtemos uma gura que entendemos como sendo
um cone com vertice na origem.
Aquela equacao possui uma propriedade que nos induz a pensar no plano proje-
116 CAPITULO 12. CONICAS
e) : xz + y 2 = 0. f) : xy z 2 = 0.
12.2 Quadricas
Esta secao e dedicada a organizar os cometarios postos na secao anterior. Iremos
estudar equacoes polinomiais homogeneas de ordem 2 em R3 , ou formas quadraticas,
ax2 + bx2 + cz 2 + dxy + exz + f yz = 0.
Inicialmente estaremos interessados no conjunto solucao, isto e, nos pontos v =
(x, y, z) R3 cujas coordenadas satisfazem a equacao. O conjunto solucao e cha-
mado de quadrica. Posteriormente, estudaremos o conjunto de pontos projetivo
v = (x : y : z) RP2 cujas coordenadas homogeneas satisfazem a mesma equacao,
isto e, estudaremos as conicas. A homogeneidade da equacao permite este estudo.
Um operador linear associado aquela equacao e um operador linear simetrico
A : R3 R3 , tal que
v, A(v) = ax2 + bx2 + cz 2 + dxy + exz + f yz,
em que v = (x, y, z) R3 . A matriz simetrica associada a equacao e a matriz
do operador linear A na base canonica, [A] = [A(e1 ), A(e2 ), A(e3 )]. Demonstre
a proposicao abaixo, ela estabelece um algoritmo relacionando os coecientes da
equacao e as entradas da matriz [A].
7 1 5/2
[A] = 1 1 2 .
5/2 2 0 2
O exemplo acima nos diz um pouco mais. Um operador linear simetrico com
todos os autovalores positivos e dito ser positivo. Em Algebra Linear, e mostrado
que, neste caso, vale a condicao v, A(v) > 0 para todo vetor nao nulo v. Logo, um
operador linear simetrico positivo produz uma quadrica (degenerada) que reduz-se
a um ponto, a origem. Fato similar ocorre com um operador simetrico com todos
autovalores negativos, vale a inequacao v, A(v) < 0 para todo vetor v
= o. Por-
tanto, a quadrica correspondente tambem reduz-se a um ponto. Nao estudaremos
quadrica cujo operador associado tem todos os autovalores com o mesmo sinal.
Devido a naturalidade da relacao entre um operador linear e sua matriz na base
canonica, iremos nos referir a autovalores, a autovetores, a quadrica determinada
por uma matriz em lugar de empregar estes termos a operadores lineares.
Exemplo 12.2.3 Devemos fazer mais restricoes sobre o tipo de equacao que deve-
mos analisar. Considere o conjunto dos pontos v = (x, y, z) R3 cujas coordenadas
satisfazem a equacao homogenea x2 y 2 = 0. Com uma manipulacao algebrica sim-
ples obtemos a decomposicao (x+y)(xy) = 0. A quadrica correspondente em R3 e
a uniao de dois planos. Evidentemente, qualquer pessoa de bom senso nao ve forma
de cone alguma num esboco das solucoes. Os matematicos idem. Mas o privilegio
compensatorio e poder detetar algebricamente o fenomeno. Para isso, e suciente
examinar os autovalores do operador linear cuja matriz simetrica associada e
1 0 0
[A] = 0 1 0 .
0 0 0
Os autovalores sao 1 = 1, 2 = 1 e 3 = 0. O autovalor zero provoca a degene-
recencia da quadrica, estamos examinando uma quadrica degenerada. Excluiremos
estes casos patologicos do nosso estudo. 2
1. Mostre que o determinante de uma matriz 3 3 e igual a zero se, e somente se, existe
um autovalor igual a zero.
2. Para cada equacao homogenea de ordem 2 determine um operador linear A : R3 R3
e reescreva a equacao com a condicao de incidencia v, A(v) = 0.
a) x2 3y 2 + z 2 = 0. b) 4x2 + 2y z 2 = 0. c) 3x2 + y 2 + 4z 2 = 0.
d) 2xy 2xz + 2yz = 0. e) 6x2 yz = 0. f) (x z)2 = 0.
12.3. CORRELACOES 121
12.3 Correlacoes
Como feito anteriormente, o conjunto das retas projetivas RP2 foi identicado com
o plano projetivo RP2 . Desejamos estudar as aplicacoes bijetivas : RP2 RP2
que preservam colinearidade, isto e, tres pontos projetivos colineares sao aplicados
em tres retas projetivas concorrentes. Tais aplicacoes e suas inversas sao chamadas
de correlacoes.
Nada impede que dado um operador linear invertvel A : R3 R3 possamos
denir uma aplicacao A : RP2 RP2 , pela qual associamos um ponto projetivo v
a uma reta projetiva r pois o contra domnio e um plano projetivo. A utilizacao
do asterisco nesta notacao tem o objetivo de distingui-la de colineacao, aplicacao
denida e estudada no captulo anterior, cujo domnio e contradomnio e o plano
projetivo. Aqui o contradomnio e o plano projetivo dual.
12.4 Polaridades
Uma correlacao e uma polaridade se sua matriz e simetrica. Para uma redacao mais
precisa e conveniente nomear os dois tipos de correlacoes. Uma aplicacao polar e
uma correlacao simetrica
A : RP2 RP2 ,
e uma aplicacao polo e uma correlacao simetrica
A : RP2 RP2 .
Uma propriedade relevante de operadores simetricos invertveis e que seu ope-
rador inverso tambem e simetrico e [A1 ]t = [A1 ]. Portanto, a inversa de uma
polaridade e uma polaridade. Ao utilizarmos os termos a polaridade denida pelo
operador A ca subentendido que sao as duas aplicacoes, polar e polo, como de-
nidas acima. Temos a seguinte consequencia deste fato.
Proposicao 12.4.2 Uma reta projetiva r contem no maximo dois pontos auto-
conjugados associados a uma aplicacao polar A : RP2 RP2 .
0 = u0 , A(u0 )
= s20 v, A(v) + 2s0 t0 v, A(w) + t20 w, A(w)
= 2s0 t0 v, A(w).
3. Uma aplicacao polar A : RP2 RP2 possui pontos autoconjugados se, e somente
se, os autovalores da matriz [A] nao tem o mesmo sinal.
A partir deste ponto passaremos a supor que a conica nao e vazia nem dege-
nerada. Isso significa que os autovalores do operador linear invertvel e simetrico
A : R3 R3 nao possuem o mesmo sinal.
Numa denicao mais tecnica poderamos dizer que a conica CA e o conjunto dos
pontos projetivos autoconjugados em relacao a aplicacao polar A . Ou, a conica e
o conjunto dos pontos que satisfazem a condicao v rA (v) . Observamos que na
denicao de conica o conjunto CA nao depende do representante do ponto projetivo
tomado, pois se v, A(v) = 0 e
= 0 entao v, A(v) = 2 v, A(v) = 0.
Estas sao as tres possibilidades para a intersecao com a reta ideal pois, como
vimos na ultima proposicao da secao anterior, uma reta projetiva possui no maximo
dois pontos autoconjugados.
uma reta projetiva tangente a conica CA com o signicado de tangencia que estamos
habituados. Com a notacao ja xada vale a seguinte proposicao.
Prova Merecem registros duas armacoes. A primeira garante que uma reta pro-
jetiva tangente a conica toca CA em pelo menos um ponto, a saber, A ().
(tangente a conica) entao A () C . Em particular,
Armacao 1: Se CA A
A () CA r .
128 CAPITULO 12. CONICAS
v CA rA (v) .
Por denicao de conica, se v CA entao v rA (v) . Como a aplicacao polar e
a aplicacao polo sao aplicacoes inversas uma da outra, temos que A (A (v)) = v
rA (v) . Em outras palavras, a reta projetiva rA (v) e tangente a conica.
Agora, como A e a inversa de A , a proposicao segue facilmente. 2
Caracterizemos geometricamente retas tangentes. Como sabemos do Calculo,
uma reta tangente a uma conica em R2 intercepta a conica num unico ponto.
Proposicao 12.7.1 Seja CA uma conica definida pela aplicacao polar A : RP2
RP2 e seja B : RP2 RP2 uma colineacao. Entao B (CA ) e a conica definida
t
pela aplicacao polar C : RP2 RP2 , em que [C] = [B 1 A B 1 ].
Prova Utilizando o criterio de nao colinearidade entre tres pontos temos que
v3 = det [e1 , e2 , v]
= 0, v2 = det [e1 , e3 , v]
= 0, v1 = det [e2 , e3 , v]
= 0.
De modo semelhante,
v3 v2 = det [e1 , u, v]
= 0, v1 v3 = det [e2 , u, v]
= 0, v2 v1 = det [e3 , u, v]
= 0.
Isto termina a demonstracao do lema. 2
Prova Seja
a b c
[A] = b d e .
c e f
Para que os pontos e1 , e2 e e3 sejam autoconjugados em relacao a aplicacao polar
induzida por A as entradas da diagonal da matriz devem ser
a = e1 , A(e1 ) = 0, d = e2 , A(e2 ) = 0, f = e3 , A(e3 ) = 0.
De onde segue que
0 b c
[A] = b 0 e .
c e 0
Para que os pontos u = (1 : 1 : 1) e v = (v1 : v2 : v3 ) sejam autoconjugados devemos
ter as seguintes relacoes entre os coecientes da matriz,
0 = u, A(u) = b + c + e,
0 = v, A(v) = v1 v2 b + v1 v3 c + v2 v3 e.
Qualquer solucao deste sistema pode ser as entradas procurada. E claro que as
solucoes estao na intersecao dos seguintes subespacos de R3 ,
u = {(b, c, e) R3 : b + c + e = 0},
= {(b, c, e) R3 : v1 v2 b + v1 v3 c + v2 v3 e = 0}.
O lema anterior e as hipoteses sobre as coordenadas homogeneas de v, implicam que
os subespacos nao sao os mesmos e que = (v1 v2 , v1 v3 , v2 v3 ) nao e o vetor nulo.
Logo, as solucoes do sistema sao os multiplos de u. Sendo assim, podemos tomar
como entradas da matriz as coordenadas do proprio produto vetorial, ou seja,
b = v3 (v1 v2 ) , c = v2 (v3 v1 ) , e = v1 (v2 v3 ).
Portanto, um possvel operador simetrico que induz uma aplicacao polar para a
qual aqueles pontos sao autoconjugados tem matriz canonica
0 v3 (v1 v2 ) v2 (v3 v1 )
[A] = v3 (v1 v2 ) 0 v1 (v2 v3 ) .
v2 (v3 v1 ) v1 (v2 v3 ) 0
Resta provar que tal matriz e invertvel. De fato, como os pontos sao nao colineares,
pelo lema anterior, vi
= 0 e vi
= vj para todos i
= j. Por outro lado, um calculo
direto mostra que
det A = 2v1 v2 v3 (v1 v2 ) (v3 v1 ) (v2 v3 )
= 0.
A conica procurada e denida pela aplicacao polar determinada por A. 2
132 CAPITULO 12. CONICAS
Pelo teorema anterior existe uma unica conica passando por e1 , e2 , e3 , u e v e ela
esta associada a matriz
0 1 7/25
[A] = 1 0 8/15 .
7/25 8/15 0
A conica procurada e induzida pelo operador C em R3 cuja matriz canonica e
t
[C] = [B 1 AB 1 ]. 2
1. Se os autovalores de uma matriz simetrica nao singular nao tem o mesmo sinal, o
t
mesmo ocorre com [C]1 [A][C]1 qualquer que seja a matriz invertvel [C].
2. Encontre a equacao da conica incidindo nos pontos projetivos dados e classique-a.
a) e1 , e2 , e3 , u = (1 : 1 : 1), v = (1 : 1 : 3).
b) p = (2 : 1 : 3), q = (1 : 1 : 5), u = (3 : 5 : 2),
v = (4 : 5 : 6), w = (12 : 13 : 8).
3. Determine a equacao da conica C R2 incidindo nos cinco pontos dados.
a) o = (0, 0), e1 = (1, 0), e2 = (0, 1), u = (1, 1), v = (1, 2).
b) u = (1, 1), v = (1, 1), w = (1, 1), t = (2, 0), s = (0, 2).
4. Determine a equacao de uma conica inscrita no pentagono do R2 cujos lados estao
sobre as retas li , i = 1, , 5.
a) l1 : x = 0, l2 : y = 0, l3 : x + y 1 = 0,
l4 : x + y + 1 = 0, l5 : x + y 2 = 0.
5. Sejam A e A polaridades induzida por A. Prove que por um ponto p existem no
maximo duas retas projetivas autoconjugadas passando por p.
6. Dadas cinco retas projetivas em RP2 , digamos 1 , 2 , 3 , 4 e 5 , de maneira que
tres quaisquer sao nao concorrentes. Mostre que existe uma unica polaridade A e
A tal que todas as retas sao autoconjugadas.
vw = (0, 1, 0) ,
(v2 w2 , w1 v1 , v1 w2 v2 w1 ) ,
v w =
uw = (u2 , u1 , 0) ,
u w = (1, 0, w1 ) ,
= (u2 v2 , v1 u1 , u1 v2 u2 v1 ) ,
uv
u v = (0, 0, 1) ,
u1 u2 u1 u2
[M ] = v1 v2 v1 v2 .
w1 w2 w1 w2
tem determinante zero, ou equivalentemente, mostar que o operador linear em R3
denido pela matriz [M ] tem nucleo nao trivial. Para isto, basta exibir um vetor
nao nulo (k1 , k2 , k3 ) R3 tal que M (k1 , k2 , k3 ) = (0, 0, 0). Este vetor procurado
esta relacionado com a matriz simetrica nao singular, A, que dene a conica CA .
Vejamos. Vamos supor, para facilitar os calculos, que a matriz A e escrita como
l k1 k2
[A] = k1 m k3 .
k2 k3 n
Como u , v, w CA devemos ter, por denicao da conica as igualdades,
0 = u , A(u ) = l
0 = v, A(v) = m .
0 = w , A(w ) = n
Observe que o vetor (k1 , k2 , k3 ) R3 e um vetor nao nulo, pois todas as suas
coordenadas sao diferentes de zero, e esta no nucleo do operador linear M , impli-
cando que o determinante da matriz associada a M e zero. Mas, por construcao,
det[M ] = det[a, b, c]. Logo, a, b e c estao sobre uma mesma reta pojetiva, como
desejavamos demonstrar. 2
1. Seja CA a conica associada a matriz [A] descrita ao lado. 1 1 1
Verique que os pontos a seguir estao sobre a conica CA [A] = 1 1 1 .
e determine a reta de Pascal. 1 1 2
aC), mostrou que estas curvas podem ser denidas como uma secao de um
cone circular reto por um plano perpendicular ao gerador. A partir deste fato,
foram determinadas varias propriedades metricas sobre as curvas, como aquela
que relaciona razao entre distancias de seus pontos aos focos e diretriz. Muitos
estudaram estas curvas, entre os quais o grego Aristeu ( 370 aC 300
aC), Euclides e Apolonio de Perga ( 260 aC, Grecia, 190 aC. Alexandria).
Apolonio foi o introdutor dos nomes, elipse, parabola e hiperbole e descobriu
as propriedades harmonicas de polo e polar. Sua obra, Conicas, e um tratado
com 400 proposicoes.
Com Papus de Alexandria ( 290 aC 350 aC) inicia-se a hoje chamada
Geometria Projetiva, muitos dos seus resultados diziam respeito apenas a
incidencia. O unico escrito de Papus que sobreviveu ao tempo foi Sinagoga,
uma colecao de oito livros de Matematica escrita com o objetivo de rever a
geometria grega com comentarios, cobrindo todos os topicos. Nao era um livro
didatico como os Elementos.
Treze seculos depois, ja na Renascenca, nasceu o
frances Blaise Pascal (1623 1662), inventor, cien-
tista ecletico e prodgio da Matematica. Seu pai,
o advogado Etiene Pascal, com ideias educacionais
nao ortodoxas, assumiu a educacao do lho por conta
propria, decidindo que Blaise Pascal so estudaria Ma-
tematica ao completar 15 anos de idade. Retirou to-
dos os textos de Matematica da residencia, atitude
que despertou a curiosidade do garoto que passou a,
sozinho, estudar Geometria. Aos 12 anos de idade, Blaise Pascal demonstrou
que a soma das medidas dos angulos internos de um triangulo e 180o . Ao
tomar conhecimento da demonstracao, o pai rendeu-se, presenteando-o com
uma copia dos Elementos de Euclides.
Em Paris, aos 14 anos de idade, Pascal passou a
acompanhar o pai nos encontros patrocinado pelo
jesuta Martin Mersene (1588 1648), reunioes ocor-
ridas na cela de Mersene. Muitos dos participan-
tes entraram para a historia da Matematica: Girard
Desargues (1591 1661), Rene Descartes (1597
1650), Pierre de Fermat (1601 1655), Gilles Per-
sone de Roberval (1602 1675) e muitos outros. Aos
16 anos, em 1639, Pascal expos num dos encontros
um teorema de Geometria Projetiva que cou conhe-
cido como o hexagono mstico de Pascal.
Esse foi o primeiro teorema genuinamente nao metrico sobre conicas. No ano
12.10. LEITURA COMPLEMENTAR 139
seguinte publicou Ensaios Sobre Secoes Conicas, do qual restou para a historia
apenas a pagina com a demonstracao do hexagrama mstico. Nao mais parou,
aos dezoito anos inventou a primeira maquina digital para calculo (vendeu 50
exemplares), foi teologo, fez trabalhos em Fsica, Combinatoria e devemos a
sua criatividade ate o prosaico carrinho de mao! E sua, a maxima: O coracao
tem razoes que a propria razao desconhece.
Apos um seculo, o escoces Colin Maclaurin (1698 1746) apresentou o metodo
para contruir uma conica passando por cinco pontos dados e, praticamente,
nada mais foi acrescentado, por decadas, a teoria de conicas, como a Geometria
em geral. Ate que um calouro de 21 anos da lEcole Polytechnique de Paris,
Charles Julian Brianchon (1785 1864), retomou o teorema de Pascal, ha
muito esquecido e publicou, pela primeira vez, no Jornal da lEcole, o teorema
projetivo dualde Pascal com uma serie de corolarios. Com ele, a teoria de
conicas retornou com toda a forca.
A primeira abordagem sistematica sobre conicas foi apresentada pelo suico
Jakob Steiner (1796 1863), outro com uma biograa singular. Nao sabia
ler ou escrever ate aos 14 anos de idade e so frequentou a escola aos 18 anos,
contra a vontade dos pais. Estudou na Universidade de Heidelberg em Berlin
enquanto tinha um modestssimo salario de professor de escola. Ele deniu
conicas, utilizando a ideia de relacionar pencil e centros.
Mas foi o alemao Karl Georg Christian Von
Staudt (1798 1867) que descobriu a mais im-
portante prepriedades de conicas, a relacao entre
polo e polar. Ela e mais importante que a propria
conica em si e pode ser estabelecida independen-
temente dela. Hoje, a polaridade e utilizada para
denir a conica. O tratamento de conicas dado
neste texto, devemos a ele. Uma conica e o con-
junto dos pontos que pertencem ao seu polar.
Parte VI
APENDICE
Captulo 13
Particao de conjuntos
Faremos uma breve apresentacao de relacoes de equivalencia sobre um conjunto.
Utilizamos este conceito para particionar um conjunto em subconjuntos disjuntos
dois a dois e construir novos espacos geometricos, como o plano projetivo, por
exemplo.
i) Fi
= { } (nao e vazio);
ii) Se Fi Fj
= entao Fi = Fj ;
iii) B = 29
i=1 Fi .
142 CAPITULO 13. PARTICAO DE CONJUNTOS
Exemplo 13.1.1 Voltando para o exemplo acima. O conjunto = {Fi }29 i=1 e uma
particao de B, onde Fi e o subconjunto da populacao brasileira nascida na unidade
federativa Fi .
Um fato que sera amplamente explorado sera imaginar que podemos implodir
os subconjuntos da particao em pontos e criar um modelo geometrico para repre-
senta-lo, modelo que muitas vezes vizualizamos atraves de um esboco graco. Na
Matematica, a ideia de implodir cada subconjunto da particao num ponto possui
um termo tecnico para designa-lo, um registro apropriado e um signicado preciso.
Como ocorre geralmente quando estudamos Geometria, a palavra elemento e
trocado pela palavra ponto. Portanto, uma notacao bastante conveniente e repre-
sentar os elementos da particao por x, onde estamos indicando por este smbolo o
unico elemento da particao que contem x. Portanto, se x e y pertencem ao mesmo
subconjunto da particao entao eles representam o mesmo elemento da particao,
x = y, pois so existe um unico subconjunto de A que os contem. Para enfatizar
este aspecto, denimos uma funcao, chamada de funcao projecao, (ou simplesmente
projecao),
: A , (x) = x.
A projecao esta bem denida pois existe um, e somente um, subconjunto da particao
que contem x. O subconjunto e aquele que estamos indicando por x. A aplicacao
tambem e sobrejetiva pois dado um ponto (elemento) de , como ele e um
13.1. PARTICIONANDO CONJUNTOS 143
subconjunto nao vazio, podemos escolher algum dos seus elementos, digamos x, e
por denicao da funcao projecao , ele sera a imagem de x.
1) (a, a) R; (reexiva)
1 ) a a; (reexiva)
2 ) se a b entao b a; (simetrica)
3 ) se a b e b c entao a c. (transitiva)
Isto nos leva a seguinte pergunta: se (x1 , y1 ) (2, 3) entao (x1 , y1 ) = (2, 3)? A
resposta e sim e veremos isto na proposicao a seguir. Deixamos ao leitor, a tarefa
de esbocar um graco da classe de equivalencia (x1 , y1 ). 2
Destes tres itens podemos concluir que e uma relacao de equivalencia. Deixamos
ao leitor um exerccio. Mostrar que = A/ . 2
de Euclides 5 de S2 74
de Hipocrates 3
Elipse 125 J
Escalar 21 Justiniano, Imperador Romano 7
Esfera
dual 74 K
em Rn 58 Kepler, Johannes 99
unitaria canonica 58, 67 Klein, Felix 14
Espaco
Cartesiano 20 L
vetorial 21, 31 Lei dos senos (cossenos) em S2 , 1a 80
Euclides 5, 138 Lei dos senos (cossenos) em S2 , 2a 85
Eudoxos 4, 138 Liceu 4
Euler, Leohnard 74, 99 Lua 76
F M
Fermat, Pierre 138 Maclaurin, Colin 139
Formula de Lagrange 37 Matriz
Funcao projecao 142 canonica 41
de uma transformacao linear 41
invertvel 44
G
simetrica 48
Gauss, J. C. F. 7
transposta 48
Geometria
Meneacmus 4, 138
Am 95
Mersene, Martin 138
Analtica 12
Movimento rgido 49
Elptica (dupla) 67
Museu de Alexandria 5
Elptica simples (projetiva) 87
Espacial (solida) 62
N
Euclidiana (plana) 57 Newton, Isaac 7
nao Euclidiana 13 Norma 34
Projetiva (Elptica simples) 87 Nucleo de uma transformacao linear 40
H O
H 60 Operador
Hemisferio 76 linear 39
Hilbert, David 9 linear simetrico 48
Hipatia 7 positivo (negativo) 48
Hiperbole 125 transposto 47
Hiperplano em Rn 58 Orientacao
Hipocrates 3, 137 de uma reta elptica 73
de uma reta Eculidiana 60
I
I 90 P
Identicacao am 96 Papus 7, 138
Identidade Parabola 125
cclica 38 Particao de conjunto 142
de Lagrange 38 Pascal, Blaise 8, 138
Isometria Pitagoras 3
de Rn 49 Plano
INDICE REMISSIVO 151
am 95 elptico 76
Cartesiano 20 Euclidiano 60
em R3 62 Steiner, Jakob 139
elptico 69 Subespaco vetorial 24
elptico dual 73
Euclidiano 59 T
orientado 72 Tales de Mileto 3
perfurado 88 Teaetetus 4
projetivo 88 Teodoro de Cirene 4
Platao 4 Teorema
Polgono projetivo 110 da classicacao das isometrias de S2 74
Polinomio caracterstico 47 da classicacao das isometrias de Rn 53
Pontos ideais 90 de Brianchon 136
Produto de Desargues 113
vetorial 36 de Girard 82
vetorial duplo 38 de Papus 111
interno 33 de Papus e Maclaurin 132
Projetividade 100 de Pascal 134
Ptolomeu I 5 de Pitagoras 78
do nucleo e da imagem 43
R espectral 48
Relacao de equivalencia 144 fundamental da Geom. Projetiva 105
Reta Transformacao linear
am 96 denicao 39
de Desargues 113 invertvel 44
de Papus 111 Translacao 50
em R2 62 Triangulo
em R3 63 elptico 77
elptica 69 elptico dual 84
elptica orientada 72
Euclidiana orientada 60 V
perfurada 88 Veblen, Oswald 10
projetiva 91 Vetor normal
tangente a uma conica 127 a um plano em R3 62
Roberval, Persone de 138 a uma reta em R2 59
Vetor unitario 34
S Vetores ortogonais 35
S1 , S2 58 von Staudt, Karl Georg Christian 99, 139
Saccheri, Giovanni 8
Sistema axiomatico W
da Geometria Am 96 Wesley Young, John 10
da Geometria Elptica 66
da Geometria Euclidiana 14
da Geometria Projetiva 87
de Euclides 6
de Hilbert 9, 14
Segmento
de reta Euclidiano 60
orientado 22
Semi-plano
Referencias Bibliograficas
[A-L] Anglin, W.S. & Lambek, J.; The Heritage of Theles; Undergraduate
Texts in Mathematics; Springer-Verlag (1995).
[Ar1] Artin, E.; Geometric Algebra; Wiley Classic Library; Interscience Pu-
blishers, Inc., N. Y. (1988).
[Bon] Bonola, R.; Non Euclidian Geometry; Dover Publications, Inc. (1955).
[Cx2] Coxeter, H. S. M.; The Real Projective Plane; 3a Ed. Springer -Verlag
(1992).
REFERENCIAS BIBLIOGRAFICAS 153
[Fis] Fishback, W. T.; Projective and Euclidian Geometry; John Willy and
Sons, Inc, 2a Ed. (1964).
[Hai] Hanes, K.; Analytic Projective Geometry and Its Applications; UMAP
Modules, (1990) pg 111-149.
[Hea] Heath, Sir T.; A History of Greek Mathematics, vol I, II ; Dover Publi-
cations Inc. NY (1981).