Professional Documents
Culture Documents
NUMEROS COMPLEJOS
MATH 4_ ITVH
como el nacimiento de la variable compleja. Bombelli puede ser llamado con todo derecho, el padre de los nmeros complejos, pues fue el primero que desarroll el algebra formal para trabajar con las expresiones de la forma a+b -1 , desarroll un clculo de operaciones con nmeros complejos que se ajusta a los que conocemos en la actualidad. Comentar en este punto que comnmente se dice que fue la ecuacin cuadrtica la que forz la definicin de los nmeros complejos. Ren Descartes (Francia, 1596-1650), que bautiz con el nombre de imaginarios a los nuevos nmeros, apunt tambin que toda ecuacin deba tener tantas races como indica su grado, aunque nmeros no reales podan ser alguna de ellas. La sig. referencia destacable data de 1673 con una carta de Christian Huygens (Holanda, 1629-1695) a Gottfried Von Leibniz (Alemania, 1646-1716). En ella expresa la impresin del primero sobre la identidad 1+ -3 1 3 ! 6 que le haba mencionado Leibniz en una carta anterior. Huygens se expresa en los siguientes trminos: Lo que me escribes sobre cantidades imaginarias que, no obstante, cuando son sumadas da una cantidad real, me es sorprendente y totalmente nuevo. Uno nunca creera que esto es cierto y debe haber algo escondido en ello que es incomprensible para m. Leonhard Euler (Suiza 1707-1783) fue el primero en usar la notacin i ! -1 , haciendo adems un uso fundamental de los nmeros complejos al relacionar la exponencial con las funciones trigonomtricas por la expresin e ix ! cos x isenx . Euler se expresaba en los siguientes trminos: Como todos los nmeros imaginables son mayores, menores o iguales a cero, entonces es claro que la raz cuadrada de un nmero negativo no puede ser uno de estos nmeros,[...] y esta circunstancia nos lleva al concepto de tales nmeros, que por su naturaleza son imposibles y ordinariamente son llamados imaginarios o nmeros falsos, porque slo existen en la imaginacin. Incluso en gran Carl Friedrich Gauss (Alemania, 17771856), en cuya tesis doctoral (1797) se daba la primera prueba correcta del Teorema Fundamental del lgebra, apunt a finales de 1825 que la verdad metafsica de
81 144 aunque es
Primeros estudios En 1545, Jerome Cardan (Italia, 1501-1576), un matemtico, fsico y filsofo italiano, publica Ars Magna (El Gran Arte) un tratado monumental acerca de la solucin de las ecuaciones cubica y cuarticas. Esta obra se converta as en el mayor tratado de lgebra desde los Babilnicos, 3000 aos antes, que dedujeron cmo resolver la ecuacin cuadrtica. Para apreciar la dimensin de esta propuesta debe tenerse en cuenta que el concepto de nmeros negativos apenas haba tenido aceptacin, y que aun haba controversia en relacin a sus propiedades. Las cantidades ficticias de Cardan fueron ignoradas por la mayora de sus colegas.. Fue el ingeniero hidrulico Rafael Bombelli (Italia, 1526 - 1572), unos treinta aos despus de la publicacin de la obra de Cardan, quien introdujo un razonamiento que el mismo catalog de un tanto salvaje. As Bombelli daba sentido a las expresiones sin sentido de Cardan. Este razonamiento se convierte por tanto
-1 es elusiva. Esto ilustra en parte que la satisfaccin lgica sobre los nmeros complejos entraba a finales del siglo XVIII ms en el terreno de la filosofa que en el de las matemticas. Todo lo bueno que tuvo la Era de la
Pgina 1
tomada como 144 81 , no sabindose si este error es debido al propio Hern o al personal encargado de transcribirlo. La siguiente referencia sobre esta cuestin se data en el ao 275 en la obra de Diophantus (aprox. 200-284 d.c ) Arithmetica. En su intento de clculo de los lados de un triangulo rectngulo de permetro12 y rea 7, Diophantus plante resolver la ecuacin 336x2 24 ! 172x , ecuacin de races complejas como puede ser comprobado fcilmente. Son los matemticos hindes los que dan las primeras explicaciones a este tipo de problemas. Mahavira, alrededor del ao 850, comenta en su tratado de los nmeros negativos que como en la naturaleza de las cosas una cantidad negativa no es un cuadrado, por tanto no puede tener raz cuadrada. Alrededor de 1150 es Bhaskara quien lo describe de la siguiente forma: El cuadrado de un nmero, positivo o negativo, es positivo; la raz cuadrada de un nmero positivo tiene dos valores, uno positivo y otro negativo; no existe raz cuadrada de un nmero negativo ya que un nmero negativo no es un cuadrado.
MATH 4_ ITVH
Cuando nos referimos a un numero complejo z ! x yi , llamamos a x parte real de z, y la denotamos como Re(z) . El nmero y llamado parte imaginaria de z y se denota por Im(z) . Si x = 0, tendremos z ! yi , entonces se dice que z es un imaginario puro. Los nmeros complejos forman un cuerpo, el cuerpo complejo, denotado por ms si identificamos el nmero real x con el complejo (x, 0), el cuerpo de los nmeros reales aparece como un subcuerpo de . Ms an, forma un espacio vectorial de dimensin 2 sobre los reales. Los complejos no pueden ser ordenados como, por ejemplo, los nmeros reales: no puede ser convertido de ninguna manera en un cuerpo ordenado (La teora del orden es una rama de la matemtica que estudia varias clases de relaciones binarias que capturan la nocin intuitiva del orden matemtico). Los nmeros complejos son una extensin de los nmeros reales, cumplindose que . Los nmeros complejos representan todas las races de los polinomios, a diferencia de los reales. Los nmeros complejos se utilizan en todos los campos de las matemticas, en muchos de la fsica (y notoriamente en la mecnica cuntica) y en ingeniera, especialmente en la electrnica y las telecomunicaciones, por su utilidad para representar las ondas electromagnticas y la corriente elctrica. En matemticas, los nmeros constituyen un cuerpo o campo y, en general, se consideran como puntos del plano: el plano complejo.
En 1833, William Rowan Hamilton (Inglaterra 18051865) da la primera definicin algebraica rigurosa de los complejos como pares de nmeros reales. El 1847 es Agoustin-Louis Cauchy (Francia, 17891857) quien da una definicin abstracta de los nmeros complejos como clases de congruencias de polinomios reales, basndose en las clases de congruencias de enteros dada por Gauss. Ya comenzada la segunda mitad del siglo XIX, las dudas y misterios sobre los nmeros complejos ya han desaparecido, aunque haya textos del siglo XX que an huan de utilizarlos. La presencia de los nmeros complejos en diversas reas de las matemticas en este siglo puede ser clasificada de manera muy genrica de la siguiente forma: 1. ALGEBRA. La solucin de ecuaciones algebraicas motiv la introduccin de los numeras complejos. Estos complejos constituyen por su parte un cuerpo cerrado donde muchos problemas de lgebra lineal y otras reas del lgebra abstracta encontraron solucin. 2. ANALISIS. El siglo XIX fue testigo del desarrollo de una poderossima y bellsima rama de las matemticas, la teora de funciones complejas. Uno de los elementos ms sorprendentes es que la condicin de diferenciable implica la de infinitamente diferenciable, hecho sin anlogo en las funciones reales. 3. GEOMETRIA. Los nmeros complejos introdujeron generalidad y propiedades de simetra en varias ramas de la geometra, tanto en la eucldea como la no eucldea. 4. TEORIA DE NUMEROS. Ciertas ecuaciones diofnticas pueden ser resueltas con el uso de complejos. Hadamard deca que el camino ms corto entre dos verdades en el campo real pasa a travs del campo complejo.
Plano complejo
En matemticas, el plano complejo es una forma de visualizar el espacio de los nmeros complejos. Puede entenderse como un plano cartesiano modificado, en el que la parte real est representada en el eje x y la
Pgina 2
Razn para todas las reas, fue en parte perturbador para esta materia. La representacin geomtrica de los complejos como puntos del plano tiene sus primeras citas en los trabajos de 1797 del noruego Caspar Wessel y en 1806 en los del suizo Jean-Robert Argand. No obstante sera la referencia de Gauss de 1831 la que tendra el impacto suficiente, publica un trabajo en donde expone con toda claridad las propiedades de los nmeros de la forma a + bi, llamados ahora Nmeros de Gauss, y la representacin geomtrica de los mismos. Gracias a la autoridad indiscutible de Gauss, entraron por la puerta grande del templo de las matemticas y ya nadie los podra sacar del lugar preponderante que ocupan dentro del lgebra.
z ! x yi
donde x, y son nmeros reales & el smbolo i se llama unidad imaginaria
i ! 1 i 2 ! 1
MATH 4_ ITVH
parte imaginaria en el eje y. El eje x tambin recibe el nombre de eje real y el y eje imaginario
2.
La resta o sustraccin de dos a mas nmeros complejos es la resta de las partes reales mas la reta de las partes imaginaria, es decir;
El p r o d u c t o m u l t i pl i c a c i n de los n m e r o s c o m p l ej o s se realiza aplicando la propiedad d i s t r i b ut i v a del producto respecto de la suma y teniendo en cuenta que i 2 ! 1 .
! (x1 x2 y1 y2 ) (x1 y2 x2 y1 )i
La divisin de un numero complejo esta dado por:
4.
La suma o adicin de dos a mas nmeros complejos es la suma de las partes reales mas la suma de las partes imaginarias, es decir:
1.3 POTENCIAS DE i,
Pgina 3
MATH 4_ ITVH
1 , i 2 ! 1 y n
2 n
si n es par
i i
i6 i i
7
20
! i
! 1 ! i
i ! i ! i
! 1 ! i
i ! i ! i
! 1
2 2 2 2 2 3 2 3 2 10
27
! i2
i ! i
13
i 55 ! i2 i
100
i 164
i
1154
i 2009
i 3 ! i2 i i
5
! i1 ! i
i
3 1
1
! i
2 2
! i 1 ! i
i 6 ! i2 i
12
! 11 ! 1
1
1
! i
2 6
! 11 ! 1 i ! i 1 ! i
1
i 2009 ! i2
1004
1.4 Forma polar y Exponencial de un Nmero Complejo. Modulo y Argumento Como hemos visto anteriormente el nmero complejo lo podemos representar geomtricamente en el diagrama de Argand o plano complejo. Debido a esta representacin, el numero complejo z ! x yi , que dijimos se llama la forma binomial, ahora tambin puede recibir el nombre de forma rectangular. Esta forma es particularmente conveniente cuando se desea distinguir entre la representacin rectangular, polar o exponencial de un numero complejo.
Eje imaginario
i ! 1
1 si n es i par
x ! r cos U, As
y ! rsenU
i ! i ! i
! 1 ! i
! 1 ! i
! 1 ! i
i ! i
27 2 50 2 82 2 577 2 1004
El numero r se llama modulo de z y se denota como z . El ngulo polar que une a z con el origen y el eje x positivo se llama argumento de z y se denota como arg (z).
Eje imaginario Modulo
z ! r(cos U isenU )
y=rsenU
U Argumento
x=rcosU
Eje real
As
r ! z ! x2 y 2
y U ! arg(z) ! tan1 x
e i U ! cos U i senU
z ! x iy ! r(cos U isenU ) ! re
iU
A la ltima expresin se le conoce como forma exponencial de un nmero complejo. Concluyendo el nmero complejo se puede expresar de las siguientes formas:
Forma rectangular Forma polar Forma exponencial
z = x+yi
z ! x iy
z ! rcisU
z ! reiU
Eje real
Pgina 4
MATH 4_ ITVH
Teorema. El producto de dos nmeros complejos es el producto de sus mdulos y el producto de los argumentos es igual a la suma de sus argumentos. Es decir, sean
9.
z v ! z v 10. z z v ! z z v
12.
z ! z ! z
2
13. z z ! z
i U2
III. Grafique y calcule el modulo y el argumento. Exprese el nmero complejo en forma polar.
14.
z ! 3 3i 3 i
z !1 3i
15. z ! 16.
Corolario. El producto de tres o ms nmeros complejos es igual al producto de sus mdulos de los factores y el argumento del producto es igual a la suma de los argumentos de los factores. Cociente o divisin de nmeros complejos en la forma polar o exponencial. Teorema. El cociente de dos nmeros complejos es igual al modulo del dividendo dividido entre el modulo del divisor, y el argumento es igual al argumento del dividendo menos la del divisor. Es decir, sean
17. z ! 3 3 3 3 i 18.
z ! 2 3 2i
z ! 2 2i 3 1 z! i 2 2 z ! 4 3 1 z! i 2 2 z ! 4i
cos 1 T 2
z ! 4 cis 11 T 6
i U2
V. Calcular z1 z 2 y
34.
z1 ! 3cis41o z 2 ! 2cis20 o
39.
z1 ! 7cis82 o z 2 ! 2cis31o z1 ! 6cis132 o z 2 ! 3cis93 o z1 ! 5 cis52 o z 2 ! 4cis83 o z1 ! 3cis67 o z 2 ! 2cis97 o z1 ! 5cis33 o z 2 ! 2cis57 o
35.
z1 ! 2cis 5 T 4 z 2 ! 8 cis 7 T 4
z1 ! 1 cis100 o 2 z 2 ! 10cis50 o
1 z 1 ! 5 cis 6 T
40.
36.
41.
2.
3 i
i
2
253
5.
1 1
i i i 1 1i
6.
2 5i
i 1 i
2 3i
(2 i )
219
II. Si z1 ! 4 3i , z 2 ! 12 5 i
7. 8.
z v ! z v z v ! z v
3.
i 4 i 9 i 16 i i 10 i 1
11.
z ! z
Pgina 5
1.
1i i i 1 i 3 i i 357
4.
i i i i i 10 i 1
4 9 16
37. 38.
z 2 ! 3 cis 1 T 3 z 1 ! cis T
1 z 2 ! 2 cis 2 T
42.
43.
20 o 4 100 o
MATH 4_ ITVH
races. Se puede obtener con facilidad la potencia de un nmero complejo mediante la repetida aplicacin de la frmula del producto. Por ejemplo:
8.
x iy x iy
! re iU
! r 2 e i 2U ! r 2 cis 2U
2
3 i 15 2 z! i 13
! re
iU 3
!r e
3 i 3U
! r cis3U
3
9.
1 3i 11 1 15 z ! 2 i z ! 3 i
Teorema Moivre
Sea z y n entonces:
10.
1 i 3
z ! 1 i
3 i
4 6 3
z n ! x iy
! rcisU
! r n cisnU
n n
Ejemplo: Calcule 1 i
10
z ! rcisU z m !
10
z m ! r m cis 0 o mU
z m ! r m cis m
Ejemplo. Calcule
finalmente
1 i
! 32 i
10
Ejercicios: Calcule
1. 2.
3 i
1 i 3
4
2cis30
6 2 cis120
4 6
z ! 1 i
4.
z ! 3 4 i
4 4
z ! 3 i z ! 3 i
5. 6.
z ! 2 2 i
z!
3 2 3i
10
3.
7.
1 3i 45 2 z! i 27
Pgina 6
MATH 4_ ITVH
w !z.
n
Por ejemplo: Si w ! z ,
2
w2
entonces
w ! z1 2 ! z w ! z1 3 ! 3 z
w3
r ! 2 1 10
w0 x
Si w ! z , entonces
3
y as sucesivamente. El siguiente teorema muestra cmo encontrar las races n-simas de un nmero complejo. Teorema: Para n entero positivo mayor que 1, se tiene que :
w4
U k 2T w k ! z 1 n ! r 1 n cis n
con k ! 0 , 1, 2 ,K n 1 son las races n-simas de z distintas. Ejemplo. Determine
5 5
1 3i 1 i 1 3i 1 3 i
6. 7.
1 i
5 4
3
4 4 3 i 2 3 i 1 i
2
3.
8.
1i
4.
4
9. 10.
2
5
3 2i
13
15
5.
1 i 1 3
3 i
45 r 0 360r 1 10 w0 ! 2 cis ! 2 cis 9 r 5 45r 1 360r 1 10 w1 ! 2 1 10 cis ! 2 cis 81r 5 45 r 2 360r 1 10 w 2 ! 2 1 10 cis ! 2 cis153r 5
1 10
1. 2. 3. 4.
x3 x2 x3 x5
!1 ! 16 i ! 64 !i
5. 6. 7. 8.
x2 x4 x3 x6
! 25i ! 16 ! 27 i ! 1
45r 3 360r 1 10 w3 ! 2 1 10 cis ! 2 cis 225 r 5 45r 4 360r 1 10 w 4 ! 2 1 10 cis ! 2 cis 297 r 5
Pgina 7