Una ecuación (no algebraica) bien curiosa

Me he encontrado con la siguiente ecuación $x^x=x$, siendo $\mathbb{R} \ni x \neq 0 $. Voy a entretenerme a resolver esta ecuación y, de paso, a apuntar una interesante generalización de la solución de dicha ecuación a otras que tienen la misma forma pero que son un poco más complicadas a la hora de analizarlas.

Mediante un sencillo ensayo de prueba y error, vemos que tanto $1$ como $-1$ satisfacen la igualdad; sin embargo, ¿consta la solución de más valores además de estos dos? Voy a resolver la ecuación, paso a paso, para demostrar que no hay más valores en las solución que éstos. Primero, nos conviene escribir la ecuación de manera equivalente como $x^x-x=0$. Entonces, como $x\neq 0$, sólo caben dos posibilidades, que $x$ sea un número positivo o bien que sea un número negativo:

1. Si $x\gt 0$, al ser $x\neq 0$, únicamente puede anular el primer miembro de la ecuación el segundo factor; entonces $x^x-x=0 \Rightarrow x\,(x^{x-1}-1)=0$, luego $x^{x-1}-1=0$, esto es $x^{x-1}=1$, que puede expresarse de la forma $x^{x-1}=x^0 \Rightarrow x-1=0$, con lo cual encontramos un primer valor para la solución $x_1=1$, que podemos comprobar sustituyendo en la ecuación, para ver que se cumple la igualda numérica: $1^{1}=1$, que es igual al valor del segundo miembro.
2. Si $x\lt 0$, entonces $-x\gt 0 \therefore -x^{-x}-(-x)=0$, ecuación que podemos estudiar de la misma manera que en el caso anterior, es decir, $-x^{-x}+x=0$ luego $x\,(-x^{-x-1}+1)=0 \Rightarrow -x^{-x-1}+1)=0$, habida cuenta de que el primer factor, $-x$, no es nulo, luego $-x^{-x-1}=-1$, y por tanto $x^{-x-1}=1$, que puede expresarse de la forma $x^{-x-1}=x^0 \Rightarrow -x-1=0$, entonces la solución consta de un segundo valor: $x_2=-1$. En efecto, si substituimos en la ecuación se cumple la igualda numérica: $-1^{-1}=\dfrac{1}{-1}=-1$, que es igual al valor del segundo miembro.

-oOo- Observación (generalización): En general, y siempre que $x\neq 0$, puede comprobarse que para cualquier ecuación de la forma $\displaystyle x^{x^{x^{\ldots^{x}}}}=x$, los únicos valores que forman la solución en $\mathbb{R}$ son los números enteros $-1$ y $1$. Ésto se puede hacer, por ejemplo, realizando la gráfica de la función $\displaystyle f(x)=x^{x^{x^{\ldots^{x}}}}-x$ a partir de la elaboración de una tabla de valores —os sugiero que utilicéis una hoja de cálculo— para observar que, al visualizar la gráfica, los (únicos) dos puntos de intersección de la gráfica con el eje de abscisas son los que tienen esos valores por abscisas. Y, desde luego, si substituimos uno y otro valor en la ecuación, es muy fácil comprobar que se cumple la igualdad numérica que corresponde a la igualdad algebraica $\displaystyle x^{x^{x^{\ldots^{x}}}}=x$. Tambíen, os recomiendo —como curiosidad— que utilicéis alguna herramienta de cálculo simbólico (CAS) como por ejemplo WolframAlpha (el enlace dirige a la petición de resolución automática de una ecuación de este tipo) y, así, contrastar de una manera alternativa lo que se acaba de concluir. $\diamond$