Você está na página 1de 114

Carlos Bino de Souza

GEOMETRIA HIPERBLICA
Consistncia do Modelo de Disco de Poincar

Recife - PE
2014

Carlos Bino de Souza

GEOMETRIA HIPERBLICA
Consistncia do Modelo de Disco de Poincar

Dissertao apresentada a coordenao do Departamento de Matemtica da Universidade


Federal Rural de Pernambuco-UFRPE, como
pr-requisito para obteno do ttulo de Mestre
em Matemtica.

Universidade Federal Rural de Pernambuco UFRPE


Departamento de Matemtica
PROFMAT - Mestrado em Matemtica em Rede Nacional

Orientador: Prof. Dr. Thiago Dias de Oliveira Silva

Recife - PE
2014

Ficha catalogrfica
S729g

Souza, Carlos Bino de


Geometria hiperblica: consistncia do modelo de disco
de Poincar / Carlos Bino de Souza. Recife, 2014.
112 f. : il.
Orientador: Thiago Dias de Oliveira Silva.
Dissertao (Mestrado Profissional em Matemtica)
Universidade Federal Rural de Pernambuco, Departamento
de Matemtica, Recife, 2014.
Referncias.
1. Poincar 2. Disco de Poincar 3. Geometria
hiperblica 4. Hilbert 5. Plano hiperblico 6. Inverso
I. Silva, Thiago Dias de Oliveira, orientador II. Ttulo
CDD 510

Dedicatria

Dedico este trabalho aos meus filhos que tanto os amo!

AGRADECIMENTOS
Agradeo a Deus e ao Nosso Senhor Jesus Cristo pela fora que foi dada para concluir
este mestrado;
Agradeo meus pais pelo incentivo que foi dado para concluso deste trabalho;
Agradeo a minha esposa que tanto contribuiu para um ambiente favorvel aos estudos;
Agradeo o professor Olavo Otavio Nunes pela ateno na discusso deste trabalho e
indicao de livros;
Agradeo o meu Orientador, professor Dr. Thiago Dias, pela pacincia e sua ateno;
Agradeo cada um dos professores do Departamento de Matemtica da UFRPE;
Agradeo o amigo Carlos Alberto de Souza que foi um grande parceiro na concluso
deste curso.
Agradeo os professores que participaram da banca de defesa, prof. Dr Mait Kulesza,
prof. Dr. Adriano Rgis e prof. Dr. Csar Castilho que enriqueceram o meu trabalho com
sugestes.

tinha descoberto coisas to maravilhosas que me


supreenderam... do nada eu criei um mundo novo e estranho.
(Jnio Bolyai, numa carta para seu pai)

RESUMO
Euclides escreveu uma obra em 13 volumes chamada de Elementos onde sistematizava todo
o conhecimento matemtico do seu tempo. Nesta obra, foram apresentados os 5 postulados
da Geometria Euclidiana. Durante vrios anos, o 5o Postulado foi muito questionado, desses
questionamentos descobriu-se a existncia de vrias outras Geometrias possveis, entre elas
a Geometria Hiperblica. Beltrimi provou que a Geometria Hiperblica consistente se a
Geometria Euclidiana consistente. Hilbert mostrou que a Geometria Euclidiana consistente
se a Aritmtica consistente e apresentou um sistema axiomtico que preencheu as lacunas
do sistema axiomtico de Euclides. Poincar criou um Modelo, chamado de Disco de Poincar,
para representar o plano da Geometria Hiperblica. O objetivo deste trabalho mostrar que
o Modelo de Disco de poincar consistente, tomando como referncia os Axiomas de Hilbert,
substituindo apenas os Axiomas das Paralelas para "Por um ponto fora de uma reta passam
duas retas paralelas reta dada", atravs de construes da Geometria Euclidiana.

Palavras-chaves: Poincar, Disco de Poincar, geometria hiperblica, Hilbert, plano hiperblico, inverso.

ABSTRACT
Euclid wrote a book in 13 volumes called Elements where systematized all the mathematical
knowledge of his time. In this work, the 5 postulates of Euclidean geometry were presented.
For several years, the 5th Postulate was frequently asked, this inquiries it was discovered
that there are several other possible geometries, including hyperbolic geometry. Beltrimi
proved that hyperbolic geometry is consistent if Euclidean geometry is consistent. Hilbert
showed that Euclidean geometry is consistent if the arithmetic is consistent and presented
an axiomatic system that capped the gaps in Euclids axiomatic system. Poincar created a
model, called the Poincar disk, to represent the plan of hyperbolic geometry. The objective of
this work is to show that the Poincar disk model is consistent with reference Axioms Hilbert,
replacing only the Axioms of Parallel to "On a point outside a line passes through the two
parallel straight lines given", by constructions of Euclidean geometry.

Key-words: Poincar, disc Poincar, hyperbolic geometry, Hilbert, hyperbolic plane, inversion.

LISTA DE ILUSTRAES
Figura 1 Quadriltero de Saccheri . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Figura 2 Reta orientada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
Figura 3 Reta orientada r que incide nos pontos A, B, C e D . . . . . . . . . . . . . 31
Figura 4 Pontos incidentes na reta orientada r . . . . . . . . . . . . . . . . . . . . . 32
Figura 5 (A, C, D, E) = (A, B, D, E) (B, C, D, E) . . . . . . . . . . . . . . . . . . . 33
Figura 6 C e D so conjugados harmnicos em relao a A e B . . . . . . . . . . . 33
Figura 7 Razo cruzada de A e B em relao a P1 e P2 . . . . . . . . . . . . . . . . 34
Figura 8 Arco capaz P1 P2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
Figura 9 Se A incide no arco KP2 e B incide no arco KP1 , ento (A, B, P1 , P2 ) > 1

35

Figura 10 Tringulos inscritos na circunferncia sob o arco capaz P1 P2 . . . . . . . . 36


Figura 11 Circunferncia C de centro O e raio r . . . . . . . . . . . . . . . . . . . . . 37
Figura 12 Construo 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
Figura 13 PA e PB so tangentes circunferncia de centro O . . . . . . . . . . . . . 39
Figura 14 Construo 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
Figura 15 Construo 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Figura 16 Circunferncias ortogonais C e D . . . . . . . . . . . . . . . . . . . . . . . 42
Figura 17 Os ngulos formados nos pontos P e Q so congruentes . . . . . . . . . . . 43
Figura 18 ngulo central = AOB . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
BOC
Figura 19 O ngulo de segmento equivale a metade do ngulo central, ABC =
44
2
Figura 20 Lema 2.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
Figura 21 Demonstrao do Lema 2.2 . . . . . . . . . . . . . . . . . . . . . . . . . . 45
Figura 22 Ponto P fora da circunferncia com centro em O . . . . . . . . . . . . . 46
Figura 23 Ponto mdio M do segmento OP . . . . . . . . . . . . . . . . . . . . . . . 47
Figura 24 Circunferncia com centro no ponto M e raio OM

. . . . . . . . . . . . 47

Figura 25 Os tringulos 4OAP e 4OBP so congruentes . . . . . . . . . . . . . . . 47


Figura 26 Circunferncia ortogonal a circunferncia . . . . . . . . . . . . . . . . 48
Figura 27 Circunferncia passando por P e P 0 e reta s = OT tangente em . . . . 49
Figura 28 As circunferncia e so ortogonais . . . . . . . . . . . . . . . . . . . . 49
Figura 29 As circunferncia e so ortogonais . . . . . . . . . . . . . . . . . . . . 51
Figura 30 Os pontos P e P 0 so inversos em relao a , conforme Teorema 2.4 . . . 52
Figura 31 As circunferncias e so ortogonais . . . . . . . . . . . . . . . . . . . . 53
Figura 32 A reta 0 inversa a circunferncia em relao a . . . . . . . . . . . . 53
Figura 33 A circunferncia 0 inversa a circunferncia em relao a . . . . . . . 54

Figura 34 Plano Hiperblico chamado de D2 . . . . . . . . . . . . . . . . . . . . . . . 57


Figura 35 Ponto P pertencente ao plano hiperblico D2 e o ponto Z1 no pertence
ao plano hiperblico D2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
Figura 36 Mode do Disco de Poincar . . . . . . . . . . . . . . . . . . . . . . . . . . 58
Figura 37 A pertence a reta hiperblica r que passa pelo centro de . . . . . . . . . 58
Figura 38 A pertence a reta hiperblica r que gerada pela circunferncia r . . . . . 59
Figura 39 B est entre A e C na reta hiperblica que incide no centro de . . . . . . 59
Figura 40 B est entre A e C na reta hiperblica que no incide no centro de . . . . 60
Figura 41 Segmento de reta hiperblica [AB]. . . . . . . . . . . . . . . . . . . . . . . 60
Figura 42 ngulo formado por pelas retas r, s, geradas, respectivamente, por r , s . 61
Figura 43 ngulo formado por pelas retas r, s, a reta hiperblica r um dimetro de
e s gerada por s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
Figura 44 ngulo formado por pelas retas r, s, onde r, s so dimetros de . . . . . . 62
Figura 45 Os segmentos [AB] e [A0 B 0 ] so congruentes. . . . . . . . . . . . . . . . . . 63
Figura 46 Caso 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
Figura 47 Reta hiperblica que passa pelos pontos A, B e o centro O. . . . . . . . . 64
Figura 48 A, B D2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
Figura 49 Ponto O interceo das mediatrizes de AB e de AA0 . . . . . . . . . . . . . 65
Figura 50 As circunferncia e so ortogonais . . . . . . . . . . . . . . . . . . . . 65
Figura 51 Reta hiperbllica que passa pelos pontos A e B . . . . . . . . . . . . . . . 65
Figura 52 A e B so pontos ideais. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
Figura 53 As retas a e b so tangentes a nos pontos A e B, respectivamente. . . . . 66
Figura 54 As retas a e b so tangentes a nos pontos A e B, respectivamente. . . . . 67
Figura 55 Reta hiperblica que tem pontos ideais A e B. . . . . . . . . . . . . . . . . 67
Figura 56 Pontos ideais A e B e O, A e B so colineares no plano E . . . . . . . . . 68
Figura 57 A, A0 so pontos do D2 simtricos em relao a reta hiperblica r e r um
dimetro da circunferncia euclidiana . . . . . . . . . . . . . . . . . . . . 68
Figura 58 O equidistante de A e A0 e a reta de reflexo a interseo entre a
mediatriz do segmento AA0 e o interior de . . . . . . . . . . . . . . . . . 69
Figura 59 Centro da circunferncia r pertence a reta euclidiana AA0 . . . . . . . . . 70
Figura 60 Centro da circunferncia r pertence a interseo das retas euclidianas AA0
e Z1 Z2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
Figura 61 A reta euclidiana OP tangente ao arco de circunferncia Z1 Z2 . . . . . . 70
Figura 62 r reta de reflexo no plano D2 . . . . . . . . . . . . . . . . . . . . . . . . 71
Figura 63 A reflexo de O em relao a reta hiperblica r . . . . . . . . . . . . . . . 71
Figura 64 s, s0 so retas hiperblicas simtricas em relao a reta hiperblica r. . . . 72

Figura 65 s um dimetro de e s, s0 so retas hiperblicas simtricas em relao a


reta hiperblica r. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
Figura 66 s, s0 so retas hiperblicas simtricas em relao a reta hiperblica r . . . . 73
Figura 67 s simtrica a si prpria em relao a reta hiperblica r . . . . . . . . . . 74
Figura 68 s, s0 so simtricas em relao a r e incidem em O. . . . . . . . . . . . . . 74
Figura 69 s, s0 so simtricas em relao a r e no incidem em O. . . . . . . . . . . . 75
Figura 70 r passa por O e s no passam por O e r, s se intersetam, no mximo, em
um ponto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
Figura 71 r, s no passam por O e r, s se intersetam, no mximo, em um ponto no
plano D2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
Figura 72 O Modelo de Disco de Poincar satisfaz o Axioma I2. . . . . . . . . . . . . 77
Figura 73 O Modelo de Disco de Poincar satisfaz o Axioma I3. . . . . . . . . . . . . 77
Figura 74 A, B, C formam segmentos hiperblicos no pertencentes a uma mesma
reta hiperblica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
Figura 75 O Modelo de Disco de Poincar satisfaz o Axioma O4 . . . . . . . . . . . . 80
Figura 76 Tringulo 4ABC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
Figura 77 Posies relativas entre reta hiperblica e tringulo hiperblico . . . . . . . 81
Figura 78 D2 \r = D21 D22 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
Figura 79 A, B D21 e C, D D22 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
Figura 80 A e C pertencem a conjuntos diferentes. . . . . . . . . . . . . . . . . . . . 83
Figura 81 Reta AB com pontos ideais Z1 e Z2 . . . . . . . . . . . . . . . . . . . . . . 84
Figura 82 Reflexo se o eixo passa por O . . . . . . . . . . . . . . . . . . . . . . . . . 86
Figura 83 Reflexo se o eixo no passa por O . . . . . . . . . . . . . . . . . . . . . . 87
Figura 84 A reflexo de A0 e A0 reflexo de A, a reflexo uma funo biunvoca . . 89
Figura 85 os pontos A, B, Z1 e Z2 so inversos aos pontos A0 , B 0 , Z10 e Z20 em relao
a circunferncia r . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
Figura 86 AA0 uma reta hiperblica que passa por O e perpendicular a r. . . . . 91
Figura 87 AA0 , r so retas hiperblicas que passam por O e so perpendiculares. . . . 91
Figura 88 AA0 , r so retas hiperblicas que no passam por O e so perpendiculares.

92

Figura 89 C o centro da circunferncia . . . . . . . . . . . . . . . . . . . . . . . . . 93


Figura 90 P0 , P so equidistantes de O no D2 . . . . . . . . . . . . . . . . . . . . . . 94
Figura 91 uma circunferncia hiperblica. . . . . . . . . . . . . . . . . . . . . . . 95
Figura 92 e 0 so simtricos em relao a reta f . . . . . . . . . . . . . . . . . . . . 96
Figura 93 O centro euclidiano e o centro hiperblico de uma circunferncia com centro
distinto de O no coincidem. . . . . . . . . . . . . . . . . . . . . . . . . . . 97
Figura 94 Circunferncia com centro hiperblico A e raio hiperblico = [AB] . . 98

Figura 95 r e s so mediatrizes de [AB] e [BC], respectivamente, e O1 r s o


centro da circunferncia . . . . . . . . . . . . . . . . . . . . . . . . . .
Figura 96 os pontos A, B, C so simtricos, respectivamente, a D, E, F em relao a
reta r, logo 4ABC = 4DEF . . . . . . . . . . . . . . . . . . . . . . . .
Figura 97 Demonstrao que o Modelo de Poincar satisfaz o Axioma C1 . . . . . .
Figura 98 Retas euclidianas, a e b, formando um ngulo . . . . . . . . . . . . . .
Figura 99 Circunferncia 2 = C (O0 , B 0 ) . . . . . . . . . . . . . . . . . . . . . . . .
Figura 100 ngulos hiperblicos com uma lado em comum. . . . . . . . . . . . . . .
Figura 101 O Modelo de Poincar satisfaz o Axioma C4. . . . . . . . . . . . . . . . .
Figura 102 Os ngulos e so congruentes . . . . . . . . . . . . . . . . . . . . . .
Figura 103 [AB] = [A0 B 0 ], [AC] = [A0 C 0 ] e BAC = B 0 A0 C 0 . . . . . . . . . . . . .
Figura 104 4OB1 C1 e 4ABC so simtricos em relao a reta f . . . . . . . . . . .
Figura 105 4OB 00 C 00 e 4A0 B 0 C 0 so simtricos em relao a reta g. . . . . . . . . .
Figura 106 O Modelo de Disco de Poincar satisfaz o Axioma C5. . . . . . . . . . .
Figura 107 Retas s1 e s2 so paralelas a r no ponto P e a medida do ngulo de
Paralelismo de P . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Figura 108 Reta r ultra paralela reta s no ponto P . . . . . . . . . . . . . . . . .
Figura 109 Um dimetro de perpendicular s retas s e r . . . . . . . . . . . . .
Figura 110 Ot o centro da circunferncia t . . . . . . . . . . . . . . . . . . . . . .
Figura 111 Reta t perpendicular a r e a s . . . . . . . . . . . . . . . . . . . . . . .

. 99
.
.
.
.
.
.
.
.
.
.
.

99
100
101
101
102
102
103
104
104
105
105

.
.
.
.
.

107
107
108
109
109

SUMRIO
I

ALGUNS FATOS HISTRICO DAS GEOMETRIAS

1
1.1
1.2
1.3

ALGUNS FATOS HISTRICOS DAS GEOMETRIAS . . . .


O 5o Postulado da Geometria Euclidiana . . . . . . . . . . . .
Geometrias No-Euclidianas . . . . . . . . . . . . . . . . . . .
Os Axiomas de Hilbert . . . . . . . . . . . . . . . . . . . . . . .

II

INVERSO

2
2.1
2.2
2.3
2.4
2.5

INVERSO . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Razo Cruzada e Conjugados Harmnicos . . . . . . . . . . .
Ponto Inverso . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Construo Geomtrica do Ponto Inverso . . . . . . . . . . . .
Circunferncias Ortogonais . . . . . . . . . . . . . . . . . . . .
Inverso de Retas e Circunferncias . . . . . . . . . . . . . . .

III

CONSISTNCIA DO MODELO DE DISCO DE POINCAR


55

3
3.1
3.2
3.3
3.4
3.5
3.5.1

CONSISTNCIA DO MODELO DE
Modelo de Disco de Poincar . . . .
Relaes no Plano Hiperblico . . .
Axiomas de Incidncia . . . . . . . .
Axiomas de Ordem . . . . . . . . . .
Axiomas de Congruncias . . . . . .
Distncia Hiperblica . . . . . . . . . .
Isometria no D2 . . . . . . . . . . . . . .

3.5.1.1
3.5.1.2

3.5.2
3.5.2.1

3.6

.
.
.
.

.
.
.
.

.
.
.
.

. 22
. 22
. . 24
. 26

29

DISCO DE
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
A distncia de Poincar satisfaz a desigualdade triangular . .
Circunferncia hiperblica . . . . . . . . . . . . . .
Construo de Circunferncia Hiperblica . . . . . . . . .
Axioma das Paralelas . . . . . . . . . . . . . . .

