Los n�meros complejos son una extensi�n de los n�meros reales y forman un cuerpo

algebraicamente cerrado.1? El conjunto de los n�meros complejos se designa con la

notaci�n {\displaystyle \scriptstyle \mathbb {C} } \scriptstyle {\mathbb {C}},
siendo {\displaystyle \scriptstyle \mathbb {R} } \scriptstyle {\mathbb {R}} el
conjunto de los n�meros reales se cumple que {\displaystyle \scriptstyle \mathbb
{R} \subset \mathbb {C} } \scriptstyle {\mathbb {R}}\subset {\mathbb {C}}
( {\displaystyle \scriptstyle \mathbb {R} } \scriptstyle {\mathbb {R}} est�
estrictamente contenido en {\displaystyle \scriptstyle \mathbb {C} } \scriptstyle
{\mathbb {C}}). Los n�meros complejos incluyen todas las ra�ces de los polinomios,
a diferencia de los reales. Todo n�mero complejo puede representarse como la suma
de un n�mero real y un n�mero imaginario (que es un m�ltiplo real de la unidad
imaginaria, que se indica con la letra i), o en forma polar.

Los n�meros complejos son la herramienta de trabajo del �lgebra, an�lisis, as� como
de ramas de las matem�ticas puras y aplicadas como variable compleja, ecuaciones
diferenciales, facilita el c�lculo de integrales, en aerodin�mica, hidrodin�mica y
electromagnetismo entre otras de gran importancia. Adem�s, los n�meros complejos se
utilizan por doquier en matem�ticas, en muchos campos de la f�sica (notoriamente en
la mec�nica cu�ntica) y en ingenier�a, especialmente en la electr�nica y las
telecomunicaciones, por su utilidad para representar las ondas electromagn�ticas y
la corriente el�ctrica.

En matem�ticas, estos n�meros constituyen un cuerpo y, en general, se consideran

como puntos del plano: el plano complejo. Este cuerpo contiene a los n�meros reales
y los imaginarios puros.

�ndice
1 Historia
2 Definici�n
2.1 Operaciones racionales
2.2 Unidad imaginaria
3 Valor absoluto o m�dulo, argumento y conjugado
3.1 Valor absoluto o m�dulo de un n�mero complejo
3.2 Argumento o fase
3.3 Conjugado de un n�mero complejo
4 Representaciones
4.1 Representaci�n bin�mica
4.2 Representaci�n polar
4.2.1 Operaciones en forma polar
4.3 Ra�z en�sima de un n�mero complejo
4.4 Representaci�n en forma de matrices de orden 2
5 Plano de los n�meros complejos o Diagrama de Argand
6 Propiedades
6.1 Cuerpo de los n�meros complejos
6.2 Espacio vectorial
7 Aplicaciones
7.1 En matem�ticas
7.1.1 Soluciones de ecuaciones polin�micas
7.1.2 Variable compleja o an�lisis complejo
7.1.3 Ecuaciones diferenciales
7.1.4 Fractales
7.2 En f�sica
8 Generalizaciones
9 V�ase tambi�n
10 Referencias
10.1 Bibliograf�a
10.2 Enlaces externos
Historia
La primera referencia conocida a ra�ces cuadradas de n�meros negativos proviene de
los matem�ticos griegos, como Her�n de Alejandr�a en el siglo I antes de Cristo,
como resultado de una imposible secci�n de una pir�mide.

Los complejos se hicieron m�s patentes en el Siglo XVI, cuando la b�squeda de

f�rmulas que dieran las ra�ces exactas de los polinomios de grados 2 y 3 fueron
encontradas por matem�ticos italianos como Tartaglia y Cardano. Originalmente, los
n�meros complejos fueron propuestos en 1545, por el matem�tico italiano, Girolamo
Cardano (1501-1576), en un tratado epit�mico que versaba sobre la soluci�n de las
ecuaciones c�bicas y cu�rticas, con el t�tulo de Ars magna. El t�rmino imaginario
para estas cantidades fue acu�ado por Descartes en el Siglo XVII y est� en desuso.

