Explanation of the product and chain rules

$\newenvironment {prompt}{}{} \newcommand {\ungraded }[0]{} \newcommand {\todo }[0]{} \newcommand {\mooculus }[0]{\textsf {\textbf {MOOC}\textnormal {\textsf {ULUS}}}} \newcommand {\npnoround }[0]{\nprounddigits {-1}} \newcommand {\npnoroundexp }[0]{\nproundexpdigits {-1}} \newcommand {\npunitcommand }[1]{\ensuremath {\mathrm {#1}}} \newcommand {\tkzTabSlope }[1]{\foreach \x /\y /\z in {#1}{\node [left = 3pt] at (Z\x 1) {\scriptsize $\y $}; \node [right = 3pt] at (Z\x 1) {\scriptsize $\z $}; }} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\sagemath }[0]{\textsf {SageMath}} \newcommand {\d }[0]{\mathop {}\!d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\ddt }[0]{\frac {d}{\d t}} \newcommand {\zeroOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }[0]{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }[0]{\ensuremath {\small \boldsymbol {\infty -\infty }}} \newcommand {\oneToInfty }[0]{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }[0]{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }[0]{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }[0]{\textbf } \newcommand {\unit }[0]{\mathop {}\!\mathrm } \newcommand {\eval }[1]{\bigg [ #1 \bigg ]} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\phi }[0]{\varphi } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\proj }{\vec {proj}} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[0]{\overrightarrow } \newcommand {\vec }[0]{\mathbf } \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\boldsymbol {\l }} \newcommand {\uvec }[1]{\mathbf {\hat {#1}}} \newcommand {\utan }[0]{\mathbf {\hat {t}}} \newcommand {\unormal }[0]{\mathbf {\hat {n}}} \newcommand {\ubinormal }[0]{\mathbf {\hat {b}}} \newcommand {\dotp }[0]{\bullet } \newcommand {\cross }[0]{\boldsymbol \times } \newcommand {\grad }[0]{\boldsymbol \nabla } \newcommand {\divergence }[0]{\grad \dotp } \newcommand {\curl }[0]{\grad \cross } \newcommand {\lto }[0]{\mathop {\longrightarrow \,}\limits } \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\vector }[1]{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }[0]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument }$

We give explanation for the product rule and chain rule.

Now that we know about differentials, let’s use them to give some intuition as to why the product and chain rules are true.

Explanation of the product rule

Linear approximations can help us explain why the product rule works.

The product rule If $f$ and $g$ are differentiable, then $\ddx f(x)g(x) = f(x)g'(x)+f'(x)g(x).$

To start, we need some way to understand the function $A(x) = f(x) \cdot g(x).$ One interpretation of multiplication is it is the area of a $f(x) \times g(x)$ rectangle:

To understand the derivative of the product, we must understand how the area, $A$ , changes as $x$ changes. If we change the inputs of $f$ and $g$ by $\d x$ , then the size of the rectangle changes:

However, we know from our previous work that $\begin{align*} f(x+\d x) &\approx f(x) + \d f,\\ g(x+\d x) &\approx g(x) + \d g,\\ \end{align*}$

so now our picture becomes:

Note, if we think of $A(x) = f(x)\cdot g(x)$ , then we can also label our picture as follows:

Finally, from the pictures above and recalling that $\begin{align*} \d f &= f'(x) \d x\\ \d g &= g'(x) \d x, \end{align*}$

we see that

$\begin{align*} \d A &= f(x) \d g + g(x) \d f + \d f \d g\\ &=f(x) g'(x) \d x + g(x) f'(x) \d x + f'(x) g'(x) \left(\d x\right)^2. \end{align*}$

Dividing both sides by $\d x$ we see $\dd [A]{x} = f(x) g'(x) + g(x) f'(x) + f'(x) g'(x) \d x$ and letting $\d x$ go to zero we see $A'(x) = f(x) g'(x) + g(x) f'(x).$

Explanation of the chain rule

Now we’ll use linear approximations to help explain why the chain rule is true.

Chain Rule If $f$ and $g$ are differentiable, then $\ddx f(g(x)) = f'(g(x))g'(x).$

We’ll try to understand this geometrically. In what follows, the functions $f$ and $g$ look like lines; however, the young mathematician should realize that we are not looking at true lines, instead we are looking at $f$ and $g$ sufficiently “zoomed-in” so that they appear to be lines. First consider a graph of $g$ with respect to $x$ :

Now consider a graph of $f$ with respect to $g$ :

If we combine these graphs, by laying the graph of $g$ on its side, we obtain:

Ah! From this we see that $\begin{align*} \d f &= f'(g) \d g\\ &= f'(g(x)) g'(x) \d x, \end{align*}$

so $\dd [f]{x} = f'(g(x))g'(x).$

These “explanations” are not meant to be the end of the story for the product rule and chain rule, rather they are hopefully the beginning. As you learn more mathematics, these explanations will be refined and made precise.