geometria e medidas

Nmeros 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 Educao a Distncia

Ministrio da Cincia e Tecnologia

Ministrio da Educao

Governo Federal

Transformao de Mbius

Guia do professor
Sinopse 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
O estudo das transformaes desempenha um papel muito importante em vrias reas da matemtica, bem como da cincia como um todo. Umagrande importncia das transformaes reside no fato de elas tornarem possvel transformar problemas aparentemente complicados em problemas anlogos com solues mais simples. August Ferdinand Mbius, matemtico alemo que nasceu em 1790 emorreu em 1868, introduziu o que hoje conhecemos por Transformao de Mbius como sendo uma transformao complexa de varivel complexa, denida por uma composio de convenientes transformaes mais sim ples, a saber: translao, rotao, dilatao (ou contrao) e inverso. A proposta deste experimento apresentar uma maneira simples de introduzir a Transformao de Mbius atravs de exemplos, utilizando os 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 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 tica associada a cada uma das transformaes apresentadas na primeira etapa. A terceira etapa envolve o estudo de transformaes que podem ser expressas como composio de pelo menos dois dos movimentos bsicos e tem como objetivo desenvolver a habilidade de identicao destes movimentos, assim como de associao entre a forma analtica datransformao e seu comportamento geomtrico.

Motivao
O estudo de nmeros complexos na maioria das vezes no abordado nas aulas do Ensino Mdio. O motivo seja talvez pelo fato de no estar em evidncia em problemas de nvel elementar ou, tambm, por falta de materiais adequados de apoio ao ensino-aprendizagem. Este experimento vem mostrar uma aplicao que contempla estes dois aspectos: est em nvel adequado para alunos do Ensino Mdio e preten demos que se torne um material de apoio a ser utilizado nas escolas. Alm disso, trata-se de uma interessante aplicao envolvendo a inves tigao de transformaes convenientes no plano atravs de funes que levam nmeros complexos em nmeros complexos. Esta proposta vem facilitar sobremaneira o estudo dessas transformaes com suas atuaes em tringulos e mostrar suas relaes com matrizes.

O experimento
Comentrios iniciais
O desenvolvimento deste experimento propicia rever conceitos de matrizes e suas propriedades, assim como rever o conceito de nmeros complexos, suas operaes e propriedades. .

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

Transformao de Mbius 

Guia do professor

2 / 19

 a c az + b az + b 1 bc = 0= az +0 b czz+ dd f(z) = a b c d z ad c = = c(= f z) 0 = f(z c az + b az + b b d cz + d cz + d , abcd ad bc = 0 c = 0 z = d f(z) = c=0 f(z) = c=0 c cz + d d az az az az + + + + b b b b az + b az + b d az az az + + + + b b b b az az + b d d d d az d+b az b com a , ,c ,d complexos e . A condio f f ( z ( z ( ) z z )) = ) = = = f a a ( a b z b b b ) c c = d c d d nmeros ad ad ad ad bc bc bc bc a= = b = = 0 c 0 0 0 d f(z) c c c = = c = ad = = 0 0 0 0 + bc z z z = = z = = = 0 a b cc d = c c = c = = 0 = 0 0 0 0ad zf = f ( f f ( z ( bc z ( ) z z )) = ) = = =0 c = 0 c = 0c f c c ( = c = z = = ) 0 0 z = 0 0= c=c 0 = 0 f(z) = az + b c=0 c c c c c az az ++ bb az + bb f(z) =cz + d ad bd cd ad bc = 0d c+ = 0 z =cd c=0 f(z) = d c=0 cz cz cz cz + + + + d d d d cz + d d d daz d c e d no podem ser simultaneamente nulos. Alm disso, se f(f z( )z= ) = garante que aa bb cd c ad ad bc bc = = 00 ccz = c = 00 z = c = c= 00 f(f z( )z= )= c= c= 00 + d z = d cc az + b cz cz ++ dd d d bc = 0 c = 0, a funo z = d c=0 f(z) = c=0 c az + b az + az + b db abcd ad bc = 0 c = 0 z = f(z) = abcd ad bc = 0 c = 0 z = d f(z) = c=0 f(z) = c=0 c cz + d cz + d d +b az + b az + b d az + b az + b az + b fig. 1 d para todo tal ,a enquanto que, se f(z) a= b est c d denida ad ab bc c= d0 f ad (c z)= = bc 0que = 0 z = cc = b 0c c= d0 z = ad f( z )bc = c = 0 , como c f(= z) c 0 = = 0 z = d cc == 00 f(z) = c=0 c c az + b az + b az + b +d cz + d cz + d d d d d nulo e a b c d f(z) ad = bc = 0, temos ab cc =d 0no ad z = d bc = 0 c = 0 c = 0 f ( z ) = z = c = c 0 = 0 f ( z ) = c = 0 c c az + b a c az + b cz + d d d d seja, o0 valor f(z),= multiplicando c a= matriz f(z) = abcd ad bc = 0 Ou c = 0 podemos z = c obter c= 0 linha z 1 = az + b b d cz + d d d , pela matriz c=0 bc = 0 c = 0 z = c c=0 f(z) = a c az + b d z 1 , = az + b cz + d f(z) = f az + b az + b az + b b d cz + d d = d o que implica que est denida para todo complexo . Pode ser provado c = 0 z = c = 0 f ( z ) = c = 0 f ( z ) = a b c d ad bc = 0 c = 0 z c = 0 f ( z ) = c = 0 c c a c az + b az + b d cz + d d az + b d z obtendo 1 de dilataes (ou contraes), translaes a matriz dividindo o primeiro c = 0 que f( zuma ) = composioc =rotaes, 0 = az + b cz + d e, depois, f(z) = f(z) elemento 22 c b d d cz + d cz + d

Antes de iniciar o experimento, o professor poder fazer uma reviso com os alunos do conceito de nmeros complexos e suas operaes az + b e,tambm, do conceito de matrizes. Alm disso, deve ser apresentada f(z) = cz + d adenio de Transformao de Mbius e mostrar como pode ser expressa na formamatricial. Uma Transformao de Mbius uma funo complexa dada por

Matriz associada a uma Transformao de Mbius

abcd

Observando o diagrama em ad bc = 0 c = 0 a seguir, z = d c = 0 que f(pode z) = ser expressa c= 0 c notamos d notao matricial.

az + b

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 = f(z z 1 cuja No experimento so analisadas as Transformaes de Mbius . = az + b cz + d f(z) = f(z) 22 z1 z2 z3 z1 1 az + b az + b b d cz + d cz + d constante complexa a zero. est denida f(z )= abc d igualad bcAssim, = 0 a transformao c = 0 z = d c = 0 f ( z ) = c = 0 c cz + d d para todo nmero complexo e, em particular, ela est denida para todos os pontos de um tringulo e para seus pontos interiores. Alm disso, neste az + b  Denio d caso, ser um tringulo bc = 0 c = 0 pode z = c = 0que f(transforma z) = c = 0 em outro cujos c provado d vrtices so as imagens dos vrtices do tringulo inicial. Usaremos essa Dizemos que a matriz a c az + b az + b az + b d z 1 caracterstica de0Mbius em que c = 0 parafinvestigar )= a b c d das adTransformaes bc = 0 c = z = (z) = c=0 = az + b cz + d f(z) = c b d cz + d d cz + d seus comportamentos. az + b az + b matriz associada 0 Transformao de Mbius ,z dada f(z) = a b c d uma ad bc = 0 c = z = d c= 0 f( ) = por c=0 c

cz + d

az + b , f(z) = cz + d

abcd

ad bc = 0

c = 0

az az az az + + + + b b b b az + b d d d d com a ,a , ,d complexas e ff ( f ( f z ( z ( ) z z )) = ) = = = a a b b f b b c (c z c d c ) d d =constantes ad ad ad ad bc bc bc bc = = = a = 0 0 b 0 0c dcc c = c = = = 0 0 ad 0 0 zbc z z = z = = = = 0 c c = c = = = 0 0 0 0 c c c c. c cz cz cz cz + + + + d d d d cz + d

az az az + + + + b b b b d az ff ( f z ( f z ( z ( = ) z z )) = ) = = = c = 0 cc c = c = c d d d d

Transformao de Mbius 

Guia do professor

3 / 19

