Usted debe tener cuidado, aunque $2^2 = (-2)^2 = 4$ esto no significa que $2 = -2$, de hecho el problema aquí (pensar acerca de reales por un tiempo), es que si se consideran los números negativos, entonces la función de $f: \mathbb{R}\to\mathbb{R}$ $f(x) = x^2$ no es inyectiva.
Puesto que usted ha creado $i$$i=\sqrt{-1}$, entonces usted está obviamente permitido crear un nuevo número de $-i = -\sqrt{-1}$. También, si usted cree en la función de $f: \mathbb{C} \to \mathbb{R}^2$$f(a+bi) = (a,b)$, esta función identifica $\mathbb{C}$$\mathbb{R}^2$, y en este sentido, un número complejo es un punto en el plano. Tenga en cuenta que tenemos $f(i) = (0,1)$ y $f(-i) = (0,-1)$, así que hay dos cosas a tener en cuenta: cada número que puede escribirse $ai$ algunos $a \in \mathbb{R}$ puede ser identificado con un punto en el $y$ eje, y la introducción de $-i$ tenemos no sólo la parte superior $y$ eje, pero el total de uno.
EDIT: Debido a los comentarios que he pensado que sería bueno añadir esta edición. Encima me ha proporcionado una geométricas vista de lo que ocurre cuando se introduce $-i$, ahora solo voy a decir un poco acerca de la algebraicas punto de vista. Ya que cada número complejo $z \in \mathbb{C}$ $z=a+ib$ algunos $a,b \in \mathbb{R}$ si no permitimos que cosas como $-i$ le gustaría tener algunos problemas. Por ejemplo, considere la posibilidad de ecuaciones cuadráticas con complejo conjugado raíces: uno de ellos sería un bien definidos elemento de $\mathbb{C}$, pero el otro no! Además, no sería posible presentar para cada una de las $z$ $-z$ con la propiedad de nice $z + (-z) = 0$ y resulta que $\mathbb{C}$ no sería un campo. También, si se utiliza el estándar de las operaciones de suma entre los complejos y ha $z = a+ib$ y desea que el inverso aditivo $-z$ se puede demostrar muy fácilmente que usted debe tener $-z = (-a) + i(-b)$, por lo que el $-i$ podría realmente ser $i(-1)$, por lo que en la práctica, el elemento $-i$ (y cualquier otro negativo complejo en general) aparece de forma natural a la hora de definir los complejos como nosotros y cuando introducimos las operaciones como a nosotros.