Ana Catarina Lima Cantoni

N
umeros Complexos e Alguns Resultados
Cl
assicos da Geometria Plana

Belo Horizonte
2008
 [a4paper,12pt]abnt latexsym graphics epic [brazil]babel [latin1]inputenc amsfonts
graphicx,color amsmath,amsfonts,amssymb wrapfig indentfirst
 Ana Catarina Lima Cantoni

N
umeros Complexos e Alguns Resultados
Cl
assicos da Geometria Plana

Monografia apresentada como requisito par-

cial `a obtencao do ttulo de especialista
em Matematica, pelo Programa de Pos-
Graduacao da Universidade Federal de Minas
Gerais.

Orientador:
Jorge Sabatucci

Universidade Federal de Minas Gerais

ncias Exatas
Instituto de Cie

Belo Horizonte
2008
 Monografia de especializacao sob o ttulo N
umeros complexos e Alguns Resultados
Cl
assicos da Geometria Plana, defendida por Ana Catarina Lima Cantoni em 06 de
marco de 2008, em Belo Horizonte, Minas Gerais, pela banca examinadora constituda
pelos professores:

Prof. Mestre Jorge Sabatucci

Departamento de Matematica - UFMG
Orientador

Prof. Doutor Michel Spira

Departamento de Matematica - UFMG

Prof. Doutor Alberto Berly Sarmiento Vera

Departamento de Matematica - UFMG
 Agradecimentos

`
Aquele que e capaz de fazer infinitamente mais do que tudo que pedimos ou pensamos,
agradeco por estar me permitindo ter essa nova conquista nos meus estudos. Ao professor
Jorge Sabatucci agradeco por ter aceitado me orientar neste trabalho, pela dedicacao,
paciencia e por nao ter me deixado desistir diante das dificuldades. Agradeco ao profes-
sor Michel Spira pelo incentivo constante e pelas contribuicoes que deu a este trabalho,
dando sugestoes e fazendo crticas que muito contriburam para a elaboracao do mesmo.
Finalmente agradeco ao meu noivo Ronaldo, pelo apoio e pela paciencia e boa vontade de
me ensinar a trabalhar com os programas computacionais que permitiram que este texto
ganhasse a atual formatacao.
 Resumo

O objetivo principal deste trabalho e apresentar, com a utilizacao de n

umeros com-
plexos, demonstracoes de cinco teoremas classicos da Geometria Plana: Teorema de
Napoleao, Crculo dos Nove Pontos, A Reta de Simson, Teorema de Morley e o Teorema
de Feuerbach. Para isso, inicialmente sao abordadas propriedades de n umeros complexos
que constituem pre-requisitos para as tais demonstracoes.
Finalizando o trabalho apresentado ainda dois problemas em que se pode perceber
simples, mas interessantes, aplicacoes de n
umeros complexos. Inicialmente sao tratados,
tambem propriedades de
 Abstract

The paper aims to analize, with the use of complex numbers, the demonstrations of five
classic theorems of the plain geometry: Napoleons, Morleys and Feuerbachs theorem,
Circle of the nine points, and the Simsons straigth line. For this, initially, are accosted
properties of Complex Numbers that constitute perequisite for such demonstrations.
This paper also shows two problems in that may to seem simple, but interesting
applications of Complex Numbers.
 Sum
ario

Introdu
cao p. 8

1 Preliminares p. 9

1.1 Interpretacao Geometrica de Operacoes Analticas Aplicadas a N

umeros
Complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 9

1.1.1 Adicao e subtracao . . . . . . . . . . . . . . . . . . . . . . . . . p. 10

1.1.2 Multiplicacao e Divisao . . . . . . . . . . . . . . . . . . . . . . . p. 11

1.1.3 Razes de N
umeros Complexos . . . . . . . . . . . . . . . . . . . p. 13

1.2 Paralelismo e Perpendicularismo no Plano Complexo . . . . . . . . . . p. 15

1.3 Triangulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 18

1.3.1 Semelhanca e Congruencia de Triangulos . . . . . . . . . . . . . p. 18

1.3.2 Caracterizacao de Triangulos Eq

uilateros . . . . . . . . . . . . . p. 20

1.4 Pontos Notaveis em um Triangulo . . . . . . . . . . . . . . . . . . . . . p. 22

1.4.1 Circuncentro . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 22

1.4.2 Ortocentro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 23

1.4.3 O baricentro de um triangulo . . . . . . . . . . . . . . . . . . . p. 24

2 Teoremas p. 27

2.1 Teorema de Napoleao . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 27

2.2 Crculo dos Nove Pontos . . . . . . . . . . . . . . . . . . . . . . . . . . p. 28

2.3 A Reta de Simson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 31

2.4 O Teorema de Morley . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 38

 2.5 Teorema de Feuerbach . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 43

3 Dois Problemas Interessantes p. 52

Conclus
ao p. 55

Refer
encias p. 57
 8

Introdu
ca
o

O presente trabalho constitui a monografia para a finalizacao do curso de Especial-

izacao em Matematica da UFMG e foi desenvolvido sob a orientacao do professor Jorge
Sabatucci.

Inicialmente minha proposta era estudar as curvas chamadas Hipotrocoides, que des-
pertaram minha atencao ao ler o artigo Um Brinquedo Chamado Espirografo na Revista
do Professor de Matematica,n
umero 60. Entretanto, um estudo mais aprofundado dessas
curvas nos desviava da Geometria, que era nossa area de interesse. Deste modo, decidimos
estudar alguns teoremas classicos da Geometria Plana utilizando n
umeros complexos.

Para que nao corressemos o risco de desviarmos do nosso objetivo final, optamos por
utilizar alguns resultados da geometria plana sem demonstra-los formalmente. Assim,
alguns resultados preliminares serao apresentados no primeiro captulo e o restante ao
longo do texto, `a medida quese fizerem necessarios.

Descreveremos a seguir a estrutura desta monografia.

No primeiro captulo, trataremos de propriedades de n

umeros complexos que consti-
tuirao pre-requisitos para os proximos captulos, como equacoes de retas passando por dois
pontos, semelhanca de triangulos, etc. Assim, esse captulo constitui uma oportunidade
de familiarizarmos com tecnicas de calculos envolvendo n
umeros complexos e geometria.

No segundo captulo, estudaremos o Teorema de Napoleao, o Crculo dos Nove Pontos,

a Reta de Simson e finalmente os Teoremas de Morley e Feuerbach.

O terceiro captulo foi acrescentado a esse trabalho para apresentar dois problemas
interessantes de geometria plana, sugeridos pelo professor Michel Spira, que podem ser
resolvidos facilmente utilizando-se n
umeros complexos.
 9

1 Preliminares

1.1 Interpreta
cao Geometrica de Opera
coes Analticas
Aplicadas a N umeros Complexos

Todo n
umero complexo pode ser representado na forma z = a + bi, onde a, b R. Isso
umeros complexos como vetores em R2 , da forma (a, b) nos quais
nos permite tratar os n
a primeira coordenada representa a parte real e a segunda coordenada representa a parte
imaginaria. Sendo assim, temos que |z|, que tambem denotaremos por r, e dado por:

|z| = a2 + b 2 .

Todo n
umero complexo z = a+bi pode ser representado tambem das seguintes formas:

z = r(cos + i sin ) (forma trigonometrica),

onde 0 2, que chamaremos argumento, e o angulo que o vetor (a, b) faz com
o eixo das abcissas.

z = rei (forma exponencial),

onde r e o modulo e e o argumento de z. A forma exponencial pode ser deduzida
da forma trigoometrica utilizando-se a relacao de Euler ei = cos + i sin .

O conjugado de um n
umero complexo z = a + bi, que sera chamado conjugado de
z e representado por z, e definido como z = a bi. Na forma exponencial temos que
z = |z| ei .

Geometricamente, para encontrar o conjugado de um n

umero complexo basta reflet-lo
em torno do eixo real. Veja a figura 1.
 10

b z

a
0

b z

Figura 1: Conjugado de
N
umero Complexo

As seguintes propriedades sao validas para os n

umeros complexos:

a = Re(z) = 21 (z + z),

1
b = Im(z) = 2i
(z z),

z e real se e somente se z = z,

z1 + z2 = z1 + z2 ,

z1 z2 = z1 z2 ,

|z1 z2 | = |z1 ||z2 |,

zz = |z|2 ,

|z| = |z|,
 
z1 z1
=
z2 z2
1
|z| = 1 z =
z

1.1.1 Adic
ao e subtrac
ao

Ao somarmos ou subtrairmos dois n

umeros complexos z1 e z2 , tratando-os como ve-
tores em R2 , obteremos como resultado um novo n
umero complexo z que, geometrica-
mente, e representado pelo vetor soma z1 + z2 ou pelo vetor diferenca z1 z2 , respectiva-
mente. (Figuras 2 e 3)
 11

y
z1
y

P1
z1 z2 z2
z2
z1 +
z1
P2
z2 x
0 x

Figura 2: Soma de Numeros Com- Figura 3: Diferenca de Numeros Com-

plexos plexos

1.1.2 Multiplicac
ao e Divis
ao

A multiplicacao e divisao de n
umeros complexos ganham significados geometricos mais
interessantes quando eles estao escritos na forma exponencial. O produto de um n
umero
complexo z = |z|ei por um n
umero real a e dado por:

z = a|z|ei ,

donde vemos facilmente que apenas o modulo do vetor original e alterado e nao seu
argumento.

umero complexos z1 = |z1 |e1 e z2 = |z2 |ei2 e dado por:

O produto de um n

z1 z2 = |z1 ||z2 |e(1 +2 )i

o que significa que o vetor que representa o produto tera modulo igual ao produto dos
modulos originais e argumento igual `a soma dos argumentos originais.