o aluno investigar qual o comportamento geomtrico da transformao relao a estas matrizes, pode ser observado que: z correspondente. Isso ser feito da forma descrita a seguir. se 1. , b= e0 isto , a| | parte real diferente zero e= b = b = b b b = + + b i + b b b = 01 0 = b b= b = 0, 0 = 0 |b |b b b | b= b = 00 =0 b2b= b = 0de 0 = 0 z = z 1 + 1 = + 2i 12i + 2i z 1 1b 1 2 2i 2i 1 2 2 azaz +b + az b+ b azaz +b + az b+ b 1 10 1 0 1 1 01 a a0 0 a1 1 0 1 1 110 0 1 0 2 2 2 + cz d+ d escolhidos complexos , z2 e z tais que suas parte imaginria igual a zero, ob tringulo se desloca horizontalmente, d= d =i d = i i a aR a f(z f)(= z)f= (zDevem ) = ser f( z f)(z)f(z) trs nmeros 2 22 2 z2 R R z z z = f = ( zz f1 (= ) z1f )(z1 z) = = ( zz f2 (= ) z2f )(z2 z) z = f = ( zz f3 (= ) z f )(z3 ) b bC C C 1 z1 z 1 2 2 3z 3 z 3 3 1z 1 1 2z 2f 2 3a 3 3 0 0d d 0 d 0 01 1 0 1 b b1 1 b 1 cz cz +d + cz d+ d cz cz +d + cz d+ d representaes no plano complexo formam os vrtices de um tringulo. para a esquerda para a2 direita, distncia igual b ou =b i buma b2 = 0 a |b|; b1 = 0 b2 = 0 1 +b 1 = 0 0 z i Para uma dada matriz, utilizando a expresso matricial da transformao se ,b eb , isto , 1 um imaginrio puro, o tringulo b= bb = + + b2 b i= b b1 = +0 b = 0 b2. b b = 0 = = b0 0 =b | b|b |+ b |b = b i 0 = = b |b0 | = 02b b = = = b 0 0= 0 b z = = |b + 0 1 | 2i + 2i b z1z= = 0 1 + 2 = + 2i 2b 3i + 3i =z0 = 2 z + 3 = 3i = 32i + 1+ 2i2i z3b 1b 1b 2i 1b 2 2 1 1 20 2 1 2z 2 2 2z= 3z 3 1+ az az +b + az b+b a 1a 02 0 a 01 1 1 1 0 0 11 2 0 1 1 0 1 0 120 2 1 = f= ( f= ( f= ( correspondente, calculam-se os valores , e , se desloca na vertical; a a a d = d = i d = i i (z) 2 22 2 z2 z z C C C R R R z z z z z ( z z f ) = z f ) ( z z ) = z ( z z f ) = z f ) ( z z ) = z ( z z f ) = z f ) ( z ) b b b 1 1 1 2 2 2 3 3 3 1 1 12 2 2 2 2 23 3 3 3 3 3 1 1 1 0 0 1 1 0 1 0 0 d d 0 d b b 1 1 b 1 cz + czd + cz d+d que tambm denem um tringulo no plano complexo. Analisando visualse e bb , o se nas b = b 1 + b2 i b1 = 0 3. b b= = b0 = b1b + b + b2 |b i 2 i ,bb = b = 0= 0 0 = b = 0= 0 0 tringulo z1 |b= ||b1 | +b 2i b = = 0z 0 b2 + = = 0 duas 0 z z1 z = = 1 3+ + 1 2i + 2i2i 2 1| 11 1 22 2 1 1desloca 2= 2b 2 3i 3 1= 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 comlados e as medidas dos ngulos so mantidas, isto , o tringulo inicial e o transformado so congruentes. posio desses movimentos. Assim, ser fcil identicar o movimento visualmente. Cada grupo de alunos receber matrizes, uma Exemplo : Para , temos: b= btrs = bb + = b + b = b i+ b ib+ b ib b = i b 0que b10 b = 0 = = b 0 20= b20 |b = ||b 0| |bb |1 |b= | b 0 10= b10 b = 0 = b 0 b20 z = = 0 = 1 z1 + 1= z 2i + 2i = +1 2i + z22i z = 2 z2 + 2= z 3i + 3i = +2 3i + z, z = 3 z3 + 3= z 2i + 2i = +e 3 2i + b= 2i b= 2b + 2= 2i + b2 2i = + 2 2i + 2i 1b 1b 2 1 21 2sendo 1 2 1 = 10= 2b 2resulta 1= 2b 2 = 20= 1z 1 11 2, = 22 33i 3= 33 em uma translao, outra em uma dilatao (ou contrao) e outra corres 0 10 0 1 0 1 1 = z z z 2 2+ +2i 2i 1 1f,(j 1 1 z z zj 1 zj z 1 + 2i 1 jz + 2 1 jj,= = 1 ,.,2 2 ,,3 3z2i z = f f (= ( z z )) = = z z pondendo a uma rotao. As matrizes, nesta etapa, so dos seguintes = 1 , 2 ,+ 32i zj z= = 2 z,j1 3 + 2 + f (= z z ) 3 z + + 4i 2 j j+ j+ j 2 j j jj jj+ j) 1 j1 j jj j= 2 2 + + 2i 2i 1 1 2 + 2i 1 2 + 2i 1 tipos: 0 1 101 0 =f = = + = =z + = =z + = zj 1 zjzj 1 1 + 2 zj + z + 2i + 2+ 21 + 2i2i 1 1 zj j = 1, jEnto, = j = 1, 1 2 ,3 2, 2 3z ,j 3 z ( f = (f zz ( )j + = )2 = zj + z + 2i + 2. + 2 + 2iz 2i 31 z= 3+ 3+ 4iz 4i 42 z= 4+ 4+ 5iz 5i 53 z= 5+ 5 Assim, ,3 j j) jz j j jz 1 =z 14i 2, 25i 34i 2 + 2i 2 + 2 1 + 2i 2i 1 1 1 0 Translao Dilatao 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 zj + 2 + 2i 1

az + b z) = cz + d

az + b pelo = f(z ) Partindo de matrizes 2 2 previamente f(z) z1 z2selecionadas z3 z1 = f(professor, z1 ) z2 2 cz + d

z3

= f(z 3 )

1 0 a 0 1 0 Tambm, comparando pelos diversos grupos com d = i aR b C as concluses obtidas 0 d 0 1 b 1

2 + 2i 1

ou contrao

1 0 1 0 a 0 a 0 1 0 1 0 1 0 1 0 a 0 d = i d = i d = i a a a z ) = f ( z ) b C b C b C R R R 33 3 d 0 d 0 d 1 0 1 0 1 0 b 1 b 1 0 1 b a 0a 0 a 0 1 01 0 1 0 0 1 0 aR a R, a > a0 Rd = di = i d = i bC bC bC 0 10 1 0 1 0 d0 d 0 d 1 b 1
TABELA 1

Im z z z z z z

Translao Para matrizes do tipo

= f(z 1 )

z2

= f(z 2 )

z3

= f(z 3 )

1 0 , b 1

bC

a 0 0 1

aR

1 0 d = i 0 d

com b uma constante os percebam = b1 + b2 i complexa, b1 = 0 esperamos b2 = 0 que |b | alunos b1 = 0 b2visual= 0 mente que o movimento realizado uma translao.

z1 = 1 + 2i

z2 = 2 + 3i

z3 = 3 + 2i

b = 2 + 2i

Re

fig. 2

Transformao de Mbius

Guia do professor

4 / 19

 = Note = = = 2 que se desloca unidades, + + 32i + 4i z1 z = + 44i +cada 5i zponto + 55i + 4i z3 =5 2 + 4i |2 +2 2i|isto 2 = 2, 2 | 2 + 2i 2 |+ = 2i 2 2 jz 12 23 2z 34 unidades na vetor nmero z1 = 3 + 4i z2 = 4direo + 5i do z3 = 5 correspondente + 4i 2 2 ao|2 + 2i| =complexo 2 2 2 + 2i . = 3 + 4i a um horizontal Isto corresponde na seguido = zj + 2 + 2i z1 zdeslocamento z3 = 5 + 4i de 2 unidades, 2 |2 + 2i| = 2 2 2 = 4 + 5i deslocamento z1 = 3 + 4i de um z2 = 4 + 5i z3na = vertical 5 + 4i de 2 unidades. 2 |2 + 2i| = 2 2 2 + 2i

2 + 2i
Im

2 + 2i

z z z z z Re z

1 0 a 0 d = i aR = f(z 3 ) bC , 0 d 0 1 1 0 esperamos que os alunos percebam visu0 constante real positiva, com a uma d = i aR bC 0 d uma dilatao ou uma contrao. 0 1 almente que o movimento realizado
z3

Dilatao ou contrao tipo Para matrizes do

a 1. 0

a > 2. 1 = 1 + 2i

