La expresión [math] b ^ c [/ math] aparece en ambos lados de la ecuación, así que vamos a darle un nombre: [math] n = b ^ c [/ math]. La ecuación ahora se convierte en
[matemáticas] a ^ n = n ^ a [/ matemáticas].
donde [math] n [/ math], como [math] a [/ math], es un número entero positivo. Esta ecuación se discutió en Quora varias [1] veces [2] pero generalmente en el contexto de soluciones reales, en lugar de enteras. Para mantener esta respuesta autónoma, determinemos rápidamente todas esas soluciones enteras.
Claramente podemos hacer que [math] a [/ math] sea cualquier número entero positivo y [math] n = a [/ math].
- ¿Ha habido alguna prueba en la conjetura de Collatz de que cada número entero va a una potencia de dos?
- ¿Existe la posibilidad de tener una forma poliédrica que tenga n + 1 lados con n bordes, donde cada lado limita con el otro? Sé que el tetraedro se ajusta a esto, pero ¿podemos encontrar alguna n más grande?
- ¿Cuál es el resto de 7 ^ (7 ^ 7) cuando se divide por 5?
- ¿Cuál es la suma de TODOS los enteros (no solo positivos)?
- La suma de dos enteros es 10 y la suma de sus recíprocos es 5/12. ¿Cuál es el mayor de los enteros?
Cuando [math] a = 1 [/ math], también debemos tener [math] n = 1 [/ math] para que no haya nada nuevo aquí.
Cuando [matemática] a = 2 [/ matemática] la ecuación se convierte en [matemática] 2 ^ n = n ^ 2 [/ matemática]. Esto es cierto cuando [matemática] n = 2 [/ matemática] (no nueva) y [matemática] n = 4 [/ matemática] (nueva), y para ningún otro valor de [matemática] n [/ matemática] desde [matemática ] 2 ^ n [/ matemática] excede [matemática] n ^ 2 [/ matemática] para [matemática] n> 4 [/ matemática] (inducción, o tomar registros).
Cuando [math] a = 3 [/ math] o más tenemos [math] a> e [/ math] que fuerza [math] n <e [/ math] si [math] n [/ math] es diferente de [math] a [/ math] (esto se debe a que [math] x / \ ln (x) [/ math] es una función unimodal, que disminuye monotónicamente para [math] x e [/ matemáticas]). Entonces, el único valor entero posible para [matemática] n [/ matemática] es [matemática] n = 2 [/ matemática], lo que significa [matemática] a ^ 2 = 2 ^ a [/ matemática] que ya hemos resuelto.
En resumen, las soluciones enteras positivas de [matemáticas] a ^ n = n ^ a [/ matemáticas] son [matemáticas] (a, a) [/ matemáticas] para cualquier [matemáticas] a [/ matemáticas] así como [matemáticas ] (2,4) [/ math] y [math] (4,2) [/ math], y nada más.
Volviendo a la ecuación original.
[matemáticas] \ displaystyle a ^ {b ^ c} = b ^ {ac} [/ matemáticas]
vemos que tenemos las siguientes clases de soluciones:
- Elija los enteros positivos [matemática] b, c [/ matemática] que desee y deje que [matemática] a = b ^ c [/ matemática]. Esto corresponde al caso fácil [math] a = n [/ math], y nos da una familia infinita de soluciones, una para cada par [math] (b, c) [/ math].
- [matemática] a = 2 [/ matemática], [matemática] b ^ c = 4 [/ matemática] que significa [matemática] a = b = c = 2 [/ matemática] o [matemática] a = 2 [/ matemática] , [matemáticas] b = 4 [/ matemáticas], [matemáticas] c = 1 [/ matemáticas].
- [matemática] a = 4 [/ matemática], [matemática] b ^ c = 2 [/ matemática] que significa [matemática] a = 4 [/ matemática], [matemática] b = 2 [/ matemática], [matemática] c = 1 [/ matemáticas].
Y esas son todas las soluciones.
Notas al pie
[1] Si [matemáticas] x ^ y = y ^ x [/ matemáticas] y x e y no son iguales, ¿qué son x e y?
[2] ¿Cómo puedes resolver: [matemáticas] x ^ y = y ^ x [/ matemáticas]?