Estamos buscando todas [matemáticas] z [/ matemáticas] que satisfagan [matemáticas] z ^ 4 = -4 [/ matemáticas].
Sea [math] z = a + bi = [/ math] [math] R e ^ {i \ phi} [/ math], con [math] R = | z | = \ sqrt {a ^ 2 + b ^ 2 } [/ math] y [math] \ phi = \ arg z [/ math].
Entonces estamos buscando
[matemáticas] \ displaystyle \ left (R e ^ {i \ phi} \ right) ^ 4 = -4 [/ math]
- ¿Por qué el mayor divisor común entre dos polinomios no está definido en [math] \ mathbb {Z} [x] [/ math]?
- ¿Qué es [math] \ int_0 ^ \ infty \ sin x \, dx [/ math]?
- Cómo encontrar [matemáticas] \ displaystyle \ lim_ {n \ to \ infty} \ frac1n \ sum_ {k = 1} ^ n \ ln \ left (\ frac {k} {n} + \ frac1n \ right) [/ math ]
- ¿Cuál es el área que encierra el gráfico polar [matemáticas] r = 8 \ cos 3 \ theta [/ matemáticas]?
- ¿Qué sucederá si todos los equipos digitales, en lugar de operar en combinaciones de 2 valores (0 y 1) lo hicieran en 3 (0,1, -1) (0,1, n)?
[matemáticas] \ displaystyle \ iff R ^ 4 e ^ {4i \ phi} = -4 [/ matemáticas]
[matemáticas] \ displaystyle \ iff R ^ 4 \ left (\ cos 4 \ phi + i \ sin 4 \ phi \ right) = -4 [/ math]
La parte imaginaria debe ser 0 (de lo contrario, no podemos obtener un resultado real en el lado derecho), por lo tanto, [math] \ sin 4 \ phi [/ math] debe ser 0, lo que hace que [math] \ cos 4 \ phi = \ pm 1 [/ matemáticas]. Pero también necesitamos [matemáticas] \ cos 4 \ phi = -1 [/ matemáticas] y [matemáticas] R ^ 4 = 4 [/ matemáticas], es decir, [matemáticas] R = \ sqrt 2 [/ matemáticas].
Las únicas soluciones son estas, que se distribuyen simétricamente alrededor del origen del plano complejo:
[matemáticas] \ displaystyle \ begin {array} {ll} z_1 = 1 + i & (R = \ sqrt 2, \ phi = \ frac {\ pi} {4}) \\ z_2 = -1 + i & (R = \ sqrt 2, \ phi = \ frac {3 \ pi} {4}) \\ z_3 = -1-i & (R = \ sqrt 2, \ phi = \ frac {5 \ pi} {4}) \ \ z_4 = 1-i & (R = \ sqrt 2, \ phi = \ frac {7 \ pi} {4}) \ end {array} [/ math]
Si está buscando una solución genérica:
[matemáticas] \ displaystyle z ^ n = -x \ quad (n \ in \ mathbb N_ +, x \ in \ mathbb R, x> 0) [/ math]
Esto proporciona las siguientes soluciones [math] n [/ math]:
[matemáticas] \ displaystyle z_k = \ sqrt [n] {x} \ cdot e ^ {i \ frac {(2k-1) \ pi} {n}} [/ matemáticas] para todas [matemáticas] k \ in \ { 1, \ ldots, n \} [/ math].
Para verificar esto:
[matemáticas] \ displaystyle \ left (z_k \ right) ^ n = x \ cdot e ^ {i (2k-1) \ pi} = x \ left (\ cos \ left ((2k-1) \ pi \ right) + i \ sin \ left ((2k-1) \ pi \ right) \ right) = x (-1 + 0) = -x [/ math]
Si conecta [matemáticas] n = 4 [/ matemáticas] y [matemáticas] x = 4 [/ matemáticas], obtendrá el mismo resultado que el anterior.