Lesson 1.7: Proofs with Delta-Epsilon
We have just acquainted ourselves with the general concept of delta-epsilon, or the use of error bounds to define a limit. Now we set about the goal of proving a particular limit by providing a function — “you give me an epsilon, and I’ll give you a delta”.
Recall that our specific goal is to prove the following:
In plain English, for every positive there must exist a positive such that being within of implies that is within of ; then and only then can we say that .
We will return to our previously-examined function . Our goal is to prove that . First, we must guess a value for . We begin with representing a given positive number, and we wish to find a such that whenever .
We rewrite as follows: , so our problem becomes finding such that whenever . Equivalently, we want such that whenever . This suggests that we should guess .
Now that we have accomplished this, we must prove that our works. We restate our given:
Given  , we choose  and therefore  .
If then we work with the expression for , . Since we know that , we rewrite the last expression as , or . We have already shown that from our given, so we have shown that implies . Therefore, by the definition of a limit, we have proven that .
|