You are on page 1of 10

Anlise de variveis complexas

1. Introduo- Por que precisamos utilizar os nmeros complexos?


Com o intuito de poder resolver o maior nmero possvel de equaes
algbricas, precisamos estender o conceito de nmero. Primeiramente
trataremos

como

nmero

representaremos por
de soma

ordem natural

dos

nmeros

naturais,

que

N . Neste esto definidas as operaes matemticas

e multiplicao
.

conjunto

Alm disto, estes nmeros possuem uma

Porm com problemas simples, como o abaixo, j notamos

por que precisamos estender este conceito.


Questo 1. Encontre um nmero natural que somado em 2 resulte em 1.
Se n for este tal nmero, precisamos encontrar um n, tal que

n+2=1

[equao 1.1]
A soluo deste problema apenas com os nmeros naturais se torna
impossvel. Mas fcil encontrar um resultado para o mesmo se estendermos
o conceito de nmero para o conjunto dos nmeros inteiros:
Z ={...2,1,0,1,2,3... }
que ampliam o conceito dos nmeros naturais, preservando a ordem e as
operaes j citadas. O elemento 0, tal que dado m

N temos

0+m=m

e dado n Z ,( n)+n=0
Questo 2. Encontre um nmero inteiro cujo o dobro seja a unidade.
Se n fosse um nmero que soluciona-se tal problema deveramos ter
2 n=1

[equao 1.2], porm est diviso no possvel, j que temos um

nmero mpar sendo dividido por um nmero par, o que nunca ter resultado
exato se considerarmos apenas os inteiros. Desta forma, a soluo estender
novamente o conceito de nmero para o conjunto dos nmeros racionais. Esta
extenso mais elaborada.

Primeiro, formaremos o conjunto de todos os pares ordenados (p,q) com


peq

0. Se dois pares ordenados (p,q) q

eq

0 e (m,n) n

so equivalentes se pn= qm. Quando isto acontece, representaremos por

todos os pares (m,n), n 0 tais que pn=qm, e chamaremos

0,

p
q

p
q de um

nmero racional. Definimos a soma e a multiplicao entre dois nmeros


racionais da seguinte maneira:
p m p n+q m
+ =
q n
qn
p m pm
=
q n qn
Sendo q,n

0.

Os nmeros racionais tambm possuem uma ordem natural que estende a


ordem previamente existente nos inteiros. Dados dois nmeros r= p/q e s=m/n ,
sendo q e n >0, teremos r<s se pn<qm. As operaes e a ordem assim
definidas para os nmeros racionais preservam as anteriores.
Nos nmeros racionais, 1.2 tem soluo, sendo n=

1
2 .

Questo 3- Encontre a medida dos lados de um quadrado cuja a rea seja 2.


Chamaremos de r a medida do lado deste quadrado. Portanto
deveramos ter

r 2 = 2 [equao 1.3] . Essa equao, por sua vez, no tem

soluo quando consideramos apenas o conjunto dos nmeros complexos.


Basta ver que se chamarmos r=

p
q e notarmos que podemos assumir que p

e q no tem divisores comuns,

com exceo de 1 e -1,

reescrever 1.3 como

ento podemos

p =2 q

[equao 1.4]

Desta forma podemos notar que

p2 par, portanto p tambm . Desta

2
2
2
forma podemos escrever p= 2k e consequentemente p =( 2 k )=4 k . Sendo

assim, reescrevemos a equao 1.4:


2

4 k =2 q 2 k =q
Ou seja

par, e consequentemente q tambm par. Porm isso

no possvel, pois p e q no possuem divisores em comum, com exceo de


