You are on page 1of 20

geometria Nmeros

e medidas e funes

Guia do professor

Experimento
Transformao de Mbius
Objetivos da unidade
1. Estudar o efeito da translao, rotao e dilatao no plano
complexo;
2. Pr em prtica propriedades de matrizes;
3. Realizar propriedades de nmeros complexos;
4. Apresentar a transformao de Mbius.

licena Esta obra est licenciada sob uma licena Creative Commons

Secretaria de Ministrio da Ministrio Governo Federal


Educao a Distncia Cincia e Tecnologia da Educao
Guia do professor
Transformao Sinopse

de Mbius Depois de visualizar a translao, a rotao e a dilatao de um tringulo


no plano complexo atravs de uma multiplicao de matrizes, os alunos
devero obter as formas analticas de tais transformaes. Em seguida, ser
apresentado um caso particular da Transformao de Mbius ealgumas
desuas interessantes caractersticas.

Contedos
Nmeros Complexos, Interpretao Geomtrica;
Matrizes, Propriedades e Aplicaes;
Geometria Plana, Transformaes.

Objetivos
1. Estudar o efeito da translao, rotao e dilatao no plano complexo;
2. Pr em prtica propriedades de matrizes;
3. Realizar propriedades de nmeros complexos;
4. Apresentar a transformao de Mbius.

Durao
Trs aulas: ser necessria uma aula de explicaes entre as atividades
sugeridas.

Material relacionado
Vdeo: Um sonho complexo;
Software: Movimentos complexos.
Introduo Motivao
O estudo das transformaes desempenha um papel muito importante O estudo de nmeros complexos na maioria das vezes no abordado
em vrias reas da matemtica, bem como da cincia como um todo. nas aulas do Ensino Mdio. O motivo seja talvez pelo fato de no estar
Umagrande importncia das transformaes reside no fato de elas tornarem em evidncia em problemas de nvel elementar ou, tambm, por falta de
possvel transformar problemas aparentemente complicados em problemas materiais adequados de apoio ao ensino-aprendizagem.
anlogos com solues mais simples. Este experimento vem mostrar uma aplicao que contempla estes dois
August Ferdinand Mbius, matemtico alemo que nasceu em 1790 aspectos: est em nvel adequado para alunos do Ensino Mdio e preten
emorreu em 1868, introduziu o que hoje conhecemos por Transformao demos que se torne um material de apoio a ser utilizado nas escolas.
de Mbius como sendo uma transformao complexa de varivel complexa, Alm disso, trata-se de uma interessante aplicao envolvendo a inves
definida por uma composio de convenientes transformaes mais sim tigao de transformaes convenientes no plano atravs de funes que
ples, a saber: translao, rotao, dilatao (ou contrao) e inverso. levam nmeros complexos em nmeros complexos. Esta proposta vem
A proposta deste experimento apresentar uma maneira simples de facilitar sobremaneira o estudo dessas transformaes com suas atuaes
introduzir a Transformao de Mbius atravs de exemplos, utilizando os em tringulos e mostrar suas relaes com matrizes.
conceitos e propriedades de matriz e de nmero complexo. Em especial,
so utilizadas as interpretaes geomtricas das operaes de nmeros
complexos. Por simplicidade, no vamos considerar transformaes que
envolvem a inverso em sua composio.
Na primeira etapa, apresentamos os movimentos bsicos, ou seja, trans
O experimento
lao, dilatao (ou contrao) e rotao, que compem a transformao,
por meio de seus efeitos sobre um tringulo no plano. Na segunda etapa,
so propiciadas condies para que os alunos encontrem a forma anal Comentrios iniciais
tica associada a cada uma das transformaes apresentadas na primeira
etapa. A terceira etapa envolve o estudo de transformaes que podem O desenvolvimento deste experimento propicia rever conceitos de matrizes
ser expressas como composio de pelo menos dois dos movimentos e suas propriedades, assim como rever o conceito de nmeros complexos,
bsicos e tem como objetivo desenvolver a habilidade de identificao suas operaes e propriedades. .
destes movimentos, assim como de associao entre a forma analtica
datransformao e seu comportamento geomtrico. Etapa 1 Matrizes e transformaes
Nesta etapa, o aluno deve compreender como atua no tringulo cada uma
das transformaes: translao, rotao e dilatao (ou contrao), atravs
da visualizao de um exemplo especfico.

Transformao de Mbius  Guia do professor 2 / 19


Antes de iniciar o experimento, o professor poder fazer uma reviso Matriz associada a uma Transformao de Mbius
com os alunos do conceito de nmeros complexos e suas operaes
az + b az + b
e,tambm, do conceito de matrizes. Alm disso, deve ser apresentada
f(z) = abcd Observando
ad bc = 0o diagrama z = d
c = 0 a seguir,
c notamos
c = 0 que f(z)
pode
= ser expressa
c=em
0
cz + d d
adefinio de Transformao de Mbius e mostrar como pode ser expressa notao matricial.
na formamatricial.
Uma Transformao de Mbius uma funo complexa dada por
az + b a c az + b
f(z) = a b c d z ad 1 bc = 0= az + 0b czz+=dd
c = c = 0= f(z
f(z)
az + b cz + daz + b b d c cz + d
f(z) = , abcd ad bc = 0 c = 0 z = d c c=0 f(z) = c=0
cz + d d
az
az
az++
az +
+bbbb az + b az + b dddd d az azaz
az+++
+bbbb az d+b az + b
(z)
z) ==
f(z)
f(z) == com af(z)
aa,abbbbc,cc=
d,dd nmeros
cd ad
ad
ad
ad

bccomplexos
bca==
bc
bc b= f(z)ccec=
=0c000d =
c=
=
=00az
ad 00+ bczbzz= =
z=
=0c.ca
= cA
cabcondio
=
ccdcc=
c=
= =
0=0000adzf(z)
c=
f(z)
f(z)
f(z)
bc ==0 c = 0c = 0cf(z)
= cc=
c== 00= cd
=00z= c = c0 = 0 f(z) = az + b c=0
cz
cz
cz az
++
cz+daz
+ ++
ddd bb cz + d f(z) =cz + d dbdc d ad bc = 0ddd az
daz +c+ b b0
= z = cd c=0 f(z) = d c=0
f(z)== garante que
f(z) aa ce d no
b bc d adpodem
ad bcbc=ser =0 0simultaneamente
ccz =
c =
0 0d z =
+ z =nulos.
cc cAlm
=
c= 0 0disso,
f(z) se==
f(z) c= c= 00 d
czcz ++ dd az + b d d
bc = 0 c = 0, a funo z = d c=0 f(z) = c=0
c az + db az + b az + b
f(z) = abcd ad bc = 0 c = 0 z = d c c=0 f(z) = f(z) =c=0 abcd ad bc = 0 c = 0 z =
cz + d d cz + d
+b az + b az + b d d az + b az + b fig. 1 az + b
f(z)a=b est
c d definidaad ab para
bc d 0todof(z)
c= adc = tal
=bc 0que= 0z = cc, a enquanto
= b0cc = d 0z =que,
adc sebc
f(z) =c = 0 , como = c0=
cf(z) = 0 z = d c c c==0 0 f(z) = c=0
+d az
cz + d + b cz + d az + b d az
d + b d
a b c d f(z) ad= bc = 0, temos a bc c=d0no ad z =d
nulo ce
bc
= 0
c = 0 c
= 0f(z) =z
= d
c =c =
0 0 f(z) = c = 0 a c
cz + d dc az + b d d az + b
f(z) = abcd ad bc = 0 Ou c =seja,
0 podemos
z = c obter c =o0valor f(z),=
multiplicando ca = matriz
0 linha z 1 =
d az + b cz + d d b d
bc = 0 c = 0 z = c c=0 f(z) = , c=0 pela matriz a c
d az + b
z 1 , = az + b cz + d f(z) = f
d az + b az + b 0 = d b d az + b cz + d
c = 0 z =o que
c implica
c = 0 que f(z)est
= definida para c todo
= 0 complexo f(z) . Pode
= ser provado a b c d ad bc
= 0 c
=
a c z c c = 0 f(z)
= c = 0
d az + b d cz + d d az + b az + b
c c = 0 que f(z) uma = composiocde =rotaes,
0 dilataes (ou contraes), translaes z obtendo
1 a matriz
= az + b cz + d e, depois, dividindo o primeiro
f(z) = f(z) elemento 22
d b d cz + d cz + d
e inverses. No caso geral, esse resultado est provado no Fechamento desta matriz pelo segundo elemento, chegando a
deste guia.
a c az + b az + b
No experimento so analisadas as Transformaes de Mbius z 1 cuja = az + b cz + d f(z) = f(z) . 22 z1 z2 z3 z1 = f(z1
az + b b d az + b cz + d cz + d
constante
f(z) = complexa
a b c d igualad
a zero.
bcAssim, c = 0 z = d
= 0 a transformao cest definida
c=0 f(z) = c=0
cz + d d
para todo nmero complexo e, em particular, ela est definida para todos
os pontos de um tringulo e para seus pontos interiores. Alm disso, neste
d az + b  Definio
bc = 0 ccaso,
= 0 podez =ser
c provado
c = 0que f(z) transforma
= um tringulo
c = 0 em outro cujos
d
vrtices so as imagens dos vrtices do tringulo inicial. Usaremos essa Dizemos que a matriz a c
az + b d az + b az + b
)= caracterstica
a b c d das adTransformaes
bc = 0 de0Mbius
c = z =em
c que c = 0 paraf(z)
investigar
= c=0 z 1 = az + b cz + d f(z) =
cz + d d b d cz + d
seus comportamentos.
az + b az + b
f(z) = a b c d uma
admatriz associada
bc = 0 z = d
c = 0Transformao
c de
c=Mbius
0 , dada
f(z) = por c=0
cz + d d
az + b
f(z) = , abcd ad bc = 0 c = 0
cz + d
az
az
az++
az++
bbbb az + b dddd d az
az
az
az+++
+bbbb
f(z)
f(z)
f(z)==
f(z)== com aaa
,a c,ccd
bbf(z)
bb ,dd
cd =constantes
ad
ad
ad
ad
bc
bc
bc
bccomplexas
=
=
=
a= 00c dccc=
00b c=e=
= 00ad zz=
00 zbc z=
=
=
= c. ccc=
ccc0 =
c=
=0000 f(z)===
f(z)
f(z)
zf(z)=
c= c = 0 ccc=c=
cz
cz
cz++
cz++
dddd cz + d dddd

Transformao de Mbius  Guia do professor 3 / 19



