Femtobytes
Problem type

Limit of a function from the epsilon-delta definition

What it solves
Prove that a polynomial (a straight line, a quadratic or a cubic) has the limit you expect at a point, using only the epsilon-delta definition: for every output tolerance epsilon, find an input tolerance delta that guarantees it.
Subject
Real Analysis
Topic
Limits from the definition
Also called
epsilon delta, limit of a function, continuity from the definition
Your problem

Prove this limit using only the epsilon-delta definition, then try the proof out with the tolerance ε=1100\varepsilon = \frac{1}{100}.

lim⁡x→−1(−2x2+5x+1)=−6\lim_{x \to -1} \left( -2 x^{2} + 5 x + 1 \right) = -6
Invent a new one:
The problem

Prove this limit using only the epsilon-delta definition, then try the proof out with the tolerance ε=1100\varepsilon = \frac{1}{100}.

lim⁡x→−1(−2x2+5x+1)=−6\lim_{x \to -1} \left( -2 x^{2} + 5 x + 1 \right) = -6
The result
lim⁡x→−1(−2x2+5x+1)=−6\lim_{x \to -1} \left( -2 x^{2} + 5 x + 1 \right) = -6

Proved. Given any tolerance ε>0\varepsilon > 0, the choice δ=min⁡{1,  ε11}\delta = \min\left\{ 1, \; \frac{\varepsilon}{11} \right\} works.

checked 18 lines of this solution were evaluated with exact arithmetic before it was shown to you. A solution with a false line is never served.
Picture 1 of 2Step 1: Find the candidate limit, then say exactly what must be proved
L + εL = -6L − εc − δc = -1c + δinput xoutput f(x)
The graph of the function near the point. The upright strip is the input window of half-width delta; the level band is the output tolerance of half-width epsilon. Inside the strip the graph never leaves the band. Here c=−1c = -1, L=−6L = -6, ε=1100\varepsilon = \frac{1}{100} and δ=11100\delta = \frac{1}{1100}. The bright part of the graph is the part inside the strip. The hollow circle marks the point itself, which the definition leaves out.
1

Find the candidate limit, then say exactly what must be proved

Why this step

The definition can only CHECK a number we propose; it never hands us one. For a polynomial the natural candidate is the value at the point itself, because a polynomial is built from nothing but adding and multiplying, and neither of those can make a sudden jump. That is a belief. The proof turns it into a fact.

Put x=−1x = -1 into the function:

−2(−1)2+5(−1)+1\displaystyle -2 \left( -1 \right)^{2} + 5 \left( -1 \right) + 1==−2⋅1+5(−1)+1\displaystyle -2 \cdot 1 + 5 \left( -1 \right) + 1
Work out each power of −1-1 first. Powers come before multiplying, and multiplying before adding. checked
==−2−5+1\displaystyle -2 - 5 + 1
Do each multiplication. checked
==−6\displaystyle -6
Add the numbers up. checked
Claim: lim⁡x→−1(−2x2+5x+1)=−6\text{Claim: } \lim_{x \to -1} \left( -2 x^{2} + 5 x + 1 \right) = -6
This is what we will prove, with c=−1c = -1 and L=−6L = -6.
2

Rewrite everything in terms of the distance from c

Why this step

We control one thing only: how far xx is from −1-1. But ff is written in powers of xx, which hides that distance. So we give the distance a name, h=x−(−1)h = x - \left( -1 \right), and rewrite the function in powers of hh. After this the quantity we control is the only letter on the page.

From h=x−(−1)h = x - \left( -1 \right) we get x=−1+hx = -1 + h. The condition 0<∣x−c∣<δ0 < \left| x - c \right| < \delta becomes simply 0<∣h∣<δ0 < \left| h \right| < \delta.

−2x2+5x+1−(−6)\displaystyle -2 x^{2} + 5 x + 1 - \left( -6 \right)==−2(−1+h)2+5(−1+h)+1−(−6)\displaystyle -2 \left( -1 + h \right)^{2} + 5 \left( -1 + h \right) + 1 - \left( -6 \right)
Replace every xx by −1+h-1 + h. checked
==−2(1−2h+h2)+5(−1+h)+1−(−6)\displaystyle -2 \left( 1 - 2 h + h^{2} \right) + 5 \left( -1 + h \right) + 1 - \left( -6 \right)
Multiply out the square: (u+h)2=u2+2uh+h2(u + h)^2 = u^2 + 2uh + h^2 with u=−1u = -1. checked
==−2h2+4h−2+5h−5+1−(−6)\displaystyle -2 h^{2} + 4 h - 2 + 5 h - 5 + 1 - \left( -6 \right)
Multiply each bracket by the number in front of it. A minus sign in front reaches every term inside. checked
==−2h2+9h\displaystyle -2 h^{2} + 9 h
Collect the terms with the same power of hh. The plain numbers add up to exactly 00, and that is no accident: they are f(−1)−Lf(-1) - L, and we CHOSE L=f(−1)L = f(-1). A wrong candidate for LL would leave a number here that no δ\delta could ever shrink. checked
==h(−2h+9)\displaystyle h \left( -2 h + 9 \right)
Every remaining term contains hh, so take hh out as a common factor. checked
∣−2x2+5x+1−(−6)∣=∣h∣⋅∣−2h+9∣\left| -2 x^{2} + 5 x + 1 - \left( -6 \right) \right| = \left| h \right| \cdot \left| -2 h + 9 \right|
Take absolute values. The absolute value of a product is the product of the absolute values. checked
3

Cage the second factor

4

Rough work: choose delta

5

The proof, written forwards

6

Test the rule with a real tolerance