Dick said:
I think I'm better at searching the web than you are. I found this:
Multiply 1-cos(x) by (1+cos(x))/(1+cos(x)) and get (1-cos(x)^2)/(1+cos(x))=sin(x)^2/(1+cos(x))<=sin(x)^2 (for small x). You also have sin(x)<=x. So put it all together and get 1-cos(x)<=x^2. So:
1-x^2<=sin(x)/x<=1. Does that look like a form you can use?
Oh, I never said I was good at searching the web, only that I had done it for a while...
Anyways, I like where you went with this. Basically:
|sin x| < |x| . This implies that |(sin x)/x| < |x/x| = 1.
On the other hand, if x is in the open interval (0,pi/2) then | x | < | tan x |, so we get that
| x/sin(x) | < | (tan x) / (sin x) | = | 1/(cos x) |. Then you reciprocate the rationals over the inequality to get that:
| cos x | < | (sin x) / x|. Then you put the two of these together to get:
| cox x | < | (sin x) / x| < 1. (1)
Now for the next bit, we will need again that (sin anynumber) < anynumber, and the famous identity sin^2(x) + cos^2(x) = 1, and then we can use your trick:
(1- cos x) * (1 + cos x)/(1 + cos x) = (1 - (cos x)^2)/(1+ cos x) = ((sin x)^2)/(1+ cos x) <= (sin x)^2
But because (sin x) < x, we get that (1 - cos x) < (x)^2. Then:
- cos x < x^2 -1 (2) , and further
cos x > 1 - x^2. Now because we have limited x to the open interval (0,pi/2), and from the inequalities (1) and (2)
1 - x^2 < (sin x)/x < 1 , and now the big one
- x^2 < (sin x)/x - 1 <0 (3)and zero is obviously less than epsilon (which is chosen positive). However, this is not complete, the above will not hold on all intervals, particularly the above holds when x is in (0,pi/2) in other words | x | < pi/2. Notice that,
(sin x) / x - 1 < x^2
And so if delta equals sqrt(epsilon) we get that if | x | < delta
then (sin x) / x - 1 < x^2 < epsilon
We need to pick delta to be the min of pi/2 and sqrt(epsilon).