prooving limits and differentials
Chapter 5 Derivatives
Example 1 Consider where . Recall the identity
For any ,
1
Example 2 Consider . The function is not differentiable at 0, since
which does not exist, as the limit is from the right and from the left.
Therefore, a continuous function is not always differentiable; that is,
continuous ⇏ differentiable.
2
A continuous function is not always differentiable; that is,
continuous ⇏ differentiable.
Proof: We are given that exists.
Thus, by the Algebraic Limit Theorem for Functions (Corollary 4.2.4). This implies that , i.e., is continuous at .
3
Algebraic combinations of continuous functions are continuous by the Algebraic Limit Theorem for Functions (Corollary 4.2.4).
Somewhat similar conclusions hold for derivatives.
4
Product Rule
Proof: First, rewrite the difference quotient as
Taking limits as and using the Algebraic Limit Theorem gives
Since is differentiable at implies is continuous at , Thus,
5
Idea: Write out the difference quotient and write the numerator as a single fraction. Within that single fraction subtract and add in its numerator. Proceed as before.
Quotient Rule
Idea: Essentially the idea is the following, except the nuisance of dealing with the possibility that for values of close to
6
Proof: Assume attains its maximum at some point . Since is in the open interval , there exists sequences
such that . Since is a maximum,
By the Order Limit Theorem,
Similarly, Therefore, .
The derivative possesses an intermediate value property:
8
To prove the derivatives for the trig functions, we require
Start with a unit circle with center .
Suppose and are points on the circle (points between and ).
Let be the perpendicular bisector of .
Proof :
Note: you can prove a similar inequality for .
Proof :
Notice in the last proof that we used cosine is continuous on R. Using geometry, one can prove that for all .
Use this, the definition of continuity and the trig identities
to prove the next theorem.
Theorem All trig functions are continuous on their domains.
Proof: Let , and show is continuous at . Let . Choose . Thus,
Thus, is continuous on R. Using trig identities and the Algebraic Limit Theorem, one can show the other trig functions are continuous on their domains.
Using the special limit
We can deduce another special limit involving cosine:
By replacing with the derivative can also be written as
14
Show if , then .
DERIVS. OF TRIG. FUNCTIONS
Equation 1
So, we have proved the formula for the derivative of the sine function:
Using the same methods, we can prove:
The tangent function can also be differentiated by using the definition of a derivative, but it is easier to use the Quotient Rule.
DERIV. OF SINE FUNCTION
Formula 4
NOTE: these are valid only when x is measured in radians.
DERIVS. OF TRIG. FUNCTIONS
Calculate the derivatives of , , and .
Recall we used radian measure to find limit of sin(theta)/theta as theta goes to 0.
17
For , consider
Since for all near , is continuous at 0.
Notice that which does not exist.
Thus, is continuous at 0, but not differentiable at 0.
Similar calculations show is continuous and differentiable at 0. But,
and
All together, is continuous and differentiable everywhere on R.
Thus, the derivative of is defined everywhere on R. But, has a discontinuity at 0. Hence, in general, derivatives need not be continuous!
g_1 is cont. at 0 but not diff. at 0 g_2 is cont. and diff. at 0
g_2 is cont. and diff. on R
g_2’ is not cont. at 0
18
Recall the theorems:
Extreme Value Theorem (Theorem 4.4.2) states that continuous functions on compact sets always attain maximum and minimum values.
Proof: Since is continuous on a compact set, attains a maximum and a minimum. If both the max and min occur at the endpoints, then it must be that is a constant function and on all of . Thus, there exists such that . On the other hand, if either the max or min occurs at some point in the interior , then by the Interior Extremum Theorem (Theorem 5.2.6).
19
Proof: The equation of the line through and is
Consider the difference between this line and the function ,
and observe that is continuous on , differentiable on , and satisfies . By Rolle’s Theorem, there exists a point such that . Since
we get the desired
20
.
sin
that
have
we
,
2
/
0
for
that
show
we
First,
q
q
p
q
<
<
<
1
sin
lim
0
=
®
q
q
q
q
=
AB
arc
AB
arc
AB
BC
|
|
|
|
<
<
|
|
sin
BC
=
q
Next, we show for 0<θ <π /2, we have that θ < tanθ.
Next, we show
for 0<q<p/2,
we have that
q<tanq.
.
tan
|
|
Indeed,
q
q
=
<
=
AD
AB
arc
.
sin
Thus,
q
q
<
.
sin
cos
I.e.
q
q
q
<
.
1
sin
I.e.
<
q
q
1
lim
sin
lim
cos
lim
0
0
0
®
®
®
£
£
q
q
q
q
q
q
1
sin
cos
<
<
q
q
q
1
sin
lim
1
0
£
£
®
q
q
q
.
1
sin
lim
Theorem,
Squeeze
By the
0
=
®
q
q
q
0
cos1
lim
q
q
q
®
-
0
2
0
cos1cos1
lim
cos1
cos1
lim
(cos1)
q
q
q
®
®
-+
æö
=×
ç÷
+
èø
-
=
+
= lim θ→0
−sin2θ θ(cosθ +1)
=−lim θ→0
sinθ θ
⋅ sinθ
cosθ +1 ⎛
⎝ ⎜
⎞
⎠ ⎟
=−lim θ→0
sinθ θ
⋅ lim θ→0
sinθ cosθ +1
=−1⋅ 0
1+1 ⎛
⎝ ⎜
⎞
⎠ ⎟= 0
=lim
q®0
-sin
2
q
q(cosq+1)
=-lim
q®0
sinq
q
×
sinq
cosq+1
æ
è
ç
ö
ø
÷
=-lim
q®0
sinq
q
×lim
q®0
sinq
cosq+1
=-1×
0
1+1
æ
è
ç
ö
ø
÷
=0
lim θ→0
cosθ −1 θ
= 0
lim
q®0
cosq-1
q
=0
00
0
0
0
000
()()sin()sin
'()limlim
sincoscossinsin
lim
sincossincossin
lim
cos1sin
limsincos
cos1
limsinlimlimcoslim
hh
h
h
h
hhhh
fxhfxxhx
fx
hh
xhxhx
h
xhxxh
hh
hh
xx
hh
h
xx
h
®®
®
®
®
®®®®
+-+-
==
+-
=
-
éù
=+
êú
ëû
é-ù
æöæö
=+
ç÷ç÷
êú
èøèø
ëû
-
=×+×
0
sin
h
h
0000
cos1sin
'()limsinlimlimcoslim
(sin)0(cos)1
cos
hhhh
hh
fxxx
hh
xx
x
®®®®
-
=×+×
=×+×
=
(sin)cos
d
xx
dx
=
(cos)sin
d
xx
dx
=-
2
2
22
2
22
2
sin
(tan)
cos
cos(sin)sin(cos)
cos
coscossin(sin)
cos
cossin1
sec
coscos
(tan)sec
ddx
x
dxdxx
dd
xxxx
dxdx
x
xxxx
x
xx
x
xx
d
xx
dx
æö
=
ç÷
èø
-
=
×--
=
+
===
=
22
(sin)cos(csc)csccot
(cos)sin(sec)sectan
(tan)sec(cot)csc
dd
xxxxx
dxdx
dd
xxxxx
dxdx
dd
xxxx
dxdx
==-
=-=
==-