Você está na página 1de 86

Universidade Federal da Paraba Centro de Cincias Exatas e da Natureza Departamento de Matemtica Mestrado Prossional em Matemtica em Rede Nacional - PROFMAT

Aplicaes dos Nmeros Complexos na Geometria Plana


por

Larcio Francisco Feitosa


sob a orientao do

Prof. Dr. Napolen Caro Tuesta

Trabalho de Concluso de Curso apresentado ao Corpo Docente do Mestrado Prossional em Matemtica em Rede Nacional PROFMAT CCEN-UFPB, como requisito parcial para a obteno do ttulo de Mestre em Matemtica. Abril/2013 Joo Pessoa - PB

O presente trabalho foi realizado com apoio da CAPES, Coordenao de Aperfeioamento de Pessoal de Nvel Superior.

Aplicaes dos Nmeros Complexos na Geometria Plana


por

Larcio Francisco Feitosa


Trabalho de Concluso de Curso apresentado ao Corpo Docente do Mestrado Prossional em Matemtica em Rede Nacional PROFMAT CCEN-UFPB, como requisito parcial para a obteno do ttulo de Mestre em Matemtica. Aprovado por:

Prof. Dr. Napolen Caro Tuesta

UFPB (Orientador)

Prof. Dr. Uberlandio Batista Severo -

UFPB

Prof. Dr. Miguel Fidencio Loayza Lozano -

UFPE

Abril/2013

Agradecimentos
A Deus por estar sempre presente em minha vida e por permitir essa nova conquista nos meus estudos. coordenao e a todos os professores do PROFMAT

plo UFPB. Aos membros da banca, os professores Miguel Fidencio Loayza Lozano (UFPE), Uberlandio Batista Severo (UFPB). Ao meu orientador, Napolen Caro Tuesta (UFPB), pelo incentivo constante e pelas contribuies, sugestes e crticas que muito contriburam para a elaborao deste trabalho. Aos colegas da turma 2011 pelo companheirismo desde o incio dessa jornada, em especial aos meus amigos e componentes do meu grupo de estudos, Jos Luiz Lucena Travassos, Luis Rodrigo D'Andrada Bezerra e Charleson Clivandir de Araujo Silva. Aos familiares e amigos que sempre me incentivaram e apoiaram nessa jornada. minha esposa Sandra

Cristina Cavalcanti de Albuquerque Barros, pelo apoio incondicional.

Dedicatria

Aos meus pais, Natalcio (in memoriam) e Hosana (Nanha), sem os quais este trabalho no seria possvel. Para minha esposa, Sandra, a quem serei eternamente grato pelo incentivo e apoio. Para minhas lhas, Letcia e Natlia, que completam a minha existncia.

Durante este outono, preocupei-me largamente com a considerao geral das superfcies curvas, o que conduz a um campo ilimitado. . . Essas pesquisas ligam-se profundamente com outros assuntos, inclusive  como me sinto tentado a dizer  com a metafsica da geometria, e no sem ingentes esforos que consigo me arrancar as consequncias que da advm, qual seja, por exemplo, a verdadeira metafsica das grandezas negativas e imaginrias, o verdadeiro sentido de 1, mas creio que ser extraordinariamente difcil expresslo com palavras.

GAUSS 3

3 Carl Friedrich Gauss (1777

1855),

matemtico alemo.

Visto por muitos como o maior

matemtico de todos os tempos. dele a expresso nmeros complexos.

Resumo

O ensino dos Nmeros Complexos baseia-se quase exclusivamente, em uma abordagem algbrica, embora, a abordagem geomtrica dos nmeros complexos esteja contemplada no estudo da sua forma polar (ou trigonomtrica). O propsito deste trabalho apresentar algumas aplicaes signicativas dos nmeros complexos na geometria plana, fazendo, assim, uma contraposio a essa viso estritamente algbrica e formal, que tradicionalmente caracteriza o ensino destes nmeros. Vamos abordar alguns teoremas clssicos da geometria e alguns problemas geomtricos, avaliando a ecincia dos nmeros complexos como ferramenta para demonstrar os teoremas e os resultados pertinentes a resoluo de tais problemas. Alguns dos teoremas selecionados em nosso estudo foram: o Teorema de Napoleo, o Crculo dos Nove Pontos e a Reta de Simson.

Palavras-chave:

Nmeros Complexos, Geometria Plana.

vi

Abstract

The teaching of Complex Numbers is based almost exclusively on an algebraic approach, although the geometric approach of complex numbers is contemplated in the study of its polar form (or trigonometric). The purpose of this paper is to present some signicant applications of complex numbers in plane geometry, making thus a contrast to this view strictly algebraic and formal, that has traditionally characterized the teaching of these numbers. We'll cover some classical theorems of geometry and some geometric problems, evaluating the eciency of complex numbers as a tool to demonstrate the theorems and results relevant to the resolution of such problems. Some of the theorems selected in our study were: Napoleon's Theorem, the Circle of Nine Points and Simson Line.

Keywords:

Complex Numbers, Plane Geometry.

vii

Sumrio
1 Nmeros Complexos
1.1 1.2 1.3 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Raiz Quadrada de um Nmero Complexo . . . . . . . . . . . . . . . . Denio de Nmero Complexo 1.3.1 1.3.2 1.3.3 1.4 Denio . . . . . . . . . . . . . . . . . . . . .

1
1 4 5 5 6 8 9 11 13

. . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Conjugado de um Nmero Complexo . . . . . . . . . . . . . . Mdulo de um Nmero Complexo . . . . . . . . . . . . . . . .

Os Nmeros Complexos como Pontos do Plano . . . . . . . . . . . . . 1.4.1 1.4.2 Forma Polar dos Nmeros Complexos . . . . . . . . . . . . . . Operaes com Nmeros Complexos na Forma Polar . . . . .

1.5

Interpretao Geomtrica de Operaes Algbricas com Nmeros Complexos 1.5.1 1.5.2 1.5.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Multiplicao de um Nmero Complexo por um Nmero Real 16 16 17 18 20

Adio e Subtrao . . . . . . . . . . . . . . . . . . . . . . . . Multiplicao e Diviso . . . . . . . . . . . . . . . . . . . . . .

1.6

Razes

n-simas

da Unidade

. . . . . . . . . . . . . . . . . . . . . . .

2 Nmeros Complexos e Geometria


2.1 Algumas Propriedades e Noes Geomtricas Simples . . . . . . . . . 2.1.1 Distncia Entre Dois Pontos . . . . . . . . . . . . . . . . . . .

24
24 24

viii

2.1.2 2.1.3 2.1.4 2.1.5 2.1.6 2.1.7 2.1.8 2.1.9

ngulo Orientado Entre Retas . . . . . . . . . . . . . . . . . . ngulo Formado Entre Duas Retas . . . . . . . . . . . . . . .

25 25 27 27 30 30 33 33 34 34 35 38 40 45 45 46 49 53 55

Condio de Alinhamento de Trs Pontos no Plano Complexo Equao da Reta . . . . . . . . . . . . . . . . . . . . . . . . .

Equao Paramtrica da Reta . . . . . . . . . . . . . . . . . . Equao da Circunferncia . . . . . . . . . . . . . . . . . . . . Perpendicularismo no Plano Complexo . . . . . . . . . . . . .

Equao da Reta Perpendicular . . . . . . . . . . . . . . . . .

2.1.10 Equao da Mediatriz de um Segmento . . . . . . . . . . . . . 2.1.11 Tringulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.1.12 Tringulos Semelhantes . . . . . . . . . . . . . . . . . . . . . . 2.1.13 Tringulo Equiltero . . . . . . . . . . . . . . . . . . . . . . .

2.1.14 Pontos Notveis em um Tringulo . . . . . . . . . . . . . . . . 2.2 Aplicaes dos Nmeros Complexos na Geometria Plana 2.2.1 2.2.2 2.2.3 2.2.4 2.2.5 . . . . . . .

Teorema de Napoleo . . . . . . . . . . . . . . . . . . . . . . . Crculo dos Nove Pontos . . . . . . . . . . . . . . . . . . . . . A Reta de Simson . . . . . . . . . . . . . . . . . . . . . . . . . Lei dos Cossenos e Lei dos Senos . . . . . . . . . . . . . . . .

Resoluo de Problemas Geomtricos . . . . . . . . . . . . . .

A Geometria Analtica e Nmeros Complexos


A.1 A.2 A.3 A.4 Equao da Reta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Equao de uma reta determinada por um ponto e uma direo Equao da reta determinada por dois pontos

61
61 64 66 67

. . . . . . . . . . . . .

Condio de Alinhamento de Trs Pontos . . . . . . . . . . . . . . . .

B Resoluo dos Problemas 1 e 4


B.1 Problema 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

69
69

B.2

Problema 4

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

71

Referncias Bibliogrcas

74

Introduo
Os nmeros complexos ou imaginrios surgiram como resposta a um problema que desaou os matemticos durante sculos. O problema surge quando tentamos calcular razes quadradas de nmeros negativos. Em

50

d.C., o matemtico grego

Heron de Alexandria, enfrentou esse problema ao tentar calcular o volume de parte de uma pirmide. No entanto, o primeiro matemtico a usar razes quadradas de nmeros negativos em seus trabalhos foi o italiano Girolamo Cardano quando tentava encontrar uma frmula resolutiva para equaes do Ren Descartes

(1501 1576),
grau. Mas foi

(1596 1650)

que cunhou o nome imaginrio para as razes qua-

dradas de nmeros negativos. Mais tarde, os matemticos De Moivre Newton

(1667 1754) e

(1642 1727),

combinaram trigonometria com nmeros complexos em seus

trabalhos. imaginrio

Mais tarde ainda, Euler

(1707 1783)

usou

para designar o nmero

1,

que foi amplamente aceito, pois ocultava o espectro da raiz qua-

drada negativa. O topgrafo e cartgrafo noruegus Caspar Wessel

(1745 1818)

foi o primeiro a representar geometricamente os nmeros complexos. O trabalho de Wessel passou despercebido e foi um livreiro parisiense chamado Jean-Robert Argand

(1768 1822) quem publicou pela primeira vez um trabalho em que os nmeros

complexos passaram a ser compreendidos de um novo ponto de vista: eles comearam ento a ser vistos como pontos (ou vetores) do plano e suas operaes de adio e multiplicao tiveram desvendados os seus signicados geomtricos (translaes, rotaes e dilataes no plano). Esse novo ponto de vista veio nalmente a se con-

xi

sagrar com as realizaes de Gauss

(1777 1855),

um dos maiores matemticos de