1 e -1. Concluindo a questo 3 no apresenta soluo no conjunto dos
racionais. Desta forma, precisaremos estender mais uma vez o conceito de
nmero, considerando agora o conjunto dos nmeros reais, representados por
R.
O conjunto dos nmeros reais pode ser entendido como um conjunto
ordenado contendo os nmeros racionais sobre a qual esto definidas as
operaes de adio e multiplicao que preservam as propriedades anteriores
e satisfazendo o axioma do supremo: todo subconjunto no vazio X (contido) R
e limitado superiormente possui supremo, isto , existe um nmero real c tal
que x (menor ou igual) c para todo x pertencente a X e se d pertencente a R
satisfizer essa mesma propriedade ento c menor ou igual a d. Note que o
conjunto X= {x pertencente a R, x>0, x^2<2} no vazio, pois 1 pertence a X,
e limitado superiormente por 2, por exemplo. Desta maneira X possui
supremo em R. Pode-se provar que o supremo de X, digamos c, satisfaz
c^2=2, resolvendo assim a questo 3 em R.
Questo 4 Encontre um nmero cujo o quadrado seja -1
Se x pertencente aos R for a soluo do problema, termos x^2=-1, o que
impossvel, visto que como x diferente de 0 teramos x>0 ou x>0 e assim:
x 2 = x x =(-x) (-x) >0 , o que uma contradio com o enunciado do
problema.

Sendo assim, precisamos novamente estender o conceito de nmero para


resolver este tipo de problema, ou seja, precisamos utilizar os nmeros
complexos.

Captulo 2- Os nmeros complexos


Primeiramente vamos considerar os nmeros complexos no plano
cartesiano, ou seja

C =

x R . Neste definimos as seguintes

operaes:
1.

(x 1, y 1)+(x 2, y 2)=( x 1+ x 2, y 1+ y 2)

A operao 1 a soma de coordenadas vetoriais, e satisfaz as


propriedades associativa e comutativa, apresenta um elemento neutro e para
todo par ordenado existe um recproco que somado a ele resulta no elemento
neutro.
2.

(x , y ) = ( x ,

y ) (multiplicao por escalar)

A operao 2 a definio da multiplicao de um par (x,y) por um nmero


real (lambida). Observao: Note que C com a adio e a multiplicao por
escalar real um campo vetorial sobre R de dimenso 2.
3.

(x 1, y 1)(x 2, y 2)=( x 1 x 2 y 1 y 2, x 1 y 2+ x 2 y 1)

A respeito da operao 3, temos o seguinte:


Proposio 1 A operao definida C =

x R .

(x 1, y 1)(x 2, y 2)=( x 1 x 2 y 1 y 2, x 1 y 2+ x 2 y 1)
associativa, comutativa e satisfaz (1,0)

(x,y)= (x,y), alm do mais se (x,y)

diferente (0,0) ento existe u e v referente aos complexos tal que


(x , y )(u , v)=(1,0) .

Prova:

1. Associatividade:
Para que uma operao seja associativa, a ordem que ela for aplicada no
pode alterar o resultado. Por isso consideramos trs pares ordenados (x1,y1),
(x2,y2), (x3,y3). Primeiramente efetuamos a operao

( x 1, y 1) (x 2, y 2)

multiplicarmos este resultado por (x3,y3):


(( x 1, y 1)( x 2, y 2)) ( x 3, y 3)=(x 1 x 2 y 1 y 2, x 1 y 2+ x 2 y 1) ( x 3, y 3)

( x 1 x 2 x 3x 3 y 1 y 2x 1 y 2 y 3x 2 y 1 y 3, x 1 x 2 y 3 y 1 y 2 y 3+ x 1 y 2 x 3+ x 2 y 1 x 3)
Tambm podemos multiplicar primeiro

(x 2, y 2) (x 3, y 3)

e em seguida

multiplicar este resultado por (x1,y1):


(x 2, y 2)(x 3, y 3)=( x 1, y 1) (x 2 x 3 y 2 y 3, x 2 y 3+ x 3 y 2)=
(x 1, y 1)
( x 1 x 2 x 3x 3 y 1 y 2x 1 y 2 y 3x 2 y 1 y 3, x 1 x 2 y 3 y 1 y 2 y 3+ x 1 y 2 x 3+ x 2 y 1 x 3)
Comparando as expresses, tem-se que esta operao associativa.