umero complexo z = |z|ei por um n

Assim, o produto de um n umero complexo de
norma 1, ou seja, da forma ei , corresponde, geometricamente, a uma rotacao, em torno
da origem, de um angulo no vetor z, sem alterar seu modulo.

Exemplo: Para z = ei , z 2 e obtido pela rotacao de z por um angulo . Outra

rotacao por nos da z 3 .

umeros complexos z1 = |z1 |e1 por z2 = |z2 |ei2 com z2 6= 0 e dado

A divisao de dois n
por
z1 |z1 | (1 2 )i
= e ,
z2 |z2 |
o que significa que o vetor que representa o quociente tera modulo igual ao quociente dos
modulos originais e argumento igual `a diferenca dos argumentos originais.
 12

umero complexo z = |z|ei por outro n

Sendo assim, o quociente de um n umero com-
plexo de modulo 1, ou seja, da forma ei , corresponde, geometricamente, a uma rotacao,
em torno da origem, de um angulo no vetor z, sem alterar seu modulo.
valido observar tambem que multiplicar um n
E umero complexo por i e equivalente

a rotaciona-lo de um angulo 2
no sentido anti-horario e dividir um n
umero complexo por

i equivale a uma rotacao de 2
no sentido horario.

umeros complexos, temos que z1 = r1 e1 e z2 =

Como aplicacao da divisao de dois n
r2 ei2 , vistos como vetores no plano complexo;

z1
1. Sao paralelos se, e somente se, o quociente z2
e um n
umero real.
De fato, se z1 , z2 sao paralelos o angulo entre eles e da forma k, k Z, ou seja
1 2 = k e, portanto,
z1 r1 r1
= e(1 2 )i = eki R.
z2 r2 r2

z1
Por outro lado se R temos
z2

e(1 2 )i R, donde, 1 2 = k, k Z.

z1
2. Sao ortogonais se, e somente se, o quociente e imaginario.
z2

De fato, se z1 , z2 sao ortogonais o angulo entre eles e da forma k , k Z, logo
2
r1 (1 2 )i r1 k i
e = e 2 e imaginario.
r2 r2

y y
z1 z2
z4 z3
z5
z2
z2 z
ab

b
z1 1 x
1+ 2 2 a
1

Figura 4: Produto de Numeros Com- Figura 5: Potencias de Numeros Com-

plexos plexos. Nesse caso |z| = 1
 13

z1
z2

z1 : z2
1 2
x
1 2

Figura 6: Quociente de Complexos

z1
O contrario tambem e verdade, pois se e imaginario temos que
z2

e(1 2 )i e imaginario e portanto, 1 2 = k , k Z.
2

Para tres pontos distintos , , C, o angulo orientado do vetor com origem em

e extremidade em , que representaremos por para o vetor
,

, definido de modo
analogo, e dado por

arg = arg ( ) arg ( )

1.1.3 Razes de N
umeros Complexos

Raizes C
ubicas da Unidade

Vamos inicialmente encontrar as razes c

ubicas da unidade, que serao fundamentais

y
y

z
z.i
z

1 2 x 1 x

z
i

Figura 8: Quociente de Complexos por

Figura 7: Produto de Complexos por i i. Nesse caso |z| = 1
 14

Figura 9: Angulo orientado

no desenvolvimento deste trabalho. Para isso devemos encontrar os n

umeros complexos
z que satisfazem o polinomio z 3 1 = 0.
facil ver que z1 = 1 e uma das razes procuradas. Usando o fato que e2ki = 1, k
E
Z, temos que:
2 4
(e 3 i )3 = e2i = 1 e (e 3 i )3 = e4i = 1.

2 4
Portanto, e 3 i e e 3 i tambem sao razes da unidade. Pelo Teorema Fundamental da

Algebra z 3 1 = 0 possui exatamente tres solucoes complexas, donde podemos concluir

que as razes c
ubicas da unidade sao:

z1 = 1;
2
z2 = e 3 i ;
4
z3 = e 3 i .

2
A partir de agora z2 = e 3 i sera representada por . Usando essa notacao as razes
ubicas da unidade sao 1, , 2 .
c

2
3 1
0
x

Figura 10: Razes da Unidade

 15

simples observar que essas tres razes sao os vertices de um triangulo equilatero
E
inscrito no crculo unitario centrado na origem (para facilitar esse crculo sera denotado
por S 1 no restante deste trabalho). Alem disso, sao validas as seguintes relacoes:

2 = , ja que 2 e obtido, geometricamente, pela reflexao de em torno do eixo

real.

2 ++1 = 0 pois, por definicao 3 1 = 0 e portanto (1)( 2 ++1) = 3 1 = 0

e como 6= 1 temos 2 + + 1 = 0.

Raizes n-
esimas de um complexo

Para encontrar as razes n-esimas de um complexo wqualquer, vamos comecar obser-

2k
i
vando que se z0 e uma das razes da equacao z n = w entao z0 e n , k Z tambem sao,
 2k n
pois z0 e n i = z0 e2ki = z0 n = w .

Sabemos, pelo Teorema Fundamental da Algebra, que a equacao z n w = 0 possui
exatamente n solucoes complexas. Desta forma, sendo z0 uma das razes complexas de w
2
as demais sao dadas por zj = z0 ej n i com j variando de 1 a n 1.

Assim, dado um complexo qualquer w = rei as razes n-esimas de w serao:

z0 = n
re n i ;
2 (+2j)
zj = n
re n i ej n i = n
re n
i
, j = 1, 2, ..., n 1.

Geometricamente esse resultado equivale a dizer que para encontrar as razes n-esimas
2
de w basta encontrar uma raz e as outras serao obtidas por rotacoes de m
ultiplos de n
dessa raiz. Essas razes sao os vertices de um polgono regular de n lados.

1.2 Paralelismo e Perpendicularismo no Plano Com-

plexo

1. Para que os pontos , , sejam colineares e necessario e suficiente que os vetores

e
sejam paralelos, ou seja, ( ) = ( ) com R. Sendo assim

R e, portanto

= ( )( ) ( )( ) = 0


 16

   
  
1   1 
    
     
  = 0  0  = 0  1  = 0. (1.1)
     
 0   1 

Como aplicacao temos que:

2. Dados os pontos , a equacao da reta que passa por esses dois pontos deve satis-
z z

fazer = que e equivalente a

z( ) z( ) = ( ) ( ). (1.2)

1 1
No caso particular em que || = || = 1, o que significa que
= e = , a

equacao 1.2 se torna
z + z = + . (1.3)

3. Dados , a equacao da reta passando por na direcao de e dada por z =

z z
onde R, logo = = 0, ou seja,

z z
= . (1.4)

Como aplicacao, temos que dados , , a equacao da reta paralela `a reta
passando por e:
z z
= ,

que e equivalente a

z( ) z( ) = ( ) ( ). (1.5)

4. Dados , a equacao da reta S ortogonal a passando por e tal que se z S

z z z
entao, e um numero imaginario e portanto, + = 0,ou seja,

z z z0 z0
+ = + . (1.6)
u u u u

Como aplicacao temos que dados tres pontos , , a equacao da reta perpendicular

`a reta passando por e:
z z
+ = + que e equivalente a

z( ) + z( ) = ( ) + ( ). (1.7)
 17

Daremos abaixo duas aplicacoes do que foi visto ate agora nesta subsecao.

Mediatriz de um segmento
Utilizando a equacao 1.7 vamos encontrar a equacao da mediatriz de um segmento
de extremos nos pontos e .
+
A mediatriz procurada e a reta perpendicular `a reta passando por , logo
2
ela e dada pela equacao

+ +
z()+z() = ()+ () que quando simplificada se torna
2 2

z( ) + z( ) = ||2 ||2 . (1.8)

Teorema 1.2.1 Uma equacao linear em z e z, ou seja da forma z + z = e

equacao de uma reta se, e somente se, ela e invariante por conjugacao.
Demonstra
cao: I) Primeiramente mostraremos que uma equacao de reta e igual
ao seu proprio conjugado. Conforme visto na pagina 16 a equacao de uma reta pode
ser dada pela equacao
z z z0 z0
+ = + ,

em que e um vetor perpendicular a essa reta e z0 um ponto da mesma. Tomando
o conjugado de ambos os membros da equacao acima, temos

z z z0 z0 z z z0 z0
+ = + + = +

que e a equacao original.
II)Tomemos agora uma equacao linear em z e z e suponhamos que ela seja igual ao
seu conjugado, ou seja,

z + z = z + z z + z = z + z

( )z + ( )z + ( ) = 0.

Entao, para que a igualdade seja verdadeira para todo ponto z pertencente `a curva
descrita pela equacao, devemos ter = e = sendo que a u
ltima igualdade
equivale a dizer que R. Substituindo essas igualdades na equacao original,
teremos
z z
z + z = = + = com = R.
||2
 18

z0 z0
Logo, para todo ponto z0 pertencente `a curva e valido que + = e, portanto,

z z z0 z0
+ = +

donde conclumos que a equacao linear representa a equacao de uma reta perpen-
dicular a .

1.3 Tri
angulos

1.3.1 Semelhan
ca e Congru
encia de Tri
angulos

