Why a product needs its own rule
The derivative of a product is not the product of the derivatives. Lesson 2.3.1 showed one case: has slope . Multiplying the two slopes gives instead, which is 6 at where the true slope is 5.
When both factors change, the product changes for two reasons at once. A picture shows how the two combine.
The area picture
Think of two functions and as the width and height of a rectangle. Its area is the product . When grows by , the width grows by and the height by .
Take and at . The rectangle is 9 wide and 5 tall, with area 45. A step of makes the width 11.56 and the height 5.4.
The rectangle for and , as goes from 3 to 3.4. The added area is two strips and a corner: .
The new area is the old area plus three pieces.
- A strip , from the width growing.
- A strip , from the height growing.
- A corner , from both growing at once.
Now divide each piece by and let shrink.
| gap | 0.1 | 0.01 | 0.001 |
|---|---|---|---|
| strip per | 30.5 | 30.05 | 30.005 |
| strip per | 9 | 9 | 9 |
| corner per | 0.61 | 0.0601 | 0.006001 |
The first row tends to . The second is . The corner is a small amount times a small amount, so even after dividing by it vanishes.
Rule: Product rule
Differentiate the first factor and keep the second; then keep the first and differentiate the second; then add. Each term is one strip of the picture, and the corner shrinks away.
So the slope of at 3 is . Algebra agrees: , with derivative , which is at 3. Multiplying the slopes would give .
The units work like area. If the width and height were in metres and in seconds, each strip would grow in square metres per second.
Try it
The loop measures the two strips and the corner, each divided by , for the rectangle above.
round(…, 6) hides rounding noise in the last digits. SymPy then confirms the slope 39. Its answer, x**2 + 2*x*(x + 2), is the product rule itself: .
A second example
For , take and , so and . The product rule gives . At the slope is 7.
Expanding first gives the same: has derivative . The product rule matters when expanding is long or impossible, as with the exponentials of lesson 2.3.4.
When the factors pull in opposite directions
In the first factor rises with slope 1 and the second falls with slope . The product rule gives . The two terms have opposite signs, and the larger one wins.
| 1 | 3 | 5 | |
|---|---|---|---|
| 5 | 3 | 1 | |
| slope of the product | 4 | 0 |
At 1 the rising factor wins and the product climbs. At 3 the terms cancel and the product is flat for an instant. At 5 the falling factor wins.
Constant factors and three factors
If one factor is a constant , its slope is 0 and the rule gives . That is the constant rule of lesson 2.3.1, so nothing changes.
With three factors, apply the rule twice. Each term differentiates one factor and keeps the other two: . For that gives , as the power rule says.
Try it
SymPy checks the second example, the table for , and the three-factor case.
sp.factor tidies an answer, sometimes into a different but equal form: x*(5*x**3 + 2) is .
The quotient rule
A quotient has its own rule. It looks like the product rule with a minus sign and a new bottom.
Rule: Quotient rule
Derivative of the top times the bottom, minus the top times the derivative of the bottom, all over the bottom squared. The order on top matters, because of the minus sign.
Take , with and , so and . The rule gives
At that is . The central difference from lesson 2.2.2 agrees.
| gap | 0.1 | 0.01 | 0.001 |
|---|---|---|---|
| central difference at 1 | 0.250627 | 0.250006 | 0.25 |
The rule also reproduces a result from lesson 2.2.2. For , take and : the slope is .
Signs, and where a quotient breaks
The bottom is never negative, so the sign of the slope is the sign of the top, . Swapping the two terms flips the sign: it would give for at 1, which is wrong.
For the top simplifies to , so the slope is . It is at , 0 at and at : falling, flat, then rising.
Where the bottom is 0, the quotient has no value, so it has no slope. has none at .
Use the quickest rule
The quotient rule always works when the bottom is not 0, but it is not always the quickest.
- Constant top: , so the power rule gives .
- Constant bottom: is , with slope .
- A single power at the bottom: split it, as in lesson 2.3.1.
- A sum at the bottom: use the quotient rule. has slope .
Try it
The loop prints the central differences of at 1. SymPy then differentiates every quotient in this section.
The slopes of at , 0 and 1 print as fractions.
Lesson 2.3.3 handles a function inside another function, and lesson 2.6.2 runs the product rule backwards as integration by parts. Case study 2.3.7 applies the product rule to revenue, a price times a quantity.
Common mistakes
- . For at 3 that gives 6; the product rule gives 39.
- Each term differentiates exactly one factor. , never or .
- Keep the order on top of the quotient rule: . Swapping flips the sign of the answer.
- Square the bottom. The quotient rule divides by , not by .
- No slope where the bottom is 0. has none at .
- Same names, different rules. The product and quotient rules of exponents (lesson 1.4.1) and logs (lesson 1.4.3) combine powers; these rules find slopes.
Product and quotient rules
0 of 11 correct
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
- 9.
- 10.
- 11.
How to type answers
- Powers with
^:x^7,2^(1/3),a^-2. - Multiply with
*or by writing side by side:3x^2,2(x+1). ln(x)is the natural log,log(x, 2)is log base 2,eis Euler's number,sqrt(x)is a square root.sin(x),cos(x)andtan(x)take radians; writepifor π andsin(x)^2for sin²x.- Your first answer to each question is saved: it counts towards your score and brings the question back for review.
- Exact answers like
ln(20)/ln(3)are best. Decimals need about 4 significant figures.
Summary card
- The derivative of a product is not the product of the derivatives.
- Product rule: . In the area picture, each term is one strip; the corner vanishes.
- When one factor rises and the other falls, the two terms have opposite signs and the larger wins.
- Quotient rule: . Keep the order on top; there is no slope where .
- A constant top or a single-power bottom is quicker with the power rule. Check every derivative with
sp.diff.