7

I think the title says it all; I'm looking for the inverse function of $\ x^2+x$, and I have no idea how to do it. I thought maybe you could use the quadratic equation or something. I would be interesting to know.

Gᴇᴏᴍᴇᴛᴇʀ
  • 915
  • 2
  • 14
  • 28

6 Answers6

9

If you want to invert $x^2 + x$ on the interval $x \ge -1/2$, write $y = x^2 + x$, so $x^2 + x -y = 0$.

Use the quadratic equation with $a=1$, $b=1$, and $c=-y$ to find $$ x= \frac{-1 + \sqrt{1+4y}}{2}.$$

(The choice of whether to use $+\sqrt{4ac}$ rather than $-\sqrt{4ac}$ is because we are finding the inverse of the right side of the parabola. If you want to invert the left side, you would use the other sign.)

6

We can write $x^2+x=(x+\frac{1}{2})^2 - \frac{1}{4}$ by completing the square. If you restricted yourself to the domain $x \ge -\frac{1}{2}$ then this function would be invertible, and its inverse would be the function $$x \mapsto \sqrt{x+\frac{1}{4}} - \frac{1}{2}$$ You could do a similar thing on the domain $x \le -\frac{1}{2}$; but the function has no well-defined inverse on $\mathbb{R}$.

3

Solve $y = x^2+x$, that is, solve the quadratic $x^2+x-y = 0$. This gives $x = \frac{1}{2}(-1 \pm \sqrt{1+4y})$. Consequently there is an inverse iff $y \geq -\frac{1}{4}$.

To address issues raised in comments:

Let $f: \mathbb{R} \to \mathbb{R}$ be given by $f(x) = x^2+x$. Then since $f(-\frac{3}{2}) = f(\frac{1}{2}) = \frac{3}{4}$ is is clear that $f$ is not injective, furthermore, since $f(x) \geq -\frac{1}{4}$ it is clear that $f$ is not surjective, hence an inverse function, as usually defined, does not exist for $f: \mathbb{R} \to \mathbb{R}$.

This gives a few options:

(1) Define the function $\eta: \mathbb{R} \to 2^{\mathbb{R}}$ by $$ \eta(t) = \begin{cases} \{ \frac{1}{2}(-1 \pm \sqrt{1+4t})\}, && t \geq -\frac{1}{4} \\ \emptyset, && \text{otherwise}\end{cases}$$ Then we have $f(x) = y$ iff $x \in \eta(y)$. This was what I meant by the initial answer (with a lot less baggage).

(2) Restrict the domain of the original function and find a left inverse. For example, we could consider $f$ on the domain $[-\frac{1}{2},\infty)$, and the function $\phi :[-\frac{1}{4},\infty) \to \mathbb{R}$ by $\phi(t) = \frac{1}{2}(-1 + \sqrt{1+4t})$. Then we have $\phi \circ f = \text{Id}$ on the domain $[-\frac{1}{2},\infty)$.

(3) Find a suitable right inverse and domain. For example, $f\circ \phi = \text{Id}$ on the domain $[-\frac{1}{4},\infty)$.

copper.hat
  • 172,524
  • Why the -1? I don't particularly care about the -1, but am interested in the reasoning. – copper.hat Sep 19 '12 at 22:59
  • I did not downvote but I wanted to mention that the function is surjective iff $y\geq -0.25$ but it is not clear when it is $1-1$ by this answer – Belgi Sep 19 '12 at 23:02
  • I don't follow, this gives all conditions when the equation has a real solution? I didn't give a function, just the inverse. – copper.hat Sep 19 '12 at 23:04
  • but the function in the OP question does not have an inverse in somce cases even if $y\geq -0.25$ so I have to disagree with your last sentence – Belgi Sep 19 '12 at 23:10
  • 1
    I would not have upvoted it had there not been a downvote that I wanted to cancel: you really should deal with the problem of deciding on a domain for the inverse function, so that it is a function. – Brian M. Scott Sep 19 '12 at 23:11
  • I would change "inverse" to "sorce" (imho) – Belgi Sep 19 '12 at 23:11
  • @Belgi: The original function, like any binary relation, has an inverse, and it may be that copper.hat has this in mind; it’s just that that inverse isn’t a function, and the OP did ask for an inverse function. – Brian M. Scott Sep 19 '12 at 23:12
  • @Belgi: What did you mean by "sorce"? – copper.hat Sep 20 '12 at 00:56
  • @BrianM.Scott: Thanks! Hopefully I have addressed the concerns... – copper.hat Sep 20 '12 at 01:04
  • Thoroughly, I’d say. I’d upvote it now entirely on its merits. – Brian M. Scott Sep 20 '12 at 01:07
  • sorry for the spelling I meant a "source'' i.e $x\in f^{-1}(y)$ (+1) – Belgi Sep 20 '12 at 09:06
2

We have $x^2+x=y$ iff $x^2+x-y=0$. Solve this equation for $x$, using the Quadratic Formula. We get $$x=\frac{-1\pm\sqrt{1+4y}}{2}.$$ Two answers (usually) for $x$, so we have a problem. It is fundamentally the same issue as the one we have with the simpler function $x^2$. And there is a very similar fix: restricting the domain of our original function.

Define a new function $f_{+}(x)$ by $f_{+}(x)=x^2+x$ if $x \ge -1/2$, with $f_{+}(x)$ undefined when $x\lt -1/2$. Then the function $g$ defined by $$g(y)=\frac{-1+\sqrt{1+4y}}{2}$$ is the inverse function of $f_{+}$. Note that $g(y)$ is only defined when $y\ge -1/4$.

If we define the function $f_{-}(x)$ by $f_{-}(x)=x^2+x$ if $x\le -1/2$, with $f_{-}(x)$ undefined for $x\gt -1/2$, then the function $h$ defined by $$h(y)=\frac{-1-\sqrt{1+4y}}{2}$$ is the inverse function of $f_{-}$. Note that $h(y)$ is only defined when $y\ge -1/4$.

Remark: It is useful to draw a picture to see what's going on. The curve $y=x^2+x$ is an upward-facing parabola that meets the $x$ axis at $(-1,0)$ and $(0,1)$, and therefore has its vertex at $(-1/2, -1/4)$. For every $y$-value greater than $-1/4$, there are two $x$-values. If we want a function that "undoes" what $x^2+x$ did, which of these values will it pick?

André Nicolas
  • 507,029
1

Denote $f(x):=x^{2}+x$

Then $f$ is not invertible if you consider it as a function from$\mathbb{R}$ to $\mathbb{R}$ since, for example, $f(0)=f(-1)=0$ hence it is not $1-1$

Belgi
  • 23,150
0

Hints:

  1. See: http://www.wolframalpha.com/input/?i=Inverse%20Function%20x%5E2%2Bx&t=crmtb01 (look at the graphs

  2. Can you follow these examples? http://tutorial.math.lamar.edu/Classes/Alg/InverseFunctions.aspx

Note: pay close attention to the range that your function is defined for as sometimes this cause no solution, so you have to limit the domain.

HTH ~A

Amzoti
  • 751