Unidad Imaginaria
La unidad imaginaria $i$ se define como la raíz cuadrada de menos uno, satisface $i^2 = -1$, y es la base de los números complejos.
Formula
i = \sqrt{-1}, i^2 = -1
Definition
La unidad imaginaria $i$ se define como la raíz cuadrada de $-1$, satisfaciendo $i^2 = -1$: ya que ningún número real al cuadrado es igual a $-1$, $i$ es un nuevo tipo de número que extiende el sistema de números reales, aunque el nombre "imaginario" es engañoso, $i$ es un objeto matemático tan válido como cualquier otro número, históricamente desconfiado antes de que los números complejos fueran completamente entendidos. Sus potencias forman un ciclo: $i^0=1$, $i^1=i$, $i^2=-1$, $i^3=-i$, $i^4=1$, y se repiten, con $i^n$ hallado a partir de $n \bmod 4$; permite expresar raíces cuadradas de negativos, $\sqrt{-a} = i\sqrt{a}$ para $a > 0$. Algebraicamente, $i$ es una raíz del polinomio irreducible $x^2 + 1$ sobre $\mathbb{R}$, y el cuerpo $\mathbb{C} = \mathbb{R}[x]/(x^2+1)$ es la extensión de cuerpo obtenida al agregar esa raíz; equivalentemente, $\mathbb{C}$ puede representarse como matrices reales $2\times 2$ de la forma $\begin{bmatrix}a & -b\\b & a\end{bmatrix}$, donde $i$ corresponde a $\begin{bmatrix}0 & -1\\1 & 0\end{bmatrix}$.
Example
$i^1 = i$, $i^2 = -1$, $i^3 = -i$, $i^4 = 1$, y luego el patrón se repite: $i^5 = i$, $i^6 = -1$, y así sucesivamente. $\sqrt{-25} = i\sqrt{25} = 5i$, y $i^{47}$, ya que $47 \bmod 4 = 3$, es igual a $i^3 = -i$; además $(3i)^2 = 9i^2 = -9$. La matriz $\begin{bmatrix}0 & -1\\1 & 0\end{bmatrix}$ satisface $\begin{bmatrix}0 & -1\\1 & 0\end{bmatrix}^2 = \begin{bmatrix}-1 & 0\\0 & -1\end{bmatrix} = -I$, confirmando $i^2 = -1$, con la multiplicación compleja correspondiendo a la multiplicación de matrices en esta representación.
Key Insight
El ciclo $i, -1, -i, 1$ corresponde a una rotación de $90^\circ$ en el plano complejo: multiplicar por $i$ rota un número complejo $90^\circ$ en sentido antihorario, una interpretación geométrica que hace intuitiva la multiplicación compleja, y la representación matricial de $\mathbb{C}$ como matrices reales $2\times 2$ lo confirma rigurosamente, revelando que la multiplicación compleja es fundamentalmente una rotación y un escalamiento.