En el cuerpo de los números reales la ecuación \(x^2+1=0\) no tiene solución. Para conseguir soluciones de esta ecuación es necesario, por tanto, ampliar el conjunto de los números reales. El nuevo conjunto de números que resulta de esta ampliación es el conjunto de los números complejos.

Definición de número complejo. Llamaremos número complejo a todo par ordenado \((a,b)\) de números reales.

Igualdad de números complejos. Dados dos números complejos \(z=(a,b)\) y \(w=(c,d)\), se tiene que \(z=w\) si, y sólo si, \(a=c\,\) y \(\,b=d\).

Suma y producto de números complejos. La suma y el producto de dos números complejos \(z=(a,b)\) y \(w=(c,d)\) vienen dadas por las igualdades: \[ \begin{aligned}z+w&=(a+c,b+d), \\ z\,w &=(ac-bd,ad+bc). \end{aligned}\]

Propiedades de la suma y el producto de números complejos.

1. La suma y el producto de números complejos son operaciones asociativas y conmutativas.

2. El complejo \((0,0)\) es el elemento neutro de la suma.

3. Dado un complejo \(z=(a,b)\), es obvio que \((-a,-b)\) es su elemento opuesto para la suma. Así pues, denotamos \(-z=(-a,-b)\).

4. El complejo \((1,0)\) es el elemento neutro del producto.

5. Si \(z=(a,b)\) es distinto de \((0,0)\), entonces el número complejo \(\left(\frac a{a^2+b^2}\,,\,\frac{-b}{a^2+b^2}\right)\) es el inverso de \(z\) para el producto, y se denota por \(z^{-1}\) o por \(\frac{1}{z}\).

6. El producto de números complejos cumple la propiedad distributiva respecto de la suma.

7. Si \(z\) y \(w\) son números complejos, escribiremos \(z-w\) en lugar de \(z+(-w)\). Si, además, \(w\neq(0,0)\), entonces \(\frac{z}{w}\) tendrá el mismo significado que \(z\,w^{-1}\).

El conjunto de los números complejos, con las operaciones suma y producto previamente definidas, es un cuerpo, al que llamaremos cuerpo de los números complejos, y lo denotaremos por \(\mathbb{C}\).

Forma binómica de un número complejo. El complejo \((0,1)\) recibe el nombre de unidad imaginaria y se denota por \(i\). Así, \[(a,b)=(a,0)+(0,b)=(a,0)+(b,0)(0,1)=a+b\,i,\, \textrm{ para todo } (a,b)\in \mathbb{C}.\] La expresión \(a+b\,i\) es la llamada forma binómica del complejo \((a,b)\). La forma binómica es muy útil desde el punto de vista aritmético porque permite aprovechar la estructura de cuerpo de \(\mathbb{C}\) a la hora de operar con números complejos. Lo único que hemos de saber es que \[i\, i=(0,1)(0,1)=(-1,0)=-1\] Ni siquiera es necesario recordar la definición de la suma o el producto en \(\mathbb{C}\), pues, dados dos complejos \(z=a+b\,i\) y \(w=c+d\,i\), obtenemos (aplicando las propiedades de cuerpo de \(\mathbb{C}\)) que

\[\begin{aligned} &z+w=(a+bi)+(c+di)=(a+c)+(b+d)i\,, \\ &zw=(a+bi)(c+di)=(ac-bd)+(ad+bc)i.\end{aligned}\]

También de esta forma es fácil considerar \(\mathbb R\), el conjunto de los números reales, como subconjunto de \(\mathbb C\). Los números reales se corresponden con los números complejos \(a+b i\) con \(b=0\).

Parte real, parte imaginaria, conjugado y módulo de un número complejo. Sea \(z=a+bi\) \(\in\mathbb{C}\). Los números reales \(a\) y \(b\) reciben el nombre de parte real y parte imaginaria, respectivamente, de \(z\). Escribimos \(a=\operatorname{Re}(z)\) y \(b=\operatorname{Im}(z)\). El complejo se denomina conjugado de \(z\) y el número real no negativo \(|z|=\sqrt{a^2+b^2}\) recibe el nombre de módulo de \(z\).

Dados \(z,w\in\mathbb{C}\). Se tienen las siguientes propiedades:

• \(\overline{\overline{z}}=z\),

• \(\overline{z+w}=\overline{z}+\overline{w}\),

• \(\overline{zw}=\overline{z}\,\overline{w}\),

