Você está na página 1de 99

Geometria

Antonio Salgueiro

Departamento de Matematica
Universidade de Coimbra
2013
Indice

1 Axiomatica da Geometria 5
1.1 Sistemas axiomaticos . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Axiomas de incidencia . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Axiomas de ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4 Axiomas de congruencia . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.5 Axiomas de medicao . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.6 Circunferencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

2 Geometria Euclidiana 35
2.1 O Axioma das Paralelas . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.2 Semelhanca de triangulos . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.3 Centros de um triangulo . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.4 Determinacao das medidas de um triangulo . . . . . . . . . . . . . . . 51
2.5 Area . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
2.6 Isometrias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.7 Construcoes com regua e compasso . . . . . . . . . . . . . . . . . . . 66

3 Geometria Hiperbolica 79
3.1 O Axioma Hiperbolico . . . . . . . . . . . . . . . . . . . . . . . . . . 79
3.2 Rectas paralelas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
3.3 Circunferencias de raio infinito . . . . . . . . . . . . . . . . . . . . . . 90
3.4 Area . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95

3
4
1

Axiomatica da Geometria

1.1 Sistemas axiomaticos


Um sistema axiomatico e um conjunto de afirmacoes sobre objectos indefinidos que
constituem a base de uma teoria. Estas afirmacoes, chamadas axiomas, admitem-se
como verdadeiras e nao carecem de demonstracao. A partir destes axiomas poderao
ser deduzidas outras afirmacoes, chamadas teoremas, que por sua vez podem ser
utilizados para provar novos teoremas. Os objectos apenas possuem as propriedades
que sao determinadas pelos axiomas e pelos teoremas e nenhumas outras (nomeada-
mente aquelas que provem da intuicao ou de conhecimentos previos).

Um sistema axiomatico deve ser:

a) mnimo, ou seja, nao deve conter axiomas que se possam deduzir de outros;

b) consistente, ou seja, nao deve conter axiomas que contradigam outros axiomas.

Alem destas duas propriedades, um sistema axiomatico deve ser completo, ou


seja, deve definir unicamente um modelo.

Exemplo 1.1.1 Os seguintes sistemas axiomaticos dizem respeito a um conjunto


de pessoas e um conjunto de lnguas faladas por elas.
a) Sistema Axiomatico 1

Axioma I Ha um numero finito de pessoas;


Axioma II Cada lngua e falada exactamente por duas pessoas.

Este sistema axiomatico e mnimo (nem o Axioma I e consequencia do Axioma


II nem o Axioma II e consequencia do Axioma I), e consistente porque possui
pelo menos um modelo, mas nao e completo, pois possui modelos distintos.
Um modelo possvel e dado por um conjunto de duas pessoas que falam apenas
portugues e outro modelo e dado por um conjunto de quatro pessoas, das quais
duas falam portugues e duas falam ingles.

5
b) Sistema Axiomatico 2

Axioma I Ha um numero finito de pessoas;


Axioma II Cada lngua e falada exactamente por duas pessoas;
Axioma III Ha exactamente duas pessoas.

Este sistema axiomatico nao e mnimo pois o Axioma I e consequencia do


Axioma III. Portanto podemos retirar o Axioma I e ele sera um Teorema no
novo sistema.

c) Sistema Axiomatico 3

Axioma II Cada lngua e falada exactamente por duas pessoas;


Axioma III Ha exactamente duas pessoas.

Este sistema axiomatico e agora mnimo (nem o Axioma II e consequencia


do Axioma III nem o Axioma III e consequencia do Axioma II), e consistente
porque possui pelo menos um modelo, mas nao e completo, pois possui modelos
distintos. Um modelo possvel e dado por um conjunto de duas pessoas que
falam apenas portugues e outro modelo e dado por um conjunto de duas
pessoas, que falam ambas portugues e ingles.

Exerccio 1.1.1 Verifique se os seguintes sistemas axiomaticos (relativos a um


conjunto nao vazio de pessoas e um conjunto nao vazio de comissoes formadas por
pessoas) sao mnimos, consistentes e completos.

a) i. Existe um numero finito de pessoas.


ii. Cada comissao e formada por exactamente duas pessoas.
iii. Ha exactamente uma pessoa que pertence a um numero mpar de comissoes.

b) i. Existe um numero finito de pessoas.


ii. Cada comissao e formada por exactamente duas pessoas.
iii. Ha um numero par de pessoas que pertencem a um numero mpar de
comissoes.

c) i. Cada comissao e formada por exactamente duas pessoas.


ii. Existem exactamente 6 comissoes.
iii. Cada pessoa faz parte de exactamente 3 comissoes.

d) i. Cada comissao e formada por exactamente duas pessoas.


ii. Existem exactamente 6 comissoes.
iii. Cada pessoa faz parte de exactamente 3 comissoes.
iv. Nao ha duas comissoes que tenham um par de elementos em comum.

6
Exerccio 1.1.2 Considere os seguintes termos, livro, folha e pagina onde uma
folha e um conjunto de paginas e um livro e uma reuniao de folhas. Considere ainda
os seguintes axiomas:
Axioma I: Existem exactamente dois livros.

Axioma II: Cada livro tem exactamente duas folhas.

Axioma III: Cada livro tem exactamente quatro paginas.

Axioma IV: Cada pagina pertence a um unico livro.


Indique se este sistema axiomatico e consistente, mnimo e/ou completo.

Exerccio 1.1.3 Considere os termos rua e casa, onde uma rua e um conjunto
de casas e o seguinte conjunto de axiomas:
Axioma I: Cada rua contem pelo menos duas casas.

Axioma II: Ha exactamente 4 ruas.

Axioma III: Cada casa pertence a exactamente duas ruas.


Indique se este sistema axiomatico e consistente, mnimo e/ou completo.

1.2 Axiomas de incidencia


Um plano e um conjunto de pontos, no qual se considera uma coleccao nao vazia
de subconjuntos proprios chamados rectas. Estes termos nao se definem e apenas
sabemos o que e especificado nos axiomas indicados a seguir e o que se pode concluir
logicamente deles.
Os pontos serao designados por letras maiusculas A, B, C, ..., e as rectas por
letras minusculas a, b, c, ... (em geral usaremos as letras r, s, t, ...).

Axioma I-1 Dados dois pontos distintos, existe uma unica recta que os contem.

Notacao: A unica recta r que contem os pontos A e B pode ser representada por
AB ou BA.

AB A B

Definicao 1.2.1 Duas rectas distintas dizem-se:


a) paralelas se nao tem nenhum ponto em comum;

b) concorrentes se tem exactamente um ponto em comum.

7
Teorema 1.2.2 Duas rectas distintas ou sao paralelas ou sao concorrentes.
Demonstracao. Sejam r, s duas rectas e suponhamos que contem pelo menos dois
pontos distintos em comum. Entao, pelo Axioma I-1, tem-se r = s. Logo, se r e s
sao distintas, entao tem no maximo um ponto em comum.

Definicao 1.2.3 Tres ou mais pontos dizem-se colineares se existir uma recta
que os contem.
Teorema 1.2.4 Se A, B, C nao sao colineares, entao AB, AC e BC sao tres
rectas distintas.
Demonstracao. Se AB = AC, entao esta recta conteria os pontos A, B e C, logo
os tres pontos seriam colineares. Portanto AB 6= AC. Analogamente se mostra que
AB 6= BC e AC 6= BC.

Teorema 1.2.5 Dado um ponto A, existe pelo menos uma recta que nao contem
A.
Demonstracao. Seja r uma recta qualquer. Se A 6 r, entao r e a recta pretendida.
Se A r, consideremos um ponto B fora de r (que existe pois r e um subconjunto
proprio do plano). Como a recta AB tambem e um subconjunto proprio do plano,
existe um ponto C fora de AB. Entao as rectas AB e BC sao distintas (porque
C BC mas C 6 AB) e nao sao paralelas, logo sao concorrentes em B (pelo Teo-
rema 1.2.2). Logo A 6 BC.


C B

r A

Axioma I-2 Cada recta contem pelo menos dois pontos.


Teorema 1.2.6 (Teorema de de Bruijn-Erdos, 1948) Dados n pontos nao co-
lineares, existem pelo menos n rectas definidas por eles.
Demonstracao. Seja m o numero de rectas definidas pelos n pontos. Designemos o
ponto por onde passam menos rectas por A0 . Seja k o numero de rectas que contem
A0 . Designemos estas rectas por r1 , . . . rk e as restantes rectas por rk+1 , . . . , rm .
Para 1 i k, em cada recta ri existe pelo menos um ponto Ai 6= A0 . Os pontos
A1 , . . . , Ak sao todos distintos pelo Axioma I.

8
Ak A1
A
2

A0

r2
r1 rk

Seja si o numero de pontos em ri e tj o numero de rectas que passam por Aj , para


1 i m, 1 j n. Pelo Axioma I, tem-se t1 s2 , t2 s3 , . . . , tk1 sk , tk s1 .
Designemos agora por rk+1, . . . , rm as restantes rectas.
Suponhamos que m < n. Novamente pelo Axioma I tem-se k si , para k + 1 i
m. Como A0 e o ponto por onde passam menos rectas, tem-se k ti , logo ti si ,
para k + 1 i m.
Logo s1 + s2 + . . . + sm t1 + t2 + . . . + tm < t1 + t2 + . . . + tn . Mas contando as
incidencias de duas formas diferentes, tem-se s1 + s2 + . . . + sm = t1 + t2 + . . . + tn ,
contradicao.

Exerccio 1.2.1 Mostre que no plano existem pelo menos 3 pontos.

Exerccio 1.2.2 Mostre que qualquer ponto pertence a pelo menos duas rectas.

Exerccio 1.2.3 Sejam A e B dois pontos do plano. Mostre que o conjunto dos
pontos C tais que A, B e C sao colineares e uma recta.

Exerccio 1.2.4 O que pode concluir na situacao em que n pontos definem ex-
actamente n rectas?

Exerccio 1.2.5 Admita, para alem dos Axiomas de Incidencia, dois axiomas
adicionais:
a) Nao existem rectas paralelas.

b) Todas as rectas tem 3 pontos.


Indique se este sistema axiomatico e mnimo, consistente e completo.

Exerccio 1.2.6 Considere o plano {A, B, C, D, E}, onde as rectas sao os con-
juntos {A, B}, {A, C}, {A, D}, {B, C}, {B, D}, {C, D}, {C, E}, {D, E}, {A, B, E}.
a) Indique se se verificam os axiomas I-1 e I-2.

b) Retire uma recta do plano de modo que, com as rectas restantes, se verifiquem
ambos os axiomas.

c) Indique, neste plano, duas rectas paralelas.

9
Exerccio 1.2.7 Sejam A, B, C, D pontos distintos do plano. Mostre que se A,
B e C sao colineares e B, C e D sao colineares, entao A, B, C e D sao colineares.

Exerccio 1.2.8 Considere o plano {A, B, C, D, E}, onde as rectas sao os con-
juntos {A, B, C}, {A, D}, {A, E}, {C, D}, {C, E} e uma outra recta r. Indique,
justificando, que pontos pertencem a r.

Exerccio 1.2.9 De um exemplo de um plano, satisfazendo os axiomas de in-


cidencia, composto por 5 pontos e onde haja exactamente 8 rectas.

Exerccio 1.2.10 Considere o plano formado pelos pontos A, B, C, D, E e F ,


com quatro rectas {A, B, C}, {A, D, E}, {B, E, F } e {C, D, F }.
a) Indique, justificando, se este plano verifica os axiomas de incidencia.

b) Qual e o numero mnimo de rectas que e necessario juntar para que ambos os
axiomas se verifiquem?

Exerccio 1.2.11 Considere o plano formado pelos pontos A, B, C, D, E e F e


G, com as rectas {A, B, C}, {A, D, E}, {A, F, G}, {B, D, F }, {B, E, G}, {C, D, G}
e {C, E, F }.
a) Indique, justificando, se este plano, chamado o plano de Fano, verifica os
axiomas de incidencia.

b) Indique, caso existam, duas rectas paralelas e duas rectas concorrentes.

Exerccio 1.2.12 De um exemplo de um plano com 6 pontos, onde nao ha rectas


paralelas.

Exerccio 1.2.13 Considere um plano, composto pelos pontos A, B, C, D, E e


por oito rectas, entre as quais se encontram {A, B}, {A, C}, {A, D}, {A, E}, {B, C}
e {B, D}.
a) Entre as seis rectas indicadas, indique duas rectas paralelas.

b) Indique quais sao as duas rectas restantes.

1.3 Axiomas de ordem


Os axiomas seguintes referem-se a um termo indefinido estar entre. Esta nocao
permite-nos definir novos conceitos como o de segmento de recta e o de semi-recta.