mento realizado uma rotao de 90 graus em torno da origem, no sentido z d rotao = i dez90 1+i z2 = 4 origem, +i z3 sentido = 2 + 2i horrio para d = i e uma graus em torno da no j1 1= 1 zj 1 d = ipara d = i. z1 = 1 + i z2 = 4 + i z3 = 2 + 2i anti-horrio 0 Tambm, pode ser observado que as medidas dos lados e as medidas so mantidas, isto , o tringulo inicial e o transformado so dos ngulos 2 0 0 2 2 0 2 0 = ( f = = 2i = 4i 1 1 1 1 1 1 1 1 2z 2z 2z 2z z z z z j j = = 1 j 1 = j 1 = = = = = z1 = = z 1 1 = + z + 1 1i 1i = + 1 1i + z 1i z = = z 2 2 = + z + 2 1i 1i = + 2 1i + z 1i z = = z 1 1 = + z + 1 2i 2i = + 1 2i + a 2i a = = a 2 2 = a 2 = 2 , , 2 2 , , 3 3 , 21 ,3 , 2z , z 3 z f = (z zj ) = (= z = f) 2z ( 2z z = )2z = z z1 z 2 2= + z + 2 2i 2i = +2 2i +z 2i z2 = z2 4 4transferidor, = + z + 2i = +4 2i +z 2i z3 z3 2 2= + z + 4i = +2 4i + congruentes. Pode ser proposto aos alunos que, utilizando Exemplo: z Sejam , , . Se , temos: jj j j jj j j j) j jj j2z j 1 1 1 2 2 2 2 3 3 3 3 j j= jf 1= 1 1 2 um 24 3= 32 0 0 1 0 1 0 1 1 meam o ngulo de rotao. 0 2 2 0 1 0 1 0 = = z = = 1 1 = 2z = j 2z j ,= 2,1 3 ,.2, 3 zj zf zjf )(= zj ) 2z = 2= +2 2i + 2i z2 z2 4= +4 2i + 2i z3 z3 2= +2 4i + 4i d =d = i i z3 1= +1 2i + 2i a =a 2 = 2 zj z j 1 ,j=1 j 1 3= j 2zj z1 = j( 1 0 10 0 0 1 0 1 0 d 0 d 1 1 d = 1, temos: 1 = 1+ z = z z z zi z1 =i = d i=d i= di= d = i d = i: zi z11= z + 1 i= +1 i+ zi z24= z + 4 i= +4 i, + zi z32 d = z + = 2 2i = i + 2i +d 2i = = Exemplo Sejam .2 Se j j j j z1 1= 1 2, = 2 3= 3 2i 0 0 i 0 i i j j 1 1 1 0 1 0 0 0 = f = 2 2 , = 4 4 = 2 2 1 1 2z1 j = j j 1 = = j 1 1 = 1 , 2 , , 3 , 2 2 , , 3 3 , 2 , z 3 z z = = ( z z f f ( ) = ( z z = f ) ) ( 2z z = = ) 2z 2z = 2z z z z = = z + 2 2i = + + 2 2i 2i + 2i z z z = = z + 4 2i = + + 4 2i 2i + 2i z z z = = z + 2 4i = + + 2 4i 4i + 4i d = d d = = i d = i i i Ento, . Assim, , . j j j j jj j j j j j j j 1 1 1 1 2 2 2 2 3 3 3 3 2 1 0 0 0 0 0 d 0 d d d = f(z ) = 2z = z j zj 1 1 = 2z 2,1 3,. 2, 3zj z1 1+ =12 + 1+ a2 =+ 2 2i = j zj1 i , j = 1 j,= d = i z1 = d= 1i i zz + i1i z2z= 4+ i 2i z3 = 3= j j 12=

= 2zj 1

Ademais, comparando as concluses obtidas pelos diversos grupos com ser observado que: relao a matrizes deste tipo, pode 0 a 0 se a > 1, a 0 ,o se dilata, sendo a oR fator de dilatao. Neste R< atringulo <1 1 0 1 caso, as medidas do tringulo transformado so maiores do que as medidas do tringulo inicial; a 0 Se 0 < a < 1, o tringulo sofre uma contrao, sendo a o fator R de contrao. 0 1 Neste caso, as tringulo so menores do que as 2do0 transformado medidas = f(z ) = 2z zj 1 inicial. = 2zj 1 j = 1 , 2, 3 zj a = 2 do tringulo medidas j j

1 0 b 1

fig. 3

isto , os ngulos so preservados e as medidas dos lados do tringulo transformado so proporcionais s medidas dos correspondentes lados do tringulo inicial. importante perceber que a dilatao (ou contrao) se d em relao origem do plano complexo.

= 2 + 2i = 4 + 2i = 2 + 4i d = i 1 0 = = 2 + 4i j= 1 , 2, 3 zj = f(z j ) = 2zj e oztransformado z2 4 + 2i z3 com d = i , esperamos que os alunos percebam visualmente que o moviNos dois casos o tringulo inicial so semelhantes, 1 = 2 + 2i 0 d 0 1

z1

z2

Rotao Para matrizes do tipo

z3

1 0 , 0 d

0 0 1 i

Transformao de Mbius

Guia do professor

5 / 19

Ento,

pretaes geomtricas das operaes de nmeros complexos, para dizer se zj z z 1 1 1 jj = fz = = = = = = = = z = = z z zj ( z z = ) = f f ( ( z z ) ) = = iz = = iz iz z z z 1 + = i 1 1 + + z i i z z 1 + = 4i 1 1 + + 4i 4i z z z 2 + = 2i 2 2+ +2i 2i . a transformao uma translao, dilatao, contrao ou rotao. Alm j j j k k j k j j jj 1 1 1 2 2 2 3 3 3 i i i ii

1 1 z , = = z= zkiz zjkiz = = zj z 1 + = 1 i +1 i+ z2 i z2 = z 1 + = 1 4i +1 4i + z3 z3 = z 2 + = 2 2i + 2i + 2i Assim, , 4i .2 k= j iz 1= 1= 1 2 3 i i

Im z z z z z z Re

disso, pode ser proposto aos alunos que comparem as concluses obtidas na etapa 1 com as concluses via anlise das formas analticas. 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 correspondente. No demais lembrar que, dada uma matriz

fig. 4

abcd

z 1

az + b f cz + d az + b az + b forma analtica correspondente de Mbius , z)= f(z) = para obter a a bcd ad da bc = 0 c = 0transformao z = d c= 0 f( c cz + d d z 1 az + b cz + d devemos multiplicar a matriz linha z 1 pela matriz f(z) a c az + b z 1 , = az + b cz + d f(z) = f b d cz + d az + b 1 0 z 1 obtendo z a1 matriz az + b cz + d , e depois dividir o primeiro elementob C f(z) = f( b 1 cz + d f(z) =
desta matriz pelo segundo elemento, chegando a

a c z 1 , = az + b cz + d b d

z 1

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

Etapa 2 Explicao das transformaes e suas formas analticas z 1 z

f(z) =

az + b cz + d

az + b d A forma da ao primeiro tipo de ad bc = 0 c =analtica 0 z = c=0 f(correspondente z) = c= 0 ctransformao d

matriz da etapa 1, ou seja,

Translao

az + b cz + d

f(z) =

az + b . cz + d

1 0 b 1

bC

f(z) =

z+b 1

az + b cz + d

az + b f(z) = cz + d

1 0 com b C , b 1

z+b f(z) = = z+b 1

a 0 f 0 1

cz + d

b 1

0 1

Transformao de Mbius

Guia do professor

6 / 19

0 < a < 1 uma dilatao a > 1e, se 0 < a < 1, a transAssim, se a > 1 , a transformao Dilatao e contrao az + b d transformao correspondente matriz do tipo formao uma contrao. Alm disso, o fator de dilatao ou contrao = 0 z = A c = 0 f ( z ) = c = 0 c d 1 que 0< <1 a.> Note aa dilatao (ou contrao) em relao origem do plano z+b az 0 a 0 ,f(z) = bC f(z) = = z+b = az z = x + yi z = r(cos + i sen ) complexo. 1 0 1 1 1 az 0 Rotao uma constante + i sen ) f(z) = com = az z = x + yireal positiva, z = r(cos 1 1 Na etapa 1 foram investigadas as matrizes do tipo z+b az a 0 = az . z = x + yi z = r(cos + i sen ) C f(z) = = z+b f(z) = z 0 1 1 0 1 1 f(z) = d = 1 f(z) = , d = i az 0 d a 0 d O nmero complexo na forma polar dado por f ( z ) = = az z = x + yi z = r ( cos + i sen ) 0 1 z z az + b az + b 1 0 1 d az 0 d= i . = f(z) = = 1 f(= z)0 = f= iz + i0 sen A0 forma da transformao correspondente f(z) = a b c dcom ad bc canaltica = 0 dz = c (z ) = i = cos = 2c 2 c 0 d f(z) = = az z = x + yi z = r(cos + i sen ), d i cz + d d 1 matriz 1 x rrcos y rrsen az (( cos iisen )) e, ff zqquadr zqquadr az ar x= x= r = cos cos e y = y= r = sen sen . az az == ar =ar ( ar cos cos + + i+ sen sen ) f portanto, zqquadr az az ar ar com Logo, z z z z 1 0 1 0 = os az r cos = ar ( y cos =a y rtransformao sen = +i rsen sen )az = az far = (cos ar zqquadr ( cos +nmero i sen + i sen ) complexo ) f az f zqquadr zqquadr e argumento az az ar ar d = i df = (z )= i . f(z) = f (ziz )= i= d= = 1 d f (z )1 = = leva cada dear mdulo 0 d 0 d d i d i qquadr s en y + ) = i sen r sen f ) no zqquadr fnmero az az=zqquadr arcomplexo ar (cos + i sen az de ) mdulo az ar f ar zqquadr . Ou seja, az a transar e argumento z z 1 0 x = r cos y inclinao = r sen doaz = ar (cos + i sen )ao ponto f zqquadr faz d = i (z) = ar Se d = 1, f(z) = = iz i = cos 1 z = r(cos formao mantm a vetor correspondente e 2 + i sen 2 z z 0 d 1 0 d i 2 + i sen ) o mdulo f zqquadr por az ar d = i f(z) = d = 1 f(z) = = iz . i = cos + i sen 1 z multiplicado . 2 2 d d i 2 0 z z z 1 0 1 z0 i = cos 3/2 i sen 2(z) = i = cos /2 + senf d+ = i 3/ f dd = = ii1 (/ z f2 ( )z ) = mdulo = diz = i= f(z) = = i = cos cos + i sen 1 + izse = Como ,= seu 1e o argumento iz . Sendo 2 2 z z 0 d 0 d Im 1 0 d d i i 22 d = i f(z )= d = 1 f(z) = = iz i = cos + i sen 1 z = r ( cos + i sen ) iz 1r r + , pela interpretao geomtrica do produto de n meros 2 z z z i z z 2 2 1 0 0 d1 0 1 0 z d 2 3/2 + /2 + . d= f (zi )= d f= (z) = d i = f1 (zd ) =f (z 1 ) = df= (z = )= iz 1 = f i(= z iz ) cos = i+ = =icos iz ii= sen + sen cos 1 i1 sen z r(cos 1 z = + ri (cos sen z + )= i sen r(cos iz tem ) +1r i sen iz r ) 1r, ou iz + r 1r, e + r + complexos, o produto mdulo seja, argumento ay i d = az 2 2 2 22 + 2= z z az + b az + b 0 d 0 d 0 d 1 0 d d d i i i 2 2 2 2 2 2 d 3 = r cos r sen = ar(cos sen fsen zqquadr e argumento az /2 + ar d = i f(z) = f(z) =d = 1 fa (zb )= = iz i= i sen 1 zi = r cos o + i ), de iz 1r r + transformao ponto mdulo , ao /2 + cd x ad bc cos 0y= c = 0 Logo, z az =a c = 0+ f(leva z ))= c= 0 2+ 2 + z d 3 az 3 z z bc az + b 0 d 0 d 2 2 cz + d 3 3 3 i d i iz f(z) =2 + i i sen i = cos + i sen iz + / 2 + / 2 + d = i f(z) = d = 1 f(z) =d = = i= = cos 1 z = r ( cos + i sen ) iz 1r r + ponto , de mdulo e argumento . Com isto, conclumos que f ( z ) = a b c d ad bc = 0 c = 0 z = c = 0 f( z) = 2 2 2 c d i 2 cz 2 d i 2 2 +d d 3/ 2 + de 2+ sentido anti-horrio e centro na origem. a/rotao no z 3 3 ar 3 f(z) = = i i = cos 3 iz + Se d = i , 2 + i sen 2 z 3 i 2 2 3 3 = i i = d = i f ( z ) = cos + i sen . 2 2 z i 2 y z z 1 0 + = = cos /= 2+ iisen 3 / 2 i= cos /2 i sen /2 d f( z ),= d = 1e f (z )= iz /2.+i Como i = cos 3 seu mdulo + o argumento 3 2+ z z 0 d 1 0 r d i d = i f(z) = d = 1 f(z) = = iz i = cos 2 + i sen 2 1 iz 1r r geomtrica + do produto de Sendo z = r(cos + i sen ), pela interpretao 3 z z z z z 0 d 1 0 1 0 d i 2 3 3 2 3 d = if= f(z) = = i i = cos + i sen iz + d = i df = (z )= i f(z) d= = 1 d f = (z )1 = (ziz )= i = iz i = cos + i sen cos + i sen 1 1 z = r ( cos z + = i r sen ( cos ) + i sen iz ) 1r iz r 1r, e + r + nmeros complexos, o produto tem mdulo , ou seja, argumento 2 2 2 2 2 2 z z az + b az 0 d 0 1 d 0 2 2+b d d i i i 2 2 3 2 d 2 / 2 + / 2 + x = r cos y = r sen az = ar ( cos + i sen ) f zqquadr az ar d = i f ( z ) = d = 1 f ( z ) = = iz i = cos + i sen 1 z = r ( cos + i sen ) iz 1r r + . Logo, a transformao leva o ponto , de mdulo e argumento f ( z ) = a b c d ad bc = 0 c = 0 z = c = 0 f ( z ) = c = 0 2 c 2 3 z+ d 3 2 z z d d 0 d 1 0 2 cz 3 3 Re i 3 3 i iz f(z) = i i sen iz /= 2 /sen 2+ /2r + /2 + . Com isto, conclumos d = i f(z) = d = 1 f(z) = d = = i = cos + 1 2 + i sen z r( cos ponto +i ) , de mdulo iz + 1r e argumento + , ao 2+ 2 i = cos az + b 0 d i 2 2 az + b 3 2 i d 2 2 ax / 2 + / 2 + que a rotao de no sentido anti-horrio e centro na origem, que f(z) =x abcd ad bc = 0 c = 0 z = d c = 0 f ( z ) = c = 0 c cz + d d 3 fig. 5 2 + de /2 + sentido horrio e centro na origem. igual /rotao no

