Como lo hizo, vamos a $a=2^x, b=3^x$. Tenemos $$ab+1=a^3-\frac{b^3}{27}$$
Nota: el estándar de la identidad $$u^3+v^3+w^3-3uvw=(u+v+w)\left(\frac{(u-v)^2+(v-w)^2+(w-u)^2}{2}\right)$$
Tome $u=a, v=-\frac{b}{3}, w=-1$. A continuación,$u^3+v^3+w^3-3uvw=a^3-\frac{b^3}{27}-1-ab=0$.
Por lo tanto $u+v+w=0$ o $(u-v)^2+(v-w)^2+(w-u)^2=0$. En el último caso, obtenemos $u=v=w$$a=-\frac{b}{3}=-1$, lo $a=-1, b=3$. Pero, claramente,$2^x=a \not =-1$, una contradicción.
Por lo tanto $u+v+w=0$.
Por lo tanto $a-\frac{b}{3}-1=0$, es decir,$2^x=3^{x-1}+1$.
Escribir $x=y+1$, y volver a escribir como $1^y+3^y=2^y+2^y$. Por último, utilice el teorema puedo demostrar aquí. (Citado más abajo)
Teorema: Vamos a $a, b, c, d$ ser números reales tales que a $0<a<b \leq c<d$. Entonces la ecuación de $$a^x+d^x=b^x+c^x$$ ha
- Exactamente dos soluciones, $x=0$ $x=t>0$ algunos $t$ si $ad-bc<0$
- Exactamente dos soluciones, $x=0$ $x=t<0$ algunos $t$ si $ad-bc>0$
- Exactamente una solución, $x=0$ si $ad-bc=0$
con $(a, b, c, d)=(1, 2, 2, 3)$, $ad-bc=-1<0$, y $y$ en lugar de $x$.
Por lo tanto, hay exactamente dos soluciones para $y$, dado por $y=0$$y=t>0$, algunos $t$. Por inspección, $y=1$ es una solución. Por lo tanto todas las soluciones reales para$y$$y=0, 1$.
Por lo tanto todas las soluciones reales para$x$$x=1, 2$.