REFERNCIAS

.
.
.
.

21

POINCAR
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .

.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

. 30
. 30
. 36
. . 37
. 42
. 52

. 56
. 56
. 58
. 63
. 78
. 83
.
83
.
85
.
92
. . 94
. . 97
. 106

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

111

19

INTRODUO
Durante muitos sculos, achava-se que a Geometria Euclidiana era inquestionvel
e nica possvel. Esse entendimento retardou muito a descoberta da existncia de outras
Geometrias to consistentes quanto a Geometria Euclidiana. Porm, Euclides contribuiu
bastante ao escrever o 5o Postulado de forma complexa e de difcil compreenso, pois foi a
partir das tentativas de provar que o 5a Postulado poderia ser demonstrado atravs dos quatro
primeiros, que se chegou na existncia de Geometrias to consistentes quanto a Geometria
Euclidiana, chamadas de Geometrias No-Euclidianas.
A Geometria Hiperblica, que uma Geometria No-Euclidiana, foi descobeta, quase
que simultaneamente, por Jnio Bolyai, Gauss e Lobachevsky. A Geometria Hiperblica
tambm conhecida como Geometria de Lobachevsky, pois, Lobachevsky foi o primeiro a
publicar suas descobertas, enfrentando toda resistncia que a comunidade cientfica tinha em
aceitar a existncia de outras geometrias.
Os matemticos Beltrami, Klein e Poincar criram modelos para representar o plano
da Geometria Hiperblica, porm, apresentaremos apenas o Modelo de Disco de Poincar.
Tomaremos como referncia os Axiomas de Hilbert, substituindo o Axioma das Paralelas por
"Por um ponto fora de uma reta, passam duas retas paralelas reta dada", e utilizaremos
construes no plano Euclidiano, pois, Beltrami mostrou que a Geometria Hiperblica
consistente se a Geometria Euclidiana consistente.
Este trabalho est dividido em trs partes, a primeira parte, com o ttulo ALGUNS
FATOS HISTRICOS DAS GEOMETRIAS, visa relatar os resultados de alguns matemticos
que vo desde os questionamento da independncia do 5o Postulado de Euclides, passando
pelas tentativas fracassadas de provar a dependncia do 5o Postulado, a apresentao do
sistema axiomtico de Hilbert, que veio preencher lacunas do sistema axiomtico de euclides,
a descoberta da existncia da Geometria Hiperblica e, posteriomente, a criao do Modelo
de Disco de Poincar.
A segunda parte tem o ttulo INVERSO, abordaremos o contedo de razo cruzada
e razo circular, necessrios para fazer estudos sobre a distncia de Poincar, e Inverso
em relao a circunferncia, necessrio para realizarmos construes no Modelo de Disco de
Poincar.
A terceira e ltima parte deste trabalho tem o ttulo CONSISTNCIA DO MODELO
DE DISCO DE POINCAR onde faremos todas as demonstraes, no plano Euclidiano, da

20

consistncia do modelo de Disco de Poincar.

Introduo

Parte I
ALGUNS FATOS HISTRICO DAS
GEOMETRIAS

1 ALGUNS FATOS HISTRICOS DAS GEOMETRIAS


Faremos aqui um breve resgate de alguns fatos da Histria da Matemtica desde a
criao da obra de Euclides, Elementos, at o Modelo de Disco de Poincar para Geometria
Hiperblica. No faremos estudos aprofundados dos fatos histricos, havendo, assim, omisses.
O objetivo apresentar fatos relevantes que levaram descoberta da existncia de outras
Geometrias, alm daquela sistematizada por Euclides, a partir da obra de Euclides que
apresenta um sistema axiomtico para Geometria da poca, e mostrar um novo sistema
Axiomtico apresentado por Hilbert que pde ser utilizado, fazendo pequenas modificaes
em axiomas ou algumas excluses, em diversas Geometrias.

1.1 O 5o POSTULADO DA GEOMETRIA EUCLIDIANA


Por volta do ano 300 a.C., ao ser convidado para ser professor no Museu de Alexandria,
Euclides organizou uma obra, em 13 livros, chamada de Elementos que englobava todo o
conhecimento matemtico da poca. Assim, Euclides estabelecu o plano de ensino mais
duradouro que se conhece, chegando at os dias de hoje. Nos Elementos, Euclides estabelece
um sistema axiomtico com cinco noes comuns e cinco postulados.
NOES COMUNS
1. Coisas iguais a uma mesma coisa so tambm iguais.
2. Se iguais so adicionados a iguais, ento, os totais tambm so iguais.
3. Se iguais so subtradas a iguais, ento, as diferenas tambm so iguais.
4. Coisas que coincidem umas com as outras so iguais.
5. O todo maior que qualquer uma de suas partes.
POSTULADOS
1. Pode-se traar uma reta ligando quaisquer dois pontos.
2. Pode-se continuar qualquer reta finita continuamente em uma reta.

1.1. O 5o Postulado da Geometria Euclidiana

23

3. Pode-se traar um crculo em qualquer centro e qualquer raio.


4. Todos os ngulos retos so iguais.
5. Se uma reta ao cortar duas outras, forma ngulos internos, no mesmo lado, cuja soma
menor do que dois ngulos retos, ento as duas retas, se continuadas, encontrar-se-o
no lado onde esto os ngulos cuja soma menor do que dois ngulos retos.
Embora nunca se tenha provado sua consistncia (nem inconsistncia), com estas "leis",
foi construido o mais duradouro modelo para o espao fsico, que chamado de Geometria
Euclidiana.
O sistema axiomtico estabelecido por Euclides no deixa clara a distino entre os
grupos, todavia, verificamos que as "Noes Comuns"so hipteses aceitas em todas as cincias
enquanto que os "Postulados"so hipteses exclusivas da Geometria.
Os quatro primeiros postulados so validados de forma emprica. Porm, o 5o Postulado,
por no ser de fcil compreenso e escrito com um texto longo, foi alvo de questionamentos,
apesar da Geometria Euclidiana ter sido considerada, por vrios sculos, inquestionvel e
nica possvel.
O conjunto de axiomas necessitam ter as trs seguinte propriedades:
Completude: Tudo que ser usado na teoria dever est contido nos axiomas, para
que no haja necessidade de hipteses implcitas.
Consistncia: Os Axiomas no podem levar a duas hipteses contraditrias.
Independncia: Nenhum axioma pode ser consequncia da combinao dos outros.
Inicialmente, muitos matemticos achavam que o 5o Postulado poderia ser demonstrado
pelos quatro primeiros, muitos at tentaram provar, mas sem sucesso, tais como Ptolomeu I,
Proclus, Nasir Eddin All Tusin, John Wallis, Girolamo Saccheri, Johann Heinrich Lambert e
Adrien Marie Legendre. Alguns deles at acharam que conseguiram, porm, aps sua morte,
verificou-se falhas nas demonstraes.
Na tentativa de demonstrar o 5o Postulado, alguns matemticos chegaram a outros
postulados que se substitussem o 5o Postulado obteriam uma Geometria equivalente a
Geometria Eucidiana. Um gemetra escocs, que traduziu os Elementos para o ingls, chamado
John Playfair (1748-1819), apresentou um Substituto do 5o Postulado que muito conhecido:
Por um ponto fora de uma reta, incide uma nica reta paralela reta dada.

24

Captulo 1. Alguns Fatos Histricos das Geometrias

Por causa deste substituto o 5o Postulado tambm conhecido como Postulado das
Paralelas. H outros substitutos que so bem conhecidos:
Uma reta que intersecta uma reta, tambm intersecta todas as retas paralelas a ela;
Retas paralelas so equidistantes;
A soma dos ngulos internos de um tringulo qualquer sempre 180 ;
Todo tringulo pode ser inscrito numa circunferncia.

1.2 GEOMETRIAS NO-EUCLIDIANAS


Na tentativa de demonstrar o 5o Postulado, muitos matemticos apresentaram caminhos
para chegar a uma nova Geometria, chamada de No-Euclidiana. O padre jesuta Girolamo
Saccheri foi o que chegou mais prximo de provar a existncia de outras Geometrias alm da
Euclidiana. Saccheri, para demonstrar o 5o postulado, considerou hipteses que no foram
trabalhadas por Euclides em Elementos, usando o mtodo de reduo ao absurdo, mtodo este
que consiste em provar que a negao de determinada hiptese leva a uma contradio para
provar a veracidade da hiptese. Assim, ele construiu um quadriltero ABCD, conhecido
como Quadriltero de Saccheri, tal que os ngulos da base, CAB e DBA, so retos e
os lados CA e DB so congruentes. O lado AB chamado de base inferior e CD a base
superior, ver Figura 1.

Figura 1 Quadriltero de Saccheri

O objetivo era identificar as medidas dos ngulos DCA e CDB. Porm, Saccheri
verificou que se fossem obtusos, levavam a uma contradio, se fossem retos, levavam a
resultados coerentes aos da Geometria Euclidiana e se fossem agudos levavam a resultados
coerentes com todos os Postulados de Euclides, exceto o 5o Postulado.

1.2. Geometrias No-Euclidianas

25

O suo-alemo Johann Heinrich Lambert (1728-1777), continuou os estudos de Saccheri


e mostrou que se o quadriltero de Saccheri tivesse trs ngulos retos, o quarto ngulo poderia
ser reto, agudo ou obtuso.
O alemo Johan Carl Friedrich Gauss (1777-1855), aps vrios anos tentando provar o
5 postulado de Euclides, acabou se convencendo que o postulado era realmente independente.
Nestas tentativas, Gauss chegou a vrios resultado de Geometria No-Euclidiana que no
foram publicados, pois Gaus s apresentava seus trabalhos quando tinha certeza que no
haveria questionamentos sobre os resultados.
o

O hngaro Farkas Wolfgang Bolyai (1775-1856) era amigo de Gauss e passou a vida
a tentar provar o 5o Postulado, enviando para Gauss as pseudoprovas que eram sempre
refutadas. O engenheiro hngaro Jnos Bolyai (1802-1860), filho de Farkas Wolfgang Bolyai,
se interessou pela prova do 5o Postulado, contrariando os conselhos do pai, que j cansado de
produzir pseudoprovas, at lhe enviou uma carta com a seguinte mensagem, "Pelo amor de
Deus, eu lhe peo, desista! Tema tanto isso quanto as paixes sensuais porque isso pode lhe
tomar todo o seu tempo e priv-lo da sade, paz de esprito e felicidade na vida"(ANDRADE,
2013, Pag. 11). Porm, Jnos Bolyai, enviou uma carta ao pai informando uma descoberta
que lhe deixou eufrico, "tinha descoberto coisas to maravilhosas que me supreenderam... do
nada eu criei um mundo novo e estranho."(ANDRADE, 2013, Pag. 11).
Jnos Bolyai, em 1826, resolveu negar o 5o Postulado, encontrando resultados de uma
Geometria Neutra ou Absoluta, na qual a Geometria Euclidiana seria um caso particular.
A convite do autor e pai, Jnos Bolyai escreveu um apndice do livro Tentaimen, em 1832. Ao
modificar o 5o postulado de Euclides para "Um ponto fora de uma reta passam infinitas retas
paralelas a reta dada", Jnos Bolyai desenvolveu os estudos de Geometria Hiperblica Plana.
O matemtico russo Nicolai Lobachevsky (1793-1856) em 1826, numa conferncia
no Departamento de Matemtica e Fsica da Universidade de Kasan, negou o 5o Postulado
de Euclides afirmando que "Em um ponto fora de uma reta incidem duas retas que no
a intersectam"e submeteu um artigo, que foi rejeitado, pela Academia de Cincias de So
Petersburgo.
Em 1854, o matemtico alemo Georg Friedrich Bernhard Riemann (1826-1866), em
uma conferncia intitulada Sobre as hipteses que esto nos fundamentos da Geometria, props
que a Geometria deveria estudar as variedades de dimenso n (espaos), equipados com uma
mtrica para determinar a distncia entre os pontos e que a Geometria deveria estudar os
espaos que decorrem da mtrica adotada, assim, a Geometria voltaria s origens (mtrica)
porm, as propriedades dos espaos dependeriam da forma que seriam feitas as medies.
Os matemticos Gaus, Jnos Bolyai e Lobachevsky descobriram, quase que simultane-

26

Captulo 1. Alguns Fatos Histricos das Geometrias

amente, uma Geometria No-Euclidiana que, em 1871, o matemtico alemo Felix Christian
Klein a chamou de Geometria Hiperblica. Por sua dedidao e ter sido o primeiro a
publicar suas descobertas, a Geometria Hiperblica tambm conhecida como Geometria de
Lobachevsky.
O matemtico italiano Eugenio Beltrami (1835-1900) provou a independncia do 5o
postulado de Euclides mostrando que a Geometria Hipeblica to consistente quanto a
Geometria Euclidiana. Deste modo, no poderia haver uma contradio.
Em 1904, o matemtico alemo David Hilbert (1862-1943) provou que se a Aritmtica
consistente, ento, a Geometria Euclidiana tambm consistente. Em 1940, o lgico Kurt Gdel
mostrou que a Aritmtica possui proposies indecidveis e que uma teoria "suficientemente
forte", como a Aritmtica, no pode provar sua prpria consistncia1 .
Vrios matemticos continuaram os estudos de Geometrias No-Euclidianas, entre
eles, destacamos Henri Poincar que criou dois modelos, no plano Euclidiano, para Geometria
Hiperblica chamados Semiplano de Poincar e Modelo de Disco de Poincar ou
Disco de Poincar, a consistncia do ltimo o objeto deste estudo.

1.3 OS AXIOMAS DE HILBERT


Na obra de Euclides, h um apelo a intuio com hipteses implcitas, assim, percebe-se
lacunas no sistema axiomtico de Euclides, como, por exemplo, a continuidade da reta. Em
1899, Hilbert apresentou um novo sistema axiomtico para Geometria Euclidiana, satisfazendo
as lacunas deixadas por Euclides. Hilbert considerou alguns trs termos como indefinidos
interligados por trs relaes indefinidas e distribuiu os axiomas em grupos, sendo, assim,
possvel axiomatizar as geometrias clssicas - Projetiva, Elptica, Afim, Hiperblica e Euclidiana - sendo necessrio suprimir alguma axioma ou grupo ou fazer pequenas modificaes em
alguns axiomas.
Termos Indefinidos
1. Ponto;
2. Reta;
3. Plano;
Relaes Indefinidas
1

Essas demonstraes esto no Teorema da Incompletude de Gdel. Para aprofundamento no assunto


sugiro (FERREIRA, 2006).

1.3. Os Axiomas de Hilbert

27

1. Incidncia;
2. Estar Entre;
3. Congruncia
Axiomas de Incidncia
I1- Para cada dois pontos distintos existe uma nica reta que os contm;
I2- Toda reta contm pelo menos dois pontos;
I3- Existem pelo menos trs pontos que no esto sobre uma mesma reta e esto sobre o
mesmo plano;
Axiomas de Ordem
O1- Se um ponto B est entre A e C, ento, os trs pontos pertencem a uma mesma reta e
B est entre C e A;
O2- Para quaisquer dois pontos distintos A e C, existe pelo menos um ponto B pertencente
reta AC tal que C est entre A e B;
O3- Se trs pontos distintos esto sobre uma mesma reta, no mais que um ponto est entre
os outros dois;
O4- (Pach) Sejam A, B e C trs pontos que no esto sobre uma mesma reta e seja l uma
reta do plano que no contm algum dos trs pontos, ento, se l interseta o segmento
AB, ela tambm interseta o segmento AC ou o segmento BC.
Axiomas de Congruncia
C1- Se A e B so dois pontos em uma reta l e A0 um outro ponto de uma reta l0 , no
necessariamente distinta da anterior, ento possvel encontrar um ponto B 0 em um
dado lado da reta l0 tal que os segmento AB e A0 B 0 so congruentes;
C2- Se um segmento A0 B 0 e um outro segmento A00 B 00 so congruentes a um mesmo segmento
AB ento os segmentos A0 B 0 e A00 B 00 so congruentes entre si;
C3- Sobre uma reta l, sejam AB e BC dois segmentos da mesma reta que, exceto por B
no tem pontos em comum. Alm disso, sobre uma outra ou a mesma reta l0 , sejam
A0 B 0 e B 0 C 0 dois segmentos que, exceto por B 0 no tm pontos em comum. Neste caso,
se AB congruente a A0 B 0 e BC congruente a B 0 C 0 , ento, AC congruente a A0 C 0 ;

28

Captulo 1. Alguns Fatos Histricos das Geometrias

C4- Se ABC um ngulo e se B 0 C 0 uma semirreta, ento existe exatamente uma semirreta

A0 B 0 em cada lado de B 0 C 0 tal que A0 B 0 C 0 congruente a ABC. Alm disso, cada


ngulo congruente a si mesmo;
C5- Se para dois tringulos 4ABC e 4A0 B 0 C 0 , AB congruente a A0 B 0 , AC congruente a
A0 C 0 e BAC congruente a B 0 A0 C 0 , ento ABC congruente a A0 B 0 C 0 e ACB
congruente a A0 C 0 B 0 .
Axiomas de Continuidade
T1- Axioma de Arquimedes: Se AB e CD so segmentos, ento existe um nmero natural

n tal que n cpias de CD construdas continuamente de A ao longo da semirreta AB


passar alm do ponto B;
T2- Axioma da Completude da Reta (ou Axioma de Cantor): Se An Bn , n N, uma coleo
de segmentos encaixados, ento existe pelo menos um ponto P pertencente a todos os
segmentos da coleo.
Axioma da Paralelas
E1- Em um ponto no pertencente a uma reta incidem uma nica reta paralela a reta dada.
A Geometria Neutra fundamentada nos Termos Indefinidos, nos Axiomas de Incidncia, de Ordem, de Congruncia e de Continuidade e a Geometria Hiperblica fudamentada
na Geometria Neutra acrescido de uma modificao do Axioma das Paralelas.
Axioma das Paralelas para Geometria Hiperblica
H1- Em um ponto no pertencente a um reta incidem duas retas paralelas a reta dada.

Parte II
INVERSO