Definicao 1.3.1 O conjunto dos pontos que estao entre A e B representa-se por
]AB[ (ou ]BA[) e o conjunto ]AB[{A, B} chama-se o segmento de recta de A a
B e representa-se por [AB] (ou [BA]). No caso em que B = A, tem-se ]AA[= e
[AA] = {A}.

10
Definicao 1.3.2 Dados dois pontos distintos A e B, o conjunto dos pontos C
tais que C [AB] ou B [AC] chama-se a semi-recta com origem em A que passa
por B e representa-se por AB.

Axioma O-1 Se A e B sao distintos, entao {A, B} ( [AB] ( AB ( AB.

A [AB] B A B AB AB A B

Axioma O-2 Dados tres pontos colineares distintos, exactamente um deles


esta entre os outros dois.

Definicao 1.3.3 Um subconjunto S do plano diz-se convexo se, para cada par
de pontos A, B S se tem [AB] S.

Axioma O-3 Os pontos do plano fora de uma recta dada r separam-se em


dois conjuntos disjuntos convexos tais que dois pontos A, B fora de r pertencem
ao mesmo subconjunto se e so se [AB] r = .

Definicao 1.3.4 Se A, B pertencem ao mesmo conjunto, dizemos que A e B


estao do mesmo lado de r.

Teorema 1.3.5 Dados dois pontos distintos A e B, tem-se AB BA = AB e


AB BA = [AB].

Demonstracao.

Pelo Axioma O-1, tem-se AB AB e BA BA = AB. Logo ABBA AB.


Seja agora P AB. Entao P , A e B sao colineares, logo, pelo Axioma O-2,
exactamente um destes pontos esta entre os outros dois.
Se P esta entre A e B, entao P [AB] AB.
Se A esta entre P e B, entao P BA.
Se B esta entre P e A, entao P AB.
Logo, em qualquer caso, tem-se P AB BA. Portanto, AB AB BA.

Por definicao tem-se [AB] AB e [AB] = [BA] BA, logo [AB] AB BA.
Seja agora P ABBA. Se P = A ou P = B, entao P [AB]. Consideremos
entao o caso em que P 6= A e P 6= B.
Como P AB, entao P esta entre A e B ou B esta entre A e P .
Como P BA, entao P esta entre A e B ou A esta entre B e P .
Como apenas um dos tres casos pode ocorrer, pelo Axioma O-2, entao conclui-
-se que P esta entre A e B, logo P [AB].
Portanto AB BA [AB].

11
Teorema 1.3.6 Se C e um ponto entre A e B e D e um ponto entre B e C,
entao D esta entre A e B.

Demonstracao. Pelos Axiomas I-1 e O-1, os pontos A, B, C, D sao colineares.


Consideremos uma recta r 6= AB que passe por D. Como D esta entre B e C,
entao B e C estao em lados opostos de r. Como cada semiplano e convexo, se A
e B estivessem do mesmo lado de r, entao tambem o ponto C [AB] estaria do
mesmo lado. Logo conclui-se que A e B estao em lados opostos de r, pelo que
[AB] intersecta r. Como AB so intersecta r no ponto D (pelo Axioma I-1), entao
D [AB] e portanto D esta entre A e B.
r

A C D B

Teorema 1.3.7 Cada segmento de recta tem uma infinidade de pontos.

Demonstracao. Seja [AB] um segmento de recta. Pelo Axioma O-1, existe um


ponto P1 entre A e B. Do mesmo modo, existe um ponto P2 entre P1 e B. Pelo
teorema anterior, o ponto P2 esta entre A e B. Repetindo este argumento, obtem-se
uma sequencia de pontos P1 , P2 , . . ., Pn , . . . de pontos distintos entre A e B.

A P1 P2 B

Corolario 1.3.8 Cada recta tem uma infinidade de pontos.

Demonstracao. Cada recta r contem dois pontos A e B pelo Axioma I-2. Pelo
Axioma O-1, o conjunto infinito [AB] esta contido em r, pelo que r e tambem
infinito.

Definicao 1.3.9 Um triangulo [ABC] e a reuniao dos tres segmentos [AB], [BC]
e [AC], chamados os lados do triangulo. Os pontos A, B e C chamam-se os vertices
do triangulo.

A B

12
Definicao 1.3.10 Um angulo ABC e a reuniao das duas semi-rectas BA e
BC. O ponto B chama-se o vertice do angulo. O interior do angulo ABC e a
interseccao do semiplano definido por BA que contem C com o semiplano definido
por BC que contem A.

AB C
r ior de
inte
B A

Observacao 1.3.11 Nas situacoes em que nao houver duvidas sobre quais sao
as semi-rectas que formam o angulo ABC podemos simplesmente designa-lo por
B.

Teorema 1.3.12 (Teorema de Pasch) Se uma recta r intersecta um triangulo


[ABC] num ponto entre A e B, entao r intersecta [AC] ou [BC].

Demonstracao. Se C r, entao r intersecta ambos os lados [AC] e [BC].


Se C 6 r, entao ou C e A estao do mesmo lado de r ou C e B estao do mesmo lado
de r. No primeiro caso, r intersecta [BC] e no segundo caso, r intersecta [AC].

Teorema 1.3.13 (Teorema de Sylvester, 1933) Dados n pontos nao colineares


do plano, existe uma recta que passa exactamente por dois desses pontos.

Demonstracao. Sejam P1 , . . . , Pn os pontos dados. Como estes pontos nao sao


colineares, podemos supor, por exemplo, que P1 6 P2 P3 .
Como P2 P3 tem um numero infinito de pontos, existe algum ponto A P2 P3 tal que
P1 A nao passa por nenhum dos pontos P2 , P3 , . . . , Pn . Consideremos na semi-recta
P1 A todos os pontos de interseccao com os segmentos [Pi Pj ], i > j 2. Seja B o
ponto de interseccao tal que ]P1 B[ nao contem nenhum outro ponto de interseccao
e suponhamos que a recta que o define e determinada por P4 e P5 .
Se P4 P5 nao contem nenhum outro ponto da coleccao, entao esta encontrada a recta
pretendida.
Caso contrario, existe um ponto P6 P4 P5 e podemos supor que P5 esta entre P4 e
P6 .
Consideremos agora a recta P1 P6 . Suponhamos que existe um outro ponto P7
P1 P6 . Pelo Axioma O-2, exactamente um dos pontos P1 , P6 ou P7 esta entre os
outros dois.

13
P7 ?
P1 P7 ?
P ?
7
P6
P5
B

P4

P2 A P3

Se P1 estivesse entre P7 e P6 , entao a recta P7 P5 intersectaria o triangulo [P1 BP6 ]


apenas em P5 .
Se P7 estivesse entre P1 e P6 , entao a recta P7 P4 intersectaria o triangulo [P1 BP6 ]
apenas em P7 .
Se P6 estivesse entre P1 e P7 , entao a recta P7 P5 intersectaria o triangulo [P1 BP6 ]
apenas em P5 .
Logo nao existe nenhum outro ponto da coleccao em P1 P6 e portanto P1 P6 e a recta
pretendida.

Exerccio 1.3.1 Mostre que dois lados de um triangulo intersectam-se num


vertice.

Exerccio 1.3.2 Mostre que se uma recta intersecta os tres lados de um triangulo,
entao passa por um dos vertices.

Exerccio 1.3.3 Mostre que se C esta entre A e B, entao [AB] = [AC] [CB]
e [AC] [BC] = {C}.

Exerccio 1.3.4 Mostre que um segmento de recta e um conjunto convexo.

Exerccio 1.3.5 Seja r uma recta e P um ponto de r. Mostre que se P esta


entre A e B e A 6 r, entao tambem B 6 r.
Sugestao: Suponha que B r e obtenha uma contradicao.

Exerccio 1.3.6 Seja D um ponto no interior de ABC. Seja E um ponto do


plano tal que B esta entre C e E. Mostre que [DE] intersecta AB.

Exerccio 1.3.7 Mostre que se o ponto B esta entre entre A e C e o ponto C


esta entre B e D, entao o ponto B esta entre A e D.

Exerccio 1.3.8 Seja [ABC] um triangulo, D um ponto entre A e C, e E um


ponto entre B e D. Mostre que E esta no interior de ABC.

Exerccio 1.3.9 Sejam A e B pontos do plano e r uma recta. Suponhamos que


[AB] intersecta r num unico ponto C, situado entre A e B. Mostre que A e B estao
em lados opostos de r.

14
1.4 Axiomas de congruencia
O proximo conjunto de axiomas diz respeito a nocao de congruencia que sera um
termo indefinido. Neste momento, congruencia nao significa ter o mesmo compri-
mento ou ter a mesma amplitude, conceitos de que falaremos mais tarde.

Notacao: Para indicar que dois segmentos [AB] e [CD] sao congruentes, es-
creveremos [AB] = [CD]. Do mesmo modo, para indicar que dois angulos ABC e
DEF sao congruentes, escreveremos ABC = DEF .

Axioma C-1 Dado um segmento [AB] e uma semi-recta CD, existe um unico
ponto da semi-recta tal que [CE]
= [AB].
Axioma C-2 = [EF ], entao [AB]
= [CD] e [CD]
Se [AB] = [EF ].

Axioma C-3 Se C ]AB[ e F ]DE[, [AC]


= [DF ] e [BC]
= [EF ], entao
[AB]
= [DE].

A C B D F E

Axioma C-4 Dado um angulo ABC e uma semi-recta DE, existe em cada
semi-plano definido por DE uma unica semi-recta DF tal que F DE
= ABC.

Teorema 1.4.1 = [DF ] e [AB]


Se C ]AB[ e F ]DE[, [AC] = [DE], entao
[BC]
= [F E].

Demonstracao. Pelo Axioma C-1, existe um unico ponto G F E tal que [BC]
=
= [DG]. Como se tem [AB]
[F G]. Pelo Axioma C-3, tem-se [AB] = [DE], entao,
pelo Axioma C-2, tem-se [DG] = [DE]. Mas a unicidade do ponto G garante que

G = E, pelo que [BC] = [F E].

A C B D F EG

Definicao 1.4.2 Diz-se que dois triangulos [ABC] e [DEF ] sao congruentes e
escreve-se [ABC] = [DEF ] se [AB] = [DE], [AC] = [DF ], [BC]
= [EF ], BAC =

EDF , ABC = DEF e ACB = DF E.

Observacao 1.4.3 A ordem em que os vertices do triangulo sao escritos e im-


portante. Em particular, os triangulos [ABC] e [BAC] nao sao necessariamente
congruentes.

15
Deste modo, a expressao [ABC] = [DEF ] resume seis congruencias, tres relativas
a segmentos e tres relativas a angulos. Veremos em seguida que na verdade nao sao
necessarias seis congruencias para concluir que dois triangulos sao congruentes.

= [DE], [AC]
Axioma C-5 Dados dois triangulos [ABC] e [DEF ], se [AB] =

[DF ] e BAC = EDF , entao [ABC] = [DEF ].

C F

A B D E

Este axioma e conhecido por Criterio LAL, porque diz respeito a congruencia de
um angulo e dos dois lados adjacentes.

Teorema 1.4.4 = [AC], entao ABC


Num triangulo [ABC], se [AB] = ACB.

Demonstracao. Como [AB] = [AB] e BAC


= [AC], [AC] = CAB, entao pelo
Criterio LAL, tem-se que [ABC] = [ACB]. Logo ABC
= ACB.

B C

Nota: Esta prova devida a Pappus, no sec IV, simplifica grandemente as demons-
tracoes anteriores deste teorema, ao reparar que com os pontos A, B e C se podem
formar dois triangulos congruentes [ABC] e [ACB].

Teorema 1.4.5 (Criterio ALA) Dados dois triangulos [ABC] e [DEF ], se [AB]
=
[DE], BAC
= EDF e ABC = DEF , entao [ABC] = [DEF ].

16
C F

A B D E

Demonstracao. Pelo Axioma C-1, existe um unico ponto G DF tal que [DG] =
[AC]. Como [AB] = [DE] e GDE = CAB, entao pelo Criterio LAL, tem-se
[DEG] = [ABC]. Portanto, DEG = ABC. Como tambem DEF = ABC,
entao, pelo Axioma C-4, conclui-se que EF = EG, ou seja, que E, F e G sao
colineares. Entao, pelo Axioma I-1, conclui-se que G = F .

G
C F

A B D E

Teorema 1.4.6 Se D e um ponto interior a ABC, H e um ponto interior a


EF G, ABD = EF H e DBC = HF G, entao ABC = EF G.

Demonstracao. Pelo Axioma C-1 existe um ponto I F E tal que [AB] = [IF ].
Pelos Axiomas C-4 e C-1 existe um ponto J tal que IF J = ABC e [F J] = [BC].
= [IF J], pelo que JIF
Entao o criterio LAL garante que [ABC] = CAB.
Seja K o ponto de interseccao de BD com AC e L o ponto de interseccao de F H
com IJ. Tem-se KAB = LIF , KBA = LF I e [AB] = [IF ], logo, pelo

criterio ALA, tem-se [ABK] = [IF L].

B F

A K I L
C J
D E H G

17
Assim, [AK] = [IL]. Como [AC]
= [IJ], entao, pelo Teorema 1.4.1 tambem se tem
[KC] = [LJ]. Novamente pelo criterio LAL conclui-se que [BKC]
= [F LJ].

Portanto, HF G = DBC = KBC = LF J = HF J, ou seja, F J = F G.
Conclui-se finalmente que EF G = IF J = ABC.
Teorema 1.4.7 (Criterio LLL) Dados dois triangulos [ABC] e [DEF ], se [AB]
=

[DE], [AC] = [DF ] e [BC] = [EF ], entao [ABC] = [DEF ].

C F

A B D E

Demonstracao. Consideremos no semiplano definido por [DE] que nao contem F


o ponto G tal que EDG = BAC e [DG] = [AC] (que existe pelos Axiomas C-1
e C-4). Entao, pelo criterio LAL tem-se [ABC]
= [DEG].
Suponhamos que [F G] intersecta [DE] (os outros casos demonstram-se de forma
analoga).
Como [DG] = [DF ], entao DGF = DF G, pelo Teorema 1.4.4. Analogamente

GF E = F GE.
Pelo teorema anterior conclui-se que DF E = DGE. Finalmente, o criterio LAL
garante que [DEG] = [DEF ]. Portanto tambem [ABC]
= [DEF ].

C F

A B D E

G
Exerccio 1.4.1 Mostre que se um triangulo tem dois angulos congruentes, entao
tem dois lados congruentes.

Exerccio 1.4.2 Mostre que se ABC


= DEF e DEF
= GHI, entao
ABC = GHI.
Exerccio 1.4.3 Mostre que se D e um ponto interior a ABC, H e um ponto
interior a EF G, ABD = EF H e ABC = EF G, entao DBC = HF G.

18
Exerccio 1.4.4 Considere pontos nao colineares A, B, C, D no plano tais que
[AB] = [CD] e [AD]
= [BC].
D C

A B
= CDA e que DAB
Mostre que ABC = BCD.

Exerccio 1.4.5 Um pentagono [ABCDE] diz-se regular se os seus segmentos


[AB], [BC], [CD], [DE] e [EA] sao congruentes e se os seus angulos A, B, C,
D e E sao congruentes. Na figura seguinte, [ABCDE] e um pentagono regular.
Mostre que o pentagono [F GHIJ] tambem e regular.

H B A F

C E
D
I J

Exerccio 1.4.6 Seja [ABCD] um quadrilatero tal que [AD]


= [BC] e DAB
=

CBA. Mostre que ADC = DCB.

1.5 Axiomas de medicao


De seguida estabelecemos os axiomas que nos permitem medir comprimentos de
segmentos ou amplitudes de angulos.

Axioma M-1 A cada par de pontos A e B corresponde um numero real,


chamado a distancia de A a B ou o comprimento de [AB] e representado por AB
e para cada recta r existe uma bijeccao f : r R tal que AB = |f (A) f (B)|,
para quaisquer pontos A, B r.

Axioma M-2 A cada angulo AOB corresponde um numero real, chamado a


amplitude de AOB e representado por AOB b e para cada semirecta OA existe
uma bijeccao entre o conjunto das semi-rectas de cada um dos semiplanos fechados
determinados por OA e o intervalo [0, 180] tal que se C e um ponto no interior
de AOB, entao AOB b = AOC b + C OB.b

19
Com estes axiomas diremos que dois segmentos [AB] e [CD] sao congruentes se
AB = CD e que dois angulos ABC e DEF sao congruentes se ABC b = D EF b .
Diremos tambem que, dados tres pontos A, B, C de uma recta r, o ponto C esta
entre A e B se f (C) esta entre f (A) e f (B) para uma bijeccao f entre a recta que
contem estes pontos e R.

Juntando estes axiomas aos anteriores obtemos um sistema axiomatico que nao
e mnimo. Por exemplo, claramente o Axioma I-2 e uma consequencia de M-1. Na
verdade, podemos obter um sistema mnimo equivalente apenas com os axiomas
seguintes (I-1, O-3, C-5, M-1 e M-2):

Axioma 1 Dados dois pontos distintos, existe uma unica recta que os contem.
Axioma 2 Os pontos do plano fora de uma recta dada r separam-se em dois
conjuntos disjuntos convexos tais que dois pontos A, B fora de r pertencem ao
mesmo subconjunto se e so se [AB] r = .

= [DE], [AC]
Axioma 3 Dados dois triangulos [ABC] e [DEF ], se [AB] =
[DF ] e BAC
= EDF , entao [ABC]
= [DEF ].
Axioma 4 A cada par de pontos A e B corresponde um numero real, chamado
a distancia de A a B e representado por AB e para cada recta r existe uma
bijeccao f : r R tal que AB = |f (A) f (B)|, para quaisquer pontos A, B r.
Axioma 5 A cada angulo AOB corresponde um numero real, chamado a
amplitude de AOB e representado por AOB b e para cada semirecta OA existe
uma bijeccao entre o conjunto das semi-rectas de cada um dos semiplanos fechados
determinados por OA e o intervalo [0, 180] tal que se C e um ponto no interior
de AOB, entao AOB b = AOC b + C OB.b
Definicao 1.5.1 Dados dois pontos A e B, o ponto medio de A e B e o ponto
M [AB] tal que AM = MB.
A M B

Definicao 1.5.2 Dado um triangulo [ABC], a mediana relativa ao lado [AB] e


o segmento [CM], onde M e o ponto medio de [AB].

A B
M

20
Definicao 1.5.3 tal que
A bissectriz de um angulo AOB e a semirecta OC
b = C OB.
AOC b

O A

Definicao 1.5.4 Um angulo diz-se:

a) agudo se a sua amplitude for inferior a 90;

b) recto se a sua amplitude for 90;

c) obtuso se a sua amplitude for superior a 90.

Definicao 1.5.5 Duas rectas r e s dizem-se perpendiculares e escreve-se r s


se os angulos formados por elas forem rectos.

Definicao 1.5.6 A altura de um triangulo [ABC] relativa ao lado [AB] e o seg-


mento [CD] onde D e o ponto de AB tal que CD e perpendicular a AB.

A B
D

Observacao 1.5.7 O ponto D nao esta necessariamente no segmento [AB].

21
C

A
B D

Proposicao 1.5.8 Num triangulo [ABC] tal que AB = AC, a mediana relati-
vamente a [BC] coincide com a altura relativa a [BC] e ambas estao contidas na
bissectriz de BAC.

Demonstracao. Seja M o ponto medio de [BC]. Entao, pelo criterio LLL tem-se
[AMB] = [AMC]. Logo AM cB = AM cC e M ABb = M AC.
b
Como AM cB + AM cC = 180, entao AMB e AMC sao angulos rectos. Portanto
a mediana [AM] e tambem altura relativamente a [BC] e esta contida na bissectriz
de BAC.

B C
M

Definicao 1.5.9 A mediatriz de um segmento AB e a recta perpendicular a [AB]


que passa pelo ponto medio de [AB].

A M B

Definicao 1.5.10 O angulo suplementar de um angulo AOB e o angulo BOC


onde C, O e A sao colineares.

22
B

A
O C

Definicao 1.5.11 O angulo verticalmente oposto ao angulo AOB e o angulo


formado pelas semi-rectas opostas a OA e OB.

O B

Definicao 1.5.12 Os angulos internos de um triangulo [ABC] sao os angulos


BAC, ABC e ACB. Os angulos externos do triangulo [ABC] sao os angulos
suplementares dos angulos internos.

Observacao 1.5.13 Um triangulo tem assim tres angulos internos e seis angulos
externos.

Teorema 1.5.14 A amplitude de um angulo externo de um triangulo e maior


do que a amplitude de qualquer angulo interno nao adjacente.

Demonstracao. Seja [ABC] um triangulo e mostremos que o angulo externo


BCD tem amplitude superior ao angulo interno CBA.
Seja M o ponto medio de [BC]. Consideremos na semi-recta oposta a [MA] o ponto
E tal que ME = MA. Pelo criterio LAL, tem-se [AMB] = [EMC].
b b b b
Logo B CD = B CE + E CD > B CE = C BA. b

B
E

C D
A

23
Corolario 1.5.15 A soma das amplitudes de quaisquer dois angulos internos de
um triangulo e inferior a 180.

Demonstracao. Seja [ABC] um triangulo e mostremos que ABCb + B AC


b < 180.
b um angulo externo do triangulo, tem-se, pelo teorema anterior, que
Sendo B AD
b < B AD.
ABC b Logo ABC b + B AC
b < B AD b + B ACb = 180.

D A
C

Corolario 1.5.16 Qualquer triangulo tem pelo menos dois angulos agudos.

Demonstracao. Seja [ABC] um triangulo e suponhamos que A bB b C.


b Se B
b+C
nao fosse agudo, entao C tambem nao o seria, logo B b > 180, em contradicao
com o corolario anterior. Logo B e agudo e portanto A tambem.

Corolario 1.5.17 Duas rectas distintas, perpendiculares a uma mesma recta,


sao paralelas.

Demonstracao. Se nao fossem paralelas, seriam concorrentes num ponto. As tres


rectas formariam assim um triangulo com dois angulos rectos, em contradicao com
o corolario anterior.

Teorema 1.5.18 Dada uma recta r e um ponto P do plano, existe uma unica
recta perpendicular a r que passa por P .

Demonstracao. Se P r, entao a existencia e unicidade sao dadas pelo Axioma


5 (M-2).
Se P 6 r a unicidade e dada pelo corolario anterior. Provemos entao a existencia
de uma recta perpendicular a r que passa por P .
Seja A um ponto de r. Se P A r, entao P A e a recta que procuramos.
Se P A 6 r, consideremos um ponto Q no semiplano definido por r que nao contem

24
P , de modo que o angulo entre AQ e r tenha a mesma amplitude que o angulo entre
AP e r e, alem disso, AQ = AP (esta construcao e possvel pelos Axiomas 4 e 5).
Entao o triangulo [AP Q] e isosceles com base [P Q], pelo que a sua altura relativa a
[P Q] coincide com a bissectriz de P AQ (que esta contida em r). Assim, P Q r.

A r

Teorema 1.5.19 b >


Num triangulo [ABC], tem-se AB > AC se e so se ACB
b
ABC.

Demonstracao. Suponhamos que AB > AC. Entao existe um ponto D [AB] tal
b = ADC.
que AD = AC. Pelo Teorema 1.4.4, tem-se ACD b Como ADC e exterior
ao triangulo [BDC], entao

b > ACD
ACB b = ADC
b > ABC.
b

A B
D

Suponhamos agora que ACB b > ABC.


b Se fosse AB = AC, entao ACBb = ABC
b e
b < ABC,
se fosse AB < AC, entao ACB b contradicao. Portanto AB > AC.

Teorema 1.5.20 (Desigualdade triangular) Num triangulo [ABC], tem-se AB <


AC + BC.

Demonstracao. Considere-se o ponto D AC, tal que C esta entre A e D e


b = C BD.
CD = CB. Entao C DB b

25
D

A B

b > C BD
Portanto, ABD b = C DB.
b Pelo teorema anterior, aplicado ao triangulo
[ABD], tem-se AD > AB. Como AD = AC + CD = AC + CB, entao AB <
AC + CB.

Apresentam-se de seguida mais dois criterios de congruencias de triangulos.

Teorema 1.5.21 (Criterio AAL) Dados dois triangulos [ABC] e [DEF ], se [AB]
=
b b b b
[DE], C AB = F DE e ACB = D F E, entao [ABC] = [DEF ].

C F

A B D E

Demonstracao. Seja G o ponto de DF tal que DG = AC.


Pelo Criterio LAL tem-se [ABC] b = ACB
= [DEG], pelo que D GE b = D FbE.
Suponhamos que DF < DG (a prova no caso DF > DG e analoga). Entao DF E
e um angulo externo de [DGE], contradizendo assim o Teorema 1.5.14.
Portanto DF = DG, ou seja F = G. Logo [ABC] = [DEF ].

G
C F

A B D E

26
Teorema 1.5.22 (Criterio LLR) Dados dois triangulos [ABC] e [DEF ], se AB =
DE, AC = DF e ABCb = D EF b = 90, entao [ABC] = [DEF ].

C F

A B D E

Demonstracao. Consideremos no semiplano determinado por DE que contem F


o ponto G tal que GDE b = C AB b e DG = AC.
Pelo criterio LAL tem-se [ABC] = [DEG]. Logo GED b = C BA
b = 90, ou seja,
G EF .
b =
Se G 6= F , entao [GDF ] e um triangulo isosceles, com DG = DF , pelo que D GF
D FbG. Mas um destes angulos e um angulo externo de [DGE], donde se conclui que
b = D FbG > 90, pelo Teorema 1.5.14. Assim, o triangulo [DEF ] nao tem dois
D GF
angulos agudos, contradizendo o Corolario 1.5.16.
Portanto G = F , ou seja, [ABC] = [DEF ].

C F

A B D E

Observacao 1.5.23 O criterio anterior nao e valido apenas no caso do angulo


em causa ser recto, mas tambem no caso do angulo ser obtuso.

Temos assim cinco criterios de congruencia, que garantem que se conhecermos


um determinado conjunto de 3 medidas de um triangulo, as restantes 3 medidas
ficam determinadas. Estes criterios podem ser resumidos na tabela seguinte:

Angulos conhecidos Lados conhecidos Criterios de congruencia


3 0
2 1 ALA e AAL
1 2 LAL e LLR
0 3 LLL

Teorema 1.5.24 Sejam [ABC] e [DEF ] dois triangulos tais que AB = DE,
b b
AC = DF e C AB < F DE. Entao BC < EF .

27
F
C

A B D E

Demonstracao. Seja G o ponto do semiplano definido por DE que contem F , tal


que GDEb = C AB b e GD = AC. Pelo Criterio LAL tem-se [ABC] = [DEG], logo
BC = EG.
Se G [EF ], entao BC = EG < EG + GF = EF .
Caso contrario, consideremos o ponto H onde a bissectriz de GDF intersecta EF .
Entao, pelo Criterio LAL, tem-se [F DH]
= [GDH], pelo que GH = F H. Assim,
pela desigualdade triangular tem-se BC = EG < EH + GH = EH + F H = EF .

F
H
C G

A B D E

Teorema 1.5.25 (Teorema de Saccheri-Legendre, 1733) A soma dos angulos


internos de um triangulo e menor ou igual a 180.

b
Demonstracao. Seja [ABC] um triangulo qualquer e seja = B AC. Seja M o
ponto medio de [BC] e consideremos na semi-recta oposta a [MA] o ponto E tal
que ME = MA. Pelo criterio LAL, tem-se [AMB] = [EMC].
Logo ABCb + B ACb + ACBb = E CB
b + B AMb + M ACb + ACBb = E CA+
b b
C EA+ b
C AE.
Conclui-se assim que a soma dos angulos internos de [ABC] e igual a soma dos
b + AEC
angulos internos de [ACE]. Note-se que, como E AC b = B ACb = , um dos
angulos CAE ou CEA tem amplitude nao superior a /2.

B
E

C D
A

28
Repetindo esta construcao a partir do triangulo [ACE] obtemos um novo triangulo
com a mesma soma dos angulos internos, dos quais um tem uma amplitude nao
superior a /4. Continuando este processo obtem-se uma sucessao de triangulos,
todos com a mesma soma de angulos internos, tal que a amplitude de um dos
angulos internos converge para 0. Como, pelo Corolario 1.5.15, a soma dos outros
dois angulos internos e menor do que 180, conclui-se que a soma dos tres angulos
internos e menor ou igual a 180.

Definicao 1.5.26 Seja r e s duas rectas e t uma recta concorrente com ambas.
Ficam assim definidos oito angulos, como indicado na figura. Os angulos 1, 2, 7 e
8 chamam-se os angulos exteriores e os angulos 3, 4, 5 e 6 chamam-se os angulos
interiores. Os pares de angulos {3, 6} e {4, 5} chamam-se angulos alternados e os
pares de angulos {1, 5}, {2, 6}, {3, 7} e {4, 8} chamam-se angulos correspondentes.
t

1 2 s
3 4

5 6 r
7 8

Teorema 1.5.27 Se uma recta t intersecta as rectas r e s e dois angulos interiores


alternados sao congruentes, entao r e s sao paralelas.

Demonstracao. Suponhamos que os angulos 4 e 5 sao congruentes e que r e s sao


concorrentes. Se r e s se intersectassem num ponto do mesmo lado de 4, entao 5
seria um angulo externo de um triangulo onde 4 e um angulo interno, o que contradiz
o Teorema 1.5.14. Do mesmo modo se conclui que r e s nao se podem intersectar
num ponto do mesmo lado de 5.

t
s
4
r
5

Corolario 1.5.28 Se uma recta t intersecta as rectas r e s e dois angulos cor-


respondentes sao congruentes, entao r e s sao paralelas.

Demonstracao. Se dois angulos correspondentes sao congruentes, entao ha dois


angulos interiores alternados congruentes. Pelo teorema anterior, as rectas r e s sao
paralelas.

29
Corolario 1.5.29 Se r e uma recta e P 6 r, entao existe uma paralela a r que
passa por P .
t

P s

Demonstracao. Pelo Teorema 1.5.18, existe uma recta t, perpendicular a r, que


passa por P . Pelo mesmo teorema, existe uma recta s, perpendicular a t, que passa
por P . Entao t intersecta r e s com angulos correspondentes iguais, logo, pelo
corolario anterior, r e s sao paralelas.
Exerccio 1.5.1 Mostre que dois angulos verticalmente opostos sao congruentes.
Exerccio 1.5.2 Mostre que a mediatriz de um segmento [AB] e o conjunto dos
pontos equidistantes de A e B.
Exerccio 1.5.3 Considere pontos A, B, C, D, E do plano tais que AB = 4,
BC = 3, AB BC, AC = BD, E e o ponto de interseccao de [BD] com [AC] e
BE = EC.
A D

B C

O que pode dizer sobre


a) CD?
b) AC?
Exerccio 1.5.4 Considere um triangulo equilatero [ABC] e D o ponto do plano
tal que B e o ponto medio de [AD]. Sabendo que B DC b = 15, indique o que pode
b e ABC.
dizer sobre B CD b
C

