¿Números Complejos? ¿Son realmente difíciles? ¡No! (1)

¿Números Complejos? ¿Son realmente difíciles? ¡No! (1)

5) Representación gráfica. Forma trigonométrica y polar de un número complejo.

5.1) Forma trigonométrica de un número complejo.

Llamamos afijo del número complejo z = a+bi a la representación gráfica indistintamente:

  1. del punto (a, b) \in \mathbb{R}^2
  2. y del “vector fijo” de extremo final precisamente (a, b) \in \mathbb{R}^2 y extremo inicial el origen de coordenada (0, 0) .

Si entendemos los números complejos como en el apartado (2.2) entonces z = a+bi está determinado por el par (a, b) \in \mathbb{R}^2 . Sin embargo, si entendemos los números complejos como en el apartado (3.1) entonces z = a+bi es el par (a, b) \in \mathbb{R}^2 .

Lo importante no es como son estos objetos, sino sus propiedades, como interactúan y como se pueden operar, etc. Un invidente tiene probablemente en su mente una representación del mundo distinta a la de las personas que no lo son, pero son capaces de conocer el mundo al igual que los segundos.

Llamamos módulo del número complejo z = a+bi , y lo denotamos por |z| , a la longitud de su afijo (entendido como vector):

|z|=\sqrt{a^2 +b^2}

Un simple cálculo algebraico nos permite ver la veracidad de la siguiente igualdad

z=a+bi=|z| \left(\frac{a}{|z|}+i\frac{b}{|z|}\right)

Entonces, si \alpha es el ángulo que forma el afijo de z con el semieje positivo OX , podemos escribir:

z=|z| \left(cos(\alpha)+isen(\alpha)\right)

El ángulo \alpha es llamado argumento del número complejo z . Y al tener el número complejo escrito de esta forma decimos que está escrito en forma trigonométrica.

Observemos que:

cos(\alpha)=\frac{a}{|z|} \qquad sen(\alpha)=\frac{b}{|z|}

Ejemplo

Tomemos el número complejo z = -1 + \sqrt{3} i entonces para escribirlo en forma trigonométrica necesitamos tanto a su modulo como a su argumento:

|z| = \sqrt{(-1)^2 + \sqrt{3}^2} = \sqrt{4} = 2 

Su argumento puede ser calculado a partir de cualquiera de las siguientes razones

sen(\alpha) = \frac{a}{|w|}, \: cos(\alpha) = \frac{b}{|w|}, \: tg(\alpha) = \frac{b}{a}

donde w = a + b i .

Lo más usual es utilizar la razón trigonométrica tg(.) , pero cualquiera de ellas puede ser utilizada.

tg(\alpha)=\frac{\sqrt{3}}{-1} = -\sqrt{3}, \quad \frac{\pi}{2} < \alpha <\pi \\ \quad \\ 
\qquad \qquad \qquad \qquad  \Rightarrow \quad \alpha=\frac{2\pi}{3}

Hemos tenido en cuenta que el afijo de z está en el 2do cuadrante. Observese que en el cuarto cuadrante hay otro ángulo, \alpha=\frac{5\pi}{3} , cuya tg(.) vale también -\sqrt{3} . En conclusión:

z=2\left[cos\left( \frac{2\pi}{3}\right)+i sen \left(  \frac{2\pi}{3}\right) \right] 

5.2) Forma Polar de un número complejo. Conjugado e Inverso.

Una forma compacta de escribir la forma trigonométrica de un número complejo z es

|z|_{\alpha}

a la que llamaremos Forma Polar. En esta forma mostramos todos los elementos necesarios para saber quien es este número:

z=|z|_{\alpha} = |z| \left(cos(\alpha)+isen(\alpha)\right)

En el ejemplo del apartado anterior, z = -1 + \sqrt{3} i , escribimos su forma trigonométrica, entonces su forma polar es inmediata

z=2\left[cos\left( \frac{2\pi}{3}\right)+i sen \left(  \frac{2\pi}{3}\right) \right] =2_{\frac{2\pi}{3}}

Por otro lado, realizar multiplicaciones y divisiones con números complejos escritos en forma polar es muy fácil

r_\alpha · s_\theta = (rs)_{\alpha+\theta} 
\\ \quad \\
\frac{r_\alpha}{s_\theta} = \left(\frac{r}{s}\right)_{\alpha-\theta} 
Expande para ver demostración
r_\alpha · s_\theta = \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad 
\\ \quad
\\ = r  \left[cos(\alpha) + isen(\alpha) \right] · s \left[cos(\theta) + isen(\theta) \right] = \\ \quad \\
=rs\, ( \,\left[cos(\alpha)cos(\theta) - sen(\alpha)sen(\theta) \right] + \qquad \qquad  \\  \qquad 
 \quad i\left[sen(\alpha)cos(\theta) + sen(\theta)cos(\alpha) \right]  ) =\\ 