2 INVERSO
Neste captulo, faremos uma introduo de Inverso em relao a uma circunferncia
que requisito para introduzir o Modelo de Disco de Poincar para Geometria Hiperblica,
este estudo segue de perto o trabalho de (MUNARETTO, 2010).
Temos que a Geometria Euclidiana satisfaz todos os Axiomas de Hilbert e, embora
no definamos, os termos e as relaes indefinidas por Hilbert so bem claras na Geometria
Euclidiana. Alm disso, vamos considerar como verdadeiro o Postulado 1.
Postulado 1 As afirmaes abaixo so verdadeiras na Geometria Euclidiana:
1. A interseo entre duas retas distintas um ponto;
2. Se uma reta tem pontos no interior de uma circunferncia, ento a reta intersecta a
circunferncia em dois pontos;
3. Se uma circunferncia tem pontos interiores e exteriores a outra circunferncia, ento,
as circunferncias se intersectam em dois pontos.

2.1 RAZO CRUZADA E CONJUGADOS HARMNICOS


Considere uma reta r orientada e tome dois de seus pontos distintos A e B. O segmento
de reta com origem em A e extremo em B possui sentido oposto ao segmento de reta com

origem em B e extremo em A, ou seja, AB = BA. Considere um ponto C r distinto dos


pontos A e B, tal que sua posio relativa aos pontos A e B poder ser uma das situaes da
Figura 2.

Figura 2 Reta orientada

Definio 2.1 A razo da diviso do segmento de reta AB por C, representada por (AB, C),
definida por
AC
(AB, C) =
BC
.

2.1. Razo Cruzada e Conjugados Harmnicos

31


Observe que, quando AC e BC tm o mesmo sentido, a razo entre eles positiva e

quando tm sentidos contrrios, a razo negativa. Assim, (AB, C) > 0 se AC e BC tm

o mesmo sentido e (AB, C) < 0 se AC e BC tm sentidos contrrios, note que (AB, C)
independe da orientao da reta r.
Definio 2.2 Consideremos A, B, C e D quatro pontos distintos incidentes numa reta
orientada r. Nesta ordem, a razo cruzada de A, B em relao a C, D, representada por
(A, B, C, D), igual a razo entre (AB, C) e (AB, D).
AC
AC BD
(A, B, C, D) = BC =

= (AB, C) (BA, D)
AD
BC AD
BD

Exemplo 2.1 Seja a reta orientada r que incide sob os pontos A, B, C e D. Considere as
medidas indicadas na Figura 3 e determine:

Figura 3 Reta orientada r que incide nos pontos A, B, C e D

(a) (A, B, C, D)
(A, B, C, D) =

7 5
35
AC BD

= =
BC AD
4 8
32

(A, B, D, C) =

AD BC
8 4
32

= =
BD AC
5 7
35

(B, A, C, D) =

BC AD
4 8
32

= =
AC BD
7 5
35

(b) (A, B, D, C)

(c) (B, A, C, D)

(d) (B, C, A, D)
(B, C, A, D) =

BA CD
3 1
3

=
=
CA BD
7 5
35

(e) (A, C, B, D)
(A, C, B, D) =

AB CD
3 1
3

=
=
CB AD
4 8
32

Observando o Exemplo 2.1, percebemos que a razo cruzada tem valores diferentes
dependendo da ordem dos pontos.

32

Captulo 2. Inverso

Teorema 2.1 Considere os pontos distintos A, B, C e D incidindo sobre uma reta orientada
r, ver Figura 4. Seja t R tal que t = (A, B, C, D). Se S o conjunto
das possveis solues da


1
t 1t
1
,
,
razo cruzada com os quatro pontos, A, B, C, D, ento S = t, , 1 t,
.
t
1t 1t t
Assim:
1. (A, B, C, D) = (B, A, D, C) = (C, D, A, B) = (D, C, B, A) = t
2. (A, B, D, C) = (B, A, C, D) = (C, D, B, A) = (D, C, A, B) = t1 =

1
t

3. (A, C, B, D) = (B, D, A, C) = (C, A, D, B) = (D, B, C, A) = 1 t


1
1t
1
t1
5. (A, D, B, C) = (B, C, A, D) = (C, B, D, A) = (D, A, C, B) = 1 =
t
t
4. (A, C, D, B) = (B, D, C, A) = (C, A, B, D) = (D, B, A, C) = (1 t)1 =

6. (A, D, C, B) = (B, C, D, A) = (C, B, A, D) = (D, A, B, C) =

t1
t

1

t
t1

Figura 4 Pontos incidentes na reta orientada r


DEMONSTRAO
Faremos a demonstrao para algumas permutaes de (A, B, C, D), os outros casos
so anlogos.
Sendo t = (A, B, C, D), temos
1. (B, A, D, C) =

BD AC
AC BD

= (A, B, C, D) = t
AD BC
BC AD

2. (B, A, C, D) =

BC AD
AC BD

AC BD
BC AD


1

= (A, B, C, D)1 = t1 =

1
t

AB CD
3. (A, C, B, D) =

Temos que CB = BC, pela Figura 4, AB = AC BC e


CB AD
CD = BD BC, assim
AB CD
AC BC BD BC
AC BD
AC BC
BC BD

+
CB AD
BC
AD
BC AD
BC AD
BC AD
BC 2
AC BC + BD
= t +
BC AD
AD
Pela Figura 4, AC BC + BD = AD, logo
(A, C, B, D) = t +

AD
=1t
AD

2.1. Razo Cruzada e Conjugados Harmnicos

33

AB CD
CB AD

AB CD
CB AD


4. (C, A, B, D) =

5. (B, C, A, D) = 1 (B, A, C, D) = 1
6. (C, B, A, D) = (B, C, A, D)

= (A, C, B, D)1 = (1 t)1 =

1
1t

1
t1
=
t
t

t1
=
t


1

1

t
t1

Teorema 2.2 Considere r uma reta orientada e os pontos A, B, C, D, E r, dispostos na


ordem mostrada na Figura 5. Ento
(A, C, D, E) = (A, B, D, E) (B, C, D, E)

Figura 5 (A, C, D, E) = (A, B, D, E) (B, C, D, E)

DEMONSTRAO

(A, B, D, E) (B, C, D, E) =

AD BE BD CE
AD CE

= (A, C, D, E)
BD AE CD BE
CD AE

Definio 2.3 Consideremos os pontos A, B, C e D incidentes numa reta orientada r e


dispostos conforme mostra na Figura 6. Se (A, B, C, D) = 1, dizemos que C e D so
conjugados harmnicos em relao a A e a B.

Figura 6 C e D so conjugados harmnicos em relao a A e B

Se no considerarmos a orientao da reta r, teremos, ento, (A, B, C, D) = 1


AC BD
AC
AD

=1
=
. Assim, se quatro pontos, A, B, C e D estiverem sobre uma
BC AD
BC
BD
reta no orientada, dizemos que C e D so conjugados harmnicos em relao a A e B se
satisfazerem a relao:
AC
AD
=
BC
BD

34

Captulo 2. Inverso

Definio 2.4 Considere A, B, C e D vrtices de um quadriltero inscrito numa circunferncia , onde o vrtice A oposto ao vrtice C e o vrtice B oposto ao vrtice D, definimos a
razo circular de A e B em relao a C e D, representamos por (A, B, C, D), como sendo
(A, B, C, D) =

AC BD

BC AD

.
Teorema 2.3 Sejam A, B, P1 e P2 pontos distintos do plano Euclidiano
a) Se P1 , B, A e P2 , nesta ordem, estiverem sobre uma reta orientada r, ento (A, B, P1 , P2 ) >
1.
b) Se A, B, P1 e P2 so vrtices de um quadriltero inscrito numa circunferncia ,
onde o vrtice A oposto ao vrtice P1 e o vrtice B oposto ao vrtice P2 , ento
(A, B, P1 , P2 ) > 1.
DEMONSTRAO
a) Considere a Figura 7. Assim,


AP1 BP2
P1 A BP2
P1 B + BA BA + AP2
BA
(A, B, P1 , P2 ) =
=

= 1+

BP1 AP2
P1 B AP2
P1 B
AP2
P1 B


BA
1+
AP2
BA
BA
> 0. Logo,
Como BA > 0, P1 B > 0 e AP2 > 0, ento
> 0 e
P1 B
AP2




BA
BA
1+
>1 e 1+
> 1. Portanto,
P1 B
AP2

 

BA
BA
1+
> 1 (A, B, P1 , P2 ) > 1
1+
P1 B
AP2

Figura 7 Razo cruzada de A e B em relao a P1 e P2


b) A e B pertencem ao arco capaz P2 P1 1 , ento P2 AP1 = P2 BP1 = , ver Figura 8.
Vamos considerar dois casos
AP1 BP2
AP1 BP2

. Considere o ponto K que


BP1 AP2
AP2 BP1
uma das intersees entre a circunferncia e a mediatriz do segmento P1 P2 .

caso I) Temos (A, B, P1 , P2 ) =


1

Para se aprofundar no estudo sobre Arco Capaz, leia (NETO, 2012, pag 109-118) e (WAGNER, 2007, pag
5-8)

2.1. Razo Cruzada e Conjugados Harmnicos

35

Figura 8 Arco capaz P1 P2


AP1
= 1. Se A incide no arco KP2 , pela
AP2
AP1
comparao de ngulos2 , temos AP1 > AP2
> 1. De forma semelhante,
AP2
BP2
> 1 se B incide no arco P1 K, ver Figura 9. Assim
provamos que
BP1
Se A = K, temos AP1 = AP2

AP1 BP2

> 1 (A, B, P1 , P2 ) > 1


AP2 BP1

Figura 9 Se A incide no arco KP2 e B incide no arco KP1 , ento (A, B, P1 , P2 ) > 1
caso II) Considere, sem perda de generalidade, que os pontos A e B incidam no arco
KP2 . Assim, vamos observar dois tringulo, 4AP1 P2 , que tem = P2 AP1
e = P1 P2 A como dois de seus ngulos internos, e 4BP1 P2 , que tem
= P2 BP1 e = P1 P2 B como dois de seus ngulo internos, ver Figura 10.
2

Ver (ANDRADE, 2013, Pag. 40)

36

Captulo 2. Inverso

Figura 10 Tringulos inscritos na circunferncia sob o arco capaz P1 P2

Pela Lei dos Senos, temos:

P1 P2

sin

P1 P 2

sin

AP1
sin

BP1
sin

AP1
BP1
sin
AP1
=

=
sin
sin
sin
BP1

Como B oposto a P2 , ento, B um ponto do ngulo P1 P2 A, logo, pela


comparao de ngulos, P1 P2 B < P1 P2 A, ento, temos > sin >
AP1
sin AP1 > BP1
> 1. De forma semelhante, tambm provamos que
BP1
BP2
> 1. Portanto
AP2
AP1 BP2

= (A, B, P1 , P2 ) > 1
BP1 AP2

2.2 PONTO INVERSO


Definio 2.5 Dada uma circunferncia C de centro O e raio r, dizemos que o inverso

do ponto P 6= O em relao a C o ponto P 0 sobre a semirreta OP que satisfaz a relao


OP OP 0 = r2
Pela Definio 2.5 observamos que o ponto P o inverso do ponto P 0 e o inverso do
ponto P 0 o ponto P . Vamos definir uma funo que associa cada ponto do plano euclidiano
a seu inverso fazendo uso da proposio:

2.3. Construo Geomtrica do Ponto Inverso

37

Proposio 2.1 Os ponto P e P so inversos em relao a circunferncia C de centro O e


raio r se, e somente se, so conjugados harmnicos em relao ao dimetro AB determinado

pela interseo da reta OP com a circunferncia C.


DEMONSTRAO

Figura 11 Circunferncia C de centro O e raio r


Sendo P e P 0 pontos inversos em relao a circunferncia C e A e B a interseo entre
a reta P P 0 e a circunferncia Cs, como mostra a Figura 11, temos:
AP
AP 0
AO + OP
AO + OP 0
=

BP
BP 0
OP OB
OB OP 0
 


 


r + OP
r + OP 0
0 = r + OP 0 OP r
OP

OP
=

r
+
OP r
r OP 0

r2 r OP 0 + r OP OP OP = r2 + r OP r OP 0 + OP 0 OP
2 r2 = 2 OP 0 OP r2 = OP 0 OP
Assim, podemos garantir, pelo conjugado harmnico, que para cada ponto P =
6 O do
plano existe um nico ponto P 0 inverso a P em relao circunferncia de centro O.

2.3 CONSTRUO GEOMTRICA DO PONTO INVERSO


Considerando os pontos O, P e P 0 pertencentes ao plano Euclidiano, denotado por
E, onde P =
6 O e P 0 so inversos em relao a uma circunferncia de centro O e raio r R.
Podemos definir uma transformao do conjunto E \ {O} nele mesmo que transforma um

38

Captulo 2. Inverso

ponto P E \ {O} no seu inverso P 0 . Esta transformao bijetiva e tem o nome de Inverso.
A seguir, apresentaremos trs construes para obter o ponto P 0 , inverso do ponto P .
Construo 1 O matemtico sovitico Aleksei Pogorelov (1919-2002) sugeriu a
seguinte construo para encontrar o inverso do ponto P fora da circunferncia de centro O.
1. Construa um crculo de centro O e raio qualquer. Tome um ponto P qualquer, fora do
crculo;

2. Construa a semirreta OP e o ponto mdio M do segmento OP ;


3. Construa um crculo com centro em M e dimetro OP . Obtenha os pontos de interseo
A e B dos dois crculos;
4. Construa as semirretas que partem de P e passam por A e B;
5. Construa a corda que une os pontos A e B dos dois crculos. Obtenha a interseo deste
segmento com a semirreta OP . Chame-o de P 0 . Veja a Figura 12.

Figura 12 Construo 1

Para justificar esta construo, inicialmente, vamos provar que P A e P B so tangentes
circunferncia de centro O.
Como OP o dimetro da circunferncia de centro M e como o dimetro da circunferncia o arco capaz do ngulo reto, concluimos que
b O BP
b 90
OAP

2.3. Construo Geomtrica do Ponto Inverso

39

Figura 13 PA e PB so tangentes circunferncia de centro O



Portanto, P A e P B so tangentes circunferncia de centro O. Veja Figura 13.
Observando o tringulo OBP , BP 0 a altura relativa ao lado OP . Aplicando as
relaes mtricas no tringulo retngulo, temos
OP OP 0 = OB

Como OB o raio r da circunferncia de centro O chegamos a


OP OP 0 = r2
Construo 2 A construo abaixo equivalente a construo de Pogorelov, porm, o
ponto P pertence ao interior da circunferncia. Assim, a justificativa a mesma da Construo
1.
1. Construa a circunferncia de centro O e raio qualquer. Marque um ponto P qualquer
no interior da circunferncia de centro O;

2. Trace a semirreta OP ;

3. Trace a reta t perpendicular a OP passando por P ;


4. Marque os ponto A e B, interseo entre a reta t e a circunferncia de centro O. Trace
uma reta tangente circunferncia no ponto A ou B.

5. Marque o ponto P 0 , interseo entre a reta tangente e a semirreta OP .

40

Captulo 2. Inverso

Figura 14 Construo 2

Construo 3 A construo a seguir pode ser encontrada em (MUNARETTO, 2010)


e independe da posio relativa do ponto P 6= O e circunferncia de centro O.
1. Desenhe a circunferncia de centro O e raio r;

2. Marque um ponto qualquer P e trace a semirreta OP ;

3. Passando por O, trace a perpendicular semirreta OP e marque os pontos A e B de


interseo com a circunferncia;

4. Trace a semirreta BP , e marque o ponto C, interseo entre a circunferncia e BP ;

5. Trace a semirreta AC;



6. Marque o ponto P 0 , inverso de P , que a interseo entre OP e AC.
Sugerimos que a construo 3 seja feita num software de Geometria Dinmica como o Geogebra
ou Rgua e Compasso.
Observando o Figura 15, ACB = 90 , pois o ngulo do arco capaz AB, ento,
ACB = BOP , temos OBP = ABC e, pela soma dos ngulos intermos de um tringulo,
OP B = OAP 0 , pelo caso ngulo-ngulo-ngulo, os tringulos 4ACB e 4P OB so
semelhantes. Temos tambm, ACB = P 0 OA, so ngulos reto, BAC = OAP 0 , ngulo
comum aos tringulos 4AOP 0 e 4ACB, e, pela soma dos ngulos intermos de um tringulo,
CBA = AP 0 O, ento, os tringulos 4AOP 0 e 4ACB. Logo, os tringulos 4P OB e

2.3. Construo Geomtrica do Ponto Inverso

41

Figura 15 Construo 3
4AOP 0 tambm so semelhantes, ento, temos a relao:
OA
OB
=
OA OB = OP OP 0
OP
OP 0
Como OA = OB = r, ento
OP OP 0 = r2
Considerando uma circunferncia com centro O e raio com medida r R+ e um
ponto arbitrrio P , tal que OP r. Vamos considerar um nmero real x tal que OP = x,
r2
ento, sendo P 0 o inverso de P , temos OP OP 0 = r2 OP 0 = . Deste modo, o comprimento
x
r2
0
do segmento OP determinado por , assim, quando P se aproxima de O, x assume valores
x
r2
cada vez menores, se aproximando de zero, enquanto que
aumenta, indicando, assim, que
x
0
P se distancia de quando P se aproxima de O e quando P se distncia de O, P 0 se aproxima
de . Posto isto, podemos tomar o limite
1
r2
= r2 lim =
x0 x
x0 x
lim

Ento, quando P se aproxima de O, P 0 tende ao infinito. Diante do exposto, se desejarmos que


O tenha um ponto inverso, este ponto dever estar infinitamente distante da circunferncia.
Assim, vamos postular a existncia de um ponto que est infinitamente distante de qualquer
ponto do plano E
Axioma 1 Seja E o plano Euclidiano e um ponto, que chamaremos de ponto ideal, tal
que, para todo P E, P = e est em qualquer reta que incide no plano E.

42

Captulo 2. Inverso

Axioma 2 Chamaremos de plano de inverso, denotaremos por E , o plano Euclidiano