A B D

30
Exerccio 1.5.5 b = 90 e seja D um
Considere um triangulo [ABC] tal que C AB
ponto entre A e B. Mostre que CD < CB.

A D B

Exerccio 1.5.6 Seja r uma recta e P um ponto fora de r. Mostre que existe
um ponto de r que esta mais proximo de P do que qualquer outro.

Exerccio 1.5.7 Mostre que a bissectriz de um angulo AOB e o conjunto dos


pontos equidistantes de OA e OB.

Exerccio 1.5.8 Na figura seguinte, os angulos assinalados sao congruentes. Mostre


que r e s sao paralelas.

t
s

1.6 Circunferencias
Definicao 1.6.1 A circunferencia de centro O e raio > 0 e o conjunto C(O, )
dos pontos P tais que OP = . O interior de C(O, ) e o conjunto dos pontos P tais
que OP < e o exterior de C(O, ) e o conjunto dos pontos P tais que OP > .

exterior de C(O, )

O
C(O, )
interior de C(O, )

31
Observacao 1.6.2 Pelo Axioma 4, em cada semi-recta que parte de O existe
um unico ponto de C(O, ).

Definicao 1.6.3 Sejam A, B dois pontos de C(O, ). O segmento [AB] diz-se


uma corda da circunferencia. Se o ponto O pertence a corda [CD], entao [CD] diz-se
um diametro da circunferencia.
B
D
A
O

Teorema 1.6.4 A interseccao de uma recta com uma circunferencia tem no


maximo dois pontos.

Demonstracao. Seja r uma recta e C(O, ) uma circunferencia. Suponhamos que


C(O, ) contem tres pontos A, B e C de r, em que B esta entre A e C.
O
C

B
A

Como OA = OB = OC, entao O AB b = O BA,b b = O CB


O BC b e O AC
b = O CA.b
b = O BC
Logo O BA b = 90 e portanto os triangulos [OAB], [OBC] e [OAC] tem dois
angulos rectos, em contradicao com o Corolario 1.5.16.
Portanto, C(O, ) tem no maximo dois pontos de r.

Definicao 1.6.5 Uma recta diz-se tangente a uma circunferencia se a intersecta


num unico ponto. Uma recta diz-se secante a uma circunferencia se a intersecta em
dois pontos.

Teorema 1.6.6 Se r e tangente a C(O, ) em P , entao r e perpendicular a OP .

Demonstracao. Seja Q o ponto de r tal que OQ r.


Suponhamos que Q 6= P . Defina-se o ponto R 6= P tal que QR = QP . Entao, pelo
criterio LAL, tem-se [OQR] = [OQP ].
Assim, OR = OP e portanto C(O, ) intersecta r em dois pontos, o que contradiz o
facto de que r e tangente a circunferencia.
Logo Q = P e portanto OP r.

32
R
Q
P

O r

Teorema 1.6.7 Se r e secante a C(O, ) nos pontos A e B, entao O esta sobre a


mediatriz de [AB].

Demonstracao. Seja M o ponto medio de [AB]. Pelo Criterio LLL, tem-se


[OMA]
= [OMB]. Logo O MAc = O MBc = 90, pelo que OM e a mediatriz de
[AB].

M

O
B

Teorema 1.6.8 A interseccao de duas circunferencias distintas tem no maximo


dois pontos.

Demonstracao. Sejam C(O1 , 1 ) e C(O2 , 2 ) duas circunferencias distintas e supo-


nhamos que A, B e C sao tres pontos distintos da interseccao destas circunferencias.
Entao O1 A = O1 B = O1 C e O2 A = O2 B = O2 C. Entao, pelo criterio LLL,
[O1 O2 A]
= [O1 O2 B]
= [O1 O2 C].
A

O1 O2

C
b 1 A = O2 O
Logo O2 O b 1 B = O2 O
b1 C. Como dois dos pontos A, B ou C estao no mesmo
semiplano definido por O1 O2 , entao esses pontos coincidem.

Definicao 1.6.9 Se duas circunferencias se intersectam num ponto, dizem-se


tangentes. Se a interseccao das rectas tem dois pontos, as circunferencias dizem-se
secantes.

Observacao 1.6.10 Uma circunferencia tangente a outra pode estar no seu in-
terior ou no seu exterior.

33
Exerccio 1.6.1 Mostre que se [AB] e [CD] sao duas cordas congruentes de uma
b = C OD.
circunferencia de centro O, entao AOB b

Exerccio 1.6.2 Mostre que se duas circunferencias sao tangentes, entao os cen-
tros e o ponto de tangencia sao colineares.

Exerccio 1.6.3 Mostre que se C(O1 , 1 ) e C(O2 , 2 ) se intersectam nos pontos


A e B, entao AB e perpendicular a O1 O2 .

Exerccio 1.6.4 Sejam C(O, 1 ) e C(O, 2 ) duas circunferencias com o mesmo


centro e 1 < 2 . Suponhamos que existe uma corda [AB] de C(O, 2 ) tal que AB e
tangente a C(O, 1) no ponto C. Mostre que AC = BC.

Exerccio 1.6.5 Seja [OP ] um raio da circunferencia C(O, ) e Q um ponto tal


que OP OQ. Mostre que P Q intersecta a circunferencia noutro ponto para alem
de P .
P

Q
O

34
2

Geometria Euclidiana

2.1 O Axioma das Paralelas


No captulo anterior consideramos um conjunto de axiomas que consituem o que se
chama a geometria neutral ou geometria absoluta. Durante seculos tentou-se provar,
dentro deste sistema axiomatico, que dada uma recta e um ponto fora dela passava
uma unica paralela a recta dada. Apenas no incio de seculo XIX se verificou que
isso nao era possvel, com a descoberta, pelo matematico hungaro Bolyai e pelo
matematico russo Lobatchevski, de modelos onde esta propriedade nao se verifi-
cava. Deste modo, a geometria neutral da origem a duas geometrias distintas, a
geometria euclidiana e a geometria hiperbolica, consoante se admite como axioma
esta propriedade ou a sua negacao.
Temos entao a seguinte relacao entre os varios sistemas axiomaticos.
Geometria de congruencia
Geometria de incidencia

Geometria de ordem

Geometria neutral

Geometria Geometria

euclidiana hiperbolica

35
Vamos de seguida admitir a propriedade enunciada como axioma, o chamado
Axioma das Paralelas.

Axioma 6 Dada uma recta r e um ponto P fora de r, existe uma unica recta
paralela a r que passa por P .
A primeira consequencia do Axioma das Paralelas e o recproco do Teorema
1.5.27.

Teorema 2.1.1 Se t corta duas rectas paralelas r e s, entao dois angulos interi-
ores alternados sao congruentes.

Demonstracao. Seja P o ponto de interseccao de s e t e seja s a recta que passa por


P e define com t um angulo congruente com o respectivo angulo interior alternado
em r.
Entao, pelo Teorema 1.5.27, r e s sao paralelas. Mas, pelo Axioma das Paralelas,
tem-se s = s , logo r e s sao paralelas.
t

P s
s

O proximo teorema diz que a desigualdade descrita pelo Teorema de Saccheri-


Legendre e, no caso da geometria euclidiana, uma igualdade.

Teorema 2.1.2 A soma dos angulos internos de um triangulo e 180.

C r

A B

Demonstracao. Seja [ABC] um triangulo e consideremos a recta r, paralela a AB


que passa por C. Pelo teorema anterior as rectas AC e BC definem com r angulos
congruentes com A b e B.
b Assim A
b+B b+C b e igual a soma dos tres angulos com
vertice C, ou seja, 180.

O proximo teorema deve ser comparado como o Teorema 1.5.14.

36
Teorema 2.1.3 A amplitude de um angulo externo de um triangulo e igual a
soma dos angulos internos nao adjacentes.

Demonstracao. Seja DCB um angulo externo de BCA. Entao D CB b = 180


b = C AB
B CA b + ABC, b uma vez que a soma dos tres angulos internos de [ABC] e
180.
B

C D
A
Teorema 2.1.4 Sejam r e s duas rectas paralelas e P e Q dois pontos de s.
Entao a distancias de P e Q a r sao iguais.

Demonstracao. Consideremos as rectas perpendiculares a r que passam por P e


Q e sejam R e S os pontos de interseccao destas rectas com r. Pelo Teorema 2.1.1,
tem-se RPbS = QSP b , P SR
b = S PbQ. Como [P S] e um lado comum, entao, pelo
criterio ALA, tem-se [P RS]
= [SQP ], logo P R = QS.

P Q s

R S r

Definicao 2.1.5 Um quadrilatero ABCD e a reuniao dos quatro segmentos


[AB], [BC] e [CD] e [DA]. O quadrilatero diz-se um:
a) paralelogramo se AB e paralela a CD e BC e paralela a AD;
b) rectangulo se os seus quatro angulos forem rectos;
c) losango se os seus quatro lados forem congruentes;
d) quadrado se os seus quatro angulos forem rectos e os seus quatro lados forem
congruentes;
e) trapezio se tem dois lados opostos paralelos.

paralelogramo rectangulo losango quadrado trapezio

37
Teorema 2.1.6 Um quadrilatero e um paralelogramo se e so se os lados opostos
sao congruentes.

Demonstracao. Seja [ABCD] um paralelogramo. Pelo Teorema 2.1.1, tem-se


b = B DC
ABD b e ADB
b = D BC.
b Entao, pelo criterio ALA, tem-se [ABD]
= [CDB],
pelo que AB = CD e AD = BC.
D
C

A
B
Reciprocamtente, suponhamos que no quadrilatero [ABCD] se tem AB = CD e
AD = BC. Entao, pelo criterio LLL, tem-se [ABD] = [CDB]. Logo ABD b = B DCb
e ADBb = D BC,b o que mostra, pelo Teorema 1.5.27, que os lados opostos de [ABCD]
sao paralelos.

Definicao 2.1.7 Se A, B, C sao pontos de uma circunferencia, entao o angulo


BAC diz-se inscrito nessa circunferencia.
B

A
O

Teorema 2.1.8 Se BAC e um angulo inscrito numa circunferencia de centro


b b (onde B OC
O, entao B OC = 2B AC b refere-se a amplitude do angulo que nao contem
A, sendo eventualmente maior do que 180).

Demonstracao. Consideremos tres casos, consoante O esta sobre AB, O esta no


interior de BAC ou O esta no exterior de BAC.
Se O esta sobre AB, entao BOC e um angulo externo de [AOC]. Pelo Teorema
b = O CA
2.1.3, tem-se B OC b + O AC. b
Mas o triangulo [AOC] e isosceles, com OA = OC (porque [OA] e [OC] sao raios),
b = O AC.
logo O CA b Portanto, B OC b = 2O AC
b = 2B AC.
b
C

A B
O

38
Se O esta no interior de BAC, considere-se o ponto D tal que [AD] e um diametro.
b = 2C AD
Entao, pelo caso anterior, tem-se C OD b e B ODb = 2B AD.b
b + B OD
Logo, C OD b = 2C AD b + 2B AD,
b ou seja, B OCb = 2B AC.
b

A D
O

