Universidade do Algarve

Faculdade de Cincias e Tecnologia

Aspectos Avanados da Geometria do Tringulo


(Dissertao para a obteno do grau de mestre em Matemtica
Especializao em Matemtica para o Ensino)






Nuno Jos Coelho Guerreiro Nunes do Rosrio


FARO
2008



Universidade do Algarve

Faculdade de Cincias e Tecnologia
Mestrado em Matemtica para o Ensino

NOME: Nuno Jos Coelho Guerreiro Nunes do Rosrio

TTULO DA DISSERTAO: Aspectos Avanados da Geometria do Tringulo

DISSERTAO ORIENTADA POR:
Doutor Juan C. S. Rodrguez Departamento de Matemtica, UALG
Doutor Paulo A. V. Semio Departamento de Matemtica, UALG

JRI:
PRESIDENTE: Doutora Susana Paula Graa Carreira, Professora Associada da
Faculdade de Cincias e Tecnologia da Universidade do Algarve.

VOGAIS: Doutora Joana Maria da Silva Teles Correia, Professora Auxiliar
da Faculdade de Cincias e Tecnologia da Universidade de Coimbra;

Doutor Juan Carlos Sanchez Rodrigues, Professor Auxiliar da
Faculdade de Cincias e Tecnologia da Universidade do Algarve;

Doutor Paulo Alexandre Valentim Semio Professor Auxiliar da
Faculdade de Cincias e Tecnologia da Universidade do Algarve.

FARO
2008





















minha famlia
pelo apoio e compreenso







Agradecimentos


Aos meus orientadores, Prof. Doutor Juan C. S. Rodrguez e Prof. Doutor Paulo
A. V. Semio por me ensinarem a importncia da anlise terica sem deixar de
estimular um posicionamento critico e reflexivo, fazendo-me compreender o que um
trabalho cientfico.
Ao Prof. Clark Kimberling, professor na Universidade de Evansville, pela
gentileza com que recebeu e respondeu aos meus e-mails sobre o tema.
muito amiga, colega e professora Ana Rita, pelo seu incondicional apoio
desde a candidatura at entrega do trabalho. Tambm pelas sugestes, criticas e pela
reviso do texto.
minha famlia, em especial aos meus pais, irm, cunhado e ao pequeno
Francisco, que sempre demonstraram ao longo desta caminhada o seu enorme incentivo,
apoio, confiana e orgulho no meu trabalho.
Aos meus amigos, em especial o Nuno, Nelson, Paulo, Carla e Vera que, de uma
forma ou de outra, colaboraram para o xito da pesquisa.
Agradeo a todos os que estiveram presentes, directa e indirectamente, e que
colaboraram para a realizao deste trabalho, atravs de incentivo, apoio ou sugestes a
respeito do tema.



Ttulo: Aspectos Avanados da Geometria do Tringulo



Resumo


Este trabalho incide sobre o estudo de alguns aspectos avanados da geometria
do tringulo, em particular so utilizadas as coordenadas trilineares e as suas relaes
com as coordenadas cartesianas. As coordenadas trilineares permitem generalizar o
conceito de centro do tringulo e facilitar o estudo das relaes existentes entre os
centros do tringulo.
Outro dos objectivos deste trabalho foi utilizar as novas tecnologias,
nomeadamente o computador, quer como auxlio na obteno de resultados quer como
meio de visualizao dos mesmos. Para provar e testar ideias o software Mathematica
tornou-se uma ajuda indispensvel assim como o Geometers Sketchpad no campo da
representao.

Palavras chave: Tringulo; Coordenadas trilineares; Centros do tringulo;
Circunferncia dos nove pontos; Recta de Euler.


Title: Advanced Aspects of the Triangles Geometry



Abstract


This assignment is on the study of some of the most advanced aspects of the
triangle geometry, particularly the trilinear coordinates and their link to the cartesian
coordinates.
The trilinear coordinates allow us to generalize the triangle center concept and
facilitate the study of the several existing relations between the triangle centers.
Another of the assignments goal was based on the use of new technologies,
mainly the computer, both as a support to reach the studys results and as a means to
display those results. To prove and test ideas, the software Mathematica became an
essential help as well as the Geometers Sketchpad on the field of representation.

Key-words: Triangle; Trilinear coordinates; Triangle center; The nine-point circle; The
Euler straight line.

ndice
Notaes 1
1 Introduo 2
1.1 Tecnologia e a Matemtica . . . . . . . . . . . . . . . . . . . . 5
1.2 Noes elementares . . . . . . . . . . . . . . . . . . . . . . . . 7
2 Coordenadas trilineares 15
2.1 Coordenadas Cartesianas . . . . . . . . . . . . . . . . . . . . . 17
2.2 Pontos em coordenadas trilineares . . . . . . . . . . . . . . . . 20
2.2.1 Conjugado isogonal . . . . . . . . . . . . . . . . . . . . 20
2.2.2 Conjugado isotmico . . . . . . . . . . . . . . . . . . . 20
2.2.3 Distncia entre dois pontos . . . . . . . . . . . . . . . . 21
2.2.4 Colinearidade . . . . . . . . . . . . . . . . . . . . . . . 25
2.2.5 Ponto mdio . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3 Rectas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.3.1 Equao de uma recta . . . . . . . . . . . . . . . . . . 30
2.3.2 Rectas concorrentes . . . . . . . . . . . . . . . . . . . . 32
2.3.3 Rectas paralelas . . . . . . . . . . . . . . . . . . . . . . 32
2.3.4 Rectas perpendiculares . . . . . . . . . . . . . . . . . . 34
2.3.5 Distncia entre ponto e recta . . . . . . . . . . . . . . 36
2.4 Circunferncia . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.4.1 Equao da circunferncia que passa por trs pontos . 39
2.4.2 Equao da circunferncia dado o raio e o centro . . . . 40
3 Centros do tringulo 41
3.1 Funes do centro do Tringulo . . . . . . . . . . . . . . . . . 41
3.1.1 Propriedades . . . . . . . . . . . . . . . . . . . . . . . 44
3.2 Alguns centros notveis . . . . . . . . . . . . . . . . . . . . . . 44
3.2.1 Incentro . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.2.2 Baricentro . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.2.3 Circuncentro . . . . . . . . . . . . . . . . . . . . . . . 49
ii
3.2.4 Ortocentro . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.2.5 Centro da circunferncia dos nove pontos . . . . . . . . 54
3.2.6 Ponto de Gergonne . . . . . . . . . . . . . . . . . . . . 57
3.2.7 Ponto de Nagel . . . . . . . . . . . . . . . . . . . . . . 59
3.2.8 Ponto de Feuerbach . . . . . . . . . . . . . . . . . . . . 60
3.3 Tringulo rtico . . . . . . . . . . . . . . . . . . . . . . . . . . 60
3.4 Tringulo medial . . . . . . . . . . . . . . . . . . . . . . . . . 62
4 Rectas e circunferncias 64
4.1 Rectas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.1.1 Recta de Euler . . . . . . . . . . . . . . . . . . . . . . 64
4.1.2 Recta de Nagel . . . . . . . . . . . . . . . . . . . . . . 67
4.2 Algumas circunferncias notveis . . . . . . . . . . . . . . . . 68
4.2.1 Circunferncia inscrita . . . . . . . . . . . . . . . . . . 68
4.2.2 Circunferncia circunscrita . . . . . . . . . . . . . . . . 69
4.2.3 Circunferncias ex-inscritas . . . . . . . . . . . . . . . 70
4.2.4 Circunferncia dos nove pontos . . . . . . . . . . . . . 71
5 Programao em Mathematica 79
5.1 Distncia entre dois pontos . . . . . . . . . . . . . . . . . . . . 80
5.2 Ponto mdio . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
5.3 Rectas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
5.3.1 Recta de Euler . . . . . . . . . . . . . . . . . . . . . . 83
5.3.2 Recta de Nagel . . . . . . . . . . . . . . . . . . . . . . 85
5.3.3 Pontos colineares . . . . . . . . . . . . . . . . . . . . . 86
5.4 Conjugados . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
5.5 Circunferncias . . . . . . . . . . . . . . . . . . . . . . . . . . 89
Bibliograa 91
iii
Notaes
ABC Tringulo de vrtices A, B e C;
A, B, C Vrtices do ABC; ngulos internos correspondentes aos vrtices;
PQ Recta que contm os pontos P e Q;
PQ Segmento de recta de extremos P e Q;
ABC ngulo formado pelos segmentos de recta BA e BC;
A

BC Amplitude do ngulo ABC;

A ngulo interno de um tringulo no vrtice A;
a, b, c Comprimentos dos lados BC, AC e AB do ABC;
rea do ABC;
r Raio da circunferncia inscrita no ABC;
R Raio da circunferncia circunscrita ao ABC;
r
A
, r
B
, r
C
Raio das circunferncias ex-inscritas;
p Semi-permetro do ABC;
|PQ| Distncia entre os pontos P e Q;
d (P, r) Distncia entre o ponto P e a recta r;
: : Coordenadas trilineares homogneas;
(, , ) Coordenadas trilineares exactas;
f (a, b, c) Funo do centro do tringulo;
X
i
Notao para os centros do tringulo (i = 1, 2, ...) .
1
Captulo 1
Introduo
A necessidade econmica de contabilizar diversos tipos de objectos esteve
na origem da Matemtica. De forma semelhante, a Geometria (do Grego
geo=terra+metria=medida, ou seja, medir a terra) est intimamente
ligada s necessidades do homem, como o caso da medio de terrenos. A
Geometria a mais antiga manifestao conhecida da actividade matemtica.
Cerca de 3000 anos a. C. os antigos Egpcios j possuamos conhecimentos de
Geometria necessrios para reconstituir as marcaes de terrenos destrudos
pelas cheias do rio Nilo, bem como para construir as clebres pirmides.
Inicialmente foi uma cincia de ndole prtica e objectiva mas, sculos
mais tarde, com a ajuda de vrios sbios que se dedicaram a esse estudo
e desenvolvimento, como o so Arquimdes
1
, Pitgoras
2
, Tales de Mileto
3
e
Euclides
4
, entre outros, a Geometria passou a contar com uma
componente terica. Para compreender melhor o desenvolvimento e a histria
da geometria sugerida a leitura de [16], pois atravs da sua leitura
poderemos conhecer alguns problemas clssicos assim como algumas noes
e biograas breves de grandes matemticos.
Acompanhando os vrios sculos de desenvolvimento da Geometria
1
Nasceu em 287 a.C. em Siracusa. Matemtico e gemetra, distinguiu-se igualmente
como astrnomo e fsico, criou a cincia dos lquidos (hidrosttica) e pode ser considerado
o primeiro grande engenheiro da Antiguidade.
2
Pitgoras nasceu no ano 580 a.C. na ilha grega de Samos, perto de Mileto e faleceu no
ano 500 A.C. em Metapontum, Lucania. Pitgoras foi responsvel por vrios progressos
nas reas de Matemtica, Astronomia e da Msica.
3
Nasceu em Mileto por volta do ano 625 a.C., Tales foi simultaneamente gemetra,
lsofo e astrnomo.
4
Viveu em Alexandria nos nais do sc. IV e princpios do sc. III a.C. Grande
nmero de gemetras gregos haviam dado, antes de Euclides, elementos de geometria, mas
Euclides foi o primeiro que fez demonstraes rigorosas. Foi ele quem introduziu o mtodo
da reduo ao absurdo.
2
esteve sempre o Tringulo. Esta gura sempre despertou o interesse de
muitos sbios, cando alguns ligados fortemente histria do tringulo, como
Pitgoras, que provou a existncia de relaes entre os comprimentos dos
lados de um tringulo rectngulo.
No plano, o tringulo um polgono com o menor nmero de possvel de
lados, possui trs lados e trs ngulos internos que somam 180
o
. tambm
o nico polgono que no possui diagonais.

E D
A
B C
Figura~1.1: A soma dos ngulos internos de um tringulo 180
o
.
O tringulo pode apresentar-se e ser classicado de vrias maneiras.
Essa classicao pode ser feita quanto aos lados: escaleno
5
, issceles
6
ou
equiltero
7
; ou ser uma classicao quanto aos ngulos: acutngulo
8
,
obtusngulo
9
ou rectngulo
10
.
O lado no adjacente a um ngulo diz-se oposto a esse ngulo e
reciprocamente. Em geral, designam-se pela mesma letra o lado e o
vrtice do ngulo oposto, sendo a primeira uma letra minscula e a segunda
maiscula. Os ngulos podem tambm ser designados pela mesma letra do
vrtice ou por letras do alfabeto grego.
O Teorema de Pitgoras que arma que Em qualquer tringulo
rectngulo, o quadrado da medida da hipotenusa igual soma dos
quadrados das medidas dos catetos pode tambm ser generalizado lei dos
cosenos. Essa lei vlida para todos os tringulos, mesmo que o tringulo
no seja rectngulo, e pode ser usada para determinar o comprimento dos
lados ou as amplitudes dos ngulos internos de um tringulo, desde que a
5
Tringulo com as medidas dos trs lados diferentes.
6
Tringulo em que dois dos lados tm o mesmo comprimento.
7
Tringulo com as medidas dos trs lados iguais.
8
Tringulo com os trs ngulos internos agudos, inferiores a 90
o
.
9
Tringulo com um ngulo interno obtuso, superior a 90
o
.
10
Tringulo com um ngulo interno recto, igual a 90
o
.
3
medida de trs ou de dois lados e a amplitude de um ngulo interno sejam
conhecidas. Uma outra lei, a lei dos senos pode ser usada para calcular as
medidas dos lados de um tringulo, desde que a amplitude de dois ngulos
internos e a medida de um lado sejam conhecidas. A lei dos senos relaciona
tambm o comprimento dos lados e as amplitudes dos ngulos internos do
tringulo com o raio da circunferncia circunscrita a esse mesmo tringulo.
A geometria do tringulo vastssima. Leonhard Euler, sc. XVIII, foi
um grande contribuidor desta geometria. Depois de se falar durante muito
tempo nos quatro centros notveis, este matemtico descobriu que trs deles
so sempre colineares independentemente do tringulo escolhido. O seu nome
foi dado recta que os contm, recta de Euler. Estes teoremas e leis que foram
sendo provados ao longo dos sculos permitiram que se fosse desvendando
muitos mistrios em volta de uma gura to simples como o tringulo.
sobretudo a partir de 1873 que Lemaine e depois Brocar iniciaram
uma srie de estudos sobre o tringulo, a que vm mais tarde juntar-se, entre
outros, Vigorie, Ocagne, Longchamps e Neuberg. Nestes estudos
sobre o tringulo, estes matemticos utilizaram para as suas investigaes as
coordenadas trilineares.
Falar da geometria do tringulo tambm falar dos centros ou
pontos notveis do tringulo. Os mais conhecidos e antigos so sem dvida o
incentro, baricentro, circuncentro e ortocentro, mas no so os nicos (ver
Captulo 3). Para o quadrado o ponto de interseco das suas diagonais o
mesmo que o ponto equidistante dos lados ou dos vrtices, no tringulo esses
dois pontos sero o incentro e o circuncentro. Para ajudar a compreender
melhor as propriedades e relaes entre estes e outros centros do tringulo,
a introduo das coordenadas trilineares ocupa um papel muito importante.
Em [11, Encyclopedia of Triangle Centers - ETC], Clark Kimberling rene
provavelmente a maior coleco de centros do tringulo, mais de 3200. Neste
site todos os pontos so acompanhados das suas coordenadas
trilineares e baricentricas assimcomo uma profunda coleco de propriedades.
necessrio assinalar que em Portugal existem poucas referncias
bibliogrcas que tratem deste assunto, deste modo o referido site de C.
Kimberling e os livros [4] e [10] foram muito importantes para a redaco
desta tese.
Ao contrrio das coordenadas cartesianas, em que os pontos mudam as
suas coordenadas sempre que o referencial muda, nas coordenadas
trilineares tal no acontece. Assim, os pontos notveis escritos em
coordenadas trilineares mantm as suas coordenadas mesmo quando o
referencial muda, isto , as coordenadas trilineares sero invariantes qualquer
que seja o tringulo considerado. Esta uma grande vantagem de trabalhar
neste tipo de coordenadas e consequentemente o estudo de propriedades e
4
relaes torna-se na maioria dos casos mais simples.
1.1 Tecnologia e a Matemtica
Em todas as pocas tm surgido novas tecnologias, sendo os novos
desenvolvimentos em Matemtica muitas vezes o motor que inuencia o
surgimento dessas novas tecnologias e em muitos casos as diversas
tecnologias tm estado associadas ao clculo aritmtico. Esta uma evoluo
francamente visvel, atravs da palavra clculo (do latim calculus pedra)
compreendemos que de facto em tempos antigos eram utilizadas pedras ou
pequenos seixos para auxiliar as operaes aritmticas. Com o passar dos
tempos foram sendo utilizados outros instrumentos, como o caso do baco e
mais recentemente a mquina da calcular. Actualmente as novas tecnologias
centram-se mais no uso dos computadores, pois estes permitem uma grande
capacidade de armazenamento de dados e grande rapidez de processamento.
A utilizao destes meios informticos cada vez mais uma prtica comum
e em muitos casos est a tornar-se mesmo essencial.
Na rea da Matemtica os computadores so utilizados como
instrumentos de clculo numrico ou simblico, executando tarefas de acordo
com sistemas de regras bem denidos. Podem tambm ser utilizados como
instrumentos de investigao, permitindo a elaborao de conjecturas e a
explorao atravs de simulaes do comportamento de determinados
sistemas e a inuncia que neles exercem estes ou aqueles parmetros ou
propriedades estruturais.
No desenvolvimento deste trabalho, o computador desempenha sem
dvida um papel de grande relevo na vericao e obteno de resultados.
Trabalhar com coordenadas trilineares implica trabalhar na maioria das vezes
com frmulas extensas e com diversas variveis, o que requer algum cuidado e
concentrao. Assim para tornar a obteno de resultados mais rpida e sem
falhas foi com naturalidade que recorremos ao computador e ao
software Mathematica. Este software extremamente abrangente, pode
efectuar clculos numricos, operar expresses algbricas, gerar uma grande
variedade de grcos e at desenvolver documentos para impresso,
utilizando linguagem de programao o que permite ser utilizado em vrias
reas e por diversos especialistas. Com o auxlio deste software foi
possvel deixar as tarefas rotineiras e demoradas de simplicao a cargo do
computador. No Captulo 5 podemos vericar a utilidade desta fabulosa
ferramenta que o Mathematica. Atravs deste software foi possvel tirar
concluses que de outra forma seriam quase impossveis de resolver.
Sendo este um trabalho de geometria, ser fcil de imaginar que em
5
muitos casos as explicaes e demonstraes sero acompanhadas de guras
para tornar mais claro e perceptvel o raciocnio. Todas as guras foram
elaboradas pelo software Geometers Sketchpad, um programa essencialmente
virado para o desenho geomtrico, de fcil utilizao mas sempre
acompanhado de grande rigor.
Com o auxlio destas poderosas ferramentas foi possvel testar, analisar,
representar e concluir alguns resultados bastante interessantes.
6
1.2 Noes elementares
Alguns teoremas, denies, proposies e equaes que ilustram resultados
muito conhecidos e que so adquiridos at ao nal do ensino secundrio so
muitas vezes a base para obter resultados mais complexos. Neste trabalho
em concreto, as vrias equaes da recta, as distncias, a rea do tringulo,
entre outros resultados so de extrema importncia, da a necessidade de os
rever ainda que possam ser encarados como noes elementares.
A equao de uma recta em coordenadas cartesianas pode ser denida de
vrias formas equivalentes
y = mx +b,
x
a
+
y
b
= 1
Ax +By +C = 0. (1.1)
Alm destas trs equaes e atravs do lema seguinte possvel escrever
uma outra equao da recta.
Lema 1.2.1 Consideremos os eixos do referencial cartesiano. Seja L uma
recta e P o ponto de interseco da recta L e da recta perpendicular a L que
passa pela origem do referencial O = (0, 0), X = (1, 0) e o ngulo XOP.
Uma equao de L
xcos +y sin = p, (1.2)
onde p = |OP|.
L
y - eixo
x - eixo