adicionado com o Ponto Ideal.
E = E {}
Definio 2.6 Seja uma circunferncia de centro O e raio r. A transformao geomtrica
em E que associa cada ponto P 6= O ao seu inverso P 0 em relao C e tal que O o inverso
de e o inverso de O denominada inverso, ser denominada circunferncia de
inverso e O o centro de inverso.
Se P 6= O um ponto que no pertence a circunferncia , pela Definio 2.5, existe
um nico ponto P 0 do plano E que inverso a P . Se P um ponto da circunferncia ,
ento, o inverso de P o prprio P e como o inverso de O e O o inverso de em relao
a , logo, a Inverso uma aplicao biunvoca.

2.4 CIRCUNFERNCIAS ORTOGONAIS


Definio 2.7 Sejam C e D duas circunferncias no coincidentes que se interceptam em
um ponto P . Se C e D possuem retas tangentes s e t, respectivamente, em P , ento, dizemos
que o ngulo entre C e D em P o ngulo em s e t. Desta forma, dizemos que C e D so
circunferncias ortogonais em P se s e t so perpendiculares. Ver Figura 16

Figura 16 Circunferncias ortogonais C e D

Lema 2.1 Sejam e duas circunferncias secantes nos pontos P e Q. Ento, o ngulo
entre e no ponto P igual ao ngulo entre e no ponto Q.

2.4. Circunferncias Ortogonais

43

Figura 17 Os ngulos formados nos pontos P e Q so congruentes


DEMONSTRAO
Observando a Figura 17, vamos denotar por o ngulo formado por e no ponto
P e por o ngulo formado por e no ponto Q. As retas tangentes a e nos pontos P
e Q se interceptam nos pontos R e S no interior das circunferncias e , respectivamente.
Como as retas RP e RQ so tangentes a uma mesma circunferncia e tm um ponto
em comum, ento os segmentos P R e QR so congruentes. A mesma justificativa vale para
afirmar que os segmentos P S e QS so congruentes.
Vamos desconsiderar as circunferncias e observar apenas as retas. Tracemos o segmento
RS pelo caso de congruncia de tringulos Lado-Lado Lado, os tringulos 4P RS e 4QRS
so congruentes.
Assim, os ngulos RP S e RQS so congruentes, portanto, = .
Definio 2.8 Considere a circunferncia com centro O e raio r. Chamaremos de ngulo
central o ngulo com vrtice no ponto O, ver Figura 18.

44

Captulo 2. Inverso

Figura 18 ngulo central = AOB

Definio 2.9 Considere uma circunferncia com centro em O e raio r. Chamaremos de


ngulo de segmento da circunferncia o ngulo formado por uma reta secante e outra
reta tangente a no ponto P .

Proposio 2.2 Considere a circunferncia com centro O e raio r. A medida do ngulo


de segmento ABC igual a metade do ngulo central BOC, ver Figura 19.

Figura 19 O ngulo de segmento equivale a metade do ngulo central, ABC =

BOC
2

A demonstrao da Proposio 2.2 pode ser encontrada em (NETO, 2012, Pag. 114)

Lema 2.2 Sejam uma circunferncia de centro no ponto O e r uma reta. Ento, r
ortogonal no ponto P se e somente se r passa pelo centro O de . Ver Figura 20

2.4. Circunferncias Ortogonais

45

Figura 20 Lema 2.2


DEMONSTRAO
) Para que a reta r seja ortogonal a , ento, a reta r perpendicular a reta s
tangente a no ponto P . Assim, a reta r passa no centro O de e no ponto P , vamos supor
que r e s no sejam perpendiculares. Assim, existe um ponto M s tal que OM s, por
hipotese, os segmentos OM e OP no so coincidentes por que OP e s no so perpendiculares.
O ponto M divide a reta s em duas semirretas opostas. Vamos determinar na semirreta oposta
a que tem o ponto P o ponto P 0 tal que M P
= M P 0 . Assim, os tringulo 4OM P e 4OM P 0
so congruentes, caso LAL, pois OM o lado comum aos tringulos, OM perpendicular a s
e MP
= M P 0 , logo, OP
= OP 0 , ver Figura 21, o que implica em P 0 que absurdo, pois,
por hiptese, a reta s intercepta a circunferncia apenas no ponto P . Portanto, a reta r
ortogonal circunferncia .

Figura 21 Demonstrao do Lema 2.2


) Sejam r e s perpendiculares, ento,vamos considerar que r no passa pelo centro

46

Captulo 2. Inverso

O de , ento, r interseta em dois pontos P, Q.Assim, Pela Proposio 2.2, o ngulo central
P OQ o dobro do ngulo formado pelas retas r, s no ponto P , ou seja, P OQ = 180 .

Assim, as semirretas OP e OQ esto na mesma reta, o que absurdo. Logo, r passa pelo
ponto O.
Corolrio 2.1 Sejam e circunferncias ortogonais que se intersetam no ponto P , r
uma reta tangente a no ponto P e s uma reta tangente a no ponto P . Ento, r incide
no centro de e s incide no centro de .
DEMONSTRAO
A reta r ortogonal a , pelo Lema 2.2, r pelo centro de e assim como s ortogonal
a e s passa pelo centro de .
Lema 2.3 Com centro em um ponto P fora da circunferncia passa uma nica circunferncia ortogonal .
DEMONSTRAO
Considere a circunferncia de centro O e o ponto P fora de , como a Figura 22.

Figura 22 Ponto P fora da circunferncia com centro em O


Determine o ponto mdio M do segmento OP , ver Figura 23.
Determinamos a circunferncia com centro em M e raio OM . Em seguida, marcamos
os pontos A, B interseo entre e . Ver Figura 24.
Temos que o raio OA perpendicular reta AP , pois, A pertence ao arco capaz do
segmento OP sobre o ngulo de 90 , assim, vemos que o tringulo 4AOP retngulo em A,
analogamente, possvel mostrar que o tringulo 4BOP retngulo em B. Temos ainda
que os tringulos 4OAP e 4OBP so congruentes, ver Figura 25, pois, OA
= OB, OP o

2.4. Circunferncias Ortogonais

47

Figura 23 Ponto mdio M do segmento OP

Figura 24 Circunferncia com centro no ponto M e raio OM

Figura 25 Os tringulos 4OAP e 4OBP so congruentes

lado comum e ambos so tringulos retngulos,assim, aplicando o Teorema de Pitgoras,


possvel mostrar que AP
= BP .
Assim, a circunferncia ter centro em P , raio P A e ortogonal a circunferncia .
Suponhamos que h o ponto A0 , diferente dos pontos A, B, pertencente a circunferncia , tal que a circunferncia , com centro no ponto P , tenha raio A0 P e ortogonal a
circunferncia . Ento, o tringulo 4OA0 P retngulo. Como OP lado comum dos
tringulo 4OA0 P e 4OAP , OA
= OA0 e os tringulos 4OA0 P e 4OAP so retngulos,

48

Captulo 2. Inverso

Figura 26 Circunferncia ortogonal a circunferncia


aplicando o Teorema de Pitgoras, teremos OA
= OA0 , que nos leva afirmar que A0 = A ou
A0 = B que absurdo. Logo, s h uma circunferncia ortogonal a com centro no ponto P .
Teorema 2.4 Seja uma circunferncia de centro O e raio r. Existe O, P e P 0 colineares,
ento, P e P 0 so inversos em relao se, e somente se, qualquer circunferncia que passe
por P e P 0 ortogonal circunferncia .
DEMONSTRAO
() Considerando que P e P 0 so inversos em relao a e uma circunferncia com
centro O1 e raio t que passa por P e P 0 , Vamos provar que ortogonal a .
Seja s uma reta que passa por O e tangente a . Chamaremos de T o ponto de
tangncia de s em , como mostra a Figura 27
Sendo M o ponto mdio do segmento P P 0 e o tringulo 4P O1 P 0 issceles, ento,
O1 M perpendicular a P P 0 e os segmento P M e M P 0 so congruntes. Diante disso, os
tringulos 4OM O1 e 4O1 M P 0 so retngulos no vrtice M . Temos, ainda, que O1 T um
segmento de reta que passa pelo centro de , pelo Lema 2.2, O1 T ortogonal , ento, o
tringulo 4OT O1 retngulo em T , ver Figura 28.
Consideremos m = P M = M P 0 e t = O1 P 0 = O1 T , assim,

2 m = P P 0 = OP 0 OP m =

OP 0 OP
2

(2.1)

2.4. Circunferncias Ortogonais

49

Figura 27 Circunferncia passando por P e P 0 e reta s = OT tangente em

Figura 28 As circunferncia e so ortogonais


Aplicando o Teorema de Pitgoras no tringulo 4O1 M P 0 , temos a seguinte relao:
O1 P

02

02

= M P + M O1 O1 P

M O1

02

OP 0 OP
2

OP 0 OP
= O1 P
2
02

!2

+ M O1

!2

Ainda temos:

OM = OP + P M = OP + m

(2.2)

50

Captulo 2. Inverso

OM = OP +

OM =

OP 0 OP
2

OP + OP 0
2

(2.3)

Aplicando o Teorema de Pitgoras no tringulo 4OM O1 , temos


2

OO1 = O1 M + OM

OO1

OP + OP 0
= O1 M +
2
2

!2

(2.4)

Fazendo (2.2) em (2.4), temos:

OO1 = O1

2
P0

OP 0 OP

OO1 O1

2
P0

!2

OP + OP 0
+
2

!2

OP 2 OP OP 0 + OP 0
OP + 2 OP OP 0 + OP 0
=
+
4
4

OO1 t2 = OP OP 0

(2.5)

Aplicando o Teorema de Pitgoras no tringulo 4OT O1 , temos:


2

OT = OO1 O1 T = OO1 t2 OT = OP OP 0

(2.6)

Como P e P 0 so inversos em relao a , temos


OP OP 0 = r2 OT = r
Logo, T um ponto da circunferncia . Como s tangente a e perpendicular a
reta T O1 , ento, ortogonal a .
() Os pontos O, P e P 0 so colineares, uma circunferncia ortogonal e passa
pelos pontos P e P 0 . Vamos provar que P, P 0 so inversos em relao a . Se T um ponto
de interseo entre e , ento, existem as retas v tangente a , no ponto T , e sv tangente
a . Pelo Lema 2.2, a reta s passa no ponto O, veja Figura 29.

2.4. Circunferncias Ortogonais

51

Figura 29 As circunferncia e so ortogonais

Tomando M como ponto mdio de P P 0 , temos que os tringulos 4OM O1 e 4O1 M P


so retngulos em M . Temos ainda que a reta v ortogonal a , ento, v incide no centro O1
de , ento, o tringulo 4OT O1 retngulo em T . Deste modo, possvel provar a relao:
OP OP 0 = OT

Como T um ponto da circunferncia , ento, r = OT OP OP 0 = OT = r2 .


Portanto, P e P 0 so inversos em relao .

Corolrio 2.2 Considere , circunferncias que se intersetam nos pontos P, P 0 . Temos que
P, P 0 so inversos em relao a circunferncai se, e somente se, , so ortogonais a .

DEMONSTRAO
) Sendo , circunferncias ortogonais a que passam por P , ento, pelo Teorema
2.4, , tambm passam pelo inverso de P em relao a . Como a interseo de duas
circunferncias tm, no mximo, dois pontos, ento, P 0 o inverso de P em relao a
) Sendo P, P 0 pontos inversos em relao circunferncia e , so circunferncias
que passa por P, P 0 , pelo Teorema 2.4, , so ortogonais a .
Pelo Teorema 2.4, para encontrar o inverso do ponto P , em relao a circunferncia
de centro O, basta construir uma circunferncia ortogonal a passando por P e a reta OP .
Uma das intersees entre a reta OP e a circunferncia ortogonal a o ponto P e a outra
o ponto P 0 inverso de P em relao a , ver Figura 30.

52

Captulo 2. Inverso

Figura 30 Os pontos P e P 0 so inversos em relao a , conforme Teorema 2.4

2.5 INVERSO DE RETAS E CIRCUNFERNCIAS


Dependendo da posio relativa ao centro de inverso, a Inverso pode levar circunferncia em circunferncia ou em reta, assim como leva reta em reta ou circunferncia, alm
disso, a Inverso uma aplicao que conserva ngulos.
Proposio 2.3 Seja uma circunferncia de inverso de centro O e raio r, o inverso de
uma circunferncia , ortogonal a , a prpria circunferncia e o arco formardo por todos
os pontos de no interior de inverso ao arco formado por todos os pontos de exterior a
.
DEMONSTRAO
Consideremos, sem perda de generalidade, um ponto arbitrrio A de no interior de
e o ponto B . Como ortogonal a e A um ponto de , pelo Teorema 2.4, o
inverso de A, A0 , a interseo entre a reta OA e a circunferncia , que, pela definio de
ponto inverso, exterior a , deste modo, cada ponto de , interior a est associado a um
ponto de , exterior a . Temos ainda que o inverso do ponto B o prprio B, pois OB = r,
ver Figura 31.
Teorema 2.5 No plano E , seja uma circunferncia de inverso de centro O
a) A inverso de uma circunferncia que passa por O uma reta 0 que no passa por
O, ver Figura 32.
b) A inverso de uma reta s que no passa por O uma circunferncia que passa por O.

2.5. Inverso de Retas e Circunferncias

53

Figura 31 As circunferncias e so ortogonais

Figura 32 A reta 0 inversa a circunferncia em relao a

c) A inverso de uma circunferncia que no passa por O uma circunferncia 0 que


no passa por O, ver Figura 33.

A demonstrao do Teorema 2.5 pode ser encontrado em (MUNARETTO, 2010, Pag.


24-31).
Segue de imediato que se m, n duas retas ou duas circunferncias que passam no ponto
P 6= , ento, m0 , n0 , inversos, respectivamente, de m, n, passam por P 0 , inverso do ponto
P . Se a interseo entre a reta s e uma circunferncia , que no passa por O, nao vazia,
ento s0 0 =
6 . E sendo m, n duas retas, ou duas circunferncias, ou uma reta e uma
circunferncia, se m n = , ento, m0 n0 = .

54

Captulo 2. Inverso

Figura 33 A circunferncia 0 inversa a circunferncia em relao a

Teorema 2.6 Sejam m, n duas retas ou duas circunferncias ou uma reta e uma circunferncia que passam pelo ponto P 6= e m0 , n0 , P 0 os inversos de m, n, P , respectivamente. O
ngulo formado por m, n no ponto P igual ao ngulo formado por m0 , n0 no ponto P 0 .
A demonstrao do Teorema 2.6 pode ser encontrado em (MUNARETTO, 2010, Pag.
31-37).
Pelo Teorema 2.6, a Inverso conserva ngulo formado por retas e circunferncias,
assim, diremos que a Inverso uma aplicao Conforme.
Teorema 2.7 Seja uma circunferncia de inverso de centro O e raio r e uma circunferncia que no passa por O. Seja A o inverso de O em relao a e 0 o inverso de em
relao a . Ento, A0 , o inverso de A em relao a , o centro da circunferncia 0 .
A demonstrao do Teorema 2.7 pode ser encontrada em (MUNARETTO, 2010, Pag.
37).
Corolrio 2.3 Considere a circunferncia com centro O e a circunferncia com centro
O . Seja A, o inverso de O em relao a . Se , so ortogonais, ento, O o inverso
de A em relao a .
DEMONSTRAO
Pelo Teorema 2.7, o inverso de A, A0 , em relao a o centro da circunferncia 0 ,
inversa de em relao a . Como ortogonal a , pela Proposio 2.3, 0 = , portanto,
A0 = O .

Parte III
CONSISTNCIA DO MODELO DE DISCO DE
POINCAR

3 CONSISTNCIA DO MODELO DE DISCO


DE POINCAR
Jules Henri Poincar (1854-1912) era Engenheiro de Minas pela cole Polytechnique
(1875), trabalhou no Departamento de Minas at falecer. Foi Doutor em Cincias pela
Universidade de Paris (1879), onde adquiriu Ctedra, e foi professor da Universidade de
Sorbone. Ao contrrio de outros famosos matemticos, Poincar se revelou um gnio na
idade adulta e foi prova viva que habilidade para os nmeros no um pr-requisito para ser
um grande matemtico, pois, Poincar no tinha habilidade para clculos laboriosos mas
considerado um universalista em Matemtica.
O modelo de Poincar para Geometria Hiperblica foi criado entre 1882 e 1887. Ele faz
uso da Geometria Euclidiana, mas utilizando os postulados da Geometria Hiperblica, assim,
se houver alguma inconsistncia, ento, tambm h inconsistncia na Geometria Euclidiana.
Mostraremos que o Modelo de Disco Proposto por Poincar para Geometria Hiperblica
satisfaz os Axiomas de Hilbert mais o Axioma das Paralelas para Geometria Hiperblica, ver
seo 1.3, Pgina 26.

3.1 MODELO DE DISCO DE POINCAR


No Modelo de Disco, Poincar d significado aos termos indefinidos:
Seja C o crculo euclidiano de raio 1 e centro O e seja a sua circunferncia. O Plano
Hiperblico, que chamaremos de D2 , o crculo C, excluindo-se a circunferncia ;
Ponto um elemento de D2 , so os pontos do plano E que esto no interior de , ver
Figura 35;
Reta um conjunto obtido por interseo de C com a reta que incide no ponto O, ou
com uma circunferncia ortogonal .

3.1. Modelo de Disco de Poincar

57

Figura 34 Plano Hiperblico chamado de D2

Figura 35 Ponto P pertencente ao plano hiperblico D2 e o ponto Z1 no pertence ao plano


