Inverse of $y = x^3 + x $?

Write $x^{3}+x-y=0$ and make $x=u+v$. You get $$u^{3}+v^{3}-y+\left( u+v\right) \left( 3uv+1\right) =0.$$ Then solve the system

$$\left\{ \begin{array}{c} u^{3}+v^{3}=y \\ u^{3}v^{3}=-\frac{1}{27}, \end{array} \right. $$

which is equivalent to solving a quadratic equation in $u^3$ or $v^3$, because you know the sum of the two numbers $u^3,v^3$ and their product, e.g. the equation

$$\left( u^{3}\right) ^{2}-yu^{3}-\frac{1}{27}=0.$$

This technique is known as Cardano's method.

Reference: Sebastião e Silva and Silva Paulo, Compêndio de Álgebra, VII ano, pp.215-216, 1963


For what it is worth, the real solution looks something like this$$x = \sqrt[3]{\frac{y + \sqrt{\tfrac{4}{27} + y^2}}{2}} - \sqrt[3]{\frac{\tfrac{2}{27}}{y + \sqrt{\tfrac{4}{27} + y^2}}} $$ and there are also two complex solutions related to the cube roots of $-1$.


I seriously doubt that you were expected to find the inverse function explicitly, as is probably clear from the earlier answers. But it is quite instructive to convince yourself that there is an inverse function. It may even be that the intention of the question was to illustrate that while it can be easy to see that a function has an inverse, it can be extremely difficult, or impossible, to write the inverse down explcitly. In this case, while there is an explicit formula for the inverse, it is complicated. Sometimes, there just is no way to write down the function explicitly in terms of a formula.

But it is already instructive to ask why the function has an inverse. A function has an inverse if and only if it is one to one and onto (that is, a bijection). The function $f: \mathbb{R} \to \mathbb{R}$ is onto (surjective), because $f(x) \to -\infty$ as $x \to -\infty$ and $f(x) \to +\infty$ as $x \to +\infty$ (and, because it is continuous everywhere, it takes all intermediate values, though I'm not sure how you would prove even that at a precalculus level, you need some sort of continuity). The function $f$ is one-to-one (injective) because if $x^3 + x = z^3 + z$ and $x \neq z,$ we easily obtain $x^2 + xz + z^2 = -1$, so that $(x+\frac{z}{2})^2 + \frac{3z^2}{4} = -1,$ a contradiction.