P
O X
Figura~1.2:
7
No clculo de distncias daremos especial ateno distncia entre dois
pontos e distncia entre um ponto e uma recta. Consideremos que
P = (x
1
, y
1
) e Q = (x
2
, y
2
) so dois pontos em coordenadas cartesianas e
r uma recta da forma (1.1). A distncia entre P e Q dada por
|PQ| =
_
(x
1
x
2
)
2
+ (y
1
y
2
)
2
, (1.3)
e a distncia entre o ponto P e a recta r ser
d (P, r) =
|Ax
1
+By
1
+C|

A
2
+ B
2
. (1.4)
Por diversas vezes ao longo do trabalho ser feita referncia lei dos
cosenos e dos senos. Estas duas leis permitem-nos relacionar os
comprimentos dos lados de um tringulo com os cosenos dos ngulos
internos, no primeiro caso e os lados, senos e raio da circunferncia
circunscrita no segundo.
Teorema 1.2.2 (Lei dos cosenos)
Em qualquer tringulo, o quadrado do comprimento de cada lado igual
soma dos quadrados dos comprimentos dos outros dois lados, menos o dobro
do produto dos comprimentos desses lados pelo coseno do ngulo por eles
formados, isto , so vlidas as frmulas
a
2
= b
2
+c
2
2bc cos A,
b
2
= c
2
+a
2
2ca cos B,
c
2
= a
2
+b
2
2ab cos C.
onde A, B e C so os ngulo internos e a, b e c os comprimentos dos lados
opostos aos ngulos.
Demonstrao Consideremos um tringulo arbitrrio [ABC] em que a, b
e c so os comprimentos dos lados BC, AC e AB, respectivamente.
Seja D o ponto da recta BC de modo a que AD seja perpendicular a
BC (AD a altura do tringulo [ABC] relativamente a A). Temos que
distinguir trs casos, se os ngulos ABC e ACB forem
ambos agudos, o ponto D situa-se entre B e C, se A

BC < 90
o
e
A

CB > 90
o
, o vrtice B est entre A e D e no caso de A

CB = 90
o
o ponto D coincide com C.
Analisando os dois primeiros casos vericamos que no tringulo [ABD]
os catetos so h e a
1
, no caso do tringulo [ACD] os catetos so h e
a
2
, sendo
a
1
= c cos B, a
2
= b cos C.
8
a
2
a
1
h h
a
1
a
2 D D B C
A A
B C
Figura~1.3:
No primeiro caso, a
1
e a
2
so positivos, no segundo caso a
1
> 0 e a
2
< 0,
mas em qualquer dos casos podemos escrever
a = a
1
+a
2
.
Aplicando o teorema de Pitgoras em cada um dos tringulos, [ADC]
e [ABD], obtemos
b
2
= h
2
+a
2
2
, c
2
= h
2
+a
2
1
,
e daqui
b
2
= c
2
+a
2
2
a
2
1
= c
2
+ (a a
1
)
2
a
2
1
= c
2
+a
2
2aa
1
= c
2
+a
2
2ac cos B.
As restantes duas frmulas resultam de uma mudana de notao. Na
ltima situao, onde A

CB = 90
o
, constatamos que a
2
= 0 e que
continuam a ser vlidas as mesmas igualdades.
Teorema 1.2.3 (Lei dos senos)
Em qualquer tringulo, o comprimento de cada lado o produto do
dimetro da circunferncia circunscrita pelo seno do ngulo oposto.
Tomando R como raio da circunferncia circunscrita, temos
a = 2Rsin A, b = 2RsinB, c = 2RsinC,
ou
a
sin A
=
b
sin B
=
c
sin C
= 2R.
9
D
O
B
A
C
Figura~1.4:
Demonstrao Iremos provar apenas a primeira igualdade do teorema,
as restantes podem ser provadas de forma anloga. Consideremos a
Fig. 1.4, onde est representado um tringulo [ABC], a circunferncia
circunscrita a esse tringulo e o ponto D pertencente
circunferncia de modo a que BD seja o dimetro. No caso de C = D,
BAC car inscrito numa semi-circunferncia e nesse caso sin A = 1,
sendo a frmula verdadeira. No caso em que C = D, os ngulos BAC
e BDC ou so congruentes ou so suplementares, mas em ambos os
casos o valor do seno igual. Como o tringulo [BDC] rectngulo,
podemos escrever
sin A = sin
_
B

DC
_
=
|BC|
|BD|
=
a
2R
,
onde R representa o raio da circunferncia, desta forma provamos que
sin A =
a
2R

a
sin A
= 2R.

Para trabalhar em coordenadas trilineares, nomeadamente para estudar

relaes entre pontos, necessitamos de utilizar a rea do tringulo e as suas
diferentes maneiras de a calcular. No decorrer deste trabalho a rea ser
representada por .
Como se sabe, a rea de um tringulo obtm-se calculando a metade do
produto da medida da sua altura pela medida da sua base
=
1
2
bh, (1.5)
10
[2, p. 201], esta sem dvida a maneira clssica de determinar a rea, no
entanto existem outras, como o caso de expressar a rea em funo dos
comprimentos dos lados do tringulo.
Proposio 1 (Frmula de Hero)
Sejam a, b e c os comprimentos dos lados do tringulo [ABC], ento a
sua rea dada por
=
_
p (p a) (p b) (p c), (1.6)
onde p representa o semi-permetro do tringulo [ABC]. Esta frmula
tambm conhecida como a frmula de Hero
11
.
Demonstrao Seja [ABC] umtringulo emque os comprimentos dos lados
BC, AC e AB so a, b e c, respectivamente, e seja D o ponto de BC
que representa o p da altura do tringulo em A. Considerando, sem
perda de generalidade, que os ngulos B e C so agudos, a rea do
tringulo [ABC] pode ser ento escrita como a soma das reas dos
tringulos [ABD] e [ADC].
a - x
b
c
x D
A
C B
Figura~1.5:
A medida AD, altura do tringulo em A, pode ser escrita como
h
2
A
= c
2
(a x)
2
e h
2
A
= b
2
x
2
em relao aos tringulos [ABD]
e [ADC], respectivamente (Fig. 1.5). Destas duas equaes obtemos
x =
a
2
+b
2
c
2
2a
e substituindo este resultado em h
2
A
= b
2
x
2
, temos:
h
2
A
= b
2

_
a
2
+b
2
c
2
2a
_
2
11
ou frmula de Heron, em homenagem ao gemetra, engenheiro, matemtico e mecnico
grego Heron de Alexandria (sc. I). A demonstrao da frmula foi apresentada num dos
seus tratados chamado Mtrica.
11
=
a
4
b
4
c
4
+ 2a
2
b
2
+ 2a
2
c
2
+ 2b
2
c
2
4a
2
=
(a
2
b
2
c
2
+ 2bc) (a
2
+ b
2
+ c
2
+ 2bc)
4a
2
=

a
2
(b c)
2

(b + c)
2
a
2

4a
2
=
(a b + c) (a + b c) (b + c a) (a + b + c)
4a
2
.
Seja P = a + b + c e p =
a+b+c
2
, temos ento as seguintes relaes
a + b c = a + b + c 2c = P 2c = 2 (p c) ,
a b + c = a + b + c 2b = P 2b = 2 (p b) ,
b + c a = a + b + c 2a = P 2a = 2 (p a) ,
podemos desta forma reescrever h
2
A
h
2
A
=
4p (p a) (p b) (p c)
a
2
,
ento
h
A
=
2
a

p (p a) (p b) (p c),
assim, por (1.5), a rea do ABC dada por:
=
1
2
a
2
a

p (p a) (p b) (p c)
=

p (p a) (p b) (p c).

Uma outra demonstrao pode ser vista em [1, p. 81].

Podemos tambm determinar a rea de um tringulo relacionando os
comprimentos dos seus lados e a amplitude dos seus ngulos internos.
Proposio 2 Sejam a, b, c os comprimentos dos lados e A, B, C os ngulos
internos do tringulo arbitrrio [ABC], ento a sua rea dada por
=
1
2
cb sin A =
1
2
ca sin B =
1
2
ab sin C. (1.7)
Demonstrao Pela Fig. 1.5 podemos escrever h = c sin B, onde h
representa a altura do tringulo em A, e por (1.5) a rea do tringulo
ser
=
1
2
ca sin B,
de forma anloga obtemos as igualdades =
1
2
cb sin A e =
1
2
ab sin C.
12
possvel ainda relacionar a rea com os comprimentos dos lados e o
raio da circunferncia inscrita ou os comprimentos dos lados com o raio da
circunferncia circunscrita.
Proposio 3 Sejam a, b, c os comprimentos dos lados e r o raio da
circunferncia inscrita no tringulo [ABC], ento a sua rea dada por
= rp,
onde p representa o semi-permetro do tringulo [ABC].
Demonstrao Seja I o centro da circunferncia inscrita no tringulo [ABC].
Podemos ento escrever atravs da soma das reas dos tringulos
[ABI], [AIC] e [IBC], como ilustra a Fig. 1.6.
b
c
a
I
r
r
r
A
C B
Figura~1.6:
=
[ABI]
+
[AIC]
+
[IBC]
=
1
2
cr +
1
2
br +
1
2
ar
=
a +b +c
2
r
= rp,
onde p representa o semi-permetro.
Proposio 4 Sejam a, b, c os comprimentos dos lados e R o raio da
circunferncia circunscrita no tringulo [ABC], ento a sua rea dada por
=
abc
4R
.
13
Demonstrao Para obter a frmula do clculo da rea do tringulo a
depender dos comprimentos dos lados e do raio da circunferncia
circunscrita, suciente relacionar os resultados obtidos na lei dos
senos e na proposio 2. Assim, considerando
a = 2Rsin A e =
1
2
cb sin A,
chegamos facilmente a
=
abc
4R
.

Ao longo deste trabalho iremos tambm necessitar de outras noes como

o caso da congruncia de tringulos ou algumas relaes entre ngulos, para
isso sugerido ao leitor a consulta de [14] e de [12].
14
Captulo 2
Coordenadas trilineares
Consideremos um tringulo arbitrrio [ABC], em que os comprimentos dos
seus lados so a, b e c (Fig. 2.1). As coordenadas trilineares de um ponto
P em relao ao tringulo [ABC] representam-se por : : , em que ,
e so directamente proporcionais s distncias euclidianas do ponto P s
rectas BC, CA e AB, isto
: : = ka

: kb

: kc

,
sendo a

, b

e c

as distncias euclidianas do ponto P aos respectivos lados do

tringulo e k uma constante diferente de zero.
c
b
a
P
c'
b'
a'
C
B
A
Figura~2.1:
Deste modo os trs vrtices A, B e C do tringulo tm como coordenadas
1 : 0 : 0, 0 : 1 : 0 e 0 : 0 : 1, respectivamente.
Teorema 2.0.4 Multiplicando as coordenadas trilineares de P = : :
por k =
2
a+b+c
obtemos a distncia euclidiana de P aos lados do tringulo,
15
onde a rea do ABC. s coordenadas obtidas, isto , tripla onde
cada uma das componentes representa a distncia euclidiana de P aos lados
do tringulo d-se o nome de coordenadas trilineares exactas.
Demonstrao Sendo : : as coordenadas de P e a

, b

, e c

as
distncias euclidianas de P aos lados BC, AC e AB, respectivamente,
podemos ento escrever as distncias da seguinte maneira
a

= k,
b

= k,
c

= k.
Atravs das reas dos tringulos [ABC], [BCP], [ACP] e [APB]
(Fig. 2.1), representadas por ,
a
,
b
e
c
, respectivamente, podemos
encontrar o valor de k. Temos ento que
=
a
+
b
+
c
=
1
2
aa

+
1
2
bb

+
1
2
cc

=
1
2
ak +
1
2
bk +
1
2
ck
=
1
2
k (a +b +c) ,
ento
k
2
a +b +c
. (2.1)

Corolrio 2.0.5 Quando k = 1, as coordenadas de P indicam as distncias

reais (euclidianas) de P aos lados do tringulo.
As coordenadas trilineares exactas representam-se por (, , ),
caso contrrio ser utilizada a notao : : . A esta ltima
representao tambm se d o nome de coordenadas trilineares homogneas.
Pela introduo do conceito de coordenadas trilineares de um ponto e
pelo teorema anterior podemos concluir que qualquer ponto multiplicado
pela constante k (k = 0), descreve o mesmo ponto.
No plano do tringulo [ABC] a recta BC divide o plano em dois
semi-planos. Iremos ento assumir que o semi-plano que contm o vrtice
A a regio onde a coordenada positiva, sendo que no outro semi-plano
tem um valor negativo, ver Fig. 2.2.
16

1

1

1
B C
A
P
Figura~2.2: Distncias trilineares euclidianas do ponto P.
1
< 0,
1
> 0,

1
> 0.
Se P um ponto no plano do ABC, a sua coordenada em relao ao
lado BC ser , onde representa a distncia euclidiana de P a BC, e
=
_
1, se P est no lado negativo de BC,
1, caso contrrio.
Analogamente podemos escrever as respectivas coordenadas de P em relao
aos lados CA e AB. Desta forma, as distncias em relao aos lados podem
ou no ser negativas, dependendo do stio onde se encontra o ponto P.
2.1 Coordenadas Cartesianas
As coordenadas trilineares e as coordenadas cartesianas podem ser
relacionadas de forma a que qualquer ponto em coordenadas trilineares possa
ser convertido em coordenadas cartesianas e vice-versa.
Para relacionar estes dois tipos de coordenadas, introduzimos um
referencial cartesiano no plano do tringulo [ABC], para que qualquer ponto
Q em coordenadas cartesianas possa ser escrito em coordenadas trilineares e
vice-versa.
Comecemos por desenhar o referencial cartesiano de tal forma que O
(origem do referencial) se situe no interior do tringulo. Sejam P
1
, P
2
e
P
3
os pontos de interseco dos lados do tringulo e das respectivas rectas
perpendiculares que passam por O. Consideremos um ponto X no eixo dos
xx do referencial cartesiano e um ponto Q situado no interior do ABC,
tal como podemos ver na Fig. 2.3, e sejam
i
= XOP
i
e p
i
= |OP
i
|, para
i = 1, 2, 3.
17
y - eixo
x - eixo
P
3
P
2
P
1
O
A
C
B
Q
X
Figura~2.3: Referencial cartesiano no sistema de coordenadas trilineares.
Pelo Lema 1.2.1 as equaes das rectas BC, CA e AB so
xcos
i
+y sin
i
= p
i
, para i = 1, 2, 3.
Considerando que (u, v) so as coordenadas cartesianas do ponto Q e
no caso de (, , ) serem as coordenadas trilineares exactas do ponto Q,
o sinal das distncias do ponto Q aos lados do tringulo igual ao sinal
das distncias P
1
, P
2
e P
3
, pois o ponto O situa-se no interior do ABC.
Recorrendo a (1.4), podemos escrever
= p
1
ucos
1
v sin
1
,
= p
2
ucos
2
v sin
2
,
= p
3
ucos
3
v sin
3
.
Atravs das igualdades anteriores podemos vericar que as distncias ,
e dependem de onde est situado o ponto O e dos ngulos
i
(i = 1, 2, 3).
Para simplicar as igualdades anteriores escolhemos O como sendo o incentro
do tringulo ABC, assimp
1
= p
2
= p
3
= r , sendo r o raio da circunferncia
inscrita em ABC. Tomando o eixo das abcissas paralelo a BC no sentido
positivo, ou seja, de B para C. Obtemos

1
=
3
2
, (2.2)
18

2
= +C, (2.3)

3
= B, (2.4)

2
= A, (2.5)
ento
3
=

2
+B e
2
=

2
C, logo
= p
1
ucos
3
2
v sin
3
2
,
= p
2
ucos
_

2
C
_
v sin
_

2
C
_
,
= p
3
ucos
_

2
+B
_
v sin
_