2.Comutatividade
Comutatividade a propriedade que indica que a ordem dos termos no
interfere no resultado. Portanto para provar que esta propriedade vlida neste
caso, basta comparar os resultados de uma operao utilizando duas ordens
distintas. Sendo assim, por um lado temos:
(x 1, y 1)(x 2, y 2)=( x 1 x 2 y 1 y 2, x 1 y 2+ x 2 y 1)

Por outro lado temos:


(x 2, y 2)(x 1, y 1)=( x 1 x 2 y 1 y 2, x 1 y 2+ x 2 y 1)
3. Elemento neutro
Temos

(1,0)(x , y)=(1 x0 y ,1 y +0 x)=( x , y )

4.Inverso multiplicativo
Se (x,y) diferente (0,0) ento podemos definir:
x
y
(u,v)= ( x 2 + y 2 , x 2 + y 2 )
x2
y 2 xy
xy
(x,y) x (u,v) = ( x 2 + y 2 x 2 + y 2 , x 2 + y 2 + x 2+ y 2 ) = (1,0)
Exerccio: Mostre que o inverso multiplicativo de um nmero complexo quando
(x,y) diferente (0,0) nico.

Se n pertence aos naturais e z pertence aos complexos definimos


z n=z n1 z , quando n> ou igual a 2.

z 1= z. O inverso multiplicativo no

nulo de um nmero complexo ser denotado por


negativo,

z1 e se m um nmero

z m=(z1 )m . Se z1,z2 pertence aos complexos e z2 diferente de 0,

definimos:
z1
=z 1 z 21 .
z2
As operaes de soma e multiplicao nos nmeros complexos, se
relacionam por meio da distributividade como pode ser visto a seguir.

Proposio 2
Para quaisquer (x1,y1), (x2,y2), (x3,y3) pertencente aos complexos tm-se:
(( x 1, y 1)+( x 2, y 2))(x 3, y 3)=(x 1, y 1)( x 3, y 3)+(x 2, y 2)( x 3, y 3)

Prova:
Por um lado temos