Na geometria elementar os conceitos de congruencia e semelhanca de triangulos sao dos

mais fundamentais. Nessa secao, estudaremos as condicoes de semelhanca e congruencia
de dois triangulos em termos de n
umeros complexos. Inicialmente introduziremos algumas
notacoes e faremos algumas revisoes.

Dizemos que os triangulos z1 z2 z3 e w1 w2 w3 sao semelhantes, e escrevemos

z1 z2 z3 w1 w2 w3

se, e somente se, o angulo do vertice zk e igual ao angulo de vertice em wk (para k = 1, 2, 3)

e se eles tem a mesma orientacao (isto e, se eles estao ambos no sentido horario ou anti-
horario).

Se eles tem orientacao oposta (um no sentido horario e outro no sentido anti-horario),
entao escrevemos
z1 z2 z3 op w1 w2 w3 .

Note que zk ainda deve corresponder ao wk (k = 1, 2, 3).

Teorema 1.3.1
z1 z2 z3 w1 w2 w3
 
 
 z1 w1 1 
z2 z1 w2 w1  
 
=  z2 w2 1  = 0 (1.9)
z3 z1 w3 w1  
 
 z3 w3 1 
 19

z1 w2
1

w3

z3
3

z2 2
w1

Figura 11: Semelhanca de triangulos e Ori-

entacao.
Na figura os dois primeiros tri angulos tem a
mesma orientacao e os dois u
ltimos, assim como
o primeiro e o u
ltimo, tem orientacoes opostas.

Demonstracao: Dois triangulos sao semelhantes se, e somente se, as razoes entre
dois lados correspondentes e a mesma e os angulos formados por esses lados, incluindo a
orientacao, sao iguais. Conseq
uentemente devemos ter
   
 z2 z1   w2 w1  z2 z1 w2 w1 z2 z1 w2 w1
   
 z3 z1  =  w3 w1  e arg
z3 z1
= arg
w3 w1

z3 z1
=
w3 w1
.
| {z } | {z }
(raz
ao entre lados correspondentes) (medidas dos angulos)

Com argumento semelhante ao usado na pagina 16, obtemos que a u

ltima igualdade
e equivalente a  
 z w 1 
 1 1 
 
 z2 w2 1  = 0.
 
 
 z3 w3 1 

Observa
cao w1 w2 w3 op w1 w2 w3 .

Para ver isso basta observar a figura 12.

Corol
ario 1.3.2 z1 z2 z3 op w1 w2 w3
 
 
 z1 w1 1 
z2 z1 w2 w1  
 
=  z2 w2 1  = 0 (1.10)
z3 z1 w3 w1  
 
 z3 w3 1 

Demonstracao: w1 w2 w3 op w1 w2 w3
 20

w1

w2

w3

w3

w2

w1

Figura 12:
w1 w2 w3 op w1 w2 w3

)
w1 w2 w3 op w1 w2 w3
z1 z2 z3 w1 w2 w3
z1 z2 z3 op w1 w2 w3

w1 w3
z2

w2
z3 w2

z1
w3
w1

Figura 13:
z1 z2 z3 op w1 w2 w3 logo z1 z2 z3 w1 w2 w3

1.3.2 Caracteriza
cao de Tri
angulos Eq
uil
ateros

Teorema 1.3.3 z1 z2 z3 e um tri

angulo equil
atero se, e somente se,

z1 + z2 + 2 z3 = 0 ou (1.11)

z1 + 2 z2 + z3 = 0. (1.12)
 21

Demonstra
cao: De fato, z1 z2 z3 e equilatero se, e somente se,

z1 z2 z3 1 2 ou z1 z2 z3 op 1 2 z1 z2 z3 1 2 .

Mas, pelo que foi mostrado no criterio de semelhanca o primeiro caso acontece se, e
somente se,

 
 z 1 1 
 1 
 


 z2 1  = 0 z1 2 + z2 2 1 + z3 (1 ) = 0
 
 
 z3 2 1 

z1 2 w3 +z2 3 +z3 2 = 0 z1 z2 2 z3 +z1 2 +z2 +z3 = 0
 
2 1 3 2

1

z1 z2 z3 + z1 + z2 + z3 = 0 1 z1 + z2 + 2 z3 = 0

z1 + z2 + 2 z3 = 0
1
pois
1 6= 0 ja que e uma das razes complexas da unidade.

O segundo caso e analogo ao primeiro e pode ser demonstrado da mesma maneira.

Uma maneira geometrica de ver isso e observando que:

1. Se z1 , z2 , z3 estao no sentido anti-horario o z1 z2 z3 e equilatero se, e somente se,

2
(z3 z1 )e 3 i = (z2 z1 ) ou seja,

(z3 z1 ) = z1 z2 z1 (1 + ) z2 z3 = 0

z1 2 + z2 + z3 = 0 z1 +2 + 2 z3 = 0.

2. Se z1 , z2 , z3 estao em sentido horario o z1 z2 z3 e equilatero se, e somente se,

(z3 z1 ) 1 = (z2 z1 ) z3 z1 = (z1 z2 )

z1 (1 + ) z2 z3 = 0 z1 + 2 z2 +3 = 0.
 22

z3

2
3
z1 z2

Figura 14: caracterizacao geometrica

de tri
angulos equil
ateros

1.4 Pontos Not

aveis em um Tri
angulo

1.4.1 Circuncentro

Teorema 1.4.1 As tres mediatrizes de um tri

angulo se encontram em um ponto que e
chamado circuncentro do tri
angulo.

Demonstra
cao Sejam , os vertices do triangulo. Entao, pela equacao 1.8,
pagina 17, a mediatrizes dos lados , e sao , respectivamente:


2 2
( )z + ( ) z = || ||

(1)
( ) z + ( ) z = ||2 ||2 (2)




z + ( )z = ||2 ||2 (3)

Somando-se quaisquer duas dessas equacoes, obtemos a restante. Isso implica que a
intersecao de duas dessas mediatrizes pertence `a terceira delas. Por exemplo, somando-se
(1) e (2) obtemos (3). Logo, concluumos que as tres mediatrizes de um triangulo qualquer
encontram-se em um ponto.

Vamos agora resolver um sistema com as equacoes (2) e (3) para encontrar esse ponto
de interseccao, ou seja, o circuncentro do triangulo.

Isolando z na equacao (3) obtemos

||2 ||2 ( )z
z= .
( )
 23

Substituindo em (2) encontramos

!
||2 ||2 ( )z
( )z + ( ) = ||2 ||2 =
( )

( )( )z +( )(||2 ||2 )( )( )z = ( )(||2 ||2 ) =

(++)z = ()(||2 ||2 )()(||2 ||2 ) =

[( ) + ( ) + ( )]z = ||2 ( ) ||2 ( ) ||2 ( ) =

||2 ( ) + ||2 ( ) + ||2 ( )
z= (1.13)
( ) + ( ) + ( )

interessante notar que, por simetria do resultado obtido, podemos ver novamente
E
que essa solucao tambem satisfaz a equacao (1) do sistema com as tres equacoes das
mediatrizes.

1.4.2 Ortocentro

Teorema 1.4.2 As tres alturas de um tri

angulo se encontram em um ponto chamado
ortocentro do tri
angulo.

Demonstra
cao: Sejam , , os vertices de um triangulo. De acordo com a equacao
1.7, a reta suporte da altura relativa ao vertice , que e perpendicular ao lado , e dada
pela equacao:
z( ) + z( ) = ( ) + ( ).

De modo analogo obtemos as retas suportes das alturas relativas aos vertices e .
Com as tres equacoes obtidas, podemos montar o seguinte sistema


z( ) + z( ) = ( ) + ( ) (I)


z( ) + z( ) = ( ) + ( ) (II)



z( ) + z( ) = ( ) + ( ). (III)

Podemos observar que qualquer uma das tres equacoes e combinacao linear das outras
duas e portanto a interseccao de duas das retas pertence `a terceira delas, ou seja, as tres
alturas de um triangulo se encontram. Esse ponto de interseccao e chamado ortocentro
do triangulo.
 24

Vamos agora calcular esse ortocentro para o caso particular em que o triangulo esta
inscrito no circulo unitario com centro na origem. Nesse caso, || = || = || = 1, logo
1 1 1
= ; = ; = . Usando essas relacoes, vamos isolar z na equacao III. Temos

   
1 1 1 1 1
z + z( ) = + ( )

   
1
z + z( ) = + ( )

   
z 1 1 z
( ) z = ( ) z = + . (1)

Isolando z na equacao (I) temos

1 z
z= + (2),

substituindo (1) em (2) encontramos

1 z 1 z
+ = + , multiplicando ambos os lados por ficamos com

2 + z = 2 + z ( )z = 2 + 2

( )z = ( ) + ( )( + )

z =++ (1.14)

Podemos verificar, geometricamente, que esse resultado esta correto. Por exemplo,
+
= + e como o vetor e perpendicular ao segmento temos que o
2
vetor tambem e perpendicular ao segmento . Logo pertence `a reta suporte da
altura relativa ao vertice . De modo semelhante, vemos que tambem pertence `a reta
suporte das alturas relativas aos vertices e e portanto, e o ortocentro do triangulo de
verices , , . Veja a figura 15.

1.4.3 O baricentro de um tri

angulo

Teorema 1.4.3 As tres medianas de um tri

angulo se encontram em um ponto. Esse
ponto e chamado baricentro do tri
angulo.

Demonstra
cao: Dados um triangulo com vertices em , , a reta suporte da mediana
 25

+
2