az + b az + b 1 0 a 0 1 0
z) = Partindo
f(z) de matrizes 2 2 previamente
z1 z3 z1pelo
z2selecionadas = f(z 1) z2 = f(z2 )
professor, z3 = f(z3 ) Tambm, comparando
b C as concluses obtidas
a Rpelos diversos grupos
d = icom
cz + d cz + d b 1 0 1 0 d
o aluno investigar qual o comportamento geomtrico da transformao relao a estas matrizes, pode ser observado que:
correspondente. Isso ser feito da forma descrita a seguir. 1.b = se=
b bb1b= +1b +12bi+2 ib 2 ib, b= 0
b= 0=e0 b b= b= =
0, 0isto ,
0|b| a |b|
|b|
bb=real
parte
b0 0diferente
= = 0b2b= 2 0de
b= 0=zero
0
z ze=
= z1 +1=+2i12i + 2iz
+ b+az
azaz b+ b azaz+ b+azb+ b 1 1101 011 0 2 2 2 a a0 0a1 10 1 12 10 101 1 01
+cz
d + df(z) = Devem
=f(z)
f(z) = serf(z) escolhidos
f(z)f(z) trs nmeros 2 22complexos
2 z21 z1 zz12, z2 ezz23 ztais 3 z que
z31 z=1suas
=z1f(z
f(z 1=) 1f(z
) 1z)2 z=2 f(z
=z2f(z2= ) 2z)3az=3parte
) 2f(z =z3f(z
f(z 3=)imaginria
) 3)
3f(z igual a zero, b bCob Ctringulo
C se desloca a aRhorizontalmente,
a R R d =d i = di= i
+ d+cz
cz cz d+ d + d+cz
cz cz d+ d b b1 1b 1 0 01 10 1 0 0d d0 d
representaes no plano complexo formam os vrtices de um tringulo. para a esquerda b ou = bpara
1 +b a2direita,
i buma
1 = 0distncia b2 =igual0 a |b|; b1 = 0 b2 = 0
Para uma dada matriz, utilizando a expresso matricial da transformao b =bb=1 b+1b+2 ib2bi=bb11b
= i0 b2.bb=se0=
+ 0b= =b00
=b b|b|
|b| + b=b i0, b=0= b|b|0= e b02bb
=12 0=b, isto
= 00=
z, 0bz=1 um
= imaginrio
+012i
|b| + 2ibz1z= 2z012puro,
= +2=+ 2i2b3io+2tringulo
=z02z=
3i 3z =
23z+3=1+ =
3i
32i +
1+ 2i2iz3b
+ b+az
az az b+b = f(z )= f(z ), = f(z )= f(z ) = f(z )= 1 10 101 2 0 2 12 a 1a02 0a2 1 0 1 1 1 120 011 210
(z) correspondente,
2 22 2 z21 z1 calculam-se
z12 z2 z23 zos
3 3valores
z z =z f(z ) z z = z f(z
1 1 11 1 12 2 22 2 23 3 33 3 3 b b1 1 ) e z z = z f(z, )
f(z ) b b C seb
C desloca
C na vertical;
a aR aR R d = d i
= i
d = i
cz +
czd+cz
d+d b 1 0 01 10 1 0 0d d0 d
que tambm definem um tringulo no plano complexo. Analisando visual- b = b 1 + b2 i b1 = 0 3. bse 2b= =
b0= b1b+1 |b| +2bi 2 i ,bb
b 1 1= b=
10=0 0e bb 2 2= b= 20= 0, o0 tringulo
z1|b|= |b|1 +b2i se
1b=1desloca
0 z02 =b22bnas
= +=2 3i0 duas
= 0 zz13z= =
1= 13+ + +
1 2i2i2i
mente o tringulo inicial e o tringulo obtido pela transformao, o aluno direes.
deve descobrir qual movimento leva um tringulo ao outro. Nesta etapa,
as transformaes envolvidas so: translao, dilatao (ou contrao) Alm disso, pode ser observado em todos os casos que as medidas dos
e rotao. Ademais, no sero utilizadas matrizes que resultam em com- lados e as medidas dos ngulos so mantidas, isto , o tringulo inicial e
posio desses movimentos. Assim, ser fcil identificar o movimento o transformado so congruentes.
visualmente.
Cada grupo de alunos receber b= btrs
=
bb1b+matrizes,
= +
b=
1bb i+
21b b
21ib+ 2sendo
ib12b=
b 0que
i1 =
b b10uma
10= b=2b0=2resulta
=
0 20=
b =|b|
b20|b| b=
0 |b|b1|b| 1= 0 10=
b b10b=2b0= 0Exemplo:
2 =
b 20=
b20z= 1z=01Para
=
1z1+1= +112i
z2i =+12i+ z22iz=2, = 2z2+2= +223i
z3i =+23i+ z,33i
z=3= 3z3+3= =+e32i+
+332i
z2i b=b=
2i 2b+2= +b2,2i
2i =+temos:
22i+ 2i
em uma translao, outra em uma dilatao (ou contrao) e outra corres-
1 0 1 11 0 00 =
pondendo a uma rotao. As matrizes, nesta etapa, so dos seguintes zj 1 zj zz1jzj+
j 211+ 2i 1 jz =j+ 1z,z2j2j+,+ 22++2i
32i zj =11f(z
12i ,j= jj,=
j) 1
= 2= ,.,222,,3+
z,j131+ 3z2i
jj=
j =zzf(z zj1f(z
=jj3z))j+
)f(z ==+4i
zz2jj+
2 + 2i 1 2 + 2
2i 2++ 2i
2i
1 1 1
tipos: 1 101 0 0
2i2i 1 1j = 1,jEnto,
2=j, 3=1, 12, 23z, j3 = f(z )= 2 .+
Assim, z= = z= = ,3 = z53+ =
1
0 Translao zj 1zjzj 1 1
2 + 2i2 +2 1+
2i
zj+2zj+z+j2i+
2i 1 1
2+21+ zjz=j f(z=f(zzjj) j+=
) 2= zj+z+j2i+ 2+ 2iz2i1 = z31+ 14i 3+ 3+4iz4i2 ,= z42+ 25i 4+ 4+ 5iz5i z= 34i 5+ 5
zj + 2 + 2i 1Dilatao Rotao
j = 1 , 2, 3
zj = f(zj ) = zj + 2 + 2i
z1 = 3 + 4i
z2 = 4 + 5i
z3 = 5 + 4i. 2 2 |2 + 2i| = 2 2 2 + 2i
2 + 2i 1 ou contrao


1 0 1 0 1 0 a 0 a 0 a 0 1 0 1 0 1 0 Im
z
33) = f(z 3 ) b C b C b C a R a R a
d =R i d = i d = i
b 1 b 1 b 1 0 1 0 1 0 1 0 d 0 d 0 d
0 1 0 a 0a 0 a 0 1 01 0 1 0
b Cb C b C a Ra R, a >
a 0 R d = i
d = i d = i z
1 b 1 0 10 1 0 1 0 d0 d 0 d
TABELA 1 z z

z

Translao
z
Para matrizes do tipo
z
1 0 a 0 1 0
= f(z1 ) z2 = f(z2 ) z3 = f(z3 ) , bC aR d = i
b 1 0 1 0 d

com b uma
= b1constante
+ b2 i complexa,
b1 = 0 esperamos
b2 = 0 que|b|os alunos
b1 =percebam
0 b2visual-
= 0 z1 = 1 + 2i z2 = 2 + 3i z3 = 3 + 2i b = 2 + 2i Re

mente que o movimento realizado uma translao.



fig. 2

Transformao de Mbius Guia do professor 4 / 19




jz+ + 4i z1Note
1 2=+32i z=2 3=que +cada
+44i 4=+
5i zponto
2 z=3 se +
55i 4i z3 2= 52+unidades,
desloca 4i |2 +22i|isto
2= 2, 2|2
+ 2i|2 +
= 2i
2 2 2 + 2i
unidades
z1 = 3 + 4i
z2 = na4direo
+ 5i doz3vetor = 5 correspondente
+ 4i 2 2 ao|2nmero
+ 2i| =complexo
2 2 2 + 2i . Im
z1 = 3 + 4i a umzdeslocamento
= zj + 2 + 2iIsto corresponde
2 = 4 + 5i z3 horizontal
na = 5 + 4i de 2 unidades,
2
|2 +seguido
2i| = 2 2 2 + 2i

z1 = 3 + 4i de um
z2 = deslocamento
4 + 5i
z3na= vertical
5 + 4i de 2 unidades.
2 |2 + 2i| = 2 2 2 + 2i

Dilatao ou contrao z


Para matrizes tipo
do
1 0 a 0 1 0
z3
= f(z3 ) bC , aR d = i
b 1 0 1 0 d z z

z
com a uma
0 constante real positiva,
1 0 esperamos que os alunos percebam visu- z
bC aR d = i z
almente
0 1que o movimento realizado
0 d uma dilatao ou uma contrao.
Ademais, comparando as concluses obtidas pelos diversos grupos com Re


relao ser
a matrizes deste tipo, pode observado que:
a 0 a 0
1. se a > 1, a 0R<
, oatringulo
<1 se dilata, sendo a
oRfator de dilatao. Neste
0 1 0 1 fig. 3
caso, as medidas do tringulo transformado so maiores do que as medidas
do tringulo inicial;
a 0
a > 2.
1 Se 0 < a < 1, o tringulo sofre uma contrao, sendo a o fator
R de contrao. Rotao
0 1
Neste caso, as medidas 2do0tringulo
transformado
so menores do que as Para matrizes do tipo
1 0
3 = 1 + 2i medidas
a = 2 do tringulo
zj 1 inicial. = 2zj 1 j = 1 , 2, 3 zj = f(zj ) = 2zj = 2 + 2i = 4 + 2i = 2 + 4i z1 d = i z2 z3 ,
0 1 0 d
1 0
= 2zj 1 Nos 1, 2,casos
j =dois 3 ozjtringulo
= f(zj ) =inicial
2zj e oztransformado
1 = 2 + 2i z2 =
so z3 = 2 + 4i
semelhantes,
4 + 2i com d = i , esperamos que os alunos percebam visualmente que o movi-
0 d
isto , os ngulos so preservados e as medidas dos lados do tringulo mento realizado uma rotao de 90 graus em torno da origem, no sentido
transformado so proporcionais s medidas dos correspondentes lados horrio para d = i e uma d rotao
= i dez90 1= graus
1 + iem torno z2 =da4 origem,
+i no
z3 sentido
= 2 + 2i zj 1
1
do tringulo inicial. importante perceber que a dilatao (ou contrao) anti-horrio
d = ipara d = i. z1 = 1 + i z2 = 4 + i z3 = 2 + 2i zj 1
0
se d em relao origem do plano complexo. Tambm, pode ser observado que as medidas dos lados e as medidas


22 020 20 0 dos ngulos
so mantidas, isto , o tringulo inicial e o transformado so
= =
Exemplo: zSejam z11 = =
z111=+
z+111i
1i z22,=
=+11i+z1i =
z222=
+ =+21i+, z1i
z+221i
1i z33 =
=
z311=+ =+.12i
z+312i
2i Se
+a2i
a= =a22,=temos:
a2= 2zzjj z11j z1j 1 = = 2z =
2zjj= 1j 1jj==1j1,=
2z11j2zcongruentes. ,22,j1
,3=
3, Pode
21, 3, 2z,zser
j3j = f(zzjjf(z
zproposto
jf(z ))==
=jf(zaos
)2z
2z=jj)2z
= j2zzz1j1 =
alunos = +
zque,z+1utilizando
122= z22 =
=+22i+z2i
22i
2i =z244transferidor,
um =
+z+242i z33 =
=+42i+z2i
2i z322=
= z+324i
+ =+24i+
4i
00 10
1 0
1 1
2 02 0 meam o ngulo de rotao.
1 01 0
3= z31 =
+ 12i+ 2i a =a2 = 2 zj z1j 1 = 2z = j 2z1j 1 , j = 1j ,=2,13,.2, 3 zj =zf(z
j =jf(z ) =j )2z=j 2zj z1 =z12 =
+ 22i+ 2i z2 =z24 =+ 42i+ 2i z3 =z32 = + 24i+ 4i d =di = i 1 10 10 0
0 10 1 d=d 0 d
0 d
i=di =di= Exemplo:
di
=di= i Sejam
z1 = z11= z+11i= +1i +zi2, = z24= z+24i=+4i ,+zi3 = z32d=z+=
322i=i+.22i
Se
+d2iz=j i zj1, temos:
z1j z11 = 1 +=i = z = zi= z
1 110 100 0 0 0i 0i i j j2 j
2z11j 1j =jj1=, 2j11, =
= ,1,33, 2,z3j =
,3,22Ento, zzjjf(z
=zjf(z
= )
=
f(z= )
)
f(z=
=
2z )
2z=
2z .2zz
j jj jj jj j1 11 1
=
Assim,
z
z 2=
=+
z 2
2=+
+
2i 2
2i
2i + 2i
z , =
z
z 4=
2 22 2 =+
z 4
4=+
+
2i 4
2i+
2i , 2i
z =z
z 2=
3 33 3 =+
z 2
2=+
+
4i .2 +
4i
4i 4i d =ddi==di
i = i 2 1 0 0
0 00d 0dd d
d = i z1 = d= 1+ i1i zz12==12++i1i z2z= 3= 4+ 1+i 2i z3 = a 2=+2 2i z j zj 1 1 = 2z = j zj1 i , j = 1j,= 2,13,. 2, 3zj = f(zj ) = 2zj z1 =
0 0 1 i

