Hay tanta resistencia a los números complejos por ahí. Es como el siglo XVI.
Abordemos la pregunta directamente. A veces, un problema tiene una solución que es un par de números reales. Piense en un punto en el plano cartesiano, un par de números. O la cantidad de desplazamiento o traslación en el plano: mueva [math] x [/ math] unidades hacia la derecha y [math] y [/ math] unidades hacia arriba, nuevamente un par. O un vector en el plano que tiene una magnitud y una dirección. O un componente sinusoidal de una señal que tiene una magnitud y una fase.
Todos esos y muchos más se representan naturalmente como números complejos [matemática] a + bi, [/ matemática] que son solo un par de números reales, parte real [matemática] a [/ matemática], parte imaginaria [matemática] b. [ / matemática] A menudo, cuando se requiere un par de números, lo desconocido puede representarse como un número complejo y resolverse mediante el uso de álgebra como un número real.
Otra razón para aceptar soluciones complejas es que son soluciones. El teorema fundamental del álgebra dice que cada polinomio no constante tiene un cero complejo. Puede que no haya un cero para un polinomio en la recta numérica real, pero siempre sabremos que hay uno en el plano complejo en alguna parte.
Creo que eso aborda el fondo de la pregunta. Abordemos los conceptos erróneos, la repulsión y la resistencia implicadas.
Los números complejos no son imaginarios. Tienen una parte real y una parte imaginaria. La palabra “imaginario” es solo un nombre para una de las partes. Podríamos haberlas llamado partes horizontales y verticales y no importaría nada de las matemáticas. Los números complejos son tan reales, en cuanto a la existencia, como los números reales. (La palabra “real” es un avance de marketing, pero esa es otra publicación).
Los nombres dados a los nuevos números a menudo parecen reflejar una repulsión relacionada con su descubrimiento. Números negativos. Numeros irracionales. Números imaginarios Números complejos. Los necesitamos, los nombramos, pero no nos gustan, al menos cuando aparecen por primera vez.
Es una actitud pasada de moda. Seamos la gente moderna que somos, aceptando muchas cosas, incluida la aceptación de muchas cosas bajo el “número” general. Podemos extender los números para incluir números complejos. No hay razón para que no podamos llamar a vectores, matrices o números de polinomios también si lo deseamos; tienen una aritmética y reglas al igual que las otras cosas que llamamos números.
Así que trate de no obsesionarse con las palabras “complejo” e “imaginario”. Son solo etiquetas que no tienen nada que ver con si las matemáticas son realmente difíciles o si las soluciones tienen sentido en el mundo.
EDITAR: Un comentario señala que he caminado de puntillas alrededor del elefante en la habitación, [matemáticas] i = \ sqrt {-1}. [/ Matemáticas] Esa es la parte que es difícil de aceptar.
He evitado hacer matemáticas en la publicación hasta ahora, pero sucumbamos al impulso.
Sabemos que cuando tenemos un punto [matemática] (a, b) [/ matemática] en el plano, su distancia desde el origen es [matemática] \ sqrt {a ^ 2 + b ^ 2} [/ matemática] y podemos defina la función de norma aplicada a un punto como la distancia al cuadrado, [matemática] N ((a, b)) = a ^ 2 + b ^ 2. [/ matemática]
La suma de puntos es por pares: [matemáticas] (a, b) + (c, d) = (a + c, b + d). [/ Matemáticas] Si queremos definir una regla de multiplicación para multiplicar puntos, una buena propiedad tener es una correspondencia con la multiplicación real. Eso es lo que nos da la norma. Queremos
[matemáticas] N ((a, b) (c, d)) = N ((a, b)) N ((c, d)) = (a ^ 2 + b ^ 2) (c ^ 2 + d ^ 2) [/ matemáticas]
Podríamos conocer la identidad de Fibonacci, como Diophantus probablemente 1000 años antes que Fibonacci.
[matemáticas] (a ^ 2 + b ^ 2) (c ^ 2 + d ^ 2) = (ac-bd) ^ 2 + (ad + bc) ^ 2 [/ matemáticas]
Es ese menos complicado lo que lo hace funcionar, como deberías verificar. Continuar,
[matemáticas] N ((a, b) (c, d)) = (ac-bd) ^ 2 + (ad + bc) ^ 2 [/ matemáticas]
así que concluimos que una buena regla de multiplicación es
[matemáticas] (a, b) (c, d) = (ac-bd, ad + bc) [/ matemáticas]
Esta es la regla de multiplicación que necesitamos para poder hacer aritmética con puntos, y hacer que la multiplicación corresponda a la multiplicación de magnitudes.
Si postulamos que hay alguna unidad [matemática] i [/ matemática] podemos usar tal que [matemática] (a, b) = a + bi [/ matemática] para que nuestras reglas de multiplicación normales (como FOIL) todavía se apliquen, encontramos
[matemáticas] (a + bi) (c + di) = (ac + bdi ^ 2) + (ad + bc) i [/ matemáticas]
Eso está bastante cerca de lo que queríamos: [matemática] (a, b) (c, d) = (ac-bd, ad + bc). [/ Matemática] Si igualamos partes, tenemos
[matemáticas] ac + bdi ^ 2 = ac – bd [/ matemáticas]
[matemáticas] i ^ 2 = -1 [/ matemáticas]
Es solo una regla que hace que la multiplicación de puntos funcione. Al igual que multiplicar dos menos hace un plus, multiplicar dos [math] i [/ math] s hace un menos. Entonces multiplicar cuatro [matemáticas] i [/ matemáticas] s hace un plus.
Hay otras formas de llegar a la regla de la multiplicación, especialmente considerando la rotación y la dilatación, pero lo guardaré para otro momento.
Así que no se preocupe por [math] \ sqrt {-1} [/ math]; es solo un truco para que podamos usar nuestras reglas aritméticas regulares en los puntos.