2
+B
_
,
simplicando, obtemos as igualdades que nos permitem converter o ponto Q,
escrito em coordenadas cartesianas, em coordenadas trilineares
= r +v,
= r usin C v cos C,
= r +usin B v cos B. (2.6)
Para obter as coordenadas cartesianas a partir das coordenadas trilineares
teremos primeiramente que as converter em coordenadas trilineares exactas,
no caso de ainda no o serem, para tal multiplicam-se as coordenadas pela
constante k =
2
a+b+c
e obtemos as seguintes igualdades
k = r +v,
k = r usin C v cos C,
k = r +usin B v cos B.
Utilizando as duas primeiras equaes anteriores e resolvendo o sistema
em ordem a u e v, tem-se
v = k r,
u =
k r + (k r) cos C
sin C
,
como u e v so as coordenadas cartesianas do ponto Q, podemos
substitui-las por x e y, respectivamente, e obter
x =
k r + (k r) cos C
sin C
,
y = k r. (2.7)
19
2.2 Pontos em coordenadas trilineares
Teorema 2.2.1 Para determinar um ponto P em coordenadas trilineares
so necessrias apenas duas distncias trilineares.
Demonstrao Tomemos P um ponto no plano do ABC e
consideremos, sem perda de generalidade, a recta perpendicular a CA
que contm P. Obtemos ento
1
, a distncia de P a CA.
Analogamente podemos obter
1
em relao ao lado AB. Estas duas
rectas intersectam-se num nico ponto P. Desta forma a terceira
coordenada
1
est univocamente determinada por
1
e
1
.
2.2.1 Conjugado isogonal
Consideremos um ponto P situado no interior do ABC e sejam AP, BP e
CP as rectas que ligam cada um dos vrtices ao ponto P. A reexo de AP
atravs da bissectriz
1
do ngulo A, a reexo de BP atravs da bissectriz do
ngulo B e a reexo de CP atravs da bissectriz do ngulo C concorrem
num ponto
2
a que se d o nome de conjugado isogonal de P, Fig. 2.4.
Q
B C
A
P
Figura~2.4: P e Q, conjugados isogonais.
Sejam : : as coordenadas trilineares de P, as coordenadas trilineares
de Q, conjugado isogonal de P, so dadas por : : ([10, p. 36]).
2.2.2 Conjugado isotmico
Consideremos um ponto P situado no interior do ABC e sejam AP, BP
e CP as rectas que ligam cada um dos vrtices ao ponto P. Sejam A

, B

,
1
Semi-recta que divide um ngulo ao meio.
2
Ver [18, p. 3].
20
C

os pontos de interseco das rectas AP, BP, CP com os lados BC, AC e

AB, respectivamente. Ao fazer a reexo de A

, B

, C

em relao aos pontos

mdios de BC, AC e AB obtemos A

, B

, C

. As rectas AA

, BB

e CC

intersectam-se num ponto a que se d o nome de conjugado isotmico (Fig.

2.5).
Q
C''
C'
B''
B'
A'' A' B
C
A
P
Figura~2.5: P e Q, conjugados isotmicos.
Se as coordenadas trilineares de P forem : : ento as coordenadas
trilineares do conjugado isotmico sero
1
a
2

:
1
b
2

:
1
c
2

([10, p. 36 e 37]).
2.2.3 Distncia entre dois pontos
Devido complexidade da frmula da distncia entre pontos em coordenadas
trilineares e de forma a simplicar os resultados, vamos considerar apenas
pontos escritos em coordenadas trilineares exactas.
Proposio 5 Sendo P = (, , ) e Q = (
1
,
1
,
1
) dois pontos em
coordenadas trilineares exactas, a distncia entre estes dois pontos dada
por
|PQ| =
_
abc [a (
1
) (
1
) +b (
1
) (
1
) +c (
1
) (
1
)]
2
,
(2.8)
ou
|PQ| =
_
abc
_
a cos A(
1
)
2
+b cos B(
1
)
2
+c cos C (
1
)
2

2
,
21
em que representa a rea do tringulo [ABC] e a, b e c so os comprimentos
dos lados BC, AC e AB, respectivamente.
Demonstrao Sejam P = (, , ) e Q = (
1
,
1
,
1
) dois pontos em
coordenadas trilineares exactas. Recorrendo a (2.7) e tendo em conta
que k = 1, visto considerarmos apenas pontos em coordenadas exactas,
temos
P =
_
x =
r+(r) cos C
sinC
,
y = r,
Q =
_
x
1
=

1
r+(
1
r) cos C
sinC
,
y
1
=
1
r.
Agora com P e Q escritos em coordenadas cartesianas podemos aplicar
(1.3) e determinar a distncia entre os dois pontos.
Podemos escrever
(x x
1
)
2
=
_

r + ( r) cos C
sin C
+

1
r + (
1
r) cos C
sin C
_
2
=
_
+r ( r) cos C +
1
r + (
1
r) cos C
sin C
_
2
=
_
+
1
+ (
1
) cos C
sinC
_
2
=
(
1
)
2
+ (
1
)
2
cos
2
C + 2 (
1
) (
1
) cos C
sin
2
C
,
e
(y y
1
)
2
= ( r
1
+r)
2
= (
1
)
2
.
Substituindo estes resultados em |PQ|, temos
_
(
1
)
2
+ (
1
)
2
cos
2
C + 2 (
1
) (
1
) cos C
sin
2
C
+ (
1
)
2
=
_
(
1
)
2
+ (
1
)
2
+ 2 (
1
) (
1
) cos C
sin
2
C
=
_
(
1
)
2
+ (
1
)
2
+ 2 (
1
) (
1
) cos C
4
2
a
2
b
2
=
_
a
2
b
2
_
(
1
)
2
+ (
1
)
2
+ 2 (
1
) (
1
) cos C

2
.
22
Consideremos
D = (
1
)
2
+ (
1
)
2
,
E = 2 (
1
) (
1
) cos C.
Tendo em conta que P e Q esto em coordenadas exactas, podemos
escrever
_
a +b +c = 2,
a
1
+b
1
+c
1
= 2,
subtraindo as igualdades, obtemos que
a (
1
) +b (
1
) +c (
1
) = 0, (2.9)
o que quer dizer que
_

1
=
b(
1
)c(
1
)
a
,

1
=
a(
1
)c(
1
)
b
,
substituindo em D, vem que
(
1
)
a (
1
) c (
1
)
b
+ (
1
)
b (
1
) c (
1
)
a
=
a
2
(
1
) (
1
) ac (
1
) (
1
)
ab
+
+
b
2
(
1
) (
1
) bc (
1
) (
1
)
ab
.
Utilizando a lei dos cosenos, enunciada no Captulo 1, podemos
reescrever E
E = 2
a
2
+b
2
c
2
2ab
(
1
) (
1
)
=
a
2
(
1
) (
1
) +b
2
(
1
) (
1
) c
2
(
1
) (
1
)
ab
,
ento D +E
ac (
1
) (
1
) bc (
1
) (
1
) c
2
(
1
) (
1
)
ab
,
voltando expresso da distncia, obtemos
_
abc [a (
1
) (
1
) +b (
1
) (
1
) +c (
1
) (
1
)]
2
.
23
Esta a frmula da distncia entre dois pontos que depende apenas dos
comprimentos dos lados dos tringulo. No entanto possvel escrever
a frmula da distncia dependendo dos comprimentos dos lados e dos
ngulos internos do tringulo de referncia.
Comecemos por traar as alturas do ABC, como mostra a Fig. 2.6.
F
E
D B C
A
Figura~2.6:
Tendo em conta que
a = |BD| +|DC| ,
podemos escrever o lado |BC|, de comprimento a, como sendo
a = c cos B +b cos C,
de forma anloga poderemos obter para b e c, comprimentos dos lados
AC e AB, as seguintes expresses
b = c cos A+a cos C,
c = b cos A+a cos B.
De (2.8), seja
F = a (
1
) (
1
) +b (
1
) (
1
) +c (
1
) (
1
) .
Considerando agora os valores de a, b e c acima descritos e substituindo
em F, temos
F = (b cos C +c cos B) (
1
) (
1
) +
(c cos A+a cos C) (
1
) (
1
) +
24
(b cos A+a cos B) (
1
) (
1
)
= cos A(
1
) [c (
1
) +b (
1
)] +
cos B(
1
) [c (
1
) +a (
1
)] +
cos C (
1
) [b (
1
) +a (
1
)] .
A partir de (2.9), temos que
F = a cos A(
1
)
2
b cos B(
1
)
2
c cos C (
1
)
2
.
Por ltimo, substituindo em (2.8) e simplicando, obtemos
|PQ| =
_
abc
_
a cos A(
1
)
2
+b cos B(
1
)
2
+c cos C (
1
)
2

2
.

A demonstrao da proposio 5 mostra que o clculo da distncia

entre pontos em coordenadas trilineares pode ser uma tarefa extremamente
complicada do ponto de vista prtico. Por esta razo quase indispensvel
o uso das novas tecnologias nos processos de simplicao.
2.2.4 Colinearidade
Proposio 6 Trs pontos : : ,
1
:
1
:
1
e
2
:
2
:
2
so colineares
se e s se
D =

1

1

1

2

2

2

= 0. (2.10)
Demonstrao Sejam P = (u, v), P
1
= (u
1
, v
1
) e P
2
= (u
2
, v
2
) trs
pontos em coordenadas cartesianas e colineares. As suas coordenadas
trilineares so
= r +v,
= r usin C v cos C,
= r +usin B v cos B,
para P;

1
= r +v
1
,

1
= r u
1
sin C v
1
cos C,

1
= r +u
1
sin B v
1
cos B,
25
para P
1
e

2
= r +v
2
,

2
= r u
2
sin C v
2
cos C,

2
= r +u
2
sin B v
2
cos B,
para P
2
.
Substituindo estas expresses no determinante D, obtemos que
D =

r +v r usinC v cos C r +usin B v cos B

r +v
1
r u
1
sin C v
1
cos C r +u
1
sin B v
1
cos B
r +v
2
r u
2
sin C v
2
cos C r +u
2
sin B v
2
cos B

,
aplicando as propriedades dos determinantes vem que
D =

r r usin C v cos C r +u sin B v cos B

r r u
1
sin C v
1
cos C r +u
1
sin B v
1
cos B
r r u
2
sin C v
2
cos C r +u
2
sin B v
2
cos B

v r u sin C v cos C r +usin B v cos B

v
1
r u
1
sin C v
1
cos C r +u
1
sin B v
1
cos B
v
2
r u
2
sin C v
2
cos C r +u
2
sin B v
2
cos B

.
Podemos ento dizer que D = E +F, sendo
E =

r r usin C v cos C r +u sin B v cos B

r r u
1
sin C v
1
cos C r +u
1
sin B v
1
cos B
r r u
2
sin C v
2
cos C r +u
2
sin B v
2
cos B

,
e
F =

v r usinC v cos C r +usin B v cos B

v
1
r u
1
sin C v
1
cos C r +u
1
sin B v
1
cos B
v
2
r u
2
sin C v
2
cos C r +u
2
sin B v
2
cos B

,
De maneira semelhante, para o determinante E, temos que
E =

r r r +usin B v cos B
r r r +u
1
sinB v
1
cos B
r r r +u
2
sinB v
2
cos B

+
+

r usin C v cos C r +u sin B v cos B

r u
1
sin C v
1
cos C r +u
1
sin B v
1
cos B
r u
2
sin C v
2
cos C r +u
2
sin B v
2
cos B

26
logo
E = 0 +

r usin C v cos C r +u sin B v cos B

r u
1
sin C v
1
cos C r +u
1
sin B v
1
cos B
r u
2
sin C v
2
cos C r +u
2
sin B v
2
cos B

,
continuando a aplicar as propriedades dos determinantes e
simplicando, obtemos que
E =

1 u v
1 u
1
v
1
1 u
2
v
2

r sin (C +B) .
Para o determinante F, podemos escrever
F =

v r r +u sin B v cos B
v
1
r r +u
1
sin B v
1
cos B
v
2
r r +u
2
sin B v
2
cos B

+
+

v usin C v cos C r +usin B v cos B

v
1
u
1
sin C v
1
cos C r +u
1
sin B v
1
cos B
v
2
u
2
sin C v
2
cos C r +u
2
sin B v
2
cos B

=
= r sin B

1 u v
1 u
1
v
1
1 u
2
v
2

+r sinC

1 u v
1 u
1
v
1
1 u
2
v
2

=
= r (sin B + sin C)

1 u v
1 u
1
v
1
1 u
2
v
2

.
ento possvel reescrever D da seguinte forma
D = E +F
=

1 u v
1 u
1
v
1
1 u
2
v
2

r sin(C +B) +r (sin B + sin C)

1 u v
1 u
1
v
1
1 u
2
v
2

1 u v
1 u
1
v
1
1 u
2
v
2

r [sinA + sin B + sin C] .

Tendo em conta que

1 u v
1 u
1
v
1
1 u
2
v
2

u u
1
v v
1
u u
2
v v
2

27
podemos armar que D = 0 se e s se

u u
1
v v
1
u u
2
v v
2

= 0
isto , se e s se P, P
1
e P
2
so colineares.
Exemplo 2.2.2 Os pontos de coordenadas trilineares
1
a
:
1
b
:
1
c
;
a (b
2
+c
2
a
2
) : b (a
2
+c
2
b
2
) : c (a
2
+b
2
c
2
) e
1
a(b
2
+c
2
a
2
)
:
1
b(a
2
+c
2
b
2
)
:
1
c(a
2
+b
2
c
2
)
respeitam a proposio anterior, isto , so colineares. Estes trs
pontos so o baricentro, o circuncentro e o ortocentro que sero estudados em
pormenor no Captulo 3, a recta que os contm uma das mais
conhecidas e estudadas, a recta de Euler.
2.2.5 Ponto mdio
Proposio 7 Consideremos dois pontos
P
1
=
1
:
1
:
1
e P
2
=
2
:
2
:
2
,
em coordenadas trilineares e o segmento de recta por eles formado. O ponto
mdio M =
m
:
m
:
m
do segmento de recta dado por

m
= 2a
1

2
+b (
1

2
+
2

1
) +c (
1

2
+
2

1
) ,

m
= a (
1

2
+
2

1
) + 2b
1

2
+c (
1

2
+
2

1
) ,

m
= a (
1

2
+
2

1
) +b (
1

2
+
2

1
) + 2c
1

2
. (2.11)
Demonstrao Recorrendo relao existente entre as coordenadas
trilineares e as coordenadas cartesianas (2.7), podemos escrever os
pontos P
1
e P
2
em coordenadas cartesianas
P
1
=
_
x
1
=
k
1

1
r+(k
1

1
r) cos C
sinC
,
y
1
= k
1

1
r,
P
2
=
_
x
2
=
k
2

2
r+(k
2

2
r) cos C
sinC
,
y
2
= k
2

2
r.
Com os pontos em coordenadas cartesianas podemos facilmente
encontrar o ponto mdio, M, que ser dado por
M =
_
x
m
=
x
1
+x
2
2
y
m
=
y
1
+y
2
2
=
_
x
m
=
(k
1

1
+k
2

2
)+2rcos C(k
1

1
+k
2

2
2r)
2 sinC
,
y
m
=
k
1

1
+k
2

2
2r
2
,
28
Utilizando (2.6) possvel escrever M em coordenadas trilineares. A
coordenada
m
ser dada por

m
= r +
k
1

1
+k
2

2
2r
2
=
k
1

1
+k
2

2
2
.
Tendo em conta (2.1), temos

m
=

E
[
1
(a
2
+b
2
+c
2
) +
2
(a
1
+b
1
+c
1
)]
=

E
[2a
1

2
+b (
1

2
+
1

2
) +c (
1

2
+
1

2
)] ,
onde
E = (a
1
+b
1
+c
1
) (a
2
+b
2
+c
2
) .
A coordenada de
m
ser

m
= r
(k
1

1
+k
2

2
) + 2r cos C (k
1

1
+k
2

2
2r)
2 sin C
sinC
k
1

1
+k
2

2
2r
2
cos C
=
k
1

1
+k
2

2
2
=

E
[a (
1

2
+
1

2
) + 2b
1

2
+c (
1

2
+
1

2
)] .
Para o clculo de
m
, no lugar de (2.7) necessrio utilizar uma
outra relao entre as coordenadas trilineares e as cartesianas. De
facto podemos escrever (2.7) em funo de e , que ser da forma
x =
k r + (k r) cos B
sin B
,
y = k r.
e neste caso
M =
_
x
m
=
k
1

1
+k
2

2
2r+cos B(k
1

1
+k
2

2
2r)
2 sinB
,
y
m
=
k
1

1
+k
2

2
2r
2
.
Assim

m
= r +
k
1

1
+k
2

2
2r + cos B(k
1

1
+k
2

2
2r)
2 sin B
sin B
29
k
1

1
+k
2

2
2r
2
cos B
=
k
1

1
+k
2

2
2
=

E
[a (
1

2
+
1

2
) +b (
1

2
+
1

2
) + 2c
1

2
] .
As coordenadas trilineares de M sero

m
=

E
[2a
1

2
+b (
1

2
+
1

2
) +c (
1

2
+
1

2
)] ,

m
=

E
[a (
1

2
+
1

2
) + 2b
1

2
+c (
1

2
+
1

2
)] ,

m
=

E
[a (
1

2
+
1

2
) +b (
1

2
+
1

2
) + 2c
1

2
] ,
como as coordenadas trilineares so coordenadas homogneas, podemos
multiplicar o terno por
k =
E

,
obtendo assim as coordenadas simplicadas de M, o ponto mdio do
segmento formado por P
1
e P
2

m
= 2a
1

2
+b (
1

2
+
1

2
) +c (
1

2
+
1

2
) ,

m
= a (
1

2
+
1

2
) + 2b
1

2
+c (
1

2
+
1

2
) ,

m
= a (
1

2
+
1

2
) +b (
1

2
+
1

2
) + 2c
1

2
.

necessrio assinalar que as coordenadas trilineares dos pontos mdios

dos lados AB, AC e BC do tringulo de referncia [ABC] so b : a : 0,
c : 0 : a e 0 : c : b, respectivamente.
2.3 Rectas
2.3.1 Equao de uma recta
Proposio 8 Sejam P
1
=
1
:
1
:
1
e P
2
=
2
:
2
:
2
dois pontos em
coordenadas trilineares, a equao da recta que passa por esses dois pontos
dada por
(
1

1
) + (
1

1
) + (
1

1
) = 0.
30
Demonstrao Sejam P
1
=
1
:
1
:
1
e P
2
=
2
:
2
:
2
dois pontos em
coordenadas trilineares e : : um terceiro ponto arbitrrio. Pela
proposio 6, trs pontos so colineares se e s se

1

1

1

2

2

2

= 0.
Logo a equao em coordenadas trilineares da recta denida por P
1
e
P
2

(
1

1
) + (
1

1
) + (
1

1
) = 0.

De forma a simplicar a escrita da equao de uma recta em coordenadas

trilineares, iremos introduzir a seguinte notao
l =
1

1
,
m =
1

1
,
n =
1