todos os tempos. Gauss no s explorou a identicao do conjunto dos nmeros complexos com o plano, mas principalmente usou os complexos para obter diversos resultados sobre Geometria Plana e sobre os nmeros reais, e at sobre os nmeros inteiros. Foi com a ajuda dos complexos que Gauss decidiu quais eram os polgonos regulares construtveis com rgua e compasso. Foi utilizando o plano complexo que Gauss deu sua demonstrao geomtrica de que todo polinmio de coecientes reais pode ser decomposto em fatores de grau mximo dois, o que ele chamou de Teorema Fundamental da lgebra. A importncia dos nmeros complexos vai alm da obteno das razes quadradas de nmeros negativos, desempenhando um papel importante nos mais diversos ramos da matemtica, aparecendo em problemas que envolvem rotaes, funes trigonomtricas, movimentos peridicos, dentre outros. Neste trabalho apresentaremos algumas aplicaes signicativas dos nmeros complexos na geometria plana. No Captulo

1,

faremos uma introduo aos nmeros

complexos, que difere um pouco do que ocorreu historicamente, onde apresentaremos algumas denies e propriedades que sero de suma importncia no desenvolvimento deste trabalho. No Captulo

2,

apresentaremos algumas propriedades e noes geomtricas simples

no plano complexo, tais como ngulo formado entre duas retas, equaes da reta, semelhana de tringulos, que sero utilizadas para a demonstrao de alguns teoremas da geometria plana como o Teorema de Napoleo, o Crculo dos Nove Pontos e a Reta Simson. Ainda no Captulo

2,

faremos uso dos nmeros complexos para

resolver alguns problemas geomtricos. No apndice A, traremos uma relao entre a geometria analtica e os nmeros complexos. No apndice B, traremos as solues de dois problemas geomtricos

apresentados no Captulo

2,

porm com um enfoque diferente.

xii

Captulo 1 Nmeros Complexos


1.1 Introduo
O modo padro de introduzir os nmeros complexos fazer uma extenso do conjunto dos nmeros reais, ou seja, estender o conceito de nmero, para que possamos resolver qualquer equao quadrtica. Como sabemos a equao quadrtica

ax2 + bx + c = 0,
possui duas razes reais se raiz real se

com

a, b

cR

a=0 =0

(1.1)

:= b2 4ac > 0,

uma raiz real se

e no possui

< 0.

Desta maneira, muitas equaes quadrticas como, por exemplo,

x2 + 1 = 0,

x2 x + 1 = 0,

x2 + x + 1 = 0,

no possuem solues reais. Para eliminar esta diculdade, vamos estender o nosso conceito de nmero, considerando, por conveno, que a equao

x2 + 1 = 0

Os Nmeros Complexos
tem uma raiz que chamaremos de

Captulo 1
nmero imaginrio.
Tal raiz no um nmero

real, pois no existe um nmero real cujo quadrado seja igual a este nmero imaginrio pela letra

1. i

Denotaremos

i.

Acrescentando o nmero

ao conjunto dos

nmeros reais, teremos um conjunto estendido. Para que

possa ser chamado de

nmero, devemos denir como efetuamos a multiplicao e a adio de nmeros reais com

i,

neste novo conjunto estendido de nmeros. Tambm devemos considerar

como nmeros imaginrios todas as expresses da forma real, e todas as expresses da forma Para as expresses da forma

bi,

onde

um nmero

a + bi

onde

so nmeros reais.

a + bi,

deniremos

Igualdade

a + bi = c + di a = c
Adio

b=d

(1.2)

(a + bi) + (c + di) = (a + c) + (b + d)i


Multiplicao

(1.3)

(a + bi)(c + di) = ac + adi + bci + bdi2 = (ac bd) + (ad + bc)i

(1.4)

Aqui levamos em conta que, por denio, modo que

a raiz da equao

x2 + 1 = 0 ,

de

i2 = 1. a + bi Dividir dois nmeros complexos, , signica encontrar um nmero complexo c + di x + yi tal que
ou seja,

i2 + 1 = 0,

a + bi = (c + di) (x + yi).
Efetuando o produto indicado, temos

a + bi = (cx dy ) + (dx + cy )i,


2

Os Nmeros Complexos
e pela igualdade de nmeros complexos, obtemos

Captulo 1

cx dy = a, dx + cy = b.
Resolvendo o sistema de equaes, encontramos a soluo nica

x=
onde

ac + bd , c2 + d 2

y=

bc ad , c2 + d2

no so simultaneamente nulos. Da

a + bi ac + bd bc ad = 2 + 2 i. c + di c + d2 c + d2
O conjunto assim obtido de nmeros da forma nmeros reais, e para

a + bi (que inclui para b = 0 todos os

a = 0 todos os nmeros da forma bi) denominado conjunto


que denotaremos por

dos nmeros complexos,


Para o nmero complexo denotada por

C.
a parte real do nmero

z = a + bi (a, b R), a

Re(z) e b a parte imaginria de z , e denotada por Im(z).


z1 = 3 2i
e

Exemplo:

Dados

z2 = 1 + i,

temos

(a) z1 + z2 = (3 2i) + (1 + i) = 4 i; (b) z1 z2 = (3 2i) (1 + i) = 2 3i; (c) z1 z2 = (3 2i)(1 + i) = 3 + 3i 2i 2i2 = 5 + i; (d)


z1 3 2i (3 2i)(1 i) 3 3i 2i + 2i2 1 5i 1 5 = = = = = i. z2 1+i (1 + i)(1 i) 12 + 12 2 2 2

Assim, com os nmeros complexos podemos somar, subtrair, multiplicar e dividir. Alm disso, as regras que regem essas operaes coincidem com as usadas para as operaes com nmeros reais.

Os Nmeros Complexos

Captulo 1

1.2 Raiz Quadrada de um Nmero Complexo


No conjunto dos nmeros reais s possvel extrair a raiz quadrada de nmeros no negativos. No entanto, no conjunto dos nmeros complexos possvel extrair a raiz quadrada de qualquer nmero

z = a + bi.
com

Com efeito, fazendo

a + bi = (x + yi)2 ,
obtemos, facilmente, que

a, b, x

y R,

x2 y 2 = a, 2xy = b.
Resolvendo este sistema de equaes, obtemos

x=
Como

a2 + b 2 + a 2

y=

a2 + b 2 a . 2 x
e

a2 + b 2 + a 0

a2 + b2 a 0,

temos que

so nmeros reais.

Os sinais dos radicais so escolhidos de tal forma que o produto sinal de

xy

tenha o mesmo

b.

Assim, as razes quadradas de

a + bi

so dadas por

2 + b2 + a a a2 + b 2 a +i , 2 2 a2 + b 2 + a a2 + b 2 a + i , a + bi = 2 2 a, para b = 0, a 0; ia, para b = 0, a < 0.


Para

para

b > 0; b < 0;

para

a 0,

a R, a notao a foi usada para a raiz quadrada no a = i a = i |a|, quando a < 0. Mostramos, assim,

negativa, quando que todo nmero

complexo no nulo possui duas razes quadradas.

Os nmeros complexos

Captulo 1

Daqui, deduzimos diretamente que, no conjunto dos nmeros complexos, toda equao do segundo grau,

ax2 + bx + c = 0,

com

a = 0,

onde

a, b

so reais ou

complexos, tem duas razes (diferentes ou iguais), que so dadas por

x1,2 =
Em particular, se

b2 4ac . 2a

a, b e c so nmeros reais, com a = 0, esta equao tem duas razes b b para > 0, duas razes reais iguais x1,2 = reais diferentes x1,2 = 2a 2a b i || para = 0 e duas razes complexas diferentes (conjugadas) x1,2 = 2a para < 0.

1.3 Denio de Nmero Complexo


Na Seo 1.1, dissemos que os nmeros complexos so nmeros da forma onde

a + bi,

so nmeros reais. Assim, os nmeros complexos so essencialmente um

par ordenado de nmeros reais

b.

Daremos, agora, uma denio formal.

1.3.1 Denio
Um

nmero complexo

um par ordenado

(a, b)

de nmeros reais com as

seguintes propriedades:

1) Dois nmeros complexos

(a, b)

(c, d)

so iguais se, e somente se,

a = c

b = d.
2) A soma e o produto de dois nmeros complexos

(a, b) e (c, d) so denidas por


(1.5)

(a, b) + (c, d) = (a + c, b + d), (a, b) (c, d) = (ac bd, bc + ad).


5

(1.6)

Os nmeros complexos
Se considerarmos nmeros complexos da forma

Captulo 1
(a, 0),
ento

(a, 0) (b, 0) = (a b, 0); (a, 0) (b, 0) = (ab, 0); (a, 0) a = ,0 , (b, 0) b


com

b = 0, a
e

que so resultados idnticos aos obtidos entre dois nmeros reais podemos considerar os nmeros complexos da forma

b.

Assim,

(a, 0)

como um nmero real

a.

Consequentemente, podemos considerar um nmero real como um caso particular de nmero complexo, cuja segunda componente igual a zero. Considerando o nmero complexo

(0, 1),

temos que

(0, 1)2 = (0, 1) (0, 1) = (1, 0) = 1.


Assim, o nmero complexo

(0, 1)

pode ser identicado como o nmero imaginrio i.

Desta forma , um nmero complexo qualquer

(a, b)

pode ser escrito como

(a, b) = (a, 0) + (0, b) = (a, 0) + (b, 0) (0, 1) = a + bi.

1.3.2 Conjugado de um Nmero Complexo


O nmero

z = a bi

denominado

conjugado do nmero z = a + bi.

A seguir,

a partir da denio de nmero conjugado deduzimos as seguintes propriedades:

1) z real se, e somente se z = z ; 2) z imaginrio puro se, e somente se z = z ; 3) z = z ; 4) zz = a2 + b2 ;


6

Os nmeros complexos

Captulo 1

5) z1 z2 = z1 z2 ; 6) z1 z2 = z1 z2 ; 7) z 1 = (z )1 8)
z1 z2 = z1 z2
se

z = 0; z2 = 0;

se

9) a = Re(z ) =

z+z ; 2 zz . 2i

10) b = Im(z ) = Prova. 1) 2) 3)


Para

z = a + bi,
Assim,

a relao

z =z

equivale a

a bi = a + bi.

Donde

2bi = 0

b = 0.
Para

z = a R.
temos que relao Assim,

z = a + bi,
e

z = z

equivale a

a bi = a bi.

Donde

2a = 0

a = 0.

z = bi

um imaginrio puro.

Temos que

z = a bi

z = a (bi) = a + bi = z .

4) zz = (a + bi)(a bi) = a2 b2 i2 = a2 + b2 . 5) 6)
Para

z1 = a + bi

z2 = c + di,

temos que

z1 + z2 = (a + c) + (b + d)i = (a + c) (b + d)i = (a bi) + (c di) = z 1 + z 2 .


Para

z1 = a + bi

z2 = c + di,

temos que

|z1 z2 | = (ac bd) + (ad + bc)i = (ac bd) (ad + bc)i = (a bi)(c di) = z1 z2.

7)

Como

assim,

1 = 1, temos z z 1 = (z )1 .

que

1 z

= 1,

e pela Propriedade 5,

1 z

= 1,

Os nmeros complexos

