Matemáticas · Glosario

¿Qué es Raíces de la unidad?

Definición 28.14 Matemáticas de secundaria · Capítulo 28 — Números complejos

Para n1n \geq 1, las raíces nn-ésimas de la unidad son las soluciones de zn=1z^n = 1.

Las raíces quintas de la unidad, con = 2 π/5: los vértices de un pentágono regular inscrito en la circunferencia unidad ().
Las raíces quintas de la unidad, con ω=e2iπ/5\omega = \eu^{2\iu\pi/5}: los vértices de un pentágono regular inscrito en la circunferencia unidad (Ejercicio 28.10).
Leer en el capítulo →
Definición 3.17 Matemáticas universitarias — Grado 1 · Capítulo 3 — Números complejos

Las raíces nn-ésimas de la unidad son las soluciones de zn=1z^n = 1:

Un={ωk:k=0,,n1},ω=e2iπ/n.\mathbb{U}_n = \bigl\{\, \omega^k : k = 0, \dots, n-1 \,\bigr\}, \qquad \omega = \eu^{2\iu\pi/n}.

Forman un grupo con la multiplicación (Capítulo 7) y se sitúan en los vértices de un nn-ágono regular inscrito en la circunferencia unidad.

Las raíces quintas de la unidad, = 2 π/5: un pentágono regular sobre la circunferencia unidad.
Las raíces quintas de la unidad, ω=e2iπ/5\omega = \eu^{2\iu\pi/5}: un pentágono regular sobre la circunferencia unidad.

Ejemplos

Ejemplo 3.20 (Raíces cuadradas en forma algebraica)

Para resolver z2=3+4iz^2 = 3 + 4\iu sin trigonometría, póngase z=x+iyz = x + \iu y:

x2y2=3,2xy=4,x2+y2=3+4i=5.x^2 - y^2 = 3, \qquad 2xy = 4, \qquad x^2 + y^2 = \abs{3 + 4\iu} = 5 .

Sumando la primera y la última: x2=4x^2 = 4, luego x=±2x = \pm 2, y entonces y=2/x=±1y = 2/x = \pm 1 con el mismo emparejamiento de signos (xy=2>0xy = 2 > 0): z=±(2+i)z = \pm(2 + \iu). Combinado con la fórmula habitual, esto resuelve toda ecuación de segundo grado con coeficientes complejos (Ejercicio 3.7).

Ejemplo 3.16 (Un miembro derecho no real)

Resuélvase z4=8+8i3z^4 = -8 + 8\iu\sqrt3. Forma exponencial del miembro derecho: módulo 64+192=16\sqrt{64 + 192} = 16 y argumento θ\theta con cosθ=12\cos\theta = -\frac12, sinθ=32\sin\theta = \frac{\sqrt3}2, es decir, θ=2π3\theta = \frac{2\pi}3. Las cuatro raíces son

zk=2ei(π6+kπ2),k=0,1,2,3:z0=3+i,z1=iz0=1+i3,z_k = 2\,\eu^{\iu(\frac\pi6 + \frac{k\pi}2)}, \quad k = 0, 1, 2, 3 : \qquad z_0 = \sqrt3 + \iu,\quad z_1 = \iu z_0 = -1 + \iu\sqrt3,
z2=z0=3i,z3=iz0=1i3.z_2 = -z_0 = -\sqrt3 - \iu,\qquad z_3 = -\iu z_0 = 1 - \iu\sqrt3 .

(Comprobación: z02=2+2i3z_0^2 = 2 + 2\iu\sqrt3, luego z04=(2+2i3)2=412+8i3=8+8i3z_0^4 = (2 + 2\iu\sqrt3)^2 = 4 - 12 + 8\iu\sqrt3 = -8 + 8\iu\sqrt3.) Una vez hallada una raíz, las otras tres salen gratis: son sus rotaciones sucesivas de π2\frac\pi2, es decir, sus productos por las raíces cuartas de la unidad — la estructura general que hay detrás del Teorema 3.14, y que conviene aprovechar antes de recalcular cada raíz desde cero. Esta vez no hay simetría de conjugación: el miembro derecho no es real.

Leer en el capítulo →