Figura 15: Verificando geometricamente

que e o ortocentro do tri
angulo de
vertices , , .

relativa ao lado e a reta que passa por e pelo ponto medio de . Utilizando a
equacao 1.2 temos que a reta procurada e dada por:
!   !  
+ + + +
z z =
2 2 2 2

z(2 ) z(2 ) = ( + ) ( + ) (I).

De modo analogo obtemos as retas suportes das medianas relativas aos lados e
, que sao respectivamente

z(2 ) z(2 ) = ( + ) ( + ) (II)

z(2 ) z(2 ) = ( + ) ( + ) (III).

Qualquer uma das tres equacoes acima e combinacao linear das outras duas, somando-
se as equacoes (I) e (II) por exemplo encontramos o oposto da equacao (III), desta
forma as tres medianas se encontram em um ponto que e chamado baricentro do triangulo.
O teorema fica assim demonstrado.

Outra forma de obter esse resultado e usando o fato que a equacao parametrica da
mediana relativa ao lado e dada por:
 
+
z = (1 t) + t (0 t 1).
2

2 ++
Para t = obtemos z = , que por simetria tambem pertence `as medianas
3 3
 26

relativas aos lados e . Conclumos assim, que as tres medianas de um triangulo se

encontram e que se os vertices desse triangulo sao dados por , , o ponto de encontro,
chamado baricentro ou centro do triangulo, e dado por:

++
z= . (1.15)
3
 27

2 Teoremas

2.1 Teorema de Napole

ao

Teorema 2.1.1 (Napole

ao) Se sobre cada lado de um tri
angulo qualquer tracarmos
um tri
angulo equil
atero,externamente ao tri
angulo dado, ent
ao os centros desses tres
tri
angulos equil
ateros determinam os vertices de um quarto tri
angulo equil
atero.

Demonstra
cao: Sejam z1 , z2 , z3 os vertices de um triangulo dado e w1 z3 z2 ,
z3 w2 z1 e z2 z1 w3 todos triangulos equilateros com a mesma orientacao que 1 2
(onde w3 = 1). Sejam tambem 1 , 2 , 3 , respectivamente, os centros desses triangulos
equilateros. De acordo com a equacao 1.11 os triangulos acima devem satisfazer:

w1 + z3 + 2 z2 = 0

z3 + w2 + 2 z1 = 0

z2 + z1 + 2 w3 = 0

w3

Z1 w2
3
2
Z2

Z3

w1

Figura 16: Teorema de Napoleao

 28

Para que 1 2 3 seja equilatero os vertices 1 , 2 , 3 devem satisfazer 1 + 2 +

2 3 = 0. Mas, usando a equacao 1.15, temos

1 2
1 + 2 + 2 3 = (w1 + z3 + z2 ) + (z3 + w2 + z1 ) + (z2 + z1 + w3 )
3 3 3
1
= (w1 + z3 + 2 z2 ) + (z3 + w2 + 2 z1 ) + (z2 + z1 + 2 w3 ) = 0
3

Donde conclumos entao que 1 2 3 e um triangulo equilatero. E o teorema fica

demonstrado.

Se tivesssemos considerado os triangulos eq

uilateros sobre os lados, mas internamente,
cada um deles seria semelhante ao 1 2 = 1 2 e a demonstracao do teorema para
esse caso seria analoga.

2.2 Crculo dos Nove Pontos

Teorema 2.2.1 (Crculo dos Nove Pontos) O crculo que passa pelos pes das alturas
de qualquer tri
angulo passa tambem pelos pontos medios dos lados, bem como pelos pontos
medios dos segmentos que unem os vertices ao ortocentro desse tri
angulo.

Demonstra
cao: Dado um triangulo ABC,por semelhanca de figuras planas, pode-
mos, sem perda de generalidade, supor que o crculo circunscrito a esse triangulo tem
seu centro na origem do plano complexo e que seu raio vale 1. Sejam , , os pon-
tos que representam, respectivamente os vertices A, B, C desse triangulo. Temos que
|| = || = || = 1.

Vamos incialmente encontrar o centro do crculo que passa pelos pontos medios dos
lados do ABC, que chamaremos C. A seguir concluiremos a demonstracao mostrando
que os demais pontos citados no teorema pertencem a esse crculo.

Nao e difcil perceber, pela simetria das equacoes, que o centro procurado e dado pelo
++
ponto 2
, pois
       
 + + +     + + +   
  =   =   =   =
 2 2   2  2 2   2
   
 + + +   

 =   = 1 .
 2 2   2 2
 29

Outra forma de encontrar o circuncentro de C e utilizando a formula 1.13 obtida na

+ + +
pagina 23. Como os vertices do triangulo considerado sao dados por 2
, 2 , 2 ,
substituindo-os na formula obtemos:

 + 2
 + 2 +
 + 2

  +
+
+ 2  + + 2  +
+
z=  2  2 2

  2 2



2 2


+ + + + + + + + +
2 2
2
+ 2 2
2
+ 2 2
2

+

 + 

+

 + 

+

+




2 2
+
2 2 2 2
+ 2 2 2
=  
 



+ + +
2 2
+ 2 2
+ 2 2

1 ( + )( )( + ) + ( + )( )( + ) + ( + )( )( + )
=
2 ( + )( ) + ( + )( ) + ( + )( )

 
1 ( + + ) ( + )( ) + ( + )( ) + ( + )( )
=
2 ( + )( ) + ( + )( ) + ( + )( )
++
= .
2

Vale observar que, conforme vimos na formula 1.14 no captulo 1, + + , que

chamaremos , e o ortocentro do ABC e portanto o circuncento obtido e .
2
++
Vamos tomar agora a distancia do ponto = ate o ponto medio do
2 2
segmento com extremidades no vertice A e no ortocentro H. Essa distancia e dada por
 
 + 

 = || = 1 .
 2 2 2 2

Analogamente, as distancias de ate os pontos medios de BH e CH sao iguais a
2
1
.
2

Falta determinar ainda a distancia de aos pes das alturas e para isso devemos,
2
primeiramente, determinar esses pontos.

O pe da perpendicular do vertice A ate o lado BC e dada pela interseccao das

retas suportes do lado BC e da altura relativa ao vertice A. As equacoes dessas retas
 30

sao dadas respectivamente pelas equacoes:

z( ) z( ) = ( ) ( );

z( ) + z( ) = ( ) + ( ).

Para encontrar a interseccao entre elas comecamos somando, membro a membro, as

duas equacoes. Assim,

2z( ) = ( + )( ) + ( )( )
      
1 1 ( )
z= ( + ) + ( ) = ++
2 2
      
1 1 1
z= + = + + = =
2 2 2

Segue que a distancia de ate o pe (da perpendicular do vertice A ate o lado BC) e
2
     
     

  = 

 =   = 1.
 2 2 2 2  2  2

Analogamente, obtemos os pes das outras alturas do ABC e as distancias de
2
1
ate eles, e tambem encontraremos .
2
1
Como a distancia dos 9 pontos citados no teorema tem distancia do centro de C,
2
conclumos que tal crculo e o crculo dos 9 pontos. O teorema fica assim demonstrado.

A()

C ()
B ()

Figura 17: Crculo dos Nove Pontos

 31

2.3 A Reta de Simson

Daremos incio a essa secao com alguns comentarios preparatorios para a demon-
stracao do teorema sobre a reta de Simson.

Teorema 2.3.1 Quatro pontos z1 , z2 , z3 , z4 est

ao em um crculo se, e somente se, o
z1 z3 z2 z3
quociente e real.
z1 z4 z2 z4

Para demonstrar esse teorema usaremos o seguinte fato da Geometria Euclidiana

Plana: Quatro pontos A, B, C, D estao em uma circunferencia se, e somente se ACB =

ADB, no caso dos pontos C, D estarem no mesmo semiplano com relaca ` reta AB, ou
o a
+ ADB
ACB = no caso dos pontos C, D estarem em semiplanos opostos com relaca
o a
`
reta AB.
 
z3 z1
Vamos observar ainda, pela definicao de angulo orientado, que arg e
  z4 z1
z3 z2
arg tem a mesma orientacao se, e somente se, z1 e z2 estao no mesmo lado
z4 z2
com relacao `a reta z3 z4 .

Z3

Z1
Z1
Z3 Z2

Z2

Z4 Z4

Figura 18: z3 z1 z4 e z3 z2 z4 com a Figura 19: z3 z1 z4 e z3 z2 z4 com ori-

mesma orientacao entacoes opostas

Demonstra
cao do teorema: Provaremos o teorema para o caso em que z1 e z2 estao
do mesmo lado da reta z3 z4 , o caso em que estao em lados opostos pode ser demonstrado
de maneira semelhante e sera omitido.

Suponhamos primeiramente que os quatro pontos estejam em uma circunferencia.

Nesse caso, temos z3 z c2 z4 . Logo
c1 z4 = z3 z

z3 z1 z3 z2 z3 z1 z3 z2
arg = arg , donde arg arg =0
z4 z1 z4 z2 z4 z1 z4 z2
 32

z3 z1 z3 z2
e portanto, sera real.
z4 z1 z4 z1