Captulo 1

8)

Pelas Propriedades 6 e 7, temos que

z1 z2

z1

1 z2

= z1

1 z2

= z1
temos

1 z1 = . z2 z2 z + z = 2a,
donde

9)

Como

z + z = (a + bi) + (a bi), z z = (a + bi) (a bi),

a = Re(z ) =

10)

Como

temos

z z = 2bi,

donde

z+z . 2 zz b = Im(z ) = . 2i

Exemplo:
real.

Sejam

z1 , z2 C.

Prove que o nmero

E = z1 z 2 + z 1 z2

um nmero

Soluo. Temos que E = z1 z 2 + z 1 z2 = z 1 z2 + z1 z 2 = E , e pela Propriedade


1,
temos que

E R.

1.3.3 Mdulo de um Nmero Complexo


O nmero no-negativo plexo

r =

a2 + b 2 ,

denomina-se

mdulo

do nmero com-

e indicado por

|z |. 3, 12 + ( 3)2 =

4 = 2.

Exemplo:

Para o nmero complexo

z = 1+

temos que

|z | =

Da denio de mdulo, decorrem as seguintes propriedades:

1) |z | = | z | = |z |; 2) zz = |z |2 ; 3) |z | = 1
1 = z; z

4) |z1 z2 | = |z1 | |z2 |; 5) |z 1 | = |z |1 6)


z1 |z1 | = z2 |z2 |
se

z = 0;

se

z2 = 0.
8

Os nmeros complexos

Captulo 1

Prova. 1)
Seja e

z = a + bi,

|z | =

| z | = (a)2 + (b)2 = a2 + b2 = |z | a2 + (b)2 = a2 + b2 = |z |, e da |z | = | z | = |z |.


temos que

2) zz = a2 + b2 = ( a2 + b2 )2 = |z |2 . 3) 4)
Pela Propriedade 2, temos que

|z | = 1 |z |2 = 1 zz = 1 z =
Pela Propriedade 2, temos que

1 . z

|z1 z2 |2 = (z1 z2 )(z1 z2 ) = (z1 z 1 )(z2 z 2 ) = |z1 |2 |z2 |2 .


E consequentemente

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

pois

|z | 0. 1 1 = . z |z |
Ento

5) 6)

Da relao

1 = 1, z

temos que

1 =1 z

ou

|z 1 | = |z |1 .

Pelas Propriedades 4 e 5, temos que

1 |z | z = z = |z w1 | = |z | |w1 | = |z | |w|1 = . w w |w|

Exemplo:

Sendo

z=

5i , 3 + 4i

calcule

|z |. 5i |5i| = = 1. 3 + 4i |3 + 4i|

Soluo. Pelas Propriedades 1 e 6, temos que |z | = |z | =

1.4 Os Nmeros Complexos como Pontos do Plano


Como denimos o nmero complexo

z = (a, b) = a + bi

como um par ordenado

(a, b) de

nmeros reais e este, por sua vez, pode ser visto como um ponto

P (a, b) no

plano cartesiano, natural que faamos a correspondncia entre os nmeros complexos e o plano ao ponto

R2 .

Nessa correspondncia, um nmero real

a = a + 0i corresponde

(a, 0) sobre o eixo x, e um nmero imaginrio puro bi = 0 + bi corresponde


9

Os nmeros complexos
ao ponto

Captulo 1

(0, b)

sobre o eixo y. Assim, o eixo x chamado de eixo real e o eixo y de

eixo imaginrio. O plano formado pelos eixos real e imaginrio chamado de

plano

complexo, plano de Argand1 ou plano Gaussiano.

Figura 1.1: Plano Complexo

Os nmeros complexos que possuem mdulos unitrios,

r = 1, so representados

no plano complexo por um crculo de centro na origem e raio igual a 1 (crculo unitrio), que denotaremos por

S1 .

Figura 1.2: Crculo Unitrio

1 Jean Robert Argand


publicado em

(1768 1822),

matemtico suo. Seu artigo sobre o plano complexo foi

1806.
10

Os nmeros complexos

Captulo 1

Ainda, de acordo com a denio dada, podemos pensar no nmero complexo

z = a + bi

como o vetor, (isto , o segmento orientado) de origem na origem do

sistema de coordenadas e extremidade pelo vetor

(a, b),

isto , o complexo

representado

OP ,

onde

P (a, b)

a imagem geomtrica do nmero complexo

z.

Figura 1.3: Nmero Complexo como Vetor

1.4.1 Forma Polar dos Nmeros Complexos


Em muitos casos, bastante til utilizar outra forma de representao de um nmero complexo

z = a + bi,

que destaca de modo especial seu mdulo

r = |z | =
Seja um ponto a origem). Seja