B
Se O esta no exterior de BAC, considere-se novamente o ponto D tal que [AD] e
b = 2C AD
um diametro. Pelo primeiro caso tem-se C OD b e B OD
b = 2B AD.
b
b b b b b
Logo, C OD B OD = 2C AD 2B AD, ou seja, B OC = 2B AC. b

C
B

A D
O

Corolario 2.1.9 Se BAC e um angulo inscrito numa circunferencia de centro


b = 90.
O e [BC] e um diametro, entao B AC

b = B OC/2
Demonstracao. Pelo teorema, tem-se B AC b = 180/2 = 90.

Exerccio 2.1.1 Mostre que cada angulo de um triangulo equilatero mede 60.

Exerccio 2.1.2 Mostre que as diagonais de um paralelogramo se intersectam


nos seus pontos medios.

Exerccio 2.1.3 Mostre que um rectangulo e um paralelogramo.

Exerccio 2.1.4 Mostre que as diagonais de um losango sao perpendiculares e


estao contidas nas bissectrizes dos seus angulos.

Exerccio 2.1.5 Mostre que se [AB] e uma corda de uma circunferencia de cen-
tro O e C e um ponto do plano tal que A e C estao do mesmo lado de OB e BC e
b = 2ABC.
tangente a circunferencia, entao AOB b

39
C
A

B
O

Exerccio 2.1.6 Seja P um ponto no exterior de uma circunferencia C(O, ).


Sejam A e B os pontos de interseccao de C(O, ) com a circunferencia de diametro
[OP ].

O P

a) Mostre que P A e P B sao tangentes a C(O, ).


b) Mostre que P A = P B.
Exerccio 2.1.7 Sejam r, s e t rectas tais que r e s sao paralelas e s e t sao
paralelas. Mostre que r e t sao paralelas.
Exerccio 2.1.8 Sejam [AB] e [CD] cordas paralelas de uma circunferencia e
seja E o ponto de interseccao de [AD] com [BC]. Mostre que [ABE] e isosceles.
A B

C D

Exerccio 2.1.9 b =
Sejam A, B, C e D pontos de uma circunferencia tais que ABC
120 e D esta sobre a mediatriz de [AC]. Mostre que [ACD] e equilatero.
C
B

40
Exerccio 2.1.10 Seja [ABC] um triangulo tal que AB = AC. Seja D tal que
A esta entre D e B e seja E um ponto no interior de DAC tal que AE e paralela
a BC. Mostre que AE e a bissectriz de DAC.
C
E
D
A
B
Exerccio 2.1.11 Sejam A, B, C, D pontos de uma circunferencia de centro O,
b b = 80. Seja E o ponto de interseccao de [AC] com [BD].
tais que AOB = 60 e C OD
b
Determine AEB.
B

A
E
C
D
Exerccio 2.1.12 Sejam B e C pontos de uma circunferencia de centro O e A e
D pontos da recta BC, exteriores a circunferencia, tais que AB = CD. Mostre que
OA = OD.

A B

C D
O

2.2 Semelhanca de triangulos


Definicao 2.2.1 Dois triangulos [ABC] e [DEF ] dizem-se semelhantes e escreve-
-se [ABC] [DEF ] se Ab = D,
b Bb = E,b Cb = Fb e DE = DF = EF . Ao numero
AB AC BC
DE
real chama-se a razao de semelhanca.
AB F

A B D E

41
b=D
Teorema 2.2.2 (Criterio AA) Se A b eB
b = E,
b entao [ABC] [DEF ].

Demonstracao. Como a soma dos tres angulos de um um triangulo e 180, conclui-


-se imediatamente que tambem C b = Fb. Seja k = DE e suponhamos, sem perda
AB
de generalidade, que k 1. Considerem-se os pontos G [DE] H [DF ] tais que
DG = AB e DH = AC. Entao, pelo criterio LAL, tem-se [ABC] = [DGH], pelo
DF EF
que tambem GH = BC. Basta entao provar que = = k.
DH GH
Consideremos tres casos, consoante o numero k e um numero inteiro, racional ou
real.
Se k = 1, o resultado e imediato. Suponhamos, como hipotese de inducao que o
resultado e valido para o inteiro k 1 e provemos que tambem se verifica para k.
Seja I o ponto de interseccao com [EF ] com a paralela a DF que passa por G.

D E
G

Como I GEb = H DG b e I EGb = H GD, b entao, por hipotese de inducao, tem-se


[GEI] [DGH] com razao de semelhanca k 1.
Como [IF HG] e um paralelogramo, entao os seus lados sao congruentes. Portanto,
DF = DH + HF = DH + GI = DH + (k 1)DH = kDH e analogamente
EF = kGH.
Se k e um numero racional p/q, seja J [DE] tal que DE = qDJ e seja K [DF ]
DF EF
tal que JK e paralela a EF . Entao, pelo caso anterior, tem-se = =qe
DK JK
DH GH DF EF
= = p. Logo = = p/q.
DK JK DH GH

H
K
D E
J G

Se k e um numero real, pode ser enquadrado entre dois numeros racionais arbitrari-
amente proximos. Como, pelo caso anterior, o resultado e valido para razoes de
semelhanca racionais, entao tambem sera valido para razoes de semelhanca reais.

42
b e DE = DF , entao
b=D
Teorema 2.2.3 (Criterio LAL de semelhanca) Se A
AB AC
[ABC] [DEF ].

Demonstracao. Seja G o ponto de DF tal que D EG b = ABC.b Entao, pelo


DG DE
Criterio AA tem-se [ABC] [DEG]. Logo = . Como por hipotese, se tem
AC AB
DE DF
= , entao DF = DG, ou seja, F = G. Portanto, [ABC] [DEF ].
AB AC
G
F

A B D E

DE DF EF
Teorema 2.2.4 (Criterio LLL de semelhanca) Se = = , entao
AB AC BC
[ABC] [DEF ].
Demonstracao. Sejam G o ponto do semiplano determinado por DE que contem
b = B AC
F , tal que E DG b e DG = DF . Entao, pelo Criterio LAL de semelhanca,
DE EG DE EF
tem-se [ABC] [DEG]. Logo = . Como por hipotese, = ,
AB BC AB BC
entao EF = EG. Pelo Criterio LLL de congruencia, conclui-se entao que [DEG]
=
b b
[DEF ]. Assim, E DG = E DF , pelo que F = G.
F
G

A B D E

Teorema 2.2.5 (Teorema de Pitagoras) Seja [ABC] um triangulo rectangulo


em C. Entao c2 = a2 + b2 .
Demonstracao. Seja P o ponto de AB tal que AB e perpendicular a CP e sejam
x = AP e y = P B.

b a

x y
A B
P

43
Como ACP b = 90 P CB b = ABC b e ambos os triangulos [ACB] e [AP C] sao
AB AC
rectangulos, entao pelo Criterio AA tem-se [ACB] [AP C]. Logo = , ou
AC AP
c b c a
seja, = . Analogamente [ACB] [BP C], donde = . Portanto,
b x a y

a2 + b2 = cx + cy = c(x + y) = c2 .

Definicao 2.2.6 Seja um numero real entre 0 e 90 e considere-se um triangulo


[ABC] tal que A b= e C b = 90. Entao o seno, cosseno, tangente e cotangente de
sao respectivamente os numeros reais

BC AC BC AC
sen = cos = tan = cot =
AB AB AC BC


A C

Observacao 2.2.7 Pelo Criterio AA, todos os triangulos com um angulo recto e
um angulo de amplitude sao semelhantes, logo os quocientes anteriores sao iguais
para estes triangulos.

Observacao 2.2.8 A definicao anterior foi dada para uma aplitude de um


angulo agudo. Pode definir-se tambem sen , cos , tan e cot para outros valores
de , atraves de formulas como sen(180 ) = sen . Nao faremos aqui nenhum
estudo exaustivo destas formulas trigonometricas e suporemos que estas extensoes
sao conhecidas.

Exerccio 2.2.1 Mostre que se dois triangulos tem lados paralelos, entao sao
semelhantes.

Exerccio 2.2.2 Sejam A, B, C, D pontos de uma circunferencia tais que as


cordas [AC] e [BD] se intersectam num ponto E. Mostre que AE CE = BE DE.

Exerccio 2.2.3 Seja [ABC] um triangulo rectangulo em C e P o ponto de [AB]


tal que AB e perpendicular a CP . Sejam x = AP , y = P B e h = P C. Mostre que

h e a media geometrica de x e y, isto e, que h = xy.

44
C

h
x y
A B
P
Exerccio 2.2.4 Seja [ABCD] um quadrilatero qualquer e sejam E, F, G, H os
pontos medios dos segmentos [AB], [BC], [CD] e [DA]. Mostre que [EF GH] e um
paralelogramo.

Exerccio 2.2.5 Determine sen(30).

Exerccio 2.2.6 Prove o teorema fundamental da trigonometria, isto e, que


2 2
sen + cos = 1.

Exerccio 2.2.7 Seja [ABC] um triangulo rectangulo em B e seja D um ponto


de [AB]. Sabe-se que AD = BC = 1 e que [ABC] [CBD]. Determine AB.
C

A D B

Exerccio 2.2.8 Sejam [ABCD] um quadrado e M o ponto medio de [DC]. Seja


E o ponto de [AD] tal que BME e recto. Seja F o ponto de interseccao de EM
com BC.
F
M
D C
E

A B
Mostre que:

a) [DME]
= [CMF ]

b) [BME] [BCM]

Exerccio 2.2.9 Sejam [ABC] um triangulo e D AB, E AC e F pontos tais


b b b = F CE,
que D BF = F BC e B CF b e D e E sao rectos. Mostre que F D = F E.

E
C
F

A
B D
45
Exerccio 2.2.10 Sejam A, B, C e D pontos de uma circunferencia e seja P o
ponto de interseccao de AD com BC. Mostre que [P AB] [P CD].
A
D
P
C
B

Exerccio 2.2.11 Considere um triangulo [ABC], rectangulo em B, e D o ponto


medio de [AC]. Mostre que [ABD] e [BDC] sao triangulos isosceles.

C
B

Exerccio 2.2.12 Seja [ABC] um triangulo e D, E, F os pontos medios de [BC],


[AC] e [AB], respectivamente. Mostre que [DEF ] [ABC].

2.3 Centros de um triangulo


Dado um triangulo equilatero, e mais ou menos intuitivo o que se entende pelo
centro desse triangulo. No entanto, quando o triangulo nao e equilatero, existem
varias abordagens possveis para definir esse ponto. De seguida, veremos algumas
definicoes de centro de um triangulo.

Teorema 2.3.1 As mediatrizes dos tres lados de um triangulo [ABC] intersec-


tam-se num ponto.

Demonstracao. Seja O o ponto de interseccao das mediatrizes dos lados [AB]


e [BC]. Como O esta na mediatriz de [AB], tem-se OA = OB e como O esta
na mediatriz de [BC], tem-se OB = OC. Logo OA = OC, pelo que O tambem
pertence a mediatriz de [AC].
C

A B

46
Definicao 2.3.2 O ponto de interseccao das mediatrizes dos lados de [ABC]
chama-se o circuncentro do triangulo.

Observacao 2.3.3 Como o circuncentro de [ABC] esta a mesma distancia dos


tres vertices do triangulo, entao e o centro de uma circunferencia que passa por A,
B e C, chamada a circunferencia circunscrita de [ABC].
C

O

A B

Teorema 2.3.4 As bissectrizes dos tres angulos de um triangulo [ABC] inter-


sectam-se num ponto.

Demonstracao. Seja I o ponto de interseccao das bissectrizes dos angulos A e


B. Como I esta na bissectriz de A, entao a distancia de I as rectas AB e AC
e igual. Como I esta na bissectriz de B, entao a distancia de I as rectas AB e
BC e igual. Logo a distancia de I as rectas AC e BC e tambem igual, pelo que I
tambem pertence a bissectriz de C.

A B

Definicao 2.3.5 O ponto de interseccao das bissectrizes dos angulos de [ABC]


chama-se o incentro do triangulo.

Observacao 2.3.6 Como o incentro de [ABC] esta a mesma distancia dos tres
lados do triangulo, entao e o centro de uma circunferencia tangente a AB, AC e
BC, chamada a circunferencia inscrita de [ABC].

A B

Teorema 2.3.7 As tres alturas de um triangulo [ABC] intersectam-se num ponto.

47
Demonstracao. Sejam P , Q e R os pontos de interseccao das rectas paralelas aos
lados do triangulo que passam nos vertices opostos. Pelo Criterio LAL, os quatro
triangulos [ABC], [CQA], [P CB] e [BAR] sao congruentes, logo A, B e C sao os
pontos medios dos lados de [P QR]. Como os lados de [ABC] e [P QR] sao paralelos,
as alturas de [ABC] sao as mediatrizes de [P QR]. Logo as tres alturas de [ABC]
intersectam-se no circuncentro de [P QR].

Q C
P

A B

R
Definicao 2.3.8 O ponto de interseccao das alturas de [ABC] chama-se o orto-
centro do triangulo.

Teorema 2.3.9 (Teorema de Ceva, 1678) Sejam P , Q e R pontos sobre os lados


[BC], [AC] e [AB] do triangulo [ABC], respectivamente. Entao os tres segmentos
AR BP CQ
[AP ], [BQ] e [CR] intersectam-se num ponto se e so se = 1.
RB P C QA

Q
P

A B
R

Demonstracao. Suponhamos que [AP ], [BQ] e [CR] se intersectam num ponto


W . Sejam M e N as interseccoes de AP e BQ com a recta paralela a AB que passa
por C.

C
N M

Q P

W
A B
R

48
BP AB
Pelo Criterio AA, tem-se [ABP ] [MCP ], pelo que = .
PC MC
CQ CN
Tambem [ABQ] [CNQ], pelo que = .
QA AB
Novamente pelo Criterio AA, tem-se [ARW ] [MCW ] e [BRW ] [NCW ]. Logo,
AR RW RB AR MC AR BP CQ MC AB CN
= = donde = . Assim, = = 1.
MC CW CN RB CN RB P C QA CN MC AB
AR BP CQ
Reciprocamente, suponhamos que = 1. Seja W o ponto de interseccao
RB P C QA
de [AP ] e [BQ] e seja R a interseccao de AB com CW .
C

Q P

W
A B
R R
AR BP CQ
Pelo argumento anterior, tambem se tem = 1. Como tambem se tem
R B P C QA
AR BP CQ AR AR
= 1, entao = . Assim, R = R e portanto W e o ponto de
RB P C QA RB RB
interseccao dos tres segmentos.

Definicao 2.3.10 Devido a este teorema, um segmento que liga um vertice de


um triangulo a um ponto do lado oposto chama-se uma ceviana de um triangulo.

Teorema 2.3.11 As tres medianas de um triangulo [ABC] intersectam-se num


ponto.

Demonstracao. Sejam [AP ], [BQ] e [CR] as medianas do triangulo. Como


AR BP CQ
= 1 1 1 = 1, entao, pelo Teorema de Ceva, as tres medianas
RB P C QA
intersectam-se num ponto.

Q
G P

A B
R

Definicao 2.3.12 O ponto de interseccao das medianas de [ABC] chama-se o


baricentro do triangulo.

49
Teorema 2.3.13 O baricentro de [ABC] divide cada mediana na razao 2:1.

Demonstracao. Seja G o baricentro de [ABC] e consideremos as medianas [AP ] e


[BQ]. Como BC = 2P C e AC = 2QC, entao, pelo Criterio LAL tem-se [ABC]
[QP C]. Assim, QP e AB sao rectas paralelas e AB = 2QP . Logo, pelo Criterio
AA, tem-se [ABG] [P QG]. Assim, AG = 2P G e BG = 2QG. De modo analogo
se prova que G divide a terceira mediana na razao 2:1.

Q
P
G
A B

Exerccio 2.3.1 Seja [ABC] um triangulo e sejam D, E, F os pontos medios


dos segmentos [AB], [BC] e [CA]. Mostre que os baricentros de [ABC] e [DEF ]
coincidem.

Exerccio 2.3.2 Use o Teorema de Ceva para mostrar que qualquer triangulo
possui um ortocentro.

Exerccio 2.3.3 Seja [ABC] um triangulo e X, Y , Z os pontos de tangencia da


sua circunferencia inscrita com os lados [BC], [AC] e [AB]. Mostre que AX, BY e
CZ se intersectam num ponto.

Y
X

A B
Z

Exerccio 2.3.4 Seja [ABC] um triangulo equilatero e D, E e F pontos nos


lados [AB], [AC] e [BC] respectivamente tais que AD = EC = 2, BD = AE = 1 e
[AF ], [BE] e [CD] sao concorrentes. Determine BF .

E
F
A D B

50
2.4 Determinacao das medidas de um triangulo
Vimos anteriormente que alguns conjuntos de tres medidas de um triangulo deter-
minam as outras tres medidas. Veremos agora como podem ser calculadas essas
medidas.
Provamos ja, no Teorema 2.1.2, que a soma das amplitudes dos tres angulos
de um triangulo e 180, pelo que conhecidas duas amplitudes, podemos determinar
imediatamente a terceira.
Para determinar as restantes medidas de um triangulo necessitamos dos dois
teoremas seguintes.

Teorema 2.4.1 (Teorema dos senos) Dado um triangulo [ABC], tem-se


a b c
= = = 2R,
b
sen A b
sen B b
sen C
onde R e o raio da circunferencia circunscrita a [ABC].

Demonstracao. Consideremos a circunferencia circunscrita a [ABC] e marquemos


sobre ela o ponto A tal que [BA ] e um diametro. Entao B CAb = 90. Como
os angulos A e A estao inscritos no mesmo arco, tem a mesma amplitude e
consequentemente o mesmo seno. Ora sen A b = BC = a , pelo que a = 2R.
BA 2R b
sen A
A conclusao relativa aos restantes angulos e analoga.

A
O

A B

Observacao 2.4.2 O teorema dos senos permite-nos determinar o lado a conhe-


cendo outro lado b e as amplitudes dos angulos correspondentes A b e B.
b No entanto,
b
em geral nao permite determinar a amplitude A conhecendo outra amplitude B b e
os lados correspondentes a e b. O teorema da-nos apenas o seno de A, b pelo que
b Para determinar A
em geral ha dois valores possveis para A. b e necessaria alguma
informacao adicional, como por exemplo, saber que o triangulo e acutangulo.

Teorema 2.4.3 (Teorema dos cossenos) Dado um triangulo [ABC], tem-se