1
,
e portanto
l +m +n = 0, (2.12)
a equao em coordenadas trilineares da recta denida por P
1
e P
2
.
Corolrio 2.3.1 Os lados do tringulo [ABC] esto contidos nas rectas BC,
CA e AB, sendo as suas equaes = 0, = 0 e = 0, respectivamente.
Como vimos anteriormente as coordenadas trilineares e as cartesianas
podem ser relacionadas, utilizando (2.6) e (2.7) possvel obter uma
relao entre as equaes de uma mesma recta em coordenadas trilineares
e coordenadas cartesianas.
Proposio 9 Seja XOY o referencial cartesiano introduzido na seco 2.1
e seja l+m +n = 0 a equao de uma recta em coordenadas trilineares.
A sua equao em coordenadas cartesianas dada por
(msinC nsin B) x + (l +mcos C +ncos B) y (l +m+n) r = 0,
(2.13)
onde r o raio da circunferncia inscrita no tringulo de referncia.
Demonstrao Seja
l +m +n = 0,
a equao de uma recta em coordenadas trilineares. Substituindo ,
e por (2.6) e modicando a notao de u, v para x, y obtemos a
equao desejada.
31
2.3.2 Rectas concorrentes
Proposio 10 Sejam
r : l +m +n = 0,
s : l
1
+m
1
+n
1
= 0,
t : l
2
+m
2
+n
2
= 0,
trs rectas em coordenadas trilineares. As rectas so concorrentes se e s se
l(m
1
n
2
n
1
m
2
) +m(n
1
l
2
l
1
n
2
) +n(l
1
m
2
m
1
l
2
) = 0. (2.14)
Demonstrao As rectas r, s e t so concorrentes se e s se no sistema
homogneo
r : l +m +n = 0,
s : l
1
+m
1
+n
1
= 0,
t : l
2
+m
2
+n
2
= 0,
ocorrer

l m n
l
1
m
1
n
1
l
2
m
2
n
2

= 0
ou seja, se se vericar (2.14).
Corolrio 2.3.2 Se as rectas r, s e t so concorrentes, ento o ponto de
interseco dado por
m
1
n
2
n
1
m
2
: n
1
l
2
l
1
n
2
: l
1
m
2
m
1
l
2
.
2.3.3 Rectas paralelas
Proposio 11 Duas rectas
r : l +m +n = 0,
s : l
1
+m
1
+n
1
= 0,
so paralelas se e s se
a (mn
1
nm
1
) +b (nl
1
ln
1
) +c (lm
1
ml
1
) = 0. (2.15)
32
Demonstrao Sejam
r : l +m +n = 0,
s : l
1
+m
1
+n
1
= 0,
duas rectas em coordenadas trilineares. Pela proposio 9, as equaes
das rectas r e s em coordenadas cartesianas so dadas por
r : (msinC nsin B) x + (l +mcos C +ncos B) y
(l +m +n) r = 0,
s : (m
1
sin C n
1
sin B) x + (l
1
+m
1
cos C +n
1
cos B) y
(l
1
+m
1
+n
1
) r = 0.
As duas rectas so paralelas se e s se os seus vectores forem colineares,
isto

l mcos C ncos B msinC nsinB

l
1
m
1
cos C n
1
cos B m
1
sin C n
1
sin B

= 0,
aplicando as propriedades dos determinantes e simplicando, temos
que

l m
l
1
m
1

sin C +

l n
l
1
n
1

sin B +

m n
m
1
n
1

sin Bcos C

n m
n
1
m
1

sinC cos B = 0.
Dividindo a igualdade anterior por sin B, e utilizando a lei dos senos,
teorema 1.2.3, vem que

l m
l
1
m
1

c
b
+

l n
l
1
n
1

m n
m
1
n
1

_
cos C +
c
b
cos B
_
= 0.
Utilizando agora a lei dos cosenos, teorema 1.2.2, para o cos C e para
o cos B, obtemos que

l m
l
1
m
1

c
b
+

l n
l
1
n
1

m n
m
1
n
1

a
b
= 0,
assim, a condio de paralelismo entre duas rectas r e s nas condies
acima referidas dada por
a (mn
1
nm
1
) +b (nl
1
ln
1
) +c (lm
1
ml
1
) = 0.
33
Podemos tambm escrever a condio atravs do determinante

a b c
l m n
l
1
m
1
n
1

= 0.

Proposio 12 A recta r denida por

1

1

1
bn cm cl an ambl

= 0
paralela recta s : l +m +n = 0 e passa pelo ponto
1
:
1
:
1
.
Demonstrao Pela proposio 6 evidente que o ponto
1
:
1
:
1
pertence recta r. Por outro lado a recta r, desenvolvendo o
determinante, pode ser escrita da forma
[
1
(ambl)
1
(cl an)] + [
1
(bn cm)
1
(ambl)] +
[
1
(cl an)
1
(bn cm)]
1
= 0.
Aplicando r e s directamente em (2.15) verica-se que as duas rectas
so paralelas.
2.3.4 Rectas perpendiculares
Proposio 13 Duas rectas
r : l +m +n = 0,
s : l
1
+m
1
+n
1
= 0,
so perpendiculares se e s se
(ll
1
+mm
1
+nn
1
)(mn
1
+m
1
n) cos A(nl
1
+n
1
l) cos B(lm
1
+l
1
m) cos C = 0.
(2.16)
Demonstrao Sejam
r : l +m +n = 0,
s : l
1
+m
1
+n
1
= 0,
34
duas rectas em coordenadas trilineares. De acordo com (2.13) podemos
escrever as rectas em coordenadas cartesianas, obtendo
r : (msinC nsin B) x + (l +mcos C +ncos B) y
(l +m +n) r = 0,
s : (m
1
sin C n
1
sin B) x + (l
1
+m
1
cos C +n
1
cos B) y
(l
1
+m
1
+n
1
) r = 0.
As rectas so perpendiculares
3
se e s se satisfazem a condio
AA
1
+BB
1
= 0,
onde
A = (msin C nsin B) ,
A
1
= (m
1
sin C n
1
sin B) ,
B = (l +mcos C +ncos B) ,
B
1
= (l
1
+m
1
cos C +n
1
cos B) .
Simplicando, obtemos que duas rectas so perpendiculares se e s se
tem lugar (2.16).
Proposio 14 A equao de uma recta que passa por um ponto P de
coordenadas trilineares
1
:
1
:
1
e perpendicular recta l+m+n = 0
dada por

1

1

1
l mcos C ncos B mncos Al cos C n l cos B mcos A

= 0.
(2.17)
Demonstrao Consideremos um ponto P de coordenadas trilineares

1
:
1
:
1
e a recta r de equao l+m +n = 0. Seja s uma recta
3
Duas rectas
r : Ax + By + C = 0, s : A

x + B

y + C

= 0,
em coordenadas cartesianas so perpendiculares se e s se
AA

+ BB

= 0.
35
perpendicular a r que contm o ponto P. A equao da recta s ser da
forma x +y +z = 0.
Como P s, ento
x
1
+y
1
+z
1
= 0,
por outro lado as rectas r e s so perpendiculares, por (2.16) temos
(lx +my +nz)(mz +yn) cos A(nx +zl) cos B(ly +xm) cos C = 0,
isto
x +y +z = 0,
onde
= l ncos B mcos C,
= mncos Al cos C,
= n mcos Al cos B.
Os coecientes x, y e z da recta s devero satisfazer o sistema
_
_
_
x +y +z = 0,
x
1
+y
1
+z
1
= 0,
x +y +z = 0,
que dever ser um sistema homogneo possvel e indeterminado, o que
quer dizer que

1

1

1

= 0,
isto , tem lugar (2.17).
2.3.5 Distncia entre ponto e recta
Tal como o clculo da distncia entre dois pontos, para o clculo da distncia
entre um ponto e uma recta necessrio que as coordenadas do ponto estejam
em coordenadas trilineares exactas.
Proposio 15 Seja P = (
1
,
1
,
1
) um ponto em coordenadas trilineares
exactas e r a recta l +m +n = 0, ento
d (P, r) =
|l
1
+m
1
+n
1
|

l
2
+m
2
+n
2
2mncos A2nl cos B 2lmcos C
.
36
Demonstrao Para a demonstrao desta proposio iremos comear por
converter a equao da recta para coordenadas cartesianas e
posteriormente determinar a distncia entre um ponto e uma recta
recorrendo a (1.4).
Sejam P = (
1
,
1
,
1
) e l + m + n = 0 um ponto e uma recta
em coordenadas trilineares, a recta em coordenadas cartesianas tem a
equao (2.13). Desta forma a distncia ser dada por
d (P, r) =
|l
1
+m
1
+n
1
|
_
(msin C nsin B)
2
+ (l +mcos C +ncos B)
2
,
simplicando o denominador obtemos
d (P, r) =
|l
1
+m
1
+n
1
|
_
l
2
+m
2
+n
2
+ 2mncos (B +C) 2nl cos B 2lmcos C
.
Tendo em conta que cos (B +C) = cos ( A) = cos A, obtemos a
equao desejada para d (P, r) .
2.4 Circunferncia
De forma a complementar a compreenso desta seco, recomenda-se a leitura
atenta de [10, p. 219].
A circunferncia C de centro O e raio r > 0 o lugar geomtrico dos
pontos do plano que esto distncia r de O. Tomemos dois pontos distintos
P, Q C. No caso em que P, Q e O so colineares, ao segmento PQ
designamos de dimetro de C, sendo C simtrica em relao recta PQ.
Para o nosso caso, interessa-nos apenas a equao da circunferncia em
coordenadas trilineares, que tem a expresso
(l +m +n) (a +b +c) +k (a +b +c) = 0, com z = 0.
(2.18)
O centro
0
:
0
:
0
da circunferncia dada pela equao anterior

0
= l +z cos Ancos B mcos C,

0
= mncos A+z cos B l cos C,

0
= n mcos Al cos B +z cos C.
Para valores xos de l, m e n e uma varivel z, a equao (2.18) representa
uma famlia de circunferncias, tendo em conta que quando z , as
37
circunferncias aproximam-se da circunferncia circunscrita, sendo esta uma
das possveis interpretaes geomtricas.
Seja O

o centro da circunferncia

e O o centro da circunferncia ,
a circunferncia circunscrita ao tringulo [ABC]. A recta que contm O

e paralela recta OA, intersecta

em dois pontos. Escolhemos, sem

perda de generalidade, um dos pontos e atribumos a letra A

. A recta que
contm O

e paralela recta OB intersecta

em dois pontos, B
1
e B
2
.
Dos ngulos A

B
1
e A

B
2
um igual ao ngulo AOB. Seja B

esse
ngulo, podemos, de forma anloga, determinar o ngulo C

, de tal modo
que o A

que inscrito em

, com os lados B

, C

e A

paralelos
aos lados BC, CA e AB, respectivamente.
X
B2
C'
B1=B'
A'
O
B
C
A
O'
Figura~2.7:
Seja X = (u, v, w) o centro de homotetia dos tringulos [ABC] e [A

]
e as suas coordenadas as distncias trilineares exactas ao ABC. Sendo a
razo de homotetia, os comprimentos dos lados do A

so a, b e c.
Seja P um ponto arbitrrio e (, , ) as coordenadas trilineares exactas de
P em relao aos lados BC, AC, AB e (

) as coordenadas trilineares
exactas de P em relao aos lados B

, A

e A

. Assim, a equao de

que contm os vrtices A

, B

e C

dada por
a

+b

+c

= 0. (2.19)
Como
|XA

|
|XA|
=
|XB

|
|XB|
=
|XC

|
|XC|
= , ento as distncias reais de X em relao ao
38
A

so u

= u, v

= v, w

= w. Consequentemente, as distncias
entre B

e BC, C

e CA, A

e AB, so (1 ) u, (1 ) v, (1 ) w,
respectivamente. Desta forma

= u,

= v,

= w, sendo
= 1 .
Na equao (2.19) podemos eliminar e substituir

de forma a
obter
a ( v) ( w) +b ( w) ( u) +c ( u) ( v) = 0,
ou
a +b +c T
1
+T
2

2
= 0, (2.20)
onde T
1
= a (w +v) +b (u +w) +c (v +u) e T
2
= avw+bwu +cuv.
De modo a transformar a equao (2.20) numa equao homognea (equao
que satisfeita tanto por pontos em coordenadas trilineares exactas como por
pontos em coordenadas trilineares homogneas), seja = (a +b +c) /2,
igual a 1, multiplicando T
1
por e T
2
por
2
. Depois de expandir os produtos
e de agrupar os termos semelhantes obtemos uma equao da forma de (2.18)
com
z = 4
2
,
l = a
2
(avw +bwu +cuv) 4 (bw +cv) ,
m = b
2
(bwu +cuv +avw) 4 (cv +au) ,
n = c
2
(cuv +avw +bwu) 4 (au +bw) ,
onde = 1 r/R, sendo r e R os raios de

e , respectivamente, e a rea
do tringulo [ABC].
2.4.1 Equao da circunferncia que passa por trs
pontos
Sejam
1
:
1
:
1
,
2
:
2
:
2
e
3
:
3
:
3
trs pontos no colineares, ento
a equao da circunferncia que contm estes trs pontos dada por

a +b +c
a
1

1
+b
1

1
+c
1

1

1

1

1
a
2

2
+b
2

2
+c
2

2

2

2

2
a
3

3
+b
3

3
+c
3

3

3

3

3

= 0.
Resolvendo este determinante obtemos
h
1
+h
2
+h
3
+h
4
+h
5
+h
6
= 0,
39
onde h
1
, ..., h
6
so constantes. Contudo esta no uma equao homognea,
sendo por isso necessrio transform-la. Multiplicando , e pela
constante k (veja (2.1)), a equao anterior toma a forma
2 (h
1
+h
2
+h
3
) + (h
4
+h
5
+h
6
) (a +b +c) = 0,
ou
ah
4

2
+bh
5

2
+ ch
6

2
+ (2h
1
+bh
6
+ch
5
)
+(2h
2
+ch
4
+ah
6
) + (2h
3
+ah
5
+bh
4
) .
Esta ltima equao homognea em , e , ver [10, p. 222].
2.4.2 Equao da circunferncia dado o raio e o centro
Conhecido o raio e as coordenadas do centro de uma circunferncia possvel
escrever a sua equao. Supondo que P = (
1
,
1
,
1
) so as coordenadas
trilineares exactas do centro e r o raio, a equao da circunferncia de centro
P e raio r
_
r
2
sin
2
A
_

2
1
+
2
1
+ 2
1

1
cos A
_

2
+
_
r
2
sin
2
B
_

2
1
+
2
1
+ 2
1

1
cos B
_

2
+
_
r
2
sin
2
C
_

2
1
+
2
1
+ 2
1

1
cos C
_

2
+
2
_
r
2
sin Bsin C +
1

1
+
1

1
cos C +
1

1
cos B
2
1
cos A

+
2
_
r
2
sin C sin A+
1

1
+
1

1
cos A+
1

1
cos C
2
1
cos B

+
2
_
r
2
sin Asin B +
1

1
+
1

1
cos B +
1

1
cos A
2
1
cos C

= 0. (2.21)
Veja tambm [10, p. 223].
40
Captulo 3
Centros do tringulo
Como foi referido a circunferncia uma curva plana que se dene como
sendo o lugar geomtrico dos pontos do plano equidistantes de um ponto
xo, chamando-se este o centro da circunferncia. Assim quando falamos do
centro da circunferncia falamos de um nico ponto. Noutras guras planas,
como por exemplo o quadrado, a noo de centro surge naturalmente, pois
neste caso podemos considerar que o centro o ponto equidistante dos quatro
lados.
Em contrapartida, desde os primrdios da Matemtica sabido que no
tringulo possvel denir vrios tipos de centros. Alguns como o incentro, o
baricentro, o circuncentro e o ortocentro eram j referidos pelos matemticos
da antiga Grcia. Outros pontos, como o caso do centro de Fermat, foram
descritos algumas centenas de anos mais tarde, no sc. XVII.
Recentemente foi formalizada a noo de centro do tringulo, permitindo
que um grande nmero de pontos notveis associados ao tringulo possam
ser considerados como centros, sendo actualmente conhecidos mais de 3200
centros do tringulo (veja [10] e [11]).
As coordenadas trilineares dos centros so escritas atravs das
medidas dos comprimentos dos lados, ou dos ngulos internos ou atravs
de ambos. Em muitos casos recorre-se lei dos cosenos para obter as
respectivas coordenadas.
3.1 Funes do centro do Tringulo
Considere-se C (T, R) o anel das funes contnuas denidas de T em R,
relativamente s operaes usuais de soma e multiplicao de funes, onde
T =
_
(a, b, c) R
3
: 0 < a < b +c, 0 < b < c +a, 0 < c < a +b
_
,
41
representa um tringulo qualquer no plano euclidiano e
a = d (B, C) , b = d (A, C) , c = d (A, B) ,
veja tambm [1, p. 30].
Consideremos agora o anel C (T, R)
3
e o conjunto
E =
_
(a, b, c) R
3
: (g
1
.g
2
.g
3
) (a, b, c) = 0
_
.
Vamos introduzir a relao de congruncia denindo que a tripla (f
1
, f
2
, f
3
)
equipolente a (g
1
, g
2
, g
3
) se se verica as seguintes condies
i) i {1, 2, 3} , (a, b, c) T f
i
(a, b, c) = 0 g
i
(a, b, c) = 0,
ii) (a, b, c) T\E
f
1
g
1
(a, b, c) =
f
2
g
2
(a, b, c) =
f
3
g
3
(a, b, c) .
Denio 3.1.1 (Ponto)
Um ponto P uma classe de congruncia no nula [(f
1
, f
2
, f
3
)] C (T, R)
3
_

que denotamos por f

