UNA INTRODUCCIN A LOS NMEROS COMPLEJOS

RUDY ROSAS

1.

Introduccin

En el tratado

Ars Magna de 1545, Girolamo Cardano expone varios mtodos

para resolver las ecuaciones cbicas. En particular, para la ecuacin

x3 = 3px + 2q
Cardano da la frmula:

x=

q+

q 2 p3 +

q 2 p3 .

Aunque es fcil comprobar esta frmula por simple sustitucin, ella trae consigo varias preguntas, que permanecieron sin respuesta por muchos aos. por ejemplo, para la ecuacion

x3 = 15x + 4 x=
3

la frmula nos da:

2+

121 +

121. x=4

Por otro lado es fcil vericar que como es posible obtener

x=4

es una raz de esta ecuacin. Entonces:

x=4

de la expresin anterior? ... adems ... siendo

una solucin real, porqu su clculo pasa por nmeros que no existen? ... es inevitable pasar por estos nmeros extraos para obtener la solucin real comienza la historia de los nmeros complejos. Ya en la secundaria aprendemos a tratar con nmeros complejos, aunque no los comprendamos del todo, su manipulacin es algebraicamente sencilla. Ya en esta poca nos encontramos con la frmula

x = 4?

... estas eran algunas de las preguntas que se plantearon en la poca, y es as que

ei = cos + isen,
que quizs sea la frmula ms misteriosa que aprendemos en la secundaria. Que sentido tiene la exponencial de un nmero imaginario? ... en particular, para obtenemos la famosa identidad

ei + 1 = 0.
Esta igualdad, tan maravillosamente sencilla, relaciona algunos de las constantes ms importantes de toda la matemtica: la base de los logaritmos naturales, la razon entre una circunferencia y su dimetro, la unidad y el cero!... Que sentido tiene esta expresin?... Estas son algunas de las preguntas que esperamos aclarar en estas pginas...

UNA INTRODUCCIN A LOS NMEROS COMPLEJOS

2. Primera presentacin de los nmeros complejos

En un primer momento, al menos asi se hace en la secundaria, se dene un nmero complejo como una expresin de la forma reales cualesquiera. Los nmeros

a + ib,

donde

son nmeros

son llamados parte real y parte imaginaria

del nmero complejo, respectivamente. Dos nmeros complejos son iguales si y slamente si, son iguales sus partes reales y sus partes imaginarias. La manera de manipular o realizar operaciones con nmeros complejos sigue las mismas reglas que gobiernan a los numeros reales, tratando el simbolo y teniendo adems en cuenta la igualdad por ejemplo:

como si fuera una variable

i2 = 1,

la cual vale por denicin. Asi

(3 + 2i)(5 2i) = (3 + 2i)(5) + (3 + 2i)(2i) = (15 + 10i) + (6i 4i2 ) = 15 + 10i 6i 4(1) = 19 + 4i.
Por denicin, el cociente del nmero complejo

a + bi

por el nmero complejo

c + di

es (si existe) un nmero complejo

x + yi

tal que

(a + bi) = (c + di)(x + yi),

o sea

a + bi = (cx dy ) + (cy + dx)i.

Igualando las partes reales y las partes imaginarias obtenemos un sistema lineal con dos incognitas, cuya nica solucin ser

x=

c2 + d2 = 0. Es decir, la divisin de nmeros complejos est bien denida y es nica, siempre que el divisor sea diferente de 0+0i. El nmero 0+0i es llamado cero y se denota simplemente por 0. En general, todo complejo de la forma a + 0i 0 + bi se 1 escribe simplemente como a y bi respectivamente . De esta manera, los complejos de la forma a + 0i = a son naturalmente interpretados como nmeros reales, asi que usualmente pensamos que el conjunto de los nmeros reales (denotado por R), est contenido en el conjunto de los nmeros complejos (denotado por C).
3. Y como aparecieron los nmeros complejos?

bc ad ac + bd , y = , siempre que 2 2 c +d c2 + d 2

En la seccin anterior vimos la manera en que usualmente se produce nuestro primer encuentro con los nmeros complejos. Pero como aparecieron en realidad los nmeros complejos?.
3.1. La ecuacin cuadrtica. Desde muy jovenes aprendemos a resolver ecua-

ciones del tipo

ax2 + bx + c = 0,
donde

a = 0, b

son nmeros reales. Como sabemos, esta ecuacin nos plantea el

problema de encontrar un nmero real el resultado sea igual a cero. Puesto

x tal que al calcular la expresin ax2 + bx + c, 2 que a = 0, es equivalente tener x + (b/a)x +

c/a = 0

y un tal

debe tambin satisfacer la igualdad:

b2 b2 c b x2 + x + 2 = 2 . a 4a 4a a
1Esto
se puede considerar tambin como una regla algebraica:

0x = 0

0 + x = x.

UNA INTRODUCCIN A LOS NMEROS COMPLEJOS

Es fcil vericar que el primer miembro de esta ecuacin es lo mismo que

(x +
Luego, el nmero

b 2 ) . 2a

(si existe) deber satisfacer la igualdad:

b 2 b2 4ac . ) = 2a 4a2 b 2 Entonces, puesto que el cuadrado (x+ 2a ) no puede ser un nmero negativo, nuestro 2 x existir si y slo si b 4ac 0 (ya que 4a2 > 0) y en este caso tendremos dos posibilidades: b b2 4ac b + b2 4ac x = . x= 2a 2a (x +
Esta es la clsica frmula de las races de una ecuacin cuadrtica, muy conocida por todos nosotros, cierto?. De lo visto arriba, concluimos que nuestra ecuacin cuadrtica tendr alguna solucin real si y slo si el nmero Si tuvieramos

b2 4ac no es negativo.

b 4ac < 0,

a pesar de que no existen soluciones reales, aprendi-

mos que en este caso las soluciones son nmeros complejos y simplemente dejamos indicada la raiz del nmero negativo la igualdad

2 1 = i. Asi por ejemplo, para la ecuacin x + x + 1 = 0 obtenemos 3 3 1 1 las soluciones + iy i. 2 2 2 2 Ejercicio 1. Si a y b son nmeros reales cuya suma es igual a S y cuyo producto es igual a P , entonces estos nmeros son iguales (en algn orden) a las races de 2 la ecuacin x Sx + P = 0. Luego, para que existan tales nmeros reales a y b, 2 deberemos tener S 4P 0 y en este caso los nmeros buscados sern iguales a S + S 2 4P S S 2 4P y , 2 2
en algn orden. El metodo para resolver las ecuaciones cuadrticas se conoce desde la antiguedad. Se sabe que los egipcios y babilonios saban resolver ecuaciones cuadrticas utilizando esencialmente el mismo mtodo descrito arriba, aunque estas civilizaciones no conceban ni siquiera el concepto de nmero negativo y mucho menos usaban la (muy til) notacin moderna.
3.2. La ecuacin cbica. Podria pensarse que la resolucin de ecuaciones cuadrti-

b2 4ac

o simplicamos la expresin usando

cas caus la aparicin de los nmeros complejos, pero esto es incorrecto. As por ejemplo, la ecuacin

x2 + x + 1 = 0 era considerada simplemente irresoluble, ya que

no exista ningn nmero real que la cumpliera y en realidad este tipo de ecuaciones no tenan ningn inters para los matemticos de la antiguedad. Aparentemente, fu el italiano Girolamo Cardano (1501+75=1576) el primero en utilizar, aunque tmidamente, expresiones que involucraban races cuadradas de nmeros negativos. En su obra

Ars Magna (1545), Cardano describe por primera vez un mtodo para

resolver las ecuaciones cbicas (aunque este mtodo fu en realidad descubierto por Scipione del Ferro y Tartaglia, independientemente). Para ilustrar este mtodo, resolvamos la ecuacin Hagamos

x3 6x 6 = 0.
y sustituyamos esto en la ecuacin:

x=r+s

(r + s)3 6(r + s) 6 = 0.

UNA INTRODUCCIN A LOS NMEROS COMPLEJOS

Efectuando el cubo y agrupando convenientemente, obtenemos :

r3 + s3 + 3rs(r + s) 6(r + s) 6 = 0 (r3 + s3 6) + (3rs 6)(r + s) = 0. r y s que satisfar3 + s3 6 = 0 y 3rs 6 = 0. De ahi obtenemos r3 + s3 = 6 y r3 s3 = 8 y aplicando el ejercicio 1, vemos que r3 y s3 sern las races 2 de la ecuacion t 6t + 8 = 0. Por consiguiente r y s sern iguales (en algn orden) 3 3 a 4 y 2 y obtenemos nalmente que x = r + s = 3 4 + 3 2 es una solucin de
Para tener esta igualdad, sera suciente encontrar nmeros reales gan simultaneamente las ecuaciones la ecuacin cbica. Es posible probar, y Cardano lo saba, que esta ecuacin posee una nica solucin real, as que este mtodo nos da una solucin completa en este caso. En general, Cardano considera una ecuacin de la forma encontrar nmeros reales

x3 = 3px + 2q .

En este

caso, procediendo exactamente igual que arriba (hgalo!), vemos que es suciente

r y s que satisfagan simultaneamente las ecuaciones r3 + s 2q = 0 y 3rs 3p = 0. Luego r3 y s3 debern ser las races de la ecuacin t2 2qt + p3 = 0, es decir, iguales a
3

q+
As,

q 2 p3

q 2 p3

(siempre que

q 2 p3 0).

sern iguales a los nmeros

3

q+

q 2 p3

q 2 p3

y nalmente obtenemos la solucin:

3 3

x=

q+

q 2 p3 +

q 2 p3 .

Cabe sealar que la exposicin de Cardano es muy laboriosa y est dividida en muchos casos, esto porque Cardano slo admite coecientes positivos y por ejemplo trata como casos diferentes las ecuaciones

x3 = 6 x + 6

x3 + 6x = 6.

Adems,

la notacin que se usaba en aquel tiempo hacia que los razonamientos sean an mas pesados, de hecho, Cardano daba incluso enunciados verbales de muchos de sus resultados. As, con nuestra notacin moderna, conseguimos exponer en pocas lneas lo que a Cardano le acup dos o tres pginas. Observe que el mtodo expuesto arriba, en principio, no podra realizarse si

q2

p < 0.

Este problema se vuelve mucho mayor si intentamos pensar como personas

del siglo XVI, ni siquiera los nmeros negativos eran completamente aceptados en esta poca, asi que muchsimo mas extraa era la idea de extraer la raz cuadrada a un nmero negativo, esto simplemente no exista!. Sin embargo, queda en el aire una pregunta: que ocurre si

q 2 p3 < 0?

... esto signica que la ecuacin

x = 3px + 2q
ver que

no tiene soluciones?. Pues el siguiente ejemplo, ya conocido por

Cardano, aclara un poco esta cuestin. Considere la ecuacin

x3 = 15x + 4. Es fcil

x = 4 es una raz de esta ecuacin. Sin embargo, en este caso tenemos que q 2 p3 = 22 53 = 121 es un nmero negativo y no admite raz cuadrada!. A
pesar de esto, si aplicamos la regla de Cardano en este caso, obtenemos:

(3.1)

x=

2+

121 +

121.

Que signicado puede tener esta expresin? ... mediante que mtodo podra obtenerse la solucin

x = 4?.

Aparentemente, Cardano nunca pudo resolver esta

UNA INTRODUCCIN A LOS NMEROS COMPLEJOS

cuestin. Sin embargo, esta no era la primera vez que Cardano trataba con races cuadradas de nmeros negativos. En otra parte de su libro se plantea el problema de hallar dos nmeros que sumen

10

y que su producto sea

que la solucin tendra que ser dada por los nmeros mis mas reglas que los nmeros reales, asi:

5+

40. Cardano concluye 15 y 5 15. Las

races de nmeros negativos, que Cardano llama sofsticas, deberan cumplir las

(5 +
3.2.1.

15)(5

15) = 52 ( 15)2 = 25 (15) = 40.

Sin embargo, Cardano mismo considera este resultado como un ejercicio inutil.

La idea de Bombelli. Fu el italiano Rafael Bombelli (1526+47=1573) quien,

sin temor, comenz a tratar con expresiones que involucran races cuadradas de nmeros negativos. El fu el primero en aceptar sin reservas la existencia de como un nmero ms. Asi, Bombelli se propuso obtener la raz

x = 4

a par-

tir de la frmula 3.1 y su gran idea fue suponer que la raz cbica del nmero

2+

121 = 2 + 11 1

deba ser tambin un nmero de la forma

a + b 1.

Entonces se dispuso a encontrar nmeros reales

tales que:

(a + b 1)3 = 2 + 11 1. a3 + 3a2 b 1 + 3ab2 ( 1)2 + b3 ( 1)3 = 2 + 11 1 (a3 3ab2 ) + (3a2 b b3 ) 1 = 2 + 11 1. Naturalmente, Bombelli saba que los nmeros A + B 1 y C + D 1 slo podan ser iguales si A = C y B = D : en la igualdad (A C ) = (D B ) 1 no podra tenerse D B = 0 ya que entonces se tendra (A C )/(D B ) = 1, lo que es absurdo ya que la raz cuadrada de 1 no es igual a ningn nmero real, entonces B = D y A = C . As, la ecuacin de arriba se reduce a encontrar soluciones reales
para el sistema luego:

a3 3ab2 =2 3a2 b b3 =11.

Elevando al cuadrado ambas ecuaciones y sumando miembro a miembro, obtenemos:

(a3 3ab2 )2 + (3a2 b b3 )2 = 125 a6 + 3a4 b2 + 3a2 b4 + b6 = 125 (a2 + b2 )3 = 125 a2 + b2 = 5.

Reemplazando

b2 = 5 a2

en la primera ecuacin del sistema:

a3 3a(5 a2 ) = 2 4a3 = 15a + 2.

Es fcil vericar que encontramos

a = 2
3

es una solucin de esta ltima ecuacin. Luego

b = 1.

As que ahora podramos escribir la igualdad:

2+

121 = 2 +

1.

UNA INTRODUCCIN A LOS NMEROS COMPLEJOS

Anlogamente, podemos vericar que dramos tambin escribir
3

6
asi que po-

121 = (2 1

1)3 ,

121 = 2

y nalmente de la ecuacin 3.1 obtendramos

x = (2 +
O sea

1) + (2

1),

x=4

!.

Todo este procedimiento no nos da en realidad un algoritmo para calcular las races de una ecuacin cbica. Observe que a mitad del argumento nos hemos topado con otra ecuacin cbica (4a tiene como raz a

= 15a +2), para la cual hemos hallado una solucin

por pura suerte (la misma suerte que nos hizo observar que la ecuacin original

x = 4),

intentar resolver esta ltima ecuacin nos introducira en

un procedimiento cclico, sin obtener ningn resultado. Sin embargo, la importancia de las consideraciones de Bombelli son mas bien de naturaleza terica o hasta losca. Bombelli muestra que es posible hallar soluciones reales de una ecuacin cbica, pasando, en el camino, por nmeros que no existen, nmeros que, aunque no se comprendan, al nal nos llevan a una solucin correcta!.

4.

El Plano Complejo

A pesar de los trabajos de Bombelli sobre el empleo de los nmeros complejos en la resolucin de las ecuaciones cbicas, estos nmeros permanecieron rechazados por la mayora de matemticos de aquel tiempo. Estos nmeros eran considerados imposibles o imaginarios, como si fueran entes de otro mundo. Esta situacin permaneci asi por mucho tiempo, y los nmeros complejos slo fueron plenamente aceptados despues de que se concibiera su interpretacin geomtrica. A continuacin consideraremos un plano punto de

P,

sobre el cual deniremos dos opera-

ciones binarias. Primero, jemos un sistema de coordenadas cartesianas en

ser representado por un nico par

(a, b),

donde

reales. Deniremos sobre de puntos de suma es decir:

P una operacin que a cada par P , le asocia el punto s = (a + c, b + d) de P . Este punto es llamado de p = (a, b) y q = (c, d) y resumiremos esta situacin escribiendo p + q = s,

P : todo a y b son nmeros p = (a, b) y q = (c, d)

(a, b) + (c, d) = (a + c, b + d).

A pesar de que usemos la palabra suma y el signo

+ para la operacin que hemos

denido (podramos usar cualquier otra palabra y cualquier otro signo), no tenemos porque relacionar esta operacin con la conocida suma de nmeros reales. Recuerde que los elementos de

son puntos de un plano y no nmeros, y esta suma slo nos

da una regla para, a partir de un par de puntos de obtener un tercer punto de operacin: 1. 2. 3.

y como si fuera un juego,

(suma). Sin embargo, una vez denidas las reglas del

juego y despues de jugar un rato podemos deducir ciertas propiedades para esta

p + q = q + p para cualesquiera p, q P (conmutatividad) (p + q ) + r = p + (q + r) para cualesquiera p, q, r P (asociatividad) El punto (0, 0), que denotaremos por 0, es tal que 0 + p = p + 0 = p para todo p P

UNA INTRODUCCIN A LOS NMEROS COMPLEJOS

4. Para cualquier

p P , existe p + (p) = (p) + p = 0 0

un nico punto, denotado por

p,

tal que

El punto

es llamado elemento neutro para la suma de puntos y el punto

es

llamado el opuesto aditivo de

p + ( q )

(diferencia entre

p. Usaremos q ).

el smbolo

pq

para denotar el punto

No debemos confundir estas propiedades (aunque luzcan iguales) con las propiedades de la suma de nmeros reales (no olvide que estamos tratando con puntos en un plano), asi que todas estas propiedades deben ser demostradas. Sin embargo, las demostraciones son muy sencillas y se basan en las propiedades de la suma de nmeros reales, asi que dejaremos esta tarea para el lector.

Remark 1. Esta suma de puntos es la conocida suma de vectores y una manera

grca de entenderla se consigue va el metodo del paralelogramo.

(a+b,c+d) (c,d)

(a,b)

Deniremos a continuacin una segunda operacin en el de puntos

p = (a, b)

q = (c, d)

en

Este punto es llamado producto

P . A partir de un par P , denimos el punto s = (ac bd, ad + bc). 2 de p y q y escribiremos s = p q , es decir:

(a, b) (c, d) = (ac bd, ad + bc).

Igual que antes, a pesar de que usemos el mismo nombre y el mismo smbolo que en el caso del producto de nmeros reales, no olvidemos que esta es una operacin entre puntos de un plano, es slo una regla para obtener un punto a partir de un par de puntos dados. Naturalmente, se puede tambin en este caso deducir algunas propiedades para el producto de puntos: 1. 2. 3. 4.

p q = q p para cualesquiera p, q P (conmutatividad) (p q ).r = p (q r) para cualesquiera p, q, r P (asociatividad) El punto (1, 0), que denotaremos por 1, es tal que 1 p = p 1 = p para todo p P 1 Para cualquier p = 0, existe un nico punto, denotado por p , 1 1 p (p ) = (p ) p = 1

tal que

1 es llamado elemento neutro para el producto de puntos y el punto p1 es llamado el inverso multiplicativo de p. Las propiedades 1 y 3 son realmente sencillas
El punto

2O

simplemente

s = pq.

UNA INTRODUCCIN A LOS NMEROS COMPLEJOS

de vericar. Probemos las propiedades Entonces

2 y 3. Sean p = (a, b), q = (c, d) y r = (e, f ).

(p q ) r = (ac bd, ad + bc) (e, f ) = ((ac bd)e (ad + bc)f, (ac bd)f + (ad + bc)e) = (ace bde adf bcf, acf bdf + ade + bce) = (a(ce df ) b(cf + de), a(cf + de) + b(ce df )) = (a, b) (ce df, cf + de) = p (q r), p = (a, b) es diferente de 0, entonces b a a2 + b2 = 0 y podemos denir p1 = ( a2 + b2 , a2 +b2 ) P . Es fcil vericar que p (p1 ) = (p1 ) p = 1. Por otro lado, si tuvieramos p y = y p = 1 para algn y P , entonces
esto prueba la propiedad asociativa. Ahora, si

x (p y ) (x p) y (1) y y
usaremos el smbolo

= x (1) = x = x = x, p
es nico. Cuando

por lo tanto, el inverso multiplicativo de

p/q

para representar el punto

p q 1

(cociente de

p, q P y q = 0 p por q ).

Por ltimo, para cualesquiera

p, q, r P

se cumple que:

p (q + r) = p q + p r.
Esta es la conocida propiedad distributiva, cuya demostracin dejaremos al lector. la suma y el producto de puntos de El lector ya debe haber notado que las 9 propiedades

3 que hemos mostrado para

P,

son las mismas propiedades que gobier-

nan la manipulacin de nmeros reales. Esto no es casualidad, ya que las operaciones que hemos denido para los puntos de

han sido ideadas (y esto tomo

mucho tiempo y mucho esfuerzo) justamente con este propsito. Como sabemos, todas las propiedades algebraicas de los nmeros reales son consecuencia de las reales ser tambin una propiedad satisfecha por los puntos de

propiedades citadas arriba, asi que cualquier propiedad algebraica de los nmeros

P.

Por ejemplo:

pq = 0 p = 0

q = 0,

esta propiedad tiene como consecuencia la muy conocida regla de cancelacin:

px = py, p = 0 x = y.
Identidades del tipo de

(a)2 = a2

(a b)(a + b) = a2 b2

valen tambin para puntos

P.

Cualquier demostracin de estas propiedades que se haga en el caso de los

nmeros reales, debera basarse slo en la aplicacin de las

propiedades de arriba,

as que esta misma demostracin podr reproducirse, paso a paso, en el caso de caso de

P.

Algunas identidades algebraicas tienen una escritura sutilmente distinta en el

P:
son ejemplos

3Estas son las propiedades que denen a un Cuerpo o Campo, as, tanto R como P
de cuerpos.

UNA INTRODUCCIN A LOS NMEROS COMPLEJOS

Ejercicio 2. Pruebe que

puntos iguales a

es igual a

p + p = (2, 0) p para todo p P . En general: la suma de (n, 0) p. Use esto para probar que las identidades (p + q )2 = p2 + (2, 0) p q + q 2

(p + q )3 = p3 + q 3 + (3, 0) p q (p + q )
para cualesquiera

p, q P . (a, b) (c, d) = (ac bd, ad + bc)

es a primera vista

Entre la suma y el producto, sin lugar a dudas, es la segunda operacin la que causa mas intriga. La regla muy caprichosa y aparentemente poco natural. Por ejemplo, una regla del tipo

(a, b) (c, d) = (ac, bd)

podra parecer a primera vista una denicin razonable, sin

embargo, esta regla no cumple la propiedad

del producto y esto hace que esta

denicin sea poco conveniente (de hecho, casi completamente inutil). En realidad, la regla para el producto es slo una versin algebraica y sintetizada de una operacin con mucho signicado geomtrico (todo depende del cristal con que se mire). En el fondo, esta denicin de producto es lo mas natural que se podra idear (!), pero iremos dilucidando esto poco a poco. Una primera justicacin para nuestra denicin de producto, es que la multiplicacin de nmeros complejos sigue exactamente la misma regla. Para esto, como hizo Gauss (aunque el no fue el primero), identicaremos cada nmero de la forma

a + ib

con el punto

(a, b)

del plano

P.

Esto nos da una correspondencia uno a uno

entre los nmeros complejos y los puntos del plano de los complejos

P.

Es fcil ver que sumar dos

nmeros complejos equivale a sumar sus puntos correspondientes en

P : la suma a + ib y c + id es igual al complejo z = (a + c) + i(b + d), la suma de los puntos (a, b) y (c, d) es igual al punto (a + c, b + d) y, obviamente, este punto representa al nmero complejo z . Anlogamente (y esto es lo ms interesante), el producto de los nmeros complejos a + ib y c + id, o sea (ac bd) + i(ad + bc), corresponde al producto de los puntos (a, b) y (c, d), o sea (ac bd, ad + bc). Desde el punto de vista algebraico, esta situacin se resume diciendo que los cuerpos P y C son isomorfos. Esto tiene la siguiente consecuencia: si tuviramos cualquier expresin con nmeros complejos y operacines entre ellos, podremos pensar que son puntos del plano en

P,

efectuar las operaciones siguiendo las reglas de las operaciones

y, al resultado nal, que es un punto de

P,

lo miramos como nmero com-

plejo y este sera el resultado de nuestro problema inicial. Naturalmente, el proceso inverso tambin vale. De esta manera, los nmeros complejos no son entes de otro mundo, sino que son puntos sobre un plano. En este sentido, al menos al inicio, es conveniente pensar que los nmeros complejos no son nmeros, sino simplemente puntos sobre un plano, con los que podemos jugar (hacer operaciones) de una manera similar a como se juega con los nmeros reales.
5. Resolviendo ecuaciones en P

Uno de los juegos mas divertidos que tenemos en resover ecuaciones. Asi por ejemplo, la ecuacin (5.1)

es, por supuesto, el juego de

X2 + 1 = 0 X = (x, y )
del plano

plantea el problema de encontrar los puntos

tales que

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

UNA INTRODUCCIN A LOS NMEROS COMPLEJOS

Esto signica

10

(xx yy, xy + yx) + (1, 0) (x y + 1, 2xy ) x2 y 2 + 1 2xy

de donde obtenemos las soluciones 5.1 tiene como soluciones a los puntos

= = 0 0,

(0, 0) (0, 0),

lo que es equivalente al sistema de ecuaciones reales

= =

x = 0, y = 1 y x = 0, y = 1. As que la ecuacin (0, 1) y (0, 1) (los nmeros complejos i y i respectivamente!). Estos puntos son, por denicin, las races cuadradas de 1 y los denotaremos (a ambos!) con el smbolo 1. Sabemos que la ecuacion X 2 + 1 = 0, como una ecuacin en R, no posee ninguna solucin. Sin embargo, si llevamos esta ecuacion al nuevo mundo P  y buscamos puntos (no nmeros!) que la cumplan,
fcilmente encontramos dos soluciones. Hallemos ahora la raiz cuadrada de cualquier punto resolvamos la ecuacin

p = (a, b)

de

P,

es decir,

X 2 = p.
Si hacemos

X = (x, y )

la ecuacin es equivalente a:

(x, y ) (x, y ) (x y , 2xy ) x2 y 2 2xy

Es fcil ver que cuando Si

= = = a

(a, b) (a, b),

lo que es equivalente al sistema de ecuaciones reales:

= b. X = (0, 0).

p = 0,
y

este sistema tiene como nica solucin a donde

p = 0,

entonces el sistema tiene exactamente dos soluciones (dejamos esto como

ejercicio) dadas por

X0

X0 , a+

X0 =

a2 + b2 , 2 2 P

b a + a2 + b2

Lo importante de todo esto es que: en de un punto

es siempre posible extraer la raz cuadrada Como sabemos, esta es una propiedad

p,

obteniendose como resultado dos puntos opuestos entre si cuando

p = 0,

y una nica raz (cero) cuando

p = 0.

bien conocida de los nmeros complejos. Usaremos la notacin races cuadradas del punto

pP

(o del nmero complejo

p para denotar las p C). Observe que p

denota en general a dos nmeros distintos (!), asi que a veces podremos interpretar este smbolo como el conjunto de las races cuadradas de
6.

p. P
?

Y que tienen que ver los nmeros reales con el plano

Considere el conjunto

R = {(x, y ) P : y = 0}.
Es fcil ver que los puntos de esta recta tienen las siguientes propiedades: 1. 2. 3.

(a, b) + (b, 0) = (a + b, 0) (b, 0) = (b, 0), luego (a, b) (b, 0) = (a b, 0) (a, 0) (b, 0) = (ab, 0)

UNA INTRODUCCIN A LOS NMEROS COMPLEJOS

4.

11

(a, 0)/(b, 0) = (a/b, 0) (si b = 0) Esto muestra que las operaciones entre puntos de R, nos devuelven como resultado otra vez puntos de R. Adems, hacer operaciones con con puntos de R se reduce
(si luego a hacer las mismas operaciones con las primeras coordenadas de los puntos, por ejemplo:

(b, 0)1 = (b1 , 0)

b = 0),

Para

(3, 0)(2, 0) + (20, 0)/(4, 0) (5, 0) = (3 2 + 20/4 5, 0) = (6, 0). todo a R, usaremos el smbolo a para denotar el punto (a, 0) R. 3 2 + 20/4 5 = 6.

Asi, la

expresin anterior se escribira simplemente asi:

O sea, podemos tratar a los puntos conjunto

exactamente como si fueran nmeros reales,

asi que podemos pensar que el conjunto de los nmeros reales esta incluido en el

P ,

o sea:

R. (p + q )2 = p2 + 2pq + q 2

Remark 2. Con esta notacin, las identidades del ejercicio 2 se escriben como

(p + q )3 = p3 + q 3 + 3pq (p + q ).
Ahora podemos mostrar de una forma mas concreta el isomorsmo entre C y P . Empecemos por denotar con la letra i al punto (0, 1) P . De 5 tenemos que i2 = 1 o tambin 1 = {i, i}. Es fcil ver que (a, b) = a + ib para todo (a, b) P (verifquelo!). Entonces tenemos

P = {a + ib : a, b R} = {a + ib : a, b R}
y es fcil vericar en este conjunto (hgalo!) todas las propiedades de los nmeros complejos, por ejemplo, la regla del producto:

(a + ib)(c + id) = (ac bd) + i(ad bc), a, b R.

7. La ecuacin cuadrtica

Podemos ahora resolver la ecuacin general de segundo grado

AX 2 + BX + C = 0,
donde

A, B

son puntos de

(o nmeros complejos) y

esta ecuacin plantea el problema de hallar los puntos

A = 0. Naturalmente, X P tales que

A X X + B X + C = 0.
Como

A = 0,

es lo mismo resolver

X2 +
2

B AX

C A

=0
2

o equivalentemente:

X2 +

B B X+ A 4 A2 B 2 (X + ) 2A

= =

4 A2

C A B 2 4AC 4 A2

.
B 2 4AC , as que por 4A2

Luego, el punto

B X+2 A

debe ser una raz cuadrada del punto

lo visto en la secin 5:

X+

B 2A

B 2 4AC 4A2

UNA INTRODUCCIN A LOS NMEROS COMPLEJOS

luego:

12

X=
2

B +

B 2 4AC 2A

. B 2 2AC = 0

Recuerde que esta formula representa a dos puntos distintos cuando y un nico punto si

B 4AC = 0.
y

Ejercicio 3. Sean

S0

AB = P0 , decir, A y B
y

entonces

P0 puntos de P . Si A y B son puntos tales que A + B = S0 A y B son las races de la ecuacin X 2 SX + P = 0, es S0 +

2 4P S0 0

son dados por la frmula

. 2 2 2 Asi, A e B sern puntos distintos cuando S0 4P0 = 0 y, si tuviramos S0 4P0 = 0, tendremos A = B = S0 /2. Lo importante es que: en P siempre es posible hallar dos
puntos cuya suma y cuyo producto sean iguales a ciertos puntos dados previamente.
8. El mtodo de Cardano

Aplicaremos ahora el mtodo de Cardano para la ecuacin

(8.1) donde

X 3 3pX 2q = 0, p, q P . Para cualquier X P , por el ejercicio 3, siempre existen r, s P X = r + s y rs = p. Entonces X es ser solucin de 8.1 si solamente si: (r + s)3 3p(r + s) 2q = 0.

tales que

Desarrollando el cubo (2) y agrupando convenientemente los terminos obtenemos:

(r3 + s3 2q ) + (3rs 3p)(r + s) = 0 (r3 + s3 2q ) = 0,

o sea

r3 + s3 = 2q.
Entonces, para que

X = r + s,
(8.2)

donde

X sea solucin de la ecuacin 8.1 es r, s P son soluciones del sistema: r3 + s3 = 2q p rs = r3 + s3 = 2q r3

y

necesario y suciente tener

Este sistema implica (8.3) y

r3 s3 = p3

y por el ejercicio 3 los puntos

s3

son dados por la frmula

2q +

(2q )2 4 p3 2 = =

2q +

4(q 2 p3 ) 2 q 2 p3 2 p3 .

2q+2 q2

= q+

UNA INTRODUCCIN A LOS NMEROS COMPLEJOS

Si asumimos ahora que el smbolo de

13

q p

(escogemos una),

q 2 p3 denota a una de las races cuadradas entonces r y s deben ser races cbicas de los puntos q 2 p3
y

q+
Tales

q 2 p3 .
sea solucin

de 8.1 es necesario y suciente tener

r y s cumplirn ya la primera ecuacin de 8.2, as q para que X X = r + s con r, s tales que r3 p3 = = q+ q p. q 2 p3 q 2 p3

rs =

Este sera el enunciado preciso de la frmula de Cardano para la ecuacin 8.1. Luego, podemos concluir que toda raz de 8.1 es dada por la formula

X=
son races cbicas de

q+

q 2 p3 +

q 2 p3 ,

pero teniendo el siguiente cuidado: las expresiones radicales de la formula de arriba

q+

q 2 p3

q 2 p3
4a

y el producto estas races cbicas debe ser igual

p. Vemos entonces que, en P , el

mtodo de Cardano siempre funciona y nos permite expresar todas las soluciones de la ecuacin 8.1 en funcin de sus coecientes.

9.

La idea de Bombelli

Volveremos ahora a la ecuacin cbica (9.1)

x3 3px 2q = 0 xR

(p, q R) P:

y daremos una versin matemticamente rigurosa de la idea de Bombelli. Para comenzar, observe que para todo tenemos la siguiente identidad en

(x, 0)3 (3, 0)(p, 0)(x, 0) (2, 0)(q, 0) = (x3 3px 2q, 0).
De esta expresin vemos lo siguiente: el punto (9.2)

es raz de la ecuacin 9.1 si y slamente si

(x, 0) P

es raz de la ecuacin

X 3 3pX 2q = 0. R.
Ahora podemos usar el mtodo de Cardano para resolver

Entonces nuestro problema es equivalente (!) a encontrar las races de 9.2 que estn contenidas en la recta esta ecuacin en sobre

y slo tenemos que quedarnos con aquellas solucines que esten

R.

Si

(a, 0)

es una de estas soluciones, entonces

ser raz de la ecuacin 9.1

y no importa (!) que al aplicar el mtodo de Cardano tratemos en el camino con puntos de

P R.

As: no importa que en el camino tengamos que utilizar nmeros complejos, si al nal obtenemos una solucin real, entonces podemos tener la certeza de que esta solucin es correcta (!).

4Debemos

tener

q+

q 2 p3

q 2 p3 = p.

UNA INTRODUCCIN A LOS NMEROS COMPLEJOS

10. Coordenadas polares y el producto de nmeros complejos

14

Desde ahora identicaremos los nmeros complejos con los puntos del plano Denimos la norma del nmero complejo

P.

z = x + iy x2 + y 2 .

por la frmula

|z | =
La norma de

la medida

angulo debe que

z = 0, sea el ngulo formado el semieje positivo de las abscisas y el rayo 0z . el ser medido en el sentido antihorario. Entonces, si r = |z |, sabemos
es simplemente la distancia euclidiana entre y Para

z.

z = r(cos + isen). z y el par (r, ) es una expresin de z z en coordenadas polares no es nica: si (r, ) son coordenadas polares para z , entonces (r, + 2k ) (k Z) son tambin coordenadas polares para z . Pero esta es toda la ambiguedad que existe: si (r, 1 ) y (r, 2 ) son coordenadas polares para z , entonces 2 1 = 2k para algn k Z. El ngulo en cualquier expresin de z en coordenadas polares se llama argumento del complejo z .
Esta es la representacin polar del complejo en coordenadas polares. La representacin de Lo interesante de la representacin polar es la forma que toma el producto de nmeros complejos. Si

z1 = r1 (cos1 + isen1 )

z2 = r2 (cos2 + isen2 )

entonces:

z1 z2

= r1 (cos1 + isen1 )r2 (cos2 + isen2 ) = r1 r2 (cos1 cos2 sen1 sen2 + i(sen1 cos2 + cos1 sen2 )) = r1 r2 (cos(1 + 2 ) + isen(1 + 2 )).

Entonces, al multiplicar dos nmeros complejos: las normas se multiplican y los argumentos se suman.

z1 z2

z1 rr
1 2

z2 r
1

+ 1

Asi, por ejemplo, si aplicamos

veces esta regla, obtenemos la frmula

(cos + isen)n = cos(n) + isen(n),

conocida como la frmula de Moivre.
11. Un modelo geomtrico para las operaciones en

Veremos ahora una forma geomtrica de entender los nmeros complejos y sus operaciones. Comencemos con la operacin mas sencilla, es decir, la suma. Todo

UNA INTRODUCCIN A LOS NMEROS COMPLEJOS

punto

15

a C

dene una transformacin del plano de la manera siguiente. Imag-

inemos que el punto

0C

se traslada en linea recta hasta llegar al punto

a C.

Suponga que, al mismo tiempo, cada punto del plano se traslada en linea recta en una trayectoria paralela a la descrita por el punto recorrida por

0C

y una distancia igual a la

0 C se a. Esto dene una funcin Ta : C C tal que Ta (z ) es el punto nal de la trayectoria que describe z . Este tipo de funciones se conocen como traslaciones. Es fcil ver que si a = b, entonces las traslaciones Ta y Tb son diferentes. Luego, la correspondencia a Ta dene una biyeccin entre el Plano C y el
O sea, el plano se traslada paralelamente hasta que coloque en la posicin de conjunto de las traslaciones del plano. Entonces podemos imaginar que cada punto del plano representa en realidad a una traslacin del plano. Lo interesante de este punto de vista es lo siguiente. Cuando tenemos dos traslaciones del plano, existe una operacion muy natural que podemos efectuar con ellas.. que podemos hacer? .. pues podemos componerlas!: primero trasladamos cada punto del plano siguiendo la regla de la traslacin

0 C.

Ta ,

e inmediatamente despus volvemos a trasladar

cada punto siguiendo esta vez la regla dada por

Tb .

De esta manera obtenemos un

movimiento del plano que viene denido por la funcin

Tb Ta : C C Tb Ta (z ) = Tb (Ta (z )).
Ahora, es fcil ver (geometra elemental) que esta funcin es tambin una traslacin, o sea

Tb Ta = Tc para algn c C. Adems tenemos las siguientes propiedades: 1. Ta Tb = Tb Ta 2. (Ta Tb ) Tc = Ta (Tb Tc ) 3. La traslacin T0 , asociada al punto 0 C, es tal que T0 Ta = Ta T0 = Ta para toda traslacin Ta 4. Para toda traslacin Ta , tenemos la traslacin Ta que verica que Ta Ta = Ta Ta = T0 .
5 son esencialmente de naturaleza geomtrica as que dejaremos

Estas propiedades

que el mismo lector se convenza de su validez. Finalmente, que ocurre si interpretamos la composicin de traslaciones como una operacin entre nmeros complejos?.. a qu nmero complejo corresponde la traslacin (verifquelo) que en este caso debemos tener traslaciones corresponde a la suma traducen en las

propiedades de la

Tc = Ta Tb ? .. pues es fcil ver c = a + b. Luego, la composicin de de complejos y las 4 propiedades de arriba se suma de nmeros complejos (o puntos de P ).
deniremos ahora otro movimiento del

Ahora lo ms interesante, cmo podemos interpretar el producto de nmeros complejos?. Dado un punto

a C {0},

plano asociado a este punto. Lo que pretendemos, es mover el plano de manera tal que al nal del movimiento tengamos lo siguiente: 1. El punto 2. El punto

0C 1C

permanece jo se coloca sobre el punto

a C. a fuera

Que tipo de transformacin del plano puede cumplir con estos requisitos?. Si del plano para conseguir colocar el punto entre

un nmero real mayor que 1, es fcil ver que sera suciente hacer una amplicacin

1 sobre el punto a. Si a fuera un real 0 y 1, sera suciente hacer una reduccin del plano. Claramente, si a = 1 no
son los axiomas que denen a un grupo.

5Estos

UNA INTRODUCCIN A LOS NMEROS COMPLEJOS

hara falta hacer nada .Y si punto

16

no esta sobre el semieje positivo de los reales?. Pues

en este caso podemos hacer antes una rotacin del plano hasta que el punto

se encuentren sobre un mismo rayo con origen en

amplicamos el plano (si nada (|a|

|a| > 1), aC

reducimos el plano y denotada por

1 y el 0 C y despus de esto: (si |a| < 1) o no hacemos

= 1).

Al nal obtenemos una transformacin del plano, conocida como

homotecia compleja de factor

Ha .

Ha
1

se coloca

C tal que Ha (z ) es el punto donde Ha . De la descripcin dada arriba, podemos obtener una expresin de Ha usando coordenadas polares. As, si a = ra (cosa + isena ) y z = r(cos + isen), es fcil ver que7:
La homotecia es una funcin de

Ha

en

despus de efectuar la homotecia

(11.1) Cuando

Ha (z ) = (rra )(cos( + a ) + isen( + a )). a = 0, C

denimos la homotecia para todo

H0 ( z ) = 0

zC

8. Como antes, la correspondencia

H0

como la aplicacin nula, es decir

a Ha

dene una

biyeccin entre

y el conjunto de homotecias complejas del plano. Naturalmente,

as como las traslaciones, dos homotecias del plano tambin se pueden componer (aplicar una y despus aplicar la otra) y esto dene una nueva homotecia (cierto?). As, la composicin de homotecias es una operacin muy natural y goza de las siguientes propiedades: 1. 2. 3. 4.

Ha Hb = Hb Ha (Ha Hb ) Hc = Ha (Hb Hc ) 9 La homotecia H1 , asociada al punto 1 C , es tal que H1 Ha = Ha H1 = Ha para toda homotecia Ha Para toda homotecia Ha = H0 , tenemos la homotecia Ha1 Ha Ha1 = Ha1 Ha = H1 .

que verica que

Nuevamente, dejaremos estas propiedades como tarea para el lector. Finalmente, que ocurre si interpretamos la composicin de homotecias como una operacin entre nmeros complejos? .. a que nmero complejo corresponde la homotecia .. pues veamos: si

Hb Ha ?

a = ra (cosa + isena )

b = rb (cosb + isenb ),

usando 11.1:

Hb Ha (z )

= Hb (rra (cos( + a ) + isen( + a ))) = rra rb (cos( + a + b ) + isen( + a + b ))

6transformacin identidad. 7la rotacin aplica z sobre r(cos( + ) + isen( + )) y nalmente a a reduccin) es hecha multiplicando el factor ra (ya que|a| = 1 ra ). 8Esto sera una reduccin innita. 9esta homotecia es la funcin identidad.