Como, devido `a orientacao;

z3 z1 z3 z2
c1 z4 = arg
z3 z e c2 z4 = arg
z3 z
z4 z1 z4 z2

teremos
 
z3 z1 z3 z2 z3 z1 z3 z2
arg = arg arg = 0,
z4 z1 z4 z2 z4 z1 z4 z2
z3 z1 z3 z2
e portanto, sera real.
z4 z1 z4 z1

z1 z3 z2 z3 z3 z1 z3 z2
Por outro lado se R temos arg arg
=
z1 z4 z2 z4 z4 z1 z4 z2
z3 z1 z3 z2
ou arg arg = 0. Como z1 , z2 estao do mesmo lado da reta, o primeiro
z4 z1 z4 z2
caso nao pode acontecer, ja que o modulo de ambos os argumentos e menor que . Assim
temos que

z3 z1 z3 z2 z3 z1 z3 z2
arg arg = 0 arg = arg
z4 z1 z4 z2 z4 z1 z4 z2

c1 z4 = z3 z
z3 z c2 z4 .

Conclumos assim, que z1 , z2 , z3 , z4 estao em uma circunferencia.

Apos esses resultados, estamos prontos para demonstrar o teorema de Simson.

Teorema 2.3.2 (A Reta de Simson) Dado um ABC e um ponto D, sejam P, Q e

R os pes das perpendiculares de D ate os lados (ou prolongamentos dos mesmos) BC,
AB, AB, respectivamente. Entao os pontos P, Q, R est
ao alinhados se, e somente se, D
est
a no crculo circunscrito do ABC.

Demonstra
cao: Suponhamos, sem perda de generalidade, que o triangulo ABC
esta inscrito em um crculo unitario e que os pontos A, B, C, D sao representados, re-
spectivamente, pelos n
umeros complexos , , , . De acordo com a equacao 1.3 a reta
suporte do lado BC e dada por

z + z = + . (1)
 33

A ()

R ()
P()
B() C ()
Q ()

D ()

Figura 20: Reta de Simson

Por outro lado, usando a equacao 1.7 obtemos que a equacao da perpendicular ao
lado BC passando por D e dada por

z z = . (2).

Somando membro a membro as equacoes (1) e (2), encontramos a interseccao z =

P () das duas retas em questao:

1
= ( + + )
2

De modo analogo, podemos encontrar os pontos Q(), R() que sao dados por:

1 e = 1 ( + + )

= ( + + )
2 2

Pelo que vimos na pagina 16, os pontos P (), Q(), R() sao colineares, se, e so-

mente se, R. Para simplificar, usando a notacao || = r(conseq
uentemente

r2
= ), e os valores para , , encontrados, temos

1 )] = 1 ( )(1 )
;
= [ (
2 2
1 )] = 1 ( )(1 );

= [ (
2 2

( )(1 ) r 2
= =( )( ).

( )(1 ) r 2
 34

Desta forma,
P (), Q(), R()colineares
r 2
( )( ) R , , , r 2 estao em um crculo
r 2
||
|r 2 | = || = || = || = 1 (|||r 2 | = 1 ( = 1 || = 1.
||2
Conclumos assim que D() pertence `a circunferencia e o teorema fica demonstrado.

Encontraremos agora a equacao para a reta de Sinsom. Para isso usaremos a mesma
notacao utilizada na demonstracao do teorema. Em particular, assumimos que ABC
esta inscrito em um crculo unitario e que o ponto D() pertence a esse crculo.

Como ja sabemos que os pontos , , sao colineares, basta determinar a equacao

da reta que contem os pontos , que ela contera o ponto . De acordo com a equacao
1.2 a reta procurada e dada por:

( )z ( )z = ( ) ( ) (2.1)

Para facilitar vamos calcular separadamente as expressoes ; ; . Temos

1
1
= + = ( + ) ;
2 2
1 1
= ( + ) = ( + ) ;
2 2
1 1
= ( + + ) = ( + + 2 ).
2 2
Substituindo essas tres expressoes na equacao 2.1 e dividindo ambos os lados da igualdade
por ( + ) obtemos:

1 1 1 1
z z= ( + + ) ( + + 2 ).
2 2 2

Multiplicando ambos os membros da equacao por ficamos com:

 
1 2

z ()z = + + +
2
 
1 2
z ()z = + ( + + ) ( + + ) .
2
 35

A introducao das notacoes a seguir facilitara futuros calculos:

1 = + + ; 2 = + + ; 3 = .

Com essa notacao, nossa equacao para a reta de Simson se torna

1 3


z 3 z = 2
2 + 1 2
.

Teorema 2.3.3 Sejam L, M, N tres pontos no crculo circunscrito do ABC. A

condicao necess
aria e suficiente para que as retas de Simson dos tres pontos, com relacao
ao ABC, se encontrem em um mesmo ponto e

AL + BM + CN 0 (mod 2).

Demonstra
cao: Suponhamos, como fizemos anteriormente, que ABC esteja in-
scrito no crculo unitario com centro na origem e sejam u1 , u2 , u3 os n
umeros complexos
que representam L, M, N , respectivamente. Entao a equacao das tres retas de Simson
consideradas acima sao
 
1 2
3
(I) u1 z 3 z = u1 + 1 u1 2
2 u1
 
1 2
3
(II) u2 z 3 z = u2 + 1 u2 2
2 u2
 
1 2
3
(III) u3 z 3 z = u3 + 1 u3 2
2 u3
Para encontrar a interseccao das duas primeiras retas subtramos, membro a membro, a
equacao I da II obtendo:
  
2
1 2
1 1
(u2 u1 )z = u2 u1 + 1 (u2 u1 ) + 3
2 u1 u2
 
1 3
z= u1 + u2 + 1 + .
2 u1 u2

De modo analogo encontramos a interseccao das duas u

ltimas retas, que e dada por
 
1 3
z= u2 + u3 + 1 + .
2 u2 u3
 36

Assim, a condicao necessaria e suficiente para que as tres retas se encontrem em

um ponto e que esses dois u
ltimos pontos coincidam e para que isto ocorra devemos
3 3
ter u1 + u1 u2
= u3 + u2 u3
que e equivalente a 3 = u1 u2 u3 =
u1 u2 u3 . Como , , u1 , u2 , u3 sao todos n
umeros complexos de modulo 1, e con-
sequentemente || = |u1 u2 u3 | = 1 chamando seus argumentos, respectivamente, de
1 , 2 , 3 , 1 , 2 , 3 , tal condicao e equivalente a

1 + 2 + 3 = 1 + 2 + 3 (mod 2)

(1 1 ) + (2 2 ) + (3 3 ) = 0 (mod 2)

que e a condicao desejada.

interessante notar que se as retas em questao se encontram, o ponto de interseccao

E
das mesmas sera dado por

1 1
z= (1 + u1 + u2 + u3 ) = ( + + + u1 + u2 + u3 ). (2.2)
2 2

Temos ainda os seguintes corolarios:

Corol
ario 2.3.4 Sejam A, B, C, L, M, N , seis pontos em um crculo. Entao as retas
de Simson dos pontos L, M, N com relacao ao ABC se encontram em um ponto, se
e somente se, as retas de Simson de A, B, C com relacao ao LM N se encontram em
um ponto. Alem disso, nesse caso, todos os seis pontos se encontram no ponto medio do
segmento ligando os ortocentros dos tri
angulos ABC e LM N .

A demonstracao segue por simetria da formula 2.2.

Corol
ario 2.3.5 Sejam D, E, F os pontos medios, respectivamente, dos lados BC, CA,
AB do ABC, e L, M, N os pes das perpendiculares dos vertices A, B, C aos la-
dos opostos, respectivamente. Entao os seis pontos D, E, F, L, M, N est
ao no crculo
dos nove pontos do ABC e as retas de Simson dos pontos L, M, N com relacao ao
DEF se encontram em um ponto. O contr
ario tambem e verdade, ou seja, as retas de
Simson de D, E, F com relacao ao LM N se encontram em um ponto.

Demonstra
cao: Suponhamos que o crculo circunscrito ao ABC seja o crculo
unitario com centro na origem e que os vertices A, B, C sejam representados pelos
 37

A
r1

s2
N
E
F
M

C r3
B D L
r2
s3
s1

Figura 21: Na figura r1 , r2 , r3 sao, respectivamente, as re-

tas de Simson dos pontos L, M, N com relacao ao DEF
e s1 , s2 , s3 s
ao as retas de Simson, respectivamente, dos
pontos D, E, F com relacao ao LM N .

n
umeros complexos , , , respectivamente. Conforme vimos anteriormente em nossa
discussao sobre crculo dos 9 pontos, na secao 2.2, os pontos L, M, N sao dados por
     
1 1 1
L= 1 , M = 1 , N = 1 ;
2 2 2

onde 1 e o ortocentro do ABC, e os pontos D, E, F sao dados por

1 1 1
D= ( + ) , E = ( + ) , F = ( + ) .
2 2 2
1
Alem disso, esses seis pontos estao em um crculo de raio e cujo centro K esta no
2
1
ponto . Temos entao que KL, KM , KL, KN , KD, KE e KF sao dados,
2
respectivamente, por

KL : , KM : , KN : ,
2 2 2

KD : , KE : , KF : .
2 2 2

Ja que
           

=
2 2 2 2 2 2
 38

e verdade que

arg(KL)+arg(KM )+arg(KN ) = arg(KD)+arg(KE)+arg(KF ) (mod 2)

[arg(KL)arg(KD)]+[arg(KM )arg(KE)]+[arg(KN )arg(KF )] = 0 (mod 2),

ou seja, a condicao do teorema 2.3.3 e satisfeita. Podemos concluir, portanto, que as retas
de Simson dos pontos L, M, N com relacao ao DEF se encontram em um ponto e o
corolario fica demonstrado.