Transformao de Mbius

Guia do professor

7 / 19

 x = transformao r cos y=r sen az ar(cos + i sen )qualquer f zqquadr Esta multiplica um= nmero complexo pelo d b r1 = r nmero complexo a/d e, ao resultado, o nmero complexo /d somado. 1= aa az az ++ bb az az ++ bb aa bb aa a a b a a0 0 ab f(que z f( )z = )uma = transformao ad ad bc bc = = 0 0 c = c = 00 ad ad = = 00 f(z f( )z = )= = = z+ z+ r= r= |z|| z r1r= = | | | | + + r r r r z + z + z z Considerando Lembremos de Mbius de nida por e| o argumento do nmero complexo 1 1 1 1 1 1 1 b bd d d dd dd czcz ++ dd d d dd dd dd d d a b az + b az + b az + b a b az ba + b b a a a a ba a b a a az 0 + b az + a 0 a 0 a |1 b d ad 0 bcc= 00 = 0 cad =0 f(z) + r= z|= e| 1 r1 f(z) = f(z) = f(zad ) = bc ad = 0 c0 = = ad = 0 ad = 0 f(z) = f(z) = = z= + = z + r= = |zz | r = |zr | = |=r |r = | | 1 + r z + r1 zr + z / d r1 ||1 /+ a z , bc = , 1 1= 1 1 1 r 1r+ 1r d b d b d b d d d d d ddd d d dd d d cz + d cz + d cz + d da d d d az + b az + b a b a a b a az az az az + + + + b b b b az az az az + + + + b b b b a 0 d d d d r1 = a fad ( z) = ad = 0 c= 0 ad = 0 f (z) = o argumento = z + do nmero r = |z | /d | , pela 1interpretao 1 + geomtrica r1 r z+ com a ,b , , complexos .c O objetivo do complexo f ( z ( ( z z ) z ) ) ) = = = = a a a b b b c c c c d d d d nmeros ad ad ad bc bc bc bc = = = = 0 0 0 0 e c c c c = = = = 0 0 0 0 bc z z z z = = = = c c c c = = = = 0 0 0 0 experimento ff f ( f ( z ( ( z z ) z ) ) ) = = = = c c c c = = = = 0 0 0 0 c c c | az + b az + b a b a a b a d b d a 0 d d d d d cz + d d d cz cz cz cz + + + + d d d d d d d d a bc que devemos b d/ (z) = ad = 0com c = 0, o que ad = 0 ca f(z) = = z + do produto r = |z| r1 r = | | 1 r1 o + r1 z + complexo z /dnmeros =complexos, = |1 a | a/d zr o nmero finvestigar as transformaes signi de produto 1 d az + b az + b az + b a b az + b az a + a b b a b a a a b a a b a a b a az az + + b b az az + + b b b d a 0 a 0 a 0 d d d d d cz + d d a d d bc = f(0 z) = f cconsiderar (= z) 0 = ad ad = ad =complexos 0 bc = c0 =0 c fc ( = z ad ) 0 = = 0 = = 0 .= z0+ f ( r z = )etapa = |z|f (= z )d = r ==c |c z + |0 = z1 + = |= z1 |+ r= |z r|1 = r1c |r r |1 = | z1 + | 1 + z, r1 r r1 r z+ z+ z produto z de mdulo nmeros ,b , com Assim, nesta e argumento como na gura. Assim, este f f (0 z (bc z ))= = a a b c d d ad ad bc bc = 0 c c= = 0 0 z z = = = 0 f f (r z (z ) )= c= = 00 1+ +b b b a b d bd d d b d a 0 d cc 1 d d az d dd da dd d da d cz + d cz + d az + bcz d dd d a d d cz + + d d d d f(z) = ad bc = 0 c=0 ad = 0 f(z) = = a z composio + r = da |z| r1 de = |ngulo | 1 e a dilatao 1 + der z+ z rotao so consideradas matrizes do tipo fator 1r b d d d d d d cz + d d d a b az + b a b a a r1 = b d a a 0 b d dz ad bc = 0 c=0 ad = 0 f(z) = = z+ r = |z| r1 = | | 1 1 + r1 r/d z + a . z r1 = | /a| , b d d d d d d d d az az az + + + b b b az az ++ bb az az az + + + b b b dd az az ++ bb d d , ,c nmeros complexos, sendo ez no nulos. coma z ( zz ) )) = = = a a b b b c c d d d ad ad ad f ( f z bc ( ) bc bc z = )= = = 0 0 0 c cc = = = 0 0 a 0a bc b z d c z = = d =d ad c cc bc = = = bc 0 0 = 0 = 0 0f f( f (z ( z c z ) )) = c = = = 0 0 z = z = c c = = = 0 0 c 0= c= 0 0 f(f z( )z = )= c= c= 00 c c cad cc c Im d d cz cz cz + + + d d d czcz ++ dd d d d
Esperamos que os alunos, ao receberem uma matriz do tipo

Etapa 3 Troca de matrizes

ad bc = 0

c=0

ad = 0

az + b az + b analtica transformao f(z) =tenham a iniciativa a b c d de encontrar ad bc =a0forma c = 0 z da = d c=0 f(z) = c 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 diculdade, oriente-os a encontrar a forma analtica e a interpret-la.

a 0 , b d

f(z) =

az + b a b = z+ d d d

r = |z|

a r1 = | | d c=0

1 +

r1 r

a b z+ d d

a z d

az + b az + b a b a a b a a 0 r = |z| r1 =r| | f(z) = ad bc = 0 c=0 ad = 0 f(z) = = z+ 1 1 + r1 r z+ z Forma da transformao associada matriz b d cz +analtica d d d d d d d d az + b d Re da ac matriz ad bc = 0A forma c =analtica 0 z = c=0 f(correspondente z) = =0 ctransformao d b b az + b a a a b a a 0 fig. 6 ad bc = 0 c=0 ad = 0 f(z) = = z+ r = |z| r1 = | | 1 + r1 r z+ z , 1 b d d d d d d d d az + b az + b Agora, pela interpretao geomtrica da soma de nmeros complexos, acom b c d um nmero ad bccomplexo = 0 cno = 0nulo,z = d c=0 f(z) = c=0 c cz + d d a soma a b b a +b az + b az + b a a b a a b a a a 0 a 0 = z+ . z+ z + r = |z|1 +r c = 0 ad ad = bc 0= 0 c=0 ad f(z = )= 0 f(z) r == |z| = r1 z = | | 1 | r 1 z + 1 + z r1 r 1 = | r1 b d b d d d d d d d +d d d d d d d d d d a r1 complexo d b/ dtransladar r1 = corresponde a nmero o d z pelo vetor correspon d = | /a| a/d a a b d r1 = r1 = | /a| dente ao complexo /d. dz a

Transformao de Mbius

Guia do professor

8 / 19

Se b = 0, temos= 0

b d

e trs possibilidades: 1. se

a d b=0 b =0 d

b = 0 b =0 d

b=0

