Manual Complejos

INDICE GENERAL Introduccin o La magia poderosa de los n meros complejos u
El tema de los Nmeros Complejos, a pesar de ser tan hermoso por integrar u la trigonometr el lgebra y la geometr es muy poco estudiado en la escuela a, a a, bsica y diversicada. Para muchos docentes, la nalidad de los nmeros complejos a u est en poder calcular las ra a ces ensimas de la unidad. En los cursos de matemtie a cas bsicas en la Universidad, apenas se esbozan algunas de sus propiedades ms a a importantes, dejando de lado aspectos geomtricos tan importantes como el estudio e de las transformaciones y los movimientos del plano. El poder de clculo que se esconde detrs de los complejos, es algo mgico. Con a a a un m nimo de esfuerzo, podemos derivar identidades y frmulas trigonomtricas que o e requieren de un trabajo tedioso y agotador, siguiendo los mtodos usuales. Muchos e conceptos de la matemtica, como el de funcin, l a o mites, series de potencias y continuidad se estudian de manera bastante natural dentro del ambiente de los nmeros u complejos. Los argumentos de prueba son mucho ms intuitivos y transparentes en a el plano. En el presente libro se tratan los aspectos ms importantes de los nmeros coma u plejos, siguiendo un enfoque geomtrico, desde el comienzo hasta el n. Los cap e tulos 1-3 pueden ser le dos por cualquier persona con los conocimientos bsicos del bachia llerato. Para los cap tulos 4-5, se requiere al menos un curso de clculo de un semestre a en la Universidad. Los aspectos histricos del tema, que aparecen en el cap o tulo 1, son fundamentales para cualquier desarrollo didctico de este tema dentro del aula. a La demostracin del Teorema Fundamental del Algebra en el cap o tulo 4, contiene algunos conceptos de topolog quizs desconocidos para algunos lectores.Se inclua, a ye esta demostracin por ser quizs el teorema ms importantes de la teor de los o a a a polinomios. Sin embargo en la exposicin se dan todos los conceptos necesarios para o la comprensin de la prueba, sin necesidad de recurrir a textos avanzados de anlisis o a o de topolog a. Espero que este trabajo sirva para motivar a los docentes de educacin media y o diversicada, hacia el estudio de estos temas de matemticas. Es una invitacin a a o conocer, ms que otro sistema numrico, un mundo donde la magia y la imaginacin a e o aparecen en cada esquina.
w w
.M at
em at
ic a
1. co m
Cap tulo 1
Historia de los Nmeros u Complejos

1.1. Los inicios del lgebra a
Muchos conceptos en metemticas tardaron varios aos y hasta siglos en desaa n rrollarse, desde el momento en que fueron descubiertos por primera vez, por alguna mente brillante, hasta la formalizacin de los mismos. El avance en el tiempo de o la matemtica fue un proceso lento, debido al caracter formal de esta ciencia: una a de sus reglas es que cualquier objeto nuevo debe estar claramente denido para ser aceptado por toda la comunidad. As pues, muchas ideas incompletas quedaron re legadas a la oscuridad y el olvido por no encajar en el sistema de razonamiento de la poca, como fue el caso de los nmeros complejos. e u Fue en Italia, durante el per odo del renacimiento, cuando por vez primera los algebristas se dedican a investigar seriamente estos nmeros y penetran el halo u misterioso en que se hallaban envueltos desde la antigedad. Los complejos aparecen u inicialmente en el libro Ars magna de Girolamo Cardano, publicado en 1545. Pero Cmo surge la idea de usar estos nmeros? Porqu no aparecieron antes? o u e Quin era Cardano? Trataremos de contestar a estas interrogantes remontndonos e a a los or genes del lgebra. a Podemos decir que los nmeros complejos aparecieron muy temprano en el paiu saje de las matemticas, pero fueron ignorados sitemticamente, por su carcter exa a a trao, carentes de sentido e imposibles de representar. Aparecen entre las soluciones n de las ecuaciones cuadrticas, que generan ra a ces cuadradas de nmeros negativos. u Por ejemplo la ecuacin: o x2 + x + 5 = 0 no posee soluciones reales. Si empleamos la conocida frmula de resolucin de una o o 3
w .M
at
em
at
ic a1
.c
om
CAP ITULO 1. HISTORIA DE LOS NUMEROS COMPLEJOS
ecuacin de segundo grado, nos encontraremos con la ra cuadrada de 19. Los mao z temticos griegos, que conoc los mtodos geomtricos de resolucin, consideraban a an e e o este tipo de problemas irresolubles. Es completamente incorrecto decir que la aparicin de los nmeros complejos o u se debi a la imposibilidad de resolver todas las ecuaciones cuadrticas, pues los o a matemticos de entonces simplemente no se interesaban en ello. La motivacin real a o de entenderlos, viene de las ecuaciones cbicas, como veremos ms adelante. u a Recordemos que los griegos rechazaron el uso de los nmeros negativos, por la u falta de un equivalente dentro de la geometr Para ellos, todo nmero represena. u taba la longitud de un segmento o el rea de una gura plana. La geometr era a a considerada entonces como el corazn de toda la matemtica y esto, por supuesto, o a retard considerablemente el desarrollo de los sistemas numricos! o e Con el surgimiento del lgebra durante la Edad Media, el concepto de nmero a u se ampl para poder manipular las ecuaciones, desligadas ya de la inuencia domia, nante de la geometr El algebrista se va a mover en un mundo pleno de libertad e a. imaginacin donde las ecuaciones y frmulas sern el semillero de las grandes ideas o o a que darn impulso a la matemtica. Los nmeros, de ahora en adelante, quedarn a a u a libres de sus equivalentes geomtricos. e La palabra lgebra se deriva del vocablo rabe al-jabr que quiere decir restaurar. a a Qu tiene esto que ver con la matemtica? Cuando se tiene una ecuacin, como e a o por ejemplo 2x + 3 = 5 entonces quitamos y ponemos s mbolos a los lados para resolverla. Esta es la forma de operar del algebrista. Pero no solo los algebristas operan: tambin los doctores e lo hacen. En la medicina antigua el trmino lgebra se usaba para designar las e a operaciones de los huesos. As pues, un algebrista era un matemtico o bien un a doctor que colocaba los huesos partidos en su sitio. Algebra es el arte de restituir a su lugar los huesos dislocados, segn el diccionario de la Real Academia de la Lengua u Espaola. n Dejemos los huesos por el momento y volvamos a la mdula del problema. e Quines descubrieron el lgebra? Se puede considerar al matemtico rabe Ale a a a como el padre de esta disciplina. El fue el autor de un libro, llamado Khwrizmi a al-jabr, publicado en en el ao 830 d.c., primer libro de lgebra, de gran inuencia n a en toda Europa, donde se recog todas las tcnicas conocidas hasta entonces soan e bre la resolucin de ecuaciones de primero y segundo grado. Dichas tcnicas hab o e an sido expuestas con anterioridad, en una obra del matemtico hind Brahmagupta a u en el 628 d.c. Como se sabe, los matemticos rabes se encargaron de difundir las a a matemticas de los griegos, mesopotamios e hindes en toda Europa, a travs de a u e Espaa. n
.M
at
em
at
ic a1
.c om
1.2. CARDANO
1.2.
Cardano
La vida del matemtico italiano Girolamo Cardano est llena de historias, sia a tuaciones y aventuras tan interesantes que bien pueden servir de guin para una o pel cula o novela. Fue un destacado matemtico, as como tambin mdico, lsofo, a e e o astrnomo y telogo. Su padre, Fazio Cardano, fue un abogado que trabajaba en la o o ciudad de Miln y se dedicaba a las matemticas en sus horas libres. Tuvo cierta a a destreza en la ciencia de los umeros pues ense geometr en la Universidad de Pa no a via y Miln. Fazio fue asesor del clebre pintor Leonardo da Vinci en cuestiones de a e geometr Cuando Cardano estaba a punto de nacer, una epidemia de peste azot a a. o Miln y sus padres se trasladaron a Pavia. All naci Girolamo el 24 de Septiembre a o de 1501, como hijo ileg timo de Fazio y Chiara Micheria . Cardano entra a la Universidad de Pavia a estudiar medicina, en contra del deseo de su padre de seguir la profesin de abogado. Ms tarde se cambia a la o a Universidad de Padua, donde se grada de Mdico. Despus de recibir el t u e e tulo de Doctor en Medicina se dedica a ejercer su profesin, pero tambin al juego de o e cartas, dados y ajedrez. Cardano fue un jugador empedernido durante toda su vida. Su acin por el juego lo llev a estudiar y desarrollar muchas tcnicas de la teor o o e a de las probabilidades y las aplic en forma bastante exitosa logrando hacer una o fortuna como jugador. El lado oscuro de esta realidad feliz, es que su vida fue muy atormentada por las vicisitudes del juego, que lo llev por los senderos ms bajos o a y ru nes de la vida. En una ocasin alguien le hizo trampas y entonces sac una o o navaja y le cort la cara a su oponente. o Su fama de buen mdico, por otra parte, fue creciendo como la espuma, debido e a sus curaciones casi milagrosas y su profundo conocimiento en la diagnosis de las enfermedades. Sin embargo el Colegio de Mdicos de MIln no quer recibirlo en e a a su seno, debido a su carcter arisco y pendenciero y adems por ser un hijo natural. a a Despus de varios intentos de ingreso, por parte de Cardano, nalmete fue aceptado e en 1537. Una vez estabilizada su posicin, le quedaba tiempo libre para dedicarse o seriamente a las matemticas a En el ao de 1539, Cardano conoce al clebre matemtico Tartaglia, lo cual fue n e a un hecho crucial en su vida, pues desde ese momento comienza a interesarse en las ecuaciones cbicas. Tartaglia era un matemtico reconocida fama y prestigio, entre u a otras cosas, por haber ganado concursos sobre la resolucin de ecuaciones, usando o mtodos secretos. Aparte de poseer estas habilidades, Tartaglia fue un experto en el e estudio de las trayectorias de los proyectiles. El descubri que la mxima trayectoria o a se obtiene cuando el ngulo de disparo es igual a 450 . Tambin se debe a Tartaglia a e la primera traduccin de los Elementos de Euclides al italiano. o Tartaglia le ense a Cardano sus trucos y tcnicas secretas para el manejo de las no e ecuaciones, no sin antes hacerle prestar un juramento de no revelar a nadie dichos
.M at
em
at
ic
a1
.c o
secretos. En 1545, Cardano publica su obra Ars Magna, donde expone los mtodos e para la resolucin de la ecuacin cbica. Tartaglia monta en clera y acusa a Cardano o o u o de traidor y deshonesto, por haber faltado a su juramento. Sin ambargo, un joven matemtico de apenas 18 de edad, Lodovico Ferrari , quien a la sazn era sirviente a o de Cardano, sale en defensa de su protector diciendo que l estuvo presente la noche e de la reunin entre los dos matemticos y no hubo ningn juramento. o a u En realidad, la frmula para resolver la ecuacin cbica, hab sido descubierta o o u a mucho antes por el matemtico Scipione del Ferro, quien public un pequeo libro, a o n que en alguna oportunidad fue consultado por Cardano. Luego Cardano quedaba libre de toda culpa. En su Ars Magna, Cardano reconoce a Al-Khwrizm como el padre del lgebra. a i a El libro, que vi a la luz varias ediciones, fue un clsico de la matemtica y contrio a a buy de manera decisiva al desarrollo del lgebra. En aquella obra aparecen muchos o a resultados originales, como el mtodo para eliminar la x2 en una ecuacin cbica, e o u conocido como el mtodo de Cardano. Tambin desarroll un mtodo para resolver e e o e ecuaciones diferenciales, llamado mtodo de las proporcionales. e Cardano hizo uso por vez primera de las ra cuadradas de nmeros negativos y ces u consider la posibilidad de usar los nmeros imaginarios aunque con mucha cautela. o u En una nueva edicin de su libro, en 1570, Cardano se adentra un poco ms en el o a misterio de estos nmeros y da algunas reglas para manipularlos. Por ejemplo, la u expresin o (5 + 15)(5 15) = 25 (15) = 40 Fueron entre las soluciones a la ecuacin c bica en el libro de Cardano o u donde se di el nacimiento de los n meros complejos, como algo digno de o u ser estudiado por los matemticos. En particular, para la ecuacin a o x3 = 3px + 2q Cardano nos da la frmula o x=
3
w .M
at
em
at
ic
a1
.c
om
(1.1)
q+
q 2 p3 +
q 2 p3
(1.2)
conocida como Frmula de Scipione del Ferro-Tartaglia-Cardano o
1.3.
Bombelli
La matemtica ha evolucionado en el transcurso del tiempo de la forma ms inesa a perada. De repente alguien hace una pequea observacin sobre un detalle, inadvern o tido para la gran mayor en alguna frmula o relacin muy conocida, y esto puede a, o o tener consecuencias imprevisibles, planteando nuevas situaciones, generando un mar
1.3. BOMBELLI
de preguntas sin respuestas e inclusive, abriendo nuevas reas de estudio. Tal es el a caso de las dudas de Rafael Bombelli, sobre la ecuacin cbica. o u Por ejemplo, la ecuacin o x3 = 6x + 6 se resuleve usando la frmula (1.2) o 180 +
3
x = =
6+
180
6 + 6 5i +
6 6 5i
La solucin parece un poco compleja, sin embargo, se sabe por mtodos de clculo o e a que la ecuacin tiene una ra real entre 2 y 3, la cual es, aproximadamente x o z = 2,8473. Nos preguntamos entonces Cmo es posible que una expresin de nmeros o o u complejos nos d un resultado real? Quin era Bombelli? Hasta cuando ir a durar e e a la prolongada infancia de los nmeros complejos en las manos de los algebristas u italianos? Rafael Bombelli nace en enero de 1526 en Bolonia, siendo su padre Antonio Mazzoli, un comerciante en lanas. Bombelli no recibi una educacin formal como o o Cardano, pero desde muy joven sinti una atraccin muy especial hacia las matemtio o a cas. Recibi las primeras lecciones de matemticas de Pier Francesco Clementi, un o a arquitecto e ingeniero. Por esta razn, Bombelli se dedica a la ingenier siguiendo o a, a su maestro en las obras de ingenier hidrulica que realizaba por toda Italia, a a secando pantanos y reparando puentes. Bombelli conoc bien los trabajos sobre ecuaciones cbicas de Cardano, pues a u hab le elArs Magna. Consideraba aquel libro como el ms interesante de todos a do a los escritos sobre lgebra, hasta el momento. Sin embargo pens que algunas cosas a o estaban todav algo confusas y que se pod hacer mucho ms comprensibles para a an a el gran pblico. u Estando en la regin de Val de Chiana, haciendo un trabajo de agrimensur o a, debi pasar muchos ratos de ocio, pues las obras fueron suspendidas debido a una o reclamacin. Para utilizar este tiempo libre, Bombelli comienza a escribir un libro de o a lgebra en 1557. La idea era bastante ambiciosa: publicar una obra monumental en cinco volmenes en donde se trataran tpicos de aritmtica, resolucin de ecuaciones, u o e o problemas de aplicaciones y los nmeros complejos. Lamentablemente, slo pudo u o completar tres volmenes de LAlgebra, publicados en 1572, unos meses antes de su u muerte. Bombelli puede ser llamado con todo derecho, el padre de los nmeros complejos, u pues fue el primero que desarroll el algebra formal para trabajar con las expresiones o
.M at
em
at
ic
a1
.c o
o de la forma a + b 1. Hemos visto en la frmula de del Ferro-Tartaglia-Cardano, aparecen dos sumandos del tipo
3
q+
siendo n un nmero natural. u
1.4.
N meros Imaginarios u
w
A pesar de los brillantes trabajos de Bombelli, sobre el empleo de los nmeros u complejos en la resolucin de la cbica, los matemticos de entonces se negaban a o u a aceptarlos. Ellos eran considerados an como fantasmas de otro mundo, por carecer u de representacin real, y fueron llamados nmeros imposibles o Imaginarios. Durante o u el siglo XVII, debido quizs a la aparicin del clculo innitesimal y la geometr a o a a anal tica, los nmeros complejos fueron relegados al olvido por los matemticos. u a Algunos genios como Newton, Leibnitz y Descartes nunca los comprendieron. En 1673 el matemtico ingls J.Wallis dio la primera interpretacin geomtrica a e o e de los complejos. Su modelo sigue los siguientes pasos: 1) En la ecuacin cuadrtica o a x2 + 2bx + c2 = 0 las ra ces son x = b b2 c 2 2) Si b c, las ra son reales y pueden ser representadas por un par de puntos ces P1 y P2 sobre los nmeros reales, de acuerdo a la construccin siguiente: u o
.M
at
em
at
la idea de Bombelli, es reducir dicho nmero a uno del tipo a + b 1, para lo u cual debe resolver el problema de como sumar y multiplicar dichas expresiones. El o nmero + b 1 debe ser elevado al cubo, para obtener una expresin del tipo u a 3 c + d 1. Usando ahora los nmeros complejos, se pueden obtener soluciones u reales de la ecuacin cbica. o u En el libro LAlgebra, aparecen por vez primera el clculo con los nmeros negaa u tivos, as como tambin las reglas para sumar y multiplicar dichos nmeros. El e u gran aporte de Bombelli al lgebra, fue el de aceptar sin reserva la existencia de 1, a como un nmero. A manera de ejemplo, Bombelli nos da las siguientes reglas: u n n = n n n = n,
q 2 p3
ic a1 .
co m
1.4. NUMEROS IMAGINARIOS
b c
P2
-b
P1
b c