hiperblico D2
[
Na Figura 36, o segmento Z1 Z2 e o arco Z
3 Z4 so exemplos de retas no modelo de
Poincar. Os pontos Z1 , Z2 , Z3 , Z4 , no so elementos do plano hiperblico, so chamados de
pontos ideais.

58

Captulo 3. Consistncia do Modelo de Disco de Poincar

Figura 36 Mode do Disco de Poincar

Considere uma reta hiperblica r, se r um conjunto de pontos de uma reta euclidiana


que passa pelo centro O de ou circunferncia euclidiana ortogonal a , que denotaremos
por r , ento diremos que r gera a reta hiperblica r e a interseo entre e r so dois
pontos, A e B, que sero os pontos ideais da reta hiperblica r.

3.2 RELAES NO PLANO HIPERBLICO


Definio 3.1 Considere r uma reta hiperblica com pontos ideais Z1 e Z2 e um ponto
A D2 , diremos que A pertence a reta hiperblica r, denotaremos por A r (l-se: A
pertence a r), se
1. r um dimetro de e A, Z1 , Z2 so colineares no plano E , ver Figura 37.

Figura 37 A pertence a reta hiperblica r que passa pelo centro de

3.2. Relaes no Plano Hiperblico

59

2. r gerada por uma circunferncia euclidiana r ortogonal a com centro O1 e o


segmento de reta euclidiana AO1 um raio de r , ver Figura 38.

Figura 38 A pertence a reta hiperblica r que gerada pela circunferncia r .

Sendo A D2 pertencente a uma reta hiperblica r tambm podemos dizer que r


incide em A ou r passa por A.
Definio 3.2 Seja r uma reta hiperblica e os pontos A, B, C r, diremos que B estar
entre A e C, denotaremos por A B C, se
1. r um dimetro da circunferncia e B est entre A e C no plano E , ver Figura 39.

Figura 39 B est entre A e C na reta hiperblica que incide no centro de .

60

Captulo 3. Consistncia do Modelo de Disco de Poincar

2. r gerada pela circunferncia r com centro O1 e B um ponto do ngulo euclidiano


AO1 C, ver Figura 40.

Figura 40 B est entre A e C na reta hiperblica que no incide no centro de .

Definida a relao "Estar Entre", podemos definir segmento de reta hiperblica.


Definio 3.3 O segmento de reta hiperblica de extremos A e B, que denotaremos por [AB],
o conjunto formado pelos pontos A, B D2 e pelos pontos de D2 que esto entre A e B, ver
Figura 41, ou seja,
[AB] = {A, B} {P D2 |A P B}

Figura 41 Segmento de reta hiperblica [AB].

Segue da Definio 3.3 temos que [AB] = [BA]

3.2. Relaes no Plano Hiperblico

61

Definio 3.4 Considere as retas hiperblica distintas r = AB, s = AC.


1. Se r e s so retas hiperblicas geradas pelas circunferncias r , s , respectivamente,
ento, o ngulo formado pelas retas r, s igual ao ngulo entre as circunferncias r , s
no ponto A1 , ver Figura 42.

Figura 42 ngulo formado por pelas retas r, s, geradas, respectivamente, por r , s

2. Se r um dimetro de e s gerada pela circunferncia s , o ngulo formado pelas


retas hiperblicas r, s igual ao ngulo de segmento em s de vrtice A no plano E 2

Figura 43 ngulo formado por pelas retas r, s, a reta hiperblica r um dimetro de e s


gerada por s .

1
2

Ver Definio 2.7, Pgina 42.


Ver Definio 2.9, Pgina 44.

62

Captulo 3. Consistncia do Modelo de Disco de Poincar

3. Se r, s so dimetros da circunferncia , ento, A = O e o ngulo formado pelas retas


hiperblica r, s igual ao ngulo formado formado pelas retas euclidianas AB, AC, ver
Figura 44.

Figura 44 ngulo formado por pelas retas r, s, onde r, s so dimetros de .

O ngulo formado pelas retas r, s ser denotado por BAC


Vale salientar que BAC = CAB e, por convenincia, toda notao de ngulo se
refere a ngulos menores ou iguais a 180 e a partir disso, seguem as mesmas terminologias:
ngulo agudos, obtusos, complementar, suplementar, reto, opostos pelo vrtice, etc.
Definio 3.5 Considere as retas hiperblicas AB, com pontos ideais Z1 , Z2 , com Z1 mais
prximo do ponto B do que o ponto A, no plano E , e A0 B 0 , com pontos ideais Z10 , Z20 , com
Z10 mais prximo do ponto B 0 do que o ponto A0 , no plano E . Diremos que [AB] e [A0 B 0 ]
so segmentos congruentes se (A, B, Z1 , Z2 ) = (A0 , B 0 , Z10 , Z20 ) 3 , ver Figura 45.

Definio 3.6 Considere os pontos A, B, C, D, E, F D2 , diremos que ABC e DEF


so ngulos congruentes, e representamos como ABC = DEF , se suas medidas forem
iguais.

Ver Definio 2.2, Pgina 31 e Definio 2.4, Pgina 34.

3.3. Axiomas de Incidncia

63

Figura 45 Os segmentos [AB] e [A0 B 0 ] so congruentes.

3.3 AXIOMAS DE INCIDNCIA


Vamos mostrar que o Modelo de Poincar satisfaz os Axiomas de Incidncia, para isso,
vamos considerar D2 como o plano de incidncia
Proposio 3.1 O Disco de Poincar satisfaz o Axioma I1.
Vamos mostrar que por dois pontos do plano hiperblico incide uma nica reta,
ento, considere a reta hiperblica AB como uma construo no plano E , assim, temos que
A, B C. Deste modo, consideremos quatro casos:
Caso 1) Considere os pontos A, B D2 tal que O, A e B so colineares no E , ver Figura 46.

Figura 46 Caso 3
Temos que A0 , inverso de A, e B 0 , inverso de B, so pontos da reta AB. Ento, no h
circunferncia ortogonal a que passe por A e B. Logo, a reta hiperblica que passa
por A e B ser a interseo entre a reta euclidiana AB e D2 .

64

Captulo 3. Consistncia do Modelo de Disco de Poincar

Figura 47 Reta hiperblica que passa pelos pontos A, B e o centro O.

Como a reta euclidiana AB existe e nica, ento, podemos dizer que a reta hiperblica
AB tambm existe e nica. De forma anloga podemos construir uma reta hiperblica
determinada pelo ponto O e um ponto A D2 .
Caso 2) Considere os pontos A, B D2 e a reta AB no passa pelo centro de .
Vamos determinar A0 inverso do ponto A em relao a , ver Figura 48.

Figura 48 A, B D2
Vamos traar as mediatrizes de AB e de AA0 e marcar o ponto O interseo das duas
mediatrizes, ver Figura 49.
O ponto O centro da circunferncia com raio OA que passa pelos ponto A, B e A0 ,
ver Figura 50. Conforme o Teorema 2.4, ortogonal .

3.3. Axiomas de Incidncia

65

Figura 49 Ponto O interceo das mediatrizes de AB e de AA0

Figura 50 As circunferncia e so ortogonais

A interseo entre D2 e circunferncia a reta hiperblica que passa pelos pontos A e


B, ver Figura 51.

Figura 51 Reta hiperbllica que passa pelos pontos A e B

66

Captulo 3. Consistncia do Modelo de Disco de Poincar

Na Geometria Euclidiana, trs pontos distintos determinam um nica circunferncia,


assim, a circunferncia que passa pelos pontos A e B nica, ento a reta hiperblica
AB nica.
evidente que como uma nica reta incide sobre os pontos A e B, ento AB = BA.
No Modelo de Disco de Poincar, possvel determinar uma reta hiperblica por
pontos ideais. Assim, se A e B so pontos ideais, ento, A, B . Considere dois casos.
caso 1) O, A e B no so colineares no E , veja Figura 52.

Figura 52 A e B so pontos ideais.


Traando a reta a, tangente a no ponto A, e a reta b, tangente a no ponto B, vamos
encontrar o ponto C = a b, veja Figura 53.

Figura 53 As retas a e b so tangentes a nos pontos A e B, respectivamente.


A circunferncia de centro C e raio AC ortogonal a e passa pelo ponto B, veja
Figura 54.

3.3. Axiomas de Incidncia

67

Figura 54 As retas a e b so tangentes a nos pontos A e B, respectivamente.

Figura 55 Reta hiperblica que tem pontos ideais A e B.

d a reta hiperblica que tem como pontos ideais A e B, ver Figura 55.
Assim, o arco AB

Na Geometria Euclidiana, a circunferncia de centro C e raio AC, denotaremos por


C (C, A), nica, ento, a reta hiperblica AB tambm nica.
Caso 2 O, A e B so colineares no E , ento, a reta hiperblica AB o dimetro de que
incide em A e B.

Definio 3.7 Considere as retas hiperblicas r, s, dizemos que r, s so retas hiperblicas


coincidentes se uma incide em todos os pontos da outra, ou seja, r = s, do contrrio,
dizemos que r, s so retas hiperblicas distintas, ou seja, r 6= s.

Teorema 3.1 Considere as retas hiperblica r, s, se r incide em, ao menos, dois pontos de s,
ento, r, s so coincidentes.

DEMONSTRAO

68

Captulo 3. Consistncia do Modelo de Disco de Poincar

Figura 56 Pontos ideais A e B e O, A e B so colineares no plano E


Se r, s incidem nos pontos A, B D2 , pela Proposio 3.1, A, B determina uma nica
reta hiperblica, logo, r = s.
Vejamos uma Aplicao no Disco de Poincar que leva um ponto do Plano Hiperblico
a um ponto no Plano Hiperblico.
Definio 3.8 Sejam r uma reta hiperblica, A, A0 pontos de D2 , diremos que A, A0 so
simtricos ou reflexos reta r se
1. r um dimetro de e A, A0 so simtricos a reta euclidiana que contm r, ver
Figura 57.

Figura 57 A, A0 so pontos do D2 simtricos em relao a reta hiperblica r e r um


dimetro da circunferncia euclidiana

2. r uma reta gerada pela circunferncia r e A, A0 so inversos em relao a r no E .

3.3. Axiomas de Incidncia

69

Chamaremos r de reta hiperblica de simtria ou reflexo e esta aplicao em D2 de


Reflexo em relao a uma reta.
Assim, verificamos que, no plano E , se r um dimetro de , A, A0 esto em lados
opostos a r e se r um arco de uma circunferncia r , um ponto exterior e o outro interior
a r . Em ambos os casos de r, se A um ponto de r veremos que A0 = A.
Considerando dois pontos, A e A0 , equidistantes de O, no E , a reta de reflexo que
transformar A em reflexo de A0 , a interseo entre a mediatriz do segmento de reta euclidiana
AA0 e o interior de 4 , ver Figura 58.

Figura 58 O equidistante de A e A0 e a reta de reflexo a interseo entre a mediatriz


do segmento AA0 e o interior de
Vamos determinar a reta r que transforma o ponto A em reflexo de A0 , onde A e A0
so distintos e no equidistantes de O.
1. a reta r um arco da circunferncia r que ortogonal a . Sendo O1 o centro de r e
como A e A0 so inversos em relao a r , ento, O1 pertence a reta euclidiana AA0 , ver
Figura 59.
2. Pelo Teorema 2.4, Pgina 48, r ortogonal a circunferncia que determina a reta
hiperblica AA0 , ento, os pontos ideais, Z1 e Z2 , so inversos em relao a circunferncia
r , logo, o ponto O1 tambm pertence a reta euclidiana Z1 Z2 , ou seja, O Z1 Z2 AA0 .
Assim, vamos determinar os pontos ideais da reta hiperblica AA0 e o ponto O, centro
da circunferncia r , ver Figura 60.
4

Consideramos que, no plano E , A, A0 so simtricos a reta r se r for a mediatriz do segmento AA0

70

Captulo 3. Consistncia do Modelo de Disco de Poincar

Figura 59 Centro da circunferncia r pertence a reta euclidiana AA0 .

Figura 60 Centro da circunferncia r pertence a interseo das retas euclidianas AA0 e


Z1 Z2 .
3. Falta saber o raio da circunferncia r , para isso, vamos determine o ponto P tal que a
reta euclidiana O1 P seja tangente ao arco de circunferncia Z1 Z2 , ver Figura 61.

Figura 61 A reta euclidiana OP tangente ao arco de circunferncia Z1 Z2


4. por fim, temos que r = C(O, P ), assim, tracemos o arco que representa a reta hiperblica
r, ver Figura 62.
Vamos construir uma reta hiperblica r que reflita o ponto A no ponto O, centro de .
Se A = O, ento, a reta hiperblica r incide em O, logo, qualquer dimetro de pode
ser a reta de reflexo r.

3.3. Axiomas de Incidncia

71

Figura 62 r reta de reflexo no plano D2


Vamos considerar A 6= O, ento, existe A0 , inverso de A em relao a . Pelo Lema 2.3,
Pgina 46, existe uma nica circunferncia ortogonal a com centro em A0 , denotaremos por
r , que gera uma reta hiperblica r. Sendo , r circunferncias ortogonais e A, A0 inversos
em relao a , pelo Corolrio 2.3, O, A so inversos em relao a r , portanto, O, A so
simtricos em relao a reta hiperblica r.

Figura 63 A reflexo de O em relao a reta hiperblica r

Proposio 3.2 Em D2 , a reflexo em relao a uma reta leva uma reta hiperblica em outra
reta hiperblica.
DEMONSTRAO
Vamos considerar os seguintes casos:
Caso I- Sejam as retas hiperblica r, s geradas pelas circunferncias r , s , respectivamente, e
s no passa pelo centro de r . Pela Proposio 2.3, tomando r como circunferncia

72

Captulo 3. Consistncia do Modelo de Disco de Poincar

de inverso, a inversa de a prpria , a inversa de s , pelo Teorema 2.5, pgina 53,


uma circunferncia s0 . Pelo Teorema 2.6, pgina 54, s0 ortogonal a . Logo, s0
gera uma reta hiperblica s0 que simtrica a reta hiperblica s em relao a r, ver
Figura 64.

Figura 64 s, s0 so retas hiperblicas simtricas em relao a reta hiperblica r.

Caso II- Considere s uma reta hiperblica que passa pelo centro de , ou seja, s um segmento
de uma reta euclidiana s , r uma reta hiperblica gerada por uma circunferncia r de
centro O1 e s no passa pelo centro de r . Tomando r como circunferncia de inverso,
pelo Teorema 2.5, o inverso de s uma circunferncia s0 que passa pelo centro O1
de r . Ento, o inverso do centro de , O0 , pertence a circunferncia s0 , como r
ortogonal a , pelo Corolrio 2.3, O0 , O1 so inversos em relao e, pelo Teorema 2.4,
s0 ortogonal a . Logo, s0 gera uma reta hiperblica s0 que simtrica reta s em
relao reta hiperblica r, ver Figura 65.

Caso III- Considere s, r retas hiperblicas geradas pelas circunferncias s , r , respectivamente, e


s passa pelo centro O1 de r . A reta euclidiana OO1 intercepta s no ponto O0 , como
s ortogonal a e O, O0 , O1 so colineares, pelo Teorema 2.4, O0 , O1 so inversos em
relao a . Pelo Corolrio 2.3, o inverso de O0 , em relao a r o ponto O, centro de
, pelo Teorema 2.5, o inverso de s em relao a r uma reta, s0 . Assim, s0 uma
reta que passa por O, logo o dimetro de determinado pela reta euclidiana s0 uma
reta hiperblica simtrica a reta s em relao reta hiperblica r, ver Figura 66.

3.3. Axiomas de Incidncia

73

Figura 65 s um dimetro de e s, s0 so retas hiperblicas simtricas em relao a reta


hiperblica r.

Figura 66 s, s0 so retas hiperblicas simtricas em relao a reta hiperblica r

Caso IV- Considere r, s retas hiperblicas tal que r gerada pelas circunferncia r e s um
dimetro de determinado pela reta s que passa pelo centro O1 de r . Pelo Teorema
2.5, a inversa de s em relao a r a prpria reta s , portanto, s simtrica a si
prpria em relao a reta hiperblica r, ver Figura 67.

74

Captulo 3. Consistncia do Modelo de Disco de Poincar

Figura 67 s simtrica a si prpria em relao a reta hiperblica r

Caso V- Considere r, s retas hiperblicas distintas tal que r, s so dimetros de . Tomando r


como reta hiperblica de reflexo, no plano, assim, r divide em dois arcos simtricos
reta euclidiana v que contm r. Ento, vamos considerar A, B pontos ideais da reta
hiperblica s, se existe uma reta hiperblica s0 , simtrica a s em relao a r, ento,
seus pontos ideais, A0 , B 0 so simtricos, respectivamente, a A, B em relao a r. Vamos
traar uma reta euclidiana t perpendicular a v passando pelo ponto A e marquemos o
ponto A0 , outra interseo entre t, . Vamos traar a reta euclidiana u perpendicular a
v passando por B e marquemos o ponto B 0 outra interseo entre u, . Como A0 , O, B 0
so colineares no E , ento O pertence a reta hiperblica s0 , ou seja, s0 um dimetro
de , ver Figura 68.

Figura 68 s, s0 so simtricas em relao a r e incidem em O.

3.3. Axiomas de Incidncia

75

Caso VI- Considere r, s retas hiperblicas onde r um dimetro de e s uma reta hiperblica
que no incide em O. Vamos considerar A, B pontos ideais da reta hiperblica s. Se
existir uma reta hiperblica s0 , simtrica a s em relao a r, ento seus pontos ideais,
A0 , B 0 , so simtricos, respectivamente, a A, B em relao a r. Vamos traar uma reta
euclidiana t perpendicular a r passando por A e marcarmos A0 , a outra interseo
entre t, , tracemos a reta u perpendicular a r passando por B e marcamos B 0 , a outra
interseo entre u, . Como A0 , B 0 , O no so colineares no E , ento, s0 um arco de
circunferncia ortogonal a , ver Figura 69.

Figura 69 s, s0 so simtricas em relao a r e no incidem em O.

Lema 3.1 Duas retas hiperblicas distintas se intersetam, no mximo, em um ponto


DEMONSTRAO
Considere r, s retas hiperblica, se r, s so dimetros de , ento se intersetam no
ponto O. Se r um dimetro de determinado por uma reta euclidiana t e s uma reta
hiperblica gera pela circunferncia s , ento, t, s se intersetam, no mximo, em dois pontos,
A, B. Como s ortogonal a e O, A, B so pontos colineares no plano E , pelo Teorema
2.4, A, B so pontos inversos em relao a , logo, um deles esta no interior e o outro
exterior a , ver Figura 70.
Se r, s retas hiperblicas geradas pelas circunferncias r , s , respectivamente, ento,
r , s se intersetam, no mximo, em dois pontos, A, B. Como r , s so ortogonais a , pelo
Corolrio 2.2, A, B so inversos em relao a , portanto, apenas um dos pontos pertence a
D2 , ver Figura 71.

