La afirmación de que todo polinomio no constante de una sola variable con coeficientes complejos tiene al menos una raíz compleja; equivalente a que un polinomio de grado n se factoriza en n factores lineales sobre C contando multiplicidades.

Principio

Los números complejos forman un cuerpo algebraicamente cerrado: toda ecuación polinómica de grado positivo tiene solución en C, lo que implica la factorización completa en factores lineales sobre C.

Demostración

Ejemplo: p(z) = z^2 + 1 es no constante y tiene raíces complejas z = i y z = -i; en general un polinomio de grado n tiene exactamente n raíces complejas contando multiplicidades.

Aplicación incorrecta

Asumir la misma conclusión en campos que no son algebraicamente cerrados (por ejemplo los reales); sobre R un polinomio no constante puede no tener raíz real y solo factorizarse en factores lineales y cuadráticos irreducibles.

Consecuencia

Permite la factorización de polinomios con coeficientes complejos en factores lineales, apoya resultados espectrales en álgebra lineal sobre C y fundamenta muchas construcciones analíticas y algebraicas que requieren la existencia de raíces.

Inversión

La inversión contrasta trabajar sobre un campo no algebraicamente cerrado: en lugar de factores lineales garantizados, los polinomios pueden permanecer irreducibles o factorizar sólo parcialmente, lo que motiva extender el campo de coeficientes para obtener raíces.

Límite

Requiere polinomios univariantes con coeficientes en C (o en cualquier cuerpo algebraicamente cerrado) y grado no nulo; los polinomios multivariantes o sobre campos no cerrados quedan fuera de la afirmación directa y requieren nociones distintas de soluciones.

Tensión semántica

Hay tensión entre la propiedad de clausura algebraica como afirmación de existencia y los enfoques constructivos para hallar raíces; las pruebas usan métodos analíticos, topológicos o algebraicos que resaltan facetas distintas del mismo hecho.

Síntesis

El Teorema Fundamental Del Álgebra afirma que los complejos son algebraicamente completos para polinomios univariantes: todo polinomio no constante tiene una raíz compleja y por tanto se factoriza completamente en términos lineales sobre C, enlazando estructura algebraica con razonamiento analítico y topológico.