Transformao de Mbius Guia do professor 5 / 19


Ento, pretaes geomtricas das operaes de nmeros complexos, para dizer se
zj zz1jj 11
zj = f(z
zzjjj=
=
)=f(z =
f(zjj))= z=
=k = iz
zzkjk = izzjj.1 = 1
=iz zz11 =
+
=i1
1++zii2 = 1
zz22 =
+
=4i
1
1+ z3 = 2
+4i
4i zz33 =
+
=2ia+
2
2 transformao
+2i
2i uma translao, dilatao, contrao ou rotao. Alm
i i i i i
disso, pode ser proposto aos alunos que comparem as concluses obtidas
1 1
z=
k=zkiz= zj1 =
Assim,
zjkiz=j iz z11
z11
= + i +z2i , =
+=i 1 z21
z21
= +=4i1 z3 =
+ 4i+, 4i z32
z32
= +. 2i+ 2i
+=2i2 na etapa 1 com as concluses via anlise das formas analticas.
i i
Agora, vamos analisar a relao entre cada tipo de matriz utilizada na
etapa 1 e sua correspondente forma analtica, e, principalmente, o que
a forma analtica pode nos dizer a respeito do tipo de transformao
Im correspondente.

No demais lembrar que, dada uma matriz

a c az + b
z 1 , = az + b cz + d f(z) = f
b d cz + d
z az + b az + b
f(z) = para obter a a
forma
b c danaltica
ad da correspondente
bc = 0 z = d
c = 0transformao
c de Mbius
c= 0 , =
f(z)
cz + d d
devemos multiplicar a matriz linha z 1 pela matriz z 1 az + b cz + d f(z)

z
a c az + b
z z 1 , = az + b cz + d f(z) = f
b d cz + d

az + b 1 0
z z 1 obtendo z a1matriz az + b cz + d , e depois
f(z) =dividir o primeiro elementob C f(
z z
Re cz + d b 1
desta matriz pelo segundo elemento, chegando a


az + b 1 0 z+b
z 1 z 1 az + b cz + d f(z) = . bC f(z) =
fig. 4 cz + d b 1 1
Translao
az + b az + b
f(z) = abcd ad bc = 0A forma 0 z =dad
c =analtica ctransformao
c=0 correspondente
f(z) = ao
c=primeiro
0 tipo de
Etapa 2 Explicao das transformaes e suas cz + d
matriz da etapa 1, ou seja,
d

formas analticas
z 1

z 1

az + b cz + d

f(z) =
az + b 1 0
com b C , f(z) =
z+b
= z+b
a 0
f
cz + d b 1 1 0 1
Se achar necessrio, possvel fazer uma recordao das operaes de
nmeros complexos e suas interpretaes
geomtricas.
Este conheci-
az + b 1 0 z+b a 0 az
mento necessrio para a anliseza ser 1 feita nesta
z 1 etapa az e na
+ seguinte.
b cz + d f(z) = bC f(z) = = z + b. f(z) = = az z=x
destes cz + d b 1 1 0 1 1
No FechameNto
deste guia, apresentamos
um desenvolvimento
az + b 1 0 z+b a 0 az
z conceitos
1 para
z 1facilitar.az + b cz + d f(z) = bC f(z) = Como
= z + b um nmero complexo
f(z) = constante,
= az pela
z=x interpretao
+ yi z =geomtrica
r(cos + i sen )
cz + d b 1
analtica
= az + b 1
a b cd daad 0 1 z = 1ad transformao
c =complexos, c = 0 f(z) az + b
Esta
etapa
tem como
objetivo
mostrar
como encontrar a forma f(z) soma
de
bc
= nmeros
0 0 leva
= cada nmero ccom-
=0
az + b 1 0 azcz ++ bd 1 0 z+b az +0b az c a 0
= az az d ) z =
zda 1transformao
z 1 correspondente
z az 1 + b cz z +a1dcada umaz
f(z)dos
+=b tipos
cz +de
d matrizes
f(z) da
= b C
b 1 cz + d b 1 f(z) = plexo
b
= Cz no
+ b seu transladado
f(z) = = por
f(z)
z +=b . Assim, a transformao
z =
f(z)x =
+ yi correspondente
= az
z = r( cos
z = sen
x++iyi
cz + d 1 az0+ 1b1 1 10 0 1 1 z+b a 0
etapa 1. A seguir, a meta analisar a forma analtica, usando z 1as inter-z 1 az + b cz +duma translao
f(z) = dada pelo vetor correspondente b C aof(z) nmero
= complexo
= z + b.
cz + d b 1 1 0 1

Transformao de Mbius Guia do professor 6 / 19


Dilatao e contrao Assim, se a > 1, a transformao0 < a < 1 uma dilatao a > 1e, se 0 < a < 1, a trans-
az + b
= 0 z = Ad
c transformao
c = 0 correspondente
f(z) = cmatriz
= 0 do tipo formao uma contrao. Alm disso, o fator de dilatao ou contrao
d a.>Note 1 que 0 <aadilatao
<1 (ou contrao) em relao origem do plano
0 z+b a 0 az
bC f(z) = = z+b ,f(z) = = az z = x + yi z = r(cos + i sen ) complexo.
1 1 0 1 1
0 az
f(z) = com = azuma constante
z = x + yireal positiva,
z = r(cos + i sen ) Rotao
1 1 Na etapa 1 foram investigadas as matrizes do tipo
z+b a 0 az
C f(z) = = z+b f(z) = = az . z = x + yi z = r(cos + i sen )
1 0 1 1 1 0 z
, d = i f(z) = d = 1 f(z) =
a 0 az 0 d d
0 1 O nmero
f(z) = complexo
= az z = x + yi na forma
z = r(polar
cos +dado
i sen por
)
1 az + b 1 0 z z az + b
0 az f(z) = a b c dcom ad d =i bc. = A 0forma
f(z) = canaltica
= 0 dz= da
=1d
ctransformao = 0= f(z)
cf(z) iz= i = cos
=correspondente sen
2c+=i 0
f(z) = = az z = x + yi z = r(cos + i sen ), cz + d 0 d d i d 2
1 1 matriz
com x= xx= rrcos
r=cos cos
e y = yy= rrsen
r=sen sen
.Logo,
azaz ==
az =ar(
ar( ar(cos
coscos
+ + iisen
i+sen sen ) e,f portanto,
)) ff zqquadr
zqquadr
zqquadr azaz az arar ar
1 0 1 0 z z z z
=os
azrcos
= ar( ycos=ay sen
=+ irsen
sen)
rtransformao
az =azfar( = cos
leva ar( cos
cada
zqquadr isen
+nmero sen
+ i ) complexo dear
) f azf zqquadr mdulo
zqquadr e argumento
az az ar ar d = i df(z) = i= . f(z)d== 1 d f(z) = 1= = iz= i =
f(z)
0 d 0 d d d i i
seny+
)=
qquadr i sen
r sen
f) no fnmero
az=zqquadr
zqquadr
az arcos +i sen
ar(complexo az de
) mdulo
az
ar f e argumento
arzqquadr . Ou seja, ar
az a trans-
1 0 z z
formaox = r cos
mantm
= r sen doaz
ay inclinao vetor
= ar( cos + i sen )ao ponto
correspondente f e
zqquadr d = i f(z) az = ar Se d= 1, f(z) = = iz i = cos 2 + i sen 2 1 z = r(cos
0 d 1 0 d z i z 2
+ i sen ) o mdulo f multiplicado
zqquadr por az. ar d = i f(z) = d = 1 f(z) = = iz . i = cos 2 + i sen 2 1 z
0 d d i 2
1 0 1 z0 z z z
i = cos 3/2d+=i i sen 3/Comof(z)
2 =i = cosdd= /2=i
+1i senf(z) 2 ,=
/f(z) seu
= mdulo =diz = 1 ei = f(z)
cos =+ i sen
o argumento
2

iz
= 2 1i = cos
. Sendo + izse
=
1 0 Im
d =i f(z) = z z 0 d 0 d d d i i 22
d = 1 f(z) = = iz i = cos + i sen
1 z = r( cos + i sen ) , pela interpretao
iz 1r geomtrica
r + do produto de n meros
1 00 d 1 0 1 0 z d z z z i z z 2 2
2 2
d= ay i d =f(z) i = df(z) = i =
d = 1 f(z)d =f(z)
1 = df(z) ==1 =
iz az= i=
f(z) =
izcos 2i+= sen
=icos
iz 2

2+ii=sen 1
cos 22 + i1sen z2=complexos,
r(cos 1 z=+r(i cos sen z+=i sen
o produto
) r(cos
iz)tem
+1r i sen
mdulo
iz )r 1r, ou iz + seja,
r 1r, e+argumento
r +/2 + . 3/2 +
0 d 0 d 0 1d 0
d d d z i az + b
i i z 2
2 d 2 az + b 2 2 2
d = i f(z) = f(z) =d = 1 ab=
f(z) c d x== izr cos
ad bc cos
i = 0y= 2+ cr sen
i sen
= 0 Logo,
2 +z az ar(cos c =0+z i=sen
=a1c=transformao r(
f(z)cos
leva
)=o+ponto ifsen ) , de
zqquadr c= mdulo
iz0 1r e argumento
raz /2 + +, ao /2 +
ar 3
0 z 0 d z d cz + z d i 3 3 3 az b 23
d 3 2 az + b
d = i f(z) = d = 1 f(z) =d = = i iz f(z)i = = cos = 2i+ i sen 2 i = cos
1 2 + i sen z =
2 r(
f(z)cos = + i sen
ponto iz
) , dea mdulo
iz
b c d+ 1r e

