商の微分法則

微分積分学における商の法則（しょうのほうそく、英: quotient rule）は二つの可微分函数の比（商）となっている函数の導函数の計算を述べるものである^[1][2][3]。

主張

具体的に g, h はともに可微分で h(x) ≠ 0 として f(x) = g(x)/h(x) と書けば、この商 f の微分は

$${\displaystyle f'(x)={\frac {g'(x)h(x)-g(x)h'(x)}{[h(x)]^{2}}}}$$

 

で与えられる。

陰函数微分による証明

f(x) = g(x)/h(x) ならば g(x) = f(x)h(x) であるから、積の法則により ${\textstyle g'(x)=f'(x)h(x)+f(x)h'(x)}$  となり、f′ について解けば

$${\displaystyle {\begin{aligned}f'(x)&={\frac {g'(x)-f(x)h'(x)}{h(x)}}\\&={\frac {g'(x)-{\frac {g(x)}{h(x)}}\cdot h'(x)}{h(x)}}\\&={\frac {g'(x)h(x)-g(x)h'(x)}{h(x)^{2}}}\end{aligned}}}$$

 

を得る。

連鎖律による証明

f(x) = g(x)/h(x) = g(x)⋅h(x)⁻¹ と見れば、積の法則により ${\textstyle f'(x)=g'(x)h(x)^{-1}+g(x)\color {green}(h(x)^{-1})'}$  であり、右辺第二項の微分は連鎖律のもとで(冪の微分法則)（英語版）を用いれば、結局

$${\displaystyle f'(x)=g'(x)h(x)^{-1}+g(x)\cdot \color {green}(-1)h(x)^{-2}h'(x)}$$

 

を得る。整理すれば

$${\displaystyle {\begin{aligned}f'(x)&={\frac {g'(x)}{h(x)}}-{\frac {g(x)h'(x)}{h(x)^{2}}}\\&={\frac {g'(x)h(x)-g(x)h'(x)}{h(x)^{2}}}\end{aligned}}}$$

 

となる。

例

1. f(x) ≔ tan(x) = sin(x)/cos(x) の導函数を求めるのに商の法則が利用できる:
   $${\displaystyle {\begin{aligned}{\frac {d}{dx}}\tan x&={\frac {d}{dx}}{\frac {\sin x}{\cos x}}\\&={\frac {({\frac {d}{dx}}\sin x)(\cos x)-(\sin x)({\frac {d}{dx}}\cos x)}{\cos ^{2}x}}\\&={\frac {\cos ^{2}x+\sin ^{2}x}{\cos ^{2}x}}\\&={\frac {1}{\cos ^{2}x}}=\sec ^{2}x.\end{aligned}}}$$

    

高階版

陰函数微分を用いれば、商の n-階微分も（(n −1)-階までの導函数を用いて）計算することができる。例えば、f⋅h = g を両辺二回微分して f″ について解けば

$${\displaystyle f''=\left({\frac {g}{h}}\right)''={\frac {g''-2f'h'-fh''}{h}}}$$

 

を得る。

関連項目

• 積の微分法則

参考文献

1. ^ (Stewart, James) (2008). Calculus: Early Transcendentals (6th ed.). Brooks/Cole. ISBN (0-495-01166-5) 
2. ^ (Larson, Ron); Edwards, Bruce H. (2009). Calculus (9th ed.). Brooks/Cole. ISBN (0-547-16702-4) 
3. ^ (Thomas, George B.); Weir, Maurice D.; (Hass, Joel) (2010). Thomas' Calculus: Early Transcendentals (12th ed.). (Addison-Wesley). ISBN (0-321-58876-2)