martes, 22 de junio de 2021

Primer post: Números complejos reales e imaginaros puros

Hola amantes e interesados de las matemáticas. Este es el primer post del blog y vamos a tratar un problema que será muy sencillo para los que tengáis experiencia en el mundo de los números complejos y no muy complicado para los que estéis estudiando los números complejos por primera vez.

El problema es el siguiente:

Halla $a$ para que $\frac{3+2i}{a+6i}$ sea:

a) Un número real.

b) Un número imaginario puro.

Solución habitual


El procedimiento habitual que se suelen aprender los estudiantes de bachillerato es escribir el número anterior en forma binómica e imponer que uno de los dos sumandos sea cero. Para ello se elimina primero la unidad imaginaria del denominador multiplicando por el conjugado en numerador y denominador, es decir, hacemos  $$\frac{3+2i}{a+6i}\cdot\frac{a-6i}{a-6i}.$$
Gracias a la igualdad notable $(x+y)\cdot(x-y)=x^2-y^2$ y recordando que $i^2=-1$ se obtiene que  
$$\frac{3+2i}{a+6i}\cdot\frac{a-6i}{a-6i}=\frac{3a-18i+2ai-12i^2}{a^2-(6i)^2}=\frac{3a+12-18i+2ai}{a^2+36}.$$
Si ahora sacamos factor común la $i$ y separamos la fracción se obtiene
$$
\frac{3a+12-18i+2ai}{a^2+36i}=\frac{3a+12+i(-18+2a)}{a^2+36}=\frac{3a+12}{a^2+36}+i\frac{-18+2a}{a^2+36}.
$$
Por tanto, la parte real del número es $\frac{3a+12}{a^2+36}$ y su parte imaginaria es $\frac{-18+2a}{a^2+36}$. Entonces, si queremos que el número sea real tendremos que imponer que la parte imaginaria sea cero. Como una fracción es cero si y solo si su numerador es cero, obtenemos 
$$\frac{-18+2a}{a^2+36}=0\quad\Longrightarrow\quad -18+2a=0\quad\Longrightarrow\quad a=9.$$
Si queremos que el número sea imaginario puro, entonces hemos de imponer que su parte real sea igual a cero. De la misma manera que antes obtenemos 
$$\frac{3a+12}{a^2+36}\quad\Longrightarrow\quad 3a+12=0 \quad\Longrightarrow\quad a=-4.$$

Una solución más inteligente


El procedimiento anterior aunque efectivo, no resulta demasiado atractivo. Veamos otra posible solución. En realidad la fracción $\frac{3+2i}{a+6i}$ es un cociente de números complejos. La mayoría sabréis que si tenemos dos números complejos en su forma polar, es decir, de la forma $z_1=re^{i\alpha}$ y  $z_2=s e^{i\beta}$, (o para los estudiantes de bachillerato, $z_1=r_{\alpha}$ y $z_2=s_{\beta}$) entonces $$\frac{z_1}{z_2}=\frac{r}{s}e^{i(\alpha-\beta)}.$$
Podemos aprovechar esta propiedad en nuestro favor. Si queremos que el resultado sea un número real, entonces su argumento debe ser $0$ ó $\pi$, mientras que si queremos que el resultado sea imaginario puro entonces el argumento debe ser $\pi/2$ ó $3\pi/2$. 

Si queremos que $z_1/z_2$ sea real, podemos ver $z_1$ y $z_2$ como vectores sobre el plano complejo, entonces sus argumentos diferirán $0$ ó $\pi$ si son paralelos. 
 
         
En estos ejemplos el cociente $z_1/z_2$ será real.

Ahora bien, para ver si dos vectores son paralelos tan sólo hemos de comprobar que son proporcionales. En nuestro ejemplo, tenemos que $z_1=3+2i$ y $z_2=a+6i$, que vistos como vectores del plano real se corresponden con $(3,2)$ y $(a,6)$. Para que sean proporcionales se deberá verificar que 
$$\frac{3}{a}=\frac{2}{6},$$
de donde despejando obtenemos $a=9$. ¿Bastante más rápido que el primer método no? Partiendo de $\frac{3+2i}{a+6i}$ tan sólo hemos tenido que dividir las partes reales de numerador y denominador  (o sea, $3/a$), igualarlo al cociente de las partes imaginarias ($2/6$) y despejar $a$. 

Si ahora queremos que $z_1/z_2$ sea imaginario puro, entonces sus argumentos deben diferir en $\pi$ ó $3\pi/2$, es decir, que vistos como vectores deben ser perpendiculares. 

En estos ejemplos el cociente $z_1/z_2$ será imaginario puro.

Por suerte para nosotros, sabemos que dos vectores reales son perpendiculares si y solo si su producto escalar es cero. Por lo tanto, si vemos de nuevo $z_1$ y $z_2$ como vectores, tan solo hemos de imponer que su producto escalar real sea cero para averiguar el valor de $a$. Como $z_1$ y $z_2$ eran $(3,2)$ y $(a,6)$ vistos como vectores entonces 
$$
(3,2)\cdot (a,6)=0\quad\Longrightarrow\quad 3a+12=0\quad\Longrightarrow\quad a=-4.$$
Como vemos, razonando con las propiedades de los números complejos y del plano real hemos conseguido resolver el problema más rápido, y a mi modo de ver, de una manera más elegante. 

La idea para este post me vino al ver un vídeo de un youtuber que "enseña" a resolver problemas. La sensación que tuve al verlo fue que más que enseñar, lo único que pretendía el vídeo era dar un método mecánico para resolver el problema, el cual es la solución habitual que hemos visto. Sin embargo, quería mostrar que razonando y no actuando de manera mecánica se pueden obtener otras formas de resolución, que aunque necesiten un razonamiento un poco más complejo, nos llevan sin embargo a soluciones más sencillas y elegantes.

Seguramente haya otras formas de resolver este problema. Si conocéis, se os ocurren otras formas, o queréis dar vuestra opinión os invito a dejarlas en los comentarios. 




No hay comentarios:

Publicar un comentario