Las cantidades �ficticias� de Cardano cayeron en un mar de indiferencia por la

mayor�a de los miembros de la comunidad matem�tica. Fueron Caspar Wessel en 1799 y
Jean-Robert Argand en 1806, con la propuesta del plano complejo y la representaci�n
de la unidad imaginaria i, mediante el punto (0,1) del eje vertical quienes
sentaron las bases de estos n�meros. El matem�tico alem�n Carl Friedrich Gauss
(1777-1855), fue quien les dio nombre, los defini� rigurosamente y los utiliz� en
la demostraci�n original del teorema fundamental del �lgebra, que afirma que todo
polinomio que no sea constante, posee al menos un cero. La implementaci�n m�s
formal, con pares de n�meros reales fue dada en el Siglo XIX.

La frase n�mero complejo fue usada por Carnot en 1803. A�os despu�s la emple� Gauss
en Theoria residorum biquadratorum en 1828; la usaba para eludir la expresi�n
n�mero imaginario. Cardano los llamaba n�meros negativos puros2?.

Los n�meros complejos ligados a las funciones anal�ticas o de variable compleja,

permiten extender el concepto del c�lculo al plano complejo. El c�lculo de variable
compleja posee diversas propiedades notables que conllevan propiedades que pueden
usarse para obtener diversos resultados �tiles en matem�tica aplicada.3?

Definici�n
Se define cada n�mero complejo z como un par ordenado de n�meros reales: z = (a,
b). A su vez el primer elemento a se define como parte real de z, se denota
{\displaystyle a={\text{Re}}(z)} {\displaystyle a={\text{Re}}(z)}; el segundo
elemento b se define como parte imaginaria de z, se denota {\displaystyle
b={\text{Im}}(z)} {\displaystyle b={\text{Im}}(z)}. Luego en el conjunto C de los
n�meros complejos, se definen tres operaciones y la relaci�n de igualdad:

Igualdad
{\displaystyle (a,b)=(c,d)\iff a=c\land b=d} (a,b)=(c,d)\iff a=c\land b=d
Al n�mero {\displaystyle (a,0)} (a,0) se denomina n�mero complejo real y como
entre el conjunto de estos y el conjunto R de los n�meros reales se establece un
isomorfismo , se asume que todo n�mero real es un n�mero complejo. Al n�mero
complejo {\displaystyle (0,b)} (0,b) se denomina n�mero imaginario puro. Puesto
que {\displaystyle (a,0)+(0,b)=(a,b)} (a,0) + (0,b) = (a, b) se dice que un n�mero
complejo es la suma de un n�mero real con un n�mero imaginario puro.4?

Operaciones racionales
Adici�n
{\displaystyle (a,b)+(c,d)=(a+c,\,b+d)} (a,b)+(c,d)=(a+c,\,b+d)
Producto por escalar
{\displaystyle r(a,b)=(ra,\,rb)} r(a,b)=(ra,\,rb)
Multiplicaci�n
{\displaystyle (a,b)\cdot (c,d)=(ac-bd,ad+bc)} (a,b)\cdot (c,d)=(ac-bd,ad+bc)
A partir de estas operaciones podemos deducir otras como las siguientes:

Resta
{\displaystyle (a,b)-(c,d)=(a-c,\,b-d)} (a,b)-(c,d)=(a-c,\,b-d)
Divisi�n
{\displaystyle {\frac {(a,b)}{(c,d)}}={(ac+bd,\,bc-ad) \over
c^{2}+d^{2}}=\left({ac+bd \over c^{2}+d^{2}},{bc-ad \over c^{2}+d^{2}}\right)}
{\frac {(a,b)}{(c,d)}}={(ac+bd,\,bc-ad) \over c^{2}+d^{2}}=\left({ac+bd \over
c^{2}+d^{2}},{bc-ad \over c^{2}+d^{2}}\right)
Unidad imaginaria
Se define un n�mero complejo especial, sobre todo en el �lgebra, de suma
relevancia, el n�mero i ( j en f�sica), llamado unidad imaginaria, definido como

