Calculus/More Differentiation Rules
From Wikibooks, the open-content textbooks collection
Contents |
[edit] Chain Rule
We know how to differentiate regular polynomial functions. For example:
However, there is a useful rule known as the chain method rule. The function above (f(x) = (x2 + 5)2) can be consolidated into two nested parts f(x) = u2, where u = m(x) = (x2 + 5). Therefore:
- if
and
Then:
Then
The chain rule states that if we have a function of the form y(u(x)) (i.e. y can be written as a function of u and u can be written as a function of x) then:

|
If a function F(x) is composed to two differentiable functions g(x) and m(x), so that F(x)=g(m(x)), then F(x) is differentiable and,
|
We can now investigate the original function:
Therefore
This can be performed for more complicated equations. If we consider:
and let
and u=1+x2, so that
and
, then, by applying the chain rule, we find that
So, in just plain words, for the chain rule you take the normal derivative of the whole thing (make the exponent the coefficient, then multiply by original function but decrease the exponent by 1) then multiply by the derivative of the inside.
[edit] Product and Quotient Rules
When we wish to differentiate a more complicated expression such as:
our only way (up to this point) to differentiate the expression is to expand it and get a polynomial, and then differentiate that polynomial. This method becomes very complicated and is particularly error prone when doing calculations by hand. It is advantageous to find the derivative of h(x) using just the functions f(x) = (x2+5)5 and g(x) = (x3 + 2)3 and their derivatives.
|
|
What this rule basically means is that if one has a function that is the product of two functions, then all one has to do is differentiate the first function, multiply it by the other undifferentiated function, add that to the first function undifferentiated multiplied by the differentiated second function. For example, if one were to take the function
its derivative would not be
Instead it would be
Another way of approaching this is if one were to have a function that was a product of the two functions A and B
Its derivative would be
[edit] Proof
Proving this rule is relatively straightforward, first let us state the equation for the derivative:
We will then apply one of the oldest tricks in the book—adding a term that cancels itself out to the middle:
Notice that those terms sum to zero, and so all we have done is add 0 to the equation.
Now we can split the equation up into forms that we already know how to solve:
Looking at this, we see that we can separate the common terms out of the numerators to get:
Which, when we take the limit, becomes:
, or the mnemonic "one D-two plus two D-one"
This can be extended to 3 functions:
For any number of functions, the derivative of their product is the sum, for each function, of its derivative times each other function.
[edit] Application, proof of the power rule
The product rule can be used to give a proof of the power rule for whole numbers. The proof proceeds by mathematical induction. We begin with the base case n = 1. If f1(x) = x then from the definition is easy to see that
Next we suppose that for fixed value of N, we know that for fN(x) = xN, fN'(x) = NxN − 1. Consider the derivative of fN + 1(x) = xN + 1,
We have shown that the statement
is true for n = 1 and that if this statement holds for n = N, then it also holds for n = N + 1. Thus by the principle of mathematical induction, the statement must hold for
.
[edit] Quotient rule
For quotients, where one function is divided by another function, the equation is more complicated but it is simply a special case of the product rule.
Then we can just use the product rule and the chain rule:
We can then multiply through by 1, or more precisely: g(x)2 / g(x)2, which cancels out into 1, to get:
This leads us to the so-called "quotient rule":
|
|
Which some people remember with the mnemonic "low D-high minus high D-low (over) square the low and away we go!"
[edit] Examples
The derivative of (4x − 2) / (x2 + 1) is:
Remember: the derivative of a product/quotient is not the product/quotient of the derivatives. (That is, differentiation does not distribute over multiplication or division.) However one can distribute before taking the derivative. That is 
[edit] Implicit Differentiation
Generally, one will encounter functions expressed in explicit form, that is, y = f(x) form. You might encounter a function that contains a mixture of different variables. Many times it is inconvenient or even impossible to solve for y. A good example is the function
. It is too cumbersome to isolate y in this function. One can utilize implicit differentiation to find the derivative. To do so, consider y to be a nested function that is defined implicitly by x. You need to employ the chain rule whenever you take the derivative of a variable with respect to a different variable: i.e.,
(the derivative with respect to x) of x is 1;
of y is
.
Remember:
Therefore:
[edit] Examples
- Example 1
can be solved as:
then differentiated:
However, using implicit differentiation it can also be differentiated like this:
use the product rule:
solve for
:
Note that, if we substitute
into
, we end up with
again.
- Example 2
Find the derivative of y2 + x2 = 25 with respect to x.
You are seeking
.
Take the derivative of each side of the equation with respect to x.
[edit] Exponential, logarithmic, and trigonometric functions
[edit] Exponential
To determine the derivative of an exponent requires use of the symmetric difference equation for determining the derivative:
First we will solve this for the specific case of an exponent with a base of e and then extend it to the general case with a base of a where a is a positive real number.
First we set up our problem using f(x) = ex:
Then we apply some basic algebra with powers (specifically that ab + c = ab ac):
Treating ex as a constant with respect to what we are taking the limit of, we can use the limit rules to move it to the outside, leaving us with:
A careful examination of the limit reveals a hyperbolic sine:
The limit of
as h approaches 0 is equal to 1 (using L'Hopital's rule), leaving us with:
|
|
in which f'(x) = f(x).
Now that we have derived a specific case, let us extend things to the general case. Assuming that a is a positive real constant, we wish to calculate:
One of the oldest tricks in mathematics is to break a problem down into a form that we already know we can handle. Since we have already determined the derivative of ex, we will attempt to rewrite ax in that form.
Using that eln(c) = c and that ln(ab) = b · ln(a), we find that:
Thus, we simply apply the chain rule:
In which we can solve for the derivative and substitute back with ex · ln(a) = ax to get:
|
|
[edit] Logarithms
Closely related to the exponentiation is the logarithm. Just as with exponents, we will derive the equation for a specific case first (the natural log, where the base is e), and then work to generalize it for any logarithm.
First let us create a variable y such that:
It should be noted that what we want to find is the derivative of y or
.
Next we will put both sides to the power of e in an attempt to remove the logarithm from the right hand side:
- ey = x
Now, applying the chain rule and the property of exponents we derived earlier, we take the derivative of both sides:
This leaves us with the derivative:
Substituting back our original equation of x = ey, we find that:
|
|
If we wanted, we could go through that same process again for a generalized base, but it is easier just to use properties of logs and realize that:
Since 1 / ln(b) is a constant, we can just take it outside of the derivative:
Which leaves us with the generalized form of:
|
|
[edit] Trigonometric Functions
Sine, Cosine, Tangent, Cosecant, Secant, Cotangent. These are functions that crop up continuously in mathematics and engineering and have a lot of practical applications. They also appear in more advanced mathematics, particularly when dealing with things such as line integrals with complex numbers and alternate representations of space like spherical and cylindrical coordinate systems.
We use the definition of the derivative, i.e.,
,
to work these first two out.
Let us find the derivative of sin x, using the above definition.
|
|
Now for the case of cos x
|
|
Therefore we have established
|
|
To find the derivative of the tangent, we just remember that:

which is a quotient. Applying the quotient rule, we get:

Then, remembering that cos2(x) + sin2(x) = 1, we simplify:
![]() |
![]() |
![]() |
|
|
For secants, we just need to apply the chain rule to the derivations we have already determined.
So for the secant, we state the equation as:

- u(x) = cos(x)
Take the derivative of both equations, we find:
Leaving us with:
Simplifying, we get:
|
|
Using the same procedure on cosecants:
We get:
|
|
Using the same procedure for the cotangent that we used for the tangent, we get:
|
|
[edit] Inverse Trigonometric Functions
Arcsine, arccosine, arctangent. These are the functions that allow you to determine the angle given the sine, cosine, or tangent of that angle.
First, let us start with the arcsine such that:
- y = arcsin(x)
To find dy/dx we first need to break this down into a form we can work with:
- x = sin(y)
Then we can take the derivative of that:
...and solve for dy / dx:
At this point we need to go back to the unit triangle. Since y is the angle and the opposite side is sin(y) (which is equal to x), the adjacent side is cos(y) (which is equal to the square root of 1 minus x2, based on the Pythagorean theorem), and the hypotenuse is 1. Since we have determined the value of cos(y) based on the unit triangle, we can substitute it back in to the above equation and get:
|
|
We can use an identical procedure for the arccosine and arctangent:
|
|
|
|
[edit] Logarithmic differentiation
We can use the properties of the logarithm, particularly the natural log, to differentiate more difficult functions, such a products with many terms, quotients of composed functions, or functions with variable or function exponents. We do this by taking the natural logarithm of both sides, re-arranging terms using the logarithm laws below, and then differentiating both sides implicitly, before multiplying through by y.
|
See the examples below.
- Example 1
|
Suppose we wished to differentiate We take the natural logarithm of both sides Differentiating implicitly Multiplying by y |
- Example 2
|
Let us differentiate a function Taking the natural logarithm of left and right We then differentiate both sides, recalling the product rule Multiplying by the original function y |
- Example 3
|
Take a function Then We then differentiate And finally multiply by y |
[edit] Exercises
Given the above rules, practice differentiation on the following.