a2 + b 2 . OP
(onde

P = (a, b)

no plano complexo. Considere o vetor

o ngulo entre

OP

e o semi-eixo positivo x, e

r = OP . (r, ).

Ento,

x = r cos

y = r sen.

As coordenadas polares do ponto

so

O ngulo

para o qual temos

tg =

b a

= arctg z

b a arg z .
Se limitarmos

chamado de argumento do nmero complexo o valor de

e se indica por

ao intervalo

(, ],

ento para os nmeros reais positivos, ser igual a

0,

enquanto que para os nmeros reais negativos, igual a

11

Os nmeros complexos

Captulo 1

Figura 1.4: A Forma Polar

Os nmeros conjugados tem um mesmo mdulo

e argumentos opostos

Figura 1.5: Conjugado de um Nmero Complexo

A origem o nico ponto em que denido. Ento, sendo

r = 0;

o argumento

da origem no est

z = a + bi = 0,

podemos escrever sua forma polar como

z = r(cos + i sen).
Note que a substituio de

(1.7)

na expresso acima por

+ 2k ,

onde

um nmero

12

Os nmeros complexos
inteiro, no altera o nmero complexo

Captulo 1
z.
Assim, podemos escrever

z = r[cos( + 2k ) + i sen( + 2k )].

(1.8)

Exemplo:
|z | =
Assim,

Dado

z = 1 + i, 2
e

temos

12 + 12 =

arg(z ) = arctan 1 =

+ 2k, 4

onde

k Z.

z =1+i=
ou, simplesmente,

2 cos

+ 2k + i sen + 2k 4 4

k Z,

z =1+i=

+ i sen 2 cos 4 4

1.4.2 Operaes com Nmeros Complexos na Forma Polar


A forma polar bastante til para a multiplicao, diviso e potenciao de nmeros complexos.

1. Multiplicao Proposio 1
Suponha que

z1 = r1 (cos 1 + i sen1 ) e z2 = r2 (cos 2 + i sen2 ).


Ento,

z1 z2 = r1 r2 [cos(1 + 2 ) + i sen(1 + 2 )].

(1.9)

13

Os nmeros complexos

Captulo 1

Prova. Temos que,


z1 z2 = r1 (cos 1 + i sen1 ) r2 (cos 2 + i sen2 ) = r1 r2 {(cos 1 cos 2 sen1 sen2 ) + i(sen1 cos 2 + cos 1 sen2 )}
e utilizando as identidades trigonomtricas

cos(1 + 2 ) = cos 1 cos 2 sen1 sen2


e

sen(1 + 2 ) = sen1 cos 2 + cos 1 sen2 ,


segue que

z1 z2 = r1 r2 [cos(1 + 2 ) + i sen(1 + 2 )].

Desta maneira, o mdulo do produto igual ao produto dos mdulos dos fatores e o argumento igual a soma dos argumentos dos fatores.

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

arg(z1 z2 ) = arg z1 + arg z2

Observao 1

A frmula (1.9) pode ser usada no produto de dois ou mais nmeros

complexos. Ento,

z1 z2 zn = r1 r2 rn [cos(1 + 2 + n ) + i sen(1 + 2 + n )].

(1.10)

14

Os nmeros complexos

Captulo 1

2. Potncia de um Nmero Complexo Proposio 2


(De Moivre2 ) Para z = r(cos + i sen) e n N, temos

z n = rn [cos(n) + i sen(n)].

(1.11)

Prova. Aplicando a frmula (1.10) para z = z1 = z2 = zn , obtemos


z n = r r r[cos( + + + ) + i sen( + + + )]
n vezes n vezes n vezes

= rn [cos(n) + i sen(n)].

Como consequncia do resultado anterior, temos que

|z n | = |z |n ;

arg z n = n arg z.

3. Diviso Proposio 3
Suponha que com z2 = 0.

z1 = r1 (cos 1 + i sen1 ) e z2 = r2 (cos 2 + i sen2 ),


Ento,

z1 r1 = [cos(1 2 ) + i sen(1 2 )]. z2 r2

(1.12)

Prova. Temos que


z1 r1 (cos 1 + i sen1 ) r1 (cos 1 + i sen1 )(cos 2 i sen2 ) = = 2 2 z2 r2 (cos 2 + i sen2 ) r2 (cos 2 + sen2 )
2 Abraham de Moivre (1667
na Trigonometria.

1754),

matemtico francs, introduziu quantidades imaginrias

15

Os nmeros complexos
=

Captulo 1

r1 (cos 1 cos 2 + sen1 sen2 ) + i(sen1 cos 2 cos 1 sen2 ) r2

e utilizando as identidades trigonomtricas

cos(1 2 ) = cos 1 cos 2 + sen1 sen2


e

sen(1 2 ) = sen1 cos 2 cos 1 sen2 ,


segue que

z1 r1 = [cos(1 2 ) + i sen(1 2 )]. z2 r2

Como consequncia do resultado anterior, temos que

z1 r1 |z1 | = = ; z2 r2 |z2 |

arg

z1 = arg z1 arg z2 . z2

1.5 Interpretao Geomtrica de Operaes Algbricas com Nmeros Complexos


1.5.1 Multiplicao de um Nmero Complexo por um Nmero Real k
O produto de um nmero complexo

z = a + bi

por

k R,

dado por

kz = k (a + bi) = ka + kbi.
Se Se

k > 0, k < 0,

multiplicamos o mdulo do vetor por multiplicamos o mdulo do vetor por

e mantemos a direo. e a direo inverte.

|k |

16

Os nmeros complexos

Captulo 1

Figura 1.6: Produto de um nmero complexo por um nmero real

1.5.2 Adio e Subtrao


Sejam do plano

z1 = a + bi e z2 = c + di dois nmeros complexos representados por vetores


ento

R2 ,

z1 + z2 = (a + bi) + (c + di) = (a + c) + (b + d)i.


O nmero

(1.13)

z1 + z2

representado por um vetor, cujas componentes so as so-

mas das componentes dos vetores que representam

z1

z2 .

Geometricamente, isto

signica que a soma dada pela diagonal do paralelogramo construdo sobre esses vetores .

Figura 1.7: Soma de dois Nmeros Complexos

Para a subtrao, podemos escrever

z2 z1 = z2 + (z1 ),
17

pois

z1 = (1)z1 .

Os nmeros complexos
Geometricamente, isto signica que a diferena

Captulo 1
z2 z1
dada pela diagonal do

paralelogramo construdo sobre os vetores que representam

z2

z1 .

Figura 1.8: Diferena de dois Nmeros Complexos

1.5.3 Multiplicao e Diviso


Pela Proposio 1, temos que multiplicar por

no plano complexo signica,

geometricamente, efetuar uma rotao no sentido positivo (anti-horrio), em torno da origem, de um ngulo igual ao

arg z ,

seguido de uma distenso ou contrao.

Figura 1.9: Produto de dois Nmeros Complexos

18

Os nmeros complexos
Para dividir por ao

Captulo 1

z , a rotao no sentido negativo (horrio), de um ngulo igual

arg z ,

seguido de uma distenso ou contrao.

Figura 1.10: Quociente de dois Nmeros Complexos

Em particular, multiplicar um nmero complexo por de um ngulo

sen 2

no sentido positivo 2 z = r(cos + i sen), ento

(anti-horrio). De

i corresponde a rotacion-lo fato, se z1 = i = cos +i 2

iz = r cos +
Dividir um nmero complexo por gativo (horrio), pois

+ i sen + 2 2 i

. 2
no sentido ne-

equivale a rotacion-lo de

z 1 = z = iz = (1)iz . i i

Figura 1.11: Produto e Quociente de um Nmero Complexo por

19

Os nmeros complexos

Captulo 1

1.6 Razes n-simas da Unidade


Obter as razes plexos

n-simas da unidade signica determinar todos os nmeros com-

que so solues da equao

z n 1 = 0.
Por inspeo, temos que

(1.14)

z0 = 1 uma das razes da equao.

Sabemos que

cos 2k +

i sen2k = 1, k Z.

Usando esse fato e a frmula de De Moivre, temos que

2 2 cos + i sen n n

= cos 2 + i sen2 = 1. z n 1 = 0 possui n-simas


da

De acordo com o Teorema Fundamental da lgebra, a equao exatamente

razes complexas. Ento, podemos concluir que as razes

unidade so dadas por

zk = cos
pois,

2k 2k + i sen , n n

k {0, 1, 2, , n 1},

(zk ) =

2k 2k + i sen cos n n

= cos 2k + i sen2k = 1.

Explicitamente, temos

z0 = cos 0 + i sen0; 2 2 z1 = cos + i sen ; n n 4 4 z2 = cos + i sen ; n n 2(n 1) 2(n 1) + i sen . zn1 = cos n n

20

Os nmeros complexos
2 2 + i sen n n

Captulo 1

Para ns de simplicao, essa notao, as razes

z1 = cos

ser representada por

Usando

n-simas

da unidade sero

1, , 2 , , n1
As razes n-simas da unidade so geradas pelo nmero

(1.15)

isto , so potncias de

Essas

razes,

n > 2,

so os vrtices de um polgono regular de

lados inscrito

no crculo unitrio e com um vrtice em

(1, 0). n.

A seguir obteremos as razes n-simas para alguns valores de

Razes Quadradas da Unidade


Para

n = 2,

a equao

z2 1 = 0

tem duas razes

1,

que so as razes

quadradas da unidade.

Razes Cbicas da Unidade


A obteno das razes cbicas da unidade ser de grande importncia para a

obteno de alguns resultados no Captulo 2. unidade, ou seja, as razes da equao

Para

n = 3,

as razes cbicas da

z 3 1 = 0,

so dadas por

zk = cos
Por isso,

2k 2k + i sen , 3 3

k {0, 1, 2}.

z0 = 1;

z1 = cos

2 2 + i sen = 3 3

z2 = cos

4 4 + i sen = 2. 3 3

(1.16)

Essas trs razes so os vrtices de um tringulo equiltero inscrito no crculo

21

Os nmeros complexos
unitrio

Captulo 1
(1, 0).

S1

e com um vrtice em

Figura 1.12: Razes Cbicas da Unidade

Note que

z2 = 2 = ,
eixo real.

pois

obtido, geometricamente, pela reexo de

em torno do

2 + + 1 = 0, 2 + + 1 = 0.

pois

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

e como

= 1,

temos

Razes Quartas da Unidade


Para

n = 4, as razes quartas da unidade, ou seja, as razes da equao z 4 1 = 0, 2k 2k + i sen , 4 4

so dadas por

zk = cos
Por isso,

k {0, 1, 2, 3}.

z0 = 1; z2 z3

+ i sen = = i; 2 2 2 = cos + i sen = = 1 e 3 3 = cos + i sen = 3 = i. 2 2 z1 = cos


22

Os nmeros complexos

Captulo 1
S1
e

Essas quatro razes so os vrtices de um quadrado inscrito no crculo unitrio com um vrtice em

(1, 0).

Figura 1.13: Razes Quartas da Unidade

23

Captulo 2 Nmeros Complexos e Geometria


Neste captulo, apresentaremos algumas denies e propriedades geomtricas simples, no Plano Complexo, como equaes de retas passando por dois pontos, semelhana de tringulos, etc, que constituiro os pr-requisitos para as demonstraes dos teoremas propostos na Seo

2.2.

2.1 Algumas Propriedades e Noes Geomtricas Simples


Daqui em diante, o ponto correspondente ao nmero complexo pela mesma letra

ser indicado

z.

2.1.1 Distncia Entre Dois Pontos


A distncia

entre os pontos

z1

z2

do plano coincide com o mdulo j que o vetor

|z2 z1 |

do nmero complexo

w = z2 z1 ,

z 1 z2

igual ao

|w| = vetor Ow ,

conforme gura

2.1.

24

Nmeros Complexos e Geometria

Captulo 2

Figura 2.1: Distncia Entre Dois Pontos

2.1.2 ngulo Orientado Entre Retas


Sejam o ngulo

z1

z2

dois nmeros complexos distintos e

a origem do plano complexo,

z1 Oz2

orientado se os pontos

z1

z2

so ordenados no sentido positivo

(anti-horrio).

2.1.3 ngulo Formado Entre Duas Retas


O ngulo

0 = z1 Oz2

entre as retas que se cortam na origem das coordenadas

e que passam pelos pontos

z1

z2

dado por

z1 Oz2 = arg

z2 = arg z2 arg z1 . z1

(2.1)

Figura 2.2: ngulo Entre Retas Que se Cortam na Origem

25

Nmeros Complexos e Geometria

Captulo 2
z2 = 1 + i,
temos que o ngulo

Exemplo:

Dados

z1 = 1 + i

z1 Oz2 = arg

z2 1 + i (1 + i)i = arg = arg = arg i = . z1 1+i 1+i 2

Para determinar o ngulo ponto qualquer transforma

= z1 z0 z2

entre duas retas que se cortam em um

z0

e que passam pelos pontos

z1

z2 ,

efetuamos uma translao que

z0

em

O.

Assim, temos

z1 = z1 z0
Logo, o ngulo

z2 = z2 z0 .

(conforme gura 2.3) dado por

= z1 z0 z2 = arg

z2 z2 z0 = arg = arg(z2 z0 ) arg(z1 z0 ). z1 z1 z0

(2.2)

Figura 2.3: ngulo Entre Retas Que se Cortam em um Ponto Qualquer

Note que

o ngulo que devemos girar o vetor

z 0 z1

no sentido anti-horrio

para faz-lo coincidir com o vetor

z 0 z2 .

26

Nmeros Complexos e Geometria

Captulo 2
e

Exemplo:

Dados

z1 = 2 + 3i, z2 = 2 + 5i

z3 = 4 + 5i,

temos que o ngulo

z3 z1 z2 = arg

z2 z1 2i i i(1 i) 1+i = arg = arg = arg = arg = . z3 z1 2 + 2i 1+i 2 2 4

2.1.4 Condio de Alinhamento de Trs Pontos no Plano Complexo


Proposio 4
Trs pontos distintos z1 , z2 e z3 so colineares se, e somente se,

z3 z1 R. z2 z1

(2.3)

Prova.
igual a

A colinearidade dos pontos , ou seja,

0 ou a

z1 , z2 e z3 equivalente a o ngulo z2 z1 z3 ser z3 z1 z3 z1 se arg {0, }, o que equivalente a R. z2 z1 z2 z1

2.1.5 Equao da Reta


Proposio 5
Sejam z1 e z2 pontos distintos do plano complexo. A equao da reta que passa por esses dois pontos dada por

z z1 z z1 = , z2 z1 z2 z1
que equivalente a

(2.4)

(z2 z1 )z (z 2 z 1 )z = z2 z 1 z1 z 2 .

(2.5)

27

Nmeros Complexos e Geometria

Captulo 2

Prova. De fato, se os pontos z , z1 e z2 so colineares, temos pela Proposio 4 que


z z1 R. z2 z1
Como

z z1 z2 z1

um nmero real, podemos escrever

z z1 = z2 z1
que equivalente a

z z1 z2 z1

z z1 z z1 = , z2 z1 z2 z1

(z2 z1 )z (z 2 z 1 )z = z 1 z2 z1 z 2 ,
ou ainda,

(z2 z1 )z (z 2 z 1 )z + z1 z 2 z 1 z2 = 0.

Desta maneira, a equao de uma reta pode ser escrita como

Bz Bz + C = 0,
onde

(2.6)

B = z 2 z 1 , B = z2 z1 , C = z1 z 2 z 1 z2

um imaginrio puro, pois

C = z1 z 2 z 1 z2 = z 1 z2 z1 z 2 = C .

Observao 2
(2.5) se torna

No caso em que |z1 | = |z2 | = 1, isto , z1 =

1 1 e z2 = , a equao z1 z2
(2.7)

z + z1 z2 z = z1 + z2 .

28

Nmeros Complexos e Geometria

Captulo 2

Observao 3

A equao (2.4) equivalente a

1 = 0.

z1 z 1 1 z2 z 2 1

De fato, pelas Propriedades dos determinantes, temos que

1 =0

z1 z 1 1 z2 z 2 1 z z1 z1

z z1 z1

0 1 =0

z2 z1 z 2 z 1 0 z z1 z z1 =0

z2 z1 z 2 z 1 z z1 z z1 = . z2 z1 z2 z1 z1
e

Logo, podemos obter a equao da reta que passa por determinante

z2

desenvolvendo o

1 = 0.

z1 z 1 1 z2 z 2 1

29

Nmeros Complexos e Geometria

Captulo 2

2.1.6 Equao Paramtrica da Reta


Seja condio

um ponto qualquer da reta que passa pelos pontos podemos escrever

z1

z2 .

Ento, pela

(2.3),

z z2 = t, z1 z2
Da

onde

t R.

z z1 = t(z2 z1 ),
donde

z = (1 t)z1 + tz2
A equao pontos

t R.

(2.8)

(2.8)

denominada equao paramtrica da reta que passa pelos

z1

z2 .

2.1.7 Equao da Circunferncia


Proposio 6
Quatro pontos distintos z1 , z2 , z3 e z4 esto situados em uma circunferncia (uma reta) se, e somente se, o nmero

z2 z3 z1 z3
um nmero real.

z2 z4 z1 z4

(2.9)

Prova. Suponha que os pontos estejam em uma circunferncia.


clidiana plana, sabemos que quatro pontos, circunferncia se, e somente se,

Da geometria eu-

z1 , z2 , z3

z4 ,

esto situados em uma

z1 z3 z2 = z1 z4 z2 , z1 z2 ,

no caso dos pontos

z3

z4

estarem

no mesmo semiplano em relao reta pontos

ou

z1 z3 z2 + z1 z4 z2 = , z1 z2 .
Logo

no caso dos

z3

z4

estarem em semiplanos opostos em relao reta

Para o primeiro caso (gura

2.4),

temos que

z1 z3 z2 = z1 z4 z2 .

30

Nmeros Complexos e Geometria

Captulo 2

Figura 2.4:

z1 z3 z2

z1 z4 z2

no mesmo semiplano em relao a reta

z1 z2

arg
e, portanto,

z2 z3 z2 z4 = arg , z1 z3 z1 z4 z2 z3 z1 z3 z2 z3 z1 z3 como z3 z2 z4 z1 z4

donde

arg

z2 z3 z2 z4 arg =0 z1 z3 z1 z4

um nmero real.

Por outro lado, se

z2 z4 z1 z4
e

R , temos que arg

k ,

com

k Z.

z4

esto no mesmo semiplano

z2 z3 z2 z4 arg = z1 z3 z1 z4 em relao reta z1 z2 ,


Assim, temos que

temos

k = 0,

pois os mdulos dos argumentos menor que

arg

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

O segundo caso pode ser provado de modo semelhante.

Observao 4

A expresso

z2 z3 z1 z3

z2 z4 z1 z4

ser denotada por (z3 , z4 ; z2 , z1 ).

31

Nmeros Complexos e Geometria

Captulo 2

Proposio 7

A equao da circunferncia (da reta) que passa pelos pontos z , z1 ,

z2 e z3 dada por z z2 z1 z2 z z3 z1 z3 z, z1 , z2
e

z z2 z1 z2

z z3 z1 z3

(2.10)

Prova.

Como os pontos

z3

pertencem a uma circunferncia, temos pela

Proposio 6, que

z z2 z1 z2
um nmero real e podemos escrever

z z3 z1 z3

z z2 z1 z2
que equivalente a

z z3 z1 z3

z z2 z1 z2

z z3 z1 z3

(z z2 )(z z 3 )[(z3 z1 )(z 2 z 1 )] = (z z3 )(z z 2 )[(z2 z1 )(z 3 z 1 )],

Desta maneira, a equao de uma circunferncia (reta) pode ser escrita como

Azz + Bz Bz + C = 0,
onde

(2.11)

A = (z3 z1 )(z 2 z 1 ) (z2 z1 )(z 3 z 1 ), B = z 3 (z3 z1 )(z 2 z 1 ) + z 2 (z2 z1 )(z 3 z 1 ), C = z2 z 3 (z3 z1 )(z 2 z 1 ) z3 z 2 (z2 z1 )(z 3 z 1 ),
em que

AeC

so imaginrios puros. Como j sabemos, a equao

(2.11) representa

32

Nmeros Complexos e Geometria


uma reta se, e somente se,

Captulo 2
ou seja, se

A = 0,

(z3 z1 )(z 2 z 1 ) = (z2 z1 )(z 3 z 1 ),


que equivalente a

z3 z1 z3 z1 = . z2 z1 z2 z1

2.1.8 Perpendicularismo no Plano Complexo


Proposio 8
As retas z1 z2 e z3 z4 so ortogonais se, e somente se,

z2 z1 z4 z3
for um imaginrio puro.

(2.12)

Prova. Temos que z1 z2 z3 z4


e

se, e somente se, o ngulo formado pelas retas

z1 z2

z3 z4

for igual a

segue que

z2 z1 z4 z3

ou a

3 . 2

Isso equivalente a

3 z2 z1 { , }, arg z4 z3 2 2

de onde

um imaginrio puro.

2.1.9 Equao da Reta Perpendicular


Proposio 9
dada por A equao da reta perpendicular reta z1 z2 e que passa por z3

z z3 z z3 + = 0, z2 z1 z 2 z 1
que equivalente a

(z2 z1 )z + (z 2 z 1 )z = z3 (z 2 z 1 ) + z 3 (z2 z1 ).

(2.13)

33

Nmeros Complexos e Geometria

Captulo 2

Prova. De fato, seja zz3 a reta que passa pelos pontos z e z3 , temos que zz3 z1 z2
se, e somente se,

z z3 z2 z1
Como

um imaginrio puro.

z z3 z2 z1

um imaginrio puro, podemos escrever

z z3 z z3 + = 0, z2 z1 z 2 z 1
que equivalente a

(z2 z1 )z + (z 2 z 1 )z = z3 (z 2 z 1 ) + z 3 (z2 z1 ).

2.1.10 Equao da Mediatriz de um Segmento


Vamos determinar agora a equao da mediatriz de um segmento de extremos e

z1

z2 .

mediatriz a reta perpendicular ao segmento z1 z2 e que passa pelo ponto


, que o ponto mdio do segmento

z1 + z2 z3 = 2

z1 z2 .

Logo, pela equao

(2.13),

ela dada por

(z2 z1 )z + (z 2 z 1 )z =
ou

z1 + z2 z1 + z2 (z 2 z 1 ) + (z2 z1 ) 2 2

(z2 z1 )z + (z 2 z 1 )z = |z2 |2 |z1 |2 .

(2.14)

2.1.11 Tringulos
Na geometria plana elementar, os tringulos so as peas bsicas e a congruncia e a semelhana de tringulos, os conceitos fundamentais. Antes de apresentar o

conceito de semelhana de tringulos, em termos de nmeros complexos, vamos

34

Nmeros Complexos e Geometria


estabelecer as seguintes convenes: Sejam

Captulo 2

z1 , z2 , z3 , w1 , w2 , w3

nmeros complexos, dizemos que

Um tringulo orientado se a ordem de seus vrtices especicada. Essa orientao pode ser positiva (sentido anti-horrio) ou negativa (sentido horrio).

Os tringulos

z1 z2 z3

w1 w2 w3

possuem a mesma orientao se ambos so

horrios ou anti-horrios.

Os tringulos

z1 z2 z3

w1 w2 w3

possuem orientaes distintas se um ho-

rrio e o outro anti-horrio.

Na gura abaixo, os dois primeiros tringulos possuem a mesma orientao e os dois ltimos, assim como o primeiro e o ltimo, possuem orientaes opostas.

Figura 2.5: Tringulos: Orientaes

2.1.12 Tringulos Semelhantes


Sejam ngulos

z1 , z2 , z3 , w1 , w2 , w3
e

seis pontos no plano complexo. Dizemos que os tri-

z1 z2 z3

w1 w2 w3

so semelhantes se o ngulo

zk

for igual ao ngulo

wk ,

k {1, 2, 3}.

35

Nmeros Complexos e Geometria

Captulo 2

Proposio 10

Os tringulos z1 z2 z3 e w1 w2 w3 so semelhantes, com a mesma

orientao, se, e somente se,

z2 z1 w2 w1 = . z3 z1 w3 w1

(2.15)

Prova. Temos que z1 z2 z3 w1 w2 w3 se, e somente se,


z1 z2 w1 w2 = z1 z3 w1 w3
Isso equivalente a e

z3 z1 z2 = w3 w1 w2 .

|z2 z1 | |w2 w1 | = |z3 z1 | |w3 w1 |


de onde obtemos que

arg

z2 z1 w2 w1 = arg , z3 z1 w3 w1

w2 w1 z2 z1 = . z3 z1 w3 w1

Observao 5

: A equao (2.15) equivalente a

z1 w1 1 z2 w2 1 z3 w3 1
Logo, podemos escrever

= 0.

z2 z1 w2 w1 z1 z2 z3 w1 w2 w3 = z3 z1 w3 w1

z1 w1 1 z2 w2 1 z3 w3 1 = 0.

Proposio 11

Os tringulos z1 z2 z3 e w1 w2 w3 , so semelhantes com orienta-

o oposta, que indicaremos por z1 z2 z3 op w1 w2 w3 , se, e somente se,


36

Nmeros Complexos e Geometria

Captulo 2

z2 z1 w2 w1 = . z3 z1 w3 w1

(2.16)

Prova. A reexo em relao ao eixo x transforma os pontos w1 , w2 e w3


w2
e

em

w1 ,
so e

w3 ,

respectivamente (gura

2.6).

Os tringulos

w1 w2 w3

w1 w2 w3

semelhantes e possuem orientao oposta. Por outro lado, os tringulos

z1 z2 z3

w1 w2 w3

so semelhantes com a mesma orientao.(gura

2.7)

Figura 2.6:

w1 w2 w3 op w1 w2 w3

Segue da Proposio 10, que

z1 z2 z3 op

z2 z1 w2 w1 w1 w2 w3 = z3 z1 w3 w1

z1 w1 1 z2 w2 1 z3 w3 1 = 0.

37

Nmeros Complexos e Geometria

Captulo 2

Figura 2.7:

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

2.1.13 Tringulo Equiltero


A seguir apresentamos duas caracterizaes de tringulos equilteros.

Proposio 12
e somente se,

Os pontos z1 , z2 e z3 so os vrtices de um tringulo equiltero se,

z1 z2 1 z2 z3 1 z3 z1 1 = 0.

Prova. O tringulo z1 z2 z3 equiltero se, e somente se, semelhante ao z2 z3 z1 ,


com a mesma orientao, isto

z1 z2 1 z2 z3 1 z3 z1 1 = 0.

Desenvolvendo o determinante, obteremos outra caracterizao para tringulos equilteros, a saber

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

38

Nmeros Complexos e Geometria

Captulo 2

Proposio 13

O z1 z2 z3 equiltero se, e somente se,

z1 + z2 + 2 z3 = 0
ou

(2.18)

z1 + 2 z2 + z3 = 0,
onde uma das razes complexas da unidade.

(2.19)

Prova. De fato, o z1 z2 z3 equiltero se, e somente se,


z1 z2 z3 1 2
ou

z1 z2 z3 1 2

Pela Proposio 12 , temos para o primeiro caso

z1 z2

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

z3 2 1
Como

uma das razes complexas da unidade e

2 + + 1 = 0,

temos

z1 ( 2 ) + z2 ( 2 3 ) + z3 ( 3 ) = 0 z1 (1 ) + z2 2 (1 ) z3 (1 )(1 + ) = 0 z1 + z2 + 2 z3 = 0.
O segundo caso pode ser provado de forma anloga ao primeiro.

39

Nmeros Complexos e Geometria

Captulo 2

2.1.14 Pontos Notveis em um Tringulo


(a) Circuncentro Proposio 14
As trs mediatrizes de um tringulo qualquer se encontram em um nico ponto. Esse ponto chamado de circuncentro do tringulo.

Prova. Sejam , e

os vrtices do tringulo.

Figura 2.8: Circuncentro

Ento, pela equao por

(2.14),

a equao da mediatriz relativa ao lado

dada

( )z + ( )z = ||2 | |2 .
De modo anlogo, obtemos as equaes das mediatrizes dos lados as equaes obtidas, montamos o seguinte sistema

e , com

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

(1) (2) (3)


Por exemplo,

Somando-se quaisquer duas dessas equaes, obtemos a restante. somando-se

(1)

(2)

obtemos

(3).

Isso implica que a interseo de duas dessas

equaes pertence terceira delas. Logo, conclumos que as trs mediatrizes de um tringulo qualquer encontram-se em um nico ponto.

40

Nmeros Complexos e Geometria

Captulo 2

Para determinar o ponto de interseo, ou seja, o circuncentro, resolveremos o sistema formado pelas equaes Isolando

(1)

(2).

na equao

(1),

temos

z=
Substituindo em

||2 | |2 ( )z .

(2),

obtemos

( )z +

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

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


(2.20)

Note que, pela simetria do resultado obtido, podemos ver novamente que essa soluo tambm satisfaz a equao

(3).

(b) Ortocentro Proposio 15


As trs alturas de um tringulo qualquer se encontram em um nico ponto. Esse ponto chamado de ortocentro do tringulo.

Prova. Sejam , e

os vrtices de um tringulo.

Figura 2.9: Ortocentro

41

Nmeros Complexos e Geometria


De acordo com a equao que perpendicular ao lado

Captulo 2
a reta suporte da altura relativa ao vrtice

(2.13),

dada pela equao

( )z + ( )z = ( ) + ( ).
De modo anlogo obtemos as retas suportes das alturas relativas aos vrtices Com as trs equaes obtidas, montamos o seguinte sistema

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


Podemos observar que qualquer uma das trs equaes combinao linear das outras duas e portanto a interseo de duas dessas equaes pertence terceira delas, ou seja, as trs alturas de um tringulo se encontram em um nico ponto.

Sem perda de generalidade, vamos calcular o ortocentro do tringulo inscrito no crculo unitrio com centro na origem. Nesse caso, temos

|| = | | = | | = 1, z

logo

1 1 = ,= e (3), temos

1 = .

Substituindo essas relaes e isolando

nas equaes

(2)

z=
e

1 z + 1 z + .

(4)

z=
De

(5)

(4)

(5),

obtemos

1 z 1 z + = + ,

42

Nmeros Complexos e Geometria


eliminando os denominadores, camos com

Captulo 2

2 + z = 2 + z z z = 2 2 + ( )z = ( + )( ) + ( ) z = + + .
(2.21)

(c) Baricentro Proposio 16


As trs medianas de um tringulo qualquer se encontram em um nico ponto. Esse ponto chamado de baricentro.

Prova. Seja um tringulo de vrtices , e

Figura 2.10: Baricentro

A reta suporte da mediana relativa ao lado ponto mdio do segmento procurada dada por

a reta que passa por

e pelo

Temos pela equao

(2.5),

que a equao da reta

+ 2

+ 2

z=

+ 2

+ 2

43

Nmeros Complexos e Geometria


ou seja,

Captulo 2

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

(1)
e

De modo anlogo, obtemos as retas suportes das medianas relativas aos lados

que so respectivamente

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

(2)

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

(3)

Qualquer uma das trs equaes acima combinao linear das outras duas, somando-se, por exemplo, as equaes

(1)

(2)

encontramos o oposto da equao

(3),

desta forma as trs medianas se encontram em um nico ponto.

Para obter o baricentro vamos utilizar a equao paramtrica da reta suporte da mediana relativa ao lado

que dada por

z = (1 t) + t 2 , 3

+ 2

(0 t 1).

Para

t=

temos

z=

++ , 3

(2.22)

que devido a simetria das equaes, tambm pertence s medianas relativas aos lados

44

Nmeros Complexos e Geometria

Captulo 2

2.2 Aplicaes dos Nmeros Complexos na Geometria Plana


Nesta seo, utilizaremos alguns dos resultados, obtidos anteriormente, para apresentar algumas provas de teoremas da geometria plana, bem como para a soluo de alguns problemas geomtricos.

2.2.1 Teorema de Napoleo


Teorema 1
(Napoleo1 ) Sobre cada lado de um tringulo arbitrrio, desenhe um

tringulo equiltero (no exterior). Temos ento que os baricentros desses trs tringulos equilteros so os vrtices de um quarto tringulo equiltero.

Figura 2.11: Teorema de Napoleo

Prova. Sejam z1 z2 z3 o tringulo dado; w1 z2 z3 , z3 w2 z1 e z2 z1 w3 os tringulos


equilteros construdos sobre os lados do

z1 z2 z3 ,
e

com a mesma orientao que o

1 2 (com 2 + + 1 = 0).

Sejam

1 , 2

os baricentros desses tringulos.

1 Alguns historiadores acham pouco provvel que Napoleo Bonaparte

(1769 1821) tenha real-

mente descoberto esse teorema. No entanto, j na escola primria, ele demonstrou grande talento na resoluo de questes aritmticas e uma grande inteligncia lgica. Por isso, chamavam-no o matemtico. Alis, Napoleo costumava dizer que era um gemetra amador.

45

Nmeros Complexos e Geometria


Ento, pela Proposio 12, temos que

Captulo 2

w1 + z3 + 2 z2 = 0, z3 + w2 + 2 z1 = 0, z2 + z1 + 2 w3 = 0.
Para provar que o

1 2 3

equiltero, vamos calcular

1 + 2 + 2 3 1 2 = (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 )} 3 = 0.