la amplicacin (o

UNA INTRODUCCIN A LOS NMEROS COMPLEJOS

y como

17

ab = ra rb (cos(a + b ) + isen(a + b )),

concluimos que

Hb Ha (z ) = Hab (z ),
o sea

Hb Ha = Hab .
por lo tanto, la composicin de homotecias corresponde al producto de nmeros complejos y las

propiedades de la homotecia se traducen en las

propiedades del

producto de nmeros complejos. Esto muestra que, a pesar de que su formulacin algebraica sea misteriosa y nada sencilla, el producto de nmeros complejos tiene un trasfondo geomtrico y muy natural
12.

10.

La funcin exponencial

Quizs la frmula mas intrigante cuando empezamos a tratar con los nmeros complejos sea: (12.1)

ei = cos + isen. ei ,
lo cual no es

Frecuentemente se presenta esta frmula como una denicin de incorrecto, pero es al extremo antinatural.
12.1. polinomios complejos. Considere la funcin

f :RR f (x) = x2 3x + 2.
Esta funcin pertenece a la clase ms simple de funciones reales: las funciones polinmicas

11. Para obtener el valor

f (a)

slo debemos efectuar un nmero nito

de sumas y productos involucrando al nmero

y a los coecientes del polinomio.

Aqu viene lo importante: estas operaciones las podemos efectuar inclusive si Entonces, la funcin

es un nmero complejo, aunque podramos obtener resultados complejos tambin.

se extiende de manera natural a una funcin

f :CC f (x) = x2 3x + 2.
Por simplicidad, se acostumbra denotar a la extensin variable tome tambin valores complejos.
12.2. La funcin exponencial. Ahora veremos que la funcin exponencial tam-

con la misma letra

f.

En

resumen: las funciones polinmicas reales tienen perfecto sentido si dejamos que la

bin tiene la propiedad descrita arriba para las funciones polinmicas. La funcin exponencial real satisface la siguiente frmula: (12.2) Si jamos un

ex = 1 +

x2 xn x + + ... + + . . . , x R. 1! 2! n!

de tener innitos sumandos, es nita cualquiera que sea

x R, el miembro de la derecha es una suma de nmeros que, a pesar x R 12. No demostraremos

de la recta, la extensin de este producto al caso del plano se insina muy

10De
reales

hecho, si interpretamos el producto de nmeros reales como composicin de homotecias

x ax (a R)

claramente.

11Funciones cuya 12En este caso se

regla de correspondencia es dada por un polinomio. dice que la serie es convergente.

UNA INTRODUCCIN A LOS NMEROS COMPLEJOS

18

esta frmula aqu, ya que su prueba pasa por consideraciones delicadas acerca de convergencia de series y necesita tambin de una denicin precisa de lo que es sea un nmero complejo, as que para

ex 13.

Lo importante: la serie en 12.2 tiene sentido incluso si permitimos que la variable

x=zC

obtenemos la serie

1+

z z z + + ... + + ... 1! 2! n! z C?
... pues la

pero que pasa en este caso?... tiene sentido esta suma innita si respuesta es si!, esta serie innita tiene siempre una suma nita:

Teorema. Para todo z C, la serie

1+ z z2 zn + + ... + + ... 1! 2! n!
es convergente (y su suma es en general un nmero complejo).
Luego, esta serie dene una funcin

f :CC z z2 zn + + ... + + ... 1! 2! n! x z que extiende la funcin exponencial e . Naturalmente, escribiremos f (z ) = e . Esta f (z ) = 1 +
es la funcin exponencial compleja. Son conocidas las siguientes expresiones de innitas

14:

sen

cos ( R)

como series

sen
(12.3)

= =

cos

3 5 z 2n+1 + . . . + (1)n + ... 3! 5! (2n + 1)! 2 4 z 2n 1 + . . . + (1)n + .... 2! 4! (2n)! R,

tenemos:

Teniendo esto en cuenta, para todo

ei

i (i)2 (i)3 (i)4 + + + + ... 1! 2! 3! 4! 2 3 4 5 = 1 + i i + + i ... 2! 3! 4! 5! 2 4 3 5 + . . .) + i( + . . .) = (1 2! 4! 3! 5! = cos + isen, = 1+

o sea, hemos obtenido la clsica frmula 12.1. Naturalmente, todas las funciones trigonomtricas se extienden como funciones de variable compleja, y esto es slo el comienzo de una de las ramas mas bellas de las matemticas, que comenz como algo loco o imposible, pero que con el tiempo a mostrado estar presente en terrenos muchas veces insospechados de las matemticas y el mundo fsico.

13Sin

embrago, quizs sea tranquilizador calcular la serie de Taylor de la funcin exponencial puede ser tranquilizador el calculo de las series de Taylor para

y comprobar que esta serie coincide con aquella de la frmula12.2.

14Nuevamente,

sen

cos.

UNA INTRODUCCIN A LOS NMEROS COMPLEJOS

Referencias

19

[1] La Matemtica de la Enseanza Media, vol 1,2 y 3, Elon Lages Lima, Paulo Cezar Pinto Carvalho, Eduardo Wagner y Augusto Csar Morgado, Coleccin Textos del IMCA. [2] Mi Profesor de Matemtica y otras historias, Elon Lages Lima, Coleccin Textos del IMCA. [3] Historia de La Matemtica, Carl Boyer, Madrid: Alianza Editorial, 1987.