{\displaystyle \mathrm {i} =(0,1)\,\!} {\mathrm {i}}=(0,1)\,\!

Que satisface la siguiente igualdad:

{\displaystyle \mathrm {i} ^{2}=\mathrm {i} \cdot \mathrm {i} =(0,1)\cdot (0,1)=(-
1,0)=-1} {\mathrm {i}}^{2}={\mathrm {i}}\cdot {\mathrm {i}}=(0,1)\cdot (0,1)=(-
1,0)=-1
Tomando en cuenta que {\displaystyle (a,0)\cdot (0,1)=(0,a)} (a,0)\cdot
(0,1)=(0,a), cabe la identificaci�n

{\displaystyle (a,0)\cdot (0,1)=a\mathrm {i} =(0,a)} (a, 0) \cdot (0, 1) =

a\mathrm{i} = (0, a)
En textos elementales se define que i 2 es igual a -1. Adem�s es una de las ra�ces
de la ecuaci�n x 2 + 1 = 0. 5?
Valor absoluto o m�dulo, argumento y conjugado
Valor absoluto o m�dulo de un n�mero complejo

La f�rmula de Euler ilustrada en el plano complejo.

El valor absoluto, m�dulo o magnitud de un n�mero complejo z viene dado por la
siguiente expresi�n:

{\displaystyle |z|={\sqrt {zz^{*}}}={\sqrt {{\hbox{Re}}^{2}(z)+{\hbox{Im}}^{2}

(z)}}} |z|={\sqrt {zz^{*}}}={\sqrt {{\hbox{Re}}^{2}(z)+{\hbox{Im}}^{2}(z)}}

Si pensamos en las coordenadas cartesianas del n�mero complejo z como alg�n punto
en el plano; podemos ver, por el teorema de Pit�goras, que el valor absoluto de un
n�mero complejo coincide con la distancia eucl�dea desde el origen del plano a
dicho punto.

Si el complejo est� escrito en forma exponencial z = r eif, entonces |z| = r. Se

puede expresar en forma trigonom�trica como z = r (cosf + isenf), donde cosf +
isenf = eif es la conocida f�rmula de Euler.

Podemos comprobar con facilidad estas cuatro importantes propiedades del valor
absoluto

{\displaystyle \left|z\right|=0\Longleftrightarrow z=0} \left|z\right|

=0\Longleftrightarrow z=0
{\displaystyle \left|z+w\right|\leq |z|+|w|} \left|z+w\right|\leq |z|+|w|
{\displaystyle \left|zw\right|=|z||w|} \left|zw\right|=|z||w|
{\displaystyle \left|z-w\right|\geq ||z|-|w||} {\displaystyle \left|z-w\right|\geq
||z|-|w||}
para cualquier complejo z y w.

Por definici�n, la funci�n distancia queda como sigue d(z, w) = |z - w| y nos

provee de un espacio m�trico con los complejos gracias al que se puede hablar de
l�mites y continuidad. La suma, la resta, la multiplicaci�n y la divisi�n de
complejos son operaciones continuas. Si no se dice lo contrario, se asume que �sta
es la m�trica usada en los n�meros complejos.
Argumento o fase
Art�culo principal: Argumento (an�lisis complejo)
El argumento principal o fase de un n�mero complejo gen�rico {\displaystyle
z=x+yi\,} z=x+yi\, (siendo x=Re(z) e y=Im(z)) es el �ngulo {\displaystyle
\phi } \phi que forman el eje de abscisas OX y el vector OM, con M(x,y). Viene
dado por la siguiente expresi�n:

{\displaystyle \phi =\operatorname {Arg} (z)=\operatorname {atan2} (y,x)} \phi

=\operatorname {Arg}(z)=\operatorname {atan2}(y,x)

donde atan2(y,x) es la funci�n arcotangente definida para los cuatro cuadrantes:

{\displaystyle \operatorname {atan2} (y,x)={\begin{cases}\arctan \left({\frac {y}

{x}}\right)&\qquad x>0\\\arctan \left({\frac {y}{x}}\right)+\pi &\qquad y\geq
0,x<0\\\arctan \left({\frac {y}{x}}\right)-\pi &\qquad y<0,x<0\\+{\frac {\pi }
{2}}&\qquad y>0,x=0\\-{\frac {\pi }{2}}&\qquad y<0,x=0\\{\text{indefinido}}&\qquad
y=0,x=0\end{cases}}} \operatorname {atan2}(y,x)={\begin{cases}\arctan \left({\frac
yx}\right)&\qquad x>0\\\arctan \left({\frac yx}\right)+\pi &\qquad y\geq
0,x<0\\\arctan \left({\frac yx}\right)-\pi &\qquad y<0,x<0\\+{\frac {\pi }
{2}}&\qquad y>0,x=0\\-{\frac {\pi }{2}}&\qquad y<0,x=0\\{\text{indefinido}}&\qquad
y=0,x=0\end{cases}}
O tambi�n: {\displaystyle \operatorname {atan2} (y,x)={\frac {\pi }
{2}}\operatorname {sgn} (y)-\arctan \left({\frac {x}{y}}\right)\quad \forall x,y\in
\mathbb {R} } \operatorname {atan2}(y,x)={\frac \pi 2}\operatorname{sgn}
(y)-\arctan \left({\frac xy}\right)\quad \forall x,y\in {\mathbb R} Siendo:

{\displaystyle \operatorname {sgn} (y)={\begin{cases}1\qquad y\geq 0\\-1\qquad

y<0\\\end{cases}}} \operatorname{sgn}(y)={\begin{cases}1\qquad y\geq 0\\-1\qquad
y<0\\\end{cases}}6?
la funci�n signo.

El argumento tiene periodicidad 2p, con lo que {\displaystyle \arg z=\operatorname

{Arg} z+2k\pi } {\displaystyle \arg z=\operatorname {Arg} z+2k\pi } siendo
{\displaystyle k} k cualquier n�mero entero. El �ngulo Arg z es el valor principal
de arg z que verifica las condiciones -p < Arg z <= p descritas antes.7?

Conjugado de un n�mero complejo

Dos binomios se llaman conjugados si solo difieren en su signo central. De esta
manera, el conjugado de un complejo z (denotado como {\displaystyle {\bar {z}}}
{\bar {z}} o {\displaystyle z^{*}\,\!} z^{*}\,\!) es un nuevo n�mero complejo,
definido as�:

{\displaystyle {\bar {z}}=a-\mathrm {i} b\Longleftrightarrow z=a+\mathrm {i} b}

{\bar {z}}=a-{\mathrm {i}}b\Longleftrightarrow z=a+{\mathrm {i}}b
Se observa que ambos difieren en el signo de la parte imaginaria. Con este n�mero
se cumplen las propiedades:

{\displaystyle {\overline {z+w}}={\bar {z}}+{\bar {w}}} \overline {z+w}={\bar {z}}

+{\bar {w}}
{\displaystyle z+{\overline {z}}=2\cdot {\hbox{Re}}(z)} z+\overline {z}=2\cdot
{\hbox{Re}}(z)
{\displaystyle z-{\overline {z}}=2i\cdot {\hbox{Im}}(z)} z-\overline {z}=2i\cdot
{\hbox{Im}}(z)
{\displaystyle {\overline {zw}}={\bar {z}}{\bar {w}}} \overline {zw}={\bar {z}}
{\bar {w}}
{\displaystyle z\in \mathbb {R} \Longleftrightarrow {\bar {z}}=z} z\in {\mathbb
{R}}\Longleftrightarrow {\bar {z}}=z
{\displaystyle |z|^{2}=z{\bar {z}}\geq 0} {\displaystyle |z|^{2}=z{\bar {z}}\geq 0}
{\displaystyle z\neq 0\Rightarrow {\frac {1}{z}}={\frac {\bar {z}}{|z|^{2}}}} z\neq
0\Rightarrow {\frac {1}{z}}={\frac {{\bar {z}}}{|z|^{2}}}
Esta �ltima f�rmula es el m�todo elegido para calcular el inverso de un n�mero
complejo si viene dado en coordenadas rectangulares.