学部で行列式を習った際,ある数式が頭を過った.[f(x)g(x)]′=f′(x)g(x)−f(x)g′(x)g(x)2商の微分の分子である.これを行列式を用いて表すと,[f(x)g(x)]′=−|f(x)g(x)f′(x)g′(x)|g(x)2
となる.ロンスキアンを知っていれば
[f(x)g(x)]′=−W(f,g)g(x)2となる.ロンスキアンを微分ととらえると,なんとなく1/fの微分−f′/f2のアナロジーであると気付けるだろう.
次に,先の公式を用いて特殊なケースについて考える.f⟼ax+b,g⟼cx+dとして,
[ax+bcx+d]′=−|ax+bcx+dac|(cx+d)2=−|bdac|(cx+d)2=|abcd|(cx+d)2
筆者はこれを暗記し,同様の微分を暗算で検算している.
f⟼af+b,g⟼cf+dとして,
[af(x)+bcf(x)+d]′=−|af(x)+bcf(x)+daf′(x)cf′(x)|(cf(x)+d)2=−|bdaf′(x)cf′(x)|(cf(x)+d)2=|abcd|f′(x)(cf(x)+d)2
g⟼gnとして,
[f(x)g(x)n]′=−|f(x)g(x)nf′(x)ng(x)n−1g′(x)|g(x)2n=−|f(x)g(x)f′(x)ng′(x)|g(x)n−1g(x)2n=f′(x)g(x)−nf(x)g′(x)g(x)n+1
これは商の微分で証明できるため,筆者同様高校時代に気付いた者も多いだろう.
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。