Académique Documents
Professionnel Documents
Culture Documents
GEOMETRIA HIPERBLICA
Consistncia do Modelo de Disco de Poincar
Recife - PE
2014
GEOMETRIA HIPERBLICA
Consistncia do Modelo de Disco de Poincar
Recife - PE
2014
Ficha catalogrfica
S729g
Dedicatria
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.
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
. . . . . . . . . . . . 47
92
. 99
.
.
.
.
.
.
.
.
.
.
.
99
100
101
101
102
102
103
104
104
105
105
.
.
.
.
.
107
107
108
109
109
SUMRIO
I
1
1.1
1.2
1.3
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
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
Introduo
Parte I
ALGUNS FATOS HISTRICO DAS
GEOMETRIAS
23
24
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.
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.
25
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
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.
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
C4- Se ABC um ngulo e se B 0 C 0 uma semirreta, ento existe exatamente uma semirreta
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.
Definio 2.1 A razo da diviso do segmento de reta AB por C, representada por (AB, C),
definida por
AC
(AB, C) =
BC
.
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:
(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
t1
t
1
t
t1
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) =
+
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
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)
1
1t
1
t1
=
t
t
t1
=
t
1
1
t
t1
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
=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
Para se aprofundar no estudo sobre Arco Capaz, leia (NETO, 2012, pag 109-118) e (WAGNER, 2007, pag
5-8)
35
AP1 BP2
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
36
Captulo 2. Inverso
P1 P2
sin
P1 P 2
sin
AP1
sin
BP1
sin
AP1
BP1
sin
AP1
=
=
sin
sin
sin
BP1
= (A, B, P1 , P2 ) > 1
BP1 AP2
37
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.
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;
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
39
2. Trace a semirreta OP ;
40
Captulo 2. Inverso
Figura 14 Construo 2
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
42
Captulo 2. Inverso
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.
43
44
Captulo 2. Inverso
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
45
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.
47
48
Captulo 2. Inverso
2 m = P P 0 = OP 0 OP m =
OP 0 OP
2
(2.1)
49
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)
OO1 = O1 M + OM
OO1
OP + OP 0
= O1 M +
2
2
!2
(2.4)
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)
OT = OO1 O1 T = OO1 t2 OT = OP OP 0
(2.6)
51
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
53
54
Captulo 2. Inverso
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
57
58
59
60
61
1
2
62
63
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
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 .
65
66
67
d a reta hiperblica que tem como pontos ideais A e B, ver Figura 55.
Assim, o arco AB
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
69
70
71
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
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.
73
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
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.
76
77
78
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.
79
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 }
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
81
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.
82
83
84
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
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
Procurar referncia!
87
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)
Z
O
=
O1 A
4
1
A0 Z4
Z4 O1
AZ1
Das Igualdades 3.1 e 3.2, temos
(3.2)
88
M O1 =
M Z1 A0 Z4
M O1
M Z1 A0 Z4
O1 A
=
M Z4 AZ1
O1 A
M Z4 AZ1
(3.3)
(3.4)
(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 =
O1 M = O1 A O1 A0
O1 M
O1 A0
=
O1 A
O1 M
=
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)
= 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.
89
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
90
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
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.
92
AZ1 CZ2
CZ1 AZ2
93
AZ1
AZ2
AZ1
AZ5
>
AZ2
AZ6
(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
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.
Figura 90 P0 , P so equidistantes de O no D2
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
OW P Z
P W OZ
96
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
97
98
99
100
101
tangente a b que passe por B 0 e B 00 , portanto, a semirreta B 0 A0 nica, ver Figura 101.
102
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
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.
A definio de ngulos opostos pelo vrtice para Geometria Hiperblica ser a mesma da Geometria
Euclidiana.
104
105
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
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 .
107
Teorema 3.6 A reta r ultraparalela a reta s se, e somente se, r e s admitem uma perpendicular em comum.
108
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.
12
109
13
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