P2
w .M
at
em
3) Si b < c, entonces las soluciones son nmeros complejos. Cmo razonaba u o Wallis en este caso? Pues bien, siguiendo el mismo plan, los puntos P1 y P2 se hallan en el extremo de el segmento b, y como ste es ms corto que c, los extremos no e a pueden tocar la recta real. Por lo tanto se ha llegado a una gran idea: los puntos P1 y P2 estn por encima de la recta real. Ver la gura: a
P1
at
ic
a1
-b
Como vemos, la representacin de Wallis no es igual a la representacin moderna, o o pero fue una buena aproximacin, sin duda alguna. La idea correcta de la repreo sentacin geomtrica de un nmero complejo z = a + bi en el Plano Cartesiano, o e u fue descubierta por dos matemticos acionados, en forma independiente: el dans a e C. Wessel y posteriormente el suizo J. Argand, en una obra publicada en 1806. A partir de entonces dicha representacin se conoce con el nombre de Diagrama de o Argand. Ver la gura:
.c
om
0
10
CAP ITULO 1. HISTORIA DE LOS NUMEROS COMPLEJOS y z = a + bi
om
Con esta representacin a la mano, los nmeros complejos dejaron de ser algo o u misterioso e imposible, pero por razones de tipo histrico, se les sigue llamando o imaginarios. En 1831 el matemtico alemn Carl F. Gauss publica un trabajo en a a donde expone con toda claridad las propiedades de los nmeros de la forma a + bi, u llamados ahora N meros de Gauss, y la representacin geomtrica de los mismos. u o e Gracias a la autoridad indiscutible de Gauss, entraron por la puerta grande del templo de las matemticas y ya nadie los podr sacar del lugar preponderante que a a ocupan dentro del lgebra. Desde ese momento se inicia un desarrollo sostenido a de la teor de las funciones complejas, de la mano de grandes matemticos como a a Hamilton y Cayley, quienes creron los sistemas hipercomplejos, Cauchy, quien sienta las bases del clculo diferencial e integral de las funciones complejas y nalmente a el matemtico alemn B. Riemann, quien demostr todo el poder que encierran a a o los nmeros complejos en el estudio de la geometr y ampli los horizontes de la u a o matemtica, creando una nueva ciencia llamada la topolog a a.
w w w .M
at em
at
ic
a1
.c
Cap tulo 2
Algebra de los Nmeros u Complejos

En este cap tulo estudiaremos el Sistema de los Nmeros Complejos, desde el u punto de vista del lgebra. Nos interesan las propiedades ms importantes de las opea a raciones de suma y producto. Veremos la representacin geomtrica de los nmeros o e u complejos, as como tambin la forma polar o trigonomtrica de los mismos. Usando e e la calculadora se pueden realizar operaciones con estos nmeros en forma rpida y u a eciente. Por lo tanto tenemos otra oportunidad para introducir la calculadora en el proceso de enseanza aprendizaje de la matemtica. n a
Un N mero Complejo es una expresin del tipo u o
donde a y b son nmeros reales e i es un s u mbolo, cuyo signicado ser aclarado ms a a adelante. Este tipo de nmeros, algo misteriosos, por el momento, aparecen entre las sou luciones de ecuaciones algebraicas con una incgnita. Por ejemplo la ecuacin o o x2 + x + 1 = 0 no tiene ra ces reales. Al tratar de aplicar la frmula que da la solucin de una o o ecuacin de segundo grado, nos encontramos con la expresin o o 1 3 x= 2 11
.M
2.1.
Denicin de n mero complejo o u

z = a + bi
at
em at
ic a1
.c
om
12
CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS
la cual no tiene sentido en los nmeros reales. No se puede tener una ra cuadrada de u z un nmero negativo. Sin embargo, si usamos propiedades de los radicales se obtiene u 3 = 3 1 luego la solucin de este problema es un nmero algo misterioso de la forma o u 3 1 1 x 2 2 Qu signicado se le puede dar a una ra cuadrada de un nmero negativo? e z u Porque no dejar de lado esta dicultad y aceptar que este tipo de ecuacin no tiene o solucin? La necesidad de resolver todas las ecuaciones cuadticas, incluyendo estas o a cuyas soluciones nos dan este tipo extrao de nmeros, nos motiva a crear sistema n u numrico ampliado, con propiedades similares a las de los nmeros reales. Dentro e u a de este contexto se acepta el s mbolo 1 como una entidad matemtica nueva. Veamos a continuacin como se construyen estos nuevos nmeros. o u Comenzaremos por introducir un nuevo nmero o s u mbolo, denotado por i, el cual ser llamado la unidad imaginaria y que cumple con la condicin a o
w w
o bien
.M at
i2 = 1
em
i=
Una vez hecho esto construimos un conjunto C llamado N meros Complejos u cuyos elementos son combinaciones de la forma z = a + bi donde a y b son nmeros reales. u Vemos entonces que todo nmero complejo consta de dos partes, o componenu tes, llamadas: parte real y parte imaginaria, dadas por a y b respectivamente. As pues, tenemos Re(z) = a e Im(Z) = b. Ejemplo El siguiente es un nmero complejo u z = 2 + 3i. Su parte real es 2 y su parte imaginaria es 3. Ejemplo. El siguiente es un nmero complejo u z=8
at
ic a1 .c
1
om
2.2. SUMA DE NUMEROS COMPLEJOS
13
Cuando no hay parte imaginaria, como en este caso, se dice que el complejo es real. Entonces los Nmeros Reales forman parte del conjunto de los Nmeros Complejos. u u Ejemplo. El siguiente es un nmero complejo u z = 12i Cuando un nmero complejo no tiene parte real, como en el presente caso, se dice u que es un imaginario puro. Cuando dos nmeros complejos son iguales? u Dos nmeros complejos z1 = a + bi y z2 = c + di son iguales s y slo si a = c y u o b = d. En otras palabras, dos nmeros complejos son iguales cuando sus componentes u respectivas, real e imaginaria, son iguales.
2.2.
Suma de n meros Complejos u