(( x 1, y 1)+( x 2, y 2))(x 3, y 3)=(x 1+ x 2, y 1+ y 2)( x 3, y 3)=( x 1 x 3+ x 2 x 3 y 1 y 3 y 2 y 3, x 1 y 3+ x 3

Por outro lado, temos:

(x 1, y 1) x(x 3, y 3)+( x 2, y 2)x ( x 3, y 3)=( x 1 x 3 y 1 y 3, x 1 y 3+ x 3 y 1)+(x 2 x 3 y 2 y 3, x 2 y 3+ x 3 y 2


Logo, a proposio verdadeira.
Definio 1 O conjunto C munido das operaes de adio e multiplicao
definidas acima chamado de corpo dos nmeros complexos.
Vale a pena observar as seguintes propriedades:
1.

(x , 0)+( y , 0)=( x+ y , 0) x , y

2.

( x , 0 ) ( y , 0 ) =( xy ,0 ) x , y

R
R

Isso significa que o conjunto dos nmeros complexos dado por R= {(x,0), x

R } preservado pela adio e multiplicao. Desta forma pode-se

assumir que o conjunto dos nmeros reais um subconjunto dos nmeros


complexos, identificando R como o conjunto dos nmeros reais.
J observamos neste captulo que C um espao vetorial sobre

com respeito a adio e multiplicao por escalares reais. Alm disso, por
estarmos tratando seus elementos como pares ordenados, C um espao
vetorial bidimensional sobre

R . Desta forma, como (1,0) e (0,1) formam uma

base, todo par z= (x,y) pertence aos complexos e se escreve de maneira nica
como
z= x(1,0)+y(0,1)
J vimos que (1,0) o elemento neutro da multiplicao, e como ele
pertence a R, vamos denot-lo tambm por 1. Quanto a (0,1), pode-se notar,
abaixo, que o mesmo possui quadrado recproco aditivo do elemento neutro da
adio:
(0,1)2=(0,1)(0,1)=(01,00)=(1,0)
Usaremos a notao i= (0,1), desta forma:

i =1
Desta forma o elemento z=(x,y), sendo x e y pertencente aos reais,
pode ser escrito de modo nico como z=x1+yi, ou, simplificando z=x+yi.
Tambm escreveremos z=x+iy. O nmero x chamado de parte real, e o
nmero y, de parte imaginria.
Com essa nova notao as operaes 1,3 podem ser escritas da
seguinte forma:
1.

(x 1+iy 1)+( x 2+iy 2)=( x 1+ x 2)+i( y 1+ y 2)

3. (x 1+iy 1)( x 2+iy 2)=( x 1 x 2 y 1 y 2)+i(x 1 y 2+ x 2 y 1)


Alm disto, o inverso multiplicativo de z=x+iy dado por:
z1 =

x
y
i 2 2
2
x +y
x +y
2

Captulo 3- Representao vetorial de um nmero complexo


J vimos que podemos representar um nmero complexo z, dado por
z=x+iy como um par ordenado (x,y). Desta forma, tambm podemos
representa-lo no plano xOy. Identificando o eixo dos x como o eixo dos
nmeros reais, mltiplos de (1,0) e o eixo dos y como o eixo dos imaginrios,
representando os mltiplos de i=(0,1).

3.1 Representao de um nmero complexo no plano cartesiano

A partir desta viso geomtrica podemos definir o modulo de um nmero


complexo como sendo a sua distncia a origem, ou seja mdulo de z=

x2 + y 2

. Deste modo, definimos a distncia entre dois nmeros complexos

como modulo

|z 1z 2|.

O conjugado de um nmero complexo z=x+iy, denotado por

z , e

z =xiy . Na figura 3.2 podemos observar que

z ,

definido como sendo

o complexo obtido de z por reflexo no eixo real.

3.2 Representao de um nmero complexo e de seu conjugado no plano


cartesiano.

Proposio 3: Para todo z, z1 e z2


1.

|z|=|z|

2.

z+ z =2 R z

3.

zz =2 I z

4.

z =z

5.

z=z z R

6.

z 2= z1+ z2
z 1+

C, valem as seguintes propriedades:

7.

z=
z se R

A propriedade 1 diz que o mdulo de um nmero complexo igual ao


modulo do seu conjugado. Por um lado temos

|z|= x 2+ y 2 , por outro lado

2
2
2
2
temos |z|= x +( y ) = x + y .

As propriedades 2 e 3 so respectivamente a soma e a diferena entre


um nmero complexo e o seu conjugado. Consideremos que este nmero
complexo z dado por x+iy. Logo temos que:
z+ z =( x+iy ) + ( xiy )=2 x , ou seja duas vezes a parte real de z
zz =( x +iy ) ( x iy )=2 iy , ou seja, duas vezes a parte imaginria de z.
A propriedade 4, diz que o conjugado do conjugado de um nmero
complexo z, o prprio z. Sabemos que o conjugado de qualquer nmero
complexo o reflexo deste no eixo real. Desta forma:
z =x(iy )=x +iy=z
A propriedade 5 diz que um nmero complexo igual ao seu conjugado,
se e somente se o mesmo for um nmero real. J que se este nmero tiver
parte imaginaria o conjugado deste ter o sinal desta parte invertido,
A propriedade 6 diz que o conjugado da soma de dois nmeros
complexos z1 e z2, igual a soma dos conjugados de z1 e z2. Por um lado
temos:
z 2=( x 1+ x 2 )i ( y 1+ y 2 )=(x 1+ x 2iy 1iy 2)
z 1+
Por outro lado temos:
z1+ z2=( x 1iy 1 )+ ( x 2iy 2 )= x 1+ x 2iy 1iy 2

You might also like