3.9: Quotient Rule
- Page ID
- 88649
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)What about \(\frac{d}{dx} \left( \frac{x}{e^x} \right)\)? Can we just take the derivative of the top and bottom separately, and put them together? Nope, we need a quotient rule.
\(\boxed{\cfrac{d}{dx} \left( \cfrac{f}{g} \right) = \frac{g f' - f g'}{g^2}}\)
Where did this strange formula come from? Some fancy algebra will get you there as the next example shows.
Note that I’m using \(a\) and \(b\) instead of \(f\) and \(g\) right now because we will need \(f\) and \(g\) to mean something else in just a second.
So what can we do? One way it to use the product rule in a strange manner. We are going to apply it to \(\frac{d}{dx} \left( b \cdot \frac{a}{b}\right)\). We set \(f = b\), and \(g = \frac{a}{b}\). We see
\[\begin{align*} \frac{d}{dx} \left( b \cdot \frac{a}{b} \right ) & = f g' + g' f \\ & = b \left( \frac{d}{dx} \frac{a}{b} \right) + \left(\frac{a}{b} \right) \left( \frac{d}{dx} b \right) \\ & = b \left( \frac{d}{dx} \frac{a}{b} \right) + \frac{a b'}{b} \end{align*}\]
But notice that \(\frac{d}{dx} \left(b \cdot \frac{a}{b}\right) = \frac{d}{dx} a = a'\). Hence, we have
\(a' = b \left( \frac{d}{dx} \frac{a}{b}\right) + \frac{a b'}{b}\)
Now we just have to solve for \(\frac{d}{dx} \frac{a}{b}\), and we have a formula for derivatives of quotients!
\[\begin{align*} a' & = b \left( \frac{d}{dx} \frac{a}{b} \right) + \frac{a b'}{b} \\ a' - \frac{a b'}{b} & = b\left( \frac{d}{dx} \frac{a}{b} \right) \\ \frac{1}{b} \left( a' - \frac{a b'}{b} \right) & = \frac{d}{dx} \frac{a}{b} \\ \frac{a'}{b} - \frac{a b'}{b^2} & = \frac{d}{dx} \frac{a}{b} \\ \frac{b a'}{b^2} - \frac{a b'}{b^2} & = \frac{d}{dx} \frac{a}{b} \\ \frac{b a' - a b'}{b^2} & = \frac{d}{dx} \frac{a}{b} \\ \end{align*}\]
If we turn this equation around, it gives the same quotient rule I mentioned earlier:
\(\boxed{\cfrac{d}{dx} \left( \cfrac{a}{b} \right) = \frac{b a' - ab'}{b^2}}\)
This has a cute rhyme to it: “low dee high minus high dee low, over the square of what’s below”. The “low dee high” means \(b a'\), since \(b\) is the “low” and \(a'\) is the “dee high”. Then “minus high dee low” is \(- a b'\). Finally, “over the square of what’s below” is \(b^2\).
Let’s see how it looks applying the quotient rule.
We set \(a = x\) and \(b = e^x\). We see \(a' = 1\), \(b' = e^x\). Using the formula \(\cfrac{d}{dx} \left( \cfrac{a}{b} \right) = \frac{b a' - ab'}{b^2}\), we have
\[\begin{align*} \frac{d}{dx} \left ( \frac{x}{e^x} \right) & = \frac{b a' - ab'}{b^2} \\ & = \frac{(e^x)(1) - (x)(e^x)}{(e^x)^2} \\ & = \frac{e^x (1 - x)}{(e^x)^2} \\ & = \boxed{\frac{1 - x}{e^{x}}} \end{align*}\]
If we simplify and turn \(\frac{x^2}{x}\) into just \(x\), then we have \(\frac{d}{dx} \left( \frac{x^2}{x} \right) = \frac{d}{dx} x = \boxed{1}\). Easy enough.
Using the quotient rule, we set \(a = x^2\) and \(b = x\), with \(a' = 2x\) and \(b = 1\). We have
\[\begin{align*} \frac{d}{dx} \left( \frac{x^2}{x} \right) & = \frac{b a' - a b'}{b^2} \\ & = \frac{(x)(2x) - x^2(1)}{(x)^2} \\ & = \frac{2x^2 - x^2}{x^2} \\ & = \frac{x^2}{x^2} \\ & = \boxed{1} \end{align*}\]
Same thing we got before!
In this case, \(a = x^2 + 2x\) and \(b = \ln(x)\). We have \(a' = 2x + 2\), \(b' = \frac{1}{x}\). Hence we have
\[\begin{align*} \frac{d}{dx} \frac{(x^2 + 2x)}{\ln(x)} & = \frac{b a' - a b'}{b^2} \\ & = \frac{(\ln(x)) (2x + 2) - (x^2 + 2x) \left( \frac{1}{x} \right)}{(\ln x)^2} \\ & = \boxed{\frac{\ln(x)(2x + 2) - (x + 2)}{(\ln x)^2}} \end{align*}\]
This doesn’t really simplify farther, so that’s our answer.
In this case \(a = \sin(x)\) and \(b = x\), so \(a' = \cos(x)\) and \(b' = 1\). Hence
\[\begin{align*} \frac{d}{dx} \frac{\sin(x)}{x} & = \frac{b a' - a b'}{b^2} \\ & = \boxed{\frac{x \cos(x) - \sin(x)}{x^2}}. \end{align*}\]