ad /argumento
2 +
r
bc
= 0+ /2 +
c
= . 0Com isto,
z
= d
conclumos
c c = 0 que =
f(z)
d d i i 2 2 cz +d 2 2 d
a/rotao
2 + de3/2 + nosentido anti-horrio e centro na origem.
ar z 3 3
Se d = i , f(z) = = i i = cos 3 2 + i sen 2
3
iz +
i z 3 2 3 3 2
z
d = i f(z) = = i . i = cos 2 + i sen 2
y i 2
1 0 z z
Como i = cos 3 d/=2+ ii sen 3 /2 ,=seui =
f(z) cos
mdulo d + ei sen
=/21 o argumento
/2 =
f(z) + = iz /2.+i= cos
3 2+
1 0 r z z 0 d d i
d = i f(z) = d = 1 f(z) = = iz i = cos 2 + i sen 2 1 Sendo z = r(cos + i sen ), pelaizinterpretao 1r r geomtrica + do produto de
0 d 1 0 1 0 d z z i z z z 2 3 3 3 3 2
d = i df(z) = i= f(z)d== 1 d f(z) = 1=d = if(z)= iz= f(z) = cos
i = iz = i
2 +i =
i sen
cos i
22= + cos
i sen
nmeros
1 2 2+ i sen
complexos,
1 z2 = r( ocos
produto
z += i sen
r(cos iz)tem
+ i sen
mdulo
iz +) 1r , ou
iz seja,
r 1r, e + argumento
r +
0 d 01 d0 d d z az + bi z
i i 3 2 d 2 2 az2+b 2 2
d = i f(z) = f(z) d == 1 f(z) a =b c d =x =iz r
ad cos

/
i
bc
2= +
= cos
0y = +r i
csen
sen
/
= 2 +

0 . Logo,
z
=
az 1 =a ar( cos
transformao
c = +
z
0 = i sen
r( cos
leva
)
f(z) =+o i sen
ponto
f ) , de
zqquadrcmdulo
iz = 0 1r e argumento
r az +ar
1 0 z 0 d z d czz + d
Re i 3 3
2 3 2 c 2 3 d 2
d = i f(z) = d = 1 f(z) = d = = i iz f(z)i = cos=2i + i sen 2 i = cos
1 2 + i senz/= 22 +r(cos + i/sen
, aoponto 2+ iz , de mdulo
) iz + 1r e argumento /2r+ + /2 + . Com isto, conclumos
3 3
0 d d az + b i i 2 2 az + b 32 2
f(z) =x abcd ax
ad bc = 0 c = 0 z = dc c = 0 que
f(z) a rotao
=
/ 2 + de /c2 =no
+
0 sentido anti-horrio e centro na origem, que
fig. 5 cz + d d
igual /rotao
2 + de3/2 + nosentido horrio e centro na origem.

Transformao de Mbius Guia do professor 7 / 19


Etapa 3 Troca de matrizes Esta r cos
x = transformao sen
y = rmultiplica um=nmero
az ar(cos complexo
+ i sen )qualquer f pelo
zqquadr
d

nmero complexo a/d e, ao resultado, o nmero complexo /d somado. b r1 = r1 =
azaz++ bb a a0 0 azaz++ bb aa bb aa a a bab a a
Lembremos f(z)que=uma
f(z) = transformao adad bc de
bc=Mbius
0 0 c=
= cdefi
= 0 0nidaad por
ad = =
00 f(z)f(z) == =Considerando
= z+ z+ r= r= |z|e o argumento
|z| r1r=1= | || | donmero11 1complexo
+ 1+ r1rr1 r z+z+ zz
czcz++ dd bb d d d d dd dd d d dd dd dd
az + b az + b az + b a 0 a 0 a az 0 + b az + a b az ba + b b a b a d a a a ba a
b a
f(z) = f(z) = f(z)ad = bc ad=0, bc = ad c0= 0bcc==ad 00 = 0cad = 0= 0 ad = 0 f(z) = f(z) = =f(z)z = += z + r= zb/r+d= |z|
= |z| r,1r1=r=|=r|z|
|1 = e| 1| rr11 =
=||1d1/+ a
| | 1+
a 1
d rz1 r 1r+ z + r1zr+ z
1 r
cz + d cz + d cz + d b d b d b d d dd ddd d d d da d d d dd d d
azaz+
az
az +
++bbbb az + b az
az
az
az +++
+
abbb
b 0 az + b a b complexo
a a b a
(z)
(z)=
f(z)
z) ==
= com aaaa
,bbbb,ccccd,ddd nmeros
ad
f(z)
ad
ad
ad =
complexos
bcbc=
bc
bc = =0000 eccccad
= ===
=0000 bc z= zzz==
0=
= dd dd
. cOcccobjetivo
c= cccc=
0=
==0do00
0 experimento
adf(z) =
f(z)
f(z)0=
f(z) ==
= cccc=
== 00 = o argumento
=00f(z) = z + do nmero r = |z| d r1 = | /dd| , pela
a 1interpretao
1 + geomtrica
r1 r z+
czcz+
cz
cz++
+dddd az + b cz +
bc d a 0 d
ddb
d d az + b a b d d d a | 1 r1 o= a b a d d d
f(z)
investigar
= as transformaes
ad = 0com c = 0, o que adsignifi
= 0 ca
que devemos f(z) = = z + do produto r = |z|bde
/dnmerosr1 r=1a|=complexos,
produto
|1d/+a| a/da dr1zr o nmero z + complexo z
az + b azcz ++ bd aza++bb0
az az + b aa 0 ba b 0 d az + b az +
a dab b a d b d azaz ++ bb a a d a b a a b a d ab d a d
bc = 0 = f(z)
f(z) cconsiderar
= 0= ad adnmeros
=0bc=
f(z)
f(z) =
ad=complexos
0 bc =c 0= 0aa,bcb
c,=
f(z) dd0=
cad com= 0ad ad =bc
= 0 .=Assim,
bc =z0+ 0 cnesta =r00=etapa
c=f(z) = |z|z
z==d=dr ==c|cz==
f(z) +
| 0=0 +f(z) de
r ==|z|
z 1f(z) = 1+mdulo
r= r1 =
|z| r1c|rc=er=
| 1argumento
00= |z1+| 1 + z, como 1+ r1rna figura.
r1 rz + Assim,z+estez produto z
cz + d cz + d az + bcz czb++ddd d bd d db d a 0 d cc 1 d d az d d+ b d a dbd d dd d a d d d d dd a db a
so consideradas
f(z) = matrizesad dotipo
bc = 0 c=0 ad = 0 f(z) = = az composio
+ r = da|z|rotao r1 de = |ngulo
| 1 e a dilatao
1 + derfator 1r z+ z
cz + d b d d d d d d d d

b a 0 az + b a b a a r1 =b d . a r1 = |d/a| a
r1 r/d dz
b
ad bc = 0 c=0 ad = 0 , f(z) = = z+ r = |z| r1 = | | 1 1 + z+ a z
b d d d d d d d d
az+
az
az ++bbb azaz ++bb az+
az
az ++bbb d d ++
azaz bb
(z)
z)=
z) == comaaa,bbbcc,cdddnmeros ad
ad
ad complexos,

f(z)
f(z)
bc
bc
bc ==000 csendo
== cc===00a0 a b cb ezz
dcz==d=d
no dd
cccad nulos.
ad ccc=
bc 00=
==bc 0 =
0 0f(z)
f(z)
f(z)c= c===
0 0 z = z =c cccc=
==00c0= c=0 0 f(z) f(z)== c= c= 00
czcz+
cz ++ddd czcz ++dd ddd Im d d
Esperamos que os alunos, ao receberem uma matriz do tipo

b a 0 az + b a b a a b a
ad bc = 0 c=0 ad = 0 , f(z) = = z+ r = |z| r1 = | | 1 1 + r1 r z+ z
b d d d d d d d d
az + b az + b
f(z) =tenham a iniciativa
a b c d de encontrar
ad bc =a0formac =
analtica
0 = d
z da transformao
c c=0 f(z) = c=0
cz + d d
correspondente. A seguir, utilizando a forma analtica e a interpretao
geomtrica das operaes de nmeros complexos, consigam dizer quais
os movimentos envolvidos na transformao.
Caso os alunos tenham dificuldade, oriente-os a encontrar a forma
analtica e a interpret-la.
+
z
az + b a 0 az + b a b a a b a
f(z) = ad bc = 0 c=0 ad = 0 f(z) = = z+ r = |z| r1 =r| | 1 1 + r1 r z+ z
Forma
cz +analtica
d da transformao associada matriz b d d d d d d d d
az + b Re
ad bc = 0A forma 0 z =dad
c =analtica ctransformao
c=0 correspondente
f(z) = acmatriz
=0
d
b a 0 az + b a b a fig. 6 a b a
ad bc = 0 c=0 ad = 0 , f(z) = = z+ r = |z| r1 = | | 1 1 + r1 r z+ z
b d d d d d d d d
az + b az + b
acom
b c d um nmero
ad bccomplexo
= 0 = 0nulo,z= d
cno c c=0 f(z) = c=0 Agora, pela interpretao geomtrica da soma de nmeros complexos,
cz + d d
a soma
+b a 0 az + ba 0a b az + b a ab a a b a a b a
c = 0 adad =
bc0= 0 c=0 ad = =
f(z) 0 = z + .f(z) r== |z| = r1 z=+| | r1= |z|1 +r1 = | r1| r 1 z + 1 + z r1 r z+ z
+d b d d b d d d d d dd d d d d d d d
d
corresponde r1 = o nmero
b/adtransladar

r1 complexo
d a
d = | /a| a/dd z pelo avetor correspon-
a
dente ao complexo b/d. r1 = r1 = |d/a| dz
a

Transformao de Mbius Guia do professor 8 / 19


b a b a

Se b = 0, temos= 0 b = 0 =0 =1 a a transformao a composio de uma rotao, uma contrao e de uma
d d b d a d b
b=0 =0 b = 0 0
= =1 translao, podendo ser a composio de uma contrao e uma translao
d d d d
se a/d for um nmero real positivo;
e trs possibilidades: 3. se a
b a b
1. se a a b=0 =0 b = 0 = 0 = 1,
b b d d d d
b=0 =0 > 1, b =00< <=
10 =1
d d d d
a transformao a composio de uma rotao e de uma translao.
a transformao a composio de uma rotao e de uma dilatao, E, se tambm a/d for igual a 1, a transformao simplesmente uma
podendo ser simplesmente uma dilatao se a/d for um nmero real translao.
positivo;
2. se a a Exemplo: Seja a matriz
b b
b=0 > 1= 0 0 < < 1, b = 0 = 0 =1
d d d d 2 + 6i 0
. a = 2 + 6i b = 6 + 8i d=
6 + 8i 1 + i
a transformao a composio de uma rotao e de uma contrao,
22+ 6i
2
+
26i+
+6i06i 0 00
podendo ser simplesmente uma contrao se /d for um nmero real
a Nesteacaso,
=a2=aa2
=+
=6i2
+26i
++6i b ,=b6=b
6i +
b6==
+668i
8i +e8i
+ d =d1=d
8i +d1=
i=
+. 1Note
1i+ iique
+ad = ad
ad 0= =0z0.1Primeiro
ad0= z=1 1z=
z1+
11=
i=
+11i+
+zii2 z=2 3z=
z2+
2
az + b 6 +68i
+668i
++18i+1i+11i+
8i +ii az + b
positivo; f(z) = abcd ad vamos
bc = visualizar
0 z =dad
c = o0 efeito c transformao
c = 0 associada
f(z) = a esta matriz
c = 0 em
cz + d d
3. se um tringulo e, em seguida, vamos encontrar e analisar a forma analtica
b a b
a az + b az + b
=0 b = 0 = 0 1,=
=f(z) abcd ad bc = 0 c = 0 z =dad ctransformao
c=0 correspondente.
f(z) = c=0
d d d 22+2
+
6i6i+d6i 0 0 0 cz + d d
a=a=2a2
=+2
+
6i6i+ 6ib =
b=6b+
6=+
8i68i+ 8id =
d=1d+
1=+
i 1i + iadad=ad0 0=Sejam
= 0z1z=1=1z1+ i 1i + iz,2z=
1=+ 2=3z2+
3=+ e iz3z=
i 3i + 3= 1z3+
1=+ .+
2i12iTemos:
2i
6+6+8i68i+ 8i
1+1+i 1i + i
a transformao uma rotao, podendo ser a identidade se, tambm, 2 +
a/d for igual a 1.
26i+ 6i 0 0
zj z1j 1 = (2= (2 + 6i)z
+ 6i)z
j + 6j + 68i+ 8i 1 + 1i + i , j = 1j ,=2,13, .2, 3
6 + 68i+ 8i1 + 1 + 1
a b a