1
: f
2
: f
3
.
Denio 3.1.2 (Funo do centro)
Sejam C (T, R) o anel das funes contnuas e U T. Uma funo do
centro uma funo f C (U, R) tal que satisfaz
i) (a, b, c) U f (a, b, c) = f (a, c, b) ;
ii) t R, (a, b, c) U, n R\ {0} : f (ta, tb, tc) = t
n
f (a, b, c) .
Observao 1 A primeira condio da denio de funo do centro,
indica-nos que f simtrica nas variveis b e c, enquanto que a segunda
diz-nos que a funo homognea.
Denio 3.1.3 (Centro)
Um ponto f
1
: f
2
: f
3
um centro do tringulo, se existe uma funo do
centro f C (U, R) tal que satisfaz
(f
1
(a, b, c) , f
2
(a, b, c) , f
3
(a, b, c)) = (f (a, b, c) , f (b, c, a) , f (c, a, b)) .
Para ajudar na compreenso destas denies recomenda-se a leitura de
[9].
Pelas denies anteriores podemos armar que as coordenadas
trilineares de um centro so cclicas, isto , a maneira como obtida a
primeira coordenada de um centro repetida para as restantes coordenadas.
42
Tomemos como exemplo a construo do ortocentro
1
, primeiro
construmos a altura em relao a um dos vrtices e depois repetimos a
mesma construo para os outros dois vrtices. Fazemos ento uma repetio
cclica da construo das alturas dos diferentes vrtices.
Por outro lado tambm se verica a propriedade bi-simtrica em b e c,
condio i) da denio (3.1.2). Por exemplo quando construda a mediatriz
do lado BC, o resultado o mesmo se zermos a construo da mediatriz do
lado CB.
Por ltimo, a condio ii) referente homogeneidade, isto ,
tringulos semelhantes tm os centros situados no mesmo stio.
Consideremos os tringulos semelhantes [ABC] e [DEF], o que quer
dizer que os comprimentos dos lados so proporcionais, isto , existe t > 0,
de modo a que os comprimentos dos lados de DEF so ta, tb, tc. Seja X
um centro do ABC e f a sua funo, ento as coordenadas de X sero
f (a, b, c) : f (b, c, a) : f (c, a, b) ,
esse mesmo centro do tringulo [DEF] ser
f (ta, tb, tc) : f (tb, tc, ta) : f (tc, ta, tb) ,
que pela propriedade da homogeneidade igual a f (a, b, c) : f (b, c, a) :
f (c, a, b), isto , a razo das distncias de X aos lados dos dois tringulos
a mesma.
Contudo, nemtodos os centros do tringulo satisfazemestas propriedades,
como o caso dos centros bi-centricos que no satisfazem a propriedade
bi-simtrica. Os pontos mais comuns deste tipo so o primeiro e segundo
ponto de Brocard em que as suas funes so homogneas e cclicas mas no
bi-simtricas. Estes pontos tm como suas coordenadas trilineares
c
b
:
a
c
:
b
a
,
e
b
c
:
c
a
:
a
b
,
respectivamente.
Podemos ento obter funes centro do tringulo f

(a, b, c) que no
satisfazem explicitamente a bi-simetria, no entanto, nesses casos f

(a, b, c)
pode ser transformada numa funo equivalente f (a, b, c) que satisfaz a
propriedade bi-simtrica
f (a, b, c) = [f

(a, b, c)]
2
f

(b, c, a) f

(c, a, b) .
1
Construo na p. 52.
43
3.1.1 Propriedades
Existem casos particulares de alguns tringulos em que os centros notveis
tomam posies muito especcas.
No caso do tringulo de referncia ser equiltero temos que a = b = c,
de forma que
f (a, b, c) = f (b, c, a) = f (c, a, b) ,
o que quer dizer que todos os centros sero coincidentes e da forma
f (a, b, c) : f (a, b, c) : f (a, b, c) = 1 : 1 : 1,
sero estas tambm as coordenadas trilineares do incentro de qualquer
tringulo (p. 45).
Quando o tringulo issceles com a = b, as coordenadas trilineares
do centro do tringulo so
f (a, a, c) : f (a, c, a) : f (c, a, a) ,
tendo em conta que a funo f bi-simtrica, temos que as coordenadas
do centro podem ser reescritas da seguinte maneira
f (a, a, c) : f (a, a, c) : f (c, a, a) ,
o que quer dizer que neste caso todos os centros do tringulo
so equidistantes dos lados AC e AB, isto , esto sobre a
bissectriz do ngulo C. Para os casos em que a = c e b = c, os centros
encontrar-se-o na bissectriz de B e A, respectivamente.
3.2 Alguns centros notveis
Nesta seco so referidas as principais propriedades de alguns dos centros
mais conhecidos do tringulo, sendo para eles utilizada a notao X
i
, onde i
representa o nmero que o respectivo centro ocupa na lista elaborada por C.
Kimberling
2
em [10] e [11].
2
Professor de Matemtica, na Universidade de Evansville.
44
3.2.1 Incentro
O incentro, que habitualmente representado pela letra I
3
, o centro da
circunferncia inscrita
4
de um determinado tringulo. O incentro o ponto
de interseco das bissectrizes dos ngulos internos de um tringulo. Sendo
a bissectriz de um tringulo a semi-recta que parte do vrtice de um ngulo
e o divide ao meio.
F
E
D
I
B C
A
P
Figura~3.1:
Proposio 16 As bissectrizes dos ngulos internos de um tringulo so
concorrentes.
Demonstrao A demonstrao ser realizada utilizando as ideias expostas
em [8, p. 85].
Vamos provar que CP passa pelo ponto de interseco de AI e BI,
Fig. 3.1, em que AI, BI e CP so as bissectrizes dos ngulos do
ABC. Comecemos por traar os segmentos perpendiculares aos lados
do ABC e que passem por I, isto , os segmentos ID, IE e IF.
Sabemos que |ID| = |IF| e que |IF| = |IE|, pois qualquer ponto
da bissectriz de um ngulo est equidistante dos lados que formam o
ngulo, o que quer dizer que |IE| = |ID|. Assim o ponto I pertence
bissectriz do ngulo C, ou seja, CP passa pelo ponto I.
Pela proposio anterior podemos concluir que as trs bissectrizes dos
ngulos internos do ABC concorrem no ponto I.
3
O incentro X
1
em [11].
4
Circunferncia que se encontra no interior do tringulo e tangente aos trs lados.
45
r
r
r
I
B C
A
Figura~3.2:
O incentro um ponto equidistante dos trs lados do tringulo, assim
o centro da circunferncia inscrita, desta forma o incentro encontra-se
distncia r dos lados do ABC, podemos tambm armar que o ponto I
encontra-se sempre no interior do tringulo.
Como as coordenadas trilineares de um ponto so as distncias desse
ponto aos lados do tringulo, no caso do incentro as suas coordenadas sero
r : r : r.
No entanto podemos simplicar as coordenadas multiplicando por k =
1
r
visto que as coordenadas trilineares respeitam a homogeneidade, obtemos
ento
1 : 1 : 1.
A funo do centro do tringulo do incentro dada por
f (a, b, c) = 1.
3.2.2 Baricentro
O baricentro tambm representado pela letra G
5
e divide o ABC nos
tringulos [ABG], [AGC] e [BCG], que tm a mesma rea. O ponto G o
centro de gravidade do ABC e obtido atravs da interseco das medianas
do tringulo [ABC] (veja Fig. 3.3). A mediana de um tringulo a recta
que une o ponto mdio de um lado do tringulo ao vrtice oposto. Pela
denio de mediana podemos concluir que este ponto, tal como o incentro,
encontra-se sempre no interior do tringulo.
5
O baricentro X
2
em [11].
46
MA
MB
MC
G
B C
A
Figura~3.3: Baricentro (G), ponto de interseco das medianas.
Proposio 17 As medianas de um tringulo concorrem num ponto
cuja distncia a qualquer um dos vrtices
2
3
do comprimento da
respectiva mediana.
X
Y
Z
G
B C
A
Figura~3.4:
Demonstrao Demonstrao retirada de [1, p. 87]. Sejam X, Y e Z os
pontos mdios dos lados do ABC e G o ponto de interseco de BY
com AX. Temos que os tringulos [ABG] e [Y GX] so semelhantes
com razo de semelhana 2, porque |XY | =
1
2
|AB|. Daqui resulta que
|GY | =
1
2
|GB| , |GX| =
1
2
|GA| .
47
Se denotarmos por H a interseco de CZ com AX, obtemos
analogamente que
|HZ| =
1
2
|HC| , |HX| =
1
2
|HA|
Vemos assim que tanto G como H dividem o segmento AX na mesma
proporo, signicando ento que G = H. Podemos ento armar que
as trs medianas do ABC so concorrentes e que
|AG| =
2
3
|AX| ,
|BG| =
2
3
|BY | ,
|CG| =
2
3
|CZ| ,
isto , a distncia de cada vrtice ao baricentro igual a
2
3
do
comprimento da respectiva mediana.
Para determinar as distncias de G aos lados do tringulo, ou seja, para
determinar as suas coordenadas trilineares vamos recorrer rea de ABC.
A rea do ABC pode ser obtida atravs de
=
bc
2
sin A =
ca
2
sin B =
ab
2
sinC,
As reas dos tringulos [BGC], [AGC] e [AGB] podem ser escritas como

BGC
=
a.h
1
2
,

AGC
=
b.h
2
2
,

AGB
=
c.h
3
2
.
Por outro lado tambm sabemos que a rea de qualquer de um destes
trs tringulos a tera parte da rea do tringulo inicial (veja [1, p. 93]).
Desta forma podemos relacionar as reas da seguinte forma
bc
6
sin A =
a.h
1
2
,
bc
6
sin A =
b.h
2
2
,
bc
6
sin A =
c.h
3
2
,
48
resolvendo em ordem s alturas obtemos
bc
3a
sin A = h
1
,
bc
3b
sin A = h
2
,
bc
3c
sin A = h
3
.
Assim as coordenadas trilineares de G so
bc
3a
sin A :
bc
3b
sinA :
bc
3c
sin A.
Estas coordenadas podem ser simplicadas multiplicando por k =
3
bc sinA
de forma a obter um resultado mais simples
1
a
:
1
b
:
1
c
.
A funo do centro do tringulo do baricentro dada por
f (a, b, c) =
1
a
.
3.2.3 Circuncentro
O ponto do tringulo que representa o centro da circunferncia circunscrita
ao ABC chamado de circuncentro e representa-se normalmente pela letra
O
6
. O ponto O a interseco das mediatrizes do tringulo.
A mediatriz de um tringulo a recta perpendicular a um lado do
tringulo e que passa pelo ponto mdio desse lado. Este ponto, ao contrrio
do I e do G, pode encontrar-se ou no no interior do tringulo.
Proposio 18 As mediatrizes de um tringulo concorrem num ponto.
Demonstrao Comecemos por traar as mediatrizes de cada um dos lados
do ABC, como ilustra a Fig. 3.5. Qualquer ponto sobre a mediatriz
do lado BC encontra-se a igual distncia de B e de C. O mesmo se
verica para a mediatriz de AB. Seja o ponto O o ponto de interseco
destas duas mediatrizes, podemos armar que
|OB| = |OC| e |OA| = |OB| ,
6
O circuncentro X
3
em [11].
49
MA
MC
MB
O
B C
A
Figura~3.5: Circuncentro (O), ponto de interseco das mediatrizes.
assim
|OA| = |OC| ,
o que quer dizer que o ponto O equidistante de A e de C, ou seja, a
mediatriz de AC passa pelo ponto O. Desta forma conclumos que as
trs mediatrizes intersectam-se num ponto.
Para determinar as coordenadas trilineares de O vamos recorrer a
relaes entre vrios ngulos. Por denio, O o ponto que se encontra
mesma distncia dos vrtices do ABC. Podemos dividir o ABC em
trs tringulos issceles, AOC, BOC e AOB. Como os ngulos da
base de um tringulo issceles so iguais (veja a Fig. 3.6), podemos escrever
o sistema de equaes
+ = A,
+ = B,
+ = C.
Assim pode-se obter que
2 = ( +) + ( +) ( +)
= C +B A,
determinando o valor de , vem
=
1
2
(C +B A)
50
=
1
2
(C +B +A2A)
=
1
2
( 2A)
=

2
A.





MA
MC
MB
O
B C
A
Figura~3.6:
Podemos ento obter a distncia do O ao lado BC, isto , de O a M
A
d (O, M
A
) = Rsin
_

2
A
_
= Rcos A.
De forma anloga poderemos obter as distncias de O ao lado AC e AB,
que so Rcos B e Rcos C, respectivamente. As coordenadas trilineares de O
so
Rcos A : Rcos B : Rcos C,
que podem ser simplicadas multiplicando por k =
1
R
cos A : cos B : cos C.
Utilizando a lei dos cosenos pode ser obtida uma expresso das
coordenadas trilineares do circuncentro a depender unicamente dos
comprimentos lados do tringulo, que aps a sua simplicao resulta em
a
_
b
2
+c
2
a
2
_
: b
_
a
2
+c
2
b
2
_
: c
_
a
2
+b
2
c
2
_
.
A funo do centro do tringulo do circuncentro dada por
f (a, b, c) = cos A,
51
ou
f (a, b, c) = a
_
b
2
+c
2
a
2
_
,
no caso das coordenadas em funo dos comprimentos dos lados.
No caso do tringulo [ABC] ser rectngulo, o circuncentro car situado
sobre a hipotenusa, sendo esta o dimetro da circunferncia circunscrita.
3.2.4 Ortocentro
O ortocentro tambm o ponto de interseco de rectas, obtido pela
interseco das trs alturas de um tringulo e representa-se habitualmente
pela letra H
7
.
H
z
y
x
B C
A
Figura~3.7: Ortocentro (H), ponto de interseco das alturas do tringulo.
Proposio 19 As alturas de um tringulo ou os seus prolongamentos so
concorrentes num ponto.
Demonstrao Consideremos o tringulo [ABC] e os tringulos [ACD],
[BFC] e [EBA] semelhantes ao tringulo inicial [ABC], de modo a
construirmos a gura seguinte.
Facilmente se verica que os pontos E, A e D so colineares, assim
como os pontos F, C, D e E, B, F. Desta forma o polgono [EDF]
um tringulo semelhante ao tringulo [ABC] e este ltimo o tringulo
medial
8
do tringulo [DEF].
Os pontos A, B e C so os pontos mdios do tringulo [DEF], logo as
alturas do ABC so as mediatrizes do DEF. Como as mediatrizes
intersectam-se num nico ponto (ver proposio 18), as alturas tambm
concorrem num ponto.
7
O ortocentro X
4
em [11].
8
Ver 3.4.
52
F
D
E
F
D
E
H
B
C
A A
C
B
Figura~3.8:
O H, tal como o O, um ponto que pode ou no situar-se no interior do
tringulo. No caso de considerarmos um tringulo obtusngulo, um dos ps
das alturas ir situar-se no exterior do tringulo. Assim, obrigatoriamente a
interseco das alturas ser um ponto exterior ao tringulo.
Para a obteno das coordenadas trilineares de H vamos considerar, sem
perda de generalidade, que H se encontra no interior do ABC. Vamos
tambm considerar que os ps das alturas nos lados BC, AC e AB so X,
Y e Z, respectivamente. Assim, podemos escrever
Y BC =

2
C,
o que quer dizer que no BHX
BHX =

2
Y BC = C,
logo AHY = C, por serem ngulos verticalmente opostos.
Analogamente, podemos armar que
CHY = BHZ = A,
AHZ = CHX = B.
A distncia de H ao lado BC, isto |HX|, pode ser dada por
|HX| =
BX
tan C
.
Considerando o ABX, podemos escrever o lado BX em funo do lado
AB e do ngulo B
|BX| = c cos B,
53
assim
|HX| =
c cos B
tan C
.
Da mesma forma poderemos obter |HY | e |HZ|
|HY | =
a cos C
tan A
,
|HZ| =
b cos A
tan B
.
Encontramos desta forma as coordenadas de H em funo dos lados e dos
ngulos do ABC
c cos B
tan C
:
a cos C
tan A
:
b cos A
tan B
=
c cos Bcos C
sin C
:
a cos C cos A
sin A
:
b cos Acos B
sin B
.
No entanto podemos simplicar estas expresses recorrendo lei dos
senos
a cos Bcos C
sin A
:
a cos C cos A
sin A
:
a cos Acos B
sin A
,
e multiplicando as coordenadas de H pela constante k =
sinA
a cos Acos Bcos C
,
obtemos nalmente que
1
cos A
:
1
cos B
:
1
cos C
= sec A : sec B : sec C.
Contudo, recorrendo lei dos cosenos podemos obter as coordenadas
trilineares de H em funo dos comprimentos dos lados do ABC
1
a (b
2
+c
2
a
2
)
:
1
b (a
2
+c
2
b
2
)
:
1
c (a
2
+b
2
c
2
)
,
ou
bc
_
a
4

_
b
2
c
2
_
2
_
: ac
_
b
4

_
c
2
a
2
_
2
_
: ab
_
c
4

_
a
2
b
2
_
2
_
.
3.2.5 Centro da circunferncia dos nove pontos
A circunferncia dos nove pontos uma circunferncia que, como o nome
indica, contm nove pontos notveis. Contm os pontos mdios dos lados
do ABC, que na gura seguinte esto representados pelas letras D, E e
F. Contm tambm os ps das alturas, pontos estes que correspondem s
letras G, I e J. Os outros trs pontos so os pontos mdios dos segmentos
formados pelo ortocentro e os vrtices do tringulo, que no exemplo esto
representados pelas letras K, L e M. O centro da circunferncia dos nove
pontos geralmente representado pela letra N
9
.
O ponto N um ponto que tambm pertence recta de Euler
10
, assim
9
O centro da circunferncia dos nove pontos X
5
em [11].
10
Recta famosa que contm vrios pontos notveis. Veja as seces 4.1.1 e 5.3.1.
54
G
M L
K
J
I
N
F
E
D
H
A
B C
Figura~3.9: N, centro da circunferncia dos nove pontos.
como o circuncentro (O) e o ortocentro (H) , coincidindo com o ponto mdio
destes dois pontos (veja [5]).
Recta de Euler
N
H
O
A
B C
Assim, para obter as coordenadas trilineares de N podemos recorrer s
coordenadas de O (circuncentro) e de H (ortocentro). Recordemos as
coordenadas trilineares de O e de H
O = a
_
b
2
+c
2
a
2
_
: b
_
a
2
+c
2
b
2
_
: c
_
a
2
+ b
2
c
2
_
,
H = bc
_
a
4

_
b
2
c
2
_
2
_
: ac
_
b
4

_
c
2
a
2
_
2
_
: ab
_
c
4

_
a
2
b
2
_
2
_
.
Seja
m
:
m
:
m
o ponto mdio denido por O e H. Atravs de (2.11)
55
podemos escrever
m
da seguinte forma

m
= 2a
2
_
b
2
+c
2
a
2
_
bc
_
a
4

_
b
2
c
2
_
2
_
+
b
_
a
_
b
2
+c
2
a
2
_
ac
_
b
4

_
c
2
a
2
_
2
_
+
b
_
a
2
+c
2
b
2
_
bc
_
a
4

_
b
2
c
2
_
2
__
+
c
_
a
_
b
2
+c
2
a
2
_
ab
_
c
4