2.4 O Teorema de Morley

Teorema 2.4.1 (Morley) A interseccao dos pares adjacentes das trissectrizes dos angulos
de um tri
angulo qualquer s
ao os vertices de um tri
angulo eq
uil
atero.

Figura 22: O Triangulo menor e obtido pela interseccao das

trissectrizes internas do tri
angulo maior

Demonstra
cao do teorema: Primeiramente vamos provar o teorema para o caso
das trissectrizes internas. Sem perda de generalidade, podemos assumir que o ABC
esta inscrito no crculo unitario e que o vertice A e o ponto 1. Para facilitar os calculos,
sejam  
2
= 3
AOB 0<< ;
3
 
2
= 3
AOC <<0 ;
3
 
2
= 3
B OC = + >0 .
3
 39

Entao os argumentos dos pontos em que as trissectrizes do arco BC, que nao contem o
ponto A, intersectam o circuncrculo do ABC sao

2 4
+ 3 = + 2 + , e 2 + 3 = 2 + + .
3 3

Sejam c, c2 e b, b2 o conjunto dos pontos onde as trissectrizes dos arcos AB, que
nao contem C, e AC, que nao contem B, respectivamente, intersectam o circuncrculo
do ABC. Entao os pontos em que as trissectrizes do arco BC intersectam o crculo
circunscritosao dados por bc2 e b2 c 2 .

De fato, c = ei , c2 = ei2 , b = ei , b2 = ei2 e portanto os pontos no circuncrculo

relativos `as trissectrizes do arco BC, que nao contem A, sao dados por

2 2
)
ei(+e+ 3 = ei ei2 ei 3 = bc2 ;

4 4
)
ei(2++ 3 = ei2 ei ei 3 = b2 c 2 .

c2

B (c3 )
c
b2 c 2

bc 2 3 3
3
C (b 3 ) A (1)

b2 b

Figura 23: As trissectrizes dos angulos internos

A, B e C intersectam o crculo circunscrito nos
pontos b2 c 2 e bc2 ; b e B 2 ; c e c2 , respecti-
vamente.

facil perceber que as trissectrizes dos angulos internos de um triangulo se encon-

E
tram, duas a duas. Vamos encontrar, entao, os pontos P (), Q(), R() em que, re-
spectivamente, as trissectrizes adjacentes dos angulos internos B e C, C e A, A e B se
encontram.

Utilizando a equacao 1.2, obtemos que as trissectrizes adjacentes dos angulos internos
B e C, respectivamente, sao dadas pelas equacoes:

z + b2 c3 z = b2 + c3 e z + b3 c2 z = b3 + c2 .
 40

Para encontrar a interseccao entre elas subtramos a segunda da primeira equacao e obte-
mos:
b2 + c3 b3 c2 b2 + c3 b3 c2
z= = z = .
b2 c3 b3 c2 b2 c3 b3 c2
1 1
Lembrando que b = ,c = temos, entao, que P () e dado por
b c
b2 + c3 b3 c2 bc3 + b3 c3 b3 c
= =
b2 c3 b3 c2 bc

(b c)(b2 + bc + c2 ) bc(b2 c2 )
= = (b2 + bc + c2 ) bc(b + c) .
bc

De modo analogo obtemos que Q() e R() sao dados por:

1 + b2 c1 2 b3 c1 b3 c + b c b3
= =
b2 c1 2 b3 c1 b 1

c(b3 1) b(b2 )
= = 2 {c(b2 + b 2 + ) b(b + 2 )} ,
(b 2 )
1 + b1 c2 1 b1 c3 bc3 + c 2 c3 b
= =
b1 c2 1 b1 c3 c( 2 1)
b(c3 1) c(c2 2 )
= = {b(c2 + c + 2 ) c(c + )} .
2 (c )

Para finalizar a demonstracao do teorema, vamos demonstrar que os pontos P, Q, R

sao os vertices de um triangulo equilatero. Para isso, usando o teorema 1.3.3, basta
mostrar que + + 2 = 0 ou + 2 + = 0. Mas temos:

+ + 2 =

(b2 +bc+c2 b2 cbc2 )+(b2 c+bc 2 +cb2 b 2 )+(bc2 +bc+b 2 c2 c) = 0.

Logo o teorema fica demonstrado para o caso das trissectrizes internas.

Para o caso das trissectrizes externas, vamos comecar observando que a trissectriz

externa adjacente a um lado forma um angulo de 3
com a trissectriz interna adjacente a
esse mesmo lado, pois se e um angulo interno e o angulo externo adjacente temos

+ = + = .
3 3 3
 41

c2

B (c 3 )
c
bc 2
R
P
b2 c 2
Q
C (b 3 ) A(1)

b
b2

Figura 24: P,Q, R sao os pontos em que, re-

spectivamente, as trissectrizes adjacentes dos
angulos internos B e C, C e A, A e C se en-

contram.

Usando esse fato e lembrando que em um crculo um angulo inscrito vale metade do
angulo central correspondente temos, por exemplo, que a trissectriz externa do angulo B,
adjacente ao lado AB cortara o circuncculo no ponto b.

De fato, seja S o ponto no qual a trissectriz em questao intersecta a circunferencia.

=
Entao P Bb
=
P Ob 2
. Assim, usando o resultado geometrico da
3 3

multiplicacao de n
umeros complexos temos que o ponto S sera dado pelo produto

2
i
S =be 3 = b.

S= b
B (c 3 )

3

O
2
3 A(1)
C(b 3 )

b2 b

Figura 25: Angulo formado pela
trissectriz interna com a trissectriz
externa
 42

De modo analogo, o ponto onde a trissectriz do angulo externo relativo ao vertice C,

2 4
adjacente ao lado AC,intersecta a circunferencia e dado pelo produto ce 3 i = ce 3 =
c 2 .

As demais trissectrizes passarao pelos seguintes pontos do crculo circunscrito:

2
1. A trissectriz do angulo externo B adjacente ao lado BC por b2 e 3 = b2 2 ;

2. A trissectriz do angulo externo C adjacente ao lado BC por c2 ;

3. As trissectrizes dos angulos externos com vertice em A adjacentes aos lados AB e

2 2
AC respectivamente por bc2 e 3 i = bc2 2 = bc2 3 = bc2 e b2 c 2 e 3 i =
b2 c 4 = b2 c.

B(c 3 ) b
B(c 3 )
bc 2 b2 2
bc 2

b2 c 2

A(1) A(1)
C(b 3 ) C(b 3 )

b2 c b2 b

Figura 26: Trissectrizes internas e Figura 27: Trissectrizes internas e

externas de A externas de B

c2
B(c 3 )
c

c2
C(b 3 )

c 2

Figura 28: Trissectrizes internas e

externas de C
 43

Para fazer a demonstracao para o caso das trissectrizes externas, vamos fazer a
seguinte modificacao na demonstracao inicial: P que era a interseccao das retas pas-
sando por b3 , c2 e c3 , b2 , se torna a interseccao das retas que contem b3 , c2 e c3 , b2 2 ;
Q que era a interseccao das retas passando por b3 , c e 1, b2 c 2 , se torna a interseccao das
retas que contem b3 , c 2 e 1, b2 c; enquanto R que era a interseccao das retas passando
por c3 , b e 1, bc2 , se torna a interseccao das retas que contem c3 , b e 1, bc2 .

Assim, para concluir a demonstracao do teorema de Morley para o caso das tris-
sectrizes externas e suficiente observar que basta substituir b por b e c por c 2 na
demonstracao original donde vemos claramente que ela continua valida, ou seja, os pon-
tos P, Q, R continuam sendo os vertices de um triangulo equilatero.

2.5 Teorema de Feuerbach

Para demonstrar esse teorema precisaremos dos resultados de 1 a 4 a seguir.

1. As tres bissetrizes internas dos

angulos de um tri
angulo se encontram em um ponto.
Esse ponto e chamado incentro do tri
angulo.

I
D
C
A E

Figura 29: I e o incentro do

tri
angulo ABC e D, E, F s ao as
projecoes de I sobre os lados desse
tri
angulo

2. As bissetrizes de dois
angulos externos de um tri
angulo e a bissetriz interna do
terceiro
angulo se encontram em um ponto. Esse ponto e chamado um excentro do
tri
angulo, e e o centro de um crculo que tangencia um lado do tri
angulo e as retas
suportes dos outros dois lados, chamado crculo excrito.

Um triangulo tem tres excentros e tres crculos correspondentes a eles.

 44

I3
A
I2

B C

I1

Figura 30: Excentros de um triangulo ABC

3. Dois crculos s
ao tangentes internamente se, e somente se, a dist
ancia entre os seus
centros e igual `
a diferenca entre o raio do crculo maior e o raio do crculo menor.

4. Dois crculos s
ao tangentes externamente se, e somente se, a dist
ancia entre os seus
centros e igual soma de seus raios.

Teorema 2.5.1 (Feuerbach) O crculo dos nove pontos de um tri

angulo e tangente ao
crculo inscrito e aos tres crculos excritos.

B(b 2)
A(a 2)
IC

B(b 2)
A(a 2)
I

C(c 2 )
Figura 31: O crculo dos nove
pontos e o crculo inscrito do
ABC sao tangentes interna-
mente
C(c 2)
Figura 32: O crculo dos nove
pontos e o crculo excrito sao tan-
gentes externamente

Para demonstrar o teorema, para o caso crculo inscrito, vamos encontrar o incentro
do triangulo e o raio do crculo inscrito e mostrar que a distancia entre o centro do crculo
 45