0 Se b = 0, temos
=0 =1 a Ento,
d b d a d b
b=0 =0 b = 0 0
= =1
d d d d (2 + 6i)zj + 6 + 8i
zj = f(zj ) = . z1 = 5 + 7i z2 = 9 + 15
1+i
e trs possibilidades:
1. se a a
b b (2(2+ 6i)z
(2
+ 6i)z
j++6i)z
j6+
+j68i
+
+68i+ 8i
b=0 =0 > 1, b =00< 1 0 zj =zjf(z
<= z=
= j )=
1=jf(z
f(z ) =j ) = Assim,
z1 =
z15=z+157=
+ z2i , =
i 57i+ 7 z29=
z+2915i
=
+915i z3 =
+ ,15i z31=
z+319i
+. 19i+ z9i1 =
= z11=
z+11i=
+1i +z2i =
z23=
z+23i=
+3i +z3i =
z31=
d d d d 1 +1i +1i + i
a transformao a composio de uma rotao, uma dilatao e uma
translao, podendo ser a composio de uma dilatao e uma translao
se a/d for um nmero real positivo;
2. se a a
b b
b=0 > 1= 0 0 < < 1, b = 0 = 0 =1
d d d d

Transformao de Mbius  Guia do professor 9 / 19


v w

Logo,
Im
z a a b b 22 + 61
+ 61 6 +6 8i+ 8i s a au bb aa
f(z) = = z +z + = =
f(z) z +z + ==(2(2
+ 4i)z
+ 4i)z
+ (7
+ (7
+ i)
+ i) == + 4i e s+u= =
2 +2 4i 7 +7 i+. i z=z=
(2(2
+ 4i)z
+ 4i)z 1=
1=arg
arg
2 +2
d d d d 1 +1 i+ i 1 +1 i+ i dd dd dd
Pela interpretao geomtrica do produto de nmeros complexos, o produto

a b 2 + 61 6 + 8i a b a a

f(z) = z+ = z+ = (2 + 4i)z + (7 + i) = 2 + 4i = 7+i z = (2 + 4i)z 1 = arg 2 + 4i r1 = = |2 + 4
d d 1+i 1+i d d d d

z
a composio da rotao de ngulo 1 = arg (2 + 4i) e a dilatao de
fator
a b 2 + 61 6 + 8i a b a a a b

f(z) = z+ = z+ = (2 + 4i)z + (7 + i) = 2 + 4i = 7+i z = (2 + 4i)z 1 = arg 2 + 4i r1 = = |2 + 4i| = 2 5 . z + = (2 + 4i)z + (7 + i)
d d 1+i 1 + i z d d d d d d

Agora, a soma
6 + 8i a b a a a b a b

= (2 + 4i)z + (7 + i) = 2 + 4i = 7+i z = (2 + 4i)z 1 = arg 2 + 4i r1 = = |2 + 4i| = 2 5 z + = (2 + 4i)z + (7 + i) z = (2 + 4i)z = 7+i
1+i d d d d d d d d
z corresponde a transladar o nmero complexo

a b a a a b a b b
= |7 + i| = 5 2
= 2 + 4i = 7+i z z = (2 + 4i)z 1 = arg 2 + 4i r1 = = |2 + 4i| = 2 5 z + = (2 + 4i)z + (7 + i) z = (2 + 4i)z = 7+i d
d dz d Re d d d d d
pelo vetor correspondente ao complexo
fig. 7
b a a a b a b b
= |7 + i| = 5 2
= 7 + i z = (2 + 4i)z 1 = arg 2 + 4i r1 = = |2 + 4i| = 2 5 z + = (2 + 4i)z + (7 + i) z = (2 + 4i)z = 7 + i ,
z6j +d8i
6 + 8i d d d d d d d
=
15a+ 75i+ 7i zo2 tringulo
z1 =zVisualizando =z29 =
+ 15i
9+ 15i z3 =z31pelos
determinado = 1 +vrtices
+ 9i 9i z1 =z11 =+ i1 + i, z2 =z23 =
+ i3, + i z3 =z31 = 1 + 2i z1 =z
+ 2i + 7i
15 = 5 + 7i z2 =z29 = 9 + 15i z3 =z31 =
+ 15i + 9i
1 + 9i b
+i b a a a b a b = |7 +
= 3++(7
4i)z i + i)z3 = 1 +=2i 2+ , e4ioz1 tringulo
= 5+ = 7i i z2 = z9 =
7 +transformado + (2
15i+ 4i)zz3 = 1+
determinado 1= 9iarg 2vrtices
pelos + 4i r1 = = |2 + 4i| = 2ou5seja, transladar
z + = (2 na+direo
4i)z +e(7sentido
+ i) do vetor z = (2correspondente
+ 4i)z =a 7 + i e d
d d d d d d d d
= z1 =
+12i+ 2i
2i z15=z+157i
= z2, =
+57i+ 7i z29=z+2915i
=+915i , z3 =
+ 15i z31=
z+319i
=+,19i
podemos
+ 9i perceber facilmente que com deslocamento igual a
houve pelo menos uma dilatao a e uma rotao.Para ver se houve mais
a b a b b
= arg 2 + 4i
z = (2 + 4i)zalgum1movimento, ou se bastam
r1 = estes
= |2dois
+ 4i|para
= 2 transformar
5 z +um no
= (2outro,
+ 4i)z + (7 + i) z = (2 + 4i)z = 7+i = |7 + i| = 5 2 .
d d d d d d
vamos analisar a forma analtica da transformao.
A forma analtica da transformao
a b 2 + 61 6 + 8i a b a a a b

f(z) = z+ = z+ = (2 + 4i)z + (7 + i). = 2 + 4i = 7+i z = (2 + 4i)z 1 = arg 2 + 4i r1 = = |2 + 4i| = 2 5 z + = (2
d d 1+i 1+i d d d d d d

Transformao de Mbius Guia do professor 10 / 19


az + b az + b
f(z) = abcd ad bc = 0 z = ad
c = 0Portanto, ctransformao
c=0 correspondente
f(z) = cmatriz
=0
Im cz + d d
2 + 6i 0
zj 1 = (2 + 6i)zj + 6 + 8i 1 + i j=
6 + 8i 1 + 1
+ i
a composio de uma rotao, uma dilatao e uma translao.

Fechamento

+i


A seguir, desenvolveremos alguns conceitos necessrios para a realizao
Re
do experimento.


Nmeros Complexos
Em um plano com um sistema de coordenadas, um nmero complexo pode
fig. 8
ser representado tanto pelo ponto P(x, y) comoz1pelo
= xvetor
1 + ycom
1 i ponto inicial
z2 = x2 + y 2 i z1
na origem dos eixos coordenados e ponto final em P(x . O, y)
plano em que
z1 = x1os
+ y1 i z2 =
nmeros complexos so representados chamado plano complexo ou
Im
z plano de Argand-Gauss.

translao no sentido e direo
do vetor correspondente a + i

e deslocamento + i =
Im

z
P(x,y)
z y z = x + yi

dilatao de fato

z

z
z Re

Re
fig. 9 x

fig. 10

Transformao de Mbius Guia do professor 11 / 19


A soma de nmeros complexos
Im
Considere os nmeros P(x , y), y) z1z=
complexos
P(x 1=x1x+1y+1yi1 i e z2z= 2=x2x+
2y+2yi.2Ai soma
z1z+
1z+2z=2=(x(x
1+ +2x)2+) (y
1x + (y
1+1y+2y)i2 )i (x(x1+ 1x+2x,y
2 ,1y+
1y +2y)2 ) z1z 2z=
1z 2=
z1z+ 1 (z
+ (z
2 )2 ) r r r r
0 0 x= x=r cos
rc
x2 + y 2 i = ,(x
dos
z1 + z2P(x nmeros
y)1 + x z
21) +
= (y
P(xx ,
complexos
11 +
y)+ y
y )i
i
12 1z e
= zx(x
=+defi
+xyx+i ,
nida
yy por
i+z y=)
z
21 1 212 21 2 2 12 212x ++zz
y =i (x
z =+
z z
x+ +
)
z
21 1 12 2 +
(z
=
(y(x
1 )
+ +
y
21 22 x)i
r )+ (y
(xr
11
++y
0x ,
)i
22 1 y x +
=(x
y
ry
cos
2
1 )+
x ,
z y
2 11
y+z
=z yr
22=sen
) z 1+z(z
zz
1 22=) =
r( cos
z r
1 +

(z
= i r
2
sen
) )
0 r xr==rr
cos
x 2
0+ y 2xy=
= r rco
r s=
x1 + y 1 i z 2 = x2 + y 2 i z1 + z2 = (x1 + x2 ) + (y1 + y2 )i . (x1 + x2 , y1 + y2 ) z1 z2 = z1 + (z2 ) r r0 x = r cos y = r sen z = r(cos = i sen ) r
y z

Interpretao geomtrica da soma e da diferena de nmeros complexos


P(x, y) zDe1= acordo
x1 + ycom
1 i a defi
z2 = P(xx2, y)
nio, +y a 2soma
i z1 =z1x+ 1+ z2y=dos
1 i(xnmeros
1+ z2x2=) x+2complexos
(y
+1y+2 iy2 )i z1 +(xz21 = x21, y
+ (x +1x+
2 )y+
2 )(y1 +zy
12 x2 ,2y)1 + yr2)
)iz2 = z(x11++(z zr10Rez2 =xz1=+r (z
cos 2 ) yr=rsenr 0 z =xr(=cosrc
x x x x x
+ yz21i + z2z=
1+ e(xz12+=
corresponde
x(x
2 )1++(yx21)++ao
y(y ponto
2 )i
1 + y2(x )i1 + x(x 2 ,1y+1+ x2y,2y)1. +
Este
yz21)ponto,
z2z= 1por
z1zsua
+2= vez,
(z
z12+ ) (zr2 ) rr 0 r x0= r cos x= r cosy= r sen y= r senz= r(cos =cos
z = r( i sen
=)i sen r)= xr2=+ y2x2 + yr 2= |z| r = |z
a
corresponde ao vetor cujas componentes so as coordenadas do ponto.
+ y1 i z2Assim,
= x2 +o ynmero
2i z1 + z2 =representado
(x1 + x2 ) + (y pela
1 +soma
y2 )i dos vetores
(x1 + x2que, y1repre-
+ y2 ) z1 z2 = z1 + (z2 ) r ry
y0 x = r cos
z z y = r sen z = r(cos = i sen ) r=
y) z1 P(x ,1y)
= xsentam
+ y1 i z1 e=zx21,=como
+xy21+ imostra
y2 i z2 a=fizx1gura.
2++zy2 2=i (x1 + z1x+ 2 )z+
2=(y(x
1+ 1+y2x)i
2 ) + (y(x11++yx22)i, y1 +(x
y21)+ x2 ,zy11+zy
2 2=) z1 +z(z
1 2 z2) = z1r + (z2r ) 0 r x = rrcos 0 xy==rrcos
sen yz==rr( sen
cos = izs

z y
Im fig. 12
z+z
y+y
O produto e o quociente de nmeros complexos
A seguir, vamos apresentar as expresses para as operaes produto
z
e quociente de nmeros complexos na forma polar e as interpretaes
y
geomtricas dessas operaes.
=
x1x+ +
y
1 1 1yi i z z= =
x x+
2 2 2 2 2 2+
y yi i z z+ +
z z
1 1 2 2= =
(x(x + +
x x
1 1 2 2) +
) +
(y(y + +
y y
1 1 2 2)i )i (x(x+ +
x x, y, y
1 1 2 21 1 2 2+ +
y y) ) z 1 1 2 2 1 1 (z
z
z z= =
z z+ +
(z Sejam er , y)
2 )2 ) rP(x
r
asrcoordenadas
0z01 = x 1=
x+= cos
yr1cos
rpolares
i do =
==
y xr2sen
z2yponto r+sen
representando
y2i z =z1= cos
+r(
r( zcos
, como
2 == i1sen
(x= i+sen
x)) + (yr1
2)
+ y1 i z 2 = x2 + y 2 i z1 + z2 = (x1 + x2 ) + (y1 + y2 )i (x1 + x2 , y1 + y2 ) z1 z2 = z1 + (zna r onde r 0.
2 )figura, x = r cos y = r sen z = r(cos = i sen ) r=
y z

Im

Re
x x x+x
fig. 11


(yz11++yz22)i= (x1(xPara
+1x+ 2 ,(y
2obter
)x+ y1a1+
diferena 2 ,zy
+yy22))i z1(x1 z+2,x=podemos y2fazer:
11++(z )2 ) z1r z2 =r z1 0+ (zx2= ). r cos
r ry
= 0r sen x = r cos
zy=r(cosy = ri sen
) zr==r(z cos
x2+=yi2sen )
r = |z|r = arg
x2 (z)
+ y2 r = |z| ar
)i 2 , y1 +
(x1 + xAssim, oy nmero
2) z1 z2 =representado
z1 + (z2 ) pelar soma rdos 0vetores que
x= r cos
repre-
y = r sen z = r(cos = i sen ) r = x + y 2 2 r = |z| arg (z)
2) r gura.xr=r 0cos x = yr cos
+2x)2 , y1z+ ysentam e(z = rsen y = rz sen
= r(cos z==i sen
r(cos
) = irsen 2 r x2 arg arg (z)
+1 y 1 2z)2 = zz11+ 2 ),zcomo
z2 = mostra
1 +r(z a rfi
0 = )x2 +ry= r=
+y |z|2 r = (z)
|z|

Re
0 x

fig. 13

Transformao de Mbius Guia do professor 12 / 19



2 r=zr1+ r r02
(z ) Ento cos
0 xr=xr= 0,
rrcos y =yxr=senr cos
sen =yzr(=cos
, eo znmero sen
cos
rr(complexo
= sen
i = i sen r(cos
pode
z)= ) ser
r ==xi sen
=rescrito
2+x2y 2 y2 rr=
)+ =r|z|=x2|z|+ arg
y2 arg
(z) (z)
r = |z| arg (z)

Im
(x=
x 1+
rrcos
x20,y1na
+xy =)rrcos
forma
2= sen
polar
z1
por zy2z==rzr(sen
1 cos(z
+ =2 )izsen= r(r cos
), com
=rr=isen0.xAssim,
2 2
)+xy=rr= cosr= 2 + y = rarg
x |z| 2 sen |z| z =arg
r(z)
= r(cos
(z) = i sen ) r = x2 + y2 zw r = |z| arg (z)
z1 z2 = z1e+(z chamado
2 ) o
r mdulo
r
ou 0valor
absoluto
x = r cos do nmero
y = r sen
complexo
z .= r( cos
Tambm, = i sen ) r = x 2 + y2 r = |z| arg (z)
xrsen
r(2cos
cos
) +(y
=1i+ sen
=
=
zyy r sen
o2)
)i
r( cos
mdulo r(xde
== sen
1i +z x= ,r(
22)+ycos
denotado
1y+r 2 rsen
2 y=)ipor =x2|z|
+
z) y2z2arg
1,
assim,r==z(z)
r1=
+ 2(z
x|z|+ 2)arg (z)
. Oy2ngulo r r arg
= |z|chamado0 (z)x = r cos y = r sen z = r(cos = i sen ) r = x2 + y2 r = |z| arg (z)
cosi sen
r = = rrsen
)yargumento = x2de+zy= cos
e2 r(denotado
r== |z|i sen
por )arg (z).r = x2 + y2 r = |z| arg (z)

