Escolar Documentos
Profissional Documentos
Cultura Documentos
fm2 Numeros Complexos PDF
fm2 Numeros Complexos PDF
Os Nmeros Complexos
ltima atualizao em outubro de 2012 por Sadao Massago
1.1 Os nmeros
Nmeros naturais:
Para evitar confuses, recomendado dizer nmeros positivos, nmeros no negativos, etc.
sempre que possvel. Os nmeros naturais so associados ao nmero de elementos do conjunto no vazio, denominado de cardinalidade. O conjunto
= ba
e se
ele possui um elemento unidade (elemento neutro do produto). Alm de ter estas operaes
boas, tambm apresenta uma ordem compatvel com suas operaes (a
< b b a > 0)
e qualquer dos seus subconjuntos tem o primeiro elemento para esta ordem.
Z+ = {0, 1, 2, 3, . . .}.
positivo mais o zero (no negativo) e o sinal de menos indica o negativo mais o zero (no
positivo).
(elemento neutro da
soma). Com isso, as duas operaes fundamentais tero os seus elementos neutros.
Nmeros inteiros:
Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}.
na qual operao inversa da adio permitida. Isto melhora as operaes, mas ter pequena
alterao em termos de ordem. Agora, nem todos subconjuntos ter o primeiro elemento.
No entanto, todo subconjunto limitado inferiormente continuar tendo o menor elemento.
Nmeros racionais:
: m, n Z, n 6= 0, ab =
Q = {m
n
c
ad = bc}. Permite realizar
d
Com isso, tanto a adio como a multiplicao sero
Q denominado de corpo.
Ele o menor corpo contendo os nmeros naturais. Agora, as operaes caram "perfeita",
mas em termos de ordem, piorou. Agora nem todo subconjunto limitado inferiormente tem o
menor elemento. No entanto,
os elementos de
Nmeros reais:
R.
que uma curva como no caso de crculo, pode atravessar a reta sem ter interseces. Por
2
2
2
exemplo, x + y = 1 e y = x no interceptam em Q (pois sua interseco irracional).
CAPTULO 1.
OS NMEROS COMPLEXOS
obtendo o conjunto dos nmeros reais. Ele apresenta a mesma propriedade operacional e
relao de ordem que o conjunto dos nmeros racionais, mas no tem "buracos". Alm disso,
podemos fatorar qualquer polinmio em termos de fatores de grau 1 e dois, o que melhor
que os conjuntos dos nmeros racionais. Em termos da cardinalidade, o conjunto no mais
enumervel, o que pode trazer complexidade extra em estudos mais avanados.
Nmeros complexos:
C = {x + iy : x, y R, i2 = 1}.
permite resolver qualquer equao polinomial por poder ter polinmios com razes complexas.
Para tanto, introduziremos
i=
1,
todo polinmio tem raiz. Como o preo, o conjunto dos nmeros complexos no possui a
ordem compatvel com as suas operaes.
R4
R8 ,
denominados de quatrnios
e octnios, mas perder alguma das propriedades sobre o produto. . Isto deixa em dvida,
se ainda pode ser chamado de nmeros.
Observao
1.1
tem valor no conjunto dos nmeros reais, pois tem maior facilidade operacional e ainda preserva
a ordem compatvel com as operaes. Mas existem algumas medidas como nmero de elementos
no conjunto nito que so inteiras.
tal que
i2 = 1
ao conjunto dos
nmeros reais. As operaes no conjunto dos nmeros complexos uma extenso das operaes
dos conjuntos reais de forma que seja um corpo.
O estudo das propriedades do corpo faz parte da disciplina estruturas algbricas, mas veremos
rapidamente as suas propriedades.
Denotaremos soma de
Soma:
a, b K , a + b = b + a
operao comutativa.
a, b, c K , (a + b) + c = a + (b + c)
0 : a + 0 = a
a K, a K : a + (a) = 0
Z+
ab K ,
tem-se
ab = ba
(comutativo).
Por exemplo,
a, b, c K , (ab)c = a(bc)
associativo.
CAPTULO 1.
OS NMEROS COMPLEXOS
a K, a1 : aa1 = 1
a, b, c K ,
tem-se que
(a + b)c = ac + bc
(distributiva).
e produto, espera-se que seja distributivo (no caso do produto no ser comutativo como
conjunto dos matrizes, espera-se que o produto seja distributivo em ambos lados).
Observao
1.2
Apesar dele no
ter nenhuma das propriedades desejveis da operao binria considerada, a potenciao efetua
b+c
uma associao entre a soma e o produto pela identidade a
= ab ac para a > 0, o que torna
importante.
Os exemplos mais conhecidos do corpo so
com
Q, R
C,
Zp
primos.
i com i2 = 1.
mltiplos de i. Desta
Observao
1.3
. Na
nmero complexo
Exemplo 1.4.
zC
como sendo
fsica e na eletrnica,
z = x + yi
i
x, y R
Exemplo(1
com
j.
+ i)(1 + i) = 1 + i i + i2 = 1 1 = 2.
z = x + yi e w = x0 + y 0 i,tem-se que
zw = (x + yi)(x + y i) = xx + xy 0 i + yx0 i + yy 0 i2 = (xx0 yy 0 ) + (xy 0 + yx0 )i.
Para dois nmeros complexos
0
0
0
(x, y)
z = x + yi
y,
podemos
representa a parte
Y
y
x + yi
x X
z = x + yi
dado por
|z| 0
|z| = 0 z = 0
|zw| = |z||w|. Na matemtica, costumamos denotar com um barra quando vale a igualdade
|ab| = |a||b| (exemplo: mdulo e determinante). Quando vale a desigualdade, ser denotado
por duas barras (exemplo: norma). Assim, no usar uma barra indevidamente (por exemplo,
no usar uma barra para norma).
CAPTULO 1.
OS NMEROS COMPLEXOS
|z + w| |z| + |w|.
Exerccio 1.5.
Desigualdade triangular.
|zw| = |z||w|,
quadrado deles. Para a desigualdade triangular, consulte o livro de geometria analtica ou lgebra
linear.
Para trabalhar com a diviso de forma confortvel, costumamos usar a operao denominada de
conjugados.
Denio 1.6.
Dado
z = x + yi,
denimos
<z = x
a parte real de
=z = y
a parte imaginria de
z = x + yi = x yi
z
z.
o conjugado de
z.
z = z
z + w = z + w
.
zw = z w
z R =z = 0
<z =
z+
z
2
=z =
z
z
2
z z = |z|2 .
Exerccio 1.7.
Exerccio 1.8.
z = 0 z = 0
|z| = |
z|
z n = zn
para
inteiro.
= wzww = |w|
2 que produto dos nmeros complexos com a diviso de nmeros reais.
w
Exemplo 1.9.
1+i
12i
Exemplo
1.10.
1 3 1
3
(1+i)(1+2i)
|12i|2
Seja x
1
23i .
2
(12)+(2+1)i
1+4
+x+1 = 0
1+3i
5
1
5
+ 35 i.
x=
1 14
2
1 3
2
Teorema 1.11. Se p(z) um polinmio com coecientes reais, ento p(z ) = p(z).
Demonstrao.
n
Seja p(z) = a0 + a1 z + + an z ento p(z) = a0 + a1 z + + an z n = a0
a1 z + + an z n . Como ak so nmeros reais, temos ak z k = ak z k = ak zk de modo que p(z)
a0 + a1 z + + an z n = p(
z ).
+
=
Corolrio 1.12. Se z uma raiz do polinmio p(z) com coecientes complexas, ento z tambm
raiz.
Demonstrao.
Exerccio 1.13.
p(z) = 0 = 0 = p(z) = p(
z ).
Mostre que polinmio de grau impar com coecientes reais deve ter pelo menos
Exerccio 1.14.
Resolva a equao
2z + z = 6 + 3i.
CAPTULO 1.
OS NMEROS COMPLEXOS
X,
Y
y
x + yi
x X
p
x = r cos e y = r sen onde r = |z| = x2 + y 2
a distncia do ponto at origem. Logo, x + yi = r cos + r sen que denominado de forma
trigonomtrica ou polar dos nmeros complexos. Tal representao, considerando r 0 e 0 <
2 nica exceto para pontos de origem.
Dado
x + yi
retangular.
Exemplo 1.15. Seja z = 1+ 3i na representao
p
y
temos que
= tan e logo, 3 =
x
z = 2 cos 6 + i sen 6 .
z1
z2
r1
(cos(1
r2
2 ) + i sen(1 2 )).
Demonstrao.
Temos que
Ento
z1
= |zz12z|22
z2
Mostre que se
r1
r2
(cos(1 2 ) + i sen(1 2 ))
z = r(cos + i sen ) ento z1 = r1 (cos() i sen())
=
O teorema acima diz que o produto dos nmeros complexos multiplica a norma e soma os
ngulos.
problemas de rotao atravs de operaes dos nmeros complexos. A rotao por ngulo
ser realizado pela multiplicao por
Exemplo 1.17.
cos + i sen .
ABCD
com vrtices
A = (1, 1)
B = (2, 3).
pode
realiza
CAPTULO 1.
OS NMEROS COMPLEXOS
B
D A = (B A)i = D = A + (B A)i. Como A = 1 + i e B = 2 + 3i, temos que
D = 1 + i + (2 + 3i 1 i)i = 1 + i + (1 + 2i)i = 1 + i + i 2 = 1 + 2i. Logo, D = (1, 2). O
Teorema 1.18
(Frmula de De Moivre)
Demonstrao.
Para
n vezes
1
n < 0, temos (r(cos + i sen ))n = (r(cos +sen
))n
1
n
= r (cos(n) + i sen(n))
rn (cos(n)+sen(n))
Para
n vezes
com
Exemplo
1.19.
Calcule
Exerccio 1.21.
5a
de
1 + i.
r1 e1 i r2 e1 i = r1 r2 e1 i e1 i = r1 r2 e(1 +2 )i
n
n
rei = rn ei = rn eni
e assim por diante.
Exerccio 1.22.
exponencial.
1 (cos + i sen ).
= |z|)
com o
1.
1.
Assim, para
CAPTULO 1.
OS NMEROS COMPLEXOS
raiz
inversa da raiz
n-sima
n-sima
1.
n-sima
da unidade so razes
n-sima
da unidade.
n-sima
da unidade so razes
n-sima
da unidade.
Como raiz n-sima da unidade tem mdulo 1 (como exerccio, justique), podemos representar por
ei e por ter potncia por n ser 1, teremos que eni = e2ki e consequentemente, = 2k
. Assim,
n
2k
2ki
i
a raiz n-sima da unidade ser e n . Denotaremos a raiz da unidade para n xo, por k = e n
k = 0, . . . , n 1. Observe que, para k n, o valor se repete por seno e cosseno ser cclico de
perodo 2 . Assim, teremos exatamente n elementos no conjunto das razes n-sima da unidade.
para
Para estudar a estrutura do conjunto da raiz da unidade, precisamos ter noo do anel de
n.
inteiros mdulo
equivalncia, isto ,
reexiva:
simtrica:
transitiva:
a = a mod n
b = a mod n
pois
a a = 0 = 0n.
ento
b a = kn = a b = (k)n
de modo que
a = b mod n.
Logo, podemos denir uma classe de equivalncia modulo n, para cada inteiro a por a
= {a + kn :
k Z} que a classe de resto da diviso por n. O inteiro x sempre pode ser escrito como sendo
x = a + kn com 0 a < n de modo que a classe de equivalncia sempre pode ser representado
pelo inteiro entre 0 e n 1. O conjunto {
0, . . . , n 1} de classe de equivalncia mdulo n ser
denotado por Zn .
Podemos vericar que as operaes a
+ b = a + b e a
b = ab esto denidas com as propriedades
Como
Zp
corpo.
Agora suponha que
a
6= 0,
temos que
mdc(a, p) = 1.
Como MDC se
escreve como combinao linear dos dois nmeros (Teorema de Bzout), temos que
de modo que
1 = x a
+ yp = x a
+ 0 = x a
tem a inversa.
1 = xa + yp
CAPTULO 1.
OS NMEROS COMPLEXOS
2ki
k 7 k = e n associa unicamente os elementos de Zn com
modo que a b = a+b . (Nos podemos mostrar que ele um
xo, A funo
Zp .
Para entender melhor tais ralaes, vamos denir e estudar a raiz primitiva da unidade.
Denio 1.26.
n-simas
A raiz
n-sima
da unidade.
Note que
nk = nk
(prove) e
nk = 1
n+j
= (n+j)k = nk+jk = nk jk = jk
k
n 1.
Teorema 1.27. Para n xo, k raiz n-sima primitiva da unidade se, e somente se, mdc.(k, n) =
1.
Como nk = nk , suas potncias gerar todas razes signica que os mltiplos dos inteiros associados geram todo Zn . Assim, basta mostrar que k gera todos elementos de Zn se, e somente se,
mdc(k, n) = 1.
Seja k tal que mdc(k, n) = 1. Ento k inversvel. Logo, x 7 k x de Zn em Zn injetiva
(prove). Como o conjunto Zn nito, a imagem Zn e consequentemente, os mltiplos geram
todo Zn .
Agora suponha que os mltiplos geram Zn . Ento existe x Zn tal que k x = 1 implicando que
k inversvel. Assim, mdc(k, n) = 1.
O teorema acima permite saber se uma raiz primitiva ou no, sem precisar calcular suas
potncias.
Exerccio 1.28.
Note que
n = e n i
sempre
6a
n-sima
primitiva da unidade.