Professional Documents
Culture Documents
Marzo de 2016
1.
Introduccin
Los nmeros complejos surgen de la necesidad de resolver ecuaciones polinmicas, cuyos ceros requieren el clculo de races de ndice par de nmeros
negativos, como por ejemplo x2 + 1 = 0. Ya en trabajos del siglo XVI se consiguen expresiones que involucran este tipo de races. Por ejemplo, la solucin
de Bombelli (1526-1572) de la ecuacin cbica x3 15x 4 = 0, utilizando
la frmula que su maestro Girolamo Cardano (1501-1576) public en su libro
Ars Magna (el Gran Arte), en 1545, para resolver estas ecuaciones, y que
se conoce desde entonces con el nombre de Frmula
Al
p
p
de Cardano.
resol3
3
ver la ecuacin mencionada se obtiene x = 2 + 121 2 + 121.
Sin embargo, el uso de estas races extraas, molestaba a los matemticos
de la poca. Esta incomodidad perdur hasta que en el siglo XIX, el gran
matemtico alemn Karl F. Gauss (1787-1855) introdujo la representacin
geomtrica de estos nmeros, a los cuales conocemos hoy en da con el nombre
de nmeros complejos.
2.
t
b
3.
El producto tambin se realiza de la manera usual, pero usando la convencin de que i2 = 1. Es decir:
(a + bi)(c + di) = ac + (ad + bc)i + bdi2 = (ac bd) + (ad + bc)i.
En forma desarrollada,
w
:
z
w
1
wz
= w = 2.
z
z
|z|
c + di
(c + di)(a bi)
(ac + bd) + (ad bc)i
=
=
.
a + bi
a2 + b2
a2 + b2
Un clculo interesante de hacer es el de las potencias de i: i0 , i1 , i2 , i3 ,
etc. Como i2 = 1, entonces
i0 = 1,
i4 = 1,
...
i1 = i,
i5 = i,
i2 = 1,
i6 = 1,
i3 = i,
i7 = i,
Se observa que las potencias de i se van repitiendo con un perodo de longitud 4, de esta manera si queremos calcular in para un entero positivo
n, simplemente dividimos n entre 4, obteniendo n = 4q + r y calculamos
in = i4q+r = (i4 )q ir = 1q ir = ir , siendo r el resto de dividir n entre 4. As
por ejemplo i2015 = i3 = i, pues 2015 = 503 4 + 3.
3
3.1.
Ejercicios
z u
+ ;
u z
4.
z+w
w
z
O
Ntese tambin que |z w| es la distancia entre los puntos que representan a
z y w. De esta forma podemos justificar el nombre que le dimos a la igualdad
en el ejercicio 7(f), ley del paralelogramo, pues lo que all se establece es que
en todo paralelogramo la suma de los cuadrados de las longitudes de los lados
de un paralelogramo es igual a la suma de los cuadrados de las longitudes de
sus diagonales.
Si |z w| nos indica la distancia entre z y w, debera entonces cumplirse
la desigualdad triangular, es decir |z + w| |z| + |w|. Obsrvese que si
esto es cierto, entonces, dados tres nmeros complejos, z1 , z2 y z3 , tenemos
z1 z2 = (z1 z3 ) + (z3 z2 ) y entonces |z1 z2 | |z 1 z 3| + |z3 z2 |.
Proposicin 1 (Desigualdad Triangular). Para cualquier par de nmeros
complejos z y w se cumple
|z + w| |z| + |w|.
Demostracin. Observemos primero que para todo par de nmeros reales a
4.1.
4.2.
Ejercicios
5.
mdulo del nmero complejo z. Adems dado el vector OP = (a, b), l forma
un ngulo con el semieje positivo de las x en nuestro sistema de coordenadas.
Definiremos el argumento del nmero complejo z 6= 0 como cualquiera de los
b
r
r = |z| = 1 + 1 =
2 y entonces 1 = 2 cos y 1 = 2 sen . De donde,
2 cis 4 .
q
1
3
cos =
y
sen =
.
2
2
8
5
3
y tendremos z =
z
r
= cis( ).
w
t
(i)
z
r
= cis( ),
w
t
si w 6= 0, basta demostrar que:
r
cis( ) w = z.
t
Por lo que demostramos en la primera parte, para multiplicar dos nmeros complejos basta con multiplicar sus mdulos y sumar sus argumentos, as pues como, rt t = r y ( ) + = , entonces
r
r
cis( ) w = cis( ) t cis = r cis = z.
t
t
En consecuencia, para w 6= 0 tenemos que
z
r
= cis( ).
w
t
2
2
16
z 16 = (2 cis )16 = 216 (cis
) = 216 cis 4 = 216 .
4
4
10
n
complejo z = r cis tienen el mismo mdulo, r y si r 6= 0, entonces al
representar grficamente ests races,
ellas aparecern dispuestas en una cir
n
cunferencia de centro (0, 0) y radio r. Adems al varios k = 0, 1, 2, . . . n1,
2
, de esta forma
los argumentos forman una progresin aritmtica de razn
n
las n races quedan uniformemente distribudas en la circunferencia. Si r 6= 0,
entonces ellas se representarn como los vrtices de un polgono
regular de n
n
lados, inscrito en una circunferencia de centro (0, 0) y radio r. Si r = 0, es
claro que todas las races sern iguales a 0.
Ejemplo 5. Calculemos las races cuartas de 16. De acuerdo a lo dicho las
2k
k
races sern los nmeros wk = 4 16 cis
= 2 cis
, con k = 0, 1, 2, 3,
4
2
pues el mdulo de 16, es 16 y su argumento es 0. Por lo tanto tendremos,
w0 = 2, w1 = 2i, w2 = 2 y w3 = 2i.
Como observacin final es importante destacar que con lo hecho hasta
ahora podemos resolver la ecuacin xn 1 = 0, para cualquier entero positivo
n. Sus races se conocen como las races n-simas de la unidad y son wk =
cis( 2k
) con n = 0, 1, 2, . . . , n 1. Geomtricamente se representan como los
n
vrtices de un polgono regular de n lados, inscrito en una circunferencia de
centro en el origen de coordenadas y radio 1. Cules son las soluciones de
la ecuacin xn + 1 = 0?
11
5.1.
Forma exponencial
enz = (ez )n ,
5.2.
Problemas
(c) ( 3 i)6
(b)
12
(d)
1+z
, donde z = cos + i sen .
1z
1
z
= 1.
6.
Teorema 1 (Teorema fundamental del lgebra). Todo polinomio no constante con coeficientes reales o complejos tiene al menos una raz en el campo
complejo.
La demostracin de este teorema requiere conocimientos de anlisis matemtico. La idea de la demostracin puede verse en [2].
Usando este teorema es fcil probar inductivamente que cualquier polinomio P de grado n 1 se puede factorizar en el campo de los nmeros
complejos en la forma
P (x) = a(x x1 )(x x2 ) (x xn ),
14
6.1.
Frmulas de Vieta
xi =
an1
.
an
Para n = 3 nos dicen que si x1 , x2 y x3 son las races de ax3 + bx2 + cx+ d,
entonces
b
x1 + x2 + x3 = ,
a
c
x1 x2 + x2 x3 + x3 x1 = ,
a
d
x1 x2 x3 = .
a
7.
Transformaciones geomtricas
Mediante la identificacin del plano con los nmeros complejos, las transformaciones geomtricas del plano pueden interpretarse como funciones de C
en C, que en general tienen expresiones analticas sencillas.
7.1.
Traslacin
7.2.
Simetra central
7.3.
Homotecia
7.4.
Rotacin
Como al multiplicar dos complejos se multiplican los mdulos y se suman los argumentos, es claro que multiplicar por 1 cis = ei equivale a
rotar un ngulo de radianes alrededor del origen, en sentido antihorario.
Si denotamos esta rotacin mediante R entonces
R(z) = ei z.
Observe que en particular una rotacin de 90 equivale a multiplicar por i.
Una rotacin Ru, de centro u y ngulo se puede describir trasladando
hacia el origen y deshaciendo luego la traslacin, es decir
Ru, (z) = ei (z u) + u.
7.5.
Rotohomotecia
Una rotohomotecia es una rotacin seguida de una homotecia con el mismo centro. La rotohomotecia S de centro en el origen, ngulo y razn k R
se describe simplemente multiplicando por k cis , es decir
S(z) = (k cis )z.
Ejemplo 6. Sea ABC un tringulo. Sea A un punto no alineado con B y C.
Sean B y C puntos tales que los tringulos B CA y C AB sean directamente
semejantes al A BC. Probar que el baricentro de A B C coincide con el de
ABC.
17
B
b
A
b
C
Solucin: Sea r = CA /CB y = BCA . Entonces A = C + rei (B C).
Anlogamente B = A + rei (C A) y C = B + rei (C B). Luego
A + B + C = A + B + C + rei ((B C) + (C A) + (C B)) = A + B + C
y en consecuencia 31 (A + B + C ) = 13 (A + B + C).
7.6.
Simetra axial
7.7.
Inversin
Una trasnformacin del plano en si mismo de mucha utilidad es la conocida con el nombre de inversin. Ella se define de la siguiente manera.
Definicin 3. Sea k un nmero real positivo y sea O el origen del sistema de
coordenadas. La inversin de centro O y potencia k 2 es una transformacin
del plano en si mismo, que a cada punto P le asocia el punto P , tal que
18
Q
b
P
b
t=
k2
.
x2 + y 2
P =
k2y
k2 x
,
x2 + y 2 x2 + y 2
k2
z
k2
r
o sea
Re(w) =
Pero esta es la ecuacin de la recta x =
las x, como queramos demostrar.
k2
.
2r
k2
,
2r
a
= r,
w
y finalmente,
k2 a
k4
k2 a
w
+
w
= 0,
r 2 a2
r 2 a2
r 2 a2
k2 a
w+ 2
r a2
w+
k2a
r 2 a2
= k4
k 2 a
k2 r
=
,
r 2 a2
|r 2 a2 |
r2
,
(r 2 a2 )2
23
Referencias
[1] Andreescu, T., Andrica, D., Complex numbers from A to Z, Birkhauser,
Boston, 2006.
[2] Bulajich, R., Gmez, J. A., Valdez, R., Algebra, UNAM, Mxico DF,
2014.
[3] Hahn, Liang-shin, Complex numbers and geometry, MAA, 1994.
24