Portanto, o

1 2 3

um tringulo equiltero.

2.2.2 Crculo dos Nove Pontos


Teorema 2
(Crculo dos Nove Pontos2 ) O crculo que passa pelos ps das al-

turas de qualquer tringulo passa tambm pelos pontos mdios dos lados, bem como pelos pontos mdios dos segmentos que unem os vrtices ao ortocentro desse tringulo.
1821 pelos grandes gemetras franceses Jean Victor Poncelet (1788 1867) e Charles Julien Brianchon (1785 1864). Entretanto, como o gemetra alemo Karl Wilhelm Feuerbach (1800 1834) publicou, no ano seguinte, um trabalho contendo idias parecidas,
o

2 Este teorema foi descoberto em

Crculo dos Nove Pontos passou tambm a ser chamado de Crculo de Feuerbach
46

Nmeros Complexos e Geometria

Captulo 2

Figura 2.12: Crculo dos Nove Pontos

Prova. Dado um tringulo ABC ,


e sejam

vamos supor, sem perda de generalidade, que o

seu crculo circunscrito o crculo unitrio de centro na origem do plano complexo,

nmeros complexos que representam os vrtices

A, B

C,

respec-

tivamente, com

|| = | | = | | = 1.

Vamos inicialmente encontrar o centro do crculo que passa pelos pontos mdios dos lados do

