Ya discutimos la historia del desarrollo del concepto de un número.

Aquí me gustaría llevar a cabo un

enfoque más formal. Por lo tanto, al principio estaba contando. Pero pronto la gente se preocupó por la
resolución de ecuaciones. (Si veo 13 inviernos y la ley de mi tribu permite que una doncella se case después
de su 15º invierno, ¿cuántos inviernos debo esperar antes de permitirme casarme con el magnífico cazador
que vive al otro lado de la montaña?) El teorema fundamental del álgebra es un teorema sobre la resolución de
ecuaciones. Establece que cada ecuación polinomial en el campo de números complejos de grado superior a 1
tiene una solución compleja. Las ecuaciones polinomiales están en la forma

P (x) = anxn + an-1xn-1 + ... + a1x + a0 = 0,

donde se supone que no es cero (¿por qué mencionarlo de otra manera?), en cuyo caso n se llama el grado del
polinomio P y de la ecuación anterior. Los ai son coeficientes conocidos, mientras que x es un número
desconocido. Un número a es una solución a la ecuación P (x) = 0 si sustituir a por x lo convierte en
identidad: P (a) = 0. Se supone que los coeficientes pertenecen a un conjunto específico de números donde
también buscamos una solución. La forma polinómica es muy general, pero a menudo estudiar P (x) = Q (x)
es más conveniente.

Para ver cómo funciona esto comencemos con los números de conteo (el conjunto N de los números 1,2,3, ...)
y la ecuación más simple x + a = b. Por ejemplo, x + 5 = 12 tiene una solución x = 12 - 5 = 7. Además, x + 4
= 20 tiene una solución x = 20 - 4 = 16. Además, x + 20 = 4 tiene una solución x = 4 - 20 =? Oops, hay un
problema. ¿Qué es 4-20 entre los números de conteo? No existe un número tal que cuando se agrega a 20 da
4. Decimos que el conjunto de números de conteo no está cerrado algebraicamente. La introducción de
números negativos (nota: no explico aquí cómo hacer esto) alivia el problema:

Cualquier ecuación x + a = b donde a, b∈N tiene una solución x∈Z, donde Z es el conjunto de números
enteros (más, menos números enteros y cero).
En realidad, obtenemos un poco más de lo esperado. Porque, una vez que aceptamos los negativos, tenemos
un resultado más sólido:

Cualquier ecuación x + a = b donde a, b∈Z tiene una solución x∈Z.

Incluso si se permite que los coeficientes sean negativos, la ecuación todavía tiene una solución en Z. Ahora
consideremos otras ecuaciones sobre Z: 5x - 10 = 0. x = 10/5 = 2. Además, 11x + 132 = 0. x = -132/11 = -12.
Además, 5x - 11 = 0. x = 11/5 =?. ¿Lo ves? Esto sucedió de nuevo. ¿Hay un número entero tal que cuando se
multiplica por 5 dé 11? No, Z tampoco está cerrado algebraicamente. Sin embargo, la introducción de
números racionales Q parece resolver el problema:

Cualquier ecuación ax + b = 0 donde a, b∈Z tiene una solución x∈Q

Además, nuevamente obtenemos un resultado más fuerte, a saber:

Cualquier ecuación ax + b = 0 donde a, b∈Q tiene una solución x∈Q

Incluso cuando los coeficientes se toman como racionales, la ecuación todavía tiene una solución racional. Sin
embargo, Q todavía no está cerrado algebraicamente. Porque hay ecuaciones con coeficientes racionales (p.
Ej., X2 = 2) que no tienen una solución racional. Esto lleva al conjunto R de números reales. R es un campo
grande pero aún no algebraicamente cerrado: la ecuación de aspecto inocente x2 + 1 = 0 con coeficientes
reales no tiene una solución real. Entonces, eventualmente introducimos el campo de número complejo P.
Esperamos que las ecuaciones polinomiales con coeficientes reales sin solución entre reales tengan soluciones
complejas. Esto es de hecho así. Pero el teorema fundamental del álgebra establece aún más. Afirma que
nuestra perseverancia dio buenos resultados. No solo las ecuaciones con coeficientes reales tienen soluciones
complejas. Cada ecuación polinómica con coeficientes complejos tiene al menos una solución compleja. En
otras palabras, ¡el campo de números complejos está algebraicamente cerrado!

¡Finalmente! Los números complejos son realmente perfectos para resolver ecuaciones