Expresso trigonomtrica para o produto de nmeros complexos


Para encontrar a expresso do produto dos nmeros complexos
z1 z=1 r=1 (rcos
1 (cos
1+1 i+sen
i sen
1) 1 ) e z2 z=2 r=2 (rcos
2 (cos
2+2 i+sen
i sen
2) 2 ) z1 z 1z2 z=2 r=1 (rcos
1 (cos
1+1 i+sen
i sen
1) 1 r)2 (rcos
2 (cos
2+2 i+sen
i sen
2) 2 ) r2cos
= r=1 r 1r2 [( [(cos
1cos
1 cos
22 sen
sen
1sen
1 sen +cos
2) 2+) i( i(cos
1sen
1 sen
2
na forma polar, fazemos:
rr
sen 2 ) z1 z2 = r1 (cos 1 + i sen 1 ) r2 (cos 2 + i sen 2 ) = r1 r2 [(cos 1 cos 2 sen 1 sen 2 ) + i(cos 1 sen 2 + sen 1 cos 2 )] = r1 r2 [cos (1 + 2 ) + i sen (1 + 2 )]
) z1 z2 = r1 (cos 1 + i sen 1 ) r2 (cos 2 + i sen 2 ) = r1 r2 [(cos 1 cos 2 sen 1 sen 2 ) + i(cos 1 sen 2 + sen 1 cos 2 )] = r1 r2 [cos (1 + 2 ) + i sen (1 + 2 )]
sen 2 ) = r1 r2 [(cos 1 cos 2 sen 1 sen 2 ) + i(cos 1 sen 2 + sen 1 cos 2 )] = r1 r2 [cos (1 + 2 ) + i sen (1 + 2 )]
cos 2 )] = r1 r2 [cos (1 + 2 ) + i sen (1 + 2 )]

Produto de nmeros complexos


w
A expresso para o produto dos nmeros complexos
z1 z=1 r=1 (rcos
1 (cos
1+1 i+sen
i sen
1) 1 ) e z2 z=2 r=2 (rcos
2 (cos
2+2 i+sen
i sen
2) 2 ) z1 z 1z2 z=2 r=1 (rcos
1 (cos
1+1 i+sen
i sen
1) 1 r)2 (rcos
2 (cos
2+2 i+sen
i sen
2) 2 ) r2cos
= r=1 r 1r2 [( [(cos
1cos
1 cos
22 sen
sen
1sen
1 sen +cos
2) 2+) i( i(cos
1sen
1 sen
2
r
21(cos
sen22++isen
sen12cos =rr11(cos
) 2z)]1 z2 = r2 [cos
1+ (i 1sen ri2sen
+ 21) + (cos(
21 + isen
2 )] .2 ) = r1 r2 [(cos 1 cos 2 sen 1 sen 2 ) +i(+ cos
sen + sen cos )]
1 2 1 2 = r1 r2 [cos (1 + 2 ) + i sen (1

Interpretao geomtrica do produto de nmeros complexos z


Pela expresso para o produto obtemos
r
+sen
i sen 2 )] |z1|z z12|z=
(1(+1+2 )] | 2 | e argarg
| 1|z| 2 |z
=1|z
2 | |z (z1(z z12)z2=) arg
= arg
(z1(z
)+1 )arg
+ arg ),2 ) z1 z=1 r=1 (rcos
(z2(z 1 (cos
1 +1i+sen
i sen
1 )1 ) z2 z=2 r=2 (rcos
2 (cos
2 +2i+sen
i sen
2 )2 )
isto , o mdulo do produto o produto dos mdulos e o argumento
Re
do produto a soma dos argumentos. Assim, a representao geomtrica

do produto o vetor de comprimento igual ao produto dos comprimentos
fig. 14
r
11 22r [[cos
cos(
(11dos
+ 2))++iisen
+2vetores sen
que (1representam
( 1++22)])] |z|z11ezz22||e=
=cujo |z|z22|| dearg
|z|z11||ngulo arg
inclinao a arg
(z11zz22))=
(z = arg(z
soma +arg
(z11))+ arg(z
(z22)) =rr11((cos
zz11= cos +iisen
11+ sen11)) =rr22((cos
zz22= cos22+
+iisen
sen22))
arg
1 + (zi sen
2 ) 1 )dos (cos
z1 =ngulos
zr21= r2 (cos
1 e+i2sen
,+ isen
conforme 2 = r2 (cos 2 + i sen 2 )
1 ) 2 )fizgura.

Transformao de Mbius Guia do professor 13 / 19


cos
==
1 r1(icos
r+
1 (2sen
cos
+i1sen
1+ iisen
sen
)+Expresso
2 )z
21=
1 2 ( cos
) )zr1trigonomtrica
zz2z22=
=
= r2(icos
+
2rr1
2 r(sen
cos
2 [cos
para
22+)+io1isen
( sen
quociente
+ z122)2)+ sen
z)2i=de
zrz1nmeros
1 r
( z12z+cos
[=
2 =
r21r(
)] r 2r+2[cos
complexos
1 1 [cos (
|z21)( sen
+z12i1+
|+
=2|z(
)1)+
2 |+
1 i|zisen
+ sen

2 (11arg
|2 )]
( ++|z
2(z
12 = arg
11e
)]1)]z2z| 2=)|z|z |e=
|zz2|z2|(z
2= )|z1+1| |arg
cujo
|1|z ngulo
|z arg
2arg
|z22|(z| 21) zde z(z1(zarg
)inclinao
= 1 z
1= z212)(1)cos
r(z =)=arg
+arg
aarg
(z
+(zi1)sen
1diferena
(z
1 )+arg
2)+ arg
1dos
)z(z(z
12=) )zr21 (=cos
ngulos
2 zzr121= cos
(=
1 r1(icos
re+
1 (2sen
cos
,+i1sen
1+)+iisen
sen
2 )z
2
Para encontrar a expresso do quociente dos nmeros complexos conforme figura.
z z1 r1 r1
z1 z=1 r=1 (rcos
1 (cos
1+1 i+sen
i sen
1) 1 ) e z2 z=2 r=2 (rcos
2 (cos
2+2 i+sen 2),2 ) r2 r=2 0= 0 1 =
i sen = [cos[cos
(1(1 2) 2+)i+sen
i sen
(1(1 2)]2 )]
z2 z2 r2 r2 z
Im
fazemos:
z1 r1 (cos 1 + i sen 1 ) r1 (cos 1 + i sen 1 )r2 (cos 2 i sen 2 ) r1 r2 [cos (1 2 ) + i sen (1 2 )] r1
= = = = [cos (1 2 ) + i sen (1 2 )]
z2 r2 (cos 2 + i sen 2 r2 (cos 2 + i sen 2 )r2 (cos 2 i sen 2 ) r2 r2 [cos (2 2 ) + i sen (2 2 )]z r2
r
i sen 2 ) r1 r2 [cos (1 2 ) + i sen (1 2 )] r1
= = [cos (1 2 ) + i sen (1 2 )] r
i sen 2 ) r2 r2 [cos (2 2 ) + i sen (2 2 )] r2

(1 2 )] r1
= [cos (1 2 ) + i sen (1 2 )]
(2 2 )] r2 Re