a transformao a composio de uma rotao e de uma contrao, 2 + 26i + 2 2 6i + +6i 0 6i 0 0 0 a = a = a 2 a = + = 26i + 2 2 6i + +6i 6i b ,= b6 = b + b 6 = 8i = + 6 6 8i + + 8i 8i d= d1 = d + d 1 = i = + 1 i+ +ad iique ad = ad 0 = ad 0 = =0 z 0 z z z = = + 1 = i = + 1 1 i+ +z ii = z = z + podendo ser simplesmente uma contrao se /d for um nmero real Nestea caso, e .1 Note . 1Primeiro 11 1 1 2z 23 2 2 az + b az + b 6+ 68i + 6 6 8i + + 1 8i 8i + 1i+ 1 1 i+ +ii d positivo; vamos da transformao associada a esta matriz em f(z) = abcd ad bc = visualizar 0 c = o 0 efeito z = c = 0 f ( z ) = c = 0 c cz + d d 3. se um tringulo e, em seguida, vamos encontrar e analisar a forma analtica b b a az + b az + b a d =0 b = 0 = 0 da f (1 z, ) = abcd ad bc = 0 c = 0 z = c=0 f(correspondente. z) = c=0 = ctransformao + 2 + 6i 2 6i +d 6i 0 0 0 cz + d d d 2 d d a= a= a 2 = + 2 + 6i 2 6i + 6i b= b= 6b + 6= + 8i 6 8i + 8i d= d= 1d + 1= + i1 i+ i ad ad =ad = 0 0=Sejam 0 z1z= z1 1 + 1= + i1 i+ i z,2z= 3 z2 + 3= + i3 i+ z3z= 1 z3 + 1= + 2i 1 2i 2i ei .+ Temos: 1= 2= 3= 6+ 6+ 8i 6 8i + 8i 1+ 1+ i1 i+ i a transformao uma rotao, podendo ser a identidade se, tambm, 2 + 2 6i + 6i 0 0 a/d for igual a 1. zj z 1 +2 6i + )z6i )z6 8i + 8i 1+1 i +i , j = 1 = ( = 2( j ,= 13 2, ,. 2, 3 j 1 j+ j +6 a b Se b = 0, temos =0 b d d a b=0 =0 d d b=0 a =1 b d 0 = b = 0 d 6+6 8i + 8i 1+1+1 a =1 d
Ento,
= f(z ) = zj j

a transformao a composio de uma rotao e de uma dilatao, podendo ser simplesmente uma dilatao se a/d for um nmero real positivo; 2. se a a b b = 0 b=0 > 1= 0 0 < < 1, b = 0 =1

a < > 1, b =00 d

b =0 a d d

a =1 b d b = 0 0 = d b <= 10 d a =1 d

a =1 d

b=0

a transformao a composio de uma rotao, uma contrao e de uma translao, podendo ser a composio de uma contrao e uma translao se a/d for um nmero real positivo; 3. se a b b a =0 b = 0 = 0 = 1,

a transformao a composio de uma rotao e de uma translao. E, se tambm a/d for igual a 1, a transformao simplesmente uma translao. Exemplo: Seja a matriz

2 + 6i 0 . 6 + 8i 1 + i

a = 2 + 6i

b = 6 + 8i

d=

e trs possibilidades: 1. se

(2 + 6i)zj + 6 + 8i . 1+i

= 5+7 z1 i

= 9 + 15 z2

b =0 d

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 = 0 b=0 > 1= 0 0 < < 1, b = 0 =1

a < > 1, b =00 d

a (2 ( +2 6i ( + )2 z 6i + ) z 6i ) zj + 6+ + 6 8i + +6 8i + 8i b j j = = 5= 5 z 9= 9 = 1= 1 1 <= 1 0 zj zjf= ( f) ( = z = f) (z = + 7 = + 7i +7 z2 + 15i = +9 15i +, 15i z3 z3 z + 9i = + 9i +z 9i z11= z + 1 i= +1 i+ z2 i= z23= z + 3 i= +3 i+ z3 i= z31= z1 z1 z Assim, .1 z= j j) = i 5 i, = 1= 1 2 j 1 2 z 2 3 d d 1 +1 i +1 i+i

Transformao de Mbius 

Guia do professor

9 / 19

Im z

Logo,

a a b b 2 + 2 61 + 61 6 + 6 8i + 8i s f(z f) (z = ) =z+ z+ == z+ z+ == (2 ( + 2 4i +) 4i z) + z( + 7( + 7i + ) i) 1i +i 1+ 1i +i d d d d 1+

a au bb 2 4i + 4i e s+u= = 7+ 7i + == 2+ .i dd dd

aa z= z= (2 ( + 2 4i +) 4i z )z 1= arg arg 2+ 2 1= dd

Pela interpretao geomtrica do produto de nmeros complexos, o produto

f(z) =
z

a b 2 + 61 6 + 8i z+ = z+ = (2 + 4i)z + (7 + i) d 1+i 1+i d

a = 2 + 4i d

b = 7+i d

a z = (2 + 4i)z d

1 = arg 2 + 4i

a composio da rotao de ngulo 1 = arg (2 + 4i) e a dilatao de fator

a r1 = = |2 + 4 d

f(z) =

a b 2 + 61 6 + 8i z+ = z+ = (2 + 4i)z + (7 + i) d 1+i 1 + i z d

a = 2 + 4i d

b = 7+i d

a z = (2 + 4i)z d

1 = arg 2 + 4i
Agora, a soma

6 + 8i = (2 + 4i)z + (7 + i) 1+i
z

a = 2 + 4i d

b = 7+i d

a z = (2 + 4i)z d

1 = arg 2 + 4i

a = 2 + 4i d

b = 7+i dz

a z = (2 + 4i)z d

Re

1 = arg 2 + 4i

a b b a a b a b = |7 + i| = 5 2 = 7 + i = 7 + i z = ( 2 + 4i ) z = arg 2 + 4i r = = | 2 + 4i | = 2 5 z + = ( 2 + 4i ) z + ( 7 + i ) z = ( 2 + 4i ) z , 1 1 z6 6 + 8i d j+ d d8i d d d d tringulo = = d 5= +7 5 + 7 zo = z 9= + 15i 9+ 15i z3 z3 1pelos = + 9i 1+ 9i z1 = z1 1= +i 1 + i, z2 = z2 3= +i 3 z3 1 + 2i 1 + 2i z1 z 5= + 7i 5 + 7i z2 = z2 9= + 15i 9 + 15i z3 = z3 1= + 9i 1 + 9i z1 = z Visualizando determinado vrtices , + i z3 = = 1 1 a i i 2 2b a a b a a b +i =z =1 = 3+ +(i z1tringulo = 5+ 9= +( 15i 9iarg 2vrtices 4i )z 7 + i)z3 = 1 + =2i 2+ 4io = 7i 7 +transformado i z2 2+ 4i)z 3 + + 4i r1 = = |2 + 4i| = 2ou5seja, transladar z+ = ( 2+ 4i)z +e (7 + i) do vetor z = (correspondente 2 + 4i)z = , e determinado pelos na direo sentido a 7+i e 1= d d d d d d d d = 5= 5 , = 9= 9 = 1= 1 2i = +1 2i + 2i z1 z1 z + 7i = + 5 7i + 7i z z z + 15i = + 9 15i + 15i z z z + 9i = + 1 9i + 9i , , podemos perceber facilmente que com deslocamento igual a 1 2 2 2 3 3 3 houve pelo menos uma dilatao se houve mais a e uma rotao. b Para ver a b a b = |7 + i| = 5 2 . z = (2 + 4i)z 1 = arg 2 + 4i r1 = estes + 4ipara | = 2 transformar 5 z+ =( 2 + 4i)z + (7 + i) z = (2 + 4i)z = 7+i algum movimento, ou se bastam um no outro, = |2dois d d d d d d
vamos analisar a forma analtica da transformao. A forma analtica da transformao

fig. 7

a r1 = = |2 + 4i| = 2 5 d

a r1 = = |2 + 4i| = 2 5 d

a r1 = = |2 + 4i| = 2 5 . d b a z + = (2 + 4i)z + (7 + i) d d

a b z + = (2 + 4i)z + (7 + i) d d

a z = (2 + 4i)z d

b = 7+i d

corresponde a transladar o nmero complexo

a b z + = (2 + 4i)z + (7 + i) d d

a z = (2 + 4i)z d

b = 7+i d

pelo vetor correspondente ao complexo

b = |7 + i| = 5 2 d

b = |7 + d

f(z) =

b 2 + 61 6 + 8i a z+ = z+ = (2 + 4i)z + (7 + i). d d 1+i 1+i

a = 2 + 4i d

b = 7+i d

a z = (2 + 4i)z d

1 = arg 2 + 4i

a r1 = = |2 + 4i| = 2 5 d

a b z + = (2 d d

Transformao de Mbius

Guia do professor

10 / 19

Im

f(z) =

az + b cz + d

abcd

ad bc = 0

+ i

az + b d Portanto, c matriz c = 0 z = a c=0 f(correspondente z) = =0 ctransformao d 2 + 6i 0 zj 1 = (2 + 6i)zj + 6 + 8i 1 + i 6 + 8i 1 + 1

a composio de uma rotao, uma dilatao e uma translao.

j=

Re

Fechamento
+i

A seguir, desenvolveremos alguns conceitos necessrios para a realizao do experimento. Nmeros Complexos Em um plano com um sistema de coordenadas, um nmero complexo pode z1 =x z2 = x2 + y 2 i ser representado tanto pelo ponto P(x, y) como pelo vetor com inicial 1 +y 1 i ponto (x ,y ) z1 = x1os + y1 i na origem dos eixos coordenados e ponto nal em P. O plano em que nmeros complexos so representados chamado plano complexo ou plano de Argand-Gauss.

fig. 8

z1 z2 =

Im translao no sentido e direo do vetor correspondente a + i e deslocamento + i = dilatao de fato z z z z z

Im

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

Re Re x

fig. 9

fig. 10

Transformao de Mbius

Guia do professor

11 / 19

x2 + y 2 i

x1 + y 1 i

A soma de nmeros complexos Im P(P x ( ,y x,)y) z1z= x1x + +1y i1 i e z2z= x2x + +2y i. i soma z1z + + = (x( + + )2 + )( + y( y + +2y )2 i )i (x( + + ,y y + +2y )2 ) z1z = z1z + + ( z2z )2 ) r r r r 0 0 x= x= r cos rc Considere os nmeros complexos 1= 1y 2= 2y 2A 1z 2z 2= 1x 1x 2x 1 1y 1x 1x 2x 2, 1 1y 1z 2z 2= 1 ( y z 2 2 z1 + z2 Pdos ( = x, (y x ) + x z ) + P = ( ( x y , y + + ) y y i ) z i = z x ( x = + + x y x + i , y y i + z y = z ) x + + z z y = i ( z x = + z z x + + ) z + ( = ( y z ( x ) + + y x ) r i ) + ( y ( x r + + y 0 x ) , i y x + = ( y x r cos ) + x , z y y + = z y r = sen ) z + z ( z z z = ) = r ( cos z r + ( = i z sen r ) 0 ) r x r = = r r cos x 0 + y x y = = r r r co s = nmeros complexos e de nida por 1 21 1 1 1 2 1 21 1 212 2 1 2 2 12 2 1 2 2 1 11 2 2 1 21 22 11 22 1 2 1 2 11 22 1 1 22 1 2

z 2 = x2 + y 2 i

z1 + z2 = (x1 + x2 ) + (y1 + y2 )i .

(x1 + x2 , y1 + y2 )

z1 z2 = z1 + (z2 )

r0

x = r cos

y = r sen

z = r(cos = i sen )

Interpretao geomtrica da soma e da diferena de nmeros complexos Re P(x, y) z De acordo x1 + ycom z2 = P nio, (x x2 ,y + )y a2 soma i z1 = z1 x+ z2 y= dos z2 x2 = )x + complexos (+ y1 y+ x2 +( x x ,y + + y + ( y1 + zy )i z2 = z (x + + ( x2 z,2 y )1 + y r2 ) z r1 0 z2 = x z1 =+ r ( cosz yr= r senr 0 z =xr= (cos rc 1= 1 i a de 1+ 1 i(xnmeros 1+ 2 2 iy2 )i z1 +(z 1= 2 1 1x 2) 2) 12 11 2) x x x x x + yz i + z2z= e (xz = corresponde x( x )1+ + (x y2 + + ao y (2 y) ponto i + y2() x i1 + x( x ,1 y+ x2 y ,2 y) .+ Este yz ) ponto, z2z= por z1 zsua + ( vez, zz ) (zr r r 0 r x0 = r cos x= r cos y = r sen y= r sen z = r(cos z= r = (cos i sen = )i sen r ) = x r2= + y2 x2 + y r2 = |z| r = | a z 21 1+ 1 2+ 2 1) 1 2 1+ 1 21 1 2= 1 2+ 2) corresponde ao vetor cujas componentes so as coordenadas do ponto. Assim, oy nmero soma que repre+ y1 i z2 = x2 + z1 + z2 =representado (x1 + x2 ) + (pela y1 + y2 )i dos vetores (x1 + x2 , y1 + y2 ) z1 z2 = z1 + (z2 ) r r 0 x = r cos y = r sen z = r(cos = i sen ) r= z z 2i y y ,= como gura. y) z1 P = (xsentam ,1 y + ) y1 i z1 e =zx +x y + imostra y2 i z2 a = zx + + zy = i ( x1 + z1x + z+ (y( x+ y2 x)2 i) + (y (x + + yx ), iy1 +(y x2 + x2 ,zy + zy = ) z1 + z( z2 z2 ) = z1 r+ (z2 r) 0 r x = r rcos 0 x y= =rr cos sen yz= =rr sen (cos = iz s 21 21 1 2 22 2) 2= 1 1+ 11 22 1) 11 22 1
z Im y+y z+z y

fig. 12

O produto e o quociente de nmeros complexos A seguir, vamos apresentar as expresses para as operaes produto e quociente de nmeros complexos na forma polar e as interpretaes z y geomtricas dessas operaes. e as polares ponto representando , como = x1 x+ + y y i i z z = = x x + + y y i i z z + + z z = = ( x ( x + + x x ) + ) + ( y ( y + + y y ) i ) i ( x ( x + + x x , y , y + + y y ) ) z z z z = = z z + + ( zSejam z )2 ) r P r (x ,y )rcoordenadas r 0z0 = x+ = r y cos r1 cos i do z2 y = y == x r2 sen r+ sen y 2 i z= z1 = r+ (r cos z (cos == (x = i1 sen i + sen x ) )) + (y r1 1 1 1 2 2 2 2 2 2 1 1 2 2 1 1 2 2 1 1 2 2 1 1 2 21 1 2 2 1 1 2 2 1 1 ( 2 1 =x1 2 2 na onde r 0. + y1 i z 2 = x2 + y 2 i z1 + z2 = (x1 + x2 ) + (y1 + y2 )i (x1 + x2 , y1 + y2 ) z1 z2 = z1 + (z r x = r cos y = r sen z = r(cos = i sen ) r= 2 )gura,
y z Im Re x x x+x

fig. 11

2sen r z (cos a diferena podemos fazer: (yz + + y z )i = (x1(Para + x1x + ) x+ y y +y y ))i z1 (x + = zy + + ( y2 z ) z1 r z2 = rz + (z x ). r cos r r y =0 r sen x = r cos zy= r(cosy = r i sen ) zr= =r x2 + = yi ) = |z|r = arg x2 ( + z) y2 11 2 2 2obter 2 ,( 1 1+ 2 2 1z 2,x 2, 11 2) 10 2= 2 2 Assim, oy nmero soma r dos vetores que repre)i (x1 + x z1 z2 =representado z1 + (z2 ) pela r 0 x= r cos y = r sen z = r(cos = i sen ) r = x + y r = |z| arg (z) 2 , y1 + 2) 2 r x2 sentam e mostra ar gura. + + )2 , y1z + y z )2 = zz + ( z2z= zcomo ( z2 ) r 0 xr = r0 cos x = y r cos = r sen y = r z sen = r( cos z == i sen r(cos ) = ir sen = )x2 +r y= r= +y |z2 | arg r =( |z|) arg (z) 1y 2x 1 2 11 2 ), 1 +r
Re x

r = |z|

ar

fig. 13

Transformao de Mbius

Guia do professor

12 / 19

 2+ 2 y2 r y =y x r= sen r cos sen , e oz nmero = y z r= (cos rcomplexo ( sen cos = i= sen i sen z = ) pode r( )cos r ser = r escrito = =x i sen x2 y + ) r= =r |z = |x2 |z+ | arg y2 arg (z) ( rz= ) |z| arg ( z) Im 2 2 2 2 forma polar por , com Assim, x (x = r rcos x20 , y1na +x y = = )rr cos sen z1 zy = = r zr sen (+ cos ( z = izsen = r r () cos = rr= i sen 0.x )+ xy =r r= cosr = x |z + |y=r arg sen r(z = ) |z| z =arg r( cos (z) = i sen ) r = x2 + y2 zw r = |z| arg (z) 1+ 2 2z 1 2) 2 + y2 ( chamado o ou0 valor absoluto do nmero complexo . Tambm, z1 z2 = z 1 e + z2 ) rmdulo r x = r cos y = r sen z = r ( cos = i sen ) r = x r = | z | arg ( z ) 2 2 2 2 o2 mdulo de denotado por , assim, .O r x rsen ( cos cos )+ (y = sen z yy = = r ) r( ) isen cos r (= x = i+ sen zx = , r + ) y (cos y+ r y= rsen = x2 |z + |) y2 z2 arg r= =z ( rz = )+ x |z ( |+ zy )arg (r z) = |zchamado | r arg 0 (z) x = r cos y = r sen z = r(cos = i sen ) r = x2 + y2 2 1i+ 1 2 1 2 )i 1 1 2ngulo 2 de r= cos i sen )yargumento =r rsen = x2 +zy = e r( denotado cos 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

= zr +r ( z r 0 ) Ento 0 xr= x r= cos rr cos 0, 2r 1 2

r = |z|

arg (z)

na forma polar, fazemos:

z1 z = = rcos 1 + + sen i sen 1 ) 1 ) e z2 z = = rcos 2 + + sen i sen 2 ) 2 ) z1 z 1 z2 z = = rcos 1 + + sen i sen 1 )1 r )2 ( rcos 2 + + sen i sen 2 ) 2) 1r 1( 1 (cos 1i 2r 2( 2 (cos 2i 2r 1( 1 (cos 1i 2 (cos 2i

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

sen 2 )

sen 2 )

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

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

cos 2 )]

= r1 r2 [(cos 1 cos 2 sen 1 sen 2 ) + i(cos 1 sen 2 + sen 1 cos 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 )]

rr = 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 )]

Produto de nmeros complexos A expresso para o produto dos nmeros complexos

w

(cos sen +isen sen 1 ) 2z )] =r r1 cos r2 [ cos ( i1 sen + 2 ri (cos(2 sen 21 2 2+ 2cos 1 z2 = 1( 1+ 1) + 2sen 1+ i 2 )] .2 ) Interpretao geomtrica do produto de nmeros complexos Pela expresso para o produto obtemos

z1 z = = rcos 1 + + sen i sen 1 ) 1 ) e z2 z = = rcos 2 + + sen i sen 2 ) 2 ) z1 z 1 z2 z = = rcos 1 + + sen i sen 1 )1 r )2 ( rcos 2 + + sen i sen 2 ) 2) 1r 1( 1 (cos 1i 2r 2( 2 (cos 2i 2r 1( 1 (cos 1i 2 (cos 2i

=r = 1 r2 [( r2 cos [(cos 1 cos 2 sen 1 sen 2 )2 + )i + (cos i(cos 1 sen 2 1r 1 cos 2 sen 1 sen 1 sen
r

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

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

+ sen i sen (1 ( + + 2 )] |z1|z z |z= z1||z 1 |z |2 ||z2 | e arg arg (z1 (z z ) z2 = ) arg = arg (z1 () z+ + arg (z2 () z = = rcos 1 + sen i sen 1 ) 1 ) z2 z = = rcos 2 + sen i sen 2 ) 2 ) ,2 ) z1 z 1 2 )] 12 2 | |= 12 1 )arg 1r 1( 1 (cos 1i+ 2r 2( 2 (cos 2i+

isto , o mdulo do produto o produto dos mdulos e o argumento do produto a soma dos argumentos. Assim, a representao geomtrica do produto o vetor de comprimento igual ao produto dos comprimentos r r [ [ cos cos ( ( + + ))+ +iisen sen (( + )] )] |z |z z z ||e = = |z |z || |z |z || dearg arg (( z z z )) = arg(( z z ))+ +arg arg(( z z )) vetores que representam cujo ngulo inclinao = a arg soma 1 1 2 2 1 1dos 2 2 1 1+ 2 2 1 1e 2 2 1 1 2 2 1 1z 2 2 1 1 2 2 arg iz sen z1 = zr (cos r2 ( cos + i2 sen i sen zgura. dos ngulos ,+ conforme 1 +( 2 ) 1 ) 2 1= 1e 1 ) 2 ) 2 = r2 (cos 2 + i sen 2 )

Re

fig. 14 z z =r r (( cos cos +iisen sen )) 1 1= 1 1 1 1+ 1 1

z z =r r (( cos cos +iisen sen )) 2 2= 2 2 2 2+ 2 2

Transformao de Mbius

Guia do professor

13 / 19

= = cos r+ r1 ( i cos (2 sen cos + i + ) + i i sen sen = )) z r1 cos z z2 z = = = r r1 + r2 ( i cos r (sen cos + () + i sen + sen z ) 2 ) + z) sen z rz ( r z 1 z+ [= cos = r r ()] 1 r 2 r + [cos [ cos |z ) ( ( + z i + sen |+ = |( z ) ) + |+ + i|z i sen sen |2 )] ( ( arg + + | z ( z )] 1 )] z2z |2 = ) |z |= z arg |z z |z |( = |z = |1|cujo z )|z + | | arg |ngulo z |z |(z |2 z arg arg )inclinao = z (z (arg z = z r( z z ) (1 ) cos = )= + arg arg arg ( + z (( z i z ) sen ) + )+ arg arg )z (z ( = )) z r2 = cos zz r = (= cos re + r1 ( i cos (2 sen cos i + ) + i i sen sen Expresso trigonomtrica para o quociente de complexos e e de a ngulos ,+ 1 1 1sen 1 2 )z 2 1 1 2( 22 2 2 2 [cos 22 1i 1 2 2 2i= 1nmeros 1 2 2 2 1 1 2 21 12 1 2 2 1 1 2 11 2 1 2 11 2 2 2 1 1 22 1) 2 1 1 1 2 1 2 1diferena 1 1 2 1dos 1z 2 2 1( 12 1 1 1 1sen 1 2 )z 2
Para encontrar a expresso do quociente dos nmeros complexos conforme gura.
Im

fazemos:

z z1 r1 r1 = [cos [cos (1 ( )2 + )i + sen i sen (1 ( )]2 )] z1 z = = rcos 1 + + sen i sen 1 ) 1 ) e z2 z = = rcos 2 + + sen i sen 2 ),2 ) r2 r = = 0 1 = 1 2 1 2 1r 1( 1 (cos 1i 2r 2( 2 (cos 2i 20 z2 z2 r2 r2 = r1 r2 [cos (1 2 ) + i sen (1 2 )] r2 r2 [cos (2 2 ) + i sen (2 2 )]z
r r

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

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

i sen 2 ) i sen 2 )

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

(1 2 )] (2 2 )]

r r

Re

Quociente de nmeros complexos A expresso para o quociente dos nmeros complexos

fig. 15

z z

z z1 r1 r1 = [cos [cos (1 ( )2 + )i + sen i sen (1 ( )]2 )] z1 z = = rcos 1 + + sen i sen 1 ) 1 ) e z2 z = = rcos 2 + + sen i sen 2 ),2 ) r2 r = = 0 1 = 1r 1( 1 (cos 1i 2r 2( 2 (cos 2i 20 1 2 1 2 z z r r 2 2 2 2 r z Como calcular o quociente de nmeros complexos + i sen 2 ) se r2 = 0 , 1 = 1 [cos (1 2 ) + i sen (1 2 )] z1 |z1 | z1 11 + 2i (11 + z r 2 2 z1 r1 = arg (z1 )de |z2 | = 0 = arg arg z2 ) 1 2 z = x + yi o z = x yi = O conjugado um (nmero complexo nmero complexo z | z z 11 + 2i ( 11 + 2i )( 2 + i ) 20 + 15i | + i sen ) r = 0 = [ cos ( ) + i sen ( )] . z2 z2 (2 2i |z2 | 1 1 2 1 2 2 2 2 1= 1 = | z arg ( z ) arg ( z ) z = x + yi z = x yi = = = 4 + 3i | = 0 arg . Para calcular a diviso de dois nmeros complexos, basta multiz r 2 1 2 1 2 2 z |z |2 z2 2i (2 i)(2 + i) 5 2 2 de nmeros complexos Interpretao do quociente z1 |z1geomtrica z1 | | = 0 arg Pela para|z o2quociente obtemos = arg (z1 ) arg (z2 ) = expresso
plicar o numerador e o denominador pelo conjugado do denominador. Por exemplo,

11 + 2i (11 + 2i)(2 + i) 20 + 15i = = = 4 + 3i . z2 2i (2 i)(2 + i) 5 |z2 | z2 z1 |z1 | 11 + 2i (11 + 2i)(2 + i) 20 + 15i = |z2 | = 0 1 2 z = x + yi z = x yi = = = 4+3 z |z | , 2i (2 i)(2 + i) 5 2 2 Caso Geral da Transformao de Mbius z1 z1 + 15i 11 + 2i (11 + 2i)(2 + i ) 20 = |z1 | se |z2 | = 0 , istoarg = do arg (z1 ) arg z2 ) 1 z = x +e yi z = x yi = analisaremos o = 4seja, + 3i quando a matriz associada , o mdulo quociente ( o quociente dos Agora, caso geral, = ou 2 mdulos, az + b z2 |z z2 2i (2 i)(2 + i) a c 5 2 | abc d ad bc = 0 f(z) = transformao f do tipo z1 |z1 | z 11 + 2i ( 11 + 2i )( 2 + i ) 20 + 15i b d cz + d 1 = az + = arg (z1 ) arg (z2 ). |z2 | = 0 = arg 1 2 z = x + yi z = x yi = a c = 4 + 3i z |z | abcd ad bc = 0 f(z) = , z2 2i (2 i)(2 + i) f 5 2 2 b d + az az az az az + + + + b b b b az az az az + + + + b b b b cz a c d d d d f a b c d ad bc = 0 f ( z ) = com a Assim, a representao geomtrica do quociente o vetor de comprimento ,a ,c ,d complexos quaisquer satisfazendo . ff ( f ( f z ( z ( ) z z )) = ) = = = a a b b b b c c d c d d nmeros ad ad ad ad bc bc bc bc = = = = 0 0 0 0 cc c = c = = = 0 0 0 0 zz z = z = = = c c c = c = = = 0 0 0 0 f f ( f ( f z ( z ( ) z z ) ) = ) = = = c c c = c = c c c c b d cz cz cz cz cz + + + + d d d d d d d d 1 2 z = x + yi z1 = arg (z1 ) arg (z2 ) arg z2 z = x yi
igual ao quociente dos comprimentos dos vetores que representam

Transformao de Mbius

Guia do professor

14 / 19

 bc ad 1 d d soma inverte f ( z ) T c = 0 z z = ( z ) = z + I ( z ) = D ( z) bc = z 2 a1 dc 1 bc ad ad az + d 1b bc ad a 1d c 1 bcz ad d d d1 c c = 0 z z = f ( z ) T ( z ) = z + I ( z ) = D ( z ) = z ad bc =z0 = . D(z) = = T T1 (z )= + f(z) I( z) = z T ( z ) = + z ( T D I T )( z ) = ( T D I ) z + = ( T D ) I ( z ) = D c = 0 z z = f ( T ( z ) = z + z T ( z ) = +z 1 2 2 1 2 2 22 d z c2 c21 cz + c2 zd c c c2 c c zc c c d c z+ z+ az + b a c c c bseguinte cd ad bc = 0 f(z) = A expresso de f pode ser reescrita a da forma: b d cz + d multiplica por ad bc ad a bc ad d 1 bc ad(cz + d) + a d ad 1 a bc + az + bc ad bc ad 1 a bc a 1 1 az + b f(z) T1 (z)f= + I( z) = = z T2 (z) = z +(T2 D I T D ) z+ + = (T = T2 = + c D(z) c c += 1 )(z) = 2 D) (T2 f 2 c 2 = = (z )I= (zz )= d d c z c c c c c c d z+ d c cz + d cz + d cz + d c c c2 z + z + c z+ c c c c d 1 bc ad a d 1 a bc ad az + 1b bc ad 1 a c + bc I( z) = a D(z) = bc 2 T2 (z) = + z (T2 D I T1 )(z) = (T2 D I) z + = (T2 D) f = T2 a b c2 = ad z ad ad d ad bc= = 0 + f(z )= 1 (z) = z 2 d d b d c z (cz + d) + c c c c c c az + + cz + d a bc ad 1 a bc ad 1 z + z + z + c c c = + f(z) = + = c c c c d cz + d c c c cz + d c2 d z + c z + d 1 bc ad a 1 a bc ad 1 a bc ad c+ d = (T D) 1 c D I T )(z) = (T D I) z soma z) = z + I(z) = D(z) = z T2 (z) = + z (T = T2 = + = 2 1 2 2 2 2 2 d d d c z c c c c c c 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) = + = + 2 d c c d d c c c c2 z+ z+ c z+ c c c a a a d d ddd 1 bc ad d d d fig. 16 1 1 1 a bc bc bc ad ad ad d f T z um nmero z = adcomplexo f (z) c T = c1= c ( 0z = 0 )= 0 z, + zcom z z = zbc = zI= ( z) = z( ) z( )z)DT (1 z T( ) z = ( )z( = )z= ) z= + z + z + z I ( I z ( ) I T z ( = ) z ( = ) z = ) = D + D ( z D ( ) z ( = ) z = ) ( = T D z I z T z )( T T z ( ) T z ( = ) z ( = ) ( z T = ) = + D + z + z I z ) ( T z ( T + ( T D D I = I (T T I1 T )( T)( z D ) )( z) = )z = ) (T = (2 T Assim, se c = 0, para qualquer , f(f bc ad a ad 1 1 2 2 1 2 2 2 2 2 2 2D 2 1 1 2 2 2 2 bc ad d d 1 bc ad a d 1 1 c c c z z z c a bc ad c c (cz + d ) + c c c z a bc ad c c c az +c + c c c 1 1c az + z z =ovalor f(z) pode T1 (z) =b z + seguindo I (zo )= D(z) = z T ( z ) = + z ( T D I T )( z ) = ( T D I ) z + = ( T D ) = T ser obtido diagrama: z + c c c c 2 2 1 2 2 2 az + f(z) = + = +c c f(z) = =c = d a c c z c2 c2 d f2 a bcomposio: cd f(z) = z + d Logo, a transformao pode ser obtida pela cz + d c c c cz + d cz + d c z + ad bc = 0 b+ d z c z+ cz + c c 1 bc ad d c d a I(z) = D(z) = c = 0 z z = f(z) T 1 (z) = z + ; z T2 (z) = + z da translao c z c c c2 bc ad d d 1 a D(z) = c = 0 z z = f(z) T 1 (z ) z inverso + I(z) = ; z T2 (z) = + z (T2 D I T1 )(z = da z c c c c2 d d 1 bc ad c = 0 z z = e dilatao f(z) (ou T1contrao) (z) = z + em relao I(z) = z ; T2 (z) = da rotao origem D(z) = c c z c2 bc ad d d 1 a d c = 0 z z = f(z) T 1 (z) = z + I(z) = D(z) = z T2 (z) = + z . (T2 D I T1 )(z) = (T2 D I) z + = (T2 e da translao c c c z c c2

d a c z z = a b c fd (z) b d c

A forma analtica da transformao

Transformao de Mbius 

Guia do professor

15 / 19

ad a ad a (cz + d) aaz az + b (cz + d ) az + az + b az + az + b 1+b az + b az + b a + b az + b c cad c c d az f ( z ) = ad bc = 0 ad bc = 0 ad = bc c = 0= 0 b= dfracadc fb ( Enm, 2. Se , ento deve ser no nulo e, como , conclumos que ad bc = 0 ad = bc c = 0 = dfracadc f ( z ) = = = = c = 0 ad = bc f ( z ) = = f ( z ) = f( z) = b ad bc = 0 ad bc = 0 = bc c = 0 b = dfracadc f ( z ) = = = = cf = 0 = bc f ( z ) = a b c d ad bc = 0 c = 0 z f ( = z ) = c a b (z c ).d = ad ad c cz + b cz +1 d cz + d bc ad cz + d1 ccza cz d+ d d z+ d cz + bd d+ cz cz + dcz c + d bc d a a d 1 a ad bc ad 1 1 azcz ++ b az b+ Assim, 1 ad bc a ad = T2 T2 z)+ =z + z (T2 ( D T2 ID T )( zT )1 = )(( zT )2= ( D T2 I) D zI + ) z+ = (T2= ( D ) D) = T2 + d) = + = + = = = f(z= ) f(z) (cz 1I 1 az d az + dc d d +b c c c c c c2 c2 d cz + d cz +az d +b b c2 c c2 d a c = = . f(z) = ad bc = 0 ad = bc c = 0 b = dfracadc f(z) c=0 ad = bc z= + z+ = z + z= + z+ z + f (z) = cz + d d z cz cz + d cz + d c c c c +d c c c ad a az + ( cz + d ) az + b az + b a c = c bc ad b = bc bc 1 f(z )= ad a bc = 0 ad ad 1 bc = 0az +ad c = 0 b = dfracadc z) = = = c=0 ad = bc f (z) = Logo, f( constante. 1 = = f(z). = T2 b a cz + d cz + d cz + d cad cz + = + 2 2 d d d c cz + d c (cz + d) a azc+ b z + az + b az + b az + c az + z+ z+ f(z) = ad ad bc =f0 (z) = ad = bc ad c Enm, = 0 bc = b 0 = dfracadc ad bc = 0, f( z) ad = = bc no =c sendo, = 0 portanto, b ==cdfracadc = f(z)c= =0 quando constante, uma trans c c bc = 0 c cz + d cz + d cz + d c cz + cz + b cz + b
Portanto, uma transformao de Mbius qualquer pode ser expressa como uma composio de transformaes mais simples, a saber: trans laes, rotao, dilatao (ou contrao) e inverso. Observao A Transformao de Mbius denida por formao. Este caso chamado singular. Circunferncias e Transformaes de Mbius fcil perceber que a translao, rotao, dilatao e contrao transfor mam uma circunferncia em uma circunferncia. Por sua vez, a inverso

ad a (cz + d) a az + b az + c 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 + b az + b z cz + d cz + d cz + d c cz + d d c = c ad bc = 0 ad bc = 0 ad = bc c= 0 b = dfracadc f(z) = = = c=0 f(z) = , ad ad ac cz + b cz + d a cz + d cz + d transforma uma circunferncia em uma circunferncia ou em uma reta, ( cz + +b d) az (cz + d) a az + b az az + b az + c az a+ c az az az az + + + + b b b b az az az az + + + + b b b b a c ou c ad = bc d d d d + bad f ( z ) = ad bc f( z = )= = ad bc ad = 0 bc = ad 0 = bc ad bc = 0 b ad = dfracadc = bc c = 0 f ( z ) = b = dfracadc = f ( z = ) = = = c = = 0 = com a , ,c , complexos e . A condio assim como transforma uma reta em uma reta em uma circunferncia, f ( z ( ( z z ) z )) = )= = = a a a b b b b c c c d d d d nmeros ad ad ad ad bc bc bc bc = = = = 0 0 0 0 c c c c = = = = 0 0 0 0 z z z = = 0 c c c c = = = = 0 0 0 0 f f ( f f ( z ( ( z z ) z ) ) = ) = = c c c c = = = = 0 0 0 0 az + ( cz + d ) c c c +b az + b c a az + b cz + bd 1 cz + d cz cz+ +d d cz c +d cz + d c cz + b cz cz cz cz cz + + + + d d d d d d d d ad = bc necessria c = 0 b = dfracadc z) =seja uma = funo c = c c=0 ad =obc z) = f(visualmente z) = para garantir que f(no constante. Para = que jf( no fcil de= perceber levando em considerao cz + d cz + d cz + d c cz + d d z justicar 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 + c a az + b c ad bc = 0 ad bc = 0 ad = bc c = 0 dilatao b = dfracadc (zinverso, )= = ela transforma = = c=0 a f(z) = (ou contrao)fe ento circunferncias cz + b cz + d cz + d cz + d c em circunferncias ou retas, assim como transforma retas em retas ou az az ++ bb az az + + b b ad ad a a dd s faz sentido e f dene uma funo, e d no forem simultaneamente circunferncias, o( que constitui de suas principais propriedades. (f z( )z= )= ase a bb cd c ad ad bc bc == 0 0 c = c = 0 0 z = z = c= c= 0 0 f(f z( )z= )az = +az + c = c = 0+ 0 cz ( cz d) + d ) uma c c az +az b +b az +az b + b dd a a az +az b +b b ad a cz cz ++ dd c c c c = = c = 0c = 0ad =ad bc= bcf(z) = f (z) = = = f(z f(z) = f(z) = iguais ad ad bc =bc 0 = 0ad ad bc =bc 0 , ou =0 ad =ad bc= bcc = 0c+ =duas 0 b =possi dfracadc b = dfracadcf(z) = f(z) = = = = = a zero. Assim, se seja, , temos (cz d ) a az + b b 1 az + b az + c cz + cz b +b cz + cz d + d cz + cz d + d cz + cz d + d c c cz + cz d +d d bc c = 0 bilidades b = dfracadc z) = = c = c=0 ad = bc f (z) = e Transformaes = f(z) =Mbius para a funo f(denida por = ngulos de ad a cz + d d z cz + d cz + d cz + d c fcil perceber que a translao, rotao, dilatao e contrao (cz + d)trans az + b az + c a az + b c = c=0 ad bc = 0 ad bc = 0 ad = bc c = 0 b = ngulo dfracadc f(z) = congruente, = ou seja,= f(z) = : formam um em um ngulo preserva ngulos. cz + b cz + d cz + d cz + d c ad a Por sua vez, a inverso (cz + d) a ad az + b b 1 az + b az + ad a b dfracadc = 1. Se c = 0, ento , o que implica ad = bc b= f(z) =que = az + c = c (cz + d) = c=0 ad = bc f (z) = = f(z) = a az + b b 1 az + b c cz + d d z cz + d cz + d c = ccz + d = c c=0 ad = bc f (z) = = f(z) = ad = bc c = 0 b = dfracadc f(z) = = ad cz + ad z cz + d d cz + d cz + d c (cz + d) a az + b b 1 az + b az + c pode transformar, = = c = . c=0 ad = bc f (z) = = f(z) por = exemplo, um ngulo em dois arcos de circunferncias, 0 b = dfracadc f(z) = ad cz + d ad cz + cz + d c cz + d d z como mostra a gura. (cz + d) a az + b az + c az + b b 1 c b = dfracadc z) = = = = c=0 ad = bc f (z) = = f(z) = Logo, f( constante. cz + d c cz + d d z cz + d cz + d

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

fig. 17

Denindo o ngulo entre esses arcos como sendo o ngulo entre suas tangentes no ponto de interseo dos arcos, pode ser provado que o ngulo inicial e o ngulo entre os arcos so congruentes.

Como uma variao deste experimento, possvel propor aos alunos as seguintes questes: 3 3 3 A A BC B CC, associadas ABC ABC ACB ACB AB AB AB deBA BA BA x x x+ + + px px + + qq Considerando matrizes A , e transformao translao, B ABC ACB px + q de rotao e de translao, respectivamente, analise se as transformaes 3+ AB BC CA BA C ABC ABC B ABC ABC ACB ACB ACB ACB AB AB AB BA BA AB BA x x3 BA +px px x3 correspondentes aos produtosA eA so iguais. B CC ABC ACB AB BA 3 3 3 A A B B C ABC ABC ACB ACB AB AB de BA BA +px + px px +q + qq Considerando matrizes A ,B e C, associadas ACB transformao rotao, C ABC AB BA xx x + + de translao e de rotao, respectivamente, analise se as transformaes 3+ AB BC CA BA C ABC ABC B ABC ABC ACB ACB ACB ACB AB AB AB BA BA AB BA x x3 BA +px px x3 correspondentes aos produtosA eA so iguais. B CC ABC ACB AB BA 3 3 ABC transformao ACB AB AB BA x x px Considerando matrizes AA eB ,C associadas de translao e++ B C ABC ACB BA px ++ qq de rotao, respectivamente, analise se as transformaes correspondentes az + a 3q C CB ABC ACB ACB AB AB AB BA BA BA x3 + x3 px + + px q+ xq =x = x aos produtos A BA e BA so iguais. C ABC ABC ACB x ++ px

cz + c

ABC

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 az az ++ b b az + b az az ++ bb 3+ 3 ABC AA BB CC ACB ABC ABC AB ACB ACB BA AB ABx3 BA +BA px + q x x + px xpx = + qq xx ==x = f(reduz z) = xa x = = f(f z( )frao z= ) =x3 + px + q x3 = x+ Mostre que ,3 com e+ constantes, se uma cz + d cz cz ++ dd cz + d cz cz ++ dd racional fazendo a substituio

ABC

ABC

ACB

AB

BA

x3 + px + q

x=

az + b , cz + d

x = f(z) =

az + b cz + d

x3 + px + q = 0

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
J. C. Santos, Transformadas de Mbius e Equaes do Terceiro Grau, Bol. Soc. Por. Mat., 2005; E. Capelas de Oliveira e W. A. Rodrigues Jr., Funes Analticas com 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.

x3 + px + q

x=

az + b cz + d

x = f(z) =

az + b , cz + d

x3 + px + q = 0

permite encontrar um algoritmo que fornece as solues da equao de 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. Para uma leitura sobre o assunto, veja [Santos].

Transformao de Mbius 

Guia do professor

18 / 19

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

licena Esta obra est licenciada sob uma licena Creative Commons

Secretaria de Educao a Distncia

Ministrio da Cincia e Tecnologia

Ministrio da Educao

Governo Federal