[color=#999999]Esta actividad pertenece al [i]libro de GeoGebra[/i] [url=https://www.geogebra.org/m/edby4fdr]Variable compleja[/url].[/color][br][br]El teorema fundamental del álgebra, además de importante, es uno de los más bellos, por su simpleza. Dice que [color=#cc0000]todo polinomio de grado mayor que cero tiene una raíz. [color=#000000]De este resultado se puede deducir fácilmente que [color=#cc0000]todo polinomio[/color] [/color]de grado [i]n[/i] tiene exactamente [i]n[/i] raíces[/color]. [br][br]Ahora bien, el teorema se refiere a funciones polinómicas en los que el cuerpo numérico no es [math]\mathbb{R}[/math] sino [math]\mathbb{C}[/math], es decir, polinomios con coeficientes y raíces complejas. Esto es un inconveniente a la hora de representar esas [i]n[/i] raíces, ya que necesitaríamos un espacio de cuatro dimensiones. Pero podemos usar un truco: restringir la función compleja, quedándonos solo con el dominio cuyas imágenes sean reales. Así, en vez de una función [math]f:\mathbb{C}\longrightarrow\mathbb{C}[/math], tendremos una función[math]f:\mathbb{C}\longrightarrow\mathbb{R}[/math], cuya gráfica ya se puede representar en 3D, usando el eje Z como eje imaginario ([math]f:XZ\longrightarrow Y[/math]).[br][br]Por ejemplo, sea [color=#cc0000]y = f(x) = x[sup]2[/sup] - 2x + 2[/color]. En variable compleja se convierte en: [color=#cc0000]y = f(x + z [i]i[/i]) = (x + z [i]i[/i])[sup]2[/sup] -2(x + z [i]i[/i]) + 2[/color], cuya parte imaginaria es 2z(x -1). [color=#0000ff]Si igualamos esta parte a cero[/color], nos aseguramos que la imagen de f sea real. En este ejemplo, eso solo pasa cuando z vale 0 o cuando x vale 1. [br][br]En el primer caso, z=0, obtenemos la función de variable real cuya gráfica ya conocemos (en color azul sobre el plano gris XY). En el segundo, x=1, basta sustituir este valor en la expresión de f para obtener la curva [color=#cc0000](1, 1-z[sup]2[/sup], z)[/color], con [math]z\in\mathbb{R}[/math] (en color rojo).[br][br]Las raíces complejas (puntos amarillos en la Vista 3D) son las intersecciones de esas dos curvas con el plano azul XZ (los puntos con [color=#cc0000]y = f(x + z [i]i[/i]) = 0[/color]). Lo que hace el comando [color=#0000ff][i]RaízC[/i] [/color]de GeoGebra es trasladar esos puntos desde el plano complejo XZ al plano real XY (puntos amarillos en la Vista 2D).[br][br]También podemos seguir el mismo procedimiento para crear la superficie que representa a los números complejos [color=#cc0000]x + z [i]i[/i][/color] tales que su parte imaginaria esté en un intervalo real (en la construcción, ese intervalo va de -5 a 5, es decir, [color=#cc0000]y = f(x + z [i]i[/i]) = a + b [/color][color=#cc0000][i]i[/i][/color] , [math]b\in\left[-5,5\right][/math]).[br][br][color=#999999]Nota: Observa que, en general, la curva roja no es una curva plana, al contrario de lo que ocurre con la curva azul. El método que hemos seguido para visualizar las raíces complejas se pueda aplicar también a otras funciones (polinómicas o no), mientras sea posible calcular la expresión que anula la parte imaginaria de la imagen de la función (es decir, el método queda supeditado al cálculo de raíces reales). A veces, esta expresión tiene doble signo debido a la aparición de raíces cuadradas.[/color]

[color=#999999]Autor de la actividad y construcción GeoGebra: [url=https://www.geogebra.org/u/rafael]Rafael Losada[/url].[/color]