\quad \\
= rs\left[ cos(\alpha + \theta) + i sen(\alpha+\theta)\right] = \qquad
 \\ \quad \\ =(rs)_{\alpha+\theta} \qquad \qquad  \qquad \qquad  \qquad \qquad  

La demostración para el cociente es análoga.

Ejemplo:

6_{\frac{\pi}{3}}·3_{\frac{\pi}{4}} = 18_{\frac{7\pi}{12}} \\ \quad \\
6_{\frac{\pi}{3}}:3_{\frac{\pi}{4}} = 2_{\frac{\pi}{12}}

Observemos que ocurre tanto analíticamente como geométricamente con el conjugado y el Inverso de un número complejo en forma polar.

El inverso de z = r_\alpha es

\frac{1}{r_\alpha} = \frac{1_0}{r_\alpha} = \left( \frac{1}{r}  \right)_{-\alpha}

Para el conjugado observemos en la imagen como z y \bar z son simétrico respecto el eje real. Por lo que sus argumentos son opuestos, además

|\bar z|=\sqrt{a^2+b^2} = |z| = r

luego

\bar z =r_{-\alpha}

Fórmula de Moivre (potencias de exponente natural).

Ya hemos demostrado antes una fórmula para el producto de dos números complejos en forma polar. Calculando el producto iterativamente de z = r_{\alpha} podemos encontrar una fórmula para su potencia n-ésima:

  • z^2 = r_{\alpha} · r_{\alpha} =(r·r)_{\alpha + \alpha} = r^{2}_{2\alpha}
  • z^3 = z^2·z = (r^2)_{2\alpha} · r_{\alpha} =(r^2·r)_{2\alpha + \alpha} = (r^{3})_{3\alpha}

De esta forma podemos deducir la Fórmula de Moivre como

z^n = (r^n)_{n\alpha} = r^n[cos(n\alpha)+isen(n\alpha)]  

Ejemplo: Si z = -1 + \sqrt{3} i calcula z^7 .

Ya tenemos del apartado anterior que z = 2_{\frac{2\pi}{3}} entonces por la Fórmula de Moivre

z^7 = (2^7)_{7·\frac{2\pi}{3}} = 128_{\frac{14\pi}{3}} = 128_{\frac{2\pi}{3}} 

para la última igualdad observemos que {\frac{14\pi}{3}} = 2·(2\pi) + {\frac{2\pi}{3}} luego {\frac{14\pi}{3}} y {\frac{2\pi}{3}} son coterminales, concretamente el primero se obtiene del segundo al dar dos vueltas ( 2·(2\pi) ) en sentido antihorario.

Expande para ver demostración Fórmula de Moivre

Esta es una propiedad que trata sobre los números naturales (el exponente de la potencia) por lo que es apropiado proceder por inducción matemática. Para n=1 la propiedad es trivial.

Supongamos la propiedad cierta para n=k , z^k=(r^k)_{k\alpha} . Entonces tenemos que demostrar la propiedad para n= k + 1 . Pero,

z^{k+1} = z^k · z = (r^k)_{k\alpha}·r_\alpha = (r^{k+1})_{(k+1)\alpha}

que es lo que pretendemos demostrar.

5.3 Raíces de números complejos.

Primero observemos que

z=r_{\alpha} = r_{\alpha + 2k \pi}, \quad k \in \mathbb{Z}

porque los ángulos \alpha y \alpha + 2k \pi son ángulos coterminales. Hasta ahora este detalle no había tenido mucha relevancia pero en este punto es esencial.

Llamamos raíz n-ésima del número complejo z , y escribimos \sqrt[n]{z} , a cualquier otro número complejo \omega = \rho_{\beta} tal que \omega^n = z . Teniendo en cuenta la formula de Moivre

\omega^n = \left( \rho_{\beta} \right)^n = \rho^n_{\,\,n\beta} = r_{\alpha + 2k \pi}  \quad \Rightarrow \quad \rho^n = r, \, n\beta = \alpha + 2k \pi

6 Formula de Euler. Forma exponencial de los números complejos.

Bibliografía.

  1. Video Eduardo Sanz Cabezón: Derivando.
  2. El camino a la realidad: Una guía completa de las Leyes del Universo. Roger Penrose. amazon.com
  3. Complex Analysis with Applications. Springer.com.
  4. An Introduction to Complex Analysis. 2011. Springer.com.
  5. Numbers. Springer.com
1 Comment
Oldest
Newest Most Voted
Inline Feedbacks
View all comments
trackback

[…] ¿Números Complejos? ¿Son realmente difíciles? ¡No! (1). Blog. […]