b
c2 = a2 + b2 2ab cos C.

Demonstracao. Seja P o ponto de AC tal que AC e perpendicular a BP e sejam


x = AP , y = P C e h = P B.

51
B

c h a

x y
A C
P

Usando o Teorema de Pitagoras conclui-se que c2 = h2 + x2 = (a2 y 2 ) + (b y)2 =


b = y/a, entao c2 = a2 + b2 2ba cos C.
a2 + b2 2by. Como cos C b

O quadro seguinte resume como se podem determinar os comprimentos dos tres


lados e as amplitudes dos tres angulos, a partir das medidas conhecidas.

Angulos
0 1 2 3
0
1
Lados

LLA
2 LAL

As setas vermelhas representam o teorema que afirma que Ab+B b+C b = 180,
as setas verdes representam o Teorema dos Senos e as setas azuis representam o
Teorema dos Cossenos.

Exerccio 2.4.1 Prove o recproco do Teorema de Pitagoras.

Exerccio 2.4.2 Quais sao as amplitudes dos angulos de um triangulo de lados


3, 4 e 5?

Exerccio 2.4.3 Mostre que a bissectriz de um angulo de um triangulo divide o


lado oposto em segmentos proporcionais aos outros dois lados.

Exerccio 2.4.4 O segmento [AB] e cortado no seu ponto medio E pelo seg-
b = 70, ACE
mento [CD]. Sao conhecidas as medidas E AC b = 80, AB = 14 e
DE = 5. Determine AC e BD.
A
E D
C
B

Exerccio 2.4.5 b = 120,


Sejam A, B, C e D pontos do plano tais que ACB
b = 80, AC = 5, BC = 7 e AD = BD.
ADB

52
C

A B

D
Determine AB e AD.

Exerccio 2.4.6 Seja [ABCD] um quadrado e E e F os pontos medios de [BC]


b .
e [CD], respectivamente. Determine E AF
D F C

A B
Exerccio 2.4.7 Seja [ABC] um triangulo equilatero de lado 3 e D e E os pontos
entre A e B tais que AD = DE = EB. Determine:

a) CD
b e D CE
b) ACD b
C

A D E B

2.5 Area
Definicao 2.5.1 Uma regiao poligonal e um subconjunto do plano formado pela
uniao de triangulos cuja interseccao esta contida nos lados dos triangulos.

Definicao 2.5.2 A area e uma funcao que atribui a cada regiao poligonal um
numero real positivo tal que:

a) se dois triangulos sao congruentes, tem a mesma area;

b) a area de uma regiao poligonal e igual a soma das areas dos triangulos que a
formam;

c) a area de um rectangulo com comprimento a e largura b e ab.

53
Teorema 2.5.3 A area de um triangulo com altura h relativamente ao lado de
bh
comprimento b e .
2
Demonstracao. Seja P o ponto de AC tal que AC e perpendicular a BP . Con-
sideraremos tres casos, consoante a posicao de P .
Se P esta numa das extremidades de [AC], entao [ABC] e um triangulo rectangulo.
Tracando paralelas aos lados [AC] e [BP ] do triangulo obtemos um rectangulo, de
comprimento b e largura h, dividido em dois triangulos congruentes (pelo Criterio
LAL). Como a area do rectangulo e bh e e igual ao dobro da area de [ABC], entao
bh
a area de [ABC] e .
2
B

A
b P

Se P esta entre A e C, seja x = AP e y = P C. Entao [AP B] e [CP B] sao triangulos


xh
rectangulos em P , logo, pelo caso anterior, temos que a area de [AP B] e e a
2
yh xh yh (x + y)h bh
area de [CP B] e . Logo a area de [ABC] e + = = .
2 2 2 2 2
B

x y
A C
P

Se C esta entre A e P (o caso restante e analogo), seja novamente x = AP e y = P C.


xh yh
De novo temos que a area de [AP B] e e a area de [CP B] e , pelo que a area
2 2
xh yh (x y)h bh
de [ABC] e = = .
2 2 2 2
B

A
C P

54
Teorema 2.5.4 A area de um paralelogramo com altura h relativamente ao lado
de comprimento b e bh.

Demonstracao. O paralelogramo pode ser dividido em dois triangulos congruentes


bh
com area , logo tem area bh.
2

b
Teorema 2.5.5 A area de um trapezio com altura h relativamente aos lado de
b+B
comprimento b e B e h.
2
bh
Demonstracao. O trapezio pode ser dividido em dois triangulos com areas e
2
Bh b+B
, logo tem area h.
2 2
b

B
ab
Teorema 2.5.6 A area de um losango com diagonais a e b e .
2
Demonstracao. O losango pode ser dividido em quatro triangulos com area
(a/2)(b/2) ab ab
= , logo tem area .
2 8 2

b/2
a/2 a/2

b/2

Vimos ja que, nalguns casos, o conhecimento de tres medidas do triangulo per-


mite determinar as restantes. Assim, e de esperar que se possa determinar a area
do triangulo usando apenas as medidas conhecidas a partida.

Seja [ABC] um triangulo, A,b BbeC b as amplitudes dos seus angulos, e a, b, c as


medidas dos lados opostos a estes angulos.

55
B

c h a

x y
A C
b

b b e c tem-se
Teorema 2.5.7 (Area no caso LAL) Conhecidos A,
b
bc sen A
Area[ABC] = .
2
bh b
Demonstracao. Tem-se Area[ABC] = e h = c sen A.
2
b beC
Teorema 2.5.8 (Area no caso ALA) Conhecidos A, b tem-se

b sen C
b2 sen A b
Area[ABC] = .
2 sen(Ab + C)
b

b
b sen C b
b sen C
Demonstracao. Pelo Teorema dos Senos, tem-se c = = , uma
b
sen B sen(Ab + C)
b
vez que Ab+ Bb+C b = 180. Substituindo esta expressao para c no teorema anterior,
obtem-se o pretendido.

b B
Teorema 2.5.9 (Area no caso AAL) Conhecidos A, b e b tem-se

b sen(A
b2 sen A b + B)
b
Area[ABC] =
b
2 sen B

Demonstracao. Tem-se sen C b = sen(A b + B)


b e sen B b = sen(Ab + C).
b Substituindo
estas expressoes no teorema anterior obtem-se o resultado pretendido.

Teorema 2.5.10 (Area no caso LLL - Formula de Heron, 60 d.C.) Conheci-


dos a, b e c tem-se
p
Area[ABC] = s(s a)(s b)(s c)
a+b+c
onde s = e o semi-permetro do triangulo.
2
r r
bh b2 h2
b2 (a2 y 2 )
Demonstracao. A area de [ABC] e dada por = =.
2 4 4
c2 a2 b2
Como c2 = h2 + x2 = (a2 y 2) + (b y)2 = a2 + b2 2by, entao y = .
2b

56
v  2 !
u
u 2 c2 a2 b2
ub a2 r
t 2b 4b2 a2 (c2 a2 b2 )2
Logo Area[ABC] = = =
r 4 r 16
(2ba + (c2 a2 b2 ))(2ba (c2 a2 b2 )) (c2 (a b)2 )((a + b)2 c2 )
= = =
r 16 16
c (a b) c + (a b) (a + b) c (a + b) + c p
= = s(s a)(s b)(s c)
2 2 2 2

Exerccio 2.5.1 Determine a area de um triangulo equilatero de lado l.

Exerccio 2.5.2 Determine a area de um quadrado inscrito numa circunferencia


de raio r.

Exerccio 2.5.3

2
a) Mostre que sen(45)= .
2
b) Use a alnea anterior para determinar a area da regiao poligonal [ABCDEF GH],
cujos lados sao todos iguais e onde o raio da circunferencia circunscrita e r.
C
D B

E A

F H
G
Exerccio 2.5.4 b = 35,
Determine a area do triangulo [ABC] tal que B AC C
b = 58 e BC = 4.
ABC

Exerccio 2.5.5 Determine a area do quadrilatero [ABCD] tal que B e recto,


AB = 3, BC = 4, CD = 5 e DA = 6.
B
Exerccio 2.5.6 b = 40, B
Determine a area de um triangulo [ABC] tal que A b=
70 e AC = 10.

2.6 Isometrias
Definicao 2.6.1 Uma isometria e uma aplicacao f que envia pontos do plano
para pontos do plano, de modo que f (A)f (B) = AB, para quaisquer pontos A, B.

Exemplo 2.6.2 A aplicacao identidade, definida por i(A) = A, para qualquer


ponto A, e uma isometria.

57
Teorema 2.6.3 Uma isometria e uma aplicacao injectiva.

Demonstracao. Sejam f uma isometria e A e B pontos tais que f (A) = f (B).


Entao f (A)f (B) = 0, pelo que tambem AB = 0. Logo A = B.

Teorema 2.6.4 Seja f uma isometria. Se C e um ponto entre A e B, entao


f (C) esta entre f (A) e f (B).

Demonstracao. Se f (C) 6 f (A)f (B), entao [f (A)f (B)f (C)] e um triangulo.


Logo, pela desigualdade triangular tem-se f (A)f (B) < f (A)f (C) + f (C)f (B).
Como f e uma isometria, entao AB < AC + CB. Mas, como C esta entre A e
B, tem-se AB = AC + CB, contradicao.
Se f (C) f (A)f (B), mas f (C) nao esta entre f (A) e f (B), entao um dos compri-
mentos f (A)f (C) ou f (C)f (B) e maior do que f (A)f (B). Logo AC ou BC e maior
do que AB, o que contradiz novamente o facto de que AB = AC + CB.

Corolario 2.6.5 Se f e uma isometria e r e uma recta, entao f (r) e uma recta.

Demonstracao. Suponhamos que f (r) nao e uma recta. Entao existem tres pontos
A, B, C de r, com C entre A e B, tais que f (A), f (B) e f (C) nao sao colineares, o
que contradiz o teorema.

Teorema 2.6.6 Se f e uma isometria e [ABC] e um triangulo, entao os triangulos


[f (A)f (B)f (C)] e [ABC] sao congruentes.

Demonstracao. Como f e uma isometria, entao f (A)f (B) = AB, f (A)f (C) = AC
e f (B)f (C) = BC. Pelo Criterio LLL, tem-se entao [ABC]
= [f (A)f (B)f (C)].

C f (C)

A B f (A) f (B)

Corolario 2.6.7 Se f e uma isometria e A, B, C sao pontos nao colineares, entao


b [
ABC = f (A)f (B)f (C).

Demonstracao. Pelo teorema, tem-se [ABC] b =


= [f (A)f (B)f (C)], logo ABC
f (A)f[
(B)f (C).

Definicao 2.6.8 Se f e uma isometria, entao P diz-se um ponto fixo de f se


f (P ) = P .

58
Definicao 2.6.9 Se f e uma isometria, entao r diz-se uma recta invariante de f
se f (r) = r.

Observacao 2.6.10 Se r e uma recta invariante de uma isometria f , os pontos


de r nao sao necessariamente pontos fixos de f .
Teorema 2.6.11 Se A e B sao pontos fixos de uma isometria f , entao todos os
pontos de AB sao pontos fixos de f .

Demonstracao. Seja C um ponto de AB. Como f e uma isometria, entao


f (C)f (A) = CA e f (C)f (B) = CB. Mas A e B sao pontos fixos de f , logo
f (A) = A e f (B) = B. Assim, tem-se f (C)A = CA e f (C)B = CB, o que mostra
que C = f (C).

Teorema 2.6.12 Se f tem tres pontos fixos nao colineares, entao f e a identi-
dade.

Demonstracao. Sejam A, B e C tres pontos fixos nao colineares de f . Pelo teorema


anterior, todos os pontos das rectas AB, AC e BC sao pontos fixos de f .
Seja agora D um outro ponto do plano. Suponhamos sem perda de generalidade que
D esta no interior de BAC. Entao a paralela a BC que passa por D intersecta
AB e AC em pontos E e F . Como E e F sao pontos fixos de f , entao todos os
pontos de EF sao pontos fixos de f , logo D e um ponto fixo de f .
F
C
D

A
B E

Vamos em seguida definir diversos tipos de isometrias e mais tarde mostrar que
estes sao de facto os unicos tipos possveis.

Definicao 2.6.13 A reflexao sr em relacao a uma recta r e a aplicacao tal que:


se P R, entao sr (P ) = P
se P 6 r, entao sr (P ) = Q, onde r e a mediatriz de [P Q].

A
C = s (C)
r

r
B = sr (A)

59
Teorema 2.6.14 Uma reflexao em relacao a uma recta e uma isometria.

Demonstracao. Seja sr a reflexao em relacao a recta r e considerem-se dois pontos


quaisquer do plano P e Q. Queremos mostrar que sr (P )sr (Q) = P Q.
Vamos analisar o caso mais geral em que P e Q nao pertencem a r (os restantes
casos sao deixados como exerccio). Sejam M e N os pontos medios de [P sr (P )] e
[Qsr (Q)], respectivamente.
Pelo Criterio LAL, tem-se [P MN] = [sr (P )MN], pelo que P NM b b
= sr (P )NM.
Como M N bQ = MN b sr (Q) = 90, entao tambem se tem P NQ b = sr (P )Nsr (Q).

Logo, novamente pelo Criterio LAL, tem-se [P NQ] = [sr (P )Nsr (Q)]. Portanto
sr (P )sr (Q) = P Q.

P Q
N

M sr (Q)

r
sr (P )


Definicao 2.6.15 A translacao t
AB associada a AB e a aplicacao tal que:

se P AB, entao t AB (P ) = Q onde Q e o ponto de AB tal que f (Q) f (P ) =



f (B)f (A), onde f e uma bijeccao dada pelo Axioma M-1 (podemos abreviar

esta condicao pela notacao P Q = AB)

se P
6 AB, considere-se o ponto R AB tal que P R AB e a sua imagem
AB (P ) = Q, onde Q e o ponto do plano tal que QS
S = t (R). Entao t
AB
AB, QS = P R e Q e P estao do mesmo lado de AB.
Q = t (P )
AB
P

AB (R)
S = t

R
B

r A

Teorema 2.6.16 Uma translacao e a composicao de duas reflexoes relativamente


a rectas paralelas.

Demonstracao. Seja t
AB uma translacao e consideremos a recta l perpendicular a

AB que passa por A e a recta m perpendicular a AB que passa pelo ponto medio
M de [AB].

60
Q
P x x a x R
ax


A a M a B

l m

Sejam P um ponto qualquer do plano, Q = sl (P ) e R = sm (Q) = sm (sl (P )).


Designando por a a distancia entre A e M, e por x a distancia entre P e l, entao
P Q = 2x e QR = 2a 2x. Logo P R = 2a = AB, ou seja, R = t AB (P ).

Corolario 2.6.17 Uma translacao e uma isometria.

Demonstracao. Como uma translacao t AB e a composicao de duas reflexoes, que



sao isometrias, entao tAB e uma isometria.

Definicao 2.6.18 A rotacao rO, de centro O e amplitude e a aplicacao tal


que:

rO,(O) = O

b = e OQ = OP .
se P 6= O, entao rO,(P ) = Q, onde P OQ

Q = rO,(P )


O
P

Teorema 2.6.19 Uma rotacao e a composicao de duas reflexoes relativamente a


rectas concorrentes.

Demonstracao. Seja rO, uma rotacao e consideremos dois pontos M e N tais que
b = /2. Sejam l = OM e m = ON.
M ON

61
m
N
R

Q


l

O M

P

Sejam P um ponto qualquer do plano, Q = sl (P ) e R = sm (Q) = sm (sl (P )).


b e = QON,
Escrevendo = P OM b b = 2 e QOR
entao P OQ b = 2. Logo P OR
b =

2 + 2 = 2 2 = , ou seja, R = rO,(P ).

Corolario 2.6.20 Uma rotacao e uma isometria.

Demonstracao. Como uma rotacao rO, e a composicao de duas reflexoes, que sao
isometrias, entao rO, e uma isometria.

Definicao 2.6.21 Uma reflexao deslizante e a composicao de uma translacao


AB com uma reflexao relativamente a uma recta paralela a AB.
t

Observacao 2.6.22 Como por definicao, uma reflexao deslizante e a composicao


de duas isometrias, entao e uma isometria.

Teorema 2.6.23 Sejam [ABC] e [DEF ] dois triangulos congruentes. Entao


existe uma unica isometria f tal que f (A) = D, f (B) = E e f (C) = F .

Demonstracao. Mostremos primeiro que existe uma isometria nas condicoes do


enunciado.
Caso A 6= D, consideremos a reflexao sl relativamente a mediatriz l de [AD]. Tem-se
sl (A) = D e sejam B = sl (B) e C = sl (C).
Caso B 6= E, consideremos a reflexao sm relativamente a mediatriz m de [B E]. A
recta m contem D porque DE = AB = DB . Tem-se entao sm (D) = D, sm (B ) = E
e seja C = sm (C ).
Finalmente, caso C 6= F , consideremos a reflexao sn relativamente a mediatriz n
de [C F ]. A recta n contem D e E, logo n = DE. Tem-se entao sn (D) = D,
sn (E) = E e sn (C ) = F .
Portanto f = sn sm sl e a isometria pretendida.

62
C C

B B C
A
l D
n

F
Mostremos agora a unicidade de f . Suponhamos que existe outra isometria g tal
que g(A) = A, g(B) = E e g(C) = F . Entao g 1 f e uma isometria tal que
g 1 f (A) = A, g 1 f (B) = B e g 1 f (C) = C. Como A, B e C sao nao
colineares, uma vez que formam um triangulo, entao o Teorema 2.6.12 mostra que
g 1 f = i, ou seja, g = f .

Uma consequencia imediata desta demonstracao e o corolario seguinte.

Corolario 2.6.24 Qualquer isometria e a composicao de no maximo tres re-


flexoes.

Estamos agora em condicoes de mostrar que os tipos de isometrias apresentados


sao os unicos possveis.

Teorema 2.6.25 Se f e uma isometria, entao f e a identidade, uma reflexao,


uma translacao, uma rotacao ou uma reflexao deslizante.

Demonstracao. Seja f uma isometria. Entao f e a composicao de n reflexoes,


com n = 0, 1, 2, 3.
Se n = 0, entao f e a identidade.
Se n = 1, entao f e uma reflexao.
Se n = 2, entao f e uma translacao (Teorema 2.6.16) ou f e uma rotacao (Teorema
2.6.19).
Falta entao analisar o caso n = 3. Seja entao f = sl sm sn .
Se l, m e n sao concorrentes ou l, m e n sao paralelas, entao f e uma reflexao
(exerccio).
Suponhamos entao que l e m sao concorrentes, mas n nao passa pelo ponto de
interseccao P de l e m. Seja m a perpendicular a n que passa por P . Entao existe
uma recta l (que faz com m um angulo com a mesma amplitude do angulo entre l
e m) tal que sl sm = sl sm . Portanto f = sl sm sn .

63
m
l l

P

n m

n
Q

Seja agora Q o ponto de interseccao de m e n e consideremos a perpendicular m


a l que passa por Q. Entao existe uma recta n (perpendicular a m ) tal que
sm sn = sn sm . Portanto f = sl sn sm . Mas l e n sao paralelas, logo
sl sn e uma translacao e m e paralela a direccao desta translacao. Portanto f e
uma reflexao deslizante.
Do mesmo modo se prova que f e uma reflexao deslizante no caso em que m e n sao
concorrentes, mas l nao passa pelo ponto de interseccao de m e n.

Exerccio 2.6.1 Indique os pontos fixos e as rectas invariantes de:


a) a identidade;
b) uma reflexao;
c) uma translacao;