76

Captulo 3. Consistncia do Modelo de Disco de Poincar

Figura 70 r passa por O e s no passam por O e r, s se intersetam, no mximo, em um


ponto

Figura 71 r, s no passam por O e r, s se intersetam, no mximo, em um ponto no plano D2


Definio 3.9 Chamaremos de retas hiperblicas concorretes duas retas hiperblicas
distintas que se intersetam em um ponto.
Proposio 3.3 O Modelo de Disco de Poincar satisfaz o Axioma I2 e I3.
DEMONSTRAO
A menos que seja necessrio uma reflexo, considere uma reta hiperblica r que no
passa por O. Logo, r gerada por uma circunferncia r com centro O1 e interseta nos
pontos Z1 , Z2 . A reta euclidiana OO1 intercepta o arco r no ponto A. Seja Z3 a interseo
entre e a reta euclidiana OZ1 , teremos, ento, um ponto B que a interseo entre o arco
r e a reta euclidiana Z3 O1 . Assim, temos que a reta hiperblica r incide ao menos em dois
pontos, A, B, assim, o Disco de Poincar satisfaz o Axioma I2, ver Figura 72.

3.3. Axiomas de Incidncia

77

Figura 72 O Modelo de Disco de Poincar satisfaz o Axioma I2.


Para provar que o Disco de Poincar satisfaz o Axioma I3, a menos que seja necessrio
uma reflexo, tomemos os pontos distintos O, A, B D2 no colineares no E . Consideremos
que existe uma reta hiperblica que incide em O, A, B. Assim, as retas hiperblicas OA e
AB so coincidentes, que um absurdo, pois OA um dimetro de e AB um arco de
circunferncia ortogonal a , portanto, no possvel construir uma reta hiperblica que
incida em O, A, B, logo, o Disco de Poincar satisfaz o Axioma I3, ver Figura 73.

Figura 73 O Modelo de Disco de Poincar satisfaz o Axioma I3.

Teorema 3.2 As afirmaes a seguir so verdadeiras no Modelo de Poincar:


1. Para cada reta hiperblica h, existe pelo menos um ponto P , tal que P no incide a h.
2. Para cada ponto P existe pelo menos uma reta h, tal que h no incide sobre P .
3. Para cada ponto P existem pelo menos duas retas distintas h1 e h2 , tais que h1 e h2
incidem sobre P .

78

Captulo 3. Consistncia do Modelo de Disco de Poincar

4. Para cada ponto P , existem pontos Q e R, tais que P , Q e R no so colineares.

DEMONSTRAO
1. Considere h uma reta hiperblica, suponhamos que qualquer ponto P incida em h.
Teremos, ento, que qualquer subconjunto de D2 , est contido na reta h, o que contradiz
a Proposio 3.3.
2. Suponhamos que existe um ponto P D2 que incidente a qualquer reta hiperblica h.
Ento, para quaisquer dois pontos A, B D2 \ {P } distintos, P AB, pelo que A, B e
P so colineares. Para quaisquer trs pontos A, B, C D2 \ {P }, distintos dois a dois,
P AB AC, resultado do Teorema 3.3 que AB = AC. Consequentemente A, B e C
so colineares. Pela arbitrariedade da escolha dos pontos, concluimos que quaisquer trs
pontos do plano D2 so colineares, o que contradiz a Proposio 3.3. Assim, nem todo
ponto P incidente na reta hiperblica h, para cada ponto P D2 existe pelo menos
uma reta hiperblica h tal que P
/ h.
3. Seja o ponto P D2 arbitrrio e seja h uma reta hiperblica tal que h no incide
sobre P , cuja existncia garantida pela Afirmao 2. Pela Proposio 3.3, h incide
sobre pelo menos dois pontos distintos, digamos A e B. Considere a reta hiperblica
AP = h1 e a reta hiperblica BP = h2 . Se h1 = h2 , ento {A, B} h1 , resultando do
Teorema 3.3 que h1 = h, e, consequentemente, P h, o que absurdo. Assim, h1 e h2
so retas distintas que incidem sobre P . Da arbitrariedade na escolha de P , conclui-se
que qualquer ponto incidente a duas retas distintas.
4. Seja o ponto P D2 arbitrrio e seja h uma reta hiperblica tal que h no incide sobre
P , cuja existncia garantida pela Afirmao 2. Pela Proposio 3.3, h incidente
sobre pelo menos dois pontos distintos, Q e R. Como P
/ h, pela Proposio 3.1, h
a nica reta que passa por Q e R, ento, os pontos P , Q e R no so colineares. Da
arbitrariedade da escola de P , conclui-se que cada ponto P D2 existem dois pontos Q
e R tais que P , Q e R no so colineares.

3.4 AXIOMAS DE ORDEM


Proposio 3.4 O Modelo de Poincar satisfaz o Axioma O1, O2 e O3
DEMONSTRAO

3.4. Axiomas de Ordem

79

A demonstrao que o Disco de Poincar satisfaz os Axiomas O1 e O3 decorre da


Definio 3.2, Pgina 60.
Vamos provar que o Disco de Poincar satisfaz o Axioma O2, sejam os pontos A, C D2 ,
a reta hiperblica r = AC gerada pela circunferncia r com centro em O1 e Z1 , Z2 pontos de
interseo entre r , , com Z1 mais prximo de C do que A. Traando o segmento euclidiano
CZ1 , podemos determinar um ponto P que est entre C e Z1 no E . A semirreta euclidiana

O1 P interceta r em um ponto B, interior a . Temos, ento, que B D2 um ponto


pertencente a reta hiperblica r e, no E , C um ponto do ngulo AO1 B, pela Definio
3.2, A C B, assim, o Disco de Poincar satisfaz o Axioma O2.
Definio 3.10 A semirreta de vrtice, ou origem, A que passa por B, que denotamos por

AB, o conjunto formado pelo segmento de reta [AB] e pelos pontos P D2 tais que AB P ,
isto

AB = [AB] {P D2 |A B P }

Proposio 3.5 O Modelo de Disco de Poincar satisfaz o Axioma O4.


DEMONSTRAO
Considere, a menos que seja necessrio uma reflexo, os pontos distintos A, B, C
D \ {O}, no colineares dois a dois com o ponto O, no E , e no pertencentes a uma mesma
reta hiperblica e as retas hiperblicas r = AB, s = AC, t = BC geradas pelas circunferncias
r , s , t , respectivamente. Sem perda de generalidade, considere a Figura 74.
2

Tome um ponto P do segmento hiperblico [AC], seja h uma reta hiperblica que incide
em P . A menos de uma reflexo, se h for gerada por uma circunferncia h , pelo Corolrio
2.2, h passa pelo ponto P 0 , inverso de P em relao a . Diante do exposto, a menos que
h , r sejam coincidentes, h tem pontos no interior de r . Temos ainda que entre P, P 0 h
pontos dos arcos que representam os segmento hiperblicos [AB], [BC], deste modo, a reta
hiperblica h intercetar [AB] ou [BC], ver Figura 75.

80

Captulo 3. Consistncia do Modelo de Disco de Poincar

Figura 74 A, B, C formam segmentos hiperblicos no pertencentes a uma mesma reta


hiperblica.

Figura 75 O Modelo de Disco de Poincar satisfaz o Axioma O4


Definio 3.11 Sejam os pontos A, B, C D2 no colineares. O conjunto
4ABC = [AB] [BC] [AC]
designado por tringulo de vrtices A, B e C ou lados [AB], [BC] e [AC]. Os ngulos
ABC, BCA e CAB designam-se ngulos internos do tringulo 4ABC, sendo o ngulo
que se ope, ou oposto, a um dos lados de 4ABC aquele que formado pelas semirretas que
contm os outros dois lados.
Na Figura 76, por exemplo, o ngulo oposto ao lado [AB] ACB pois a semirreta
que contm o segmento de reta [AB] no um de seus lados.

3.4. Axiomas de Ordem

81

Figura 76 Tringulo 4ABC

Vale salientar as anotaes [ABC], [BAC], etc se referem ao mesmo tringulo, cujos
vrtices so A, B e C.
Sempre que escrevermos [ABC] ou ABC pressupomos que A, B, C D2 so ts
pontos no colineares.
Decorre de imediato da Proposio 3.5 que, no Disco de Poincar, uma reta hiperblica
h que no incide em nenhum dos vrtices do tringulo 4ABC interseta no mximo em dois
lados do tringulo 4ABC. Se a reta hiperblica h incide em nenhum dos vrtices e nem
interseta dois lados do tringulo 4ABC, ento, h no interseta em nenhum dos trs lados
do tringulo 4ABC, ou seja, no interseta o tringulo. Consequentemente, se uma reta
hiperblica h que no incide em nenhum dos vrtices do tringulo 4ABC interseta dois lados
ou nenhum dos trs lados do tringulo 4ABC, ver Figura 77.

Figura 77 Posies relativas entre reta hiperblica e tringulo hiperblico

Decorre de imediato que o interior de um segmento de reta no um conjunto vazio.


O Teorema seguinte estabelece uma relao entre dois pontos e uma reta no D2 , dando
significado as expresses "os pontos P e Q esto do mesmo lado da reta r"e "os pontos P e Q

82

Captulo 3. Consistncia do Modelo de Disco de Poincar

esto em lados opostos relativamente reta r".


Teorema 3.3 Para cada reta r do D2 existem dois subconjuntos no vazios do D2 , que
denotaremos por D21 e D22 , tais que:
1. D2 \r = D21 D22 , ver Figura 78;

Figura 78 D2 \r = D21 D22

2. Dois pontos distintos A, B D2 \r pertencem ao mesmo conjunto, D21 ou D22 , se e s se


[AB] no interseta r, ver Figura 79;

Figura 79 A, B D21 e C, D D22

3.5. Axiomas de Congruncias

83

3. Dois pontos, A, C D2 \r pertencem a diferentes conjuntos, um ponto pertence a D21 e


o outro ponto pertence a D22 , se e s se [AC] interseta r, ver Figura 80.

Figura 80 A e C pertencem a conjuntos diferentes.

Os conjuntos D21 = D21 r e D22 = D22 r sero chamados de semiplanos, diremos


que os pontos A e B esto do mesmo lado da reta r se e s se acontecer o ponto 2 do
Teorema 3.3 e diremos que os pontos A e B esto em lados opostos relativamente
reta r se e s se acontecer o ponto 3 do Teorema 3.3.

3.5 AXIOMAS DE CONGRUNCIAS


Emprega-se a palavra CONGRUNCIAS, CONGRUENTE ou CNGRUO relativamente a figuras geomtricas, para expressar noes corrigueiras de igualdade. Deste
modo, menciona-se congruncia entre retas, ou entre ngulos. Entretanto, comum utilizar o
termo "igual"quando o rigor exige "congruente". Assim, definiremos uma distncia no plano
hiperblico D2 . Por simplicidade, usaremos para "congruncia"e "igual"o mesmo sinal.

3.5.1 DISTNCIA HIPERBLICA


Uma distncia no plano D2 uma funo d : D2 D2 R que possui as seguintes
propriedades para quaisquer pontos A, B, C D2 :
(a) Positiva Definida: d(A, B) 0 e d(A, B) = 0 A = B;

84

Captulo 3. Consistncia do Modelo de Disco de Poincar

(b) Simtrica: d(A, B) = d(B, A);


(c) Desigualdade Triangular: d(A, B) d(A, C) + d(C, B).
Assim, iremos definir uma distncia em D2 chamada de Distncia Hiperblica e
estabelecemos que a medida do segmento [AB] a distncia entre os pontos A e B.
Para seu modelo, Poincar props a seguinte mtrica:
Sejam os pontos A, B D2 e Z1 e Z2 pontos ideais da reta hiperblica AB, com Z1
mais prximo de B do que de A, no E , ver Figura 81. A distncia entre os pontos A e B,
denotado por d(A, B),
d(A, B) = |ln(A, B, Z1 , Z2 )|
onde ln o logaritmo natural ou neperiano e (A, B, Z1 , Z2 ) a razo cruzada dos pontos A e
B, se a reta hiperblica AB for um dimetro de , do contrrio a razo circular, em relao
a Z1 e Z2 .

Figura 81 Reta AB com pontos ideais Z1 e Z2


Precisamos mostrar se a funo d est bem definida, pois foram feitas escolhas aleatria
dos ndices dos pontos ideais, afinal, estamos determinando o logaritmo de um nmero sem
saber se ele estritamente positivo.
Como os pontos B, Z1 e Z2 so distintos dois a dois, temos que a razo cruzada
(A, B, Z1 , Z2 ) est bem definida.
(a) Pelo Teorema 2.3,se A 6= B a razo cruzada (A, B, Z1 , Z2 ) > 1 | ln(A, B, Z1 , Z2 )| > 0
Suponha que A = B, ento
A = B (A, B, Z1 , Z2 ) = 1 |ln(A, B, Z1 , Z2 )| = 0

3.5. Axiomas de Congruncias

85

(b) Suponha A 6= B, temos que (A, B, Z1 , Z2 ) = (B, A, Z1 , Z2 )1 . Por outro lado, para todo
t > 0, lnt1 = lnt. Assim, d(A, B) no depende da ordem de escolha dos pontos ideais
Z1 e Z2 . Ento, d(A, B) = d(B, A).
(c) Antes de provar que a distncia de Poincar satisfaz a desigual, vamos provar que a
Reflexo numa reta no D2 uma isometria.
3.5.1.1 ISOMETRIA NO D2
A seguir, definiremos os requisitos necessrios para que uma aplicao, no D2 , seja
classificada como isometria.
Definio 3.12 Seja uma aplicao T : D2 D2 , diremos que T uma isometria se:
(a) T uma funo biunvoca;
(b) para todo A, B D2 , d(A, B) = d(T (A), T (B));
(c) T uma aplicao conforme.
Proposio 3.6 Considere A, A0 D2 pontos simtricos em relao a uma reta hiperblica r, para todo ponto M r, d(A, M ) = d(M, A0 ).
DEMONSTRAO
a) Observando a Figura 82, no D2 , A reflexo de A0 em relao a reta r que passa por
O, M um ponto da reta r, Z1 e Z2 so pontos ideais da reta AM , Z3 e Z4 so
pontos ideais da reta M A0 , e so circunferncias que determinam as retas M A0
e AM , respectivamente, no D2 , e M 0 o inverso de M em relao a circunferncia
que determina o plano hiperblico D2 .
No plano E , a reflexo em relao a reta, os pontos que esto sobre a reta de
reflexo so reflexos de si mesmo, ou seja, a reflexo do ponto M o prprio M e
o de M 0 o prprio M 0 . Alm disso, a reflexo em relao a uma reta associa uma
circunferncia a uma circunferncia com mesmo raio.
Temos que a circunferncia simtrica a si mesma em relao a r, pois r passa
pelo centro de dividindo-a em duas semicircunferncias que so simtricas em
relao a r. Alm disso, passa por trs pontos simtricos a trs pontos de ,
ento, e so simtricos em relao a r. Por fim, Z1 , Z2 e Z3 , Z4 ,
ento, podemos afirmar que Z1 e Z2 so simtricos, respectivamente, a Z4 e Z3 , em

86

Captulo 3. Consistncia do Modelo de Disco de Poincar

relao a r. Como reflexo em relao a uma reta uma isometria, ento, conserva
distncia, logo:
AZ1 = A0 Z4
AZ2 = A0 Z3
AZ1 M Z2
M Z3 A0 Z4

= 0
d(A, M ) = d(M, A0 )
M Z1 AZ2
A Z3 M Z4
M Z2 = M Z3
M Z1 = M Z4

Figura 82 Reflexo se o eixo passa por O


b) Observando a Figura 83, os pontos A e A0 so inversos em relao a circunferncia
r , M um ponto arbitrrio de r, M 0 o inverso de M em relao a circunferncia
, o arco r divide em dois arcos, s e t, e so circunferncias que determinam,
respectivamente, as retas AM e M A0 , no D2 , os pontos Z1 e Z2 so pontos ideais
da reta hiperblica AM e Z3 e Z4 so pontos ideais da reta hiperblica M A0 .
Considerando r como a circunferncia de inverso, temos que o inverso do ponto
M o prrio M , assim como o inverso de M 0 o prprio M 0 e, por hiptese, os
pontos A e A0 so inversos. Como a circunferncia passa por A, M e M 0 , o seu
inverso, 0 , passar pelos inversos destes pontos, A0 , M e M 0 , respectivamente. Pelo
Teorema 2.5 Alnea c, Pgina 53, o inverso de , 0 , uma circunferncia que
no passa por O1 . Como trs pontos determinam uma nica circunferncia5 e a
circunferncia passa pelos pontos A0 , M e M 0 , ento, 0 = .
As circunferncias , intersetam nos pontos Z1 , Z2 , pelo Corolrio ??, Pgina ??,
0 , 0 , inversos de , , intersetam nos pontos Z10 , Z20 , inversos dos pontos Z1 , Z2 .
5

Procurar referncia!

3.5. Axiomas de Congruncias

87

Pelo Teorema 2.3, Pgina 52, t e s so inversos, pois e r so ortogonais, logo,


0 = , e, alm disso, , so inversas. Como interseta em Z3 , Z4 , temos,
Z10 = Z4 e Z20 = Z3 , ver Figura 83.

Figura 83 Reflexo se o eixo no passa por O


Temos a seguinte relao
2

O1 A0 O1 A = O1 Z1 O1 Z4 = O1 M

O1 Z1
O1 A
=
O1 Z4
O1 A0

O ngulo AO1 Z1 comum aos tringulos 4AO1 Z1 e 4A0 O1 Z4 , ento, pelo caso
Lado-ngulo-Lado, os tringulos 4AO1 Z1 e 4A0 O1 Z4 so semelhantes. Analogamente, possvel provar a semelhana entre os tringulos 4AO1 Z2 e 4A0 O1 Z3 , entre os tringulos 4M O1 Z1 e 4M O1 Z4 e entre os tringulos 4M O1 Z2 e 4M O1 Z3 .
Pela semelhana entre os tringulos 4M O1 Z1 e 4M O1 Z4 , temos
M Z1
M O1
M Z1
=
M O1 =
Z4 O1
M Z4
Z4 O1
M Z4

