MATE: Sabe alguien resolver esta sencilla ecuacion?

Por qué 1 elevado a x puede ser igual a e (y no es un error)​

La ecuación cabe en una servilleta y ofende a la intuición: 1^x = e, con e igual a 2,71. Cualquiera que haya pasado por el instituto sabe que uno elevado a lo que sea sigue siendo uno, así que la respuesta elemental es que esa igualdad no se sostiene. Y es cierta a medias. En la recta real no hay ninguna solución; en el plano complejo hay infinitas. Todas imaginarias puras, todas fuera del alcance de una calculadora de bolsillo.

¿Por qué 1^x = e no tiene solución real?​

No la tiene porque la propia operación conduce a una contradicción. Tomando logaritmos neperianos en los dos lados queda ln(1^x) = ln e, esto es, x · ln 1 = 1. Como ln 1 = 0, la igualdad se convierte en x · 0 = 1, que no se cumple con ningún número real: cualquier cantidad multiplicada por cero da cero. El argumento es tan rotundo que muchos lo cerraron ahí, sin margen para nada más.

La intuición acompaña al cálculo. Una potencia de base 1 consiste en multiplicar el uno por sí mismo tantas veces como indique el exponente, y eso devuelve siempre uno. De ahí la convicción, muy extendida, de que uno elevado a lo que sea es uno. El problema es que esa regla se aprende en un terreno —los reales— y se aplica después en otro donde ya no manda.

La solución compleja: cuando 1 deja de ser solo 1​

En el plano complejo el uno tiene muchas caras. La fórmula de Euler permite escribirlo como 1 = e^(2πki), con k entero. No es un truco de prestidigitador: es la misma unidad recorriendo el círculo unidad k vueltas hasta volver al punto de partida. Aceptado eso, su logaritmo deja de ser un número único y pasa a ser una familia: ln 1 = 2πki. Sustituyendo en la ecuación original, x · 2πki = 1 y, despejando, x = -i / (2πk) con k entero distinto de cero.

Da igual escribirlo con el signo contrario: k recorre todos los enteros no nulos y el conjunto de soluciones no cambia al invertir su signo. Ahí está lo llamativo. La igualdad que parecía imposible tiene respuestas infinitas, todas sobre el eje imaginario, y basta elegir cualquier k para obtener una. El caso k = 0 se descarta por una razón elemental: divide por cero y la expresión se vuelve indeterminada.

El exponente que no se puede bajar​

Aquí está el error de fondo. En los reales se da por sentado que (a^b)^c equivale a a^(bc), una propiedad que se enseña como si fuera universal. En el plano complejo esa igualdad falla en general, porque obliga a escoger una sola rama del logaritmo y tirar el resto. Quien la aplica sin mirar obtiene un cero que anula la ecuación; quien arrastra las infinitas ramas llega a la respuesta buena. Elegir la rama principal no es un teorema, es una conveniencia de cálculo, útil en unos casos y engañosa en otros.

Dónde caen las soluciones y qué pasa al acercarse al origen​

Conviene no confundir dos movimientos distintos. El e^(2πki) es el que gira alrededor del círculo unidad, una vuelta por cada valor entero de k. Las soluciones de x, en cambio, no dan vueltas: se colocan en vertical sobre el eje imaginario y se amontonan hacia el origen a medida que k crece. No están equiespaciadas, porque el hueco entre una y la siguiente se estrecha conforme aumenta el denominador. La geometría del asunto confunde más que la propia álgebra.

Los atajos que no cierran​

Hay salidas aparentes que no llevan a ninguna parte. Una propone que x sea infinito, apoyándose en que (1 + 1/x)^x tiende a e cuando x crece sin límite. El razonamiento tiene un agujero: 1/x nunca vale cero para ningún valor finito y el infinito no es un número al que se pueda elevar nada.

Otra confusión habitual mezcla el enunciado con su resultado: que la ecuación se escriba con tres símbolos no implica que su solución quepa en media línea de cuaderno. Y una tercera mezcla planos: se discute si el problema es de letras o de ciencias, cuando el obstáculo real es haber aprendido los números complejos de oídas.

Cero soluciones reales. Infinitas complejas. Todas a distancias que son fracciones de 1/(2π). La igualdad que parecía un chiste de sobremesa resulta ser una puerta de entrada al logaritmo multivaluado, ese que casi nadie ve en clase y sin el cual media física moderna no se puede escribir.