The Product Rule

Now that we have examined the basic rules, we can begin looking at some of the more advanced rules. The first one examines the derivative of the product of two functions. Although it might be tempting to assume that the derivative of the product is the product of the derivatives, similar to the sum and difference rules, the product rule does not follow this pattern. To see why we cannot use this pattern, consider the function \(f \left(\right. x \left.\right) = x^{2} ,\) whose derivative is \(f^{'} \left(\right. x \left.\right) = 2 x\) and not \(\frac{d}{d x} \left(\right. x \left.\right) \cdot \frac{d}{d x} \left(\right. x \left.\right) = 1 \cdot 1 = 1 .\)

Theorem 3.5

Product Rule

Let \(f \left(\right. x \left.\right)\) and \(g \left(\right. x \left.\right)\) be differentiable functions. Then

\[\frac{d}{d x} \left(\right. f \left(\right. x \left.\right) g \left(\right. x \left.\right) \left.\right) = \frac{d}{d x} \left(\right. f \left(\right. x \left.\right) \left.\right) \cdot g \left(\right. x \left.\right) + \frac{d}{d x} \left(\right. g \left(\right. x \left.\right) \left.\right) \cdot f \left(\right. x \left.\right) .\]

That is,

\[\text{if} j \left(\right. x \left.\right) = f \left(\right. x \left.\right) g \left(\right. x \left.\right) , \text{then} j^{'} \left(\right. x \left.\right) = f^{'} \left(\right. x \left.\right) g \left(\right. x \left.\right) + g^{'} \left(\right. x \left.\right) f \left(\right. x \left.\right) .\]

This means that the derivative of a product of two functions is the derivative of the first function times the second function plus the derivative of the second function times the first function.

Proof

We begin by assuming that \(f \left(\right. x \left.\right)\) and \(g \left(\right. x \left.\right)\) are differentiable functions. At a key point in this proof we need to use the fact that, since \(g \left(\right. x \left.\right)\) is differentiable, it is also continuous. In particular, we use the fact that since \(g \left(\right. x \left.\right)\) is continuous, \(\underset{h \rightarrow 0}{\text{lim}} g \left(\right. x + h \left.\right) = g \left(\right. x \left.\right) .\)

By applying the limit definition of the derivative to \(j \left(\right. x \left.\right) = f \left(\right. x \left.\right) g \left(\right. x \left.\right) ,\) we obtain

\[j^{'} \left(\right. x \left.\right) = \underset{h \rightarrow 0}{\text{lim}} \frac{f \left(\right. x + h \left.\right) g \left(\right. x + h \left.\right) - f \left(\right. x \left.\right) g \left(\right. x \left.\right)}{h} .\]

By adding and subtracting \(f \left(\right. x \left.\right) g \left(\right. x + h \left.\right)\) in the numerator, we have

\[j^{'} \left(\right. x \left.\right) = \underset{h \rightarrow 0}{\text{lim}} \frac{f \left(\right. x + h \left.\right) g \left(\right. x + h \left.\right) - f \left(\right. x \left.\right) g \left(\right. x + h \left.\right) + f \left(\right. x \left.\right) g \left(\right. x + h \left.\right) - f \left(\right. x \left.\right) g \left(\right. x \left.\right)}{h} .\]

After breaking apart this quotient and applying the sum law for limits, the derivative becomes

\[j^{'} \left(\right. x \left.\right) = \underset{h \rightarrow 0}{\text{lim}} \left(\right. \frac{f \left(\right. x + h \left.\right) g \left(\right. x + h \left.\right) - f \left(\right. x \left.\right) g \left(\right. x + h \left.\right)}{h} \left.\right) + \underset{h \rightarrow 0}{\text{lim}} \left(\right. \frac{f \left(\right. x \left.\right) g \left(\right. x + h \left.\right) - f \left(\right. x \left.\right) g \left(\right. x \left.\right)}{h} \left.\right) .\]

Rearranging, we obtain

\[j^{'} \left(\right. x \left.\right) = \underset{h \rightarrow 0}{\text{lim}} \left(\right. \frac{f \left(\right. x + h \left.\right) - f \left(\right. x \left.\right)}{h} \cdot g \left(\right. x + h \left.\right) \left.\right) + \underset{h \rightarrow 0}{\text{lim}} \left(\right. \frac{g \left(\right. x + h \left.\right) - g \left(\right. x \left.\right)}{h} \cdot f \left(\right. x \left.\right) \left.\right) .\]

By using the continuity of \(g \left(\right. x \left.\right) ,\) the definition of the derivatives of \(f \left(\right. x \left.\right)\) and \(g \left(\right. x \left.\right) ,\) and applying the limit laws, we arrive at the product rule,

\[j^{'} \left(\right. x \left.\right) = f^{'} \left(\right. x \left.\right) g \left(\right. x \left.\right) + g^{'} \left(\right. x \left.\right) f \left(\right. x \left.\right) .\]

Example 3.23

Applying the Product Rule to Functions at a Point

For \(j \left(\right. x \left.\right) = f \left(\right. x \left.\right) g \left(\right. x \left.\right) ,\) use the product rule to find \(j^{'} \left(\right. 2 \left.\right)\) if \(f \left(\right. 2 \left.\right) = 3 , f^{'} \left(\right. 2 \left.\right) = −4 , g \left(\right. 2 \left.\right) = 1 ,\) and \(g^{'} \left(\right. 2 \left.\right) = 6 .\)

Solution

Since \(j \left(\right. x \left.\right) = f \left(\right. x \left.\right) g \left(\right. x \left.\right) , j^{'} \left(\right. x \left.\right) = f^{'} \left(\right. x \left.\right) g \left(\right. x \left.\right) + g^{'} \left(\right. x \left.\right) f \left(\right. x \left.\right) ,\) and hence

\[j^{'} \left(\right. 2 \left.\right) = f^{'} \left(\right. 2 \left.\right) g \left(\right. 2 \left.\right) + g^{'} \left(\right. 2 \left.\right) f \left(\right. 2 \left.\right) = \left(\right. −4 \left.\right) \left(\right. 1 \left.\right) + \left(\right. 6 \left.\right) \left(\right. 3 \left.\right) = 14 .\]

Example 3.24

Applying the Product Rule to Binomials

For \(j \left(\right. x \left.\right) = \left(\right. x^{2} + 2 \left.\right) \left(\right. 3 x^{3} - 5 x \left.\right) ,\) find \(j^{'} \left(\right. x \left.\right)\) by applying the product rule. Check the result by first finding the product and then differentiating.

Solution

If we set \(f \left(\right. x \left.\right) = x^{2} + 2\) and \(g \left(\right. x \left.\right) = 3 x^{3} - 5 x ,\) then \(f^{'} \left(\right. x \left.\right) = 2 x\) and \(g^{'} \left(\right. x \left.\right) = 9 x^{2} - 5 .\) Thus,

\[j^{'} \left(\right. x \left.\right) = f^{'} \left(\right. x \left.\right) g \left(\right. x \left.\right) + g^{'} \left(\right. x \left.\right) f \left(\right. x \left.\right) = \left(\right. 2 x \left.\right) \left(\right. 3 x^{3} - 5 x \left.\right) + \left(\right. 9 x^{2} - 5 \left.\right) \left(\right. x^{2} + 2 \left.\right) .\]

Simplifying, we have

\[j^{'} \left(\right. x \left.\right) = 15 x^{4} + 3 x^{2} - 10 .\]

To check, we see that \(j \left(\right. x \left.\right) = 3 x^{5} + x^{3} - 10 x\) and, consequently, \(j^{'} \left(\right. x \left.\right) = 15 x^{4} + 3 x^{2} - 10 .\)

Checkpoint 3.16

Use the product rule to obtain the derivative of \(j \left(\right. x \left.\right) = 2 x^{5} \left(\right. 4 x^{2} + x \left.\right) .\)

This lesson is part of:

Derivatives

View Full Tutorial

Track Your Learning Progress

Sign in to unlock unlimited practice exams, tutorial practice quizzes, personalized weak area practice, AI study assistance with Lexi, and detailed performance analytics.