_
a
2
b
2
_
2
_
+
c
_
a
2
+b
2
c
2
_
bc
_
a
4

_
b
2
c
2
_
2
__
= 2a
2
bc
_
b
2
+c
2
a
2
_
_
a
4

_
b
2
c
2
_
2
_
+
bc
_
a
2
_
b
2
+c
2
a
2
_
_
b
4

_
c
2
a
2
_
2
_
+
b
2
_
a
2
+c
2
b
2
_
_
a
4

_
b
2
c
2
_
2
__
+
bc
_
a
2
_
b
2
+c
2
a
2
_
_
c
4

_
a
2
b
2
_
2
_
+
c
2
_
a
2
+b
2
c
2
_
_
a
4

_
b
2
c
2
_
2
__
= bc
_
_
b
2
+c
2
a
2
_
_
2a
2
_
a
4

_
b
2
c
2
_
2
_
+a
2
_
b
4

_
c
2
a
2
_
2
_
+
a
2
_
c
4

_
a
2
b
2
_
2
__
+
_
a
4

_
b
2
c
2
_
2
_
_
b
2
_
a
2
+c
2
b
2
_
+c
2
_
a
2
+b
2
c
2
_
_
.
Simplicando, vem que

m
= bc
_
2a
2
_
b
2
+c
2
a
2
_
_
a
2
b
2
+a
2
c
2

_
b
2
c
2
_
2
_
+
_
a
4

_
b
2
c
2
_
2
__
a
2
b
2
+a
2
c
2

_
b
2
c
2
_
2
__
= bc
_
a
2
b
2
+a
2
c
2

_
b
2
c
2
_
2
_
_
2a
2
b
2
+ 2a
2
c
2
+ 2b
2
c
2
a
4
b
4
c
4
_
.
Analogamente possvel obter as expresses de
m
e
m

m
= ac
_
b
2
c
2
+b
2
a
2

_
c
2
a
2
_
2
_
_
2a
2
b
2
+ 2a
2
c
2
+ 2b
2
c
2
a
4
b
4
c
4
_
,

m
= ab
_
c
2
a
2
+c
2
b
2

_
a
2
b
2
_
2
_
_
2a
2
b
2
+ 2a
2
c
2
+ 2b
2
c
2
a
4
b
4
c
4
_
.
Devido homogeneidade das coordenadas trilineares, podemos
multiplicar o terno pela constante
1
2a
2
b
2
+2a
2
c
2
+2b
2
c
2
a
4
b
4
c
4
, obtendo desta
56
forma

m
= bc
_
a
2
b
2
+a
2
c
2

_
b
2
c
2
_
2
_
,

m
= ac
_
b
2
c
2
+b
2
a
2

_
c
2
a
2
_
2
_
,

m
= ab
_
c
2
a
2
+c
2
b
2

_
a
2
b
2
_
2
_
.
Sendo estas as coordenadas trilineares de N, centro da circunferncia
dos nove pontos, em funo dos comprimentos dos lados do ABC. Estas
coordenadas tambm podem ser escritas em funo dos ngulos do ABC,
e nesse caso sero
cos A+ 2 cos Bcos C : cos B + 2 cos C cos A : cos C + 2 cos Acos B,
coordenadas estas que podem ser obtidas recorrendo lei dos cosenos (1.2.2).
3.2.6 Ponto de Gergonne
Sejam A

, B

e C

os pontos de tangncia da circunferncia inscrita com os

lados BC, AC e AB do ABC, respectivamente. As cevianas
11
AA

, BB

e
CC

concorrem num ponto a que se d o nome de ponto de Gergonne

12
(veja
[10]).
X7
C'
B'
A' B C
A
Figura~3.10:
Para obter as coordenadas trilineares do ponto de Gergonne iremos
comear por determinar os pontos de interseco da circunferncia
inscrita com os lados do tringulo. Neste caso iremos necessitar das
11
Ceviana o segmento de recta que une um vrtice do tringulo ao lado oposto
correspondente ou ao seu prolongamento.
12
O ponto de Gergonne X
7
em [11].
57
equaes das rectas que contm os lados do tringulo e da equao da
circunferncia inscrita. As primeiras equaes foram referidas na p. 31,
enquanto a ltima, a equao da circunferncia inscrita ser estuda mais
adiante, na seco 4.2.1. Utilizando a equao da recta denida pelo lado
BC que dada por = 0 e substituindo na equao da circunferncia inscrita
(4.2) obtemos
_
cos
2
_
B
2
_
cos
2
_
C
2
_

_
2
= 0,
possvel ento escrever uma das coordenadas em funo da outra, como
por exemplo
=
cos
2
_
B
2
_
cos
2
_
C
2
_,
desta forma podemos obter uma expresso das coordenadas trilineares do
ponto A

0 : 1 :
cos
2
_
B
2
_
cos
2
_
C
2
_.
De forma anloga podem ser obtidas expresses para as coordenadas
trilineares dos pontos B

e C

1 : 0 :
cos
2
_
A
2
_
cos
2
_
C
2
_,
e
1 :
cos
2
_
A
2
_
cos
2
_
B
2
_ : 0,
respectivamente. Logo as equaes das rectas AA

, BB

e CC

, so
=
cos
2
_
B
2
_
cos
2
_
C
2
_ ; =
cos
2
_
A
2
_
cos
2
_
C
2
_ ; =
cos
2
_
A
2
_
cos
2
_
B
2
_,
respectivamente. Por (2.14) as rectas so concorrentes e o ponto de
interseco
1 :
cos
2
_
A
2
_
cos
2
_
B
2
_ :
cos
2
_
A
2
_
cos
2
_
C
2
_,
tomando k =
1
cos
2
(
A
2
)
, temos
sec
2
_
A
2
_
: sec
2
_
B
2
_
: sec
2
_
C
2
_
,
obtendo desta forma as coordenadas trilineares do ponto de Gergonne.
58
3.2.7 Ponto de Nagel
Sejam A

, B

e C

os pontos de tangncia das circunferncias ex-inscritas

com os lados BC, AC e AB do ABC, respectivamente. Entenda-se por
circunferncia ex-inscrita, a circunferncia exterior ao tringulo que
tangente a um dos lados e ao prolongamento dos outros dois, um tringulo
tem portanto trs circunferncias ex-inscritas (ver Fig. 4.5).
As rectas AA

, BB

e CC

concorrem num ponto a que se d o nome de

ponto de Nagel
13
(veja [10]).
X
8
B'
C'
A'
A
C
B
Figura~3.11:
As coordenadas do ponto A

, podem ser obtidas atravs do sistema de

equaes da recta BC e da circunferncia ex-inscrita oposta ao vrtice A.
Para os clculos seguintes foram utilizadas as equaes trilineares das
circunferncias ex-inscritas que sero construdas em 4.2.3. Resolvendo o
sistema obtemos
_
sin
2
_
B
2
_
sin
2
_
C
2
_

_
2
= 0,
ou seja
=
sin
2
_
B
2
_
sin
2
_
C
2
_.
As coordenadas trilineares de A

sero
0 : 1 :
sin
2
_
B
2
_
sin
2
_
C
2
_.
13
Em homenagem ao Matemtico alemo Christian Heinrich von Nagel (1803-1882).
O ponto de Nagel X
8
em [11].
59
Seguindo o mesmo raciocnio para os outros dois pontos, obtemos as
coordenadas
1 : 0 :
sin
2
_
A
2
_
sin
2
_
C
2
_, e 1 :
sin
2
_
A
2
_
sin
2
_
B
2
_ : 0,
para B

e C

, respectivamente. Da mesma forma que determinmos X

7
,
podemos faz-lo para X
8
, obtendo as coordenadas
1 :
sin
2
_
A
2
_
sin
2
_
B
2
_ :
sin
2
_
A
2
_
sin
2
_
C
2
_,
ou
csc
2
_
A
2
_
: csc
2
_
B
2
_
: csc
2
_
C
2
_
.
3.2.8 Ponto de Feuerbach
Segundo o teorema de Feuerbach
14
, a circunferncia inscrita tangente
circunferncia dos nove pontos, o que signica que estas duas circunferncias
se intersectam num nico ponto denominado de ponto de Feuerbach
15
. As
coordenadas trilineares deste ponto so
1 cos(B C) : 1 cos(C A) : 1 cos(AB).
De facto, substituindo estas coordenadas nas equaes (4.2) e (4.6),
equaes das circunferncias inscrita e dos nove pontos obtidas na seco 4.2,
vericamos que este ponto pertence a ambas as circunferncias e
pelo teorema referido anteriormente conclumos que o ponto nico. Ao
vericar se o ponto de Feuerbach pertence s equaes da circunferncia
inscrita e circunferncia dos nove pontos, as expresses obtidas so
extensas. Assim de modo a evitar erros nos clculos intermdios, as
simplicaes foram efectuadas utilizando o software Mathematica.
3.3 Tringulo rtico
Num tringulo acutngulo ABC (Fig. 3.12) os ps das alturas D, E, F
formam o tringulo [DEF], ao qual se d o nome de tringulo rtico.
Teorema 3.3.1 O ortocentro de um tringulo acutngulo o incentro do
seu tringulo rtico.
14
Consulte o teorema 4.2.2 na p. 76.
15
O ponto de Feuerbach X
11
em [11].
60
H
D
E
F
B C
A
Figura~3.12:
Demonstrao Consideremos o tringulo [ABC], a circunferncia
circunscrita a esse tringulo e o tringulo [BCG] onde o lado CG
coincide com o dimetro da circunferncia circunscrita, como mostra a
Fig. 3.13.
H
A'
G
O
D
E
F
B
C
A
Figura~3.13:
Os ngulos BAC e BGC so iguais
16
. Por outro lado os
tringulos BCGe A

CO so semelhantes, considerando BGparalela

a OA

, logo A

OC tem a mesma amplitude que A. Tendo em conta

que o BCO issceles podemos concluir que A

BO = A

CO =
= 90
o
A. Sendo AFC um tringulo rectngulo podemos tambm
armar que FCA = .
16
ngulos inscritos com o mesmo arco.
61
H

A'
O
D
E
F
B
C
A
Figura~3.14:
O quadriltero [BDHF] pode ser inscrito numa circunferncia pois os
ngulos BDH e BFH so rectos, de forma anloga podemos dizer
o mesmo para os quadrilteros [DCEH] e [BCEF]. Assim podemos
armar que
HDF = HBF = EBF = ECF = ECH = EDH = .
A recta HD a bissectriz do ngulo FDE, da mesma forma que EH e
FH so as bissectrizes de DEF e DFE, respectivamente. Podemos
desta forma armar que as alturas do ABC so as bissectrizes do seu
tringulo rtico, logo o ortocentro do ABC o incentro do DEF
(veja tambm [5, p. 17]).
3.4 Tringulo medial
O tringulo formado pelos pontos mdios dos lados do ABC chamado de
tringulo medial.
Teorema 3.4.1 O circuncentro de um tringulo o ortocentro do seu
tringulo medial.
Demonstrao Sejam os tringulos [ABC] e [A

], onde o segundo
o tringulo medial. Assim os vrtices do tringulo medial so os
pontos mdios dos lados do tringulo que lhe deu origem. Os
62
C' B'
A'
A
C B
Figura~3.15: Tringulo medial.
tringulos [ABC] e [AB

] so semelhantes, o que nos permite

armar que o lado BC paralelo ao lado B

. Analogamente podemos
armar que os lados AB e A

tambm o so, assim como os lados

AC e A

. As mediatrizes do ABC coincidem com as alturas do

A

, podemos desta forma concluir que o circuncentro do ABC

o ortocentro do tringulo medial [A

].
63
Captulo 4
Rectas e circunferncias
4.1 Rectas
4.1.1 Recta de Euler
No sculo XVIII viveu um dos matemticos mais produtivos de sempre,
Leonhard Euler (1707-1783). Matemtico de nacionalidade Sua, nasceu
em Basileia, em cuja universidade se formou. Produziu trabalhos nas mais
diversas reas, da Engenharia Mecnica, da ptica Astronomia, da
Msica Matemtica, Geometria, lgebra.
No campo da geometria, Euler descobriu que o ortocentro, o circuncentro
e o baricentro de um tringulo so colineares, sendo mais tarde atribudo o
nome de recta de Euler recta que une estes trs pontos, em homenagem a
este grande matemtico Suo.
Teorema 4.1.1 Em qualquer tringulo no equiltero [ABC] o ortocentro
(H), o circuncentro (O) e o baricentro (G) so trs pontos colineares
alinhados por esta ordem; e tem-se H, G e O com |GH| = 2 |GO|.
Demonstrao A demonstrao do teorema que de seguida se reproduz
pode ser encontrada em [7, p. 152].
Designemos por A
0
, B
0
e C
0
os ps das alturas e por A
1
, B
1
e C
1
os
pontos mdios dos lados BC, AC e AB, respectivamente.
Suponhamos, sem perca de generalidade que o lado |AC| diferente
de |BC|, j que ABC no equiltero. Ento podemos armar que
C
0
= C
1
. O circuncentro (O) e o baricentro (G) do ABC coincidem
respectivamente com o ortocentro (H
1
) e o baricentro (G
1
) do tringulo
medial [A
1
B
1
C
1
], como podemos observar pelos ngulos na Fig. 4.1.
64
H
C
0
A
0
Recta de Euler
G=G
1
O=H
1
B
1
A
1
C
1
A
C B
Figura~4.1:
O tringulo [A
1
B
1
C
1
] semelhante ao tringulo [ABC] com uma razo
de semelhana
1
2
, por isso
|A
1
O| = |A
1
H
1
| =
1
2
|AH| ,
tal como
|A
1
G| =
1
2
|AG| .
Por outro lado, como AA
0
paralela a A
1
O e AA
1
secante a estas
duas rectas, temos G
1
A
1
H
1
= HAG (ngulos alternos-internos).
Assim os tringulos [A
1
H
1
G
1
] = [A
1
OG] e [AHG] so semelhantes,
correspondendo-se os vrtices A
1
, A e O, H. Por consequncia podemos
armar
A
1
GO = AGH,
e como A
1
, G e A so colineares, O, G e H tambm o sero (Axioma
III-4 em [7, p. 51]).
Como a razo de semelhana entre os tringulos [A
1
B
1
C
1
] e [ABC]
1
2
, signica que |GH| = 2 |GO|, isto |GH| =
2
3
|HO|.
Atravs deste teorema foi demonstrado que o baricentro, circuncentro
e ortocentro so trs pontos colineares. No entanto, quando o tringulo
65
de referncia issceles a recta de Euler contm tambm o incentro. Supondo
que no ABC temos |AB| = |AC|, como ilustra a Fig. 4.2, a
bissectriz em A, a mediana em A, a mediatriz do lado BC e a altura no
vrtice A representam a mesma recta, cando desta forma os quatro centros
colineares, isto , pertencem todos recta de Euler.
I
O
G
H
C B
A
Figura~4.2:
No caso do tringulo ser equiltero no faz sentido falar na recta de Euler
pois os centros do tringulo concentram-se todos num s ponto, coincidentes
com o incentro.
O baricentro, o circuncentro e o ortocentro so trs pontos colineares,
contudo para escrever uma equao da recta de Euler basta considerar dois
destes trs pontos. Considerando as coordenadas trilineares do baricentro e
do circuncentro emfuno dos ngulos temos, respectivamente, csc A : csc B :
csc C e cos A : cos B : cos C.
Recorrendo a (2.10) obtemos

csc A csc B csc C
cos A cos B cos C

= 0,
resolvendo e multiplicando pela constante sin AsinBsinC temos
sin A(sin C cos C sin Bcos B) +
sin B(sin Acos AsinC cos C) +
sin C (sin Bcos B sin C cos A) = 0.
66
Como A, B e C so os ngulos internos do ABC, podemos escrever
A = (B +C) e analogamente para os ngulos B e C, obtendo desta
forma
sin A(sin (A+B) cos C sin (C +A) cos B) +
sin B(sin (B +C) cos Asin (A+B) cos C) +
sin C (sin(C +A) cos B sin (A+B) cos A) = 0,
desenvolvendo sin (A+B), sin (C +A), sin (B +C) e simplicando o
resultado, podemos escrever de forma simplicada a equao da recta de
Euler em coordenadas trilineares
sin 2Asin (B C) + sin2Bsin (C A) + sin 2C sin(A B) = 0.
A equao da recta de Euler pode tambm ser expressa em funo dos
comprimentos dos lados do tringulo de referncia. Nesse caso utilizamos
1
a
:
1
b
:
1
c
e a (b
2
+c
2
a
2
) : b (c
2
+a
2
b
2
) : c (a
2
+b
2
c
2
), como as
coordenadas do baricentro e do circuncentro em funo dos lados a, b, c.
Resolvendo novamente o determinante e simplicando obtemos
a
_
b
2
c
2
_ _
b
2
+c
2
a
2
_
+
b
_
c
2
a
2
_ _
c
2
+a
2
b
2
_
+
c
_
a
2
b
2
_ _
a
2
+b
2
c
2
_
= 0. (4.1)
Outros pontos notveis do tringulo, como o centro da circunferncia dos
nove pontos, o ponto de Longchamps
1
, o ponto de Schier
2
, o ponto de
Exeter
3
ou o ponto Far-out
4
, entre outros, situam-se tambm sobre a recta
Euler.
4.1.2 Recta de Nagel
Sejam A

, B

e C

os pontos de tangncia das circunferncias ex-inscritas

ao ABC (construo idntica realizada em 3.2.7, ponto de Nagel). As
cevianas que unem os vrtices do tringulo com os pontos de tangncia A

,
B

e C

, intersectam-se num ponto, ponto de Nagel. recta denida pelo

