[Math] Proving a limit using epsilon delta definition

limits

I'm trying to prove a limit (by showing that I can find a delta for all epsilon) using the $\epsilon$, $\delta$ definition but I'm stuck.

$$\lim_{x\to2}\left(x^2+2x-7\right)\ = 1$$

So I got to this point where I factored the polynomial and separated the absolute values but I don't know what to do next.

$$|x^2+2x-7-1| < \epsilon \Rightarrow |x-2| \lt \delta$$
$$|x+4||x-2| < \epsilon \Rightarrow |x-2| < \delta$$

Can someone help nudge me in the right direction?

Best Answer

$$\lim_{x\to2}\left(x^2+2x-7\right)\ = 1$$

For every $\epsilon > 0$, there exists a $\delta >0$ such that $|x-2| < \delta \implies |(x^2+2x-7) - 1| < \epsilon$.

Very often, you solve these problems by looking at what $\epsilon$ needs to do and then working backwards to what $\delta$ needs to do. In this case

$$|(x^2+2x-7) - 1| = |x^2+2x-8| = |(x+4)(x-2)| = |x+4|\,|x-2|$$

So, we need to make $|x+4|\,|x-2| < \epsilon$. We know we are going to make $|x-2| < \delta$, but what do we do with $|x+4|$?

\begin{align} |x-2| < \delta &\implies 2-\delta < x < 2 + \delta \\ &\implies 4-\delta < x + 4 < 4 + \delta \end{align}

The trick is to limit the size of $\delta$. There is no fixed limit that you need to use. Just pick one. I think $10$ is a nice round number so I am going to say, suppose $0 < \delta < 2$. Then

\begin{align} |x-2| < \delta \; \text{and} \; (0 < \delta < 2) &\implies (2-\delta < x < 2 + \delta) \; \text{and} \; (0<\delta<2) \\ &\implies (6-\delta < x+4 < 6+\delta) \; \text{and} \; (-2<-\delta<0)\\ &\implies 4 < x + 4 < 8 \\ &\implies |x+4| < 10 \\ &\implies |x+4||x-2| < 10\delta \\ \end{align}

You should see that we now solve $10\delta < \epsilon$ for $\delta$. We get $\delta < \dfrac{\epsilon}{10}$. But wait! We made an assumption that $\delta < 2$. That's very easy to fix. Our final formula is $\delta = \min\left\{2, \dfrac{\epsilon}{10} \right\}$.

Then we get our proof by adding one more line to the previous argument.

\begin{align} |x-2| < \delta \; \text{and} \; (0 < \delta < 2) &\implies (2-\delta < x < 2 + \delta) \; \text{and} \; (0 < \delta < 2) \\ &\implies (6-\delta < x+4 < 6+\delta) \; \text{and} \; (0<\delta<2) \\ &\implies 4 < x + 4 < 8 \\ &\implies |x+4| < 10 \\ &\implies |x+4||x-2| < 10\delta \\ &\implies |(x^2+2x-7) - 1| < \epsilon \end{align}