(3.1)

Pela semelhana entre os tringulos 4AO1 Z1 e 4A0 O1 Z4 , temos


AZ1
O1 A
A0 Z4
=

Z
O
=
O1 A
4
1
A0 Z4
Z4 O1
AZ1
Das Igualdades 3.1 e 3.2, temos

(3.2)

88

Captulo 3. Consistncia do Modelo de Disco de Poincar

M O1 =

M Z1 A0 Z4
M O1
M Z1 A0 Z4

O1 A
=

M Z4 AZ1
O1 A
M Z4 AZ1

(3.3)

Pela semelhana entre os tringulos 4M O1 Z2 e 4M O1 Z3 , temos


M Z3
M O1
M Z3
=
M O1 =
Z2 O1
M Z2
Z2 O1
M Z2

(3.4)

Analogamente, pela semelhana dos tringulos 4AO1 Z2 e 4A0 O1 Z3 , temos


AZ2
O1 A0
A0 Z3

(3.5)

M Z3 AZ2
M O1
M Z3 AZ2
0 O1 A0
=

0
M Z2 A Z3
O1 A
M Z2 A0 Z3

(3.6)

Z2 O1 =

Pelas Igaldades 3.4 e 3.5,temos


M O1 =

Como O1 M raio da circunferncia r , ento, temos


2

O1 M = O1 A O1 A0

O1 M
O1 A0
=
O1 A
O1 M

Das Igualdades 3.3 e 3.6, temos


M Z1 A0 Z4

=
M Z4 AZ1

M Z3 AZ2

M Z2 A0 Z3

!1

M Z1 A0 Z4
M Z2 A0 Z3

M Z4 AZ1
M Z3 AZ2

(3.7)

Pela Igualdade 3.7, temos


AZ1 M Z2
M Z3 A0 Z4

= 0

M Z1 AZ2
A Z3 M Z4
(A, M, Z1 , Z2 ) = (M, A0 , Z3 , Z4 ) ln(A, M, Z1 , Z2 ) = ln(M, A0 , Z3 , Z4 )
Assim, provamos que, para todo M r, d(A, M ) = d(A0 , M ).
Teorema 3.4 A Reflexo em relao a uma reta no plano D2 uma Isometria
Considere, no plano D2 , a reta r e os pontos A, B, C reflexos, respectivamente, dos
pontos A0 , B 0 , C 0 em relao a reta r.

3.5. Axiomas de Congruncias

89

Se a reta hiperblica r um dimetro de , ento j t provado, pois a reflexo em


relao a uma reta no plano E uma isometria6 . Ento, vamos considerar que r
uma reta hiperblica gerada por uma circunferncia r .
Pela Definio de Ponto Inverso em relao a uma circunferncia (Definio 2.5, Pgina
36) a reflexo em relao a uma reta hiperblica uma funo biunvoca, pois, os pontos
simtricos em relao a reta hiperblica r so inversos em relao circunferncia r ,
ver Figura 84.

Figura 84 A reflexo de A0 e A0 reflexo de A, a reflexo uma funo biunvoca


Vamos considerar a reta hiperblica AB com pontos ideais Z1 e Z2 e a reta hiperblica
A0 B 0 com pontos ideais Z10 e Z20 , temos que os pontos A, B, Z1 e Z2 so inversos aos
pontos A0 , B 0 , Z10 e Z20 em relao a circunferncia r , ver Figura 85.
Assim, no E , temos a relao
O1 A O1 A0 = O1 Z1 O1 Z10

O1 A
O1 Z1
=
0
O1 Z1
O1 A0

como o ngulo AO1 Z1 comum, ento os tringulos 4O1 AZ1 e 4O1 A0 Z10 so semelhantes. De forma anloga, podemos mostrar que os tringulos 4O1 BZ1 e 4O1 B 0 Z10
so semelhantes, logo,
AZ1
A0 Z 0
= 0 10
BZ1
B Z1
Fazendo processo idntico, tambm podemos mostrar que

BZ2
B0Z 0
= 0 20 , ento
AZ2
A Z2

AZ1 BZ2
A0 Z 0 B 0 Z 0

= 0 10 0 20 d(A, B) = d(A0 , B 0 )
BZ1 AZ2
B Z1 A Z2
Portanto, no D2 , a reflexo em relao a uma reta conserva a distncia. Por fim, no E ,
a inverso em relao a uma circunferncia uma aplicao conforme, ou seja, preserva
6

Ver (FLORENCIO, 2011, Pag. 16-19)

90

Captulo 3. Consistncia do Modelo de Disco de Poincar

Figura 85 os pontos A, B, Z1 e Z2 so inversos aos pontos A0 , B 0 , Z10 e Z20 em relao a


circunferncia r .
o ngulo formado entre retas e circunferncias, logo, no D2 , a reflexo em relao a uma
reta tambm uma funo conforme. Assim, mostramos que a reflexo em relao a
uma reta no plano D2 uma isometria.
Definio 3.13 Tomemos os pontos A, A0 , M D2 tal que A M A0 . Dizemos que
M ponto mdio hiperblico de [AA0 ] se d(A, M ) = d(M, A0 ).
Proposio 3.7 Se os pontos A, A0 D2 so simtricos em relao a uma reta hiperblica r, ento r interseta o segmento hiperblico [AA0 ] no ponto mdio de [AA0 ].
DEMONSTRAO
Seja M D2 o ponto de interseo entre r, [AA0 ]. Como A M A0 , ento
d(A, A0 ) = d(A, M ) + d(M, A0 )
Como M r, temos
d(A, M ) = d(M, A0 )
Portanto,
d(A, M ) = d(M, A0 ) =

d(A, A0 )
2

Proposio 3.8 Se os pontos A, A0 D2 so simtricos em relao a uma reta hiperblica r, ento r perpendicular reta hiperblica AA0

3.5. Axiomas de Congruncias

91

DEMONSTRAO
A menos que necessite de uma reflexo, vamos tomar A, A0 colineares com O, no
E , ento a reta hiperblica AA0 um dimetro de determinado por uma reta
euclidiana e a reta hiperblica r geradas por uma circunferncia r . Como A, A0 so
inversos em relao a r, ento, incide no centro de , portanto, ortogonal a r e,
consequentemente, as retas hiperblica AA0 e r so perpendiculares, de forma anloga
provamos que se AA0 gerada por uma circunferncia e r um dimetro de ento
AA0 e r so perpendiculares, ver Figura 86.

Figura 86 AA0 uma reta hiperblica que passa por O e perpendicular a r.


Se as retas hiperblicas AA0 , r so dimetros de , pela definio de reflexo em uma
reta, no E , AA0 , r so perpendiculares, ver Figura 87.

Figura 87 AA0 , r so retas hiperblicas que passam por O e so perpendiculares.


Considerando que as retas hiperblicas AA0 , r so geradas pelas circunferncias , r ,
respectivamente, como A, A0 so inversos em relao a r no E e passa por A, A0 , pelo

92

Captulo 3. Consistncia do Modelo de Disco de Poincar

Teorema 2.4, , r so ortogonais, ento, as retas hiperblica AA0 , r so perpendiculares


no D2 , ver Figura 88.

Figura 88 AA0 , r so retas hiperblicas que no passam por O e so perpendiculares.

Definio 3.14 Chamaremos de mediatriz no D2 do segmento hiperblico [AB] a reta


que perpendicular a [AB] e passa pelo seu ponto mdio.
Pela Definio 3.14, a reta hiperblica de reflexo dos pontos A, B D2 a mediatriz
do segmento hiperblico [AB] e, alm disso, os extremos de um segmento hiperblico
so equidistantes de qualquer ponto de sua mediatriz.
3.5.1.2 A DISTNCIA DE POINCAR SATISFAZ A DESIGUALDADE TRIANGULAR
Vamos considerar dois casos para provar que a distncia hiperblica satisfaz a desigualdade triangular.
Caso I- Considere um ponto C tal que A C B. Assim,
d(A, B) = |ln(A, B, Z1 , Z2 )| = |ln[(A, C, Z1 , Z2 )(C, B, Z1 , Z2 )]| = |ln(A, C, Z1 , Z2 )|+
|ln(C, B, Z1 , Z2 )| = d(A, C) + d(C, B)
Caso II- Os pontos A, B e C no so colineares no plano D2 . A menos que seja necessrio
uma reflexo, vamos considerar C o centro de , ver Figura 89.
Temos
(A, C, Z1 , Z2 ) =

AZ1 CZ2

CZ1 AZ2

3.5. Axiomas de Congruncias

93

Figura 89 C o centro da circunferncia

Como C o centro da circunferncia, ento CZ1 = CZ2 = 1, assim


(A, C, Z1 , Z2 ) =

AZ1
AZ2

A menor distncia entre o ponto A e a circunferncia a medida do segmento


euclidiano AZ2 , logo, AZ2 < AZ6 . Por outro lado, a medida de AZ1 a maior
distncia entre o ponto A e a circunferncia, logo AZ1 > AZ5 , assim
(A, C, Z1 , Z2 ) =

AZ1
AZ5
>
AZ2
AZ6

De forma semelhante, tambm provamos que (C, B, Z3 , Z4 ) =

(A, C, Z1 , Z2 ) (C, B, Z3 , Z4 ) =

BZ4
BZ6
>
, temos
BZ3
BZ5

AZ1 BZ4
AZ5 BZ6

>

= (A, B, Z5 , Z6 )
AZ2 BZ3
AZ6 BZ5

Por fim,
d(A, C) + d(C, B) = ln(A, C, Z1 , Z2 ) + ln(C, B, Z3 , Z4 ) =
= ln[(A, C, Z1 , Z2 ) (C, B, Z3 , Z4 )] > ln(A, B, Z5 , Z6 ) = d(A, B)
Portanto, dados os pontos A, B, C D2
d(A, B) d(A, C) + d(C, B)
Proposio 3.9 Considere os pontos A, B, A0 , B 0 D2 se d(A, B) = d(A0 , B 0 ) ento [AB] =
[A0 B 0 ].

94

Captulo 3. Consistncia do Modelo de Disco de Poincar

DEMONSTRAO
Sejam Z1 , Z2 pontos ideais da reta hiperblica AB e Z10 , Z20 pontos ideais da reta
hiperblica A0 B 0 , ento
d(A, B) = d(A0 , B 0 ) | ln(A, B, Z1 , Z2 )| = | ln(A0 , B 0 , Z10 , Z20 )| ln(A, B, Z1 , Z2 ) = ln(A0 , B 0 , Z10 , Z20 )
Se ln(A, B, Z1 , Z2 ) = ln(A0 , B 0 , Z10 , Z20 ) (A, B, Z1 , Z2 ) = (A0 , B 0 , Z10 , Z20 )
Se ln(A, B, Z1 , Z2 ) = ln(A0 , B 0 , Z10 , Z20 ) ln(A, B, Z1 , Z2 ) = ln(A0 , B 0 , Z10 , Z20 )1
(A, B, Z1 , Z2 ) = (A0 , B 0 , Z10 , Z20 )1 (A, B, Z1 , Z2 ) = (A0 , B 0 , Z20 , Z10 )
Assim, se dois segmentos hiperblicos tem a mesma distncia hiperblica dizemos que
eles so congruentes.

3.5.2 CIRCUNFERNCIA HIPERBLICA


Vamos contruir uma circunferncia no Modelo de Poincar utilizando a definio de
circunferncia no plano euclidiano, que o 3o Postulado de Euclides, apresentado com uma
linguagem moderna.
Definio 3.15 Seja o ponto C D2 e uma distncia hiperblica , chamaremos de circunferncia hiperblica o conjunto formado por todos os pontos que esto a uma distncia
do ponto C. Assim, C o centro hiperblico e o raio hiperblico.
Se o ponto P D2 pertence a circunferncia hiperblica com centro hiperblico C,
ento, o raio hiperblico = d(C, P ) ou podemos dizer que o raio hiperblico de [CP ].
Vamos considerar um ponto P D2 tal que P 6= O. Assim, teremos uma distncia
no-nula = d(O, P ). Tome P0 tal que d(O, P ) = d(O, P0 ), ver Figura 90, assim, temos

Figura 90 P0 , P so equidistantes de O no D2

3.5. Axiomas de Congruncias

95

d(O, P ) = d(O, P0 )




ln

P Z OW
P0 Z0 OW0
= ln



OZ P W
OZ0 P0 W0

P Z OW

OZ P W

P0 Z0 OW0

OZ0 P0 W0

Como OW = OZ = OW0 = OZ0 = 1, ento


PZ
P0 Z0
=
PW
P0 W0
Temos P Z = 1 + OP , P W = 1 OP , P0 Z0 = 1 + OP0 e P0 W0 = 1 OP0 , assim
1 + OP
1 + OP0
=
(1 + OP ) (1 OP0 ) = (1 + OP0 ) (1 OP )
1 OP
1 OP0
1 OP0 + OP OP OP0 = 1 OP + OP0 OP OP0
2 OP = 2 OP0 OP = OP0
Deste modo, no E , P, P0 so equidistantes de O. Pela arbitrariedade na escolha do
ponto P0 , podemos concluir que, considerando uma circunferncia euclidiana com centro
em O e raio OP , no D2 , o conjunto de pontos que esto a uma distncia [OP ] do ponto O
a circunferncia euclidiana , dito isso, podemos dizer que toda circunferncia hiperblica
com centro em O e raio hiperblico = [OP ] igual a circunferncia euclidiana com centro
O e raio euclidiano OP , ver Figura 91.

Figura 91 uma circunferncia hiperblica.


Para determinar a medida euclidiana do raio da circunferncia hiperblica com centro
em O, ento, seja o raio
= ln(O, P, W, Z) e = (O, P, W, Z) =

OW P Z

P W OZ

96

Captulo 3. Consistncia do Modelo de Disco de Poincar

Como OW = OZ = 1, P W = 1 OP e P Z = 1 + OP , teremos

e =

1
1 + OP
e + 1

OP =
1
e 1
1 OP

Ainda, considerando a circunferncia hiperblica com centro O e raio , seja f


uma reta hiperblica arbitrria gerada pela circunferncia f de centro O1 . A reflexo de
em relao a f uma circunferncia 0 e a reflexo do O em relao a f o ponto O0 ,
ver Figura 92. Temos que O0 o centro hiperblico da circunferncia 0 , pois, a relfexo em
relao a uma reta no D2 conserva a distncia. Logo, podemos concluir que toda circunferncia
hiperblica com centro distinto de O uma circunferncia euclidiana.

Figura 92 e 0 so simtricos em relao a reta f .

Considerando o plano E , temos O10 inverso de O1 em relao a , os pontos O, O10 so


distintos, pois O1 =
6 , temos E inverso de O10 em relao a f , os pontos E, O0 so distintos,
pois O =
6 E. Como 0 inverso a em relao a f , ento, pelo Teorema 2.7, pgina 54,
o ponto E o centro euclidiano da circunferncia 0 . Logo, podemos concluir que o centro
hiperblico de uma circunferncia no centrada em O distinto do centro euclidiano, ver
Figura 93. Alm disso, pela construo para determinar o ponto E, podemos afirmar que os
pontos O, O0 , E so colineares no plano E .

3.5. Axiomas de Congruncias

97

Figura 93 O centro euclidiano e o centro hiperblico de uma circunferncia com centro


distinto de O no coincidem.
3.5.2.1 CONSTRUO DE CIRCUNFERNCIA HIPERBLICA
1. Considere os pontos distinto A, B D2 , vamos contruir a circunferncia com centro
hiperblico A e raio = [AB].
No plano E , Se A = O, ento = C(O, B). Se A =
6 O, seja A0 o inverso de A em
relao a circunferncia , M o ponto mdio do segmento euclidiano AA0 e circunferncia
= C(M, A), pelo Teorema 2.4, Pgina 48, as circunferncias e so ortogonais,
logo, gera uma reta hiperblica r. Assim, seja C o o simtrico B em relao a r, no
D2 , temos, ento, d(C, A) = d(B, A), deste modo, o ponto C pertence a circunferncia
. Seja s a mediatriz do segmento euclidiano BC, temos que O1 s t, portanto,
= C(O1 , B), ver Figura 94.

98

Captulo 3. Consistncia do Modelo de Disco de Poincar

Figura 94 Circunferncia com centro hiperblico A e raio hiperblico = [AB]

2. Vamos determinar o centro hiperblico O1 da circunferncia .


Sejam os pontos distintos A, B, C , se d(A, O) = d(B, O) = d(C, O), ento, O1 = O.
Vamos considerar que ao menos d(A, O) 6= d(B, O), como os pontos A, B e C no so
colineare7 , no plano D2 , ento, as mediatrizes dos segmentos hiperblicos [AB] e [BC],
r e s, respectivamente, so concorrentes e incidem no ponto O1 8 . Como d(O1 , A) =
d(O1 , B) = d(O1 , C), ento, O1 r s.
Na Figura 96, os pontos A, B, C so simtricos, respectivamente, a D, E, F em relao
a reta r, ento, os tringulos 4ABC e 4DEF so congruentes.

A demonstrao de que trs pontos distintos de uma circunferncia no so colineares se encontra em


(ANDRADE, 2013, pag 64)
As mediatrizes dos lados de um tringulo hiperblico so concorrentes, ver demonstrao em (ANDRADE,
2013, Pag. 139-140)

3.5. Axiomas de Congruncias

99

Figura 95 r e s so mediatrizes de [AB] e [BC], respectivamente, e O1 r s o centro


da circunferncia

Figura 96 os pontos A, B, C so simtricos, respectivamente, a D, E, F em relao a reta r,


logo 4ABC = 4DEF

Proposio 3.10 O Modelo de Disco de Poincar satisfaz o Axioma C1, C2, C3 e C4

Considere as retas hiperblica r e s e os pontos A, B r e A0 s.


Considere uma reta t que reflete o ponto A no ponto A0 e o ponto C, simtrico a B em
relao a t. Temos que d(A, B) = d(A0 , C), assim, seja a circunferncia de centro A0 e raio
[A0 C] cuja interseo com a reta s so dois pontos, B10 e B20 . Assim, [AB] = [A0 B10 ] = [A0 B20 ],
ver Figura 97.
Atravs desta contruo, mostramos que o Modelo de Poincar satisfaa o Axioma C1
e de forma anloga, tambm possvel mostrar que este Modelo satisfaz o Axioma C2.