d) uma rotacao;
e) uma reflexao deslizante.

Exerccio 2.6.2 Mostre que uma isometria ou e a identidade ou e uma reflexao


ou e uma translacao ou e uma rotacao ou e reflexao deslizante.

Exerccio 2.6.3 Seja [ABC] um triangulo equilatero. Indique todas as isome-


trias do plano tais que as imagens dos vertices do triangulo sao A, B e C (nao
necessariamente por esta ordem). E se [ABC] for isosceles? E se for escaleno?

Exerccio 2.6.4 Sejam [ABC] e [DBE] triangulos congruentes, onde B e o


ponto medio de [AD].
C

A D
B

64
a) Identifique a isometria f tal que f (A) = D, f (B) = B e f (C) = E.
b) Exprima f como composicao de reflexoes.
Exerccio 2.6.5 Seja [ABCD] um quadrado. Identifique, justificando, qual e a
isometria f tal que
f (A) = D, f (B) = C e f (C) = B.
Exerccio 2.6.6 Considere um hexagono regular [ABCDEF ]. Seja f = t
AO
rO,60 .
C B

O
D A

E F
a) Mostre que E e um ponto fixo de f .
b) Identifique a isometria f .
Exerccio 2.6.7 Considere um quadrado [ABCD].
a) Indique uma isometria f do plano tal que f (A) = C e f (B) = D e exprima-a
como composicao de reflexoes.
b) A isometria f e unica?
Exerccio 2.6.8 Considere um hexagono regular [ABCDEF ] e seja O o seu
centro. Classifique a isometria f tal que f (E) = B, f (D) = O e f (O) = A.
C B

O
D A

E F
Exerccio 2.6.9 Considere um pentagono regular [ABCDE]. Indique todas as
isometrias f tais que O e um ponto fixo e f (A) = D.
B
C
O A

D
E

65
2.7 Construcoes com regua e compasso
Uma dos temas da geometria a que sempre foi dado muita relevancia, desde o tempo
da Grecia Antiga, foi o das construcoes com regua e compasso. Nestas construcoes
pretende-se determinar a localizacao de pontos satisfazendo determinadas condicoes,
usando apenas uma regua e um compasso. A regua e o compasso a que nos referimos
nao correspondem exactamente as nocoes usuais de regua e compasso, tendo capaci-
dades um pouco mais limitadas. Em particular, a regua e nao graduada, ou seja, nao
permite medir comprimentos, e o compasso nao permite transferir comprimentos de
um lado para outro do plano. Mais precisamente,

Definicao 2.7.1 Dados dois pontos A e B do plano,

a regua permite tracar a recta AB;

o compasso permite tracar a circunferencia de centro A e raio [AB] (ou, claro


esta, a circunferencia de centro B e raio [AB]).


A B

De seguida serao apresentadas diversos teoremas relativos a construcoes com


regua e compasso. As demonstracoes sao compostas por duas partes. Primeiro e
descrita uma construcao com regua e compasso e posteriormente prova-se que a
construcao tem as propriedades pretendidas.

O primeiro teorema que apresentamos de construcoes com regua e compasso e


tambem, de facto, o primeiro teorema dos Elementos de Euclides.

Teorema 2.7.2 Dado um segmento [AB] e possvel construir com regua e com-
passo, o ponto medio e a mediatriz de [AB] e um triangulo equilatero de lado [AB].

Demonstracao. Tracem-se as circunferencias de centro A e B e raio [AB]. Estas


circunferencias encontram-se em dois pontos P e Q. Seja M o ponto de interseccao
de P Q com AB.
P


A M B

66
Como [AP B] e [AQB] sao triangulos isosceles, entao as suas alturas relativamente
ao lado [AB] passam pelo ponto medio de [AB]. Logo este ponto medio e o ponto
M e P Q e a mediatriz de [AB]. Finalmente, como AP = AB = BP , entao [AP B]
e um triangulo equilatero.

Os dois proximos teoremas mostram que podemos copiar um segmento ou um


angulo para outro lado do plano, mesmo sem possuir uma regua graduada ou um
transferidor, isto e, mesmo sem conseguir medir comprimentos de segmentos ou
amplitudes de angulos.

Teorema 2.7.3 Seja [AB] um segmento de recta e DE uma semi-recta. Entao


e possvel construir com regua e compasso, um ponto F DE tal que AB = DF .

Demonstracao. Pelo teorema anterior, podemos construir um triangulo equilatero


[AP D] de lado [AD]. Seja R o ponto de interseccao de P A com C(A, AB) tal
que A esta entre P e R. Construa-se a circunferencia C(P, P R) e seja S o ponto de
interseccao desta circunferencia com P D. Finalmente, seja F o ponto de interseccao
de C(D, DS) com DE.
P

B D F E

A
S

Tem-se entao DF = DS = P S P D = P R P A = AR = AB, como pretendido.

Teorema 2.7.4 Seja BAC um angulo e DE uma semi-recta. Entao e possvel


b = B AC.
construir com regua e compasso, um ponto F tal que E DF b

Demonstracao. Pelo teorema anterior podemos tracar pontos G, H DE e I


GD tais que DG = AB, DH = AC e GI = BC. Seja F o ponto de interseccao de
C(D, DH) e C(G, GI).

C F

A B D
I H G E

67
Entao, pelo Criterio LLL, tem-se [ABC] b = B AC.
= [DGF ], pelo que GDF b

Passamos de seguida as duas construcoes basicas de rectas paralelas e perpen-


diculares a uma recta dada.

Teorema 2.7.5 Dada uma recta r e um ponto P do plano, e possvel construir


com regua e compasso, a perpendicular a r que passa por P .

Demonstracao. Trace-se uma circunferencia de centro P e raio qualquer e sejam


A e B os pontos de interseccao desta circunferencia com r. Construa-se em seguida
a mediatriz de [AB].

P
r
A B

A mediatriz de [AB] e entao perpendicular a r = AB e passa pelo ponto medio P


de [AB].

Teorema 2.7.6 Dada uma recta r e um ponto P 6 r, e possvel construir com


regua e compasso, a paralela a r que passa por P .

Demonstracao. Pelo teorema anterior, podemos construir a perpendicular t a r


que passa por P e em seguida a perpendicular s a t que passa por P .
t
P s

Pelo Corolario 1.5.29, s e paralela a r.

Os proximos teoremas referem-se a divisao de um segmento e de um angulo em


partes iguais.

Teorema 2.7.7 Dado um segmento [AB], e possvel construir com regua e com-
passo, pontos P1 , P2 , . . . , Pn1 [AB] tais que AP1 = P1 P2 = = Pn2 Pn1 =
Pn1 B.

68
Demonstracao. Seja Q1 um ponto qualquer fora de AB. Marquem-se pontos
Q2 , Q3 , . . . sobre AQ1 tais que AQ1 = Q1 Q2 = Q2 Q3 = . Em seguida, trace-
-se a recta Qn B e finalmente sejam P1 , P2 , . . . , Pn1 as interseccoes de AB com as
paralelas a Qn B que passam por Q1 , Q2 , . . . , Qn1 .

Qn
Qn1

Q3
Q2
Q1

A B
P1 P2 P3 Pn1

Pelo Criterio LAL de semelhanca, os triangulos [AP1 Q1 ], [AP2 Q2 ], . . ., [APn1 Qn1 ]


APi AQi i
sao semelhantes a [ABQn ], logo = = , para i = 1, 2, . . . , n 1.
AB AQn n
Portanto tem-se AP1 = P1 P2 = = Pn2 Pn1 = Pn1 B.

Teorema 2.7.8 Dado um angulo BAC, e possvel construir com regua e com-
b = D AC.
passo, um ponto D tal que B AD b

Demonstracao. Marque-se um ponto C AC tal que AC = AB. Trace-se em


seguida a mediatriz de [C B] e seja D o ponto de interseccao desta recta com [C B].
C
C
D

A B
Como [BAC ] e isosceles, a mediatriz de [BC ] e tambem a bissectriz de BAC,
b = D AC.
pelo que B AD b

Mais tarde veremos que nao e possvel, em geral, dividir um angulo em tres
partes iguais.

Consideremos agora um segmento [AB] de comprimento 1. Usando os teoremas


anteriores e facil verificar que e possvel construir com regua e compasso um segmento
com um comprimento racional qualquer. Em seguida veremos que tambem e possvel
construir alguns segmentos de comprimento irracional.

Teorema 2.7.9 Dado um segmento


[CD], e possvel construir com regua e com-
passo um segmento de comprimento CD.

Demonstracao. Seja E um ponto tal que DE = 1 e D esta entre C e E. Seja O


o ponto medio de [CE], e trace-se a circunferencia de centro O e raio OC. Seja F
o ponto desta circunferencia com a perpendicular a CD que passa por D.

69
F

C E
O D

Como CF E esta inscrito numa semicircunferencia, entao


e um angulo
recto. Logo
F D e a media geometrica de CD e DE, ou seja, F D = CD 1 = CD.

Recorrendo ao teorema anterior e possvel construir com regua e compasso seg-


mentos cujos comprimentos se obtem a partir do numero 1, atraves de sucessivas
operacoes elementares e razes quadradas. Por exemplo, e possvel construir com
regua e compasso um segmento de comprimento
r q

3+ 5 4 12/7.
Atraves de geometria analtica, mostra-se facilmente que todos os comprimentos
construtveis sao obtidos desta forma (descoberta devida a Descartes em 1637, a
quem e atribuda a invencao da geometria analtica). Estes numeros tem a parti-
cularidade de serem razes de polinomios com coeficientes inteiros cujo grau e uma
potencia de 2 (devido a presenca das razes quadradas).

Em seguida veremos como inscrever, com regua e compasso, um polgono regular


numa circunferencia dada. Comecaremos por encontrar o centro da circunferencia.

Teorema 2.7.10 Dada uma circunferencia, e possvel construir com regua e com-
passo o seu centro.

Demonstracao. Marquem-se quaisquer tres pontos A, B e C sobre a circunferencia


e seja O o ponto de interseccao das mediatrizes de [AB] e de [BC].

B
A


O
C

O ponto O e entao o circuncentro de [ABC], ou seja, e o centro da circunferencia


dada.

70
A partir deste momento, suporemos sem perda de generalidade que a circun-
ferencia dada tem raio 1.

Teorema 2.7.11 Dada uma circunferencia, e possvel construir com regua e com-
passo, um triangulo equilatero inscrito na circunferencia.

Demonstracao. Marque-se um ponto A qualquer na circunferencia e encontre-se o


centro O. Seja D o ponto de interseccao de AO com a circunferencia tal que O esta
entre A e D. Trace-se a mediatriz de [DO] e o ponto medio M de [DO] e sejam B
e C os pontos de interseccao desta mediatriz com a circunferencia.

D A
M O

Entao [OMB] e [OMC] sao triangulos rectangulos, com OM = 1/2 = cos(60), pelo
b = M OC
M OB b = 60. Entao AOBb = AOC b = 120, ou seja, [ABC] e um triangulo
equilatero.

Observacao 2.7.12 Note-se que para mostrar que se consegue inscrever um


polgono regular com n lados numa circunferencia, basta construir com regua e com-
passo um segmento cujo comprimento seja o lado do polgono regular. Os restantes
lados do polgono constroem-se em seguida pelo mesmo processo ou recorrendo ao
compasso.

Teorema 2.7.13 Dada uma circunferencia, e possvel construir com regua e com-
passo, um quadrado inscrito na circunferencia.

Demonstracao. Marque-se um ponto A qualquer na circunferencia e encontre-se


o centro O. Seja B um ponto de interseccao da circunferencia com a perpendicular
a AO que passa por O.
B

A
O

71
Entao [AOB] e um angulo recto, logo [AB] e o lado de um quadrado inscrito na
circunferencia.

Teorema 2.7.14 Dada uma circunferencia, e possvel construir com regua e com-
passo, um pentagono regular inscrito na circunferencia.

Demonstracao. Marque-se um ponto A qualquer na circunferencia e encontre-se


o centro O. Seja C um ponto de interseccao da circunferencia com a perpendicular
a AO que passa por O e M o ponto medio de [CO]. Seja P a interseccao de [AO]
com a bissectriz de OMA. Finalmente, seja B a interseccao da circunferencia com
a perpendicular a [AO] que passa por P .

C B

A
O P

Como 360/5 = 72, para mostrar que [AB] tem o comprimento pretendido basta
mostrar que OP = cos(72).
Usando duas vezes a identidade trigonometrica cos(2) = 2 cos2 1, conclui-se
que cos(4) = 8 cos4 8 cos2 + 1.
Entao cos(36) = cos(144) = 8 cos4 (36) + 8 cos2 (36) 1, ou seja, cos(36) euma
1 1 5
raiz de 8x4 8x2 + x + 1. Ora as razes deste polinomio sao 1, , e
2 4
1+ 5
e como cos(36) e um numero positivo diferente de 1/2 = cos(60), entao
4
!2
1+ 5 2 1+ 5 51
cos(36) = . Portanto cos(72) = 2 cos(36) 1 = 2 1 = .
4 4 4
Determinemos agora OP . Como a bissectriz de um angulo de um triangulo divide
o lado oposto em segmentos com comprimentos proporcionais aos respectivos lados
OP OM
(exerccio), entao = .
P A q MA r
1 2 2 1 5
Ora OM = , MA = OM + OA = 1 + = .
2 4 2
x 1/2 1
Designando OP = x, obtem-se a equacao = = , cuja solucao e
1x 5/2 5

51
x= .
4
As construcoes anteriores permitem inscrever outros polgonos regulares usando
os teoremas seguintes.

72
Teorema 2.7.15 Dado um polgono regular Pn de n lados inscrito numa circun-
ferencia, e possvel construir com regua e compasso, um polgono regular P2n com
2n lados inscrito na circunferencia.

Demonstracao. Seja [AB] um lado de Pn e seja C o ponto de interseccao da


circunferencia com a mediatriz de [AB].

A
O

Como [AOB] e um triangulo isosceles, entao a mediatriz de [AB] e tambem a bis-


sectriz de AOB. Logo [AC] e o lado de um polgono regular P2n inscrito na
circunferencia.

Corolario 2.7.16 Dada uma circunferencia, e possvel construir com regua e


compasso, um hexagono, um octogono e um decagono regulares inscritos na circun-
ferencia.

O proximo teorema e a ultima construcao de polgonos regulares inscritos numa


circunferencia que se pode encontrar nos Elementos de Euclides.

Teorema 2.7.17 Dada uma circunferencia, e possvel construir com regua e com-
passo, um pentadecagono regular inscrito na circunferencia.

Demonstracao. Comece-se por inscrever na circunferencia um triangulo equilatero


[ABC] e um pentagono regular [CDEF G].
F
B

E
G
O
A

D
C

b = C OE
Entao AOE b C OAb = 2 72 120 = 24 = 360/15, logo [AE] e o lado de
um polgono regular com 15 lados inscrito na circuferencia.

73
Durante cerca de 2000 anos nao houve avancos no que diz respeito a construcao
de novos polgonos regulares inscritos numa circunferencia dada. Apenas em 1796,
Gauss, entao com 18 anos, provou que era possvel construir com regua e compasso
outros polgonos regulares.

Teorema 2.7.18 (Gauss, 1796) Dada uma circunferencia, e possvel construir com
regua e compasso, um heptadecagono regular inscrito na circunferencia.

Demonstracao. Da mesma forma que foi feito na construcao do pentagono regular,


basta mostrar que e possvel construir com regua e compasso um segmento com
comprimento cos(360/17). O feito de Gauss foi provar que
p q p p

360 1 17 34 2 17 17 + 3 17 34 2 17 2 34 + 2 17
cos = + + + .
17 16 16 16 8
Como este numero se obtem do numero 1 atraves de operacoes elementares e razes
quadradas, e entao possvel constru-lo com regua e compasso (Gauss nunca chegou
a faze-lo).

Dois anos mais tarde, Gauss generalizou o seu procedimento, indicando todos os
polgonos regulares inscritveis com regua e compasso numa circunferencia dada.

Teorema 2.7.19 (Teorema de Gauss-Wantzel) Um polgono de n lados e con-


strutvel com regua e compasso se e so se n e o produto de uma potencia de 2 por
um produto de primos de Fermat.

Demonstracao. Gauss mostrou em 1798 que se n e da forma indicada, entao e


possvel construir Pn com regua e compasso e afirmou que apenas estes polgonos
eram construtveis. Wantzel demonstrou este ultimo facto em 1837, usando tecnicas
de algebra pura.
k
Observacao 2.7.20 Um primo de Fermat e um numero primo da forma 22 + 1.
Sao actualmente conhecidos apenas os primos de Fermat 3, 5, 17, 257, 65537 e sabe-se
que nao existe mais nenhum com menos de 1000 milhoes de algarismos.

Para finalizar o nosso estudo da geometria euclidiana, apresentamos de seguida


tres problemas impossveis de construcao com regua e compasso. Estes tres proble-
mas classicos tornaram-se famosos porque embora nao se conhecesse nenhum metodo
para realizar as construcoes em causa, nao existia tambem nenhuma demonstracao
da sua impossibilidade. Estas demonstracoes so surgiram no seculo XIX, com o
desenvolvimento de novos metodos algebricos e analticos.