dos nove pontos e o incentro e igual `a diferenca entre o raio do crculo dos nove pontos
e o raio do crculo inscrito. A seguir vamos fazer um procedimento semelhante para os
circulos excritos, porem usando o resultado 4.

Demonstra
cao:(Crculo Inscrito) Para facilitar nossos calculos, consideraremos a2 ,
b2 , c2 os n
umeros complexos que representam, respectivamente os vertices A, B, C de um
triangulo, marcados, nessa ordem, no sentido anti-horario. Sem perda de generalidade,
podemos assumir que ABC esta inscrito em um crculo unitario com centro na origem.
Sejam 2, 2, 2 os argumentos de a2 , b2 , c2 respectivamente. Entao a2 = e2i, b2 =
e2i, c2 = e2i. Consideraremos a = ei, b = ei, c = ei.

ab
B(b 2 )
A(a 2 )

2
2

bc 2 x

ac
C(c 2 )

De modo semelhante ao que fizemos para as trissectrizes no Teorema de Morley,

conclumos que as bissetrizes dos angulos internos intersectarao o crculo circunscrito em:

2 2
Bissetriz do angulo com vertice em A: e(2+ 2 )i = e(+)i = bc
2 2 +2
Bissetriz do angulo com vertice em B: e(2+ 2 )i = e(++)i = ac

Bissetriz do angulo com vertice em C: e(2+ 2 )i = e(+)i = ab

22

Observe que bc, ac, ab encontram-se nos pontos medios dos arcos BC, AC, e AB,
respectivamente.

Para encontrar as bissetrizes internas do ABC, devemos nos lembrar que os pontos
a, b, c estao no crculo unitario e utilizar a equacao 1.3. Dessa forma, temos o seguinte:
 46

A bissetriz do angulo A passa pelos pontos a2 e bc e e dada pela equacao

z + a2 bcz = a2 + bc. (2.3)

A bissetriz do angulo B passa pelos pontos b2 e ac e e dada pela equacao

z ab2 cz = b2 ac. (2.4)

A bissetriz do angulo C passa pelos pontos c2 e ab e e dada pela equacao

z + abc2 z = c2 + ab. (2.5)

Para encontrar o incentro do triangulo ABC vamos resolver o sistema formado pelas
equacoes 2.3 e 2.4. Multiplicando a equacao 2.3 por b e a equacao 2.4 por a e somando
as duas equacoes obtidas encontramos:

(a+b)z = a2 b+b2 c+ab2 a2 c (a+b)z = ab(a+b)+c(ba)(b+a)

z = ab ac + bc (2.6)

a2 +b2 +c2
Conforme vimos na secao 2.2 o centro do crculo dos nove pontos e dado por 2
.
Logo a distancia d entre o centro do crculo de nove pontos e o o incentro do triangulo e
dada por:

 2 
 a + b2 + c2  1 
d =  (ab ac + bc) = a2 + b2 + c2 + 2(ac ab bc) =
2 2
 
1 2
1 1 bc ac + ab
|(a b + c) | d = (a b + c)(a b + c) = (a b + c)
2 2 2 abc
1
d = (a2 b a2 c ab2 cb2 + bc2 ac2 + 3abc).
2abc

importante notar aqui que d < 1 , o que sera usado na conclusao da nossa demon-
E 2

stracao. De fato, como a, b, c tem modulo 1, temos:

   
1 1 1   bc ca + ab 

|a b + c| = |a b + c| =  +  =    = |ab ac + bc|.
a b c abc 
 47

Mas ab ac + bc e o incentro do triangulo ABC inscrito no crculo unitario, logo

abac+bc e interno ao triangulo e conseq
uentemente interno ao proprio crculo unitario
e, portanto, |ab ac + bc| < 1. Assim conclumos que d = 12 |a b + c|2 < 21 .

Vamos encontrar agora as equacoes da reta suporte do lado AB e da reta perpendic-

ular a AB passando pelo incentro.

1. A equacao da reta suporte do lado AB e dada pela equacao:

z(a2 b2 ) z(a2 b2 ) = a2 (a2 b2 ) a2 (a2 b2 )

 2   2 
b a2 2 2 2
b a2 1 2
z 2 2
+ z(b a ) = a 2 2
+ 2
(b a2 )
a b a b a
z + a2 b2 z = a2 + b2 . (2.7)

2. A equacao da reta perpendicular a AB que passa pelo incentro e dada pela equacao:

z(a2 b2 )+z(a2 b2 ) = (abac+bc)(a2 b2 )+(abac+bc)(a2 b2 )

 2   2   
b a2 2 2
b a2 ab+c
z 2 2
z(b a ) = (abac+bc) 2 2
(b2 a2 )
a b a b abc
cz a2 b2 cz = c2 b ac2 a2 b + ab2 (2.8)

Para concluir nossa demonstracao para o caso das bissetrizes internas vamos encontrar
a interseccao das retas de equacoes 2.7 e 2.8 para a seguir determinar o raio do crculo
inscrito.

Multiplicando a equacao 2.7 por c e somando a equacao obtida com a equacao 2.8
encontramos a interseccao desejada:

1
 
2cz = a2 c+b2 c+bc2 ac2 a2 b+ab2 z = 2
a2 + b2 + bc ac + ab
c
(b a) .

Assim, o raio do crculo inscrito no ABC e dado por

  
 1 ab 
r = ab ac + bc 2 2
a + b + bc ac + (b a)  =
2 c
1
|2abc 2ac2 + 2c2 b a2 c b2 c c2 b + ac2 ab2 + a2 b|
2|c|
1
r= |(a2 b a2 c ab2 cb2 + bc2 ac2 + 3abc) abc|.
2
 48

Usando o fato que |abc| = 1 obtemos

 2   
 a b a2 c ab2 cb2 + bc2 ac2 + 3abc 1   1 
r=  
 = d  .
2abc 2 2

1 1 1
Como d < 2
ficamos com r = 2
d d = 2
r. Pelo fato de termos tomado
o triangulo ABC inscrito em um crculo unitario, de acordo com o que foi visto na secao
1
2.2, o raio do crculo dos nove pontos desse triangulo tem medida 2
donde conclumos,
utilizando o resultado preliminar 3, que o crculo dos 9 pontos e o crculo inscrito sao
tangentes internamente.

Desta forma, fica demonstrado o teorema para o caso do crculo inscrito. Veja a figura
31

Vamos agora demonstrar o teorema para o caso dos crculos excritos.

Demonstra
cao:(Crculos Excritos) Para demonstrar o teorema para o caso dos crculos
excritos vamos comecar observando que em um triangulo um angulo interno e o angulo
externo adjacente a ele sao suplementares, e portanto o angulo entre as bissetrizes desses

dois angulos e igual a .
2
y

ab
B(b 2 )
A(a 2 )

2
D
bc x

ac
C(c 2 )

Figura 34: O angulo formado pela bis-

setriz do angulo interno com vertice em
A faz um um angulo de 2
com a bis-
setriz do angulo externo com vertice em
A.
 49

Na figura 34, o triangulo formado pelos pontos A, bc e pelo ponto D, em que D e o

ponto onde a bissetriz do angulo externo com vertice em A intersecta o crculo circunscrito,
e retangulo e, portanto, o ponto D e diametralmente oposto ao ponto bc, ou seja, e o
ponto bc.

De modo analogo, obtemos que as bissetrizes dos angulos externos com vertices em
B e C intersectam o crculo circunscrito, respectivamente, nos pontos ac e ab. Deste
modo as bisssetrizes dos angulos externos do ABC serao as retas que passam pelos
seguintes pontos:

Do angulo externo com vertice em A pelos pontos correspondentes aos n

umeros
complexos a2 e bc;

Do angulo externo com vertice em B pelos pontos correspondentes aos n

umeros
complexos b2 e ac;

Do angulo externo com vertice em C pelos pontos correspondentes aos n

umeros
complexos c2 e ab.

Logo as equacoes dessas bissetrizes serao dadas, respectivamente, por

z a2 bcz = a2 bc; (2.9)

z + ab2 cz = b2 + ac; (2.10)

z abc2 z = c2 ab. (2.11)

Resolvendo o sistema formado pelas equacoes 2.10 e 2.11 encontramos o excentro IA

do circulo excrito oposto ao angulo A. Resolvendo o sistema formado pelas equacoes 2.9
e 2.11 encontramos o excentro IB do circulo excrito oposto ao angulo B. Resolvendo o
sistema formado pelas equacoes 2.9 e 2.10 encontramos o excentro IC do circulo excrito
oposto ao angulo C. Fazendo isso, encontraremos:

IA = ac ab + bc; (2.12)

IB = ab ac bc; (2.13)

IC = ab + ac bc. (2.14)
 50

y IC

B(b 2 )
ac A(a 2 )

bc
x

IA

C(c 2 )
ab

IB

Figura 35: IA, IB , IC sao os tres ex-

centros do ABC

Vamos mostrar agora que o crculo excrito com centro em IC e tangente ao crculo
dos nove pontos. Os outros casos sao analogos e serao omitidos.

Como ja vimos, a equacao da reta suporte do lado AB e dado pela equacao 2.7.

A equacao da reta perpendicular a AB que passa por IC satisfaz a equacao:

z(a2 b2 ) + z(a2 b2 ) = (ab + ac bc)(a2 b2 ) + (ab + ac bc)(a2 b2 )

 2   2   
b a2 2 2
b a2 b+ca
z 2 2
z(b a ) = (ab+acbc) 2 2
(b2 a2 )
a b a b abc
cz a2 b2 cz = ac2 bc2 ab2 + a2 b . (2.15)

Resolvendo o sistema formado por essas duas equacoes encontramos o pe da perpen-

dicular de IC ao lado AB. Para isso multiplicamos a equacao 2.7 por c e obtemos

cz + a2 b2 cz = a2 c + b2 c.

Somando esta equacao, membro a membro, com a equacao 2.15 ficamos com:

1
 
2cz = a2 c+a2 bab2 +b2 c+ac2 bc2 z = 2
a2 + b2 + ac bc + ab
c
(a b) .

Vamos encontrar agora a distancia D entre o centro do crculo dos nove pontos e o
excentro IC .
 51

 2 
 a + b2 + c2  1 
D=  (ab + ac bc) = a2 + b2 + c2 + 2(bc ab ac) =
2 2
 
1 2
1 1 bc + ac + ab
|(a+b+c) | D = (a+b+c)(a+b+c) = (a+b+c)
2 2 2 abc
1
D = (a2 b a2 c + ab2 cb2 + ac2 bc2 + 3abc).
2abc

Usando um argumento semelhante ao feito para as bissetrizes internas, podemos

mostrar que, nesse caso, D > 21 .

Para finalizar nossa demonstracao, vamos determinar o raio rC do crculo excrito ao

ABC com centro em IC , e mostrar que ele e igual `a diferenca entre D e o raio do
cculo dos nove pontos.

  
 1 2 ab 