Quociente de nmeros complexos r


r z
A expresso para o quociente dos nmeros complexos z

z z1 r1 r1 fig. 15
z1 z=1 r=1 (rcos
1 (cos
1+1 i+sen i sen
1) 1 ) e z2 z=2 r=2 (rcos
2 (cos
2+2 i+sen 2),2 ) r2 r=2 0= 0 1 =
i sen = [cos [cos
(1(1 2) 2+)i+sen
i sen
(1(1 2)]2 )]
z r z 2 z 2 r2 r2
+ i sen 2 ) se r2 = 0 , 1 = 1 [cos (1 2 ) + i sen (1 2 )]
z1 |z1 |
Como calcular o quociente de nmeros complexos
z r z1 11 + 2i (11 +

2z
1
2r
1 = |z2 | = 0 arg = arg (z1 )de
O conjugado arg
um (z nmero
2 ) (11complexo
1 2 z = x + yi o znmero complexo
= x yi =
2 + i sen 2 ) r z

=
2 1 0 |z 1 | = [ cos (1 2 ) + z
i sen
1 ( 1 2 )] . z2 |z2 | z2 11 + 2i + 2i)(2 + i) 20 + 15i 2i (2
=
z |z |2 z r|z
2 2 |
= 0 arg = arg (z 1 ) arg (z 2 ) 1 2 z = x + yi z = x yi . Para calcular =a diviso de dois nmeros
= complexos,
= 4 + basta
3i multi-
2 2 z2 2i (2 i)(2 + i) 5
plicar o numerador e o denominador pelo conjugado do denominador.
Por exemplo,

Interpretao denmeros complexos
z1 |z1geomtrica
|
do quociente
z1 11 + 2i (11 + 2i)(2 + i) 20 + 15i

Pela expresso para|zo2quociente
| = 0 obtemos = arg (z1 ) arg (z2 )
arg = 4 + 3i .
z2 =
|z2 |
1 2
2i
=
z = x + yi
(2 i)(2 + i)
= z = x yi
z2 5
z1 |z1 | z1 11 + 2i (11 + 2i)(2 + i) 20 + 15i
= arg = arg (z1 ) arg (z2 )
z |z | , |z2 | = 0 1 2
z2
z = x + yi z = x yi
2i
=
(2 i)(2 + i)
=
5
= 4+3
2 2 Caso Geral da Transformao de Mbius
z1 |z1 | z1 11 + 2i (11 + 2i)(2 + i) 20 + 15i
= se |z2 | = 0 , istoarg
, o mdulo
= doargquociente
(z1 ) arg (z
o 2quociente
) 1 dos
2 mdulos,
z = x +eyi z = x yi Agora,
= analisaremos o = caso geral, = ou4seja,
+ 3i quando a matriz associada
z2 |z2 | z2 2i (2 i)(2 + i) a c 5 az + b
z1 |z1 | transformao f do tipo a b cd ad bc = 0 f(z) =
= z 1 11 + 2i (11 + 2i)(2 +
b i) d 20 + 15i cz + d
z |z | |z2 | = 0 arg = arg (z1 ) arg (z2 ). 1 2 z = x + yi z = x yi = = a c = 4 + 3i az +
z2 2i (2 i)(2 + i) f 5
, abcd ad bc = 0 f(z) =
2 2 b d +
az
az
az++
az++
bbbb a c azaz
az
az+++bbbb czaz
+
Assim, a representao geomtrica do quociente o vetor de comprimento f(z)
f(z)
f(z)==
f(z)== com aaa,a c,ccd
bbbb ,dd nmeros
cd ad
ad
ad
ad

bccomplexos
bc
bc
bc==
=f0000 ccquaisquer
= c=
c=
=
=
0000 zzz==
=ad
= ddd
zsatisfazendo
b
cccc c d cc=
c
c===
0ad
00
0 bc
f(z)
=
f(z)
f(z)=
=
f(z)=
0=. f(z) = ccc=
c=
cz
cz
cz++
cz++
dddd b d dddd cz
igual ao quociente dos comprimentos dos vetores que representam

Transformao de Mbius Guia do professor 14 / 19


A forma analtica da transformao
d d 1 bc ad
c
= 0 z soma z
= f(z) T inverte
(z) = z + I(z) = D(z) = z
a c d d az +1b bc ad a d dc d d1 1d c 1 1bcz ad bc bcad cad2 a1
z z = a b cf(z)
d ad bc==z0+ f(z)I(z)
T1(z) = = . D(z) = z T (z) =c
= +
0 z z (T c
=
z D
= 0 I Tz )(z)
f(z) z=
= (T T (z)
D
f(z)
= I)
z + z + T (z) ==
I(z) z
(T = + D) I(z)
D(z) = D(z)
= T z = T (z) = z +z
b d c c cz +z d c2
2
c
2
c
1
c21 c c
1 2
zc d z c2 2 2
cc22 c d
az + b z+ z+
a c c c
A expresso de f pode ser reescrita a dabseguinte
cd adforma:
bc = 0 f(z) =
b d cz + d multiplica por
ad bc ad a bc ad
d
az + b az +1 + bc ad(cz + d) + a a bc ad 1 a d ad
bc 1 1 bc ad 1 a bc
f(z) T1 (z)f(z)
= z=
+ I(z) = c D(z) c= c z T2 (z) =c += z +(T2 D I T1 )(z) =(T2 f(z) D I) = z+ + = (T2 D) = T2 = +
ccz + d = z cz + d c=2 c c d z+ d c 2 d c c
cz + d c c d c c2
z + z +
c z+ c c c
bc ad c
d 1 a d 1 a c bc ad 1 a bc ad az + 1b
1 (z) = z
ad+ bc I(z) ad = a D(z) = bc 2ad z T2 (z) = + z (T2 D I T1 )(z) = (T2 D I) z + = (T2 D) f = T2 a b c2d ad bc== 0 + f(z) = =
az + + c z (cz + d) + c c c d b d c d c c 2 cz + d
c c a bc ad 1 a bc ad 1 z + z + z +
= c c = + f(z) = +
c c c
cz + d cz + d c c
c z +
d c c2
z +d
d 1 bc ad a d 1 bc ad 1 a bc ad 1 a
z) = z + I(z) = D(z) = z T2 (z) = + z (Tc2 D I T1 )(z) = (T2 D I) zc+ = (T2 D) = T2 soma
= + =
c z c 2 c c d c 2 d c c 2 d c
z+ z+ z+
c c c
Ento,
d
a bc ad 1 a bc ad 1 a bc ad 1
= + f(z) = + f(z) = +
c c d c c2 d c c 2 d
c z+ z+ z+
c c c