incentro e pelo ponto de Nagel d-se o nome de recta de Nagel.
1
O ponto de Longchamps X
20
em [11].
2
O ponto de Schier X
21
em [11].
3
O ponto de Exeter X
22
em [11].
4
O ponto de Far-out X
23
em [11].
67
Utilizando (2.10) e as coordenadas trilineares do incentro e do ponto de
Nagel, que tm coordenadas 1 : 1 : 1 e
(b+ca)
a
:
(c+ab)
b
:
(a+bc)
c
, podemos
obter a equao da recta de Nagel
a (b c) +b (c a) +c (a b) = 0.
4.2 Algumas circunferncias notveis
Nesta seco pretendemos lembrar e estudar, desde a ptica das coordenadas
trilineares, as principais propriedades de circunferncias notveis associadas
ao tringulo. Como so o caso da circunferncia inscrita, a circunferncia
circunscrita, as circunferncias ex-inscritas e a circunferncia dos nove pontos.
4.2.1 Circunferncia inscrita
Como j foi referido, a circunferncia inscrita num tringulo aquela que
se encontra no interior do tringulo e que tangente aos seus trs lados.
Evidentemente o centro da circunferncia o ponto que se encontra a igual
distncia dos lados e que coincide com o incentro.
r
r
r
A
C
B
Figura~4.3:
As coordenadas trilineares homogneas do incentro so dadas por
1 : 1 : 1, como vimos em 3.2.1 e para obter as coordenadas trilineares exactas
teremos de multiplicar a tripla pela constante k (2.1), obtendo desta forma
as coordenadas
2
a +b +c
:
2
a +b +c
:
2
a +b +c
.
68
Podemos concluir que o raio da circunferncia inscrita dado por
r =
2
a +b +c
.
A equao da circunferncia inscrita pode ser obtida atravs de (2.21).
Logo obtemos
_
sin
2
A2 2 cos A
_

2
+
_
sin
2
B 2 2 cos B
_

2
+
_
sin
2
C 2 2 cos C
_

2
+
2 (sin Bsin C + 1 + cos C + cos B cos A) +
2 (sin C sin A+ 1 + cos A+ cos C cos B) +
2 (sin Asin B + 1 + cos B + cos Acos C) = 0,
simplicando
(1 + cos A)
2
(1 + cos B)
2
(1 + cos C)
2
+
2 (1 + cos B) (1 + cos C) +
2 (1 + cos A) (1 + cos C) +
2 (1 + cos A) (1 + cos B) = 0.
Multiplicando a equao por
1
4
e considerando que cos
2
_
A
2
_
=
1+cos A
2
,
podemos reescrever a equao na forma

2
cos
4
_
A
2
_
+
2
cos
4
_
B
2
_
+
2
cos
4
_
C
2
_

2 cos
2
_
B
2
_
cos
2
_
C
2
_
2cos
2
_
C
2
_
cos
2
_
A
2
_

2 cos
2
_
A
2
_
cos
2
_
B
2
_
= 0 . (4.2)
4.2.2 Circunferncia circunscrita
Como indica o seu nome, a circunferncia circunscrita a circunferncia que
circunscreve o tringulo, isto , a circunferncia denida pelos trs vrtices
do tringulo.
Tendo em conta as ideias expostas na p. 39, podemos escrever a equao
trilinear da circunferncia circunscrita utilizando as coordenadas dos trs
vrtices, equao essa que ser
a +b +c = 0.
69
R
R
R
A
C
B
Figura~4.4:
Como foi referido, ao centro desta circunferncia chama-se
circuncentro e tem como coordenadas trilineares cos A : cos B : cos C. O
raio da circunferncia denotado pela letra maiscula R e toma o valor
a
2 sinA
(veja a lei dos senos 1.2.3).
4.2.3 Circunferncias ex-inscritas
As bissectrizes dos ngulos externos de um tringulo [ABC] intersectam-se
nos pontos A

, B

e C

, que coincidem com os centros das circunferncias

ex-inscritas, como mostra a Fig. 4.5.
Os centros destas circunferncias so denidos pela distncia de cada
centro da circunferncia ao lado do tringulo, isto , 1 : 1 : 1, 1 : 1 : 1
e 1 : 1 : 1 so as coordenadas trilineares dos centros das circunferncias
centradas em A

, B

e C

, respectivamente. Utilizando as coordenadas

trilineares exactas destes centros obtemos os raios das circunferncias
ex-inscritas
r
A
=
2
b +c a
, r
B
=
2
c +a b
, r
C
=
2
a +b c
.
Para escrever as equaes trilineares das circunferncias podemos faz-lo
da mesma forma que foi feito para a circunferncia inscrita, ou seja, utilizar
(2.21) e os respectivos centros e raios. Fazendo clculos anlogos obtemos as
seguintes equaes para as circunferncias ex-inscritas centradas em A

, B

e
C

, respectivamente
u
2
1

2
+v
2
2

2
+v
2
3

2
2v
2
v
3
+ 2v
3
u
1
+ 2u
1
v
2
= 0, (4.3)
70
X
Y
Z
B'
A'
C'
A
C
B
Figura~4.5: Circunferncias ex-inscritas ao tringulo [ABC].
v
2
1

2
+u
2
2

2
+v
2
3

2
+ 2u
2
v
3
2v
3
v
1
+ 2v
1
u
2
= 0, (4.4)
v
2
1

2
+v
2
2

2
+u
2
3

2
+ 2v
2
u
3
+ 2v
1
u
3
2v
1
v
2
= 0, (4.5)
onde
u
1
= cos
2
_
A
2
_
, v
1
= sin
2
_
A
2
_
,
u
2
= cos
2
_
B
2
_
, v
2
= sin
2
_
B
2
_
,
u
3
= cos
2
_
C
2
_
, v
3
= sin
2
_
C
2
_
.
4.2.4 Circunferncia dos nove pontos
Circunferncia dos nove pontos, circunferncia de Feuerbach,
circunferncia de Euler, circunferncia dos seis pontos, circunferncia dos
doze pontos, circunferncia dos n pontos, circunferncia de Terquem so
alguns dos nomes atribudos a esta circunferncia. Devido a esta profusa
quantidade de nomes ser fcil perceber que foram muitos os matemticos
que a estudaram como foi o caso de Euler (1707-1783), Terquem (1782-1862),
Brianchon (1783-1864), Poncelet (1788-1867) ou Feuerbach (1800-1834).
A circunferncia dos nove pontos (ser este o nome que iremos utilizar)
uma circunferncia que pode ser construda em qualquer tringulo e foi-lhe
atribudo este nome por conter nove pontos notveis, seis dos quais pertencem
ao prprio tringulo (excepto no caso do tringulo obtuso).
A circunferncia contm:
os pontos mdios dos lados do ABC;
71
os pontos mdios entre o ortocentro (H) e os vrtices do ABC;
os ps das alturas, pontos de interseco das alturas em A, B e C com
os lados BC, AC e AB, respectivamente.
Teorema 4.2.1 Os ps das alturas de qualquer tringulo, os pontos mdios
dos trs lados e os pontos mdios dos segmentos formados pelos vrtices e
pelo ortocentro, pertencem mesma circunferncia de raio
R
2
, onde R o
raio da circunferncia circunscrita.
Demonstrao Uma outra demonstrao da existncia da circunferncia
dos nove pontos pode ser encontrada em [15] ou em [6].
Observando a Fig. 4.6, onde ABC representa umtringulo arbitrrio;
L, M e N os pontos mdios dos lados; D, E e F os ps das alturas; H
o ortocentro e X, Y e Z os pontos mdios dos segmentos AH, BH e
CH, respectivamente. Na gura foi tambm desenhado o quadriltero
[MNY Z]. O segmento MN paralelo ao lado BC, segundo o teorema
que diz que Se uma recta bissecta ao mesmo tempo dois lados de
um tringulo ento essa recta paralela ao terceiro lado, teorema
este que facilmente demonstrado pela semelhana de tringulos. Da
mesma forma podemos armar que Y Z paralelo a BC, assimpodemos
tambm armar que MN paralelo a Y Z.
M
L
N
Z Y
X
H
D
F
E
B C
A
Figura~4.6:
Pelas armaes anteriores, o quadriltero [MNY Z] um
paralelogramo. Podemos tambm armar que NY paralelo ao
72
segmento AD. Os tringulos [ADB] e [HDB] so rectngulos, N
o ponto mdio de AB e Y o ponto mdio de HB. Podemos construir
os segmentos NT e Y T, Fig. 4.7, que so ambos segmentos paralelos
a AD, da concluirmos que NY ser tambm paralelo a AD.
T
M
L
N
Z
Y
X
H
D
F
E
B C
A
Figura~4.7:
De forma anloga conclumos que AD e MZ so paralelos, logo
podemos armar que NY e MZ so paralelos. Por outro lado BC
perpendicular a NT e com BC paralelo a NM, logo MN
perpendicular a NY , da mesma forma MN perpendicular a MZ,
o que signica que todos os ngulos do paralelogramo so rectos, assim
[MNY Z] um rectngulo.
Analogamente podemos mostrar que o quadriltero [XY LM]
tambm um rectngulo. O passo seguinte ser mostrar que U = U

,
onde U representa o ponto de interseco das diagonais de [MNY Z] e
a interseco das diagonais de [XY LM], Fig. 4.8.
Em [MNY Z] as diagonais MY e NZ intersectam-se em U, como
[MNY Z] um rectngulo, |MY | = |NZ| e consequentemente MU =
UY = NU = UZ. Da mesma forma temos |MU

| = |U

Y | = |LU

| =
|U

X|. Sabemos que |MY | = |NZ| e |MY | = |XL|. Conclumos ento

que |NZ| = |XL|. Por outro lado MY diagonal de [MNY Z] e de
[XY LM], como U o ponto mdio de MY em [MNY Z] e U

o ponto
mdio em [XY LM], podemos concluir que U = U

. Temos ento
|MU| = |UY | = |ZU| = |UN| = |XU| = |UL| .
73
U'
U
M
L
N
Z
Y
X
B C
A
Figura~4.8:
Como as distncias de L, M, N, X, Y , Z ao ponto U so as mesmas,
signica que existe uma circunferncia de centro em U contendo os
pontos referidos. Neste momento j temos a circunferncia a passar
em seis dos nove pontos. Para provar que os restantes trs pontos dos
nove tambm pertencem mesma circunferncia, vamos considerar o
tringulo formado pelos pontos X, D e L (Fig. 4.9).
U
M
L
N
Z
Y
X
H
D
F
E
B C
A
Figura~4.9:
Sabemos que |XU| = |UL| e como XD e DL so perpendiculares,
temos que o tringulo [XDL] rectngulo. Tendo em conta que
74
qualquer tringulo inscrito no dimetro de uma circunferncia
rectngulo, podemos armar que o ponto mdio da hipotenusa
coincide com o circuncentro do tringulo [XDL], assim
|XU| = |UL| = |UD| .
Desta forma o ponto D pertence tambm circunferncia dos nove
pontos, repetindo o mesmo raciocnio para os tringulos [Y EM] e
[ZNF], vericamos que os pontos E e F tambm pertencem
circunferncia. Com este raciocnio mostramos que existe uma
circunferncia de centro em U e que contm os nove pontos
M, E, X, F, N, Y, L, D, Z.
Os tringulos [ABC] e [LMN] so semelhantes na razo
1
2
, como R,
raio da circunferncia circunscrita ao ABC,
a
2 sinA
ento o raio da
circunferncia circunscrita ao LMN ser
a
4 sinA
=
1
2
R.
A circunferncia dos nove pontos tem como equao:

2
sin 2A +
2
sin 2B +
2
sin 2C 2 ( sin A+sin B + sin C) = 0.
(4.6)
equao esta que pode ser encontrada em [10, p. 41].
N
O
H
A'
C'
B'
A
C
B
Figura~4.10:
75
Alm destes nove pontos a circunferncia contm tambm os pontos de
tangncia desta circunferncia com as trs circunferncias ex-inscritas ao
ABC assim como o ponto de tangncia com a circunferncia inscrita, este
ltimo designado como ponto de Feuerbach (Teorema de Feuerbach [5, p.
117]).
Teorema 4.2.2 (Teorema de Feuerbach)
A circunferncia dos nove pontos de um tringulo tangente
circunferncia inscrita e s trs circunferncias ex-inscritas.
Demonstrao Na Fig. 4.11 est representado o ABC, o tringulo medial
[A

], a circunferncia inscrita (de centro I ) tangente a BC no ponto

X, uma circunferncia ex-inscrita (de centro I
a
) tangente a BC no
ponto X
a
, a recta B
1
C
1
obtida atravs de uma reexo de BC em
relao a II
a
que tangente s duas circunferncias, a inscrita e a
ex-inscrita. Est tambm representada a circunferncia , de dimetro
XX
a
e os pontos S, B

, C

, obtidos pela interseco de B

1
C
1
com BC,
A

e A

, respectivamente.
I
a
X
a
C
1
B
1
C''
B''
S
A'
C'
B'
X
I
C
A
B
Figura~4.11:
A circunferncia ortogonal circunferncia inscrita e
circunferncia ex-inscrita, XX
a
perpendicular a X
a
I
a
e a IX,
signica que estas duas circunferncias so invariantes em relao a
([1], p.152). O ngulo entre duas curvas igual ao ngulo formado
pelas inversas dessas duas curvas ([1, p. 154]). Desta forma provando
que a inversa da circunferncia dos nove pontos em relao a a
76
recta B
1
C
1
, provamos que a circunferncia tangente circunferncia
inscrita e circunferncia ex-inscrita.
Por [5, p. 11], temos
|BS| = |X
a
C| = p b,
onde p =
a+b+c
2
. O ponto mdio de BC, designado por A

o centro de
, ento
|XX
a
| = a 2 (p b) = b c,
assumindo que este valor positivo (caso contrrio, podemos
modicar a ordem de A, B e C, de modo a tornar o valor positivo). A
circunferncia dos nove pontos passa por A

, B

, C

e a sua inverso em
relao a a recta B
1
C
1
. Vamos provar que B

e C

so os inversos
de B

e C

.
Os pontos I, S e I
a
situam-se na bissectriz do ngulo A. Por [5, p. 9],
sabemos que S divide o segmento CB na proporo b : c, como CB
tem comprimento a, temos que
a = SB +
b
c
SB,
ento
|SB| =
ac
b +c
, |CS| =
ab
b +c
,
e
|SA

| =
|CS| |SB|
2
=
a (b c)
2 (b +c)
.
Como os tringulos [ASC
1
] e [ASC] so semelhantes, ento
|AC
1
| = |AC|, podemos escrever que
|BC
1
| = |AC
1
| |AB| = |AC| |AB| = b c,
e analogamente |CB
1
| = b c.
Por outro lado os tringulos [SA

] e [SBC
1
] so semelhantes, assim
como os tringulos [SA

] e [SCB
1
], o que nos permite escrever
|A

|
|BC
1
|
=
|A

|
b c
=
|SA

|
|SB|
=
b c
2c
,
e
|A

|
|CB
1
|
=
|A

|
b c
=
|SA

|
|SC|
=
b c
2b
,
77
logo
|A

| |A

| =
c
2
(b c)
2
2c
=
_
b c
2
_
2
,
e
|A

| |A

| =
b
2
(b c)
2
2b
=
_
b c
2
_
2
.
tem raio
|XXa|
2
=
bc
2
, por denio de inverso numa circunferncia,
B

o inverso de B

e C

o de C

, como era desejado.

