domingo, 7 de julio de 2024

Una ecuación interesante en cuanto a las técnicas idóneas y razonamientos para poder resolverla

Una ecuación del tipo $x^x=x^3$, donde $x$ es una variable real, no ofrece ninguna dificultad para encontrar la solución por tanteo; a poco que ensayemos, vemos que $3$, $1$ y $-1$ (éste último quizá no sea tan fácil de ver) satisfacen la igualdad: $1^1=1^3=1$, $(-1)^{-1}=\dfrac{1}{(-1)}=(-1)^3=-1$; y lo mismo ocurre con $x=3$, pues tanto el primer miembro como el segundo dan como resultado $3^3=27$.

Bien pero, ¿habrá más valores que no podamos encontrar con tanta facilidad, como hemos hecho, digamos que 'a ojo de buen cubero'? Desde luego, por si estuviéramos tentados a pensar que $-3$ pudiese ser también parte de la solución, enseguida nos damos cuenta de que no es así, pues no satisface la ecuación pedida: $(-3)^{-3}=\dfrac{1}{(-3)^3}=-\dfrac{1}{27}\neq (-3)^3=-27$.

Investiguemos:
Si atendemos al trazo de las gráficas de las funciones de ambos miembros $y=x^x$ e $y=x^3$, la intersección de las mismas no se da en más de tres puntos, razón por la cual podemos responder definitivamente a esta pregunta con un 'no', ya que la gráfica no aparecen más de tres puntos de intersección.

[Figura 1.]

No obstante, voy a resolver la ecuación empleando las técnicas del álgebra y algún resultado básico del análisis de funciones, pues me parecese, que el caso que nos ocupa es bastante interesante, y, además, para casos similares, en los que no sea tan fácil ver la solución tan 'alegremente', es evidente que habrá que ir más allá y emplearse a fondo en los razonamientos.

Veamos si $x=0$ forma parte de la solución:
  Si sustituimos $x$ por $0$ en el segundo miembro obtenemos $0^3=0$. Por otra parte, es claro que al sustituir $x$ por $0$ en el primer miembro se nos presenta una indeterminación $0^0$, pero, si nos fijamos en la gráfica de la función $y=x^x$ (trazo azúl), podemos afirmar que el valor de la función $x^x$ en $x=0$ es $1$. Es decir, como $x^x$ es una función continua y, por lo que se ve, $\displaystyle \lim_{x\rightarrow 0}\,x^x=1$, luego $(x^x)_{x=0}=1$. Entonces, para $x=0$, el primer miembro toma el valor $1$ y el segundo miembro toma el valor $0$, luego $0$ no forma parte de la solución de la ecuación.

Busquemos ahora números positivos como posibles soluciones. Si $x\gt 0$, una buena idea para empezar es extraer logaritmos en cada miembro de la igualdad:
  $x^x=x^3$
    $\ln(x^x)=\ln(x^3)$
      $x\,\ln(x)=3\,\ln(x)$
        $x\,\ln(x)-3\,\ln(x)=0$
          $(x-3)\cdot \ln(x)=0\Leftrightarrow \left\{\begin{matrix}x-3=0 \\ \ln(x)=0 \end{matrix}\right. \Leftrightarrow x=\left\{\begin{matrix}3 \\ 1 \end{matrix}\right.$

Busquemos ahora números negativos, $x\lt 0$. Vemos que la extracción de logaritmos en cada miembro no es posible ahora, pues un logaritmo no está definido para valores negativos. Habrá que recurrir a otro enfoque. Encontrar las soluciones de la ecuación pedida es equivalente a encontrar las raíces de la función $\phi(x)=x^x-x^3$.

Como nos damos cuenta, de manera estimativa, de de $-1$ puede ser una raíz de $\phi$, calculemos el valor de la función $\phi$ a la derecha de $-1$, pongamos que en $x=-0.9$ y vemos que $\phi(-0.9)\lt 0$; mientras que a la derecha de $-1$, también razonablemente cerca de dicho punto, pongamos que en $x=-1.1$, se tiene que $\phi(-1.1)\gt 0$ (véase, abajo, la Figura 2.); en consecuencia, al haber un cambio de signo en los valores de función de uno a otro valor, y como la función $\phi(x)=x^x-x^3$ es continua, por el teorema de Bolzano, sabemos que tiene que haber al menos un valor $x\lt 0$ mayor que $-1.1$ y menor que $-0.9$ que anule la función $\phi$ y que por tanto sea raíz de la misma.

Figura 2. Gráfica de la función $\phi(x)=x^x-x^3$, ampliada para poder apreciar los valores que toma para valores negativos de la variable independiente

Por tanto, ése valor —que es precisamente el que vemos en las gráficas, y que corresponde a la abscisa del punto de intersección de las mismas (trazo azúl y trazo amarillo en la Figura 1.)— también es solución de la ecuación pedida $x^x=x^3$. Y, a poco que ensayemos, vemos que $x=-1$ también satisface la ecuación pedida.

En conclusión: la solución de la ecuación pedida $x^x=x^3$ consta de los siguientes valores en $\mathbb{R}$: $\{-1,1,3\}$

Utilidades empleadas:

  [1]   [WolframAlpha] (para realizar las gráficas y calcular valores de función)

$\diamond$

No hay comentarios:

Publicar un comentario

Gracias por tus comentarios