ABC .

Figura 2.13: Distncia de

para os pontos mdios dos lados do

ABC

O ortocentro

do

ABC

dado por

= + + O
com o

mdio do segmento que une o circuncentro

1 = ( + + ) o ponto 2 2 ortocentro H . A distncia de


e

47

Nmeros Complexos e Geometria


2
para o ponto mdio

Captulo 2
BC

do lado

+ 1 = = . 2 2 2 2
Analogamente, as distncias de ponto mdio

para o ponto mdio

do lado

CA,

e para o

do lado

AB

so todas iguais a

++ . 2
Vamos obter agora a distncia de ortocentro

1 . 2

Logo, o centro do circulo o ponto

para o ponto mdio do segmento que une o

ao vrtice

que

1 + = = 2 2 2 2
Analogamente, as distncias de de

para o ponto mdio de

BH , e para o ponto mdio

CH

so tambm todas iguais a

1 . 2

Precisamos agora determinar a distncia de p

para os ps das alturas do

ABC .

da perpendicular do vrtice

at o lado

BC

dada pela interseco das retas

suportes do lado

BC

e da altura relativa ao vrtice

A.

As equaes dessas retas so

dadas respectivamente pelas equaes

( )z ( )z = ( )z + ( )z = ( ) + ( )
multiplicando a equao

(1) (2) (2),


obtemos

(1)

por

e somando com a equao

2z ( ) = ( ) + ( ) +

48

Nmeros Complexos e Geometria


1 + 2 z= +

Captulo 2

z= z=

1 1 + 2

2 2

1 ++ 2 1 = 2

z=
A distncia procurada igual a

1 = = = 2 2 2 2 2 2 ABC
e as distncias de

Analogamente, obtemos os ps das outras alturas do at eles, e tambm encontraremos

1 . 2

Como os nove pontos citados no teorema esto a uma mesma distncia do ponto

, 2

conclumos que existe um crculo que passa por esses nove pontos (o crculo dos

nove pontos) e assim, o teorema ca provado.

2.2.3 A Reta de Simson


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

e R os ps das perpendiculares de D at os lados (ou prolongamentos dos mesmos)

BC , CA e AB , respectivamente. Ento os pontos P , Q, R esto alinhados se, e


somente se, D est no crculo circunscrito do ABC .

Prova. Suponhamos, sem perda de generalidade, que o ABC est inscrito em um


crculo unitrio e que os pontos

A, B, C, D so representados, respectivamente, pelos


Publicou, em latim e ingls, edies crticas

3 Robert Simson

(1687 1768), Matemtico escocs.

e comentadas sobre as obras dos antigos gemetras.

49

Nmeros Complexos e Geometria

Captulo 2

Figura 2.14: Reta de Simson

nmeros complexos

, ,

. BC
dada por

A equao da reta suporte do lado

z z 1 1 1
isto ,

= 0;

( )z ( )z = .
Por outro lado a equao da reta perpendicular ao lado dada por

(1) BC
passando por

D( )

( )z + ( )z = ( ) + ( )
Usando as relaes

(2).

e simplicando, temos

z + z = +
e

(1 )

z z = .

(2 )

50

Nmeros Complexos e Geometria


Resolvendo o sistema formado pelas equaes

Captulo 2
(1 )
e

(2 ),

obtemos a interseo

z=

P ()

dessas duas retas

1 = ( + + ). 2
De modo anlogo, encontramos os pontos

Q()

R( ),

que so dados por

1 = ( + + ), 2 1 = ( + + ). 2
Pela condio de alinhamento, os pontos somente se,

P (), Q()

R( )

so colineares se, e

R.
Usando a notao

r = | |

(portanto

r2 ),

temos

( )(1 ) ( ) = = ( ) ( )(1 ) = r2 r2

= (, ; , r2 ).
Desta forma,

P (), Q() e R( )

so colineares