![\frac{d}{dx}\left[ f(x) \cdot g(x) \right] = f'(x) \cdot g(x)+f(x) \cdot g'(x)\,\!](http://upload.wikimedia.org/math/5/d/4/5d4cc1ca13d2fda3bc1543a3189a80b9.png)





![\frac{d}{dx} \left[ f(x) \cdot g(x) \right] = \lim_{h \to 0} \frac{ f(x+h)\cdot g(x+h) - f(x) \cdot g(x)}{h}](http://upload.wikimedia.org/math/2/1/6/2160dbe8487364a463a9d96e25184230.png)
![\frac{d}{dx} \left[ f(x) \cdot g(x) \right] = \lim_{h \to 0} \frac{ f(x+h)\cdot g(x+h) \mathbf{- f(x) \cdot g(x+h) + f(x) \cdot g(x+h)} - f(x) \cdot g(x)}{h}](http://upload.wikimedia.org/math/2/8/d/28dc9ebce6140937db3eafbbe57eb5e3.png)
![\frac{d}{dx} \left[ f(x) \cdot g(x) \right] = \lim_{h \to 0} \left[ \frac{ f(x+h)\cdot g(x+h) - f(x) \cdot g(x+h) }{h} + \frac{f(x) \cdot g(x+h) - f(x) \cdot g(x)}{h} \right]](http://upload.wikimedia.org/math/c/b/3/cb3b059d75cb49edb834045e8cfc7ba7.png)
![\frac{d}{dx} \left[ f(x) \cdot g(x) \right] = \lim_{h \to 0} \left[ g(x+h) \frac{ f(x+h) - f(x) }{h} + f(x) \frac{g(x+h) - g(x)}{h} \right]](http://upload.wikimedia.org/math/1/3/3/133929dadee9d76310bf47739e9ffe00.png)
![\frac{d}{dx}[fgh] = f(x) g(x) h'(x) + f(x) g'(x) h(x) + f'(x) g(x) h(x) \,](http://upload.wikimedia.org/math/3/7/6/3762f654767dbf1c9a9a8db072cfadb4.png)





![\frac{d}{dx} \left[{f(x)\over g(x)}\right] = \frac{f'(x) \cdot g(x) - f(x) \cdot g'(x)}{g(x)^2}\,\!](http://upload.wikimedia.org/math/a/5/b/a5b398ef2c7b53193cc52a51c5e06e99.png)
![\begin{align}
\frac{d}{dx}\left[\frac{(4x - 2)}{x^2 + 1}\right] &= \frac{(x^2 + 1)(4) - (4x - 2)(2x)}{(x^2 + 1)^2} \\
&= \frac{(4x^2 + 4) - (8x^2 - 4x)}{(x^2 + 1)^2} \\
&= \frac{-4x^2 + 4x + 4}{(x^2 + 1)^2}
\end{align}](http://upload.wikimedia.org/math/1/9/1/1916f40f4db4afc92c79ce2995a6569b.png)


![\frac{d}{dx}[xy]=\frac{d}{dx}[1]](http://upload.wikimedia.org/math/9/6/9/969de6b35b4aef3d54d8f05cb7f50ff2.png)













![\frac{d}{dx}e^{x \cdot \ln(a)} = \left[ \frac{d}{dx} x\cdot \ln(a) \right] e^{x \cdot \ln(a)}](http://upload.wikimedia.org/math/2/b/3/2b335d3b653fdca464b737077748e747.png)









Definition of derivative
trigonometric identity
factoring
separation of terms
application of limit
solution
Definition of derivative
trigonometric identity
factoring
separation of terms
application of limit
solution

































![\frac{d}{dx}[(x^3 + 5)^{10}] \, \!](http://upload.wikimedia.org/math/c/3/8/c3851e1824698d987fb0cd5dc9f1534a.png)
![\frac{d}{dx}[x^3 + 3x] \, \!](http://upload.wikimedia.org/math/d/b/f/dbf584587425a2d25ae25bc0318f9195.png)
![\frac{d}{dx}[(x+4)\cdot (x+2)\cdot (x-3)]](http://upload.wikimedia.org/math/5/c/f/5cff1bbd667a424f72bc9be358326a14.png)
![\frac{d}{dx}[\frac{x+1}{3x^2}]](http://upload.wikimedia.org/math/d/5/7/d57499d7fa0c33067a176245256badad.png)
![\frac{d}{dx}[3\cdot x^3]](http://upload.wikimedia.org/math/d/4/a/d4aa13f545f4b9e7ff87c11c91db958e.png)
![\frac{d}{dx}[\sin x \cdot x^4]](http://upload.wikimedia.org/math/2/9/e/29e0f2cb9a7701682d94148ea0077510.png)
![\frac{d}{dx}[2^x]](http://upload.wikimedia.org/math/e/1/2/e128f3e92c7ab3dc546bb1489eacc37c.png)
![\frac{d}{dx}[e^{x^2}]](http://upload.wikimedia.org/math/a/d/6/ad6ee91a605a96962c9f41f9f34e7890.png)
![\frac{d}{dx}[ e^{2^x} ]](http://upload.wikimedia.org/math/1/3/8/13819c5fde922bfffd35a0fe1457718c.png)
![\frac{d}{dx}[ (6x)^{\cos(x) + 1} ]](http://upload.wikimedia.org/math/f/a/5/fa50c1f07121091f193f698326fac676.png)





![6x^{\cos(x)+1} \cdot [-\sin(x)\ln(6x)+\frac{\cos(x)+1}{x}]](http://upload.wikimedia.org/math/e/3/b/e3bc5c8a062468e2af646163caeeb581.png)