La primera referencia conocida a races cuadradas de nmeros negativos proviene del
trabajo de los matemticos griegos, como Hern de Alejandra en el siglo I antes de Cristo, como resultado de una imposible seccin de una pirmide. Los complejos se hicieron ms patentes en el Siglo XVI, cuando la bsqueda de frmulas que dieran las races exactas de los polinomios de grados 2 y 3 fueron encontradas por matemticos italianos como Tartaglia, Cardano. Aunque slo estaban interesados en las races reales de este tipo de ecuaciones, se encontraban con la necesidad de lidiar con races de nmeros negativos. El trmino imaginario para estas cantidades fue acuado por Descartes en el Siglo XVII y est en desuso. La existencia de nmeros complejos no fue completamente aceptada hasta la ms abajo mencionada interpretacin geomtrica que fue descrita por Wessel en 1799, redescubierta algunos aos despus y popularizada por Gauss. La implementacin ms formal, con pares de nmeros reales fue dada en el Siglo XIX. Un nmero complejo es un nmero con la estructura x + iy. Aqu x es la parte real del nmero, y es la parte imaginaria del nmero e i significa imaginario. El valor del cuadrado de i es igual a 1. El nmero imaginario i es uno de los dos nmero que cumple con la regla (i) 2 = 1, el otro nmero es -i. Formalmente, escribimos i =1. Un nmero complejo z se escribe como z = x + iy Donde x e y son nmeros reales. Llamamos a x la parte real de z y y la parte imaginaria y escribimos x = Rez, y = Imz. Dos nmeros complejos son iguales si y slo si sus partes reales e imaginarias son iguales. El complejo conjugado de z = x + iy, denotado como z, es definido como Z = x - iy