Uma outra demonstrao deste mesmo teorema pode ser encontrada em
[17, p. 75].
78
Captulo 5
Programao em Mathematica
Nos Captulos anteriores foi possvel vericar que quando estamos a
trabalhar com coordenadas trilineares homogneas obtemos na maioria das
vezes expresses muito extensas. Com o auxlio dos meios informticos
possvel tornar muitas tarefas quase instantneas, os clculos referentes a
simplicaes que teramos de efectuar manualmente e que em muitos casos
bastava haver uma troca de sinais para nunca chegar ao resultado
esperado, tornam-se agora muito mais rpidos e sem erros. Foi com o
intuito de passar as tarefas rotineiras de simplicao para o computador
que foi utilizada a programao em Mathematica. Outro aspecto bastante
vantajoso da utilizao do computador incide sobre o facto de podermos
fazer inmeros testes, como por exemplo, construir uma base de dados com
tantos pontos quantos os desejados e testar, por exemplo, quais desses pontos
pertencem a uma dada recta ou circunferncia.
O Mathematica um software de programao com grandes
potencialidades no domnio do clculo simblico e visualizao grca.
Atravs do clculo simblico podemos no trabalhar com casos
particulares o que tornaria a obteno de resultados muito mais limitada.
Assim possvel trabalhar sempre com as coordenadas gerais de pontos,
rectas ou circunferncias. Por outro lado, por ser um software que
possibilita a criao de representaes grcas, torna muito mais interessante
e esclarecedor na obteno de resultados incentivando tambm a novas ideias
para futuros testes. O prprio software contm um cone de ajuda, mas
para uma melhor compreenso do modo de funcionamento deste software
aconselha-se a leitura de [3], que permite adquirir as bases para a construo
de programas tanto simples como mais complexos.
As coordenadas trilineares podem, como j foi visto, ser apresentadas em
funo dos comprimentos dos lados do ABC, das amplitudes dos ngulos
internos ou at dos lados e dos ngulos em simultneo. Trabalhar com
79
frmulas trigonomtricas requer muito cuidado sendo muitas vezes
complicado simplicar determinadas expresses, mesmo utilizando o
computador nessa tarefa, por vezes difcil chegar ao resultado esperado.
O melhor converter as coordenadas de modo a carem em funo apenas
dos comprimentos dos lados a, b e c do ABC, para isso utilizamos
cos A =
b
2
+c
2
a
2
2bc
, cos B =
c
2
+a
2
b
2
2ca
, cos C =
a
2
+b
2
c
2
2ab
,
sinA =
2
bc
, sinb =
2
ca
, sinC =
2
ab
,
onde a rea do tringulo, que pode tambm ser expressa em funo de
a, b, c considerando (1.6).
Antes de comear a analisar que centros notveis que pertencem a
determinada recta ou circunferncia ou at mesmo se so colineares, a fase
inicial consiste na elaborao de uma base de dados com as coordenadas dos
vrios pontos. Consultando [10] ou [11] vericamos que muitos dos pontos so
dados pela funo do centro do tringulo, mas para ser mais rpido escrever
a tripla de coordenadas podemos criar um pequeno programa para escrever
as coordenadas. Comeamos por escrever a funo do centro a depender dos
lados e depois corremos o programa
fcentro[x_]:={x, x/.{a b, b c, c a}, x/.{a c, b a, c b}}.
Nos programas mais adiante iremos fazer referncia base de dados como
ponto.
ponto = {{1, 1, 1} ,
_
1
a
,
1
b
,
1
c
_
,
_
a
_
b
2
+ c
2
a
2
_
, b
_
c
2
+ a
2
b
2
_
, c
_
a
2
+ b
2
c
2
__
,
_
2bc
a
2
+ b
2
+ c
2
,
2ca
a
2
b
2
+ c
2
,
2ab
a
2
+ b
2
c
2
_
,
...
} .
Esta ser a estrutura da base de dados onde importa realar que a ordem
dos pontos segue a de [11].
5.1 Distncia entre dois pontos
No clculo de distncias, as coordenadas devero ser previamente escritas em
coordenadas trilineares exactas, ou seja, teremos de multiplicar a tripla de
80
coordenadas pela constante (2.1).
=
_
(a + b + c) (b + c a) (c + a b) (a + b c)
4
coordexacta[ , , , a , b , c , ] :=
Simplify [
2
a + b + c
{, , } ,
0 < a&&0 < b&&0 < c&&0 <
] .
Podemos utilizar este programa para converter os pontos um a um, mas
caso estejamos a trabalhar com muitos pontos, este programa pode ser
inserido dentro de um outro de modo a converter todos os pontos necessrios
automaticamente. O programa seguinte converte e calcula de uma s vez a
distncia entre dois pontos.
=
_
(a + b + c) (b + c a) (c + a b) (a + b c)
4
distancia[ , , , i , i , i , a , b , c , ]:=
Simplify [
Sqrt [
abc
_
a
_

2
a + b + c
i
2
ai + bi + ci
_
_

2
a + b + c
i
2
ai + bi + ci
_
+
b
_

2
a + b + c
i
2
ai + bi + ci
_
_

2
a + b + c
i
2
ai + bi + ci
_
+
c
_

2
a + b + c
i
2
ai + bi + ci
_
_

2
a + b + c
i
2
ai + bi + ci
_
] (2) ,
0 < a&&0 < b&&0 < c&&0 <
] .
81
, , e i, i, i representam pontos, a, b, c os comprimentos dos lados
do tringulo [ABC] e a respectiva rea.
5.2 Ponto mdio
O centro da circunferncia dos nove pontos o ponto mdio entre o
circuncentro e o ortocentro, no sendo contudo o nico centro que o
ponto mdio de outros dois. Atravs do Mathematica possvel vericar
que existem outros centros nas mesmas condies. No programa criado
foram vericados quais dos primeiros 150 centros so pontos mdios de outros
dois centros. Neste programa recorremos a (2.11) e criaram-se trs funes
de nomes pontoum, pontodois e pontotres que nos do a primeira,
segunda e terceira coordenadas do ponto mdio, respectivamente. Depois do
programa calcular o ponto mdio entre dois pontos, verica se existe algum
centro da base de dados que seja colinear com o anteriormente calculado.
For[i = 1, i 150,
For[j = i + 1, j 150,
For[k = j + 1, k 150,
If[
Simplify[(pontoum[ponto[[i,1]],ponto[[i, 2]], ponto[[i, 3]],
ponto[[j, 1]], ponto[[j, 2]], ponto[[j, 3]], a, b, c])/(ponto[[k, 1]])] ===
Simplify[(pontodois[ponto[[i,1]],ponto[[i, 2]], ponto[[i, 3]],
ponto[[j, 1]], ponto[[j, 2]], ponto[[j, 3]], a, b, c])/(ponto[[k, 2]])] ===
Simplify[(pontotres[ponto[[i,1]],ponto[[i, 2]], ponto[[i, 3]],
ponto[[j, 1]], ponto[[j, 2]], ponto[[j, 3]], a, b, c])/(ponto[[k, 3]])],
Print[k, ponto mdio de ,{i,j}]
];
k++];
j++];
i++].
Os resultados obtidos so apresentados seguidamente e colocados por
ordem crescente do nmero do ponto mdio.
X
1
{X
8
, X
145
} (X
1
ponto mdio do segmento formado por X
8
X
145
)
X
3
{X
1
, X
40
} , {X
4
, X
20
} , {X
74
, X
110
} , {X
98
, X
99
} , {X
100
, X
104
} ,
{X
101
, X
103
} , {X
102
, X
109
}
82
X
4
{X
147
, X
148
}
X
5
{X
32
, X
49
} , {X
11
, X
119
}
X
9
{X
4
, X
144
}
X
10
{X
1
, X
8
} , {X
4
, X
40
} , {X
65
, X
72
} , {X
80
, X
100
}
X
11
{X
1
, X
80
} , {X
4
, X
104
} , {X
100
, X
149
}
X
40
{X
8
, X
40
}
X
56
{X
1
, X
46
}
X
80
{X
8
, X
149
}
X
98
{X
20
, X
148
}
X
99
{X
20
, X
147
}
X
104
{X
20
, X
149
}
X
110
{X
20
, X
146
}
X
113
{X
4
, X
110
} , {X
74
, X
146
}
X
114
{X
4
, X
99
} , {X
98
, X
147
}
X
115
{X
4
, X
98
} , {X
13
, X
14
} , {X
99
, X
148
}
X
116
{X
4
, X
103
} , {X
101
, X
150
}
X
117
{X
4
, X
109
}
X
118
{X
4
, X
101
}
X
119
{X
4
, X
100
}
X
124
{X
4
, X
102
}
X
125
{X
4
, X
74
} , {X
6
, X
67
}
X
132
{X
4
, X
112
}
X
133
{X
4
, X
107
}
X
140
{X
3
, X
5
}
X
141
{X
6,
X
69
} , {X
67
, X
110
}
X
142
{X
7
, X
9
}
X
143
{X
5
, X
52
} .
5.3 Rectas
5.3.1 Recta de Euler
A recta de Euler, que passa por X
2
e X
3
, uma recta muito conhecida e
estudada, no entanto com auxlio do Mathematica possvel vericar que
nos primeiros 100 centros do tringulo, X
2
, X
3
, X
4
, X
5
e os centros do X
20
83
ao X
30
, inclusive, pertencem todos recta de Euler. Esta situao seria
bastante complicada de concluir sem recorrer aos meios informticos, devido
complexidade das coordenadas trilineares de alguns pontos. Abaixo est um
programa na forma de ciclo onde o computador vai testando ponto a ponto
quais so os que pertencem recta. Sempre que um dos pontos satisfaz a
condio devolvida uma mensagem com o respectivo nmero do ponto que
se encontra na base de dados.
rectaeuler[ , , , a , b , c ]:=
a
_
b
2
c
2
_ _
b
2
+ c
2
a
2
_
+ b
_
c
2
a
2
_ _
c
2
+ a
2
b
2
_
+
c
_
a
2
b
2
_ _
a
2
+ b
2
c
2
_

For[i = 1, i 100,
If[
Simplify[
rectaeuler[ponto[[i,1]],ponto[[i, 2]], ponto[[i, 3]], a, b, c],
0 < a&&0 < b&&0 < c] === 0,
Print[ vlido para o ponto ,i],
],
i++].
Arecta de Euler pode ser construda atravs dos pontos X
2
e X
3
. Podemos
tambm vericar que existem alguns centros que formam rectas paralelas
recta de Euler. Ao correr o programa seguinte foi possvel vericar que nos
primeiros 100 centros, as rectas formadas pelos pontos (X
11
, X
36
), (X
12
, X
35
),
(X
13
, X
15
), (X
14
, X
16
) e (X
64
, X
68
) so rectas paralelas recta de Euler.
For[i = 1, i 100,
For[j = i + 1, j 100,
If[
Simplify[
Det[{
{a,b,c},
{ponto[[2,2]]ponto[[3,3]]-ponto[[2,3]]ponto[[3,2]],
ponto[[2,3]]ponto[[3,1]]-ponto[[2,1]]ponto[[3,3]],
ponto[[2,1]]ponto[[3,2]]-ponto[[2,2]]ponto[[3,1]]},
{ponto[[i,2]]ponto[[j,3]]-ponto[[i,3]]ponto[[j,2]],
ponto[[i,2]]ponto[[j,3]]-ponto[[i,3]]ponto[[j,2]],
84
ponto[[i,2]]ponto[[j,3]]-ponto[[i,3]]ponto[[j,2]]}
}],
0 < a&&0 < b&&0 < c] === 0,
Print[ vlido para os pontos ,{i,j}],
];
j++];
i++].
As distncias entre alguns dos pontos pertencentes recta de Euler
permanecem constantes, como o caso de X
2
X
3
: X
2
X
4
: X
2
X
5
: X
2
X
20
:
X
3
X
4
: X
3
X
5
: X
3
X
20
: X
4
X
5
: X
4
X
20
: X
5
X
20
= 2 : 4 : 1 : 8 : 6 : 3 : 6 : 3 :
12 : 9 .
Recta de Euler
X
20
X
5
X
4
X
3
X
2
C B
A
Figura~5.1:
5.3.2 Recta de Nagel
Os pontos X
1
, X
2
, X
8
so colineares e a recta que contm estes trs pontos
chama-se recta de Nagel. Alm destes trs centros, e procedendo da mesma
forma com que se trabalhou na recta de Euler, podemos concluir que contm
tambm os pontos X
10
, X
42
, X
43
e X
78
. Esta recta intersecta a recta de
Euler no ponto X
2
e paralela recta formada pelos pontos (X
36
, X
100
). Os
pontos X
1
, X
2
, X
8
e X
10
preservam as propores X
1
X
2
: X
1
X
8
: X
1
X
10
:
X
2
X
8
: X
2
X
10
: X
8
X
10
= 3 : 1 : 2 :
3
2
: 6 : 2.
85
Recta de Nagel
X
8
X
10
X
2
X
1
C B
A
Figura~5.2:
5.3.3 Pontos colineares
Alm da recta de Euler e da recta de Nagel possvel, utilizando os
centros conhecidos, criar muitas outras rectas considerando os pontos dois a
dois. Mas mais interessante analisar quais os trs ou mais pontos que so
colineares, como o caso do incentro e o ponto de Gergonne que formam a
recta de Soody. Esta recta contm os centros X
1
, X
7
, X
20
e X
77
,
intersectando a recta de Euler no ponto de Longchamps, X
20
, e a recta de
Nagel no incentro, X
1
(Fig. 5.3). A recta de Soddy tambm paralela
recta formada pelos pontos (X
4
, X
9
).
X
1
Recta de Soody
Recta de Euler
X
20
Recta de Nagel
X
2
C B
A
Figura~5.3:
86
Podemos contudo fazer uma anlise mais rigorosa aos centros
conhecidos. Tomando os primeiros 150 centros de [11], foi criado um
programa que considerasse as rectas formadas pelos primeiros dez centros
e que vericasse quais dos restantes centros pertenciam a essas rectas. O
programa semelhante ao utilizado na recta de Euler, mas neste caso o
computador agrupa trs pontos e verica se respeitam a condio (2.10).
For[i = 1, i 10,
For[j = i + 1, j 10,
For[k = j + 1, k 150,
If[
Simplify[
Det[{
{ponto[[i,1]],ponto[[i,2]],ponto[[i,3]]},
{ponto[[j,1]],ponto[[j,2]],ponto[[j,3]]},
{ponto[[k,1]],ponto[[k,2]],ponto[[k,3]]}
}],
0 < a&&0 < b&&0 < c] === 0,
Print[Pontos colineares ,{i,j,k}],
];
k++];
j++];
i++].
Na representao dos resultados a notao utilizada ser da forma R(1, 2, 8),
signicando que os pontos 1, 2 e 8 so colineares.
R(1, 2, 8, 10, 42, 43, 78, 145) - Recta de Nagel
R(1, 3, 35, 36, 40, 46, 55, 56, 57, 65)
R(1, 4, 33, 34, 73)
R(1, 5, 11, 12, 80, 119)
R(1, 6, 9, 37, 44, 45, 72)
R(1, 7, 20, 77) - Recta de Soddy
R(1, 8, 10, 42, 43, 48, 145)
R(1, 9, 37, 44, 45, 72)
R(1, 10, 42, 43, 78, 145)
R(2, 3, 4, 5, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 140) - Recta de Euler
87
R(2, 6, 69, 81, 86, 141)
R(2, 7, 9, 57, 63, 142)
R(3, 6, 15, 16, 32, 39, 50, 58, 61, 62)
R(3, 8, 100, 104)
R(3, 9, 84)
R(4, 6, 53)
R(4, 8, 72, 92)
R(4, 9, 10, 19, 40, 71)
R(5, 6, 68)
R(7, 8, 65, 69, 75, 85, ) .
5.4 Conjugados
Tambm possvel determinar os centros que so conjugados isogonais ou
conjugados isotmicos de outros centros (veja as denies em 2.2.1 e 2.2.2).
Atravs da denio dada no Captulo 2 sobre conjugados isogonais e
conjugados isotmicos podemos determinar os conjugados de alguns dos
centros estudados.
Centro notvel
Conjugado
isogonal
Conjugado
isotmico
Incentro X
1
X
1
X
75
Baricentro X
2
X
6
X
2
Circuncentro X
3
X
4
X
264
Ortocentro X
4
X
3
X
69
Centro dos nove pontos X
5
X
54
X
95
Ponto de Gergonne X
7
X
55
X
8
O programa utilizado para determinar os conjugados isogonais foi da
forma
conjisog1[ , , ]:=
conjisog2[ , , ]:=
conjisog3[ , , ]:=
For[i = 1, i 7,
For[j = 1, j 150,
If[
88
Simplify[conjisog1[ponto[[i,1]],ponto[[i,2]],ponto[[i,3]]]/
ponto[[j, 1]]] ===
Simplify[conjisog2[ponto[[i,1]],ponto[[i,2]],ponto[[i,3]]]/
ponto[[j, 2]]] ===
Simplify[conjisog3[ponto[[i,1]],ponto[[i,2]],ponto[[i,3]]]/
ponto[[j, 2]]],
Print[{i,j}, so conjugados isogonais.],
];
j++];
i++],
No caso dos conjugados isotmicos o programa manteve a estrutura do
anterior, apenas diferindo nas trs funes iniciais.
conjisot1[ , , , a , b , c ]:=1/(a
2
)
conjisot2[ , , , a , b , c ]]:=1/(b
2
)
conjisot3[ , , , a , b , c ]]:=1/(c
2
)
For[i = 1, i 7,
For[j = 1, j 150,
If[
Simplify[conjisot1[ponto[[i,1]],ponto[[i,2]],ponto[[i,3]]]/
ponto[[j, 1]]] ===
Simplify[conjisot2[ponto[[i,1]],ponto[[i,2]],ponto[[i,3]]]/
ponto[[j, 2]]] ===
Simplify[conjisot3[ponto[[i,1]],ponto[[i,2]],ponto[[i,3]]]/
ponto[[j, 2]]],
Print[{i,j}, so conjugados isotmicos.],
];
j++];
i++],
5.5 Circunferncias
A circunferncia dos nove pontos (Captulo 4) , como vimos, uma
circunferncia que contm vrios centros do tringulo, no entanto apenas
contm um centro dos primeiros cem, assim como a circunferncia
89
inscrita, o ponto de Feuerbach, X
11
. No caso a circunferncia circunscrita,
esta contm o centro X
74
e todos os centros do X
98
at ao X
112
. Para
vericar estes resultados foi construdo um programa que consiste apenas
na substituio dos pontos em cada uma das equaes das circunferncias.
Para o caso dos pontos pertencentes circunferncia dos nove pontos temos
o programa
circnovepontos[ , , , a , b , c ]:=

_
(a + b c) (a b + c) (a + b + c) (a + b + c)
2a
2
b
2
c
2
_
a
4

2
+2abc(c + b) +
_
b
2
c
2
_ _
c
2

2
b
2

2
_

a
2
_
b
2
_

2
+
2
_
2bc + c
2
_

2
+
2
___
For[i = 1, i 150,
If[
Simplify[
circnovepontos[ponto[[i,1]],ponto[[i, 2]], ponto[[i, 3]], a, b, c],
0 < a&&0 < b&&0 < c] === 0,
Print[ vlido para o ponto ,i],
],
i++].
Para vericar quais os centros que pertencem circunferncia circunscrita
apenas temos que substituir no programa anterior a equao da circunferncia
dos nove pontos pela equao da circunferncia circunscrita. Da mesma
forma poderemos fazer o teste para a circunferncia inscrita.
90
Bibliograa
[1] Arajo, P. V. (2002). Curso de Geometria. Lisboa: Gradiva -
Publicaes, LDA.
[2] Birkho, G. D., Beatley, R. (1959). Basic Geometry. New York: Chelsea
Publishing Company.
[3] Carmo, J., Sernadas, A., Sernadas, C., Dionsio, F. M., Caleiro, C.
(2004). Introduo Programao em Mathematica, 2
a
edio. Lisboa:
IST Press.
[4] Carr, G. S. (1970). Formulas and Theorems in Pure Mathematics, 2nd
edition. New York: Chelsea Publishing Company.
[5] Coxeter, H. S. M.,Greitzer, S. L. (1967). Geometry Revisited.
Washington, D.C.: The Mathematical Association of America.
[6] Coxeter, H. S. M. (1989). Introduction to Geometry, 2 edition. NewYork:
John Wiley & Sons, Inc..
[7] Dionsio, J. J. (2004). Fundamentos da Geometria. Lisboa:
Departamento de Matemtica, Faculdade de Cincias da
Universidade de Lisboa.
[8] Fernandes, A. N. P. (1967). Elementos de Geometria, para o 2
o
ciclo dos
Liceus, 4
a
Edio. Coimbra: Coimbra Editora, Limitada.
[9] Kimberling, C. (1993). Triangle centers as functions. Rocky Mountain,
Journal of Mathematics, Volume 23, Number 4, 1269-1286.
[10] Kimberling, C. (1998). Triangle Centers and Central Triangles,
Congressus Numerantium, 129. Winnipeg: Utilitas Mathematica
Publishing Incorporated.
[11] Kimberling, C. (2007). Encyclopedia of Triangle Centers - ETC.
http://faculty.evansville.edu/ck6/encyclopedia/ETC.html
91
[12] Lang, S., Murrow, G. (1988). Geometry, 2 edition. New York: Springer.
[13] Oliveira, A. M., Silva, A. (1971). Lisa - Biblioteca da Matemtica
Moderna, vol.1. So Paulo: Editora Lisa S. A. - Livros irradiantes.
[14] Oliveira, A. J. F. (1995). Geometria Euclideana. Lisboa: Universidade
aberta.
[15] Pedoe, D. (1988). Geometry, a comprehensive course. New York: Dover
Publications, Inc..
[16] Veloso, E. (1998). Geometria, Temas actuais. Lisboa: Instituto de
Inovao Educacional.
[17] Yiu, P. (1998). Notes on Euclidean Geometry. Disponvel em:
http://www.math.fau.edu/yiu/geometry.html
[18] Yiu, P. (2004). A Tour of Triangle Geometry. Disponvel em:
http://www.math.fau.edu/yiu/geometry.html
92