Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Definicin
Si llamamos C = y definimos:
1) (a, b) = (a ' , b' ) a = a' b = b'
2) : C C C ; (a, a ' ) (b + b' ) = (a + a ' , b + b' )
3) : C C C ; (a, b) (a ' , b' ) = (aa 'bb' , ab'+ a' b)
Ejercicio
Definicin
Consideramos: ( A,) y ( B,) dos estructuras algebraicas sea f : A B una
funcin
Observacin:
Sean (A,) y (B,) dos estructuras algebraicas isomorfas.
Denominamos f al isomorfismo Si (A,) es conmutativa
a b = b a a, b f (a b) = f (b a) a, b A
f (a ) f (b) = f (b) f (a ) f (a ), f (b) B Como f es biyectiva y por lo
tanto sobreyectiva todo elemento de B es imagen de uno de A. Entonces
x y = y x x, y B (B,) es conmutativa
Si n es neutro de ( A,) a n = n a = a a A f (a n) = f (n a ) = f (a ) a A
f (a) f (n) = f (n) f (a) = f (a ) f (a ) B x f (n) = f (n) x x B
f (n) es neutro de (B, )
Anlogamente puede probarse que toda propiedad que cumpla (A,) se trasmite a (B,) por
f. Tambin es posible demostrar que f 1 es un isomorfismo con lo cual toda propiedad
que cumpla (B,) se trasmite a (A,) . En consecuencia (A,) y (B,) tienen exactamente las
mismas propiedades. En otras palabras dos estructuras isomorfas son algebraicamente
idnticas.
1
Teorema
Consideramos C 0 = { ( x ,0) C } .
H) f : C 0 ; f ( x ) = ( x,0)
T) f es un isomorfismo entre (,+,) y (C 0 ,,)
La unidad imaginaria
Observemos que: (0,1).(0,1) = (0.0 1.1 , 0.1 + 1.0) = (1,0) Gracias al
isomorfismo visto en el punto anterior podemos anotar x en lugar de (x,0). Si
denominamos i al complejo (0,1) tenemos que
i2 = . 1
(a, b) = (a,0) + (0, b) = a + b.i A la expresin a + b.i la denominamos forma binmica de( a , b)
Como
i C + 2) i 2 = i.i = 1 C + 2) ( 1).(1) = 1 C + como 1 C + tenemos una contradicin
i0
+
i C (i ) 2 = i 2 = 1 C + (1).(1) = 1 C + como 1 C + tenemos una contradiccin
2
Esto prueba que es imposible ordenar a los complejos con las caractersticas que lo
fueron los reales.
Ejercicio
Investiga si las siguientes relaciones < : C son de orden amplio y si es as si son totales
z1 < z 2
a) z1 < z 2
z = z y Arg ( z1 ) < Arg ( z 2 )
1 2
x < x'
b) z1 = ( x, y ) z 2 = ( x' , y ' ) z1 < z 2
x = x' e y < y '
Representacin grfica
P
Como un complejo es en definitiva un par
P2 ordenado de reales, si en un plano
establecemos un sistema de coordenadas
cartesianas (en este caso ortogonales) a cada
complejo z = (a,b) le podemos asociar un y solo
un punto P del plano; justamente el de
O P1 coordenadas (a,b), que denominamos afijo de
= '
= ' '
= '+2k (k Z)
3
H(a+a,b+b)
P(a,b)
Q(a,b)
Teorema
. ' ' = .' + '
Dem:
. ' ' = ( cos , sen ) . (' cos ' , ' sen ' ) = (.' cos cos '.' sen sen ' , .' cos sen '+.' sen cos ' ) =
= (.' [cos cos ' sen sen '], .' [cos sen ' sen cos '] ) = (.' cos( + ' ), .' sen( + ' )) = .' + '
1
Ejercicio Si z = (z 0) probar que: = 1
z
Definicin
Consideramos: C y z Z
Si = 0 y z > 0 definimos z = 0 z = 0
Si 0 y z = 0 definimos z = 0 = 1
Si 0 y z > 0 definimos z = . z 1
1
Si 0 y z < 0 definimos z =
z
4
Teorema
C ; =
H) T) m = m m
mZ
Dem:
Si m 0 m N Tiene sentido entonces intentar una demostracin por I.C.
1 paso
0 = 1
= 0.
0 0
0. = 1 0 = 1
0
2 paso
H ) h = h h. T) h +1 = h +1 (h + 1).
h +1 = . h = . h h. = . h + h = h +1 (h + 1).
1 1 1
Si m < 0 m = n ; n N m = n = = = = n n. = m m
n
( ) n
n
n
Nota:
Si z = z = ( cos , sen ) = (cos + i sen )
Por otra parte z n = n n. = ( n cos n., n sen n.) = n (cos n. + i sen n.)
Entonces:
(cos + i. sen ) 2 = cos 2 + i. sen 2 cos 2 + 2 cos . sen .i + i 2 sen 2 = cos 2 + i. sen 2
cos 2 = cos 2 sen 2
cos 2 sen 2 + 2 cos . sen .i = cos 2 + i sen 2
sen 2 = 2 cos . sen
5
Radicacin
r n = r=n
Si z = y w = r wn = z r n n = + 2 k
n = + 2k = n
Por lo tanto:
+ 2 k
z = C y n N ; n 2 w = n n
(k Z) tal que w n = z
Ejemplo: Calculemos 3
i Para ello tengamos en cuenta que i = 1 2
+ 2k
3
i = 3 1 = 3
1 2
= 1 + 2 k3 ( k Z) Si llamamos w k = 1 6 + 2k3 tendramos
2 3 6
aparentemente tantas races cbicas de i como enteros hay. Todas ellas con mdulo 1 y
argumento k = 6 + 2k3
w 1 = w 4 = w 7 = ...............
w2 = w5 = w8 = ...............
Intentemos generalizar y justificar esta observacin.
+ 2 k
Consideramos z = , n N ; n 2 vimos que wk = n n
es una raz n-esima de z
k Z
6
+ 2 h + 2 j 2(h j )
1) h = , j = h j =
n n n
0h<n h j h j
n < h j < n 1 < <1 como h j 0
0 j<n n < j 0 n n
h j 2(h j )
n
Z h j =
n
2 wh w j
+ 2k + 2(nq + r ) + 2 r
k = nq + r k = = = + 2q = r + 2q
Entonces: n n n
0r<n
wk = wr con 0 r < n
Observacin
Como las n races n-esimas de z = todos ellas tienen el mismo mdulo;
sus afijos pertenecen a una
circunferencia de centro en el origen de coordenadas y radio n .
Adems la diferencia entre dos argumentos consecutivos
+ 2( j + 1) + 2 j 2
j +1 j = =
n n n
Por lo tanto los afijos de las n races n-esimas de z son los vrtices de un
polgono regular de n lados inscrito en una circunferencia de centro en el origen y radio la
raz n-esima del mdulo de z.
Consideramos z = a + b.i Queremos hallar las dos races cuadradas de z sin pasar por la
forma polar.
2 + a
x 2 + y 2 = 2x = + a x= 2
2
x y 2 = a 2y 2 = a a
y=
2
7
Por lo tanto:
+a a
a + bi = 2
2
i
Observemos que haciendo todas las combinaciones de signo posibles tendramos cuatro
races cuadradas, lo cual es imposible. Ocurre que al elevar al cuadrado se introdujeron
races. Cmo averiguar cuales son las verdaderas?
Recordemos que: 2xy = b Por lo tanto si b > 0 x e y tienen el mismo signo; en cambio si b
< 0 x e y tienen distinto signo
Conjugado de un complejo
Definicin
Consideramos z = (a , b) C . Llamamos conjugado de z (anotamos z ) al
complejo (a , b)
P(a,-b)
Nota
Si z = (a, b) decimos que a es su parte real (anotamos Re(z) = a ) y b su parte
imaginaria (anotamos Im(z) = b )
Al mdulo de z lo escribimos z .
Teorema
1) Si z = z =
2) ( z )= z z C
3) z=z z C0
4) x+ y = x+ y x, y C
5) x. y = x. y x, y C
6) x n = x ()
n
x C n N excluyendo x = n = 0.
Dem 4)
Si x = a + bi e y = a '+b' i x + y = a + a' + (b + b' ) i x + y = a + a' (b + b' ).i
x = a bi
x + y = a bi + a 'b' i = a + a' (b + b' ) i Entonces x+y=x+y
y = a'b' i
8
Teorema
Consideramos :
f : C C ; f ( x) = a n x n + a n 1 x n 1 + ........... + a1 x + a 0 con a n , a n 1 ,....., a1 , a 0 C 0
C
Si f ( ) = 0 f ( ) = 0
Dem
f ( ) = a n n + a n 1 n 1 + ............ + a1 + a 0 = 0 a n n + a n 1 n 1 + ........ + a1 + a 0 = 0
a n n + a n 1 n 1 + ........... + a1 + a 0 = 0 a n . n + a n 1 n 1 + ......... + a1 . + a 0 = 0
an a n 1 a1 a0
Ejemplo
Determinar una funcin polinmica de coeficientes reales del menor grado posible que
admita como races
= 3 , = 1 + i y tenga coeficiente principal 1.
Ejer Hallar una funcin polinmica de coeficientes reales y del menor grado posible que
tenga races: 2 , 1+2i y 3+i
Definicin
e a + bi = e a <b
9
Ejercicios
(1 + i) 9
iv)
(1 i ) 7
19
IV) i) Calcular: (1 + i) , (2 2i ) , 3 2
( 3 +i ) , ( 2 2 3.i )
12 4 1 + 3.i
y
1 i
ii) Hallar la parte real y la parte imaginaria de cada uno de los siguientes complejos:
(1 + 2i) 3 (1 i ) 2 (1 + i ) 8 (1 i ) 6 1
, y
(3 + 2i ) 2 (2 + i ) 3 (1 i ) 6 (1 + i ) 6 + 1
3 2mi
V) Consideramos z = ( m ) Hallar m para que: i) Re( z ) = 0 ii) z C 0
4 3i
VII) Sea w = (1 + i).m 2 (3 + i ).m + 2 12i (m ) Hallar los valores de m para los cuales:
i) Re(w) = 0. ii) El afijo de w pertenece al cuarto cuadrante. iii) w C 0
iv) Arg ( w) = 4
VIII) Calcular:
2i , 8i , 3 4i , 8 + 6i , 3 4i , 2 2 3.i , 4
1 , 5
1 i ,
3
2 + 2i , 4
1 3i , 5 32 y 3 1 i
i 1+ i
10
7) x 2 (3 2i) x + 5 5i = 0 8) x 4 3x 2 + 4 = 0
z 4 = z 8
i.z + 2 w = 5 3i (3 + 2i) x + (3 2i ) y = 8
9) 10) 11) z 12 5
z + iw = 3 + 4i (2 + i ) x + (2 i) y = 6 =
z 8i 3
XII) 1) Hallar la raz quinta de 4 4i que tiene su afijo en el cuarto cuadrante y expresarla
en forma binmica.
2) Resolver en (C,+,) 4 z 4 4 z 3 + 5 z 2 2 z 2 = 0 sabiendo que una de las races es el
complejo hallado en 1)
XV) Siendo z 1 = 5 + 6i ; hallar z 2 C para que los afijos de 0 z 1 y z 2 sean los vrtices de un
tringulo equilatero
XVI) Hallar los complejos z 1 , z 2 y z 3 cuyos afijos son vrtices de un tringulo equiltero
con centro en el origen sabiendo adems que: z 1 .z 2 .z 3 = 8i Representar el tringulo y
calcular su permetro.
XVII) Con z 1 = 2 + 5i ; hallar los complejos z 2 y z 3 para que los afijos de 0, z1 , z 2 , z 3 sean los
vrtices de un cuadrado.
11
XVIII) 1) Consideramos el complejo w = 2 4 Para cada z C denominamos
z1 = w.z , z 2 = w.z1 , z 3 = w.z 2
Estudiar la naturaleza del cuadriltero de vrtices los afijos de 0, z 1 , z 2 y z 3
2) Determinar los complejos z para los cuales el rea del mencionado cuadriltero
vale 6.
Probar que: z n = n + 1 n N *
3) i) Sean , C ; = . i Probar que si A es el afijo de y B el de
entonces AOB es recto.
ii) Hallar {z n } ; + = 2
12