• Si \(w\neq 0,\) \(\overline{(\frac zw)}=\frac{\overline{z}}{\overline{w}}\),

• \(\operatorname{Re}(z)=\frac{z+\overline{z}}2\) , \(\operatorname{Im}(z)=\frac{z-\overline{z}}{2i}\),

• \(z=\overline{z}\Leftrightarrow z\in \mathbb{R}\),

• \(|z|=|\overline{z}|=|-z|\),

• \(z\overline{z}=|z|^2\),

• \(|zw|=|z|\,|w|\),

• \(|z|=0\Leftrightarrow z=0\),

• \(|z+w|\leq |z|+|w|\) (Desigualdad triangular),

• \(\big\vert |z|-|w|\big\vert\leq |z-w|\),

• \(|z+w|^2+|z-w|^2=2(|z|^2+|w|^2)\) (Identidad del paralelogramo).

Vamos a ver un método para calcular las potencias enteras de la unidad imaginaria. Observe, en primer lugar, que las potencias de exponente natural de \(i\) se vuelven a repetir a partir de la cuarta potencia: \[\begin{array}{l} i^0=1, \\ i^1=i, \\ i^2=(0,1)(0,1)=(-1,0)=-1, \\ i^3=i^2\cdot i=-i, \\ i^4=i^2i^2=(-1)(-1)=1, \\ i^5=i^4i=i, \\ \quad\vdots \end{array}\]

Dado \(n\in\mathbb{N}\), si dividimos \(n\) entre \(4\), obtenemos que \(n=4c+r\) para algún cociente \(c\in\mathbb{N}\cup\{0\}\) y un resto \(r\in\mathbb{N}\cup\{0\}\) con \(0\leq r< 4\). Entonces \[i^n=i^{4c+r}=(i^4)^c\,i^r=i^r\] y, ahora, \(i^r\) es una de las cuatro primeras potencias de \(i\). En cuanto a las potencias de exponente negativo de \(i\), observe que \[i^{-n}=\frac{1}{i^n}=\frac{1}{i^{4c+r}}=\frac{1}{i^r}=i^{-r}=i^{-r}\,i^4=i^{4-r}.\] Como \(0<4-r\leq 4\), entonces \(i^{4-r}\) es una de las primeras potencias de exponente natural de \(i\) que hemos calculado antes.

En esta sección haremos uso de algunas funciones trigonométricas y de algunas funciones arco. Aunque aún no han sido presentadas, suponemos que el alumno está suficientemente habituado a ellas para poder usarlas. En cualquier caso, trataremos estas funciones y sus propiedades en temas posteriores.

Representación geométrica de los números complejos. Hagamos corresponder a cada número complejo \(z=a+bi\) el punto del plano cuyas coordenadas referidas a un sistema de ejes cartesianos ortogonales son \((a,b)\), como indica el siguiente gráfico. De este modo, se establece una relación biunívoca entre los números complejos y los puntos del plano. En esta representación se llama eje real al eje de abscisas y eje imaginario al eje de ordenadas.

Además, el módulo de \(z\) es la longitud del segmento de extremos \(0\) y \((a,b)\).

Argumento principal de un número complejo. Dado un número complejo no nulo \(z=a+bi\), el argumento principal de \(z\) es el número real \[ \arg(a+b\,i)=\left\{ \begin{array}{ll} \operatorname{arctan}\left(\frac{b}{a}\right)-\pi & \hbox{si $\,a<0$, $b<0$}, \\ -\frac{\pi}{2} & \hbox{si $\,a=0$, $b<0$}, \\ \operatorname{arctan}\left(\frac{b}{a}\right) & \hbox{si $\,a>0$}, \\ \frac{\pi}{2} & \hbox{si $\,a=0$, $b>0$}, \\ \operatorname{arctan}\left(\frac{b}{a}\right)+\pi & \hbox{si $\,a<0$, $b\geq 0$.} \end{array} \right. \]

Gráficamente, el argumento principal representa el ángulo que forma el segmento de extremos \(0\) y \((a,b)\) con la parte positiva del eje real.

Sea \(z\in \mathbb{C}\), \(z\neq 0\). El argumento principal de \(z\), \(\arg(z)\), es el único número real en el intervalo \(\,]-\pi,\pi]\) que verifica la igualdad \[z=|z|\left(\frac{}{}\hspace{-0.1cm}\cos(\arg(z))+i\,\operatorname{sen}(\arg(z))\right).\]

