Professional Documents
Culture Documents
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
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.
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
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
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
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
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
(1 2 )] r1
= [cos (1 2 ) + i sen (1 2 )]
(2 2 )] r2 Re
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
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
licena Esta obra est licenciada sob uma licena Creative Commons