100

Captulo 3. Consistncia do Modelo de Disco de Poincar

Figura 97 Demonstrao que o Modelo de Poincar satisfaz o Axioma C1

Para provar que o Disco de Poincar satisfaz o Axioma C3, tome x, y R e A, B, C, A0 , B 0 , C 0


D2 tais que d(A, B) = d(A0 , B 0 ) = x e d(B, C) = d(B 0 , C 0 ) = y. Como d(A, C) = d(A, B) +
d(B, C) e d(A0 , C 0 ) = d(A0 , B 0 )+d(B 0 , C 0 ), ento d(A, C) = d(A0 , C 0 ) = x+y [AC] = [A0 C 0 ]
Vamos mostrar que o Modelo de Disco de Poincar satisfaz o Axioma C4, para isso,
considere um ngulo hiperblico ABC e uma semirreta hiperblica B 0 C 0 , sem perda da ge
neralidade, vamos considerar que as retas hiperblicas AB e BC so geradas, respectivamente,
pelas circunferncias e .
Vamos considerar que a semirreta hiperblica B 0 C 0 gerada pela circunferncia ,

ento, vamos determinar uma semirreta B 0 A0 tal que A0 B 0 C 0 = .


Tracemos duas retas euclidianas concorrentes, a e b, no ponto B 0 formando o ngulo
e a tangente 1 . Se b no incide em O, ver Figura 98
Ento, A0 B 0 C 0 um ngulo formado por duas circunferncias, assim, se existir uma

circunferncia 2 tangente a b no ponto B 0 e que gera a semirreta hiperblica B 0 A0 , ento,


2 passa pelos pontos B 0 e B 00 , inverso a B 0 em relao a , dito isso, o centro O0 de 2
pertence a reta c mediatriz do segmento B 0 B 00 e como 2 tangente a b no ponto B 0 , ento,
O0 pertencea reta d perpendicular a b no ponto B 0 . Como b no incide em B 00 , temos que
c e d so retas concorrentes, assim, existe O0 c d e 2 = C (O0 , B 0 ), ver Figura 99. Pela

contruo, verificamos que a circunferncia 2 nica, ento, a semirreta hiperblica B 0 A0


tmbm nica.

Analogamente podemos contruir uma semirreta do outro lado de B 0 C 0 formando o

3.5. Axiomas de Congruncias

101

Figura 98 Retas euclidianas, a e b, formando um ngulo

Figura 99 Circunferncia 2 = C (O0 , B 0 )

ngulo , ver Figura 100.

Se b incide em O, ento, b gera a semirreta hiperblica B 0 A0 , neste caso, a circunferncia


2 no existe, pois B 0 e B 00 pertencem a b e, assim, no possvel contruir uma circunferncia

tangente a b que passe por B 0 e B 00 , portanto, a semirreta B 0 A0 nica, ver Figura 101.

102

Captulo 3. Consistncia do Modelo de Disco de Poincar

Figura 100 ngulos hiperblicos com uma lado em comum.

Figura 101 O Modelo de Poincar satisfaz o Axioma C4.

A forma de medir ngulos formados por retas hiperblicas9 j nos garante que, no
Modelo de Poincar, todo ngulo congruente a si mesmo. Assim, provamos que o Modelo de
Poincar satisfaz o Axioma C4.
Proposio 3.11 Seja a reta AB e os pontos C, D e P tais que A P B e C e D esto
em lados opostos da reta AB. Temos AP C = BP D se, e somente se, os pontos C, D e P
9

Ver Definio 3.4, Pgina 62

3.5. Axiomas de Congruncias

103

so colineares.
DEMONSTRAO
) Temos AP B = 180 , seja AP C = BP D = . Temos que BP C e so
ngulos suplementares, assim como AP D e so suplementares, logo, BP C = BP C.

Portanto, as semirretas P C e P D esto na mesma reta, ver Figura 102.

Figura 102 Os ngulos e so congruentes

) Na Geometria Euclidiana, os ngulos AP C e BP D so congruentes, o que


suficiente para concluir que, na Geometria Hiperblica, ngulos opostos pelo vrtice (OPV)10
so congruentes.
Definio 3.16 Considere os tringulos hiperblicos 4ABC e 4A0 B 0 C 0 se [AB] = [A0 B 0 ], [AC] =
[A0 C 0 ], [BC] = [B 0 C 0 ] e ABC = A0 B 0 C 0 BAC = B 0 A0 C 0 e ACB = A0 C 0 B 0 ento,
dizemos que 4ABC e 4A0 B 0 C 0 so tringulos hiperblicos congruentes, denotaremos
por 4ABC = 4A0 B 0 C 0 .
Proposio 3.12 O Modelo de Disco de Poincar satisfaz o Axioma C5.
Vamos admitir, sem perda de generalidade a situao da Figura 103. Temos [AB] =
[A0 B 0 ], [AC] = [A0 C 0 ] e BAC = B 0 A0 C 0 .
10

A definio de ngulos opostos pelo vrtice para Geometria Hiperblica ser a mesma da Geometria
Euclidiana.

104

Captulo 3. Consistncia do Modelo de Disco de Poincar

Figura 103 [AB] = [A0 B 0 ], [AC] = [A0 C 0 ] e BAC = B 0 A0 C 0

Seja f a reta que reflete A em O e sejam B1 e C1 simtricos, respectivamente, a B e


C em relao a f . Temos 4OB1 C1 = 4ABC, ver Figura 104.

Figura 104 4OB1 C1 e 4ABC so simtricos em relao a reta f .


Seja g a reta que reflete A0 em O, teremos B 00 simtrico a B 0 e C 00 simtrico a C 0 em
relao a g e 4OB 00 C 00 = 4A0 B 0 C 0 , ver Figura 105.
Podemos definir uma reta hiperblica r que leva B1 em B 00 , por hiptese, [AB] = [A0 B 0 ],
sendo A0 simtrico a O e B 0 simtrico a B 00 em relao a g e A simtrico a O e B simtrico
a B1 em relao a f , ento, [AB] = [A0 B 0 ] = [OB 00 ] = [OB1 ]. Como as retas hiperblicas
OB 00 e OB1 so dimetros de , logo, B1 , B 00 so equidistantes de O no E . Assim, podemos
traar uma reta hiperblica de reflexo r que leva B1 em B 00 e r passa por O, ento, O
simtrico a si mesmo em relao a r. Temos que B1 OC1 = B 00 OC 00 e [OC1 ] = [OC 00 ],

3.5. Axiomas de Congruncias

105

Figura 105 4OB 00 C 00 e 4A0 B 0 C 0 so simtricos em relao a reta g.


ento, C 00 e C1 so simtricos em relao a r, logo, 4OB1 C 00 = 4A0 B 0 C 0 = 4ABC, ento,
A0 B 0 C 0 = OB1 C 00 = ABC e OC 00 B1 = A0 C 0 B 0 = ACB. Portanto, o Modelo de
Disco de Poincar satisfaz o Axioma C5, ver Figura 106.

Figura 106 O Modelo de Disco de Poincar satisfaz o Axioma C5.

Proposio 3.13 Todo segmento hiperblico possui ponto mdio e ele nico.
DEMONSTRAO
A demonstrao da Proposio 3.13 pode ser vista em (ANDRADE, 2013, Pag. 45-46).
Teorema 3.5 Todo segmento tem mediatriz e nica

106

Captulo 3. Consistncia do Modelo de Disco de Poincar

DEMONSTRAO
Pela Proposio 3.10, no Disco de Poincar, seja um ponto E pertencente a uma
reta r, s possvel traar uma nica semirreta, em cada lado de r, como origem em E e
perpendicular a r. Estas semirretas esto numa mesma reta, assim, s possvel traar uma
nica reta hiperblica perpendicular a r incidindo no ponto E. Alm disso, pela Proposio
3.13, todo segmento hiperblico tem um nico ponto mdio, assim, todo segmento possui uma
nica reta hiperblica mediatriz.
Pelo Teorema 3.5, tambm podemos concluir que tomando dois pontos no D2 , A e A0 ,
existe um nica reta hiperblica r que reflete A em A0 .

3.6 AXIOMA DAS PARALELAS


Os Axiomas vistos at aqui so da Geometria Neutra e, a partir deles, podemos
criar outras Geometrias adicionando mais Axiomas. Para Geometria Hiperblica necessrio
adicionar apenas o Axioma das Paralelas.
Proposio 3.14 O Modelo de Disco de Poincar satisfaz o Axioma H1.
No plano euclidiano, retas paralelas so retas que no tm pontos em comum, porm,
esta definio no suficinte para definir retas paralelas no plano hiperblico.
Definio 3.17 Seja r uma reta, Z1 um dos pontos ideais de r e P D2 um ponto no
incidente a r. Dizemos que uma reta s paralela a r no ponto P em direo a Z1 se
r s = e Z1 um dos pontos ideais de s.
Definio 3.18 Sejam r e s retas paralelas no ponto P em direo a Z1 , seja t uma reta
perpendicular a r e incide em P , o ngulo agudo formado por t e s no ponto P chamado de
ngulo de Paralelismo de P .
Uma reta hiperblica r possui dois pontos ideais, portanto, possvel traar duas retas
hiperblica paralelas a r que incidem em um ponto P D2 \ r em direo a cada um dos
pontos ideais de r e o ngulo de paralelismo formado por estas retas so congruente11 , ver
Figura 107
Existe um outro tipo de retas hiperblica que no se intersetam, as retas hiperblicas
ultra paralelas.
11

Ver (ANDRADE, 2013, Pag. 84-86)

3.6. Axioma das Paralelas

107

Figura 107 Retas s1 e s2 so paralelas a r no ponto P e a medida do ngulo de


Paralelismo de P .
Definio 3.19 Uma reta hiperblica r ultraparalela reta hiperblica s no ponto P se r
incide em P , no interseta s e no tem ponto ideal em comum com a reta s.
A Figura 108 ilustra um exemplo de retas ultra paralelas.

Figura 108 Reta r ultra paralela reta s no ponto P

Teorema 3.6 A reta r ultraparalela a reta s se, e somente se, r e s admitem uma perpendicular em comum.

108

Captulo 3. Consistncia do Modelo de Disco de Poincar

A demonstrao do Teorema 3.6 pode ser visto em (ANDRADE, 2013, Pag. 136-137),
vamos apresenta uma construo para encontrar a perpendicular comum s retas hiperblicas
r e s.
Considere as retas ultraparalelas12 r e s, onde a circunferncia que gera a reta r, r ,
tem centro no ponto Or e a circunferncia que gera s, s , tem centro no ponto Os . Se r e
s tm mesmo raio e a reta euclidiana Or Os incide no centro O de , ento, pelo Lema 2.2,
Pgina 44, o dimetro de contido na reta Or Os a perpendicular comum a r e a s, ver
Figura 109.

Figura 109 Um dimetro de perpendicular s retas s e r


Se a reta euclidiana Os Or no incide em O, vamos considerar Z1 e Z2 como pontos
ideais de r e Z3 e Z4 como pontos ideais de s. Podemos traar uma reta t que reflete o ponto
Z1 em Z2 e Z3 em Z4 e a reta t ser perpendicular a r e a s.
Seja t a circunferncia que gera a reta t e seja Ot o centro de t . Temos que Z1 e Z2
so inversos em relao a t , assim como Z3 e Z4 tambm so. Ento, as retas euclidianas
Z1 Z2 e Z3 Z4 incidem em Ot , ver Figura 110.
Como t ortogonal a , ento, vamos determinar um ponto P tal que P Ot tangente
a , ver Figura 111.

12

Admitamos que se r ultraparalela a s, ento, s ultraparalela a r.

3.6. Axioma das Paralelas

109

Figura 110 Ot o centro da circunferncia t

Figura 111 Reta t perpendicular a r e a s

Pela contruo, possvel observar que se as retas r e s forem paralelas no haver


reta perpendicular comum, outra forma de verificar isso que o ngulo de paralelismo deve
ser agudo13 .

13

Ver (ANDRADE, 2013, Pag. 91)

CONCLUSO
Neste trabalho, vimos a descoberta da existncia da Geometria Hiperblica ocorreu
a partir do questionamento da independncia do 5o Postulado de Euclides. Embora, todos
que tentaram fracassaram, as contribuies vinheram atravs das estratgias utilizadas por
cada um. Mesmo que o caminho adotado no ajudasse a chegar numa nova Geometria, as
tentativas fracassadas instigaram outros matemticos a pensar em novos caminhos.
Todo esse processo mostra que a Matemtica construda de forma lenta e por vrias
pessoas, apresentando resultados satisfatrios e muitos fracassos, de forma lgica e com
afirmaes possveis de prova.
Durante vrios sculos, no se imaginava a possibilidade de traar duas retas distintas
e paralelas a uma reta dada passando por um mesmo ponto. Muitos resultados da Geometria
Hiperblica foram encontrados atravs de processos axiomticos e Poincar contribuiu construindo um Modelo simples para o plano hiperblico cuja consistncia est condicionada a
consistncia da Geometria Euclidiana.
A Geometria Hiperblica pode ser introduzida nas escolas, atravs do Modelo de Disco
de Poincar, devido sua simplicidade e baseado na Geometria Euclidiana. Deste modo, o aluno
da Educao Bsica teria conhecimento que a Geometria Euclidiana no a nica possvel.

111

REFERNCIAS
ALVES, S.; FILHO, L. C. dos S. Encontro com o mundo no euclidiano. In: XXIX
Congresso Nacional de Matemtia Aplicada e Computacional. [s.n.], 2006. Disponvel em:
<http://www.ime.unicamp.br/lem/cnmac/sergio_cnmac_3.pdf>. Acesso em: 02/01/2014.
ANDRADE, P. Introduo Geometria Hiperblica: O modelo de poincar. First. Rio de
Janeiro: SBM, 2013. (Textos Universitrios, v. 15).
BRAZ, F. M. HISTRIA DA GEOMETRIA HIPERBLICA. 2009. Monografia apresentada
na UFMG para obteno do ttulo de Especializao em Matemtica. Disponvel em:
<http://www.mat.ufmg.br/~espec/monografiasPdf/Monografia_FernandaMartins.pdf>.
Acesso em: 09/01/2014.
COUTINHO, L. CONVITE S GEOMETRIA NO-EUCLIDIANAS. 2. ed. Rio de Janeiro:
Editora Intercincia, 2001.
DOLCE, O.; POMPEO, J. N. FUNDAMENTOS DA MATEMTICA ELEMENTAR:
Geometria plana. 8. ed. [S.l.]: Atual Editora, 2005.
EUCLIDES. ELEMENTOS DE GEOMETRIA. 1944. Disponvel em: <http://www.
dominiopublico.gov.br/download/texto/be00001a.pdf>. Acesso em: 30/11/2013.
FARIA, R. M. A. INTERPRETAO GEOMTRICA DOS PROBLEMAS CLSSICOS
DE DESARGUES, FAGNANO E MALFATTI. Dissertao (Mestrado) Universidade dos
Aores - UA, Ponta Delgada-PT, abr. 2013. Disponvel em: <https://repositorio.uac.pt/
bitstream/10400.3/2769/1/DissertMestradoRaquelMariaAlmeidaFaria2013.pdf>. Acesso em:
17/04/2014.
FERREIRA, F. A matemtica de kurt gdel. Boletim da Sociedade Portuguesa de Matemtica,
n. 55, p. 3962, 2006. Disponvel em: <http://www.ciul.ul.pt/~ferferr/GodelMat.pdf>.
Acesso em: 10/08/2014.
FLORENCIO, M. P. TRANFORMACES NO PLANO E GRUPOS DE SIMETRIA. So
Carlos-SP: [s.n.], 2011. Disponvel em: <http://www.dm.ufscar.br/dm/attachments/article/
5/TCC_Final_Mariele.pdf>. Acesso em: 10/07/2014.
GREENBERG, M. J. GEOMETRIAS EUCLIDIANA E NO-EUCLIDIANA. San Francisco:
W. H. Freeman Company, 1980.
HARTSHORNE, R. GEOMETRY : Euclid and beyond. [S.l.]: Springer, 2000.
LIMA, E. L. et al. A MATEMTICA DO ENSINO MDIO. 6. ed. Rio de Janeiro: SBM,
2006.
LOPES, M. da S. GEOMETRIAS PLANAS. Dissertao (Mestrado) Universidade de
Aveiro-UA, Aveiros-Portugal, 2007. Disponvel em: <http://ria.ua.pt/bitstream/10773/2890/
1/2008000634.pdf>. Acesso em: 15/03/2014.

112

Referncias

MARTINS, J. E. MODELOS PARA GEOMETRIA HIPERBLICA. 2011. Monografia


apresentada na UFPB para obteno do ttulo de Licenciado em Matemtica. Disponvel
em: <http://rei.biblioteca.ufpb.br/jspui/bitstream/123456789/33/1/JEM14082012.PDF>.
Acesso em: 01/12/2013.
MUNARETTO, A. C. C. RESOLUO DO PROBLEMA DE APOLNIO POR MEIO
DA INVERSO: Um roteiro de estudo para a formao de professores em geometria. 2010.
Monografia apresentada na UFPR para obteno do ttulo de Especialista de Expresso Grfica
no Ensino. Disponvel em: <http://www.pb.utfpr.edu.br/anamunaretto/monografia.pdf>.
Acesso em: 01/12/2013.
NETO, A. C. M. TPICOS DE MATEMTICA ELEMENTAR: Geometria euclidiana plana.
1. ed. Rio de Janeiro: SMB, 2012. (Coleo do Professor de Matemtica, v. 2).
SITTA, A. M.; PEDROSO, H. A.; TADINI, W. M. Razes cruzadas: Aspectos algbricos e
topolgicos. Revista de Matemtica e Estatstica, So Paulo, n. 20, p. 6777, 2002. Disponvel
em: <http://jaguar.fcav.unesp.br/RME/fasciculos/v20/A4_Artigo.pdf>. Acesso em:
21/04/2014.
WAGNER, E. CONSTRUES GEOMTRICAS. 6. ed. Rio de Janeiro: SBM, 2007.
(Coleo do Professor de Matemtica, v. 9).