Teorema 2.7.21 (Duplicacao do cubo ou Problema delico) Dado um cubo,


nao e possvel construir, com regua e compasso, um cubo com o dobro do volume.

74
Demonstracao. Dado um cubo com volume 1, a construcao de umcubo com
volume 2 e equivalente a construcao de um segmento de comprimento 3 2. Como
este numero e raiz do polinomio x3 2, de grau 3, pode-se mostrar que nao
e raiz
de nenhum polinomio de grau potencia de 2. (Wantzel, 1837) Portanto 3 2 nao e
construtvel.

Teorema 2.7.22 (Triseccao de um angulo) Dado um angulo qualquer, nao e


possvel construir, com regua e compasso, um angulo com um terco da amplitude.

Demonstracao. A triseccao de um angulo de amplitude 60 e equivalente a con-


strucao do comprimento cos(60/3) = cos(20). Usando a identidade trigonometrica
cos(3) = 4 cos3 3 cos conclui-se que cos(60) = 4 cos3 (20) 3 cos(20), ou seja,
que cos(20) e uma raiz do polinomio 4x3 3x1/2, de grau 3. Pode mostrar-se entao
que este numero nao e raiz de nenhum polinomio de grau potencia de 2. (Wantzel,
1837) Portanto cos(20) nao e construtvel.

Observacao 2.7.23 O teorema afirma que um angulo generico nao pode ser
trisectado. No entanto, ha angulos particulares que podem ser trisectados, como
por exemplo um angulo recto.

Teorema 2.7.24 (Quadratura do crculo) Dado um crculo, nao e possvel con-


struir, com regua e compasso, um quadrado com a mesma area.

Demonstracao.A quadratura de um crculo de raio 1 e equivalente a construcao


do comprimento . Lindemann provou em 1882 que e transcendente, ou seja,
que
este numero nao e raiz de nenhum polinomio com coeficientes inteiros. Portanto
nao e construtvel.

Observacao 2.7.25 Devido a fama deste problema a expressao quadratura do


crculo entrou para a linguagem corrente significando problema sem solucao ou de
difcil resolucao.

Exerccio 2.7.1 Mostre que e possvel construir com regua e compasso:

a) um rectangulo com area igual a de um triangulo dado;

b) um quadrado com area igual a de um rectangulo dado;

c) um quadrado com area igual a soma das areas de dois quadrados dados;

d) um quadrado com area igual a de uma regiao poligonal dada.

Exerccio 2.7.2 Dado uma recta r, um ponto P 6 r e um ponto Q r, construa


com regua e compasso uma circunferencia que passe por P e seja tangente a r em
Q.

75
Exerccio 2.7.3 Dadas duas circunferencias, construa com regua e compasso
uma recta tangente a ambas.

Exerccio 2.7.4 Mostre que, dado um segmento [AB] e possvel construir com
regua e compasso um ponto P tal que AP B e recto e P A = P B.

Exerccio 2.7.5 Considere um segmento de comprimento 1.

a) Indique qual dos seguintes comprimentos e construtvel com regua e compasso:



4

3
2, 2, 1 5.

b) Descreva como se pode efectuar a construcao da alnea anterior.

Exerccio 2.7.6 Considere um segmento de recta de comprimento 1. Indique,


passo por passo, como procederia para construir, com regua e compasso, um seg-
mento de recta de comprimento 1/3.

Exerccio 2.7.7 Considere um segmento de recta [AB]. Indique, passo por


passo, como procederia para construir, com regua e compasso, um ponto C tal
b = 30.
que ABC

Exerccio 2.7.8 Construa, com regua e compasso, um triangulo equilatero [ABC]


inscrito na circunferencia representada na figura seguinte.

Exerccio 2.7.9 Indique, justificando, se e possvel construir, com regua e com-


passo, um angulo com amplitude 3.
Nota: Nao se pretende nesta questao que realize qualquer construcao.

76
Exerccio 2.7.10 Na figura seguinte, [AB] e um segmento de recta de compri-
mento r
1. Construa nessa figura, com regua e compasso, um segmento de compri-
3
mento .
2

A B

Exerccio 2.7.11 Construa na figura seguinte, com regua e compasso, um ponto


b = 75.
C tal que B AC

A B

77
78
3

Geometria Hiperbolica

3.1 O Axioma Hiperbolico


No captulo anterior admitimos que se verificava o Axioma das Paralelas e desen-
volvemos com base neste Axioma a chamada Geometria Euclidiana. Vamos agora
estudar a geometria que se obtem quando se nega este axioma.

Axioma 6 Existe uma recta r e um ponto P fora de r, para os quais existem


duas rectas paralelas a r que passam por P .

Teorema 3.1.1 Existe um triangulo cuja soma de angulos e menor do que 180.

Demonstracao. Seja Q0 r tal que P Q0 r. Como pelo ponto P passa mais


do que uma paralela a r, entao existe um ponto R do plano tal que RPbQ0 < 90
e RP e paralela a r. Marquem-se sucessivamente os pontos Q1 , Q2 , . . . tais que
Qi Qi1 = P Qi1 , i = 1, 2, . . ..

P
R

r
Q0 Q1 Q2 Q3

ci Qi1 = Qi1 PbQi = 90 .


Entao os triangulos [P Qi Qi1 ] sao isosceles e tem-se P Q
2i
Logo Q0 PbQ1 + Q1 PbQ2 + Q2 PbQ3 + = 90.
Por outro lado, Q0 PbQ1 + Q1 PbQ2 + Q2 PbQ3 + Q0 PbR < 90, contradicao.

Definicao 3.1.2 O defeito de um triangulo [ABC] e o numero

bB
[ABC] = 180 A b C.
b

79
Do mesmo modo, o defeito de um quadrilatero [ABCD] e o numero
bB
[ABCD] = 360 A bC
b D.
b

Observacao 3.1.3 Pelo Teorema de Saccheri-Legendre, tem-se


0 [ABC] 180.
Alem disso, o defeito e aditivo, ou seja, se uma dada regiao poligonal esta divida
em sub-regioes, o seu defeito e a soma dos defeitos das suas sub-regioes. (exerccio)
Logo
0 [ABCD] 360.
O teorema seguinte mostra que se a unicidade das paralelas falha para um ponto
e uma recta, entao falha em qualquer ponto e qualquer recta.
Teorema 3.1.4 (Teorema Hiperbolico Universal) Dada uma recta r e um ponto
P fora de r quaisquer, existem duas rectas paralelas a r que passam por P .
Demonstracao. Suponhamos que existe apenas uma paralela a r que passa por P .
Entao pelo Teorema 2.1.2, existe um triangulo [ABC] cuja soma de angulos e 180,
ou seja [ABC] = 0. Suponhamos sem perda de generalidade que existe um ponto
D [AB] tal que CD AB.

C E

A B
D

Entao [ABC] = [ADC] + [DBC], pelo que [BCD] = 0.


b = C BD
Seja agora E tal que B CE b e CE = BD. Pelo Criterio LAL, tem-se
[CBD] = [BCE], logo [BECD] e um rectangulo.
Podemos agora justapor rectangulos congruentes com [BECD] lado a lado, de modo
a cobrir o plano.

80
Ora o teorema anterior mostra que existe no plano um triangulo com defeito positivo
e conclumos agora que existe um rectangulo (que se obtem por justaposicao de
rectangulos mais pequenos) que o contem (contradicao, uma vez que o defeito e
aditivo).

>0

=0

Indicamos agora alguns corolarios imediatos.

Corolario 3.1.5 A soma dos angulos internos de qualquer triangulo e menor do


que 180, ou seja, todos os triangulos tem defeito positivo.

Corolario 3.1.6 A soma dos angulos internos de qualquer quadrilatero e menor


do que 360, ou seja, todos os quadrilateros tem defeito positivo.

Corolario 3.1.7 Nao existem rectangulos.

Corolario 3.1.8 A amplitude um angulo externo de um triangulo e maior do


que a soma dos dois angulos internos nao adjacentes.

Demonstracao. Seja DCB um angulo externo de BCA. Entao


b = 180 B CA
D CB b > (C AB
b + ABC
b + B CA)
b B CA
b = C AB
b + ABC,
b

uma vez [ABC] > 0.


B

C D
A

O proximo teorema mostra que na geometria hiperbolica nao existe o conceito


de semelhanca de triangulos.

Teorema 3.1.9 b = D,
Se nos triangulos [ABC] e [DEF ] se tem A b Bb = E
b e
b = Fb, entao [ABC]
C = [DEF ].

81
Demonstracao. Suponhamos que DE > AB e sejam G AB tal que AG = DE
b = F ED
e H o ponto tal que H GA b e HG = F E.
A D

B C

G H E F
Pelo Criterio LAL tem-se [AGH] b = E FbD = B CA.
= [DEF ], logo GHA b Entao
b b b b b b b
C BG+B GH +GHC +H CB = (180ABC)+B GH +GHC +(180B CA) = 360, b
o que contradiz [BCGH] > 0.

Definicao 3.1.10 Um quadrilatero [ABCD] diz-se um quadrilatero de Saccheri


b b
se A = B = 90 e AD = BC. A [AB] chama-se a base, a [CD] chama-se o topo e a
[AD] e [BC] chamam-se os lados do quadrilatero.

D C

A B

Observacao 3.1.11 Estes quadrilateros foram primeiro estudados pelo mate-


matico persa Omar Khayyam em 1077 e so foram redescobertos pelo matematico
italiano Girolamo Saccheri muito mais tarde, em 1733.

Teorema 3.1.12 Num quadrilatero de Saccheri, os angulos do topo sao iguais.

Demonstracao. Seja [ABCD] um quadrilatero de Saccheri. Pelo Criterio LAL,


tem-se [ABC] b = ADB
= [BAD], pelo que B CA b e AC = BD. Entao, agora pelo
Criterio LLL, tem-se [ACD] b = B DC.
= [BDC], donde ACD b Conclui-se portanto
que ADC b = ADB b + B DCb = ACBb + ACDb = B CD.
b

D C

A B

Observacao 3.1.13 Como [ABCD] > 0, os angulos do topo sao agudos.

Teorema 3.1.14 Num quadrilatero de Saccheri, a recta que liga os pontos medios
da base e do topo e perpendicular a ambos.

82
Demonstracao. Seja M o ponto medio do topo [CD] e N o ponto medio da
base [AB] de um quadrilatero de Saccheri [ABCD]. Pelo Criterio LAL, tem-se
[ADM] = [BCM]. Entao o Criterio LLL mostra que [AMN]
= [BMN].

D M C

A N B
b M = B NM
Portanto AN b = 90 e como D M
cN = D MA+
c cN = C M
AM cB + B M
cN =
CMcN tem-se D M
cN = C M
cN = 90.

Teorema 3.1.15 b = B
Se [ABCD] e um quadrilatero tal que A b = 90, entao
b < D.
BC > AD se e so se C b

Demonstracao. Suponhamos que BC > AD. Entao existe um ponto E [BC]


b =
tal que BE = AD. Logo [ABED] e um quadrilatero de Saccheri, pelo que ADE
b
B ED. Como BED e um angulo externo de [EDC], tem-se ADC b > ADE b =
b > B CD.
B ED b C
D E

A B

Suponhamos agora que Cb < D.


b Se AD = BC teramos C b=D b pelo Teorema 3.1.12
b b
e se AD > BC teramos C > D pelo que acabamos de mostrar. Portanto resta-nos
a hipotese AD < BC.
Teorema 3.1.16 Se dois quadrilateros de Saccheri tem o topo e os angulos do
topo iguais, entao sao congruentes.
Demonstracao. Suponhamos que HE > DA e sejam I DA, J CB tais que
DI = CJ = HE. Pelo Criterio LAL tem-se [DCI] = [HGE], pelo que CI = GE e
D CI = H GE. Entao, novamente o Criterio LAL mostra que [ICJ]
b b = [EGF ], pelo
que Jb = Fb = 90. Do mesmo modo se mostra que Ib = 90. Mas entao [ABIJ] e um
rectangulo, contradicao.
Portanto tem que ser HE = DA.
D C H G

A B

I J E F

83
Teorema 3.1.17 Seja [ABC] um triangulo rectangulo em C e seja D AB tal
que AD = 2AB. Seja ainda E o ponto de AC tal que DE AC. Entao DE > 2BC.

Demonstracao. Seja F CB tal que F C = 2BC. Pelo Criterio LAL temos


[ABC] = [DBF ], logo B FbD = B CA
b = 90. Entao no quadrilatero [CEDF ] tem-se
Fb > D,
b o que, pelo Teorema anterior mostra que DE > F C.

D
F

A E
C

Teorema 3.1.18 (Teorema de Aristoteles) Seja BAC um angulo agudo. Entao,


para qualquer numero real d > 0, existe um ponto P AB e um ponto Q AC
tais que P Q AC e P Q > d.

Demonstracao. Seja P0 um ponto qualquer de AB e definam-se os pontos P1 , P2 , . . .


sobre AC tais que APn = 2APn1 . Sejam Q0 , Q1 , Q2 , . . . os pontos de AC tal que
Pn Qn AC.

P2

P1

P0
B
A Q0 Q1 Q2
C

Pelo Teorema anterior temos Pn Qn > 2Pn1Qn1 , para cada n, logo Pn Qn > 2n P0 Q0 .
Como existe um n tal que 2n P0 Q0 > d, basta fazer P = Pn e Q = Qn .

Observacao 3.1.19 Aristoteles enunciou este resultado nao como um teorema


mas como um axioma, pelo que por vezes e referido como o Axioma de Aristoteles.

Exerccio 3.1.1 Mostre que o defeito e aditivo, isto e, que:

a) dado um triangulo [ABC] e um ponto D entre A e B, se tem

[ABC] = [ADC] + [DCB]

84
b) dado um quadrilatero [ABCD], uniao dos triangulos [ABC] e [ACD], se tem

[ABCD] = [ABC] + [ACD]

Exerccio 3.1.2 Mostre que num quadrilatero de Saccheri [ABCD]:


a) a base [AB] e menor do que o top [CD];
b) a altura [MN] e menor do que o lado [AD] (onde M e N sao os pontos medios
da base e do topo).

Exerccio 3.1.3 Mostre que na geometria hiperbolica ha triangulos sem circun-


ferencia circunscrita.

Exerccio 3.1.4 Mostre que um angulo inscrito numa semicircunferencia e agudo.

Exerccio 3.1.5 Verifique se todos os triangulos tem uma circunferencia inscrita.

Exerccio 3.1.6 Sejam [ABCD] um quadrilatero de Saccheri e M e N os pontos


medios do topo e da base. Considere-se um ponto P entre D e M qualquer e seja
Q AB tal que P Q AB. Mostre que MN < P Q < DA.

D P M C

A B
Q N
Exerccio 3.1.7 Considere um quadrilatero de Saccheri [ABCD] e sejam E e F
os pontos medios de [AD] e [BC], respectivamente.
D C

E F

A B
b > ADC.
Mostre que AEF b

Exerccio 3.1.8 Sejam [ADC] e [BDC] triangulos rectangulos em D tais que


b b b
D AC = D CB e ACD = D BC.b Mostre que AC = BC.
C

A B
D

85
Exerccio 3.1.9 Seja [ABCD] um quadrilatero de Saccheri, com A b=B b = 90.
Mostre que o ponto de interseccao das diagonais [AC] e [BD] nao e o ponto medio
destas.
D C

A B

Exerccio 3.1.10 Sejam A, B, C pontos de uma circunferencia de centro O.


Sabendo que ABCb e recto, mostre que O esta fora do triangulo [ABC].

3.2 Rectas paralelas


Na geometria euclidana a relacao entre rectas paralelas e muito simples, devido
a unicidade das paralelas. Na geometria hiperbolica, como ha varias paralelas a
uma recta que passam por um ponto dado, surgem dois tipos de paralelismo, como
veremos de seguida.

Seja r uma recta e P um ponto fora de r. Seja Q o ponto de R tal que P Q r.


Pelo Corolario 1.5.29, a perpendicular a P Q que passa por P e paralela a r. Como
esta nao e a unica paralela a r que passa por P , entao ha uma paralela que faz com
P Q um angulo agudo.

Definicao 3.2.1 O menor angulo que uma recta paralela a r que passa por P faz
com P Q chama-se o angulo de paralelismo definido por r e P . As duas (semi-)rectas
paralelas a r que fazem com P Q um angulo igual ao angulo de paralelismo chamam-
-se as (semi-)rectas assimptoticas a r que passam por P e as restantes rectas paralelas
(que fazem com P Q um angulo maior do que o angulo de paralelismo) chamam-se
rectas ultraparalelas a r que passam por P .

ca assim
ultraparalelas ptoti p totic ultraparalelas
assim a

Q r

concorrentes concorrentes

Observacao 3.2.2 O angulo de paralelismo e tambem denominado de angulo


crtico, duas rectas assimptoticas sao tambem denominadas de rectas horoparale-
las ou criticamente paralelas e duas rectas ultraparalelas sao tambem denominadas
rectas hiperparalelas.

86
Observacao 3.2.3 Se duas rectas tem uma perpendicular comum, sao ultra-
paralelas.

Teorema 3.2.4 Se P A e uma recta assimptotica a r em P , entao tambem P A


e tambem e recta assimptotica a r em A.

Demonstracao. Seja B r tal que AB r. Suponhamos que P A nao e as-


simptotica a r em A. Entao existe um ponto C tal que a recta AC faz com AB
um angulo menor do que P A e AC ainda e paralela a r. Mas entao P C tambem e
paralela a r, o que contradiz o facto de que P A e assimptotica a r em P .

P
A

r
Q B

Teorema 3.2.5 Se a distancia de P a r e igual a distancia de Q a s, entao os


respectivos angulos de paralelismo sao iguais.

Demonstracao. Sejam R e S os pontos de r e s tais que P R r e QS s. Dado


um ponto A de r qualquer, seja B um ponto de s tal que BS = AR. Entao, pelo
Criterio LAL tem-se [ARP ]
= [BSQ], logo RPbA = S QB.
b
Deste modo se observa que os angulos que definem rectas concorrentes com r, de-
finem tambem rectas concorrentes com s, ou seja, os angulos de paralelismo sao
iguais.

P Q

r s
R A S B