a a a
d d ddd 1 bc ad ddd 11 1a bc
bc
bc
ad
ad ad d
Assim, se c = 0, paraz um nmero
z = adcomplexo
bc ad
f(z) cqualquer
T=
c1=0=
c(z) 0 z ,+
a0 = zcom
z z =
zbc= =
ad
zI(z) , f(z)
= f(z)D(z)
f(z) T1T(z)
T=
1 (z)
1 (z)
==z= +
z2+z + z fig. I(z)16
T=
I(z)
I(z)
2 (z)
=== D(z) +D(z) ==(T
zD(z) = 222D2zI z Tz1 )(z)
T2T(z)
2 =(T=2=+D
T(z)
=
2 (z) +z+z I)
z (Tz(T2+2 D
(T 2 D
D I(T
I= TI1T2)(z)
1
T)(z)
)(z)
1D) = =(T=
(T
d daz +c + 1 bc
(cz + d) ad
c + c c c z a bc ad c c c1 ca z z z c a bc ad c c d
c 1 c c c 1 c bc ad 12
z z =ovalor f(z) podeT1ser(z)obtido
az +=bz + seguindo o=
I(z)
c diagrama:
c D(z)c= z c T 2 (z) = + z (T 2 D I T 1 )(z) = (T 2 D I) z + = (T 2 D) = T 2 z +
c f(z) = =c z = c2 = +c f(z) = + ca c d c2 az +
cz + d cz + d cz + d c c dLogo, a transformao c cf 2pode ser obtida
d pela
a bcomposio:
c dz + ad bc = 0 f(z) = z +
c z+ zb+ d c cz +
c
d c d 1 bc ad a
c = 0 z z = da translaof(z) T1 (z) = z + ; I(z) = D(z) = z T2 (z) = + z
c c z c2 c
d d 1 bc ad a
c = 0 z z = f(z) T1 (z) = daz inverso
+ I(z) = ; D(z) = z T2 (z) = + z (T2 D I T1 )(z
c c z c2 c
d d 1 bc ad
c = 0 z da rotao
z = e dilatao f(z) (ou T1contrao)
(z) = z + em relao I(z) = origem D(z) = z; T2 (z) =
c c z c2
d d 1 bc ad a d
c = 0 z z = f(z) T1 (z) = z + I(z) = D(z)= e da2translao z T2 (z) = + z . (T2 D I T1 )(z) = (T2 D I) z + = (T2
c c z c c c

Transformao de Mbius  Guia do professor 15 / 19


ad a ad a
az + b az +
b az + c c (cz + d) aaz az +b
+ az + b azaz+ b+ c b c (czd+ d) az1 + ba az + b
ad bc =Enfim,
0 ad = bc c =f(z)
0 = b= dfracadc
= 0 = ad bc
ad bc f(z) == 0 ad== bc ==
f(z)
cf(z) =2. b
0= Se=c dfracadc
= 0, ento
adb
a ad d=
c bc deve
=bc ser
0ad
f(z) =no
bc
ad
f(z)nulo
==
bc e, 0como
0== c ==0ad=
= bc =, conclumos
f(z)
zf(z) ==c ==
c c0 = 0que
b =a b c0.d= adad
=
dfracadc
cf(z) = f(b
bc
cz + bd cz + d cz + d bc ad cz + d +
ccza+ d bc
cz b ++
1 azcz b +czd+ d d
azd+cz cz + dczz + dc d
a a d 1 1 ad bc
a ad1 1 Assim,a adbc ad1 b
z)+=z + z(T2 (T
D2I D
T1I)(z)
T1=)(z)
(T2= (T
D2I)D zI)
+ z += (T2= (TD)2 D) = = T2 2 (cz
T2 + d) = + = +2 2 = = = f(z)= f(z)
c c c c d + bd az +
az c = c c c2 d ad c cc c d d d +b b
cz + dcz +az 1
ad bc = 0 ad = bc c = 0 b = dfracadc f(z)z=
+ z+ = z + z=+ c=0 adz += bcz + f(z) = = . f(z) =
c + dc
cz cz + d cz + d c cc c c cz + d d z
ad a
az + b az + b az + (cz + d) a
1 bc= ad
f(z)
1 ad abc =bc0 adad 1bc = 0az +ad b = bc c = 0 b = dfracadc Logo, f(z)
constante.
= = c = c = c=0 ad = bc f(z) =
= T2 cz + b = + = = f(z).
d
cz + d cz + d cz + d cad a
c 2 d c 2 d cz + d
z+ z+ azc+ b z + az + b az + b az + c (cz + d) a az +
c c f(z) = adc bc = 0 ad bc =f(z)0 = ad = bc ad c Enfim, quando
=0bc = ad bc = 0, f(z)
0 = dfracadc
b constante,
= = bc no
ad =c sendo, b==cdfracadc
= 0 portanto, uma trans
= f(z)c== 0
cz + b cz + b cz + d cz + d cz + d c cz +
Portanto, uma transformao de Mbius qualquer pode ser expressa formao. Este caso chamado singular.
como uma composio de transformaes mais simples, a saber: trans
laes, rotao, dilatao (ou contrao) e inverso. Circunferncias e Transformaes de Mbius
fcil perceber que a translao, rotao, dilatao e contrao transfor
Observao mam uma circunferncia em uma circunferncia. Por sua vez, a inverso
ad a
A Transformao de Mbius definida por
az + b az + c (cz + d) a az + b b 1 ad a
ad = bc c = 0 b = dfracadc f(z) = = = c = c=0 ad = bc f(z) = = f(z) = az + (cz + d) a
az +cz b+ d cz + d cz + d c cz + d d az + b
z c = c
f(z) = , ad bc = 0 ad bc = 0 ad = bc c= 0 b = dfracadc f(z) = = = c=0
cz + b cz +add acz + d cz +ad
d ac
transforma uma circunferncia em uma circunferncia ou em uma reta,
az
az
az++
az ++
bbbb az + b d + bad
az a az
az
az
az++++
bbbb az + b az + c (cz
az +
c ou
+bd) az a+ c (cz + d) a
c ad = bc
(z)
(z)==
f(z)
z) == com aaa,abbbbc,cccd,ddd nmeros
f(z)
ad
ad
ad
ad
=complexos
bcbc==
bc
bc =0000 ccecc==
= =
=0000 bc
ad zzz=
f(z) z== 0d
=
= dd
. Aazcondio
ad
+cc
c =
c
==
=0bc
00
0 =
ad 0
f(z)bc
f(z)
f(z)
f(z)
(cz +=
=
= =
ad
0
d) = bc ad cc=
bc
c
c ==
=
=00
000 b =
ad assim
= como
dfracadc
bc c transforma
= 0f(z) =b = uma reta
=
dfracadc em uma reta
=
f(z) = em uma
= = circunferncia,
c == 0 =
cz
cz
cz++
cz ++
dddd cz + b az + b ccccz c +b dddda az + b cz + bd cz + d1 cz++dd
cz c +d
cz cz + d c
ad = bc necessria
c = 0 bpara garantir que f(z)
= dfracadc no =seja uma = funo cconstante.
= c Para = c=0 ad =obc que jf(z)
no= fcil de=perceberf(z) visualmente
= levando em considerao
cz + d cz + d cz + d c cz + d d z
justificar este fato, primeiro preciso notar que o quociente oexperimento desenvolvido. Logo, como uma Transformao de Mbius
ad a
pode ser expressa por meio de uma composio de translaes,
(cz + d) rotao,
az + b az + b az + c c a
f(z) = ad bc = 0 ad bc = 0 ad = bc c = 0 dilatao (ou contrao)f(z)
b = dfracadc e inverso,
= ento
= ela transforma
= circunferncias
= c=0 a
cz + b cz + d cz + d cz + d c
em circunferncias ou retas, assim como transforma retas em retas ou
azaz ++ bb azaz+ad
+b b ada a
s faz sentido e f(z) define
==
f(z) uma funo,ase a
bb cdce d no ad forem
ad bcbcsimultaneamente
==0 0 c = c =
0 0 z = z =d d
c=
c= 0 0 f(z) circunferncias,
f(z) = +az + co(cz
=az cque
= =0 0constitui uma de suas principais propriedades.
az +az b +b czcz ++ dd ad a c c az +azb + b d dc c c c+(cz d) + d)a a az +azb +b b
f(z) =f(z) = iguais ad a zero.ad bcAssim,
0 =se0ad ad
=bc bc=bc0 , ou = 0seja,
ad =ad bc= bcc, temos
= 0c+=duas
0b =possi
b = dfracadcf(z) =
dfracadc f(z) = = = = = = = c = 0c = 0ad =ad bc= bcf(z) = f(z) = = = f(z
cz + czb +b az + b az + c (cz d) a cz + cz
d + d cz az
+ +
cz
d + b d b
cz + cz
d + d c 1 c cz + cz
d +d d
bc c = 0 bilidades para a funo f(z)
b = dfracadc definida
= por = = c = c=0 ad = bc ngulos
f(z) = e Transformaes
= f(z)de=Mbius
cz + d cz + d cz + d c cz + d d z ad a
fcil perceber que a translao, rotao, dilatao e contrao
(cz + d)trans
az + b az + b az + c c a
f(z) = : ad bc = 0 ad bc = 0 ad = bc c =formam
0 bum= ngulo
dfracadc em um ngulo
f(z) = congruente,= ou seja,= preserva ngulos.
= c=0
cz + b ad a cz + d cz + d cz + d c
Por sua vez, a inverso
ad az + b az + ad a
(cz + d) a az + b b 1
ad = bc 1. Se c = 0, ento =
b =b dfracadc, o que implica
f(z) =que = az + c = c (cz + d) = c=0 ad = bc f(z) = = f(z) =
c az +
cz + d b cz + dc cz + d ca az + b
cz + d d b z1
ad = bc c = 0 b = dfracadc f(z) = = = c = c=0 ad = bc f(z) = = f(z) =
ad cz + ad cz + d cz + d c cz + d d z
az + b az + c (cz + d) a az + b b 1
0 b = dfracadc f(z) = = = c = . c=0 ad = bc f(z) = pode=transformar, f(z) por
= exemplo, um ngulo em dois arcos de circunferncias,
cz + d ad cz +ad cz + d c cz + d d z
como mostra a figura.
az + b az + c c
(cz + d) a az + b b 1
b = dfracadc Logo, f(z) constante.
= = = = c=0 ad = bc f(z) = = f(z) =
cz + d cz + d cz + d c cz + d d z

Transformao de Mbius  Guia do professor 16 / 19


Neste sentido, dizemos que a inverso tambm preserva ngulos.
E, assim, uma Transformao de Mbius preserva ngulos ou, de outra
forma, dizemos que uma Transformao Conforme.

Variaes
Como uma variao deste experimento, possvel propor aos alunos

as seguintes questes:
Considerando matrizes A A,A BeCC, associadas
BBC ABC ACB
ABC
ABC transformao
ACB
ACB AB ABAB deBABA BA xx33x+
translao, 3++ px
px +
px++qqq
de rotao e de translao, respectivamente, analise se as transformaes
fig. 17
correspondentes aos produtosA AB BC eA
CA BAC
ABC
ABC
B B
CCsoABC
iguais.
ABC
ACB
ACB ACB
ABC ACB
AB
AB AB
ACB BA
BA
ABAB BA xx3BA
BA 3++pxx3
px
Considerando matrizes AA,B ABCBe C, associadas
C ABC
ABC ACB
ABC ACB
ACBtransformao
AB
AB AB de BA
BA rotao,
BA 33 3
xx x++px+pxpx++q+
qq
Definindo o ngulo entre esses arcos como sendo o ngulo entre suas de translao e de rotao, respectivamente, analise se as transformaes
tangentes no ponto de interseo dos arcos, pode ser provado que o ngulo correspondentes aos produtosA AB BC eA
CA BAC
ABC
ABC
B B
CCsoABC
iguais.
ABC
ACB
ACB ACB
ABC ACB
AB
AB AB
ACB BA
BA
ABAB BA xx3BA
BA 3++pxx3
px
inicial e o ngulo entre os arcos so congruentes. Considerando matrizes AA eB
B C,Cassociadas
ABC transformao
ABC ACB AB
ACB ABde translao
BA BA x xe++
3 3 pxpx++ qq
de rotao, respectivamente, analise se as transformaes correspondentes
az +
a
aos produtos A BA e BA
C CBso
ABC iguais.
C ABC ABCACBACB AB AB AB
ACB BA BA BA x3 +x3px 3q
+x+
px ++px q +x q=x = x
cz +c
Proponha aos alunos que mostrem que a translao, dilatao, contrao
e rotao transformam retas em retas, circunferncias em circunferncias
e que preservam ngulos.
az + b azaz++
b b az + b ++
azaz bb
ABC ABC
AA
BBCC ACB
ABC
ABC AB
ACBMostre
ACB BAABque
ABx3 BA px + qx,3xcom
+BA 3+
+ px
xpxe+
=+ qqconstantes,
==x =sef(z)
xx reduz
= xax
=uma
=
f(z) ==x3 + px + qx3=
frao
f(z) 3
x+
cz + d ++
czcz dd cz + d ++
czcz dd
racional fazendo a substituio
az + b az + b
ABC ABC ACB AB BA x3 + px + q x= , x = f(z) = x3 + px + q = 0
cz + d cz + d
ou seja, usando uma Transformao de Mbius.

fig. 18

Transformao de Mbius Guia do professor 17 / 19


Comentrio: a substituio indicada nesta questo, utilizando a Transfor
mao de Mbius
Bibliografia
az + b az + b
A x3 + px + q x= x = f(z) = , x3 + px + q = 0
cz + d cz + d
J. C. Santos, Transformadas de Mbius e Equaes do Terceiro Grau, Bol.
permite encontrar um algoritmo que fornece as solues da equao de Soc. Por. Mat., 2005;
az + b
x = f(z) =terceiro grau x3 + px + q = 0. Este um exemplo em que a Transformao
cz + d
de Mbius possibilita transformar um problema em outro mais manipulvel. E. Capelas de Oliveira e W. A. Rodrigues Jr., Funes Analticas com
Para uma leitura sobre o assunto, veja [Santos]. Aplicaes, Editora Livraria da Fsica, So Paulo, 2006;

G. vila, Variveis Complexas e Aplicaes, 3 edio, editora ltc, Rio de


Janeiro, 2000;

L. Adauto da J. Medeiros, Introduo s Funes Complexas, Editora


McGraw-Hill do Brasil, So Paulo, 1972;

R. P. Burns, Groups: A Path to Geometry, Cambridge University, Cambridge,


1987;

R. P. Pazos, Visualizando Funes Complexas, III Congresso Internacional


de Ensino de Matemtica, Canoas (RS), 2005;

C. Carathodory, Conformal Representation, Dover Publications, Inc.,


New York, 1998.

E. L. Lima, P. C. P. Carvalho, E. Wagner, A. C. Morgado. A Matemtica do


Ensino Mdio, Vol. 3, Coleo do Professor de Matemtica, (3a Edio). Rio
de Janeiro: sbm, 2000.

Transformao de Mbius  Guia do professor 18 / 19


Ficha tcnica
Autores Projeto grfico Universidade Estadual Matemtica Multimdia
Claudina Izepe Rodrigues, e ilustraes tcnicas deCampinas Coordenador Geral
Edmundo Capelas de Oliveira, Preface Design Reitor Samuel Rocha de Oliveira
Eliane Quelho Frota Rezende e Fernando Ferreira da Costa Coordenador de Experimentos
Maria Lcia Bontorim de Queiroz Vice-Reitor e Pr-Reitor Leonardo Barichello
dePs-Graduao
Revisores Edgar Salvadori De Decca Instituto de Matemtica,
Matemtica Estatstica e Computao
Antonio Carlos do Patricnio Cientfica (imecc unicamp)
Lngua Portuguesa Diretor
CarolinaBonturi Jayme Vaz Jr.
Pedagogia Vice-Diretor
ngela Soligo Edmundo Capelas de Oliveira

licena Esta obra est licenciada sob uma licena Creative Commons

Secretaria de Ministrio da Ministrio Governo Federal


Educao a Distncia Cincia e Tecnologia da Educao