(, ; , r2 ) R , , , r2 |r2 | = 1 | | =1 | |2 | | = 1
esto em um crculo

51

Nmeros Complexos e Geometria


Assim,

Captulo 2

D ( )

pertence circunferncia e o teorema est provado.

A reta que passa pelos pontos

P (), Q() e R( )

denominada de Reta de

Simson. Vamos, agora, encontrar a equao da reta de Simson. Para isso usaremos as mesmas notaes utilizadas na prova do teorema. Em particular, assumiremos que o

ABC

est inscrito no circulo unitrio, e o ponto

D( ) pertence a esse crculo.

Como os pontos passa por

so colineares, basta determinar a equao da reta que

De acordo com a equao

(2.5),

a reta procurada dada por

( )z ( )z = .
Vamos introduzir as seguintes notaes:

(2.23)

1 = + + ,
ento,

2 = + + ,

3 = ;

1 = + + =
Portanto, as expresses de

1 1 2 1 + + = , 3
e

3 = =

1 1 = . 3

se transformam em

=
e

1 3 1 1 + = 2 2

2 1 1 + 3 3

1 2

1 +

1 2

2 1 1 + 3 3

52

Nmeros Complexos e Geometria


Substituindo esses valores na equao rias, obtemos

Captulo 2
(2.23)
e efetuando as simplicaes necess-

z 3 z =

3 1 2 + 1 2 . 2

2.2.4 Lei dos Cossenos e Lei dos Senos


Para a prova das Lei dos cossenos e dos senos, utilizaremos as seguintes igualdades:

Re(z )

z+z , 2

|z |2 = zz,

sen arg z =

Im(z )

|z |

cos arg z =

Re(z )

|z |

Teorema 4 (Lei dos Cossenos)

Seja ABC um tringulo. Ento,


(2.24)

|BC |2 = |AB |2 + |AC |2 2|AB ||AC | cos A.

Prova. Vamos supor, sem perda de generalidade, que A a origem do plano complexo,

est em

representado pelo ponto

z.

Figura 2.15: Tringulo

ABC

Assim, de acordo com as coordenadas estabelecidas, temos

|AB | = 1,

|BC | = |z 1|,
53

|AC | = |z |

= arg z. A

Nmeros Complexos e Geometria


Partindo do lado direito de

Captulo 2
temos que

(2.24),

= |AB |2 + |AC |2 2|AB ||AC | cos A = 1 + |z |2 2|z | cos arg z Re(z ) = zz + 1 2|z | |z | z+z = zz + 1 2 2 = zz + 1 z z = z (z 1) (z 1) = (z 1)(z 1) = |z 1|2 = |BC |2 ,
e o teorema est provado.

Teorema 5 (Lei dos Senos)

Seja ABC um tringulo. Ento

|AB | |BC | |AC | = = . senC senA senB

Prova. Representando A, B e C
|AC | = senB

pelos nmeros complexos

0, 1

z,

temos

|z | |z ||z 1| |z 1| |BC | = = = , Im(z 1) Im(z ) Im(z ) senA |z 1| |z |

e o teorema est provado.

54

Nmeros Complexos e Geometria

Captulo 2

2.2.5 Resoluo de Problemas Geomtricos


Problema 1 (PROFMAT - MA 13 AV1 2012)
. Quadrados foram construdos sobre os lados de um paralelogramo como mostra a gura abaixo. Mostre que os centros desses quatro quadrados so vrtices de outro quadrado.

Figura 2.16: Problema 1

Soluo. A resoluo,

a seguir, difere da que foi divulgada pela banca do PROF-

MAT, e que se encontra no Apndice B. Considere o ponto de interseo das diagonais como sendo a origem do plano complexo e sejam mente. Sejam Como

z , w , z z1 , z2 , z3
e

e e

w z4

as coordenadas dos vrtices

A, B , C

D,

respectiva-

as coordenadas dos centros dos quadrados construdos. temos que o ponto em torno de

EB = EA B,

EB EA,

obtido pela rotao positiva

do ponto

de um ngulo de

90 ,

E.

Assim,

EA = i EB z z1 = i(w z1 )
Analogamente, temos que

z1 =

z wi 1i

z2 =

w + zi , 1i

z3 =

z + wi , 1i
55

z4 =

w zi . 1i

Nmeros Complexos e Geometria


Segue-se que

Captulo 2

z2 z1 z4 = arg
donde

z4 z1 w zi z + wi (w + zi z + wi)i = arg = arg = arg i = , z2 z1 w + zi z + wi w + zi z + wi 2


e

z1 z2 = z1 z4 ,

z4 z3 z2 = arg

w + zi + z wi (w zi + z wi)i z2 z3 = arg = arg = arg i = , z4 z3 w zi + z wi w zi + z wi 2 z3 z2 = z3 z4


e, portanto,

o que mostra que

z1 z2 z3 z4

um quadrado.

Problema 2

Sobre os lados AB e BC de um tringulo ABC , desenhe quadrados

com centros D e E tais que os pontos C e D estejam do mesmo lado da reta AB e os pontos A e E estejam em lados opostos da reta BC . Prove que os ngulo entre as retas AC e DE igual a 45 .

Soluo. Sejam zA , zB , zC , zD e zE
A, B, C, D
e

nmeros complexos que representam os pontos

E,

respectivamente.

Figura 2.17: Problema 2

56

Nmeros Complexos e Geometria


Como ponto

Captulo 2
temos que

EC = EB

EC EB , 90 ,

obtido pela rotao positiva do

C,

de um ngulo de

em torno de

E.
e

Assim temos que

zB zE = (zC zE ) i
Analogamente,

zE =

zB zC i . 1i

zD =
O ngulo entre as retas

zB zA i . 1i

AC

DE

igual ao

arg

zC zA zC zA = arg zB zC i zB zA i zE zD 1i 1i (zC zA )(1 i) = arg i(zC zA ) 1i = arg i = arg(1 + i) = , que o resultado desejado. 4

Problema 3

Seja ABCD um quadrado de centro no ponto O e sejam M e N os

pontos mdios dos segmentos BO e CD, respectivamente. Prove que o tringulo

AM N issceles e retngulo.

Soluo.
Considere o ponto da unidade, Os pontos

como a origem do plano complexo e sejam as razes quartas as coordenadas dos pontos

1, i, 1, i,
e

so, respectivamente,

i M= 2

A, B, C, D, respectivamente. 1 i N= . Assim, 2

i 1 (1 2i)i AM 2i 2 = = = = i. 1 i i MN 1 2i 1 2i 2 2
57

Nmeros Complexos e Geometria

Captulo 2

Figura 2.18: Problema 3

Ento,

AM M N

AM = N M ,

como queramos mostrar.

Problema 4 (RPM 14, seo problemas: problema 67)

Dois piratas Barba

Vermelha e Barba Negra, fugindo da marinha real, se dirigiram a uma ilha com o objetivo de nela enterrar um tesouro. Na beira da praia existiam duas grandes rochas e uma palmeira solitria. Barba Vermelha dirigiu-se a uma das rochas e andou, na direo perpendicular reta que unia a rocha palmeira, uma distncia igual a distncia entre a rocha e a palmeira. Barba Negra fez a mesma coisa com relao outra rocha e palmeira. Em seguida, eles caminharam um na direo do outro e enterraram o tesouro na metade do caminho. Dois anos mais tarde eles retornaram ilha para desenterrar o tesouro e descobriram que a palmeira no estava mais l. Como ser possvel recuperar o tesouro?

Soluo. Na soluo desse problema, cuja reproduo encontra-se no Apndice B, e


que foi publicada na RPM 16, o autor utiliza o plano cartesiano. A seguir utilizamos o plano complexo para obter uma outra soluo. Sejam

z1 , z2

zp

pontos do plano complexo que representam, respectivamente, as

posies das rochas e da palmeira. Suponha, sem perda de generalidade, que

z1

z2
de

esto sobre o eixo real, com

z2

direita de

z1

(o caso em que

z2

est esquerda

z1

pode ser tratado de maneira semelhante).

58

Nmeros Complexos e Geometria

Captulo 2

Figura 2.19: Mapa do Tesouro

O ponto torno de

obtido pela rotao de

90 ,

no sentido anti-horrio, do ponto

zp

em

z1 ,

isto

z z1 = i(zp z1 ).
O ponto de

obtido pela rotao de

90 , no sentido horrio, do ponto zp

em torno

z2 ,

isto

z z2 = i(zp z2 ).
Assim, os pontos

so dados por

z = izp + (1 i)z1
Logo, o ponto mdio do segmento

z = izp + (1 + i)z2 .

zz

dado por

Mzz =

z+z izp + (1 i)z1 izp + (1 + i)z2 (1 i)z1 + (1 + i)z2 = = . 2 2 2 zz


no depende de

Como podemos ver, o ponto mdio do segmento

zp ,

isto ,

no depende das coordenadas da palmeira. Se a rotao de no sentido horrio e a rotao de

zp

sobre

z1

fosse feita

zp

sobre

z2

fosse feita no sentido anti-horrio, a

concluso seria a mesma. No entanto, se as rotaes fossem feitas no mesmo sentido, a concluso no seria verdadeira, pois teramos:

59

Nmeros Complexos e Geometria

Sentido anti-horrio

Captulo 2

z = izp + (1 i)z1 , z Mzz = izp + (1 i)z2 e 2izp + (1 i)(z1 + z2 ) = . 2

Sentido horrio

z = izp + (1 + i)z1 , z
Mzz

= izp + (1 + i)z2 e 2izp + (1 + i)(z1 + z2 ) = . 2 zp ,


donde conclumos que, se os piratas andarem

Nos dois casos,

Mzz

depende de

no mesmo sentido, o tesouro estar perdido.

60

Apndice A Geometria Analtica e Nmeros Complexos


O propsito deste apndice mostrar que podemos, utilizando a Geometria Analtica, obter a prova de algumas das Proposies apresentadas no Captulo

2.

A.1 Equao da Reta


Proposio 17
equao A equao de uma reta no plano complexo pode ser dada pela

z + z + = 0,
onde C , R e z = x + yi C, com x, y R.

Prova. A equao de uma reta no plano cartesiano representada pela equao


ax + by + c = 0,

61

Apndice

Apndice
e

onde

a, b, c R

no simultaneamente nulos. Se zermos

z = x + yi,

ento,

pelas propriedades do conjugado de um nmero complexo, temos que

x=
Assim,

z+z 2

y=

zz . 2i

a
que equivalente a

z+z zz bi + c = 0, 2 2i a bi 2

a + bi 2
Fazendo

z+

z + c = 0.

a + bi C 2

= c R,

segue que

z + z + = 0,
e a Proposio est provada.

()

Com respeito a equao

(),

temos as seguintes observaes:

Se

= , = , (),

ento

b=0

e temos uma reta vertical.

Se

ento denimos o coeciente angular da reta cuja equao dada

por

como sendo o nmero