ic a1 .c om
Ahora nos dedicaremos al estudio de las propiedades de los nmeros complejos u relacionadas con la suma de ellos. La operacin suma de n meros complejos esta basada en la suma de nmeros o u u reales. Cada complejo tiene una parte real y una parte imaginaria. Para sumar complejos hay que sumar las partes reales por un lado y las partes imaginarias por otro lado, como nmeros reales. Al hacer esto nos encontramos de nuevo con otro u nmero complejo. Mas precisamente u Sean z1 = a1 + b1 i y z2 = a2 + b2 i dos nmeros complejos. Entonces la suma de u z1 con z2 , denotada por z1 + z2 es el nmero complejo u z1 + z2 = (a1 + a2 ) + (b1 + b2 )i Es decir, para sumar nmeros complejos simplemente se sumam sus componentes u correspondientes. Ejemplo. Para sumar z1 = 3 + 2i con z2 = 8 + 4i hacemos z1 + z2 = (3 + 2i) + (8 + 4i) = (3 8) + (2 + 4)i z1 + z2 = 5 + 6i Resta de n meros complejos. La resta o diferencia de dos nmeros complejos u u se realiza restando cada parte por separado. Ms precisamente: Sean Z = a + bi y a
w w
.M at
em at
14
W = c + di dos nmeros complejos, entonces la diferencia o resta entre Z y W viene u dada por Z W = (a c) + (b d)i Es decir, para restar dos nmeros complejos se restan sus componentes corresponu dientes. Ejemplo. Sean Z = 4 + 7i y W = 2 + 3i. Entonces Z W = (4 2) + (7 3)i = 2 + 4i Estas operaciones de suma y resta satisfacen las siguientes propiedades generales 1. Propiedad de Cierre para la suma. Si Z y W son dos nmeros complejos u entonces tanto Z + W como Z W son nmeros complejos. u 2. Propiedad asociativa. Si Z, W y U son nmeros complejos, entonces se u tiene Z + (W + U ) = (Z + W ) + U
4. Propiedad del elemento neutro. El nmero complejo 0 = 0 + 0i, es el u elemento neutro para la suma. En efecto, si Z = a + bi es cualquier nmero u complejo se tiene Z + 0 = (a + bi) + (0 + 0i) = (a + 0) + (b + 0)i = a + bi = Z de la misma forma, se puede probar que 0 + Z = Z 5. Propiedad del opuesto. Si Z = a + bi es un nmero complejo, el opuesto de u este es Z = a bi, el cual es otro nmero complejo. Ntese que el opuesto u o satisface Z + (Z) = (Z) + Z = 0 Usando todas estas propiedades, es posible calcular expresiones complicadas en donde aparezcan sumas y restas de nmeros complejos u Ejemplo. Calcule el valor de Z donde Z = (5 + 12i) + [(10 8i) + [(6 + 3i) (7 + 2i)]]
Z +U =U +Z
.M
at em
3. Propiedad Conmutativa. Si Z y U son nmeros complejos, se tiene u
at
ic
a1
.c
om
2.2. SUMA DE NUMEROS COMPLEJOS Para simplicar esta expresin usamos las propiedades estudiadas. As pues o Z = (5 + 12i) + [(10 8i) + (1 + i)] = (5 + 12i) + (9 7i) = 14 + 5i
w w w .M at e m at ic a1 .c om
15
16 Ejercicios
2. Hallar el resultado de las siguientes operaciones a) (3 + 2i) + [(4 5i) (5 + i)] b)[(1 9i) + (7 2i)] = (4 + 6i) 1 8 10 6 3 16 + i + + i + + i c) 5 5 20 5 20 5 d) [(16 i) + (1 8i)] (17 9i) 3. En cada caso, hallar un nmero complejo Z con la condicin dada u o a) Z + ( 3 + 2i) = 5 + 20 i b) i + ( 3 +4i) = Z c) Z + ( 1 +i) = 18 + 6i 1 1 + i =i d) Z + 2 2
1. Efectuar las siguientes sumas y restas de nmeros complejos u a) ( 5 + 15i) +(20-2i) b) ( + 10i) +( 2 + 8i) 10 c) ( 3 + 2i ) + ( 2 + 3i ) 2 2 1 5 + i + + i d) 3 3 3 3 1 3 i 5i + + e) + 2 2 2 2 1 4 2 8 f) + i + i 3 3 3 3 g) 5 + ( 2 - 3i ) h) 6i + ( 5 + 16i) i) 5i + ( 0 + 9i) j) 6i - 87i k) ( -10 -8i) + ( -1 -i)
.M
at e
at ic
a1 .
co m
2.3.
PRODUCTO DE NUMEROS COMPLEJOS
17
2.3.
Producto de n meros complejos u
Sean Z = a + bi y W = c + di denimos su producto, mediante la frmula o Z W = (ac bd) + (ad + bc)i Aunque parezca un poco complicada, esta expresin para el producto es consecueno cia de las reglas de multiplicacin para los nmeros reales. En efecto, haciendo la o u multiplicacin de Z por W como si se tratara de expresiones algebraicas se obtiene o (a + bi)(c + di) = ac + adi + bic + bdi2 = ac bd + (ad + bc)i Hemos usado la propiedad distributiva para la multiplicacin, la relacin i 2 = 1 y o o un reagrupamiento de los trminos. La multiplicacin puede hacerse de dos maneras; e o o bien se aplica directamente la frmula, o bien se multiplican los complejos como o expresiones algebraicas, teniendo cuidado de hacer al nal la sustitucin i 2 = 1. o
Ejemplo. Sean Z = 8 y W = 3 + 2i. Entonces para hallar el producto de ambos hacemos Z W = 8(3 + 2i) = 24 + 16i Vemos entonces, que para multiplicar un nmero real por un nmero complejo, se u u multiplica cada componente de este ultimo por el nmero real. u Propiedades de la multiplicacin La multiplicacin de nmeros complejos o o u satisface las siguientes propiedades 1. Propiedad de Cierre para el producto. Si Z y W son dos nmeros comu plejos entonces Z W es un nmero complejo. u 2. Propiedad asociativa. Si Z, W y U son nmeros complejos, entonces se u tiene Z (W U ) = (Z W ) U 3. Propiedad Conmutativa. Si Z y U son nmeros complejos, se tiene u Z U =U Z
w w
.M at
Z W = (6 3 2 5) + (6 5 + 2 3)i = 8 + 36i
em at
Ejemplo. Sean Z = 6 + 2i y W = 3 + 5i. Para hallar Z W hacemos
ic
a1
.c om
18
CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS 4. Propiedad del elemento neutro. El nmero complejo 1, es el elemento u neutro para el producto. En efecto, si Z = a + bi es cualquier nmero u complejo se tiene Z 1 = (a + bi) 1 = (a 1) + (b 1)i = a + bi = Z de la misma forma, se puede probar que 1 Z = Z 5. Propiedad del inverso. Si Z = a + bi es un nmero complejo, distinto de u cero, el inverso de Z es otro nmero complejo, denotado por Z 1 , el cual u satisface Z Z 1 = Z 1 Z = 1 Mas adelante veremos como se calcula Z 1 . 6. Propiedad distributiva. Si Z, W y U son nmeros complejos se tienen las u relaciones Z (W + U ) = Z W + Z U
Denicin. Si Z = a + bi es un nmero complejo, entonces el Conjugado de o u u Z, denotado por Z, es otro nmero complejo denido por por
Ejemplo. Si Z = 2 + 9i, su conjugado es Z = 2 9i Ejemplo. Si Z = 7 9i, su conjugado es Z = 7 + 9i El Mdulo de Z o Denicin. Si Z = a + bi es un nmero complejo, el Mdulo de Z es el nmero o u o u real |Z| = a2 + b2 Observacin: Se puede expresar el mdulo de Z en funcin de l mismo y de su o o o e conjugado, usando la relacin o |Z| = ZZ
w .M
Z = a bi
at
El conjugado de Z
em
at
ic
a1
(Z + W ) U = Z U + W U.
.c om
2.3.
19
Se puede probar que dicha relacin se verica para todo Z. En efecto, pongamos o Z = a + bi. Luego ZZ = (a + bi)(a bi) = (a2 + b2 ) + (ab ba)i = a2 + b2 de donde ZZ = a2 + b2 = |Z|
Ejemplo. Sea Z = 3 + 4i, para hallar su mdulo hacemos o |Z| = 3 2 + 42 = 9 + 16 = 25 = 5.
Algunas propiedades muy importantes del mdulo se dan a continuacin. Supondreo o mos que Z, W y U son nmeros complejos u 1. |Z| 0
4. |Z W | = |Z| |W | 5. |Z 1 | = |Z|1
Divisin de n meros complejos o u Cmo se dividen entre s dos nmeros complejos ? El caso ms sencillo se o u a presenta al dividir un complejo cualquiera entre un nmero real. Por ejemplo u 1 2 1 1 1+i = + i= + i 4 4 4 4 2 Si Z y W son dos nmeros complejos, y W = 0, podemos hacer la divisin de Z u o entre W de la forma siguiente Z W Z W Z = = W W W |W |2
3. |Z + W | |Z| + |W |
.M
at
em
2. |Z| = 0 s y slo si Z = 0 o
at
ic a1
.c
om
20
Tenemos entonces la regla para dividir n meros complejos: u Para hacer la divisin de dos n meros complejos Z y W , primero se o u multiplica Z por el conjugado de W y ste resultado se divide entre el e mdulo al cuadrado de W , el cual es un n mero real. o u Si hacemos Z = a + bi y W = c + di, tendremos (ac + bd) + (bc ad)i Z = W a2 + b2 Ejemplo. Sea Z = 3 + 4i y W = 2 + 3i. Entonces Z W = = = = Ejercicios 3 + 4i 2 3i 2 + 3i 2 3i (6 + 12) + (9 + 8)i 22 + 32 18 i 11 18 1 i 11 11
1. Sean los nmeros complejos Z1 = 1 + 2i, Z2 = 5 + 3i y Z3 = 4 + i. Efectuar u las siguientes operaciones a) Z1 Z2 b) Z2 Z3 c) Z1 Z2 Z3 d) Z1 /Z2 d) (Z1 + Z2 )/(Z3 Z2 ) e) 5Z2 6Z3 2. Calcular a) (3 + 2i)2 (4 + 2i) b) [(5 + 2i) + (4 i)] /(6 + 5i) c) (5 + 2i) + 6 d)(6 + 2i)(1 5i)/(7 + 4i)2 e)5(1 i) + 6(7 + 1/2i) f) (3 i) + (4 8i) [(5 + 3i) (6 + 7i)] g) (5 + 4i)2 (1 5i)2 h) 5((3 + 2i) + (3 + 2i)(1 + 5i)
w w
w .M
at em
at ic
a1 .c om
2.3.
21
3. Verique la relacin |ZW | = |Z||W | para los nmeros complejos Z = 5 + i y o u W = 3 2i. 4. Verique la relacin o |Z| Z = W |W |
a1 .c om
para los nmeros complejos Z = 1 5i y W = 2 + 4i u

em at ic
5. Hallar un nmero complejo Z, tal que u

.M at
(7 + 2i)Z + (2 + 3i) = 18 + 10i 6. Demuestre que si Z es un nmero complejo tal que Z = Z, entonces Z debe u ser real. 7. Demuestre que si Z = a + bi, entonces se tiene a = (Z + Z)/2 y b = (Z Z)/2i 8. Hallar un nmero complejo cuyo mdulo es igual a 5 y su parte real es igual a u o 3. 9. Hallar un nmero complejo Z tal que su parte real es el doble de la parte u imaginaria y que adems cumple Z 2 = 7 + 24i a
w w w
22
2.4.
Representacin geomtrica o e
As como los nmeros reales se representan geomtricamente por medio de una u e recta, es posible dar una representacin geomtrica de los nmeros complejos usando o e u un sistema de coordenadas cartesianas. En un sistema de tales coordenadas, se tiene un par de ejes que se cortan perpendicularmente en un punto llamado el origen. El eje en posicin horizontal se llama eje X y el eje en posicin vertical, llamado eje o o Y . Si P es un punto cualquiera, entonces le asociamos las coordenadas x e y, donde x, llamada la abcisa, es la distancia desde el punto hasta el eje Y e y, llamado la ordenada, es la distancia desde el punto hasta el eje X. De esta manera, denotamos al punto por P (x, y). Haremos ahora una identicacin entre los nmeros complejos y los puntos del o u plano. A cada nmero complejo Z = a+bi, se le asocia el punto del plano, P(a,b). De u esta forma, se obtiene una Representacin geomtrica o Diagrama de Argand o e de Z, ver la gura y z = a + bi b
.M
at em
at ic
a1
.c om
En esta representacin, la componente real de Z se copia sobre el eje X, que o ser llamado eje real y la componente imaginaria sobre el eje Y, que ser llamado a a eje imaginario. El conjunto de todos estos puntos, ser llamado Plano Complejo. a
2.4. REPRESENTACION GEOMETRICA
23
Ejemplo.El complejo Z = 4 + 5i se puede representar en el Plano Complejo, para lo cual ubicamos primero al punto de cordenadas (4, 5). Una vez hecho esto se tendr la representacin de Z, ver la gura. a o y z = 4 + 5i
a1 . w w w .M at em at ic
co
4 x Ejemplo. El complejo W = 6 + 2i lo podemos representar, ubicando al punto de coordenadas P(-6,2) sobre el plano. En este caso el complejo estar ubicado en a el segundo cuadrante. Ver la gura y W = 6 + 2i
Ejemplo. El complejo Z = 2 + 3i lo podemos representar, ubicando al punto de coordenadas P (2, 3) sobre el plano. En este caso el complejo estar ubicado a en el tercer cuadrante. Ver la gura
24
CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS y
Z = 2 3i Ejemplo. El complejo W = 2 4i lo podemos representar, ubicando al punto de coordenadas P (2, 4) sobre el plano. En este caso el complejo estar en el cuarto a cuadrante. Ver la gura
w w
.M at
em at
ic
a1
.c om
W = 2 4i
Interpretacin geomtrica del mdulo y el conjugado o e o Sea Z = a+bi un nmero complejo. Entonces nos interesa calcular la longitud del u segmento c que une al origen con el punto correspondiente a Z en el plano complejo ( ver el dibujo).
2.4. REPRESENTACION GEOMETRICA y Z = a + bi

25
c b
.M
at
em at ic
|Z| =
a 2 + b2 z = a + bi

w w
a2 + b2 b
a1
.c
om
De acuerdo a la disposicin de los ejes y el segmento dado, se ha formado un tringuo a lo rectngulo, con catetos a y b, e hipotenusa dada por c. Usando el Teorema de a Pitgoras, se demuestra que la longitud de este segmento c, es igual a a2 + b2 y a por lo tanto, igual al mdulo del complejo Z. Esto es o
Tenemos entonces una interpretacin geomtrica del mdulo de un complejo: o e o El mdulo de un nmero complejo Z es igual a la distancia o u desde el punto Z hasta el origen Por otro lado, si Z = a + bi es un nmero complejo, su conjugado viene dado por u Z = a bi. Luego el conjugado en forma geomtrica se obtiene al reejar el punto e correspondiente a Z, alrededor del eje real ( ver la gura)
26
CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS y Z = a + bi

Z = a bi

El conjugado de un nmero complejo Z se obtiene como una u imagen especular de Z alrededor del eje real
Suma geomtrica de complejos e
Podemos sumar dos nmeros complejos en forma geomtrica, mediante un algoritu e mo muy sencillo, llamado Regla del paralelogramo. Si se tienen dos complejos, digamos Z1 y Z2 , entonces Z1 + Z2 se halla de la siguiente forma: a partir del punto representando a Z1 se traslada el segmento que une al punto Z2 con el origen. Al nal de dicho segmento, se hallar el complejo Z1 + Z2 , ver la gura. a
Tenemos luego la interpretacin geomtrica del conjugado de un complejo Z: o e
.M
at em
at
ic
a1
.c
om
2.4. REPRESENTACION GEOMETRICA y
27
Z1 + Z 2

Z2

Z1
Vemos entonces que el complejo suma se halla en el extremo de la diagonal del paralelogramo con lados |Z1 | y |Z2 |. Podemos resumir entonces: La suma de dos nmeros complejos, de manera geomtrica, u e se efecta usando la Ley del Paralelogramo u Como la longitud de un lado en un tringulo es siempre menor que la suma de a los otros dos lados, se obtiene la siguiente desigualdad para los mdulos o
|Z1 + Z2 | |Z1 | + |Z2 | Para hallar el opuesto o negativo de un n mero complejo, en forma geou mtrica, procedemos de la manera siguiente: Si Z = a + bi, entonces Z = a bi e se ubica en el extremo del segmento de direccin opuesta a la de Z ( ver el dibujo). o
.M
at
em
at
ic
a1 .
co m
28
CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS y Z = a + bi

Z = a bi Para restar dos nmeros complejos en forma geomtrica, digamos Z 1 Z2 , se u e ubica el primer complejo en el plano, Z1 , y a continuacin se coloca el segmento del o opuesto de Z2 en el punto correspondiente a Z1 . El complejo resultante Z1 Z2 se ubica en el extremo nal de Z2 ( ver el dibujo)
.M
at
em at
ic
a1
Z1
.c o
Z1 Z 2
!
Z2

2.5.
La Forma Polar
Como el lector habr observado, en la seccin anterior no dimos una interpretaa o cin geomtrica para el producto de nmeros complejos, ni tampoco para la divisin. o e u o En el caso del producto tenemos la frmula para la multiplicacin o o (a + bi) (c + di) = (ac bd) + (ad bc)i El lado derecho de esta expresin, resulta dif de interpretar usando el sistema o cil de coordenadas cartesianas. Para solventar este problema, requerimos de otro sistema de coordenadas. Veremos como la trigonometr nos sirve de herramienta para a resolver este problema.
2.5. LA FORMA POLAR
29
Podemos asignarle a cada nmero complejo Z = a + bi en el plano, un radio u vector, que conecta al punto con el origen. Este radio vector forma un ngulo con el a eje real o de las X, que ser denotado por . Ver la gura: a y Z = a + bi
x Nota: El ngulo se mide a partir del eje real y en sentido contrario a las agujas a del reloj. El mismo puede venir expresado en unidades de grados o radianes. De acuerdo a la disposicin de los ejes y el radio vector, se ha formado un tringuo a lo rectngulo, con catetos a y b,e hipotenusa dada por el radio vector. Usando el a Teorema de Pitgoras, se demuestra que la longitud de este radio vector es a2 + b2 a igual al mdulo del complejo Z. Esto es o
.M
at
em
|Z| =
at
ic
a 2 + b2 Z = a + bi
a1
.c
a2 + b2 b a x Usando conocimientos de trigonometr en el tringulo anterior, se demuestran a a las relaciones b = |Z|sen a = |Z|cos (2.1) (2.2)
"
om
30
Conocidas como Frmulas de cambio de coordenadas polares a carteo sianas. Cualquier ngulo , tal que sen = sen y cos = cos, se llama una a amplitud o argumento para el complejo Z. Sabemos por trigonomet que dos a, argumentos cualquiera de Z dieren en 2. El argumento , tal que , se llama amplitud o argumento principal de Z. Est claro que si conocemos el a argumento principal de Z y su mdulo, entonces lo podemos representar geomtrio e camente sin ambiguedad y adems podremos obtener sus coordenadas cartesianas, a de acuerdo a las frmulas anteriores. o Se tiene entonces la Representacin de Z en Forma Polar o Z = |Z|(cos + i sen) (2.3)
.M at em at
|Z| =
a 2 + b2 b = arctag a
a1 .c
Rec procamente, si se conocen las coordenadas cartesianas de Z = a+bi, entonces |Z| y se calculan de acuerdo a las frmulas o
om
(2.4) (2.5)
llamadas Frmulas de cambio de coordenadas cartesianas a polares. o Ejemplo. Un n mero complejo en el primer cuadrante Hallar la Forma u Polar del complejo Z = 2 + 2i, y dar su representacin geomtrica en el plano. o e Solucin En primer lugar, debemos calcular el mdulo y el ngulo del complejo, o o a para lo cual usamos las frmulas 2.4. Luego o |Z| = 2 2 + 22 = 8=2 2
Para calcular el ngulo, podemos usar la calculadora de mano a = arctg 2/2 = arctg 1 = 45o Luego la representacin polar de Z es o Z = 2 2(cos45o + i sen45o ) La representacin de este nmero en el plano complejo aparece en la gura o u
ic
2.5. LA FORMA POLAR y
31
Z = 2 + 2i
#
450 2 x
.M
at
Solucin. Calculamos el mdulo y el ngulo usando 2.4. o o a |W | = (3)2 + 42 = 25 = 5.
Calculamos el ngulo usando la calculadora, pero teniendo mucho cuidado, pues la a calculadora slo nos da ngulos en el intervalo 90o 90o , al usar la tecla o a arctg. El ngulo dado por la calculadora es a = arctg4/(3) = 53,13o El argumento principal de W ser a = 180o + = 126,87o La razn para hacer este cambio es que ambos ngulos tienen la misma tangente, o a ver el dibujo
em at
ic a1 .c
Ejemplo. Un n mero complejo en el segundo cuadrante. Hallar la Forma u Polar de W = -3 + 4i .
om
32
CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS y Z = 3 + 4i

$
126,870
x -3
Solucin. Al igual que antes, calculamos su mdulo y ngulo asociado. o o a |Z| = (3)2 + (4)2 = 25 = 5. Al tratar de buscar el ngulo, usando la calculadora, nuevamente se presenta el a mismo inconveniente. Tenemos entonces = arctg(4)/(3) = 53,13o Sabemos que este es un ngulo correspondiente al primer cuadrante, pero como la a componente real de Z es negativa, al igual que su componente compleja, cualquier argumento de Z debe estar en el tercer cuadrante. Al ngulo hallado le sumamos a o para obtener un argumento positivo, 180 Luego = 180o + = 233,13o por lo tanto, la forma polar de Z es Z = 5(cos233,13o + i sen233,13o ) ver el dibujo
w w
Ejemplo. Un n mero complejo en el tercer cuadrante. Hallar la forma u polar de Z = -3 -4i .
.M at
em at
ic
W = 5(cos126,87o + i sen126,87o )
a1
.c om
Luego la forma polar de W es
2.5. LA FORMA POLAR y x
33 233,130
-3
-4
Solucin. En primer lugar, calculamos su mdulo y su ngulo o o a |W | = 12 + (2)2 = 5
Al buscar el ngulo la calculadora nos da un argumento negativo, en el cuarto a cuadrante ( esta vez no se presentan problemas de conversin), y para llevarlo a la o o . Luego forma positiva le sumamos 360 = arctg(2)/1 = 63,43o El argumento buscado es = 360o + = 296,55o Por lo tanto, la forma polar de W es W 5(cos296,55o + i sen296,55o ) ver el dibujo
w w
Ejemplo. Un n mero complejo en el cuarto cuadrante. Hallar la Forma u Polar de W = 1 -2i.
w .M
at
em
at ic
a1
.c o
Z = 3 4i
34
CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS y 296,550 1 x
Z = 1 2i
Multiplicacin y divisin en la forma polar o o Supngase que tenemos dos complejos en forma polar y queremos hallar el proo ducto y el cociente de ellos. Sean Z = |Z|(cos + i sen) y W = |W |(cos + i sen) Podemos realizar la multiplicacin de stos nmeros complejos en forma polar o e u Z W = |Z|(cos + i sen) |W |(cos + i sen) = |Z||W |[(cos + i sen) (cos + i sen)] = |Z||W |[(coscos sen sen) + (cos sen + sen cos)] despus de usar un par de identidades trigonomtricas muy conocidas, tenemos la e e frmula siguiente: o Z W = |Z||W | (cos( + ) + i sen( + )) (2.6)
Tambin se puede obtener una frmula similar para la divisin en forma polar. e o o Dicha frmula viene dada por o |Z| Z = (cos( ) + i sen( )) W |W | (2.7)
Observacin. Podemos dar ahora una interpretacin geomtrica del producto o o e y la divisin de nmeros complejos, basndonos en las frmulas de arriba. o u a o
.M
at
em
at
ic a1
.c om
&
-2
2.6. POTENCIAS Y RA ICES DE NUMEROS COMPLEJOS. Cuando se multiplican dos complejos, el resultado es un nmero complejo cuyo mdulo es igual al producto de los u o mdulos y cuya amplitud es igual a la suma de las amplituo des. Cuando se dividen dos nmeros complejos, el resultado es u un nmero complejo cuyo mdulo es igual al cociente de u o los mdulos y cuya amplitud es igual a la diferencia de las o amplitudes.
35
Ejemplo. Sea Z = 2(cos95o + i sen95o ) y W = 3(cos26o + i sen26o ). Entonces podemos calcular su producto, usando la frmula 2.6. Luego se tiene o Z W = 2 3(cos(95o + 26o ) + i sen(95o + 26o )) Si queremos hallar el cociente de Z entre W , hacemos
2 Z = (cos69o + i sen69o ) W 3
2.6.
Potencias y ra ces de n meros complejos. u
La frmula 2.6 puede ser utilizada para hallar la potencia ensima de un nmero o e u complejo. Supongamos que Z = |Z|(cos+i sen), y n es un entero positivo, entonces se obtiene Z n = |Z|n (cos(n ) + i sen(n ))
.M at
2 Z = (cos(95o 26o ) i sen(95o 26o )) W 3
em at
ic
a1
.c om
Z W = 6(cos121o + i sen121o )
(2.8)
Esta relacin, que se conoce con el nombre de Frmula de Moivre, nos da un algorito o mo bastante eciente para hallar la potencia nsima de cualquier nmero complejo e u en forma polar. Ejemplo. Sea Z = 2(cos30o + i sen30o ). Calcule la potencia de orden cinco de este nmero, es decir, Z 5 . u
36
CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS Solucin. Usamos la relacin 2.8 o o Z 5 = 25 (cos(5 30o ) + i sen(5 30o )) Z 5 = 32(cos150o + i sen150o ) Ejemplo. Calcular Z 6 , donde Z = 3 + 4 i.
Solucin. En primer lugar, llevamos Z a la forma polar. Para hallar el mdulo o o hacemos |Z| = 32 + 42 = 25 = 5. Por otro lado, el ngulo viene dado por a = arctg Por lo tanto, tenemos a Z en forma polar 4 = 53,13o 3
Z 6 = 15625(cos318,78o + i sen318,78o ) Finalmente, llevamos este resultado a la forma cartesiana Z 6 = 15625(0,7522 i 0,6590) Z 6 = 11753,12 10296,12 i En este ejemplo se ha cometido un error de redondeo, al usar la calculadora de mano. El valor exacto de esta operacin es Z 6 = 11753 10296 i o Si Z es un nmero complejo tal que para algn n entero positivo se tenga u u Z = Wn donde W es otro nmero complejo, entonces se dice que W es una ra ensima de u z e 1/n = n Z. En los n meros reales, todo n mero u u Z. Esto lo denotamos por W = Z posee una ra de orden impar y dos ra z ces de orden par. En los complejos hay una mayor abundancia de ra ices. Concretamente, se tiene la siguiente propiedad Propiedad
Z 6 = 56 (cos(6 53,13o ) + i sen(6 53,13o ))
.M
at
em
calculamos ahora Z 6 por intermedio de 2.8
at ic
a1
Z = 5(cos53,13o + i sen53,13o )
.c o
2.6. POTENCIAS Y RA ICES DE NUMEROS COMPLEJOS. Todo nmero complejo tiene exactamente n ra u ces n-simas. e As por ejemplo 1 tiene 4 ra ces cuartas, pues 14 = i4 = (i)4 = (1)4 = 1
37
Luego 1, -1, i, y -i son las ra ces cuartas de 1. A continuacin damos una frmula para hallar las ra de un nmero complejo. o o ces u Sea Z = |Z|(cos + isen), entonces n Z = Z 1/n = |Z|1/n cos + 2k n + 2k n
+ i sen
(2.9)
Z 1/3 = 81/3 (cos
con K = 0, 1, 2. Sustituyendo estos valores de k en la expresin de arriba nos da las tres ra o ces cbicas u W1 = 2(cos10o + i sen10o ) W2 = 2(cos130o + i sen130o ) W3 = 2(cos250o + i sen250o ) k=0 k=1 k=2
Si representamos grcamente estas tres ra a ces, veremos que se hallan sobre una circunferencia con centro en el origen y radio 2 . Adems todas ellas estn a la a a misma distancia de las otras: forman los vrtices de un tringulo equiltero. Ver la e a a gura
w w
.M at
Solucin. Usando la frmula 2.9 se tiene o o 30o + 2k 30o = 2k + isen ) 3 3
em at
ic
a1
Ejemplo. Hallar todas las ra ces cbicas de Z = 8(cos30o + isen30o ) u
.c om
38
CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS y W2

(
W1
'
W3
Ejemplo. Hallar todas las ra ces sextas de la unidad.
6 6 1 = 1 cos
0o + 2k 6
luego hallamos las ra ces sextas por intermedio de 2.9 + i sen 0o + 2k 6
con k = 0,1,2,3,4, y 5. Estos valores de k nos dan las seis ra ces W1 = 1(cos0o + i sen0o ) W2 = 1(cos60o + i sen60o ) W3 = 1(cos120o + i sen120o ) W4 = 1(cos180o + i sen180o ) W5 = 1(cos240o + i sen240o ) W6 = 1(cos300o + i sen300o ) k=0 k=1 k=2 k=3 k=4 k=5
Si las gracamos en el plano complejo, vemos que ellas ocupan los vrtices de un e hexgono regular inscrito en una circunferencia de radio 1. a
.M
at em
1 = 1 (cos0o + i sen0o )
at
ic
por
a1
.c
Solucin. Tomamos la representacin en forma polar de 1, la cual viene dada o o
om
2.6. POTENCIAS Y RA ICES DE NUMEROS COMPLEJOS. y W3

1 2
39
W2
W1 W4
0 5
) Ejercicios.
W5
1. Representar grcamente en el plano complejo los siguientes nmeros a u a) Z = 2(cos60o + i sen60o ) b) Z = 1/5(cos45o + i sen45o ) c) Z = 16(cos120o + i sen120o ) d) Z = 7(cos100o + i sen100o ) e) Z = 4(cos400o + i sen400o ) f) Z = 6(cos312o + i sen312o ) g) Z = (1 + 2)(cos 60o + i sen 60o ) 2. Expresar los siguientes nmeros complejos en forma polar u a) Z = 3 + 4i 1 1 b) Z = + i 2 2 1 1 c)Z = + i 2 2 1 1 d) Z = i 2 2 e) Z = i 1 f) Z = 3 + i g) Z = (6 + i)(2 i) h) Z = 7 7i i) Z = 5
.M
at
em at
ic a1
.c om
W6
40
CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS 3. Usando la forma polar, efecte las siguientes operaciones u a) (1 + i)( 3 + i) 1i b) 3+i 4i c) 2+i d) (1 + i)4 e) ( 3 + i)7 f) (1 + i)3 ( 2 + i)(1 i) g) 5i 4. Calcular tods las raices cuartas del complejo Z = 2 + i. Representarlas gra camente. 5. Calcular las raices cbicas de los siguientes nmeros complejos u u a)Z = 1 i b) Z = i 1 c) Z = 3 + i d) Z = 1 3i e) Z = 8 6. Resuelva las ecuacins en nmeros complejos o u Z3 + 4 = 5 + i Z 4 + 2i = 6 + 3i Z 5 + 16 = 0
7. Dibujar en el plano complejo la regin delimitada por o a) |Z| 3 b) |Z 5| < 4 c) Re(Z) < 1/2 d) Im(Z) 4.
.M
at
em
at ic
a1
.c
om
Cap tulo 3
La frmula de Euler o
3.1. El N mero e u
Una de las constantes ms usadas en matemticas es el nmero e o Nmero de a a u u Euler, cuyo valor aproximado de 11 cifras decimales es e 2,71828182846 Esta constante aparece en conexin con los nmeros complejos, mediante la o u relacin maravillosa o donde el lado derecho representa un nmero complejo en el c u rculo unitario de ngulo a . Dicha frmula se conoce con el nombre de Frmula de Euler en honor a Leonhard o o Euler, quien la descubri cerca de 1740. o Muchos textos de bachillerato y an universitarios tienen un tratamiento inau decuado, carente de toda pedagog y rigor matemtico, de la frmula de Euler. a a o Para stos autores el lado izquierdo no posee ningn signicado y cometen el gran e u error de dar la frmula (3.1) como una denicin de ei . Para poder convencer al o o estudiante de que la relacin (3.1) es una verdad matemtica y no un simple acto o a de f, debemos entonces tratar de entender primero qu cosa es la expresin e i y e e o luego demostrar que dicha relacin se cumple para todo ngulo . o a Comenzaremos entonces por considerar la funcin exponencial f (x) = e x . o Cmo se dene ex , si x es un nmero real? o u La propiedad que dene a la exponencial, es una funcin f (x), tal que o
w w
.M
i)
at
em at ic
ei = cos + i sen
a1 .c
om
(3.1)
df =f dx
(3.2)
ii) f (0) = 1 41
42
CAP ITULO 3. LA FORMULA DE EULER De manera anloga, si k es cualquier constante, entonces a ekx
es la funcin g(x) que satisface o i) dg = kg dx (3.3)
ii) g(0) = 1 Comenzaremos por suponer que ex se puede desarrollar en una serie de potencia: f (x) = ex = a0 + a1 x + a2 x2 + + an xn + Este tipo de series se llaman Series Formales de Potencia. La palabra formal nos indica que dicho desarrollo es slo una relacin entre s o o mbolos y que puede ser, o no, un nmero real para algunos valores de x. El lector interesado en un estudio ms u a detallado de estas series formales de potencias, puede consultar el texto del Prof. Jos Rodr e guez Teor Combinatoriaparte II Cap. 8. a Derivando en ambos miembros de la serie de potencias nos queda
da: a0 a1 a2 . . . an = = = = a1 2a2 3a3 (n + 1)an+1
Usando (3.2) ii) se tiene que f (0) = 1 y por lo tanto a0 = 1. Luego tendremos los valores de los trminos restantes denidos por recurrencia: e a0 a1 a2 a3 . . . an+1 = = = = 1 1 1 2
w w
Igualando ambas expresiones y comparando los coecientes del mismo grado nos
.M at
d f (x) = ex = a1 + 2a2 x + 3a3 x2 + + nan xn1 + dx
em at
1 123 an 1 = n+1 (n + 1)!
ic a
1.
co m
3.1. EL NUMERO E Luego la serie de potencias de ex es ex = 1 + x + x2 x3 xn + + + + 2! 3! n!
43
(3.4)
De igual manera se deduce que la serie de potencias de ekx es ekx = 1 + kx + (kx)n (kx)2 (kx)3 + + + + 2! 3! n!
sen = a1 + a2 2 + + an n +
2 n
Luego las series de potencias respectivas sern a
.M at
cos(0) = 1
em
at
sen(0) = 0
ic
a1
.c o
Por el momento no nos preocupamos por los problemas de la convergencia de estas series de potencia. Slo haremos un clculo formal en una primera etapa, para o a descubrir relaciones entre las funciones de manera heur stica, como lo hac los an matemticos en el pasado. a Las series de potencia de sen y cos , se pueden obtener por medio del Teorema de Taylor del clculo diferencial. Tenemos tambin la posibilidad de calcular estas a e series, trabajando de manera formal. Sobre las funciones seno y coseno, apenas conocemos los valores para = 0. As pues
(3.5) (3.6)
cos = 1 + b1 + b2 + + bn +
Recordemos que la funcin seno es impar, es decir sen() = sen , luego o podemos igualar sus series respectivas y comparar los coecientes para obtener a1 a2 a3 a4 = = = = . . . a1 a2 a3 a4
De aqu se deduce que todos los coecientes de las potencias pares son cero. Luego (3.5) se puede escribir sen = a1 + a3 3 + a5 5 + + a2n+1 2n+1 + (3.7)
44
CAP ITULO 3. LA FORMULA DE EULER
Tambin, la funcin coseno es par, es decir cos = cos() y por lo tanto los e o coecientes de las potencias impares son todas nulas. Luego se tiene el desarrollo en serie para el coseno cos = 1 + b2 2 + b4 4 + + b2n 2n + (3.8)
Para calcular el valor de los coecientes ai en (3.7), derivamos la serie del seno d sen = cos . y la igualamos a la del coseno pues d De aqu obtenemos que a1 = 1. Una segunda derivacin de la serie (3.7) produce o d2 sen = sen d2 Luego d2 sen = 2 3a3 + 5 4a5 3 + + (2k + 1)2ka2k+1 k1 + d2
Igualando los coecientes de las potencias del mismo orden nos da
w .M
at
= a1 a3 3 a2k1 k1
a3 a5
= = . . . = . . .
a2k+1
Esta sucesin de recurrencia nos da los valores: o a3 = 1 , 3! a5 = 1 , 5! a2k+1 = (1)k , (k + 1)! ...
Luego la serie del seno de es sen = 3 5 + 3! 5! (3.9)
em at ic
a1 23 a3 54 a2k1 (2k + 1) 2k
a1
.c
om
3.1. EL NUMERO E Haciendo el mismo tipo de anlisis para la serie del coseno nos da a cos = 1 2 4 + 2! 4!
45
Volvamos ahora al desarrollo en serie de potencias de ekx , y pongamos k = i, x = . Luego nos queda ei = 1 + i + = 1 + i (i)n (i)2 (i)3 + + + + 2! 3! n!
3 2 i + 2! 3! Olvidando por los momentos el problema de la convergencia, podemos hacer un reordenamiento de esta ultima serie para obtener ei = 1 2 4 + + 2! 4! +i + 3 5 + 3! 5! = cos + i sen
z = |z|(cos + i sen ) luego podemos hacer z = |z|ei Si ahora tenemos z1 = |z1 |ei y z2 = |z2 |ei un par de nmeros complejos, las u frmulas de multiplicacin y divisin son las siguientes o o o z1 z2 = |z1 ||z2 |ei(1 +2 ) z1 /z2 = |z1 |/|z2 |ei(1 2 ) Si n > 0 es un nmero entero, la potencia nsima de z = |z|ei viene dada por u e z n = |z|n ein ( La ra nsima de z ser entonces z e a z 1/n = |z|1/n e con k = 0, 1, . . . , n 1.
i +2k n
w .M
Al menos heur sticamente, hemos probado la frmula de Euler. Bastar dar un o a toque nal de rigurosidad a nuestros mtodos, probando la convergencia de ambas e series para cualquier nmero real. u La frmula de Euler permite usar una notacin ms corta para expresar los o o a nmeros complejos. Si z es cualquier complejo, se tiene la representacin polar u o
at
em at ic
a1
.c
om
46
3.2.
Aplicaciones a la Trigonometr a
Partiendo de la frmula de Euler podemos derivar una gran cantidad de identio dades de la trigonometr Veamos entonces como el seno y el coseno se denen a a. partir de la funcin exponencial. o Tenemos la frmula de Euler o ei = cos + i sen y luego ei = cos() + i sen() = cos i sen Combinando las expresiones obtenemos las conocidas frmulas que relacionan o seno y coseno con la exponencial cos = y ei + ei 2 ei ei 2i (3.10)
ic
a1 .
co m
cos( + ) + i sen( + )
= ei(+) = ei ei = (cos + i sen )(cos + i sen ) = (cos cos sen sen ) + i(sen cos + cos sen )
Igualando componentes en ambos lados nos quedan el par de frmulas o cos( + ) = cos cos sen sen
sen( + ) = sen cos + cos sen La ventaja de usar la frmula de Euler, aparte de su belleza y simplicidad, es o que siempre aparecen dos nuevas frmulas. o Por ejemplo, supongamos que queremos calcular sen 3 y cos 3. Tenemos entonces cos 3 + i sen 3 = ei3 = ei
3
Como una primera muestra del poder de los nmeros complejos en el estudio de u la trigonometr derivamos las identidades para sen( + ) y cos( + ). Esto es a,
.M
at
em
sen =
(3.11)
= cos3 + 3 cos2 i sen + 3 cos i2 sen2 + i3 sen3 = (cos3 3 cos sen2 ) + i(3 cos2 sen sen3 )
at
= (cos + i sen )3
3.3. UN PASEO POR LA GEOMETR IA Igualando partes reales e imaginarias nos quedan las frmulas o cos 3 = cos3 3 cos sen2
47
sen 3 = 3 cos2 sen sen3 Podemos tambin derivar frmulas para las potencias del sen (o del cos ) en e o funcin de sen y cos . Por ejemplo, si queremos una identidad para sen4 hacemos o uso de la identidad 2i sen = ei ei . Elevando a la potencia cuarta ambos miembros nos dar a (2i sen )4 = ei ei
4
16 sen4 = ei4 4ei3 ei + 6ei2 ei2 4ei ei3 + ei4 = ei4 + ei4 4 ei2 + ei2 + 6
Por lo tanto
sen4 =
3.3.
Un paseo por la Geometr a
Teniendo los complejos a la mano podemos pasearnos por algunos teoremas de la geometr y re-descubrir muchas demostraciones, de una manera sencilla y fcil. a a Dentro de los complejos se esconde un potencial tremendo de clculo de ngulos y a a longitudes en el plano, como veremos en los siguientes ejemplos. Comenzaremos por uno de los teoremas ms importantes de la geometr a a: 1. El Teorema de Pitgoras a Sea AOB un tringulo rectngulo, el cual ubicamos en el plano complejo, a a con el vrtice O en el origen, de acuerdo al diagrama. e
.M
= 2 cos 4 8 cos 2 + 6
cos 4 4 cos + 3 8
at em
at
ic
a1
.c
om
48
B c b O a A
El teorema arma que se tiene la relacin o c2 = a 2 + b2 Basndonos en la gura, podemos denir tres nmeros complejos a u (3.12)
.M
at
em
at
ic a
z2 z2 z 1 z1 Calculemos el mdulo al cuadrado de z3 . o c2 = |z3 |2 = z3 z3 = (z2 z1 )(z2 z1 ) Luego se tendr la relacin entre los lados a o c2 = a 2 + b2 2. La Ley de los Cosenos Consideremos un tringulo de lados a, b, c y supngase que se conoce uno de a o sus ngulos, digamos . a = (bi a)(bi a) = b2 abi + abi + a2
1.
co
z1 = a,
z2 = bi,
z 3 = z2 z1
3.3. UN PASEO POR LA GEOMETR IA
49
c b La ley de los cosenos establece entonces
a2 = c2 + b2 2ab cos Ubicamos entonces el tringulo dentro del plano complejo a
z2
z3
Luego tendremos la trelacin entre los mdulos o o a2 = |z3 |2 = |z2 z1 |2 de donde a2 = (z2 z1 )(z2 z1 ) = cei b = c2 bc ei + ei + b2 Usando la relacin o cos = tendremos la frmula del coseno o a2 = c2 2bc cos + b2 . ei + ei 2 cei b
z1 = b,
.M
at
z2 = cei ,
em
y consideramos los complejos
at
z3 = z2 z1
z1
ic
a1
.c
om
50
CAP ITULO 3. LA FORMULA DE EULER Otro resultado muy usado en geometr es el inverso del Teorema de Pitgoras, a a el cual establece que todo tringulo con lados a, b, c que cumplen la relacin a o c2 = a 2 + b2 es un tringulo rectngulo. a a Esto se deduce fcilmente de la ley de los cosenos. En efecto si se tiene la a relacin o a2 = c 2 + b2 en un tringulo (ver dibujo). a c b (3.13)
de donde se concluye que cos = 0 y por lo tanto = 90 . Es decir, el tringulo a era rectngulo a 3. Teorema del Tringulo Inscrito en un Semic a rculo Un famoso teorema de geometr dice que todo tringulo inscrito en un sea, a mic rculo debe ser rectngulo. Probaremos este resultado usando nmeros coma u plejos. Supongamos que tenemos un semic rculo de radio a y un tringulo a ABC inscrito en l (ver la gura). e A
c2 + b2 = c2 + b2 2ab cos ,
Igualando (3.13) y (3.14) nos da
.M
at
a2 = c2 + b2 + 2ab cos
em
at ic
entonces usando la ley de los cosenos tendremos (3.14)
a1
.c o
B a
51
De acuerdo a la observacin sobre la ley de los cosenos, debemos probar que o |BA|2 + |AC|2 = |BC|2 = 4a2 Para probar esto, tomaremos tres nmeros complejos u z1 = a, z2 = aei , z3 = a,
tomando el ngulo de manera tal que el radio vector de z1 intersecte al a c rculo en el punto A. z2
z2
z2
z3
z3
z1
= a2 1 + ei + ei + 1 + a2 1 ei ei + 1 = 4a2 Luego se ha probado que |BA|2 + |AC|2 = 4a2 y con esto termina la demostracin. o 4. El rea de un c a rculo Supongamos que tenemos un c rculo de centro en O y radio a. Hallaremos el a rea del mismo mediante un proceso de l mites. Podemos aproximar el c rculo por medio de un pol gono regular de n lados. El rea de dicho c a rculo se expresa (ver problema 3) An = na2 sen 2 2 n
|z2 z3 |2 + |z2 z1 |2 =
.M
aei + a
at
em at
Es claro que |BA| = |z2 z3 | y |AC| = |z2 z1 |. Luego se tiene aei + a + aei a aei a
ic
a1 .
co m
z1
52
CAP ITULO 3. LA FORMULA DE EULER A medida que n aumenta, el rea An se aproxima cada vez ms al rea del a a a c rculo, y cuando n entonces An A, donde A es el rea buscada. Luego a podemos hacer A = l An = l m m
n
ic a1 .c
na2 sen n 2
om
2 n
Aqu se presenta un problema serio, pues el l mite es una indeterminacin o de la forma 0. Afortunadamente, podemos remediar este inconveniente, considerando la serie de potencias del seno, estudiada en este cap tulo. Luego
w w .M at em at
na2 A = l m n 2 =
2 n
2 3 n
3!
2 5 n
5!
= a2 ,
l a2 m
(2)3 (2)5 + 2n2 3! 2n4 5!
pues a partir del segundo trmino de la serie, los trminos restantes convergen e e hacia cero. Luego el rea del c a rculo de radio a es a2 .
53
Ejercicios
1. Si z1 = c1 ei y z2 = c2 ei son dos nmeros complejos cualesquiera, probar que u el tringulo de vrtices z1 , O y z2 tiene rea A, dada por: a e a A= c1 c2 sen( ) 2
2. Demuestre que un pol gono regular de n lados, inscrito en un c rculo de radio a tiene rea dada por a An = na2 sen 2 2 n
3. Utilizando el ejercicio anterior calcule el rea de un pentgono inscrito en un a a c rculo de radio 1.
at ic
a1 w .M at em
z 1 Probar que la distancia 5. Usando el ejercicio anterior calcule el per metro de un pentgono inscrito en a un c rculo de radio 1. 6. Halle un par de identidades trigonomtricas para sen 4 y cos 4 en funcin de e o sen y cos . 7. Demuestre que la serie
w w
desde z hasta 1 es igual a = 2 1 + cos
.c
ex =
i=1
converge a un nmero real para todo x real. u
om
4. Sea z = ei un nmero complejo en el c u rcul unitario.
xi i!
54
CAP ITULO 3. LA FORMULA DE EULER 8. Usando la serie anterior, calcule un valor aproximado de e con cinco cifras decimales. 9. Calcule el valor de las sumas A = cos 1 + cos 2 + cos 3 + + cos 89
a1 . co w w m w .M at em
y
at ic
B = sen 1 + sen 2 + sen 3 + + sen 89 Ayuda: Sea z = ei con = 1 y calcule el valor de la suma de una progresin o geomtrica e
89
S=
n=1
ei
10. Probar que el conjunto de las rotaciones en el plano con eje de rotacin en un o punto a es un grupo. 11. Hallar la transformacin que lleva el tringulo A de vrtices 0, 2, i, en el tringuo a e a lo A de vrtices z1 = 5 5i, z2 = 5 3i, y z3 = 4 5i. e
Cap tulo 4
El Teorema Fundamental del Algebra

4.1. La historia del T.F.A.
El Teorema Fundamental del Algebra establece que todo polinomio con coecientes complejos posee una ra compleja. z El nombre de Teorema Fundamental del Algebra obedece a razones histricas, o pues los matemticos tardaron varios siglos en probar este teorema, y hasta mediados a del siglo XIX, el estudio de los polinomios de variable compleja y sus ra ces era un tema de importancia fundamental dentro del Algebra. Hoy en d tenemos resultados en Algebra, quizs mucho ms importantes y a a a fundamentales que ste. El estudio de los polinomios es apenas una pequea parcela e n en el inmenso pa del lgebra. El nombre ms acertado para el teorema deber ser s a a a el de Teorema Fundamental de los Nmeros Complejos. El teorema tiene su or u gen en los estudios de las ecuaciones del matemtico rabe al-Khwrizmi, cerca del ao a a a n 800 d.c. En 1629 el matemtico amenco Albert Girard( 1595-1632) en su libro a Linvention en alg`bre asegura por vez primera que toda ecuacin polinomial de e o grado n tiene exactamente n soluciones. A partir de entonces comenzaron a aparecer los primeros intentos de demostraciones del teorema, dentro de un ambiente de seria competencia de carcter matemtico, en donde participaron los hombres ms a a a destacados a lo largo de varios siglos. El teorema y su demostracin se convirti en o o acicate para la investigacin y comprensin de los misteriosos nmeros complejos, o o u que permanecieron cubiertos por el velo de lo desconocido, hasta mediados del siglo XIX. Las primeras demostraciones ten fallas serias de rigor matemtico e inclusive an a algunas estaban completamente erradas. Un obstculo en todo este proceso fu el a e creer que la armacin de Girard sobre la existencia de n ra era algo evidente y o ces
.M
at
em
55
at ic a1
.c om
56
CAP ITULO 4. EL TEOREMA FUNDAMENTAL DEL ALGEBRA
que no requer de una demostracin. a o El primer intento serio de demostracin, se debe al matemtico francs Jean Le o a e Rond dAlembert(1717-1783), quien di una prueba en 1746, usando un mtodo o e constructivo para hallar una ra de un polinomio P (z). La parte central de la z demostracin consist en tomar un par de nmeros reales a y b tal que P (a) = b. o a u Luego se hallaban dos nmeros complejos z1 y z2 tal que u P (z1 ) = z2 y adems |z1 | < a, |z2 | < b. Continuando con este proceso de iteracin, se llegaba a o hasta la ra haciendo cada vez ms pequeos los valores de |zi |. z, a n La idea de dAlembert fue ciertamente brillante y novedosa, aunque presentaba fallas de rigurosidad, que la hac incompleta. En ella no se probaba la convergencia an hacia cero de la sucesin |zi |. Todav no se hab desarrollado la teor de los l o a a a mites ni mucho menos el concepto de compacidad. La prueba fu un gran paso hacia e adelante y no se le puede restar mrito a este gran matemtico por desconocer algo e a que an no se hab inventado. El mismo Gauss reconoci que aquellas ideas serv u a o an para dar una prueba ms rigurosa. a Hay un per odo de unos cien aos entre 1750 y 1850 donde la matemtica cren a ci como un hermoso samn de ramas orecientes y tronco portentoso. Un siglo o a dorado en donde salieron a la luz los resultados ms sorprendentes y maravillosos en a teor de nmeros, anlisis, teor de ecuaciones, mecnica, lgebra,...etc que elevan a u a a a a a la matemtica hasta el pedestal ms alto en el concierto de todas las ciencias. a a En aquellos tiempos hericos se destacaron tres grandes genios, grandes entre los o grandes, tres reyes de reyes cuyas maravillosas ideas traspasan las distancias como los brillantes fulgores de los rayos del sol y deslumbran todav hoy en el siglo 21 a a los hombres de la matemtica. Ellos son Leonhard Euler (1707-1783), Joseph a Louis Lagrange (1736-1813) y Johann Carl Friedich Gauss (1777-1855). Todos ellos dedicaron parte de sus esfuerzos a la demostracin del Teorema o Fundamental del Algebra, siendo Gauss quien tuvo el privilegio de llegar primero a la meta en esta singular carrera, al dar con una demostracin correcta en 1799. o En 1749 Euler da una demostracin incompleta del teorema, usando una tcnica o e de factorizacin de polinomios. Si P (x) es un polinomio de grado n entonces haciendo o una transformacin o cambio de variable, podemos eliminar siempre el trmino de o e grado n 1. Luego podemos suponer P (x) = x2m + a2m1 x2m1 + + a1 x + a0 y luego lo factorizamos P (x) = (xm + Bxm1 + )(xm + Cxm1 + )
.M
at
em
at
ic a
1.
co
4.1. LA HISTORIA DEL T.F.A.
57
donde los coecientes de estos dos nuevos polinomios son funciones racionales de los ai , B, C, . . . etc. Si este argumento funciona bien, entonces se puede repetir tantas veces como se quiera y al nal tendremos slo trminos cuadrticos, a los cuales les calculamos sus o e a ra ces. Sin embargo Lagrange en 1772, hizo la observacin muy inteligente, de que en o el proceso de clculo de los coecientes pueden aparecer expresiones del tipo 0/0. a Lagrange pudo sortear estos obstculos usando sus conocimientos de permutaciones a de las ra ces y dar una mejor demostracin. Lamentablemente Lagrange, como casi o todo el mundo inmerso en aquella empresa, asum de entrada que el polinomio ten a a exactamente n ra ces! Finalmente Gauss da la primera demostracin correcta del T.F.A. en su Tesis o Doctoral de 1799. Siendo apenas un joven de 22 aos hab logrado dar la solucin n a o al problema de matemticas ms importante de su poca y que se remontaba en el a a e tiempo 1000 aos hacia atrs. n a La primera prueba de Gauss, ms adelante dar otras, se basaban en argumentos a a de tipo topolgico y era muy distinta a las anteriores. o En 1814 el matemtico suizo Jean Robert Argand (1768-1822) di una demosa o tracin del teorema bastante simple, ingeniosa e inobjetable en cuanto al mtodo de o e razonamiento lgico. En esta prueba Argand introduce la representacin geomtrica o o e de los nmeros complejos en el plano bidimensional, como lo conocemos hoy en d u a. Se originan as los diagramas de Argand, en donde la unidad real se coloca sobre el eje de las x y el complejo i se coloca sobre el eje Y . En 1816 Gauss da una segunda prueba, la cual es completamente correcta, usando indeterminadas. En ese mismo ao, Gauss dio una tercera demostracin de n o naturaleza topolgica, semejante a la primera. o En 1849 Gauss da una demostracin general del teorema, probando que, cualo quier polinomio P (z) con coecientes complejos de grado n tiene exactamente n ra ces complejas. De todas las demostraciones, la de Argand es quizs la ms popular, debido a a a que aparece en el famoso libro de Algebra de Chrystal (1900). Existen algunas variantes de dicha prueba, como las de C. Feerman (1967) y F. Terkelson (1976). La demostracin de Argand es de tipo existencial y no permite calcular la ra del o z polinomio. Han aparecido en el siglo XX algunas demostraciones de tipo constructivo como la de Helmath Kneser en (1940) y otra que da un algor tmo para calcular la ra z obtenida por Kuhn en 1974. A pesar de haberse demostrado el T.F.A. todav quedaba una duda o interroa gante, elevada por los algebristas puros. En todas las pruebas se usaban argumentos
.M
at
em
at
ic a1
.c om
58
ajenos al lgebra, como la teor de l a a mites, topolog funciones continuas,... etc. a, En verdad era un hecho algo decepcionante que un teorema tan importante no se pudiese probar con mtodos algebraicos Era esto una imposibilidad matemtica, e a debido a las condiciones del teorema ? En 1951, el matemtico Oskar Perron dio la primera demostracin completamena o te algebraica del teorema. Una versin moderna de esta prueba de Hans Zassenhaus o publicada en Mayo de 1967 en The American Mathematical Monthly nos permite demostrar el teorema usando la teor de Anillos, la teor de extensiones de cuerpos a a y los polinomios simtricos. e La demostracin topolgica del T.F.A., en su versin moderna, aparece esbozada o o o en el libro de Richard Courant y Herbert Robbins it Qu es la Matemtica? e a Actualmente en los cursos de variable compleja de la licenciatura en matemticas, a el teorema se demuestra sin mucho esfuerzo como un corolario del principio de mdulo mximo. o a
En este trabajo seguiremos la prueba proporcionada en 1967 por el matemtico a Charles Feerman de la Universidad de Maryland U.S.A.1 , es una de las pruebas ms a bonitas que existen por su simplicidad y econom de recursos. Para poder comprena derla necesitamos conocer algunos hechos del anlisis y la topolog que enunciamos a a, a continuacin y que sern nuestro arsenal para poder atacar la demostracin con o a o xito. Estos son: e 1. L mite de una sucesin de nmeros complejos. o u 2. Funciones continuas. 3. Propiedad topolgica del disco complejo. o 4. Propiedad de mximos y m a nimos de las funciones continuas. El lector que conozca bien estos resultados, puede pasar directamente a la demostracin del teorema. o De ahora en adelante, P (z) es un polinomio complejo de la forma P (z) = a0 + a1 z + + an z n donde los ai son nmeros complejos. u La idea de la demostracin consiste en probar primero que |P (z)| alcanza un o m nimo cuando z var en todo el plano complejo C. A este m a nimo lo denotamos por |P (z0 )|. El siguiente paso ser probar que P (z0 ) = 0. a
1
Basada en la demostracin de Argand de 1814 o
.M
at em
at
ic a1
.c o
4.2.
Preparando nuestro arsenal
4.3. L IMITES DE SUCESIONES COMPLEJAS
59
4.3.
L mites de sucesiones complejas
Una sucesin de n meros complejos es un conjunto A de nmeros complejos, o u u el cual puede ser puesto en correspondencia con los nmeros naturales. A cada u nmero natural n le podemos hacer corresponder un elemento de A por la relacin u o f : N A n xn xn se llama el trmino ensimo de la sucesin A. e e o La succesin ser denotada de ahora en adelante por {xn }n1 o bien {x1 , x2 , . . . } o a Ejemplo 1. Sea z0 un nmero complejo jo. Entonces podemos formar la sucesin u o de las potencias de z0
m Si |z0 | = 1, entonces la sucesin {z0 } puede ser nita. Por ejemplo, haciendo o 2 3 4 5 6 7 8 z0 = e/4i , la sucesin se reduce a los 8 trminos {z0 , z0 , z0 , z0 , z0 , z0 , z0 , z0 } pues o e 9 = z . Es decir, a partir del 8vo trmino todos se repiten. Este es un ejemplo de z0 e 0 una sucesin nita , la cual es peridica. o o
o Ejemplo 2. Si {zn } es una sucesin de nmeros complejos zn es otra sucesin de o u nmeros complejos. u Ejemplo 3. Si {zn } es una sucesin de nmeros complejos, entonces {|zn |} es una o u sucesin de nmeros reales. o u Ejemplo 4. Si z0 es un nmero complejo, se puede denir una sucesin en forma u o recursiva zn , de la siguiente forma: z1 = z 0 z2 = (z0 )2 + 1 . . .
2 zn+1 = zn + 1.
.M
at em
(z0 )n = (z0 )m
at ic
Si |z0 | = 1 , entonces la sucesin es innita, pues si n = m o
a1 .
co m
zn = (z0 )n
60
Cules son los primeros cinco trminos de esta sucesin si hacemos z0 = 1 + i? a e o Una sucesin de nmeros complejos {zn } se dice sucesin acotada si existe un o u o nmero positivo M tal que u |zn | M n 1.
El l mite de una sucesin {zn } de nmeros complejos, es el nmero complejo L, o u u tal que los trminos zn de la sucesin se aproximan cada vez ms a L, a medida que n e o a crece. Es decir, podemos hacer la distancia entre zn y L tan pequea como queramos, n tomando n sucientemente grande. La formalizacin de esta idea la resumimos en o la siguiente denicin. o Denicin: El l o mite de {zn } cuando n tiende a innito es L, si para todo > 0 existe un M sucientemente grande, tal que |zn L| < Usamos la notacin o n M.
Cuando una sucesin {zn } tiene l o mite L, se dice entonces que es convergente, o que {zn } converge a L. Una sucesin que no tiene l o mite se llama sucesin divergente. o A continuacin un par de deniciones que sern de mucha utilidad en el manejo o a de las sucesiones. Denicin: Sea z0 un n mero complejo y r > 0. Se llama Disco cerrado o u de radio r y centro z0 al conjunto D(z0 , r) = {w C : |w z0 | r}
Denicin: Sea z0 un n mero complejo y r > 0. Se llama Disco Abierto o u de radio r y centro z0 al conjunto D (z0 , r) = {w C |w z0 | < r}
La diferencia entre ambos conjuntos estriba en el hecho siguiente: el disco cerrado contiene a la circunferencia con centro en z0 y radio r, mientras que el disco abierto no.
.M
at em
l zn = L m
at ic
a1 .
co
4.3. L IMITES DE SUCESIONES COMPLEJAS
61
La denicin de l o mite la podemos re-interpretar a la luz de este par de deniciones: Denicin: El l o mite de zn cuando n es L, si para todo existe un N > 0 tal que zn D (L; ) si nN > 0,
Ejemplo 5. Sea z0 un nmero complejo con |z0 | < 1 y consideremos la sucesin u o dada en el ejemplo 1 zn = (z0 )n Entonces l zn = 0, pues los trminos zn tienden hacia 0 a medida que n crece. m e
n
Denicin: Una sucesin {zn } de n meros complejos se denomina suo o u cesin de Cauchy si para todo > 0 existe M > 0 tal que o |zm zn | <
.M
Ejemplo 6. Sea z0 = e/4i y denimos zn = (z0 )n . Entonces l zn no existe, pues m n los valores de zn no tienden hacia un valor comn. u Una condicin necesaria para que una sucesin converja a un valor L es que, a o o medida que n crece, la distancia entre los trminos es cada vez menor. Esta obsere vacin da origen a la denicin siguiente. o o
at
em
at
Ejemplo 7. La sucesin zn = (z0 )n del ejemplo 5 es de Cauchy. Para probar esta o armacin, comenzamos por establecer la desigualdad o
n+1 n |z0 z0 | = |z0 |n |1 z0 | 2|z0 |n .
Luego, si n crece, el lado derecho de la desigualdad tiende hacia cero y por lo tanto podemos hacer el lado izquierdo, menor que un > 0 si tomamos n sucientemente n+1 n grande. Para garantizar que |z0 z0 | < , hacemos 2|z0 |n < , de donde |z0 |n < /2.
ic
a1
m, n N0 .
.c
om
62 Luego
n(log |z0 |) < log( /2), o sea n> log /2 + 1, log |z0 |
y esto garantiza la condicin de la denicin. o o El siguiente teorema se deja como un ejercicio para el lector. Teorema Toda sucesin de Cauchy {zn } de n meros complejos es cono u vergente.
Sea A C y f : A C una funcin de variable compleja. Supongamos que o {zn } es una sucesin en A que converge a un punto z0 en A. Ser entonces deseable o a para muchas aplicaciones que la sucesin de las imgenes wn = f (zn ) converja a o a f (z0 ). Ver el dibujo.
.M
at
em
at ic
f
a1
.c
om
4.4.
Funciones Continuas
C xn x0 0 0 f (xn ) Si para cada sucesin zn z0 , se tiene que el l o mite de f (zn ) es igual a f (z0 ), entonces diremos que la funcin f es continua en z0 . o Otra forma equivalente de expresar la condicin de continuidad en el punto z 0 o es la siguiente: si tomamos un punto cualquiera z en A, muy cercano a z0 , entonces su imgen f (z) deber estar muy cercano a f (z0 ). a a Denicin: La funcin f es continua en z0 , si para todo > 0, existe o o un > 0 tal que para todo z en A que satisface |z z0 | < , se debe tener A f (x0 )
4.4. FUNCIONES CONTINUAS entonces que |f (z) f (z0 )| < .
63
Una condicin suciente para garantizar la continuidad de una funcin en un o o punto z es la existencia de una constante real, positiva Mz tal que |f (z) f (w)| Mz |z w| para toda z en C. (4.1)
La constante Mz , depende del punto z elegido, y por lo tanto la condicin es de o tipo local. Si existe una constante M , independiente de z tal que (4.1) se verica para cualquier z y w en A, entonces la condicin ser global. o a Esta condicin global se conoce con el nombre de condicin de Lipschitz. o o Supongamos que la funcin f cumple con (4.1). Si D(z; 1) es un disco en el Plano o Complejo, con centro en z y radio 1. D(z; 1) = {w C : |z w| 1}
w w
.M
at
em
1 z Mz f (z) Luego la condicin (4.1) implica o f (D(z; 1)) D(f (z); Mz ) Si la constante M es global y adems M < 1 la funcin f se llama una contraca o cin. o Ejemplo 8. Sea P (z) = 5z 2 2z + 1. Entonces probaremos que P (z) es continua
at
Entonces la imgen de D(z; 1) bajo f se encuentra dentro del disco de centro a f (z) y radio Mz .
ic
a1 .c
f
om
64
en todo z C. En efecto, si z, w C se tiene |P (z) P (w)| = |5z 2 2z + 1 (5w 2 2w + 1)| 5|z 2 w2 | + 2|z w| = 5|z + w||z w| + 2|z w| = |z w|(5|z + w| + 2). Si tomamos a w dentro del disco de centro z y radio R, podemos acotar el trmino e |z + w| de la siguiente forma |z + w| |z| |z + w z| |w z| + |z| < R + |z| de donde |z + w| < R + 2|z| luego se tiene |P (z) P (w)| < |z w|(5R + 10|z| + 2).
Luego, P (z) es continua en todo z C. Ejemplo 9. Si P (z) es un polinomio complejo de grado n, P (z) = a0 + a1 z + + an z n , se tiene entonces que P (z) es continua para todo z en C. Para demostrar esto se debe probar: 1) Si j es cualquier nmero natural, entonces el monomio aj z j es continua en u todo z. 2) La suma de dos funciones complejas continuas en z es continua en z. Daremos un bosquejo de ambas demostraciones, dando los pasos ms importana tes. El lector puede llenar los detalles. Para probar que ai z i es continua en cualquier z C, consideramos la desigualdad |ai z i ai wi | = |ai ||z w||z i1 + z i1 w + + w i1 | |ai ||z w| |z|i1 + |z|i1 |w| + + |w|i1 , (4.2)
w w
.M
|P (z) P (w)| < |z w|Mz .
at
em
at
Haciendo Mz = 5R + 10|z| + 2, obtenemos la condicin de acotamiento local o
ic
a1 .
co
4.5. PROPIEDAD TOPOLOGICA DEL DISCO COMPLEJO
65
donde w es un nmero complejo cercano a z. Podemos entonces tomar a w dentro u del disco de centro z y radio R. Esto nos permite acotar |w| de la forma siguiente |w| |z| |w z| < R luego |w| < R + |z| Volviendo a la desigualdad (4.2) tenemos que |ai z i ai wi | Mz |z w|, donde Mz = |ai | |z|i+1 + |z|i2 (R + |z|) + + (R + |z|)i1 Con esto queda probado que cada monomio es una funcin continua. o Para ver la segunda armacin, supongamos que f y g son dos funciones como plejas, las cuales son continuas en z. Supongamos que {zn } es cualquier sucesin o de nmeros complejos que converge hacia z. Luego es fcil observar que la sucesin u a o (f + g)(zn ) converge hacia (f + g)(z), apoyndonos en la desigualdad siguiente a |(f + g)(zn ) (f + g)(z)| |f (zn ) f (z)| + |g(zn ) g(z)| Como cada una de las funciones f y g son continuas, el lado derecho de la desigualdad se puede hacer tan pequeo como se quiera, tomando n sucientemente n grande. Luego, debe ser
n
l (f + g)(zn ) = (f + g)(z) m
lo cual prueba que la funcin compleja f + g es continua en z. o
4.5.
Propiedad Topolgica del Disco Complejo o
Consideremos el Disco Cerrado en el plano complejo de centro en un punto z 0 y radio R, al cual llamaremos D para abreviar. As pues D = {z C : |z z0 | R}
Sea {zn } una sucesin de elementos de D. Supongamos por un momento, que o dicha sucesin converge a un nmero complejo z. Dnde se encontrar este nmero o u o a u z? Estar dentro o fuera del conjunto D? a
.M
at
em
at ic
a1 .
co
66
CAP ITULO 4. EL TEOREMA FUNDAMENTAL DEL ALGEBRA Supongamos que el l mite z est ubicado fuera de D . Ver la gura. a
R z0
Podemos tomar entonces un pequeo disco abierto D , de centro en z y radio n , muy pequeo, de tal manera que dicho disco no se intersecte con el disco D. n Porqu se puede hacer esto? Luego ningn punto de la sucesin {zn } se encuentra e u o en este pequeo disco, no importando que tan grande se tome n. Esto por supuesto n contradice la denicin de l o mite. La contradiccin, por supuesto, viene de suponer o que z est fuera de D. Luego lo contrario de esto debe ser una verdad, y por lo tanto a z D. Supngase que la sucesin {zn } no tiene l o o mite. Es decir, los valores xn no convergen hacia un valor comn, a medida que n crece. Qu se puede decir en este u e caso? n En el ejemplo 1, estudiamos la sucesin peridica denida por zn = e/4i . o o Esta sucesin pertenece al disco cerrado D de centro 0 y radio 1 y no es convergente. o Los valores de zn van saltando de un lado a otro en la circunferencia, ocupando las 8 ra ces octavas de la unidad. z6 z10 . . .
w .M
at em
at
ic
z2 z4 z5 z3
Sin embargo, podemos tomar una subsucesin {zk } de la sucesin original {zn } o o dada por zk = e/4i
k
con k = 1, 9, 17, 25, . . .
Es claro entonces que los valores de zk son todos constantes e igual a L = e/4i . Luego la subsucesin {zk } es convergente a L, y adems el l o a mite, igual pertenece al disco.
a1 .c om
z7
z1 z9 . . . z8
4.5. PROPIEDAD TOPOLOGICA DEL DISCO COMPLEJO
67
Podemos entonces tratar de probar, inspirados en este ejemplo tan convincente, que cualquier sucesin innita {zn } en el disco D, que no es convergente, posee una o subsucesin convergente cuyo l o mite pertenece a D. Entremos de lleno en nuestro disco D e iniciemos el proceso de bsqueda de una u subsucesin convergente de la sucesin {zn }. Esta sucesin es un conjunto innito, o o o habitando dentro de un disco de radio nito, lo cual nos hace intuir que los puntos estarn todos muy cerca unos de otros en alguna parte. La estrategia de la bsqueda a u de un l mite, de alguna subsucesin, ser la misma que usan los socorristas cuando o a alguien se extrav en una montaa o en la selva. Primero dividimos el terreno en a n grandes reas y hacemos una exploracin. Luego seleccionamos una zona sospechoa o sa de hallarse las personas extraviadas y la subdividimos en zonas ms pequeas. a n Continuando de esta forma podremos conseguir nuestro objetivo. Recubramos el disco D con pequeos discos abiertos de radio 1. Es claro que n slo necesitamos un nmero nito de ellos para realizar esta tarea Porqu? Se tiene o u e entonces la inclusin o D
w .M
donde los aj son elementos de D. (Ver la gura)
at em
at
D
j=1
Como la sucesin de nmeros complejos {zn } es un conjunto innito y el nmero o u u de discos de radio que la contiene es nito, entonces en al menos un disco de stos, e digamos D (aj ; 1) debe haber una innidad de trminos de la sucesin. e o Tomamos entonces un elemento cualquiera de la sucesin {zn } que se encuentre o dentro de este disco. Este ser el elemento inicial, de una subsucesin de {zn } que a o iremos formando, lo designamos por zn1 . Luego zn1 {zn } D(aj ; 1) En el siguiente paso, cubrimos el disco D(aj , 1) con discos de radio 1/2. Entonces alguno de estos discos debe contener una innidad de trminos de la sucesin {z n }. e o
ic
a1 .c
D(aj ; 1)
om
68
Luego tomamos un segundo elemento de la sucesin dentro de dicho disco y lo o llamamos zn2 . As pues zn2 {zn } D(bj ; 1/2) para algn bj D. u Continuando de esta manera, podemos ir reduciendo el radio de los discos de bsqueda e ir hallando puntos de la sucesin {zn } que se van acumulando unos muy u o cerca de los otros. De esta manera limitamos la bsqueda de puntos a espacios cada u vez ms pequeos. Tenemos entonces la subsucesin {znj }, la cual es una sucesin a n o o de Cauchy, pues la distancia entre los trminos se hace cada vez ms pequea. Por e a n qu? e Pero sabemos que toda sucesin de Cauchy converge a un l o mite, luego nuestra subsucesin {znj } converge a un punto w0 . Luego o
n
l znj = w0 m
Cualquier sucesin de elementos de un disco cerrado D, poo see una subsucesin que converge a un elemento en D. o Esta propiedad se llama COMPACIDAD. Podemos armar entonces que un disco cerrado en el plano complejo es compacto. Es una propiedad topolgica, o pues en ella se mezclan elementos de continuidad del espacio euclideano, bidimensional con la geometr del disco. a
4.6.
El teorema de Weierstrass
Estudiaremos una propiedad topolgica de las funciones continuas denidas en o un disco D cerrado en el plano complejo centrado en un punto z0 y de radio R. Como siempre D = {z C : |z z0 | R}
Supongamos que tenemos una funcin continua f , denida en D y con valores o complejos. Entonces su imagen f (D) ser un conjunto del plano complejo. (Ver la a gura)
.M
Es obvio que w0 D, por lo dicho al comienzo de esta seccin, donde se demostrao ba que para cualquier sucesin convergente de elementos de D, entonces su l o mite tambin pertenece a D. e Establecemos a continuacin pues, de manera triunfal, solemne y victoriosa, la o propiedad topolgica del disco complejo cerrado. o
at e
m at
ic
a1 .c
om
4.6. EL TEOREMA DE WEIERSTRASS f D R z0 f (D)
69
El conjunto formado por los valores absolutos de las imgenes de D, lo llamamos a A. Luego A = {|f (z)| : z D}
Teorema.( Weierstrass) Sea f una funcin continua denida sobre un conjunto o compacto D, entonces el conjunto A = {|f (z)| : z D} alcanza un mximo y un a m nimo. Evidentemente, A es un conjunto de nmeros reales no negativos, pues el mdulo u o de un nmero complejo cumple con esta propiedad. Veamos a continuacin qu tipo u o e de propiedades tiene este conjunto, en relacin a la existencia de mximos y m o a nimos. Hagamos tres preguntas 1. Es A un conjunto acotado? 2. Tiene A un m nimo? 3. Tiene A un mximo? a Para comenzar, tenemos que A es un conjunto acotado inferiormente, pues 0 < |f (z)| para cualquier z D. Para probar que A est acotado superiormente haremos a un razonamiento del tipo reduccin al absurdo. o Supngase que A no est acotado superiormente. Entonces, para cada nmero o a u natural n, existe zn D tal que |f (zn )| > n (4.3)
.M
at
em
La propiedad topolgica a estudiar en este apartado se llama Teorema de los o Valores Extremos de Weierstrass y fue probada en 1874 por la matemtico a alemn Karl Theodor Wilhelm Weierstrass ( 1815-1897), conocido como el padre a del anlisis moderno. El resultado se establece de la forma siguiente: a
at
ic
a1 .c
om
70
La sucesin as formada {zn }, se encuentra dentro de D. As pues, usando la o propiedad de compacidad de D, se obtiene una subsucesin convergente {znk } que o converge a un valor w0 D. Luego zn k w 0 Como f es continua, tenemos f (znk ) f (w0 ) y por lo tanto existe un N > 0 tal que |f (znk ) f (w0 )| < 1, De acuerdo a lo anterior se obtiene |f (znk )| < 1 + |f (w0 )|, para nk > N (4.4) para algn nk > N u cuando k cuando k
Por la compacidad de D, dicha sucesin innita posee una subsucesin convero o gente, {vnk }, tal que
nk
l vnk = v, m
Es claro que la desigualdad (4.4) contradice la desigualdad (4.3). Luego el conjunto A estar acotado superiormente. a La respuesta a la segunda interrogante tambin es armativa. En efecto, sea e el nmo de A Por qu existe ? Luego hay una sucesin de elementos de A que e o converge a , y como consecuencia de esto existe una sucesin de nmeros complejos o u {vn } en D tal que l |f (vn )| = m
.M
at
em
at ic
a1 .
co m
yvD
(4.5)
Como la funcin f es continua, se tendr o a f

nk
l vnk m
= =
nk
l f (vnk ) m (4.6)
nk
l |f (vnk )| = m
Combinando (4.5) y (4.6) se tiene que |f (v)| = y por lo tanto |f | alcanza un m nimo valor en v D. De la misma manera se demuestra que |f | alcanza un valor mximo en D. a
4.7. TEOREMA FUNDAMENTAL DEL ALGEBRA
71
4.7.
Teorema Fundamental del Algebra
Si P (z) = a0 + a1 z + + an z n es un polinomio con coecientes complejos, entonces cualquier nmero complejo c donde ste se anula, se llama una ra Es u e z. decir, al substituir a z por el valor de c, el resultado debe ser igual a 0, y por lo tanto P (c) = a0 + a1 c + + an cn = 0
Teorema. Sea P (z) = a0 + a1 z + + an z n un polinomio con coecientes complejos. Entonces P tiene una ra z. Demostracin. o Probaremos en primer lugar que |P (z)| alcanza un m nimo sobre C. Notemos en primer lugar que si z = 0, entonces
|an | an1 a1 a0 + + n1 + n < z z z 2 y por lo tanto an + |an | a1 a0 an1 + + n1 + n z z z 2 an 2
Podemos concluir de esta ultima desigualdad y (4.7) que |P (z)| |z|n para z sucientemente grande. Luego, existe un M > 0 tal que |P (z)| |a0 |, D = {z C |z| > M (4.8)
Puesto que |P (z)| es una funcin continua, sta alcanza un m o e nimo en el disco : |z| M }
luego
.M
aj nj z
em at
Para z sucientemente grande, se tiene que para cada j, 1 j n
at
<
ic a
1.
|an | 2n
co m
|P (z)| = |z|n an +
a1 a0 an1 + + n1 + n z z z
(4.7)
72
Es decir, existe z0 D tal que |P (z0 )| |P (z)|, En particular 0 D. Luego |P (z0 )| |P (0)| = |a0 | |P (z)|, Usando (4.9) y (4.10) se tiene |P (z0 )| |P (z)| para todo z C (4.11) |z| > M (4.10) zD (4.9)
Por lo tanto, la funcin |P (z)| alcanza un m o nimo en todo el plano complejo C y con esto terminamos la primera parte de la demostracin. o Podemos escribir P (z) = P ((z z0 ) + z0 ) y despus de reordenar algunos trmie e nos, tendremos que P (z) se expresa como una combinacin de potencias de (z z 0 ). o En consecuencia se tiene P (z) = Q(z z0 )
.M
at
para algn polinomio complejo Q(z). u Usando (4.12) nos queda
Si demostramos que Q(0) = 0, se tendr que P (z0 ) = 0 y con esto concluye la a prueba. Supongamos que Q(z) = c0 + cj z j + + cn z n (4.14)
siendo j el menor exponente no nulo para el cual cj = 0. Factorizando los trminos que aparecen despus de cj z j en (4.14) nos queda e e Q(z) = c0 + cj z j + z j+1 R(z) (4.15)
donde R es un polinomio complejo. Notemos que |Q(0)| = |c0 |. Sin embargo, al suponer |c0 | = 0 es posible, con algo de ingenio y los conocimientos de anlisis que hemos estudiado al comienzo de esta a seccin, conseguir un nmero complejo w cercano a 0 y que satisface |Q(w)| < |c 0 |. o u Este resultado se conoce con el nombre de Lema de dAlembert. Busquemos un nmero complejo z1 que satisfaga u
j cj z1 = c0
w w
|Q(0)| |Q(z)|
em
at
para todo z C.
ic a
1.
(4.12)
co
(4.13)
(4.16)
4.7. TEOREMA FUNDAMENTAL DEL ALGEBRA Luego

j z1 =
73
c0 c1
Si
c0 = rei , entonces z1 = r1/j ei/j . Sea > 0 un nmero arbitrario. Entonces u c1

j Q( z1 ) = c0 + cj j z1 + j+1 j+1 z1 R(
z1 )
(4.17)
Si hacemos variar entre 0 y 1, entonces el nmero complejo z1 var en el u a disco cerrado D, de centro 0 y radio |z1 |. Como R(z) es un polinomio complejo, estar acotado en ese disco D y por lo tanto existe un N > 0 tal que a |R( z1 )| N para 0 < < 1
Tomando valores absolutos en la expresin (4.17) tendremos o
= |c0 |
Si |c0 | = 0, podemos tomar
|c0 | +
j+1
sucientemente pequeo de tal forma que n |z1 |j N < |c0 |
En tal caso se tiene |Q( z1 )| < |c0 | 0.

j
|z1 |j+1 N
.M
= |c0 +
at
(c0 )| +
j+1
|z1 |j+1 N = (1
em at ic
a1
j |Q( z1 )| |c0 + cj j z1 | +
.c o
j+1
|z1 |j+1 |R( z1 )| |c0 +

j
j (cj z1 )| + j+1
j+1
|z1 |j+1 N
)|c0 | +
|z1 |j+1 N
|c0 | +
|c0 | = |c0 |
Esta desigualdad contradice (4.13). Luego debe ser |c0 | = 0 y por lo tanto Q(0) = Con esto termina la demostracin. o
Algunas consecuencias del T.F.A.

1) Si P (z) = a0 + a1 z + + an z n es un polinomio complejo de grado n, entonces el T.F.A. establece que existe una ra z1 tal que P (z1 ) = 0. Luego P se factoriza z P (z) = (z z1 )Q(z)
74
donde Q(z) es un polinomio complejo de grado n 1. Podemos continuar aplicando el teorema, hasta tener una factorizacin total de P (z) como un producto de o factores lineales P (z) = an (z z1 )(z z2 ) (z zn ) donde z1 , . . . , zn son las n ra ces de P (z). 2) Si P (z) es un polinomio con coecientes reales, y z1 es una ra entonces su z, e z. conjugado z1 tambin es una ra En efecto, sea P (z) = a0 + a1 z + + an z n , con ai R. Luego P (z1 ) = 0 y por lo tanto
w
n 0 = P (z1 ) = a0 + a1 z1 + + an z1 = a0 + a1 z1 + + an (z1 )n = P (z1 )
(4.18)
En una descomposicin del tipo (4.18) podemos agrupar cada trmino (zz j ) con o e e su correspondiente (z zj ). Al multiplicar ambos trminos tendremos un polinomio cuadrtico con coecientes reales a (z zj )(z zj ) = z 2 2|zzj |2 + |zj |2 Como consecuencia de esto tenemos el siguiente corolario. Corolario. Si P (x) = a0 + a1 x + + an xn es un polinomio con coecientes reales, entonces P (x) se factoriza sobre los nmeros reales como un producto de trminos u e lineales y cuadrticos irreducibles. a
w w
.M
at
em
at ic
a1 .
co
4.7. TEOREMA FUNDAMENTAL DEL ALGEBRA
75
Ejercicios
1. Factorizar completamente el polinomio P (z) = z 8 1 sobre C. 2. Demuestre que todo polinomio real de grado mayor o igual que 3 tiene una ra real. z 3. Hallara la imagen del disco D = {z C | |z| 2} bajo el polinomio P (z) = z 2 + 1. Calcule el valor mximo y m a nimo de |P (z)| sobre D. 4. Pruebe las siguientes desigualdades para nmeros complejos z1 y z2 u i) |z1 + z2 | |z1 | + |z2 |
at em
ii) |z1 | |z2 | |z1 z2 |
at ic
a1 .c
A = {z C | 1 |z| 5} f (z) = f1 (x, y) + if2 (x, y)
om w w w .M
z es una contraccin, sobre el o
5. Demuestre que la funcin compleja f (z) = o anillo
6. Demuestre que el polinomio P (z) = z 15 + 8z 3 + z es sobreyectivo. 7. Si f es una funcin compleja y z = x + iy, entonces se puede descomponer en o la forma
Demuestre que si f es continua, entonces f1 y f2 tambin lo son. Ser cierto e a el rec proco? 8. Demuestre que la funcin f (z) = |z| es continua en todo el plano complejo. o
76

www .Ma tem atic a1.c om
Cap tulo 5
Movimientos en el plano
5.1. Porqu los movimientos? e
.c om
Los Nmeros Complejos constituyen una herramienta matemtica muy poderosa u a para interpretar los movimientos en el plano. En este cap tulo estudiaremos los movimientos r gidos del plano, es decir, aquellos que preservan las distancias entre los puntos. Bsicamente, daremos respuesta a las dos interrogantes Porqu es impora e tante estudiar los movimientos del plano? Que relacin existe entre la geometr o a de las guras estticas del plano, y el movimiento? En primer lugar, en la Geometr a a Euclideana, se describen muchas propiedades de las guras planas, que pueden ser demostradas con todo rigor matemtico del caso, usando los movimientos del plano. a Por ejemplo, sabemos que en todo tringulo rectngulo la suma de los ngulos intera a a nos es igual a 180 grados. Esta es una de las propiedades ms conocidas por todos. a Cmo se demuestra dicha propiedad? La demostracin de este hecho, a la manera o o clsica, como nos ense Euclides, consiste en utilizar una serie de axiomas de la a no geometr y luego mediante un razonamiento lgico, arribar a la tesis. Este mtodo a o e es algo complicado y adems carece de intuicin. Sin embargo existe otra forma, a o mucho ms intuitiva, de probar este resultado, usando los movimientos. Podemos a tomar el tringulo original y obtener tres copias del mismo. Luego, mediante un a movimiento T , podemos llevar estas tres copias a la posicin mostrada en la gura. o (Ver la gura)
.M
at em
77
at ic
a1
78
CAP ITULO 5. MOVIMIENTOS EN EL PLANO
Y ahora. Listo! Cualquiera puede ver que + + = 180o Usando este tipo de argumentos, podemos probar muchos resultados sobre ngua los, lados y vrtices de las guras del plano. Con esta Geometr de los Moe a vimientos se puede desarrollar toda la geometr clsica, sin necesidad de usar a a resultados de tipo terico sobre la congruencia de guras planas. o Otro aspecto importante a considerar, es la aplicacin de la Teor de Grupos o a en la Geometr dirigido hacia el estudio de las simetr de una gura. Un hecho a, as crucial en toda esta teor es que a el conjunto G(R 2 ) de los movimientos del plano, a se le puede dotar de una estructura algebraica. Al aplicar dos movimientos T 1 y T2 en forma consecutiva, el resultado T2 T1 es otro movimiento. Esta ley de composicin de movimientos, induce una Operacin Binaria sobre G(R2 ) que origina una o o estructura de grupo. Un Grupo es un conjunto no vac G, en donde se dene una operacin binaria, o o denotada por , la cual satisface: 1. Para todo par de elementos a y b en G se tiene que a b pertenece a G. 2. Para a, b y c en G se tiene a (b c) = (a b) c). 3. Existe un elemento en G, denotado por e, llamado elemento neutro o identidad, el cual satisface a e=e a=a para todo a en G.
.M
at
em
at ic
a1
.c
om
5.2. TRANSFORMACIONES EN EL PLANO COMPLEJO
79
4. Para todo elemento a de G, existe otro elemento, llamado el inverso y denotado por a1 , que satisface a a1 = a1 a = e . La idea de introducir los movimientos en el plano, desde el punto de vista de la teor de grupos, ha sido una de las ms fruct a a feras en matemticas y se debe a los trabajos del matemtico alemn August Ferdinand Mbius( 1790-1868) en a a o 1827, donde se estudiaban los conceptos de congruencia, similaridad y anidad, como objetos invariantes bajo las transformaciones continuas que preservan longitudes. Pero fue el gemetra alemn, Felix Christian Klein(1849-1925), quien dio la o a conexin precisa entre grupos y geometr en su famoso Programa de Erlanger en o as 1872. En aquella poca se hab descubierto otros tipos de geometr distintas a la e a a, de Euclides, en donde el quinto axioma referente a las rectas paralelas, era sustituido por otro. El tipo de geometr depend del concepto de la mtrica o distancia entre a a e dos puntos. En el caso de la geometr de Euclides, la distancia entre dos puntos a P (x1 , y1 ) y Q(x2 , y2 ), viene dada por la frmula o
As pues, al tomar otras mtricas, surgieron la geometr hiperblica y la geometr e a o a proyectiva. La idea de Klein fue asignar a cada geometr un grupo de transformaa ciones que dejara invariantes las distancias. De esta manera se unic el concepto o de geometr y adems, se pudo clasicar las propiedades de las guras, usando los a, a poderosos mtodos de la teor de grupos. Entre estas propiedades encontramos el e a concepto de simetr Una gura plana se dice que es simtrica si al moverla a otra a. e posicin distinta, coincide consigo misma. El estudio de las simetr se hace a travs o as e del grupo de movimientos del plano que dejan la forma invariante. Por ejemplo, un cuadrado con centro en el origen y lados paralelos a los ejes coordenados es invariante bajo la rotacin R(z) = iz y la reexin D(z) = z. Estas dos transformaciones o o generan un grupo de 8 elementos, el cual nos da todas las simetr del cuadrado. as
5.2.
Transformaciones en el plano complejo
Una Transformacin del Plano Complejo, es una funcin biyectiva o o f : C C.
.M
(x2 x1 )2 + (y2 y1 )2
at
em
at
ic a
1. co
80
Para estudiar el efecto de una transformacin sobre los puntos del plano, se acostumo bra a considerar las imgenes de ciertos conjuntos especiales como l a neas, c rculos, tringulos, cuadrados,...,etc. y observar las modicaciones que ellos sufren. a Por ejemplo, la transformacin T (z) = z 2 , deja jo al c o rculo |z| 1. Al c rculo |z| 2, lo env en elc a rculo |z| 4. Qu transformaciones sufren las rectas? Esto e depende de la posicin de las mismas. La recta y = x la es enviada en el eje Y . o Sin embargo, la aplicacin deforma las rectas horizontales, de la forma Y = c en o parbolas del tipo a y 2 c2 x= 2c Si usamos la notacin de Euler para expresar al complejo z, podremos apreciar an o u mejor el efecto de la transformacin. Haciendo z = |z|ei , tendremos o Z 2 = |Z|2 ei2
2. Rotacin y contraccin en el interior del c o o rculo de radio 1, (|Z| < 1) 3. Rotacin y dilatacin en el exterior del c o o rculo de radio 1, (|Z| > 1)
5.3.
Movimientos R gidos
De ahora en adelante, concentramos nuestra atencin en aquellas transformacioo nes del plano complejo que preservan las formas de las guras geomtricas. Esto nos e conduce a la siguiente denicin: o Denicin: Un movimiento r o gido en el Plano Complejo, en una transformacin o T : C C tal que para cualquier par de nmeros complejos z1 y z2 se tiene u |T (z1 ) T (z2 )| = |z1 z2 | Es decir, la distancia entre z1 y z2 es igual a la distancia entre T (z1 ) y T (z2 ).
1. Rotacin en la circunferencia de radio 1 y centro en el or o gen, (|Z| = 1)
.M
at
En denitiva, tendremos que T es
em
at
ic
a1 .
Esto es, la transformacin hace girar al segmento que une a Z con el or o gen y adems, a la longitud del mismo es elevada al cuadrado.
co m
5.3.
MOVIMIENTOS R IGIDOS
81
Ms adelante, veremos como esta sencilla condicin nos garantizar que la transa o a formacin no deforma a las guras, sino que las mueve a otro lugar del plano, y o de all en nombre de movimiento r gido. Estas transformaciones tambin reciben el e nombre de Isometr del Plano. Las isometr ms importantes son: as as a las traslaciones las rotaciones las reexiones los deslizamientos. Estudiaremos cada una de ellas en detalle, pero antes necesitamos algunos resultados de carcter general sobre las isometr a as 1.Toda isometr preserva los tringulos. En efecto, sea T una isometr y a a a un tringulo de vrtices A, B y C, entonces probaremos que dicho tringulo es a e a congruente al tringulo T (), de vrtices T (A), T (B) y T (C). Ver la gura a e
.M at
em at
ic
a1
.c om
w w
T (A) T (B)
w
T
T (C)
Entonces, por ser T una isometr tenemos la igualdad entre los lados a, c = |A B| = |T (A) T (B)| = c b = |A C| = |T (A) T (C)| = b a = |B C| = |T (B) T (C)| = a Sabemos que dos tringulos son congruentes si sus lados correspondientes son iguales. a Con esto concluye la demostracin. o No podemos armar que todos los ngulos correspondientes tengan el mismo a signo. Por ejemplo, si llamamos al ngulo del vrtice A, y al ngulo del vrtice a e a e T (A), se tendr, usando la Ley de los Cosenos: a
82
c2 + b2 a 2 = cos 2bc luego se tiene que cos = cos , y de esta igualdad se deduce que = o bien = . En el segundo caso para llevar un tringulo sobre el otro, de tal forma que a coincidan, hay que salirse del plano. cos = 2. Todo movimiento r gido del plano est completamente determinado a por su efecto sobre los vrtices de un tringulo. Para probar esta armacin, e a o sean T1 y T2 dos isometr y A, B y C tres puntos no alineados, tales que as, T1 (A) = T2 (A) T1 (B) = T2 (B) T1 (C) = T2 (C) Deseamos probar que T1 (P ) = T2 (P ), para todo P nmero complejo. Para probar u esto, notemos que todo punto punto P del plano, queda determinado de manera unica, al conocer sus distancias a tres puntos no alineados. En el dibujo, P y P son los unicos puntos que se encuentran a la distancia d1 de A y d2 de B respectivamente. Al conocer d3 , la distancia a C, elegimos a alguno de los dos. De esta manera, queda el punto P completamente determinado.
C P
6
d1
w .M
at em
at
ic
a1
B
.c
A
7
Sean entonces d1 , d2 y d3 , las distancias desde T1 (P ) hasta los tres puntos T1 (A),
om
d2
5.4. TRASLACIONES T1 (B) y T1 (C). Usando la propiedad de isometr de T1 , se tiene entonces a d1 = |T1 (P ) T1 (A)| = |P A| d2 = |T1 (P ) T1 (B)| = |P B| d3 = |T1 (P ) T1 (C)| = |P C|
83
Por otro lado, sean c1 , c2 y c3 las distancias desde T2 (P ) hasta los mismos puntos. Luego, por la hiptesis, se tendr que d1 = c1 , d2 = c2 y d3 = c3 . Por lo tanto se o a tiene que T1 (P ) = T2 (P ). En consecuencia los movimientos son iguales.
5.4.
Traslaciones
.c om
Si v es un nmero complejo, entonces la transformacin u o
se llama Traslacin generada por v. o Toda traslacin lleva el plano complejo en s mismo, siendo la imagen de un o nmero complejo z, el trasladado z + v. ( ver la gura) u
w w
.M
Tv (z) = z + v
at em
at ic a1
Tv : C C,
(5.1)
z
8
z+v
84
En una Traslacin del Plano, determinada por v, todo nmero es enviado a una o u distancia |v| en la direccin del segmento que une a v con el or o gen. Es claro que toda traslacin es es un movimiento r o do, pues si Z1 y Z2 son nmeros complejos, u se tendr: a |Tv (Z1 ) Tv (Z2 )| = |(Z1 + v) (Z2 + v)| = |Z1 Z2 | Ejemplo1. Sea v = 1 + i, y z = 4 3i, entonces la traslacin T1+i env a z en o a el nmero u T1+i (z) = (1 + i) + (4 3i) = 5 2i Ntese que, que si a z se le resta su imagen, entonces se obtiene el nmero v. o u Entonces toda traslacin queda determinada completamente al conocer la imagen de o un slo elemento. Por esta razn podemos decir que las traslaciones son las isometr o o as ms sencillas que podemos construir. a Ejemplo 2. La transformacin identidad, que env todo nmero complejo en o a u s mismo, denida por I(z) = z, es un movimiento r gido del plano que deja igual a todos los puntos. Cul es el efecto de aplicar una traslacin Tv a un tringulo? a o a Sea A el tringulo de vrtices 0, u = 2 y w = i ( ver la gura) a e
.M
w T (A) A 0 u
Las imgenes de cada uno de los vrtices son a e T (0) = 1 + i, T (2) = 3 + i, T (i) = 1 + 2i
at em
Tv
at
ic
a1
.c o
5.4. TRASLACIONES
85
Vemos que T (A) es un tringulo congruente con A y adems los lados correspondiena a tes, de ambos tringulos, son paralelos. Podemos imaginar el efecto de una traslacin, a o como un movimiento del plano en una direccin ja, semejante a la accin de mover o o una hoja de papel en dicha direccin. o Cuando se tienen dos traslaciones Tz y Tv , entonces podemos aplicar una a continuacin de la otra, para obtener otra traslacin. En efecto, si w es cualquier o o nmero complejo, se obtiene: u
Tz Tv (w) = Tz (Tv (w)) = Tz (v + w) = w + (z + v) = Tz+v (w) Luego se tiene la formula de composicin para las traslaciones o
(5.2)
o sea z + (Tz )1 (w) = w de donde (Tz )1 (w) = z + w por lo tanto, hemos probado la importante relacin entre una traslacin y su inversa: o o
Tz (Tz )1 (w) = w
Cul es la transformacin inversa de una traslacin? a o o Si Tz es una traslacin, entonces su inversa es la transformacin (Tz )1 , tal que o o al componerla con la primera nos da la identidad como resultado. Sea w un nmero u complejo. Tendremos entonces
.M
1 Tz = Tz
at em
at
ic
a1
.c
om
Tz Tv = Tv+z
(5.3)
(5.4)
Hemos visto como se dene una operacin de composicin, en el conjunto de los o o movimientos del plano. Es posible probar que el conjunto de movimientos del plano, bajo esta ley de composicin es un grupo. Dentro de este gran grupo, tenemos un o subgrupo dado por las traslaciones.
86
5.5.
Rotaciones
Veamos cmo podemos expresar ahora una rotacin del plano complejo, con o o centro de rotacin en a y ngulo de rotacin igual a . o a o Llamaremos R = Ra, a dicha transformacin. Veamos en primer lugar, cmo se o o obtiene una frmula expl o cita para la rotacin de ngulo , con centro de rotacin o a o en 0. Usaremos la forma de Euler, para representar a los nmeros complejos, por ser u la ms conveniente cuando se trabaja con los ngulos. a a i es un n mero complejo, entonces se tiene: Si z = |z|e u ei z = |z|ei ei = |z|ei(+) Luego el radio vector del complejoei z es igual al radio vector de z, el cual se ha rotado un ngulo . Esto es precisamente lo que andbamos buscando. Por lo tanto a a se tiene
at e
R(z) z = |z|ei
w .M
at
ic
Ver la gura
a1
.c om
R0, (z) = ei z
(5.5)
x Si queremos ejecutar una rotacin del plano complejo en un ngulo , con el eje o a de rotacin situado en un punto cualquiera a, entonces en primer lugar, debemos o trasladar el centro de rotacin hasta 0, luego hacer la rotacin con el mismo nguo o a lo, y nalmente, devolvernos hasta a. Este proceso lo podemos hacer mediante la composicin o Ra, = Ta R0, Ta (5.6)
5.6. ROTACION DE EJES Si z es un nmero complejo cualquiera, entonces u Ra, (z) = Ta R0, (Ta (z)) = Ta R0, (a + z) = Ta ei (a + z) = ei (a + z) + a = ei .z + (ei (a) + a)
87
Por lo tanto, hemos derivado una expresin para la rotacin con centro en a y o o a ngulo , la cual viene dada por:
Toda Rotacin de ngulo con centro en a, se descompoo a ne como una rotacin del mismo ngulo, con centro en 0, o a seguida de una traslacin o
5.6.
Rotacin de ejes o
Cualquier nmero complejo escrito en forma cartesiana u z = a + bi se dice que viene representado como una combinacin lineal de los complejos 1 e i. o Se dice entonces que el conjunto {1, i} es una Base para generar todos los nmeros u complejos. Si sobre el plano complejo efectuamos una rotacin R = R0, , de ngulo y o a centro de rotacin en 0, entonces los elementos 1 e i se transforman respectivamente o en R(1) = ei 1 = ei = v1 R(i) = ei i = ei+ 2 = v2
ver la gura
.M at
em
at
La frmula anterior se interpreta de la siguiente manera: o
ic
a1
Ra, (z) = ei .z + a(1 ei )
.c o
(5.7)
88 y
v2
v1
em
at
ic a1
z = c 1 v1 + c 2 v2 = c1 ei + c2 ei+ 2
.c
om
Si ahora z es cualquier nmero complejo Cul es la expresin de z como comu a o binacin lineal de v1 y v2 ? o Supongamos que
Luego
Por lo tanto, basta con calcular la parte real y la parte imaginaria de z e i para hallar c 1 y c2 Ejemplo Sea z = 5 + 2i, y consideremos la rotacin de los ejes en un ngulo o a = 300 . Cmo se calculan las componentes de z en funcin de la base v1 = ei y o o v2 = ei+ 2 ?. Se tiene entonces z ei = (2 + 5i)(cos300 + isen300 ) 3 1 ) = (2 + 5i)( 2 2 5 3 = ( 3 + ) + (5 1)i 2 2 Luego podemos escribir 5 i 3 1)ei+ 2 . z = ( 3 + )e + (5 2 2
z ei = c1 + c2 i
.M
at
5.7. REFLEXIONES Y DESLIZAMIENTOS
89
5.7.
Reexiones y deslizamientos
Existen otros movimientos del plano que no son reexiones ni rotaciones. Por ejemplo, la transformacin conjugada en el plano complejo o T : C C es una isometr pues preserva las distancias. En efecto, si z1 y z2 son dos nmeros a, u complejos, se tiene |T (z1 ) T (z2 )| = |z1 z2 | = |z1 z2 | z Z
2. El eje real corta a este segmento en su punto medio Ntese que todos los puntos de la recta real permanecen jos bajo esta o transformacin. El nmero T (z), se llama la imagen reejada de z. (Ver la o u gura.) z
@
1. El segmento que une a z con T (z) es perpendicular al eje real.
.M
La transformacin conjugada, es un buen ejemplo de una reexin, en este caso, o o alrededor del eje real. Podemos dar una descripcin ms precisa de lo que es una o a reexin T alrededor del eje real, observando algunas de sus caracter o sticas fundamentales. Si z es un nmero complejo, entonces se tiene u
at
em
z
9
at
ic
a1
Eje real
.c
om
= |z1 z2 |.
90
Si L es cualquier recta en el plano, denotaremos por RL , la reexin alrededor de L, o la cual se caracteriza por lo siguiente: 1. RL deja jo a todos los puntos de L. 2. Si z no est sobre L, entonces RL (z) es la imagen reejada de z. a (Ver la gura)
.M
at
em
at
ic
a1
.c
Cmo se obtiene una expresin para RL (z), donde z es un nmero complejo? Deu o o bemos considerar dos casos, dependiendo de la posicin de L. o Caso I. La recta L pasa por el origen. En primer lugar, procedemos a rotar la recta en un ngulo , en sentido negativo, para llevarla sobre el eje real. De esta a forma se obtiene el transformado ei , luego hallamos su reexin sobre el eje real o y sto nos da el nmero ei = ei z. Finalmente, volvemos a colocar la recta L en e u su posicin original, mediante una rotacin positiva de ngulo , lo cual nos da la o o a imagen de z como RL (z) = ei (ei z) = ei2 z Caso II. La recta L no pasa por el origen. En este caso, consideramos al punto P sobre L, ms cercano al origen ( ver la gura) a
om w
z
RL (z)
91
L L
C
Entonces, sea la recta L que pasa por el origen y es paralela a L. Si ahora z es cualquier nmero complejo, para calcular la imagen RL (z), procedemos de la manera u siguiente: Primero aplicamos la traslacin TP para llevar la recta L sobre L . Luego o ejecutamos la reexin, como se hizo en el caso I. Finalmente, restituimos la recta o a su lugar, mediante la traslacib TP . Por lo tanto o
RL (z) = TP RL TP (z) = TP RL (z P ) = TP (ei2 z P )
= (ei2 (z P ) + P
w w
w .M
at
em
at
Obsrvese que el segmento OP es perpendicular a la recta L y por lo tanto podemos e hacer P = aei(+ 2 ) , donde a = |P |.
ic
a1
.c
om
= ei2 z + a(ei( 2 ) + ei(+ 2 ) ) = ei2 z + 2P
= (ei2 (z aei(+ 2 ) ) + aei(+ 2 )

Finalmente, la frmula para la reexin en este caso viene dada por o o
RL (z) = ei2 z + 2P
(5.8)
92
Veamos ahora que tipo de movimiento se obtiene al aplicar dos reexiones en forma consecutiva. Llamaremos RL1 yRL2 al par de reexiones. Tendremos dos casos I) La recta RL1 es paralela a la recta RL2 . Sea L una recta que pasa por el origen con ngulo de inclinacin . Sean P1 y P2 los puntos ms cercanos de RL1 ( a o a respectivamente RL2 ) al origen. Luego se tendr a RL1 = TP1 RL TP1 (z) RL2 = TP2 RL TP2 (z) Sea z un nmero complejo y calculemos su imagen bajo RL2 RL1 . Se tiene entonces u RL2 RL1 (z) = RL2 (TP1 RL TP1 (z) = RL2 (ei2 z + h1 ) = ei2 (ei2 z + h1 ) + h2 donde h1 = P1 ei2 P1 yh2 = P2 ei2 P2 . Hemos probado entonces: Es decir, la composicin de dos reexiones de rectas paralelas es igual a una o traslacin o II) Si L1 no es paralela a L2 , entonces sus ngulos de inclinacin y son a o distintos. Sean P y Q los puntos de L1 y L2 , respectivamente, ms cercanos al a origen. Entonces , si z es un nmero complejo, se tiene: u RL2 RL1 (z) = RL2 (ei2 z + 2P ) = ei2 (ei2 z + 2P ) + 2Q = ei2() z + 2(ei2 + Q) Luego el producto de dos reexiones, no paralelas, es igual a una rotacin. Es decir o RL2 RL1 (z) = Rz0 , El centro de rotacin z0 se calcula o z0 (1 ei2() ) = 2(ei2 P + Q) Veamos ahora a continuacin que tipo de movimiento se obtiene al aplicar una o reexin seguida de una traslacin. Sea RL una reexin con eje L, de ngulo , y Tv o o o a (5.10)
.M
RL2 RL1 = Th1 +h2
em
at
ic
a1
.c
om
= z + h 1 + h2
at
(5.9)
93
una traslacin. Tomemos z un nmero complejo cualquiera y hagamos T = Tv RL . o u Luego se tiene T (z) = Tv (ei2 z + 2P ) = ei2 z + 2P + v Por lo tanto T (z) = ei2 z + 2P + v En la ecuacin de arriba podemos hacer P = |P |e o complejo v como una combinacin lineal de ei y e o v = aei + bei(+ 2 ) , donde a y b son nmeros reales. u Volviendo a la frmula se tiene o T (z) = ei2 z + 2|P |ei(+ 2 ) + aei + bei(+ 2 ) b = ei2 z + 2(|P | + )ei(+ 2 ) + aei 2 Si el complejo v es perpendicular a la recta L, entonces a = 0 y por lo tanto
b T (z) = ei2 z + 2(|P | + )ei(+ 2 ) 2 En este caso se tiene que T es una reexin. Si v no es perpendicular, entonces o a = 0 y por lo tanto T es una reexin seguida de una traslacin en la direccin de o o o la recta L. En efecto, podemos hacer
(5.11) . Si descomponemos al , se obtiene
i(+ ) 2 i(+ ) 2
b donde P = (|P | + 2 )ei(+ 2 ) y v = aei Este tipo de movimiento se llama un Deslizamiento. (Ver la gura)
T (z) = ei2 z + 2P + v = RL Tv (z)
.M
at em at
P
D
ic
a1
.c om
94
A manera de resumen, damos aqu los cuatro tipos de movimientos ya estudiados, a saber:
1. Traslaciones
2. Rotaciones
3. Reexiones
4. Deslizamientos
.M
Los dos primeros ( Rotaciones y Traslaciones) se llaman Movimientos Directos, pues no cambian el sentido de los ngulos. Veamos el por qu. Si T es un a e movimiento directo, A es un tringulo y es uno de sus ngulos, entonces tendrea a mos el tringulo T (A), el cual es una copia del anterior. Entonces el mismo ngulo a a , en T (A) tiene igual sentido al de en A. (Ver la gura)
at
em
at
ic
a1
.c om
A T
T (A)
Supngase que se tiene un tringulo de cartulina colocado sobre el plano, y o a se quiere aplicar un movimiento, solamente al tringulo. Entonces para ejecutar a un movimiento directo, desplazamos al tringulo sobre el plano, sin necesidad de a voltearlo. Las reexiones y deslizamientos son Movimientos Inversos. Si S es un movimiento inverso aplicado sobre un tringulo A, entonces en la imagen S(A), los a a ngulos correspondientes tienen sentidos opuestos ( Ver la gura)
95
A S
S(A)
El conjunto de TODAS las composiciones T1 T2 de todos los movimientos, tanto directos como inversos, se denota por G(R2 ) y es un grupo, como ya se ha dicho. Este se llama Grupo af del plano Euclideano. n
Se puede demostrar que todo movimiento r gido del plano es igual a T1 T2 , donde T1 y T2 son alguno de estos cuatro movimientos. Para demostrar esta armacin, o tomemos un tringulo en el plano, de vrtices A, B y C y veamos que posibilidades a e se pueden tener para un movimiento T.
1) T deja jo tres punto no alineados. En este caso T es la identidad, pues deja jo a un tringulo. a
2)T deja jo dos puntos. En este caso T deja jo a una recta L que contiene a estos dos puntos y por lo tanto T es la identidad o una reexin ( Ver la gura ) o
.M
at
em
at
ic
a1
.c
om
Cuando se efecta un movimiento inverso sobre un tringulo de cartulina, enu a tonces es necesario voltearlo (y salirse del plano) para obtener la imagen.
96
T (B) C
Supongamos que T deja jo a la recta L que contiene al lado AC. Entonces, como T preserva las distancias existen slo dos posibilidades para T (B). Si T (B) = B, T o es la identidad. Si T (B) = B, entonces T es una reexin. o
3) T deja jo un unico punto. En este caso T es una rotacin. Supongamos o que T ja al punto A del tringulo, es decir T (A) = A. Como T es un movimiento a r gido, preserva las distancias y los ngulos. Luego se tiene BAT (B) = CAT (C) = a (ver la gura). Hemos demostrado entonces, que cualquier recta L que pasa por A es enviada en otra recta T (L) que pasa por A y forma un ngulo con la anterior. a Por lo tanto T es una rotacin con centro en A y ngulo de rotacin . o a o
.M
at
em
at
ic
a1
.c om
97
T (C)
T (B) C
co
4) T mueve todos los puntos del plano. Cuando movemos el tringulo , a ubicamos el segmento T (A)T (C), el cual tiene la misma longitud que el segmento AC. ver la gura
.M
at em at
ic a
1.
A T
T (B) T (A)
T (C) B C T (B)
Al conocer las posiciones de T (A) y T (C), nos quedan slo dos posibilidades o para ubicar el punto T (B). Si T (B) se encuentra en la parte de arriba, entonces T es una traslacin seguida de una rotacin. Si T (B) est hacia abajo, entonces T es o o a un deslizamiento seguido de una rotacin. o
98
Ejercicios
1. Probar que todo movimiento r gido del plano, que deja jo los puntos A y B, ja todos los puntos de la recta que contiene a A y B. 2. Sea R- rotacin, T - traslacin y D- reexin. Decir que tipo de movimientos o o o son los siguientes: RT
T R
RR
R D. D R.
3. Demuestre que el conjunto de todas las rotaciones del plano, con centro en un punto jo a es un grupo. 4. Demuestre que todo movimiento del plano se puede expresar como una traslacin, seguida de una rotacin y luego una reexin. o o o 5. Hallar la imagen del tringulo de vrtices (0,0), (0,1) y (3,0) bajo la reexin a e o con eje L, dada por la recta y+x2=0 6. Determine la frmula de una rotacin que deja jo al punto (1,2), y con ngulo o o a 0 . hallar la imagen de 3 + 2i bajo esta rotacin. de rotacin = 30 o o
T D.
.M
at
D T.
em
at ic
D D.
a1 .
R D.
co m

Manual Complejos

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Manual Complejos

Caricato da

Copyright:

Formati disponibili

INDICE GENERAL Introduccin o La magia poderosa de los n meros complejos u

Historia de los Nmeros u Complejos

CAP ITULO 1. HISTORIA DE LOS NUMEROS COMPLEJOS

CAP ITULO 1. HISTORIA DE LOS NUMEROS COMPLEJOS

conocida como Frmula de Scipione del Ferro-Tartaglia-Cardano o

CAP ITULO 1. HISTORIA DE LOS NUMEROS COMPLEJOS

siendo n un nmero natural. u

1.4. NUMEROS IMAGINARIOS

CAP ITULO 1. HISTORIA DE LOS NUMEROS COMPLEJOS y z = a + bi

Algebra de los Nmeros u Complejos

Un N mero Complejo es una expresin del tipo u o

Denicin de n mero complejo o u

CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS

2.2. SUMA DE NUMEROS COMPLEJOS

Suma de n meros Complejos u

CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS

3. Propiedad Conmutativa. Si Z y U son nmeros complejos, se tiene u

CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS

PRODUCTO DE NUMEROS COMPLEJOS

Producto de n meros complejos u

Ejemplo. Sean Z = 6 + 2i y W = 3 + 5i. Para hallar Z W hacemos

PRODUCTO DE NUMEROS COMPLEJOS

Ejemplo. Sea Z = 3 + 4i, para hallar su mdulo hacemos o |Z| = 3 2 + 42 = 9 + 16 = 25 = 5.

CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS

PRODUCTO DE NUMEROS COMPLEJOS

para los nmeros complejos Z = 1 5i y W = 2 + 4i u

5. Hallar un nmero complejo Z, tal que u

CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS

2.4. REPRESENTACION GEOMETRICA

CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS y

2.4. REPRESENTACION GEOMETRICA y Z = a + bi

CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS y Z = a + bi

Suma geomtrica de complejos e

Tenemos luego la interpretacin geomtrica del conjugado de un complejo Z: o e

2.4. REPRESENTACION GEOMETRICA y

CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS y Z = a + bi

2.5. LA FORMA POLAR

CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS

2.5. LA FORMA POLAR y

Solucin. Calculamos el mdulo y el ngulo usando 2.4. o o a |W | = (3)2 + 42 = 25 = 5.

Ejemplo. Un n mero complejo en el segundo cuadrante. Hallar la Forma u Polar de W = -3 + 4i .

CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS y Z = 3 + 4i

Ejemplo. Un n mero complejo en el tercer cuadrante. Hallar la forma u polar de Z = -3 -4i .

Luego la forma polar de W es

2.5. LA FORMA POLAR y x

Solucin. En primer lugar, calculamos su mdulo y su ngulo o o a |W | = 12 + (2)2 = 5

Ejemplo. Un n mero complejo en el cuarto cuadrante. Hallar la Forma u Polar de W = 1 -2i.

CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS y 296,550 1 x

Potencias y ra ces de n meros complejos. u

2 Z = (cos(95o 26o ) i sen(95o 26o )) W 3

Z 6 = 56 (cos(6 53,13o ) + i sen(6 53,13o ))

calculamos ahora Z 6 por intermedio de 2.8

Z 1/3 = 81/3 (cos

Solucin. Usando la frmula 2.9 se tiene o o 30o + 2k 30o = 2k + isen ) 3 3

Ejemplo. Hallar todas las ra ces cbicas de Z = 8(cos30o + isen30o ) u

CAP ITULO 2. ALGEBRA DE LOS NUMEROS COMPLEJOS y W2

Ejemplo. Hallar todas las ra ces sextas de la unidad.

luego hallamos las ra ces sextas por intermedio de 2.9 + i sen 0o + 2k 6

Solucin. Tomamos la representacin en forma polar de 1, la cual viene dada o o

2.6. POTENCIAS Y RA ICES DE NUMEROS COMPLEJOS. y W3

es la funcin g(x) que satisface o i) dg = kg dx (3.3)

da: a0 a1 a2 . . . an = = = = a1 2a2 3a3 (n + 1)an+1

d f (x) = ex = a1 + 2a2 x + 3a3 x2 + + nan xn1 + dx

1 123 an 1 = n+1 (n + 1)!