Skip to content

Mathematics · Ch 18 — Differentiation

Theorem 4 — Derivative of Quotient of Functions

18.2.4

Theorem 4 — Derivative of Quotient of Functions

Theorem 4. If uu and vv are differentiable functions of xx such that y=uvy=\dfrac uv where v≠0v\ne0, then

dydx=vdudx−udvdxv2\dfrac{dy}{dx}=\dfrac{v\dfrac{du}{dx}-u\dfrac{dv}{dx}}{v^2}

Proof. Given y=uvy=\dfrac uv. Let xx receive a small increment δx\delta x; then u→u+δuu\to u+\delta u, v→v+δvv\to v+\delta v, y→y+δyy\to y+\delta y, so

y+δy=u+δuv+δvy+\delta y=\dfrac{u+\delta u}{v+\delta v}

δy=u+δuv+δv−uv=v(u+δu)−u(v+δv)v(v+δv)=v δu−u δvv(v+δv)\delta y=\dfrac{u+\delta u}{v+\delta v}-\dfrac uv=\dfrac{v(u+\delta u)-u(v+\delta v)}{v(v+\delta v)}=\dfrac{v\,\delta u-u\,\delta v}{v(v+\delta v)}

Since δx≠0\delta x\ne0, divide throughout by δx\delta x:

δyδx=vδuδx−uδvδxv(v+δv)\dfrac{\delta y}{\delta x}=\dfrac{v\dfrac{\delta u}{\delta x}-u\dfrac{\delta v}{\delta x}}{v(v+\delta v)}

Taking the limit as δx→0\delta x\to0, and noting δv→0\delta v\to0 (since vv is differentiable, hence continuous):

lim⁡δx→0δyδx=vlim⁡δx→0δuδx−ulim⁡δx→0δvδxv(v+lim⁡δx→0δv)=vdudx−udvdxv2\lim_{\delta x\to0}\dfrac{\delta y}{\delta x}=\dfrac{v\lim\limits_{\delta x\to0}\dfrac{\delta u}{\delta x}-u\lim\limits_{\delta x\to0}\dfrac{\delta v}{\delta x}}{v\left(v+\lim\limits_{\delta x\to0}\delta v\right)}=\dfrac{v\dfrac{du}{dx}-u\dfrac{dv}{dx}}{v^2}

using the differentiability of uu and vv exactly as in the proofs of Theorems 1–3. So

dydx=vdudx−udvdxv2■\dfrac{dy}{dx}=\dfrac{v\dfrac{du}{dx}-u\dfrac{dv}{dx}}{v^2}\qquad\blacksquare

Worked examples (combining the sum, product and quotient rules).

Example 1(1): y=x3/2+log⁡x−cos⁡xy=x^{3/2}+\log x-\cos x. Differentiating term by term (sum/difference rule):

dydx=ddx ⁣(x3/2)+ddx(log⁡x)−ddx(cos⁡x)=32x1/2+1x−(−sin⁡x)=32x+1x+sin⁡x\dfrac{dy}{dx}=\dfrac{d}{dx}\!\left(x^{3/2}\right)+\dfrac{d}{dx}(\log x)-\dfrac{d}{dx}(\cos x)=\dfrac32x^{1/2}+\dfrac1x-(-\sin x)=\dfrac32\sqrt x+\dfrac1x+\sin x

Example 1(2): f(x)=x5 cosec x+xtan⁡xf(x)=x^5\,\text{cosec}\,x+\sqrt x\tan x. Both terms are products, so the product rule is applied to each:

f′(x)=[x5⋅ddx(cosec x)+cosec x⋅ddx(x5)]+[x⋅ddx(tan⁡x)+tan⁡x⋅ddx(x)]f'(x)=\Big[x^5\cdot\dfrac{d}{dx}(\text{cosec}\,x)+\text{cosec}\,x\cdot\dfrac{d}{dx}(x^5)\Big]+\Big[\sqrt x\cdot\dfrac{d}{dx}(\tan x)+\tan x\cdot\dfrac{d}{dx}(\sqrt x)\Big]

=x5(−cosec xcot⁡x)+cosec x (5x4)+x (sec⁡2x)+tan⁡x(12x)=x^5(-\text{cosec}\,x\cot x)+\text{cosec}\,x\,(5x^4)+\sqrt x\,(\sec^2x)+\tan x\left(\dfrac1{2\sqrt x}\right)

=−x5 cosec xcot⁡x+5x4 cosec x+xsec⁡2x+tan⁡x2x=-x^5\,\text{cosec}\,x\cot x+5x^4\,\text{cosec}\,x+\sqrt x\sec^2x+\dfrac{\tan x}{2\sqrt x}

Example 1(3): y=ex−5ex+5y=\dfrac{e^x-5}{e^x+5}. By the quotient rule, with u=ex−5, v=ex+5u=e^x-5,\ v=e^x+5:

dydx=(ex+5)⋅ex−(ex−5)⋅ex(ex+5)2=e2x+5ex−e2x+5ex(ex+5)2=10ex(ex+5)2\dfrac{dy}{dx}=\dfrac{(e^x+5)\cdot e^x-(e^x-5)\cdot e^x}{(e^x+5)^2}=\dfrac{e^{2x}+5e^x-e^{2x}+5e^x}{(e^x+5)^2}=\dfrac{10e^x}{(e^x+5)^2}

Example 1(4): y=xsin⁡xx+sin⁡xy=\dfrac{x\sin x}{x+\sin x}. By the quotient rule, with u=xsin⁡x, v=x+sin⁡xu=x\sin x,\ v=x+\sin x: first dudx=xcos⁡x+sin⁡x\dfrac{du}{dx}=x\cos x+\sin x (product rule) and dvdx=1+cos⁡x\dfrac{dv}{dx}=1+\cos x. Then

dydx=(x+sin⁡x)(xcos⁡x+sin⁡x)−xsin⁡x(1+cos⁡x)(x+sin⁡x)2\dfrac{dy}{dx}=\dfrac{(x+\sin x)(x\cos x+\sin x)-x\sin x(1+\cos x)}{(x+\sin x)^2}

Expanding the numerator: (x+sin⁡x)(xcos⁡x+sin⁡x)=x2cos⁡x+xsin⁡x+xsin⁡xcos⁡x+sin⁡2x(x+\sin x)(x\cos x+\sin x)=x^2\cos x+x\sin x+x\sin x\cos x+\sin^2x, and xsin⁡x(1+cos⁡x)=xsin⁡x+xsin⁡xcos⁡xx\sin x(1+\cos x)=x\sin x+x\sin x\cos x. Subtracting cancels the xsin⁡xx\sin x and xsin⁡xcos⁡xx\sin x\cos x terms from both, leaving

dydx=x2cos⁡x+sin⁡2x(x+sin⁡x)2\dfrac{dy}{dx}=\dfrac{x^2\cos x+\sin^2x}{(x+\sin x)^2} …