rC = ab + ac bc 2
a + b + ac bc + (a b)  =
2 c
1
|2abc + 2ac2 2c2 b a2 c b2 c ac2 + bc2 a2 b + ab2 |
2|c|
1
rC = |(a2 b a2 c + ab2 cb2 + ac2 bc2 + 3abc) abc|.
2

Usando o fato que |abc| = 1 obtemos

   
 a2 b a2 c + ab2 cb2 + ac2 bc2 + 3abc 1   1 
rC =  
 = D  .
2abc 2 2

1 1
Como D > 2
ficamos com rC = D 2
D = rC + 12 . Conclumos, entao,
utilizando o resultado 4, que o crculo dos nove pontos e tangente externamente ao crculo
excrito. Veja a figura 32

Nosso teorema fica assim demonstrado.

 52

3 Dois Problemas Interessantes

1o Problema: Dados tres pontos alinhados A, B, C quaisquer, considere um triangulo

ABX, em que X e um ponto qualquer do plano. Seja D um ponto do plano tal que o
triangulo BCD seja semelhante ao ABX e com a mesma orientacao e E um ponto
do plano tal que o triangulo XDE seja semelhante ao ABX e com a orientacao
oposta. Entao o ponto E pertence a reta que contem os pontos A, B, C.

y D

b bd

A 1 B d C E(z) x

Figura 36:

Demonstra
cao: Vamos supor, sem perda de generalidade que o ponto A e a origem
e que a reta que contem os pontos A, B, C e o eixo real do plano complexo. Vamos
supor ainda que a distancia de A ate B e igual a 1, ou seja, B = 1. Sejam b e d,
respectivamente, as medidas dos segmentos AX e BC. Entao os pontos pontos X e D
sao dados por X = bei e D = dbei + 1. Tomemos agora um ponto E = z tal que
o triangulo XDE seja semelhante ao ABX, com orientacao oposta. Nesse caso,
pelo que vimos nno teorema 1.3.1 (pag. 18), para que os triangulos sejam semelhantes
devemos ter:
 53

 
 
 0 bei 1 
 
 
 1 dbe + 1 1  = 0
i
 
 i 
 be z 1 

bei bei +zdbei bei bei bei = 0 z+|bei |2 d|be|2 (bei + bei ) = 0

z = |bei |2 d|bei |2 +(bei + bei ) .

| {z } | {z }
R R

Conclumos assim, que E = z e real e portanto pertence `a reta que contem os pontos
A, B, C. (C.Q.D)

Problema 2: Um pirata escondeu um tesouro em uma praia e desenhou um esquema

em seu diario, sem registros de distancias, que mostrava o lugar onde o tesouro havia sido
escondido. De acordo com o esquema, naquela praia haviam duas rochas, A e B, e uma
palmeira e para esconder o tesouro o pirata procedeu da seguinte maneira:

Partindo da palmeira ele andou ate a rocha A, fez uma rotacao de 90o no sen-
tido anti-horario e caminhou nessa direcao uma distancia correspondente `a u
ltima
distancia que havia percorrido, marcando um ponto A.

Partindo da palmeira ele andou ate a rocha B, fez uma rotacao de 90o no sen-
tido horario e caminhou nessa direcao a mesma distancia que havia percorrido da
palmeira ate a segunda rocha. Marcou, entao, o ponto B.

O tesouro foi escondido no lugar correspondente ao ponto medio do segmento com

extremos em A e B.

Anos mais tarde, uma pessoa encontrou o diario do pirata e e foi ate a praia para
desenterrar o tesouro, porem a palmeira que constava no mapa havia desaparecido. Como
essa pessoa pode proceder para determinar a localizacao exata desse tesouro? Sera possvel
encontra-lo?

Demonstra
cao: Podemos supor, sem perda de generalidade, que os pontos A e B
estao no eixo real do plano complexo e que, alem disso, A = 0l, com B `a direita de
A. Suponhamos, ainda, que a palmeira ficava em um ponto X do plano.Entao BX =
 54

A M

A B x

Figura 37:

|X B|. Rotacionando de 90o no sentido anti-horario o segmento AX obtemos um

vertice A de um quadrado de lado AX e rotacionando de 90o no sentido horario o
segmento BX obtemos o vertice B do quadrado de lado BX. Assim, os vertices A e
B sao opostos ao vertice X e sao dados por:

A = Xi e B = (X B)(i) + B.

Logo, o ponto medio do segmento AB e dado por:

A + B Xi Xi + B(i + i) B(i + 1)
M = = = .
2 2 2

Como podemos ver o ponto medio so depende de valores ja fixados, donde conclumos
que tal ponto e fixo.

Se girassemos AX no sentido horario e BX no sentido anti-horario o resultado

tembem seria valido. Se, ao contrario, girassemos ambos no mesmo sentido o resul-
tado nao seria verdadeiro. Se o ponto B estivesse `a esquerda de A a demonstracao seria
semelhante.

interessante observar que se o pirata tivesse deixado registradas as distancias so

E
haveriam duas opcoes para o local da palmeira e o tesouro poderia ser encontrado facil-
mente.
 55

Conclus
ao

Quando o assunto geometria com n

umeros complexos foi sugerido, pelo professor
Jorge Sabatucci, para ser tema desta monografia foi novidade para mim o fato de a
Geometria Plana poder ser tratada sob a otica dos n
umeros complexos. Eu fiquei curiosa
para estudar tal assunto, mas ao mesmo tempo receosa de que seriam necessarios grandes
conhecimentos sobre n
umeros complexos. No entanto, apos alguns dias de estudos percebi
que minha primeira impressao nao era verdadeira e passei a achar o assunto interessante
de ser estudado.

Foi um exerccio novo para mim aprender a elaborar e redijir um texto academico
que tratasse assuntos puramente matematicos. Apos estudar todo o material que foi
usado como referencia, foi necessario escolher os resultados que seriam tomados como
pre-requisitos para os resultados centrais deste trabalho. Varias d
uvidas surgiram sobre o
que deveria ser colocado ou nao e a opcao de usarmos alguns resultatos da geometria plana
sem demonstra-los se deu basicamente por dois motivos: porque eram muito simples de
serem verificados ou porque sua demonstracao utilizando n
umeros complexos era muito
longa ou trabalhosa, de modo que corramos o risco de perder o foco do nosso trabalho se
nos detivessemos nas mesmas.

Pode ser que nao tenhamos feito uma boa escolha sobre o que deveria constituir os
pre-requisitos, mas tentamos faze-la da maneira mais consciente possvel.

Sinto-me satisfeita ao ver o resultado final do nosso trabalho, pois, alem de aquirir
novos conhecimentos matematicos, as aprendizagens foram muitas a cada vez que se
tornava necessario fazer opcoes, modificacoes, correcoes e reajustes no texto como um
todo.

Sobre o conte
udo estudado, especificamente, foi interessante perceber que alem de sim-
plificar algumas demonstracoes, outra vantagem de se trabalhar geometria com n
umeros
complexos e o fato de as operacoes com n
umeros complexos ganharem um significado
 56

geometrico, de forma a estabelecer uma relacao entre essas duas areas de estudo, que em
um primeiro momento parecem nao se relacionarem.

Ao termino desse trabalho estou convicta que qualquer aluno da graduacao que tenha
conhecimentos basicos de n
umeros complexos e de geometria plana e capaz de entender
os resultados que estao sendo apresentados no mesmo. Seria muito bom se tivesse tido
a oportunidade de estudar os resultados que foram expostos neste trabalho ainda na
graduacao. Por esse motivo, gostaria de sugerir que seja criada no Departamento de
Matematica da UFMG uma disciplina, ainda que optativa, para que os alunos do curso
de Matematica possam ter contato com esses e outros resultados ainda na graduacao.
 57

Refer
encias

HAHN, L., Complex Numbers and Geometry. Washington: The Mathematical

Association of America, 1994.

ZWIKKER, C., The Advanced Geometry of Plane and Their Applications. New York:
Dover Publications, 1963.