a + + m= = = i b i

Proposio 18

Considere as retas r1 e r2 de equaes dadas, respectivamente, por

1 z + 1 z + 1 = 0

62

Apndice

Apndice

2 z + 2 z + 2 = 0.
Ento as retas r1 e r2 so

1) 2)

paralelas se e somente se

1 1 = ; 2 2 1 1 = . 2 2
Portanto,

perpendiculares se e somente se

Prova. 1) Para que as retas r1 e r2 sejam paralelas devemos ter mr1 = mr2 .
2 + 2 1 + 1 i= i. 1 1 2 2
Assim

2 1 = 1 2
e, portanto,

1 1 = . 2 2

2) Para que as retas isto

r1

r2

sejam perpendiculares devemos ter

mr1 mr2 = 1,

1 + 1 i 1 1
Logo,

2 + 2 i 2 2

= 1.

2 1 = 2 1 ,
e, da,

1 1 = . 2 2

63

Apndice

Apndice

A.2 Equao de uma reta determinada por um ponto e uma direo


Proposio 19
A equao da reta que passa pelo ponto z0 e paralela a reta r :

z + z + = 0 dada por z z0 = (z z 0 ).

Prova. A equao cartesiana da reta paralela a r passando por z0 dada por


y y0 = i + (x x0 ).

Por propriedades de nmeros complexos, temos que

z z z0 z 0 + =i 2i 2i
Multiplicando esta equao por

z + z z0 + z 0 2 2

2i( ),

obtemos

( )[(z z0 ) (z z 0 )] = ( + )[(z z0 ) + (z z 0 )],


donde

(z z0 )( + + ) = (z z 0 )( + ),
ou ainda,

(z z 0 ) = (z z 0 ).
Finalmente, segue que

z z0 = (z z 0 ).

64

Apndice

Apndice
A equao da reta que passa pelo ponto z0 e perpendicular a reta

Proposio 20

r : z + z + = 0 z z0 = (z z 0 ).

Prova. A equao cartesiana da reta perpendicular a r passando por z0 dada por


1 y y0 = ( x x0 ) i +
Usando nmeros complexos, temos

z z z0 z 0 1 = 2i 2i i +
Multiplicando a equao acima por

z + z z0 + z 0 2 2
obtemos

2i( + ),

( + )[(z z0 ) (z z 0 )] = ( )[(z z0 ) + (z z 0 )],


donde

(z z0 )( + + ) = (z z 0 )( + + + ),
ou ainda,

(z z 0 ) = (z z 0 ).
Finalmente, segue que

z z0 =

(z z 0 ).

65

Apndice

Apndice

A.3 Equao da reta determinada por dois pontos


Proposio 21
A equao da reta determinada pelos pontos z1 e z2

1 = 0.

z1 z 1 1 z2 z 2 1

Prova. A equao de uma reta determinada pelos pontos z1 = (x1 , y1 ) e z2 = (x2 , y2 )


no plano cartesiano

1 = 0.

x1 y 1 1 x2 y 2 1

Denotando a primeira coluna e a segunda do determinante acima, respectivamente, por

C1

C2 .
e

Pelas Propriedades dos determinantes, podemos substituir por

C1

por

C1 + C2 i

C2

C1 C2 i,

obtendo

x + yi

x yi

1 = 0,

x1 + y 1 i x 1 y 1 i 1 x2 + y 2 i x 2 y 2 i 1
isto ,

1 = 0,

z1 z 1 1 z2 z 2 1
que o resultado desejado.

66

Apndice

Apndice
Desenvolvendo o determinante, temos

Observao 6
z

1 = 0 zz 1 + zz2 + z1 z 2 z 1 z2 zz 2 zz1 = 0,

z1 z 1 1 z2 z 2 1

o que equivalente a

(z2 z1 )z (z 2 z 1 )z = z 1 z2 z1 z 2 .

A.4 Condio de Alinhamento de Trs Pontos


Proposio 22
somente se, Trs pontos z1 , z2 e z3 no plano complexo so colineares se, e

z1 z 1 1 z2 z 2 1 z3 z 3 1 = 0.

Prova. Se z1 , z2 e z3 so trs pontos distintos, ento


z1 z 1 1 z2 z 2 1 z3 z 3 1
Pelas Propriedades dos determinantes, temos

= 0.

z1

z1

1 =0

z2 z1 z 2 z 1 0 z3 z1 z 3 z 1 0

67

Apndice

Apndice
z2 z1 z 2 z 1 z3 z1 z 3 z 1 z2 z1 z2 z1 = z3 z1 z3 z1 z2 z1 R z3 z1 z1 , z2 e z3 so colineares.

=0

E a prova est concluda.

68

Apndice B Resoluo dos Problemas 1 e 4


Apresentamos aqui as solues dos problemas originalmente publicadas.

4,

do Captulo

2,

como foram

B.1 Problema 1
(PROFMAT - MA 13 AV1 2012).

Quadrados foram construdos sobre os lados de

um paralelogramo como mostra a gura abaixo. Mostre que os centros desses quatro quadrados so vrtices de outro quadrado.

69

Apndice

Apndice
No paralelogramo e

Soluo.
BC , CD

ABCD

os quadrados construdos sobre os lados e

AB ,

DA
e

tm centros

E, F , G

H ,respectivamente.

Os tringulos

AEB ,

BF C , CGD

DHA

so retngulos e issceles.

O primeiro e o terceiro so conSejam

gruentes e o segundo e o quarto so tambm congruentes.

BAD =

Figura B.1: Problema 1

ADC =

dois ngulos internos vizinhos do paralelogramo. Observemos que

Sabemos que e que Reu-

+ = 180 .

HAE = 45 + + 45 = 90 +

HDG = 360 45 = 270 (180 ) = 90 + = HAE .


nindo as informaes anteriores, conclumos que os tringulos e

HAE , HDG, F CG
e o qua-

F BE

so todos congruentes e, portanto,

EH = HG = GF = F E

driltero

EF GH HDG

possui os quatro lados iguais.

Da congruncia dos tringulos

HAE

temos

AHE = DHG = x

e seja

EHD = y .
reto.

por um lado,

AHE + EHD = x + y = 90 ,

pois o ngulo

AHD

Por outro lado,

EHG = DHG + EHD = x + y = 90 .

Assim, o quadriltero

EF GH

possui

os quatro lados iguais e um ngulo reto. Logo, um quadrado.

70

Apndice

Apndice

B.2 Problema 4
(RPM 14, seo problemas: problema 67).

Dois piratas Barba Vermelha e Barba

Negra, fugindo da marinha real, se dirigiram a uma ilha com o objetivo de nela enterrar um tesouro. Na beira da praia existiam duas grandes rochas e uma palmeira solitria. Barba Vermelha dirigiu-se a uma das rochas e andou, na direo perpendicular reta que unia a rocha palmeira, uma distncia igual a distncia entre a rocha e a palmeira. Barba Negra fez a mesma coisa com relao outra rocha e palmeira. Em seguida, eles caminharam um na direo do outro e enterraram o tesouro na metade do caminho. Dois anos mais tarde eles retornaram ilha para desenterrar o tesouro e descobriram que a palmeira no estava mais l. Como ser possvel recuperar o tesouro?

Soluo. Sejam R1 , R2 as rochas e P


R1 A, R2 B ,
obtido pela rotao de

um ponto qualquer distinto de

Ri .

Considere:

90 , 90 ,

no sentido anti-horrio, de

R1 P ;

obtido pela rotao de

no sentido horrio, de

R2 P . R1

Sem perda de generalidade, suporemos esquerda de

R1 R2

horizontal no plano cartesiano e

R2 .

Mostraremos que de

o ponto mdio

AB

o ponto da mediatriz do segmento

R1 R2

do qual dista

1 R1 R2 2

e est no semiplano superior determinado pela reta

R1 R2 .

Invertendo as duas orientaes dadas,

estar no semiplano inferior.

Donde concluiremos que, se os piratas escolherem sentidos contrrios, o tesouro poder ser encontrado, cavando-se, no mximo, em dois pontos. Sejam e

A, B, M

as projees ortogonais, sobre a reta

R1 R2 ,

de

A, B , M

P,

respectivamente. temos

A R1 = P P = B R2
71

Apndice

Apndice

Figura B.2:

no mesmo semiplano

pois, degenerados ou no, Alm disso,

AR1 A = P R1 P
, pois

BR2 B = P R2 P AB .

AM = BM A

o ponto mdio de

Logo, examinando as

possveis projees de

na reta

R1 R2

quando

varia, podemos concluir que

R1 M = R2 M

, portanto,

pertence a mediatriz de e

R1 R2 .

Levando em conta que Na gura B.2,

AA = R1 P
e, portanto,

B,

1 BB = R2 P , mostraremos que M M = R1 R2 . 2 M , esto no semiplano superior. Neste caso

1 1 1 M M = (AA + BB ) = (R1 p + R2 P ) = R1 R2 . 2 2 2
Na gura B.3,

est no semiplano superior,

no inferior e

AA = R1 P > R2 P =

BB .

Neste caso, temos

1 1 M M = (AA + BB ) = R1 R2 2 2
e

M P

est no semiplano superior. estiver esquerda de

Se

R1 , A

estar no semiplano inferior,

no superior e

72

Apndice

Apndice
Logo, temos

BB = R2 P > R1 P = AA .

1 1 M M = (BB AA ) = R1 R2 2 2
e

est no semiplano superior.

Figura B.3:

em semiplanos opostos

Dados agora dois pontos

Pi , i = 1, 2,

distintos, considere

R1 Ai

R2 Bi A1 A2

obtidos e

como anteriormente, porm com as rotaes no mesmo sentido. Como so paralelos e congruentes, ento

B1 B2

M1 = M2 .

Donde concluiremos que, se os piratas

andarem no mesmo sentido, o tesouro estar perdido.

Figura B.4: Rotaes no mesmo sentido

73

Referncias Bibliogrcas
[1] Andreescu, T., Andrica, D.,Complex Boston, 2006. [2] Carmo, M. P., Morgado, A. C., Wagner, E.,Trigonometria

Numbers From A to ... Z,

Birkhauser,

e Nmeros Comple-

xos,

IMPA/VITAE, Rio de Janeiro, 1991.

[3] Garbi, Gilberto G., Paulo, 2006.

A Rainha das Cincias,

Editora Livraria da Fsica, So

[4] Hahn, L.,

Complex Numbers and Geometry,

The Mathematical Association of

America, 1994.

[5] Revista do Professor de Matemtica - RPM, nmeros 14 e 16, IMPA, Rio de Janeiro, 1989.

[6] Righetto, A.,

Nmeros Complexos e Funes Hiperblicas,

Ivan Rossi Editora,

So Paulo, 1977.

[7] Yaglom, I. M.,

Nmeros Complexos y sus Aplicaciones a la Geometria,

Hayka

Libros de Ciencia, Espaa, 2011.

74