Geometria

Antonio Salgueiro

Departamento de Matematica
Universidade de Coimbra
2011
Indice

1 Axiomatica da Geometria 5
1.1 Sistemas axiomaticos . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Axiomas de incidencia . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Axiomas de ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4 Axiomas de congruencia . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5 Axiomas de medicao . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.6 Circunferencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

2 Geometria Euclidiana 29
2.1 O Axioma das Paralelas . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.2 Semelhanca de triangulos . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.3 Centros de um triangulo . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.4 Determinacao das medidas de um triangulo . . . . . . . . . . . . . . . 40
2.5 Area . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42

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:

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

ii) 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.
i) 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
 ii) 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.

iii) 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.

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:

i) paralelas se nao tem nenhum ponto em comum;

ii) concorrentes se tem exactamente um ponto em comum.

6
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
colineares, 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.

7
 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.

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]).

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, 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.

8
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].

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

9
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

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.

C
AB
ter ior de
in
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.

10
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 coline-

ares 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.

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.

11
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 Se [AB]
= [CD] e [CD]
= [EF ], entao [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 Se C ]AB[ e F ]DE[, [AC]

= [DF ] e [AB]
= [DE], entao
[BC]
= [F E].

Demonstracao. Pelo Axioma C-1, existe um unico ponto G F E tal que [BC]
=
[F G]. Pelo Axioma C-3, tem-se [AB]
= [DG]. Como se tem [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.

12
 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.

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

= [DE], [AC]
=

[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 Num triangulo [ABC], se [AB]

= [AC], entao ABC
= ACB.

Demonstracao. Como [AB] = [AC], [AC]

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

A B

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 ].

13
 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].
Entao o criterio LAL garante que [ABC]
= [IF J], pelo que JIF
= 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

14
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

1.5 Axiomas de medicao

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

15
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 se 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

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 = .

Axioma 3 Dados dois triangulos [ABC] e [DEF ], se [AB]

= [DE], [AC]
=

[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 se 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

16
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

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:

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

ii) recto se a sua amplitude for 90;

iii) 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.

17
 C

A B
D

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

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].

18
 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.

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.

19
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

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
ABC < B AD. 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.

20
Teorema 1.5.18 Dada um 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
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

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

Teorema 1.5.19 (Criterio AAL) Dados dois triangulos [ABC] e [DEF ], se

b b e ACB
[AB] = [DE], C AB = F DE b = D FbE, 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 ].

21
 G
C F

A B D E

Teorema 1.5.20 (Criterio LLR) Dados dois triangulos [ABC] e [DEF ], se

b = D EF
AB = DE, AC = DF e ABC 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
b
D F G. 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.21 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:

22
 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.22 Sejam [ABC] e [DEF ] dois triangulos tais que AB = DE,
b b
AC = DF e C AB < F DE. Entao BC < EF .
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.23 (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].
b b b b b b
Logo ABC + B AC + ACB = E CB + B AM + M AC + ACB b = 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.

23
 B
E

C D
A

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.24 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.25 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

24
Corolario 1.5.26 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.

Corolario 1.5.27 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.

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, )

Observacao 1.6.2 Pelo Axioma 4, em cada semi-recta que parte de O existe

um unico ponto de C(O, ).

25
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

C
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.
R
Q
P

O r

26
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.

27
28
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

29
 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.25.

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.25, 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.

30
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 CB 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, pleo
criterio LAL, 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:
i) paralelogramo se AB e paralela a CD e BC e paralela a AD;
ii) rectangulo se os seus quatro angulos forem rectos;
iii) losango se os seus quatro lados forem congruentes;
iv) quadrado se os seus quatro angulos forem rectos e os seus quatro lados forem
congruentes;
v) trapezio se tem dois lados opostos paralelos.

paralelogramo rectangulo losango quadrado trapezio

31
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 LAL, 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.25, 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

32
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 ODb = 2B AD.
b
b B OD
Logo, C OD b = 2C AD b 2B AD,
b ou seja, B OC
b = 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.

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

33
Teorema 2.2.2 b=D
(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.

34
Teorema 2.2.3 (Criterio LAL de semelhanca) Se A b e DE = DF ,
b=D
AB AC
entao [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 = = ,
AB AC BC
entao [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 ALA 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 c = a + b2 .
2 2

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

35
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

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

BC BC 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.

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.

36
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

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.

37
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.

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, oss 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
AR BP CQ
segmentos [AP ], [BQ] e [CR] intersectam-se num ponto se e so se = 1.
RB P C QA

Q
P

A B
R

38
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
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.

39
 C

Q
G P

A B
R

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

baricentro do triangulo.

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 AA 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

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].

40
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.

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.

41
 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.

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:
i) se dois triangulos sao congruentes, tem a mesma area;
ii) a area de uma regiao poligonal e igual a soma das areas dos triangulos que a
formam;
iii) a area de um rectangulo com comprimento a e largura b e ab.
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

42
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

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
43
 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.

c h a

x y
A C
b

Teorema 2.5.7 b b e c tem-se

(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

Teorema 2.5.8 b beC

(Area no caso ALA) Conhecidos A, b tem-se

44
 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.

Teorema 2.5.9 b B
(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)) Conhecidos

a, b e c tem-se
p
Area[ABC] = s(s a)(s b)(s c)
a+b+c
onde s = e o semi-perimetro 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 = .
v ! 2b
u  2 2
u 2 2 c a2 b2
ub a 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

45