Before we continue, recall these two propositions we saw in the previous
section:
x→0limxsinx=1
x→0limx1−cosx=0
Keep these propositions in mind as we derive the derivatives of the
trigonometric functions. Now, to differentiate sinx, we use the
familiar difference quotient, and apply the limit:
dxdsinx=Δx→0limΔxsin(x+Δx)−sinx
As we saw in the section on limits, we want to reframe this expression. To
do so, we use a trigonometric identity:
We cannot just plug in 0 into this limit — it's one of the trickier
ones. We must try and group the terms. To group terms, the first thing we
want to do is gather what we know. From basic trigonometry, we know that
Δx→0limcos(Δx) is 1. We also see that
sinx is a common term. Using algebra:
\begin{aligned}
\dfrac{d}{dx} \sin x &= \ll{\Delta x}{x} \ar{\dfrac{\sin x + \cos \Delta x - \sin x}{\Delta x} + \dfrac{\cos x \sin \Delta x}{\Delta x}} \\[2em]
&= \ll{\Delta x}{x} \ar{\dfrac{\sin x (\cos \Delta x - 1)}{\Delta x} + \dfrac{\cos x \sin \Delta x}{\Delta x}} \\[2em]
&= \ll{\Delta x}{x} \ar{\sin x \left( \dfrac{\cos (\Delta x) - 1}{\Delta x}} + \cos x \ar{\dfrac{\sin \Delta x}{\Delta x} \right)} \\[2em]
&= \ll{\Delta x}{x} \sin x \ar{\dfrac{\cos (\Delta x) - 1}{\Delta x}} + \ll{\Delta x}{x} \cos x \ar{\dfrac{\sin \Delta x}{\Delta x}}
\end{aligned}
Now, if we look at the final result from a broad overview, this is really
just:
dxdsinx=Δx→0limsinx(m)+Δx→0limcosx(n)
where
m=(Δxcos(Δx)−1), and
m=(ΔxsinΔx)
We need a way to get rid of m and n. To do so, we will use the
following properties, to be proven later:
Δx→0limΔxcosΔx−1=0
Δx→0limxsinΔx=1
Using these properties, we have:
Δx→0limsinx0(Δxcos(Δx)−1)+cosx1(ΔxsinΔx)
Above, we have (sinx⋅0)+(cosx⋅1). This gives us
cosx. Thus, we now have a specific formula for the derivative of
sinx:
dxdsinx=cosx
Let's now consider the derivative of cosx. The process is similar.
Again, we start with the diffference quotient:
dxdcosx=Δx→0limΔxcos(x+Δx)−cosx
Just as we used a trigonometric identity in deriving the derivative of
sinx, we will use another trionometric identity for cosx, the
angle sum formula:
Thus, we know have a specific formula for the derivative of cosx:
dxdcosx=−sinx
As an aside, let's think about these formulas a little more carefully to
contextualize these derivations. Consider the derivative of cosx.
When we evaluate dxdcosx at x=0, then by the
definition of a derivative, this is
Δx→0limΔxcos(Δx)−1.
This limit evaluates to 0, as we saw earlier.
The same phenomenon appears for the derivative of sinx. When we
evaluate dxdsinx, we are just evaluating
Δx→0limΔxsinΔx. This
limit evaluates to 1, again, as we saw earlier.
What this tells us is that the derivatives of sinx and cosx at
x=0 yields all the values of dxdsinx and
dxdcosx.
To actually understand how we've derived the specific formulas above, we
must understand the behavior of xsinx and
xcosx−1 when x is close to 0. In other words, we must
prove the properties we've been using:
Δx→0limΔxcosΔx−1=0
Δx→0limxsinΔx=1
To construct these proofs, we must use geometry, because sinx and
cosx are geometric propositions. To do so, we'll need to use a
variable other than Δx. Namely, θ. We do so because we
want to go back to thinking about sine and cosine as trigonometric ratios,
rather than functions. We'll first consider xsinx.
Accordingly, what we are really trying to prove is:
θ→0limθsinθ=1
Let's first start by looking at the unit circle:
Here, our proof will depend on the followng proposition: When the radius of
the circle has as length of 1, θ is the length of the arc above
(highlighted red). Note that this proposition is true only if the angle
θ is measured in radians. It is not true if θ is measured
in degrees. This an example of why prefer measuring angles in radians
rather than degrees in mathematics. Recall the definition of sine:
sinθ=∣hypotenuse∣∣opposite∣
Since the radius is of length 1, then the hypotenuse is of length 1. Thus,
the length of the side opposite θ has a length of sinθ.
Now, for the sake of argument, let's make a copy of that triangle and
reflect it:
From the circle above, we see that the total arc length is now
2θ. We also see that we've formed an isosceles triangle, where
the green side is of length 2sinθ, while the blue sides are of
length 1. We also see that the interior angle has a measure of
2θ. With these lengths, the ratio of the green edge of the
triangle to the arc length is:
2θ2sinθ=θsinθ
Now the question is, why does θsinθ tend to 1 as
θ gets closer and closer to 0? Because as the angle θ
gets very very small, the arc looks more and more like a straight line.
Moreover, as θ gets closer and closer to 0, the green segment and
the red arch start to merge.
This shows that short curves are nearly straight. Hence, we have:
θ→0limθsinθ=1
Now let's consider the property
x→0limxcosx−1=0. Again, we want to use
θ. Here, however, because we are thinking about sine and cosine
geometrically, we want a positive quantity, since we're dealing with
lengths. So, we perform some manipulation up front:
The -1 is just a constant, so let's just clean it up a bit more by
multiplying −11 to both sides:
θ→0limθ1−cosθ=0
To prove the hypothesis above, we focus on the “gap” between
the edge and the arc. Since the distance between the origin and the arc is
1, this gap has a length of 1−cosθ.
Just as we saw with sine, as the angle θ gets very small, the
distance 1−cosθ gets very, very small.
At some point, the segment 1−cosθ is 0. Hence, we have the
following:
θ→0limθcosθ−1=0
Note that the limit isn't simply 00. This is an example of a
limit where we aren't just doing a simple plug-and-play. The θ in
the denominator is the arc length. The θ we're taking to 0 is the
interior angle. Thus, making the angle θ smaller and smaller, the
arc length θ is getting closer and closer to 0, but not nearly as
fast as 1−cosθ. Remember, the property we're trying to prove
is a ratio. Thus, because cosθ−1 approaches 0 faster than the
arc length θ, the limit of the ratio is 0. To think about this
more clearly, compare the approximations in the table above. Notice how
much faster 1−cosθ approaches 0 compared to θ.
The proof above is fairly abstract. Let's see another proof. First, suppose
there is a point P on a unit circle, then move along to Q.
From the circle above, we see that sinθ is the vertical distance
between P and the {\text{x-axis}.} The Δθ is the
change in the angle, as we move from P to Q. Accordingly, Q is
the point on the unit circle where the angle measures
θ+Δθ. It follows then that the
{\text{y-coordinate}} of Q is sin(θ+Δθ). To
determine the rate of change of sinθ with respect to theta
(i.e., dθdsinθ,) we must determine the rate of
change for y=sinθ.
If we zoomed in on the Δy above:
The curved portion is the part of the circle. We've also drawn a line
segment from P to Q. In doing so, we've drawn a right triangle
△PQR. Now, we use a concept we saw earlier: Very short pieces
of curves are nearly straight. This means that the arc PQ is
essentially the same as the edge PQ:
arc PQ≈PQ
Now, we know that arc PQ has a length of Δθ.
Thus, we know that:
Δθ≈PQ
Great, we have one side down. If we can determine the measure of
∠QPR is, then we can determine Δy. Geometrically, we
are trying to find the length of PR. To think about what
the measure of ∠QPR might be, let's see the line with the whole
unit circle:
Notice that the segment is almost perpendicular to the radius
OP. When we take the limit, it is just about
perpendicular:
PQ≈⊥OP
If we rotate the entire construction by 90∘, we can see that
∠QPR is roughly the angle θ.
Thus, we can conclude:
Accordingly:
∠QPR≈θ
With these two propositions: (1)
PQ≈Δθ, and (2)
∠QPR≈θ, we can now draw the following premise:
Δy=PR≈(Δθ)cosθ
It is this premise that allows us to reach the proposition we were after: