How do you prove that the limit of (x^2 - x) = 0 as x approaches 1 using the epsilon delta proof?

1 Answer
Oct 21, 2016

See the explanation section below.

Explanation:

Preliminary analysis

We want to show that lim_(xrarr1)(x^2-x) = 0.

By definition,

lim_(xrarrcolor(green)(a))color(red)(f(x)) = color(blue)(L) if and only if

for every epsilon > 0, there is a delta > 0 such that:
for all x, " " if 0 < abs(x-color(green)(a)) < delta, then abs(color(red)(f(x))-color(blue)(L)) < epsilon.

So we want to make abs(underbrace(color(red)((x^2-x)))_(color(red)(f(x)) )-underbrace(color(blue)(0))_color(blue)(L)) less than some given epsilon and we control (through our control of delta) the size of abs(x-underbrace(color(green)(1))_color(green)(a))

Look at the thing we want to make small. Factor this, looking for the thing we control.

abs((x^2-x)-0) = abs(x(x-1)) = absx abs(x-1)

And there's abs(x-1), the thing we control

We can make absx abs(x-1) < epsilon by making abs(x-1) < epsilon/absx, BUT we need a delta that is independent of x. Here's how we can work around that.

If we make sure that the delta we eventually choose is less than orequal to 1, then
for every x with abs(x-1) < delta, we will have abs(x-1) < 1

which is true if and only if -1 < x-1 < 1

which is true if and only if 0 < x < 2.

Consequently: if abs(x-1) < 1, then absx < 2

If we also make sure that delta <= epsilon/2, then we will have:

for all x with abs(x-1) < delta we have abs(x^2-x) = absx abs(x-1)<2(epsilon/2) = epsilon

So we will choose delta = min{1, epsilon/2}. (Any lesser delta would also work.)

Now we need to actually write up the proof:

Proof

Given epsilon > 0, choose delta = min{1, epsilon/2}. " " (note that delta is also positive).

Now for every x with 0 < abs(x-1) < delta, we have

absx < 2 and abs(x-1) < epsilon/2. So,

abs((x^2-x) - 0) = absx abs(x-1)) <= 2abs(x-1) < 2delta <= 2 epsilon/2 = epsilon

Therefore, with this choice of delta, whenever 0 < abs(x-1) < delta, we have abs((x^2-x) - 0) < epsilon

So, by the definition of limit, lim_(xrarr1)(x^2-x) = 0.