Al contrario de lo que dicen las otras respuestas, este problema requiere algo de trabajo para todos los [matemáticos] n [/ matemáticos] reales, a menos que comience con un teorema que implique inmediatamente la conclusión. Cualquier “prueba” que se base en la multiplicación repetida como una definición de exponenciación o una propiedad derivada de esa idea en realidad solo es válida para [math] n \ in \ mathbb N [/ math] mientras pregunta específicamente sobre [math] n \ in \ mathbb R [/ math]
Para mostrar la igualdad, primero debemos definir [matemática] a ^ n [/ matemática] para real [matemática] a, n [/ matemática]. La definición más común es
[math] a ^ n = \ exp ({n \ ln a}) [/ math] con [math] \ exp [/ math] y [math] \ ln [/ math] denotando el complejo (a veces de valores múltiples) funciones de registro exponencial y natural.
La prueba de su resultado se deduce de las propiedades de estas funciones.
- Cómo demostrar algebraicamente que [matemáticas] (2n + 3) ^ 3- (2n-3) ^ 2 [/ matemáticas] es un múltiplo de [matemáticas] 8 [/ matemáticas], para todos los valores enteros positivos de [matemáticas] n [/matemáticas]
- ¿Qué es un primo gaussiano y cómo puedo identificar uno?
- ¿Qué significa x ^ x cuando x no es un número entero?
- ¿Qué sería el resto cuando [matemáticas] x ^ {12} -x ^ 6 + 1 [/ matemáticas] se divide por [matemáticas] x ^ 2-1 [/ matemáticas]?
- Si [matemática] x [/ matemática] y [matemática] y [/ matemática] son enteros positivos, [matemática] x <y [/ matemática], [matemática] x + y = 667 [/ matemática] y [matemática] LCM (x, y) = 120GCD (x, y) [/ math], ¿qué son [math] x [/ math] y [math] y [/ math]?
[matemáticas] (- 1) ^ {n + 1} = \ exp ((n + 1) \ ln (-1)) = \ exp (n \ ln (-1)) \ exp (\ ln (-1) )[/matemáticas]
Ahora el logaritmo natural del negativo es multivalor y viene dado por
[math] \ ln (-1) = \ ln (\ exp (i \ pi (1 + 2k))) = i \ pi (1 + 2k) [/ math] para cualquier [math] k \ in \ mathbb Z [/matemáticas]
Entonces obtenemos
[matemáticas] (- 1) ^ {n + 1} = \ exp (ni \ pi (1 + 2k)) \ exp (i \ pi (1 + 2k)) [/ matemáticas]
Ahora el argumento del segundo exponencial es siempre un múltiplo impar de [math] \ pi i [/ math], así que vemos
[matemáticas] \ exp (i \ pi (1 + 2k)) = – 1 [/ matemáticas]
Ahora tenemos
[matemáticas] (- 1) ^ {n + 1} = – \ exp (ni \ pi (1 + 2k)) [/ matemáticas]
Similar:
[matemáticas] – (- 1) ^ n = – \ exp (n \ ln (-1)) = – \ exp (ni \ pi (1 + 2m)) [/ matemáticas] para algunas [matemáticas] m \ in \ mathbb Z [/ math]
Entonces vemos que el conjunto de valores dados por [math] (- 1) ^ {n + 1} = – \ exp (ni \ pi (1 + 2k)) [/ math] para algunos [math] k \ in \ mathbb Z [/ math] es idéntico al conjunto de valores dados por [math] – (- 1) ^ {n} = – \ exp (ni \ pi (1 + 2m)) [/ math] para algunos [math] m \ in \ mathbb Z [/ math]. Como los dos conjuntos de valores son idénticos, concluimos que las dos expresiones son de hecho iguales.
.