¿Cuándo [matemáticas] a ^ m = a ^ n? [/ Matemáticas]

Cuando [math] a [/ math] es un número real positivo ([math] a> 0 [/ math]) se puede demostrar que la función [math] f (x) = a ^ x [/ math] es aumentando o disminuyendo en toda la recta numérica real, dependiendo de si [matemática] a [/ matemática] es mayor o menor que [matemática] 1 [/ matemática]. Eso significa que si [matemática] a> 1 [/ matemática] entonces podemos decir: para dos números reales [matemática] x [/ matemática] y [matemática] y [/ matemática], si [matemática] x <y [ / math] luego [math] a ^ x <a ^ y [/ math]. Funciona de manera opuesta si [math] a <1 [/ math]. Entonces, en la situación donde [math] a \ neq 1 [/ math], si [math] m \ neq n [/ math] entonces [math] a ^ m \ neq a ^ n [/ math]. Por lo tanto, la única forma de tener [matemáticas] a ^ m = a ^ n [/ matemáticas] es si [matemáticas] m = n [/ matemáticas], independientemente de si son enteros o no.

(Ahora, ¿qué sucede si [matemáticas] a = 1 [/ matemáticas]?)

Si [matemática] a = 0 [/ matemática] entonces [matemática] a ^ m = 0 [/ matemática] para valores positivos de [matemática] m [/ matemática], pero [matemática] a ^ m [/ matemática] no existe si [math] m [/ math] es negativo. (¿Ves por qué? Piensa en lo que [matemática] 0 ^ {- 1} [/ matemática] significa, por ejemplo). Si [matemática] a = 0 [/ matemática] y [matemática] m = 0 [/ matemática] entonces no podemos decir que [math] a ^ m [/ math] tiene un valor bien definido, pero esto es algo más especial que simplemente decir que no está definido. [matemáticas] 0 ^ 0 [/ matemáticas] es un ejemplo de lo que llamamos una forma indeterminada. El significado real de eso implica cálculo, pero la explicación simple que daría es que usted podría decidir literalmente que cualquier número complejo sea el valor de [matemáticas] 0 ^ 0 [/ matemáticas] y sería coherente con las leyes del álgebra .

(El verdadero significado de “forma indeterminada” está más cerca de decir que, sin importar el número no negativo que elija, digamos [matemáticas] e ^ \ frac {23} {77 \ pi} [/ matemáticas], puede pensar de funciones [matemática] f (x) [/ matemática] y [matemática] g (x) [/ matemática] y una forma particular de mover el valor de [matemática] x [/ matemática] para hacer los valores de [matemática] f (x) [/ math] y [math] g (x) [/ math] ambos se acercan a [math] 0 [/ math], de modo que el valor de [math] f (x) ^ {g (x)} [/ math] se acerca al número que eligió originalmente. Una pregunta divertida a considerar después de haber estudiado los límites por un momento es: ¿puede encontrar un ejemplo que “iguale” [math] \ infty [/ math]?)

Finalmente, si [math] a [/ math] es negativo, no puede hablar significativamente de [math] a ^ m [/ math] como un número real para la mayoría de los valores reales de [math] m [/ math]. (Considere el ejemplo de [matemáticas] (- 1) ^ \ frac {1} {2} [/ matemáticas], para empezar.) Pero [matemáticas] a ^ m [/ matemáticas] está claramente definido cuando [matemáticas] m [ / math] es un número entero. No debería ser demasiado difícil en este caso usar el ejemplo de potencias de números positivos para mostrar que las potencias (enteras) de un número negativo solo son iguales cuando los exponentes son iguales, es decir, si [matemática] m [/ matemática] y [matemática] n [/ matemática] son ​​enteros y [matemática] a ^ m = a ^ n [/ math] debe ser que [math] m = n [/ math].

[matemáticas] a ^ m = a ^ n [/ matemáticas]

[matemáticas] \ implica \ dfrac {a ^ m} {a ^ n} = 1 [/ matemáticas]

Usando [math] \ boxed {\ dfrac {x ^ a} {x ^ b} = x ^ {ab}} [/ math]

[matemáticas] a ^ {mn} = 1 [/ matemáticas]

Tome [math] \ log_a [/ math] ambos lados

[matemáticas] \ log_a {a ^ {mn}} = 0 [/ matemáticas]

[matemáticas] \ implica mn = 0 [/ matemáticas]

[matemáticas] \ implica m = n [/ matemáticas].

La pregunta cambió cuando escribí, pero creo que la respuesta sigue siendo la misma.

Sospecho que no ha transcrito su recurso fielmente. Estoy disfrutando de cómo Quora actualiza la descripción a medida que la edita, al menos a través de la interfaz web.

Para las [matemáticas] a positivas, [/ matemáticas] no es diferente para enteros o reales. Para real [matemática] a, m, n, [/ matemática] con [matemática] a> 0, [/ matemática] [matemática] a \ ne 1 [/ matemática], tenemos [matemática] a ^ m = a ^ n [/ math] si y solo si [math] m = n. [/ math]

Para [matemáticas] a = 0 [/ matemáticas] y [matemáticas] a = 1 [/ matemáticas] no es cierto. Para [matemática] a = 0 [/ matemática] los exponentes negativos dan como resultado la división por cero.

Para [matemática] a <0, [/ matemática] depende del tipo de [matemática] m [/ matemática] y [matemática] n. [/ Matemática]

Para enteros [matemática] m, n, [/ matemática] real [matemática] a \ ne 0, 1 [/ matemática] o [matemática] -1, [/ matemática] [matemática] a ^ m = a ^ n [/ matemática] si y solo si [matemática] m = n. [/ matemática]

No es cierto para [matemáticas] a = -1. [/ Matemáticas]

Si permitimos que [math] m [/ math] y [math] n [/ math] sean racionales, obtenemos raíces cuadradas de números negativos, que no son reales. Una vez que permitimos números complejos, tenemos el problema de que habrá, por ejemplo, trece raíces trece de un número negativo y lo que pensamos que eran funciones ahora son expresiones de valores múltiples. Luego nos rascamos la cabeza sobre lo que significa la igualdad de expresiones multivalor.

Cuando obtiene números reales para [math] m [/ math] y [math] n, [/ math], entonces, en lugar de que la expresión multivalor [math] (- 2) ^ m [/ math] sea un número finito de valores , se convierte en un número infinito de valores y la igualdad se vuelve aún más sutil.

a ^ m = a ^ n

Tomando logaritmo de ambos lados ..

m * log (a) = n * log (a) -> (mn) * log (a) = 0

Por lo tanto, log (a) = 0 o mn = 0

En el primer caso, log (a) = 0 -> a = 1

En el segundo caso mn = 0 -> m = n

Nota : a = 0 será una solución si y solo si m, n> 0

Para números reales, a ^ n = a ^ m implica uno de estos:

n = m

a = 1 (porque 1 ^ n = n)

a = 0 yn, m> 0, porque 0 ^ n = 0 si n es positivo e indefinido si n es negativo.

a = -1 yn ym tienen la misma paridad (son impares o pares), porque (-1) ^ n = 1 si n es par y -1 si n es impar.

Cuando m = n entonces a * m = a * n,

si m = 0, n = 0