Notacao: Como o angulo de paralelismo depende apenas da distancia P Q, este


sera denotado pela expressao (P Q).

Teorema 3.2.6 Sejam P A uma recta ultraparalela a r. Entao, para cada d > 0
existe um ponto B P A tal que a distancia de B a r e maior do que d.

87
Demonstracao. Como P A e ultraparalela a r, entao P A faz com a recta as-
simptotica a r um angulo positivo. Entao, pelo Teorema de Aristoteles, existe um
ponto B cuja distancia BC a recta assimptotica P C e maior do que d.

P A
B

C
Q D r

b >
Seja D r tal que BD r. Considerando o triangulo [BCD], onde se tem B CD
b conclui-se que BD > BC > d.
90 > B DC,
Teorema 3.2.7 Se duas rectas sao ultraparalelas, entao possuem uma perpen-
dicular comum.
Demonstracao. Sejam r e s ultraparalelas. Como a distancia entre r e s aumenta
indefinidamente, existe um ponto P s para o qual a distancia a r e mnima. Seja
A outro ponto qualquer de s e considere-se um ponto B s tal que P esta entre A
e B e a distancia de A e B a r e igual. Se C e D sao pontos de r tais que AC r
e BD r, entao [DCAB] e um quadrilatero de Saccheri. Logo a recta que liga os
pontos medios de [DC] e [AB] e perpendicular a ambos, pelo Teorema 3.1.14.

s
B A
P

D Q C r

Teorema 3.2.8 Se P A e assimptotica a r, entao a distancia de A a r e menor


do que a distancia de P a r.
Demonstracao. Sejam Q e B os pontos de r tais que P Q r e AB r. Supo-
nhamos que AB P Q. Entao existe um ponto C [AB] tal que BC = P Q.

P
A
C

r
Q B

88
Entao [QBCD] e um quadrilatero de Saccheri, pelo que a recta P C e ultraparalela
a QB = r. Portanto P A nao e assimptotica a r.

Teorema 3.2.9 Seja P A assimptotica a r. Entao, para cada d > 0 existe um


ponto B P A tal que a distancia de B a r e menor do que d.

Demonstracao. Seja Q r tal que P Q r e seja C um ponto de [P Q] tal que


QC < d. A perpendicular a P Q que passa por C e ultraparalela a r e intersecta P A
num ponto R. Seja S r tal que RS r. Seja T o ponto tal que T RS b = C RSb e
RT = RC e T e C estao em lados opostos de RS.
Seja D r tal que T D r e seja B a interseccao de T D com P A. Como RT e uma
paralela a r, entao se BD > QC = T D, a semi-recta P A nao seria assimptotica a
r, contradicao. Logo tem que ser BD QC < d.

P
A
R
B
C T

Q S D r

Repetimos agora a imagem do incio desta seccao com uma representacao mais
sugestiva das rectas que passam por P .

ultraparalelas P ultraparalelas

a assim
p totic p totic
assim a
Q r
concorrentes concorrentes

Exerccio 3.2.1 Dadas duas rectas paralelas r e s, mostre que ha no maximo


dois pontos de s a mesma distancia de r.

Exerccio 3.2.2 Mostre que se r e s sao paralelas e ha dois pontos de s a mesma


distancia de r, entao r e s sao ultraparalelas.

Exerccio 3.2.3 Mostre que se P A e assimptotica a QB e QB e assimptotica a


RC, onde Q esta entre P e R, entao P A e assimptotica a RC.

89
Exerccio 3.2.4 Mostre que, para qualquer < 90, existe um comprimento x
tal que (x) > .

Exerccio 3.2.5 Sejam r uma recta e P um ponto fora de r. Seja R o ponto de


r tal que P R r e seja Q um ponto entre P e R. Mostre que (P R) (QR).

(Sugestao: Considere em P o mesmo angulo que em Q e verifique o que obtem


em termos de paralelismo.)
P

R r

Exerccio 3.2.6 Na figura seguinte estao representadas tres rectas, assimptoticas


duas a duas. Mostre que nao existe nenhuma recta que intersecte as tres rectas r, s
e t.

t s

Exerccio 3.2.7 Sejam AC e P R assimptoticas, onde P A AC, e considerem-


se pontos Q ]P R[ e B ]AC[, tal que QB AC. Mostre que APbR < B QR. b

P Q
R
A B C

3.3 Circunferencias de raio infinito


Devido ao facto de a distancia entre duas rectas assimptoticas se aproximar de 0, e
possvel definir um novo conceito de circunferencia, onde o centro esta no infinito.
Como o raio destas circunferencias sera tambem infinito, requer-se uma definicao de
circunferencia que nao recorra a distancia ao centro.

Definicao 3.3.1 A circunferencia de raio P A (tambem designada de horocir-


cunferencia) e o conjunto de todos os pontos Q para os quais existe uma reflexao f
relativamente a uma recta assimptotica a P A tal que f (P ) = Q.

90
Q
B

P
A

Observacao 3.3.2 Se f e a reflexao a uma recta assimptotica a P A tal que


f (P ) = Q, entao f (P A) = QB, onde QB e assimptotica a P A.

Consideremos agora arcos de circunferencia concentricos, isto e, com raios CR


AR P R.

Q x
B
y
D
S

P x y
A C R

A razao f (x) entre o comprimentos de dois arcos de circunferencia (definidos


como o limite de uma sucessao de comprimentos de linhas poligonais com vertices
sobre a circunferencia) apenas depende da distancia x entre estes arcos. Tem-se
entao

PQ AB PQ
f (x) = , f (y) = , f (x + y) = ,
AB CD CD
pelo que f (x + y) = f (x)f (y). Ora as unicas funcoes reais de variavel real crescentes
que verificam esta equacao sao as funcoes f (x) = ex/k , onde k > 0.

Definicao 3.3.3 Ao parametro k chama-se o factor de escala do plano hiperbolico.

Observacao 3.3.4 O factor de escala nao pode ser determinado, isto e, existe
um plano hiperbolico para cada valor de k > 0.

Definicao 3.3.5 Consideremos um arco da circunferencia de raio P A entre P A


e QB onde a distancia de Q a P A e 1 (45). Designaremos o comprimento deste
arco por S.

91
Q
45
S 1 (45)

P A

Se considerarmos outro angulo de 45 para o outro lado do segmento de com-


primento 1 (45) obtemos um angulo recto de cujo vertice parte um arco de com-
primento S ate uma recta assimptotica a ambos os lados do angulo. Na figura da
direita mostra-se o mesmo angulo recto visto de outra perspectiva.

S S

Teorema 3.3.6 Consideremos um arco de circunferencia de raio P A, com com-



primento P Q= s. Seja T o ponto de P A tal que QT P A e consideremos o

correspondente arco de circunferencia de raio T A, com comprimento T U = t. Se a
distancia entre os arcos e T P = UQ = x e QT = y, entao

s = S sinh(y/k), t = S tanh(y/k), ex/k = cosh(y/k).

Q x
U

s y
t

P
x T A

Demonstracao. Sejam X e W os pontos de QU tais W Q = QX = y e U esta entre


Q e X e seja B um ponto qualquer tal que X esta entre U e B. Entao UX = y x.
Consideremos agora os arcos da circunferencia de raio T A que partem de T com

comprimento T V =T R= S e sejam V C e RD as rectas assimptoticas a P A que

passam por V e R. Entao UV = S t.

92
Z

S
V
W St
y x
Q yx
U C
s y X
t B

P x T A
S

S
D
Y

Como W Q = QT , entao a perpendicular a W Q que passa por W e assimptotica a T Q


e a CV . Do mesmo modo, a perpendicular a QX que passa por X e assimptotica a
QT e a DR. Logo os arcos das circunferencias de raio W B e RB com comprimento
S que comecam em W e R terminam em pontos Z CV e Y DR, ou seja,

W Z=XY = S. Entao tem-se,

S t = e(y+x)/k S
S + t = e(yx)/k S

s = ex/k t

Somando a primeira igualdade a segunda obtem-se 2S = S(e(y+x)/k + e(yx)/k ), ou


ey/k + ey/k
seja, ex/k = = cosh(y/k).
2
Subtraindo agora a primeira igualdade a segunda obtem-se 2t = S(e(yx)/k e(y+x)/k ),
ey/k ey/k cosh(y/k)
ou seja, tex/k = S = S sinh(y/k), donde t = S = S tanh(y/k).
2 sinh(y/k)
Finalmente tem-se s = ex/k t = S sinh(y/k).

Observacao 3.3.7 Para simplifcar os calculos, usa-se normalmente a constante


k = 1, o que faremos de aqui em diante. Temos assim, nas condicoes do teorema
anterior,
s = S sinh y, t = S tanh y, ex = cosh y.

Teorema 3.3.8 (Teorema de Pitagoras hiperbolico) Se [ABC] e um triangulo


rectangulo em C, entao cosh c = cosh a cosh b.

93
Demonstracao. Seja P o ponto de CB tal que a circunferencia de raio P B passa

por A e seja s =AP . Seja F AB tal que ABC b = (BF ) = (l). Entao a
perpendicular a BF que passa por F e assimptotica a CB. Sejam D e E os pontos
correspondentes a A e P na circunferencia concentrica que passa por F e Sejam

t2 =EF e t1 =DE.
Entao tem-se s = S sinh b, t1 + t2 = S tanh(c + l), t2 = S tanh l, s = ex+a+m t1 ,
ex = cosh b, em = cosh l e ex+a+m = cosh(c + l).
A
x+a+
m
c D
s b
t1
P xC a B m E

l
t2

F
Logo,
S sinh b = s = ex+a+m t1 = cosh(c + l)(S tanh(c + l) S tanh l) =
sinh c sinh c .
= S cosh(c + l) =S
cosh(c + l) cosh l cosh l
Portanto tem-se sinh c x+a+m
= sinh b cosh l.
e cosh(c + l)
Por outro lado, ea = x m = , pelo que
e e cosh b cosh l
 
1 cosh(c + l) cosh b cosh l
cosh a cosh b = + cosh b =
2 cosh b cosh l cosh(c + l)
cosh2 (c + l) + cosh2 b cosh2 l
= =
2 cosh l cosh(c + l)
(cosh c cosh l + sinh c sinh l)2 + cosh2 l + sinh2 b cosh2 l
= =
2 cosh l cosh(c + l)
cosh2 c cosh2 l + 2 cosh c cosh l sinh c sinh l + sinh2 c sinh2 l + cosh2 l + sinh2 c
= =
2 cosh l cosh(c + l)
2 cosh2 c cosh2 l + 2 cosh c cosh l sinh c sinh l
= =
2 cosh l cosh(c + l)
cosh2 c cosh l + cosh c sinh c sinh l
=
cosh(c + l)
cosh c cosh l + sinh c sinh l
= cosh(c) = cosh c.
cosh(c + l)

94
Observacao 3.3.9 Se mantivermos o factor de escala, obtemos a relacao cosh(c/k) =
cosh(a/k) cosh(b/k). Tomando o limite desta igualdade quando k , obtem-se a
igualdade c2 = a2 + b2 , que e o Teorema de Pitagoras Euclidiano.

Exerccio 3.3.1 Mostre que se [P Q] e uma corda da circunferencia de raio P A


b = QPbA.
entre P A e QB, entao P QB

Determinar este angulo em funcao de P Q.

Exerccio 3.3.2 Mostre que uma circunferencia de centro A intersecta uma cir-
cunferencia de raio AB em dois pontos.

Exerccio 3.3.3 Determine 1 (45).

Exerccio 3.3.4 Dadas duas rectas assimptoticas r e s mostre que existe uma
terceira recta t assimptotica a r e s no outro extremo.

Exerccio 3.3.5 Calcule a hipotenusa c de um triangulo rectangulo de catetos


a = 3, b = 4, para k = 1, k = 10 e k = 1/5.

Exerccio 3.3.6 Dada uma semi-recta P A, mostre que se f e uma reflexao relati-
vamente a uma recta assimptotica a P A, entao f (P A) e uma semi-recta assimptotica
a P A.

Exerccio 3.3.7 Sejam A, B, C e D pontos tais que AB = BC = CD = 1 e


b b
ABC = ACD = 90.
D

A B
Determine AD.

3.4 Area
A area euclidiana foi definida partindo da area ab de um rectangulo de lados a e B.
Como vimos anteriormente, na geometria hiperbolica nao ha rectangulos, pelo que
nao podemos tomar estes objectos como ponto de partida. O papel anteriormente
desempenhado pelos rectangulos cabera agora aos quadrilateros de Saccheri.

Teorema 3.4.1 Seja [ABC] um triangulo e M, N os pontos medios de [AC] e


[BC]. Sejam D e E os pontos de MN tais que BD MN e AE MN. Entao a
area e o defeito de [ABDE] sao iguais a area e ao defeito de [ABC].

95
Demonstracao. Seja F o ponto de MN tal que CF MN. Pelo Criterio AAL
conclui-se que [AME]
= [CMF ] e que [BND]
= [CNF ]. Portanto

Area[ABDE] =Area[AM E]+Area[AM N F ] +Area[BN D] =


=Area[CM F ] +Area[AM N F ]+Area[CN F ] =Area[ABC] .
Do mesmo modo,
[ABDE] = [AM E] + [AM N F ] + [BN D] = [CM F ] + [AM N F ] + [CN F ] = [ABC] .
C

E M N D
F

A B

Definicao 3.4.2 Como AE = CF = BD, entao o quadrilatero [ABDE] diz-se


o quadrilatero de Saccheri associado ao lado [AB] de [ABC].

Teorema 3.4.3 Seja [ABDE] o quadrilatero de Saccheri associado ao lado [AB]


de [ABC]. Seja P um ponto qualquer de DE e F o ponto de AP tal que AF =
2AP . Entao o quadrilatero de Saccheri associado ao lado [AB] de [ABF ] e tambem
[ABDE].

Demonstracao. Seja Q o ponto de interseccao de MN com F B. Pelo Criterio


AAL, tem-se [AP E] = [F P H], pelo que F H = AE = BD. Novamente pelo Criterio
AAL, tem-se [BDQ] = [F HQ]. Assim, F Q = QB e portanto o quadrilatero de
Saccheri associado ao lado [AB] de [ABF ] e tambem [ABDE].

C F

E M D
Q H
P N

A B

Teorema 3.4.4 Se [ABC] = [DEF ] e AB = DE, entao [ABC] e [DEF ] tem


a mesma area.

Demonstracao. Sejam [ABGH] e [DEIJ] os quadriletros de Saccheri associados


aos lados [AB] e [DE] de [ABC] e [DEF ]. Estes quadrilateros tem o mesmo topo
AB = DE e, como tem o mesmo defeito, tambem tem os mesmos angulos de
topo. Logo, pelo Teorema 3.1.16, tem-se [ABGH] = [DEIJ] e portanto os dois
quadrilateros tem a mesma area. Assim, tambem [ABC] e [DEF ] tem a mesma
area.

96
C F

H G J I

A B D E

Teorema 3.4.5 (Teorema de Bolyai) Se dois triangulos tem o mesmo defeito,


entao tem a mesma area.

Demonstracao. Seja [ABC], [DEF ] triangulos tais que [ABC] = [DEF ]. Se


AC = DF , entao pelo Teorema anterior, [ABC] e [DEF ] tem a mesma area.
Suponhamos agora sem perda de generalidade, que AC < DF .

J F
C

H G
I

A B D E

Seja I HG tal que AI = DF /2 e seja J AI tal que AJ = DF .


Pelo Teorema 3.4.3, [ABC] e [ABJ] tem o mesmo quadrilatero de Saccheri, logo
tem a mesma area e o mesmo defeito.
Por outro lado, o Teorema anterior mostra que [ABJ] e [DEF ] tem a mesma area,
ja que tem o mesmo defeito e um lado igual.
Assim, [ABC] e [DEF ] tem a mesma area.

Do teorema anterior pode concluir-se que a razao entre a area e o defeito de um


triangulo e igual para todos os triangulos. Assim, escolhendo de forma apropriada
as medidas de angulo e de area, podemos escrever simplesmente

Area[ABC] = [ABC] .

Conclui-se assim que a area dos triangulos hiperbolicos e limitada superiormente!

Exerccio 3.4.1 Mostre que dois quadrilateros de Saccheri com o mesmo defeito
nao sao necessariamente congruentes.

Exerccio 3.4.2 Mostre que existem dois triangulos com a mesma base e a
mesma altura, mas com area diferentes.

97
Exerccio 3.4.3 Mostre que existe um pentagono regular com os cinco angulos
internos rectos.

Exerccio 3.4.4 Considere um triangulo equilatero [ABC] e sejam D, E e F os


pontos medios de [AB], [AC] e [BC].
A D B

E F

a) Mostre que [DEF ] e um triangulo equilatero.


b) Compare os angulos de [ABC] com os angulos de [DEF ].
c) Mostre que [ADE] nao e equilatero.

Exerccio 3.4.5 b = 100, ADC


Sejam A, B, C e D pontos tais que ACB b = 80,
b = 55, D CA
D AC b = 40 e sabe-se que [DBC] tem o dobro da area de [ADC].

A D B
b
Determine D BC.

Exerccio 3.4.6 Na figura seguinte, [ABCD] e [ABEF ] sao quadrilateros de


Saccheri. Sabendo que [ABCD] e [DCEF ] tem a mesma area e que ADCb = 75,
determine D FbE.
F E

D C

A B

Exerccio 3.4.7 Seja [ABCDE] um pentagono regular cujos angulos internos


sao rectos e [F GHIJK] um hexagono regular cujos angulos internos sao tambem
rectos. Mostre que o hexagono tem o dobro da area do pentagono.

98
Exerccio 3.4.8 Na figura seguinte estao representados oito triangulos equilateros
de lado x, formando um octogono [ABCDEF GH]. Determine:
H G

A F

B E

C D

b
a) ABC

b) AC
b
c) B AC

d) a area de [ABCDEF GH].

Calculo

Exerccio 3.4.9 Mostre que cosh2 x sinh2 x = 1.

Exerccio 3.4.10 Mostre que cosh(x + y) = cosh x cosh y + sinh x sinh y.

sinh(x y)
Exerccio 3.4.11 Mostre que tanh x tanh y = .
cosh x cosh y

Exerccio 3.4.12 Mostre que lim k arccosh(cosh(a/k) cosh(b/k)) = a2 + b2 .
k

99

Você também pode gostar