4
$\begingroup$

Solve for $x$ $$\big(x^3+\frac{1}{x^3}+1\big)^4=3\big(x^4+\frac{1}{x^4}+1\big)^3$$

let $x+\frac{1}{x}=t$ the equation equivalent to $(t^3-3t+1)^4=3(t^4-4t^2+3)^3$ but it's very complicated. Thanks.

  • 2
    By inspection, $x=1$ is a solution.2012-10-19
  • 0
    That should be $3(t^4-4t^2+3)^3$ on the right. (Not that I've checked the math that got $t^4-4t^2+3$, but clearly the exponent is wrong.)2012-10-19
  • 0
    Not sure that you can do this analytically, seeing the results: http://tinyurl.com/95l2p8f2012-10-19
  • 0
    @EricAngle, given that solution, you might be able to prove analytically there is only one real solution. Given that the real solution is $x=1$2012-10-19
  • 0
    [Alpha](http://www.wolframalpha.com/input/?i=solve+%28t^3-3t%2B1%29^4%3D3%28t^4-4t^2%2B3%29^3) finds 12 roots for the equation in $t$, with only $t=2$ corresponding to a real solution for $x$. The other three real $t$ solutions are less than $2$ in absolute value.2012-10-19

1 Answers 1

3

Let $u=t^4-4t^2+3$ and $v=t^3-3t+1$. To finish off the problem (over real numbers), it suffices to prove that the equation $3u^3=v^4$ has no solutions with $|t|\ge 2$ other than $t=2$. Differentiate the ratio $f(t)=3u^3 v^{-4}$: $$ f'(t)=\frac{d}{dt}(3u^3v^{-4})= 3u^2v^{-5}(3u'v-4uv') \tag1$$ The sign of $v$ is the same as the sign of $t$ when $|t|\ge 2$. It remains to find the sign of $3u'v-4uv'$. Direct computation shows $$3u'v-4uv' = 12(t^3-t^2-2t+3) \tag2$$ which is not as bad as one might have expected from subtracting two polynomials of degree $6$.

  • When $t \ge 2$ we have $t^3\ge 2t^2$, hence (2) is positive.
  • When $t\le -2$ we have $t^3\le -2t^2$, hence (2) is negative.

Either way, (1) is positive when $|t|>2$.

  • Since $f(2)=1$, it follows that $f(t)>1$ for $ t >2$.
  • Since $\lim_{t\to-\infty}f(t)=3$, it follows that $f(t)>3$ for $ t <-2$.

Thus, the only root of $f(t)=1$ outside of $(-2,2)$ is $t=2$.