Conjunto de argumentos de un número complejo. Sea \(z\in \mathbb{C}\), \(z\neq 0\). Se dice que un número real \(\omega\) es un argumento de \(z\) si verifica que \[z=|z|(\cos\omega+i\,\operatorname{sen}\omega).\] A esta expresión la llamaremos forma trigonométrica del número complejo \(z\).

Se llama forma polar del número complejo \(z\) a la expresión dada por \(z=\left| z\right| _{\omega}\) donde \(\left| z\right| \) es el módulo de \(z\) y \(\omega\) es un argumento de \(z\).

Por ejemplo, \(1+i=\left( \sqrt{2}\right) _{\frac \pi 4}\).

Operaciones con números complejos en forma polar. Sean \(z_1,z_2\) dos números complejos con \(z_1=\left| z_1\right| _{w_1}\), \(z_2=\left| z_2\right|_{w_2}\). Se verifican las siguientes propiedades:

1. \(z_1\cdot z_2=\left( \left| z_1\right| \cdot \left| z_2\right| \right) _{w_1+w_2}\),

2. \(\frac 1{z_1}=\left( \frac 1{\left| z_1\right| }\right) _{-w_1}\),

3. \(\frac{z_1}{z_2}=\left( \frac{\left| z_1\right| }{\left| z_2\right| }\right) _{w_1-w_2}\),

4. \(\overline{z_1}=\left( \left| z_1\right| \right) _{-w_1}\).

Por reiteración de la fórmula del producto de números complejos en forma polar se tiene la siguiente fórmula.

Fórmula de de Moivre. Sea \(z\in\mathbb{C}\), \(z\neq 0\), y sea \(w\in\mathbb{R}\) un argumento de \(z\). Entonces \[z^n=\left( \left| z\right| _w\right) ^n=\left( \left| z\right| ^n\right) _{nw},\textrm{ para todo } n\in\mathbb{N}.\]

Si \(z\in \mathbb{C}\) verifica que \(|z|=1\) y \(w\) es un argumento de \(z\), es decir, \(z=1_w=\cos w+i\cdot \operatorname{sen} w\), entonces se tiene la siguiente expresión para las potencias de \(z\): \[(\cos w+i\cdot \operatorname{sen} w)^n=\cos(nw)+i\cdot \operatorname{sen}(nw),\textrm{ para todo } n\in \mathbb{N}.\]

Dados \(z\in\mathbb{C}\) y \(n\in\mathbb{N}\), se dice que un número complejo \(v\) es una raíz \(n\)-ésima de \(z\) si \(v^n=z\). En particular, si \(n=2\) se dice que \(v\) es una raíz cuadrada de \(z\) y si \(n=3\) se dice que \(v\) es una raíz cúbica de \(z\).

Si \(z\) es el complejo no nulo que tiene por forma polar \(|z|_{\omega}\), entonces existen \(n\) raíces \(n\)-ésimas de \(v\), las cuales están dadas por la siguiente expresión: \[\left(\sqrt[n]{|z|}\right)_{\frac{\omega +2k\pi}{n}},\ k\in\{0,1,\ldots,n-1\}.\]

Como \(-1=1_{\pi}\), entonces las raíces cuadradas de \(-1\) son

\[\begin{aligned} 1_{\frac{\pi+2\cdot 0\,\pi}{2}}&=1_{\frac{\pi}{2}}=\cos\left(\frac{\pi}{2}\right)+i\,\operatorname{sen}\left(\frac{\pi}{2}\right)=i\,,\\ 1_{\frac{\pi+2\cdot 1\,\pi}{2}}&=1_{\frac{3\pi}{2}}=\cos\left(\frac{3\pi}{2}\right)+i\,\operatorname{sen}\left(\frac{3\pi}{2}\right)=-i.\end{aligned}\]

Representación gráfica de las raíces de un número complejo. Sea \(z\in\mathbb{C}\), \(z\neq 0\), \(\omega\in\mathbb{R}\) un argumento de \(z\) y \(n\in\mathbb{N}\), \(n\geq 3\). Gráficamente las raíces \(n\)-ésimas de \(z\) están representadas como los vértices de un polígono regular de \(n\) lados. Por lo tanto, para representar las \(n\) raíces se toma la circunferencia de centro \(0\) y de radio \(\sqrt[n]{|z|}\), se considera primero el ángulo \(\frac \omega n\) (para \(k=0\)) y luego sumándole el ángulo \(\frac{2\pi}n\) se van obteniendo las restantes \(n-1\) raíces.