解析学基礎/微分2
出典: フリー教科書『ウィキブックス(Wikibooks)』
目次 |
[編集] よく使われる微分の規則
[編集] 合成関数の微分
多項式の微分については、前項で学びました。例えば
となります。
ここでは y=(x+5)2 のような関数を考えます。これは次のように展開してから、微分することができます。
- y = x2 + 10x + 25
- f'(x) = 2x + 10
この場合は、 2 乗なので展開もそれほど苦ではありませんが、これが、10 乗などになってくると、とても大変になってきます。 そこで、展開しなくても微分を計算することができる合成関数の微分と呼ばれる方法を学びます。上の関数は u=(x+5) と置き換えてみると次のような表現で書く事ができます。
- y = y(u) = u2
- u = u(x) = x + 5
つまり、下の式を上の式に代入すると
- y = y(u(x))
となるようになっています。
合成関数の微分は、このように、y が u だけで表される関数として書かれ、 u が x だけで表される関数として書かれるような場合に使うことができ、

このようになります。
この公式を使って、先程の関数の微分を計算してみましょう。
したがって
となり、展開してから微分した場合と一致していることがわかります。 合成関数の微分を、もう少し複雑な式で使ってみます。例えば
の式において

- u = u(x) = 1 + x2
としてみると、
となりますから、合成関数の微分によればこの関数の微分は
となります。
[編集] 積の微分と商の微分
さらに複雑な関数の微分について学びます。
この関数の微分を計算するために展開して、多項式の微分を行うこともできますが、計算が大変になります。そこでこの関数をf(x) = (x2+5)5とg(x) = (x3 + 2)3の積と見て次の公式を使うことにより、遙かに簡単に計算することができます。
|
|
以下、この公式を導関数の定義に戻って証明します。
ここで、相殺する項を付け加えるという使い古された手法を用います。
加えた項は、差し引きして 0 になることに注意してください。
右辺を二つの分数に分けます。
それぞれの分子は、共通の因子でくくれます。
ここで極限を取ってみると
となり公式が示せました。
3つの関数の積であれば
となります。いくつの関数の積であっても、2つの時の積の微分を繰り返し使う事により、同じような公式を導くことができます。
次は、商の微分を考えます。関数の商は
と見る事ができ、この右辺は、関数同士の積と見る事ができますので、商の微分は、積の微分の特別な場合と見る事ができます。
積の微分と合成関数の微分とべき乗関数の微分を使って、商の微分を計算してみます。
ここで、負の次数の部分を再び分数の表現に戻します。
これで、商の微分と呼ばれる公式が得られました。
|
|
覚えるのは少し大変かもしれません。分子が引き算になることに注意しましょう。
注意: 足し算や引き算、或いは定数倍の時は、微分と計算順序を入れ替えることができました。足し算を先に行い微分しても、微分してから足し算をしても同じでした。しかし、積や商の時は微分と計算順序を入れ替えることはできないことに注意してください。
[編集] 指数関数の微分
指数関数 ex の微分を求めます。
指数法則 ab + c = ab acを用いることにより:
ここで、 p = eh−1 とおくと
となります。ここで、 lnは対数関数です。 logという記号を用いることもあります。 この式の逆数を考えると
自然対数 eの定義から
となり、h → 0 の時 p → 0 ですから
となります。
即ち、次の公式が得られました。
|
|
つまり、指数関数 ex は 微分しても変わらない関数 f'(x) = f(x) です。これはとても重要な性質です。
指数関数でも、底が e ではなく、 a > 0 だったらどうなるでしょうか?つまり
を計算します。対数関数を用いて eln(c) = c となることに注意すると
という形になります。あとは、合成関数の微分によって、
となります。したがって、次の公式が得られました。
|
|
a = e としたときに、 先程の公式と同じになることに注意してください。
[編集] 対数関数の微分
対数関数の微分を計算します。指数関数と密接な関係にあるので、指数関数の微分を用いるととても容易に計算できます。 まず、次のように 変数 y を定義します。
右辺の lnが 対数関数です。ln を用いる時は、底が e の対数関数、即ち、自然対数関数です。底が e で無いときなどは、log などを用いますので、特に、底が e である事を明示したい場合などは、 ln が使われます。 log という表記に慣れている場合は log だと思って頂いて構いません。日本の学校では、 底が e でも log を用いて教えることが多いです。
y の x による微分を求めるために次のような変形を行います。
- ey = x
そして、 両辺を x で微分します。 特に左辺には x がありませんが、 y は x の関数として定義されていることを考えて、合成関数の微分を使います。
x = ey という関係を再び使うと
になりますから、次の公式が得られます。
|
|
底が、e で無い場合の対数関数は、底の変換公式を用いる事によって
となり、1 / ln(b) は定数ですから、微分の外に出す事ができ
となります。したがって次の公式が得られます。
|
|
[編集] 三角関数の微分
サイン、コサイン、タンジェント、セカント、コセカントの微分を計算します。これらの関数は、数学だけでなく、物理や工学などの応用分野でも非常によくみかけます。極座標の表現や、複素平面上の線積分など、いろいろな場面でこれらの関数に出会います。
これらの関数の微分の計算の仕方はいろいろあります。三角関数の元の定義に戻って計算することもできますが、それよりも簡単な方法として、ここではオイラーの公式:
|
|
を用いた微分を紹介します。 ここで
です。
この公式を用いると、サインとコサインは次のように表されることになります。
指数関数の微分を用いれば
となりますから、次の結果が得られます。
|
|
これを用いて、タンジェントの微分が計算できます。
という関係式に、商の微分を用いれば
となります。また
- cos2(x) + sin2(x) = 1 であることを思い出せば
![]() |
![]() |
![]() |
という表現も可能です。
|
|
どちらの表現も重要でよく出てきます。
セカントの微分は合成関数の微分から求めてみます。(もちろん商の微分を使ってもかまいません。)
定義から
ですから、

- u(x) = cos(x)
これらの式の微分は、それぞれ
したがって
となり、次の公式を得ます。
|
|
コセカントの場合も同じです。
|
|
コタンジェントの場合は、タンジェントの微分と同じ方法を用います。
|
|
[編集] 逆三角関数の微分
逆三角関数のアークサイン、アークコサイン、アークタンジェント の微分を計算します。これらは sin−1、cos−1、tan−1のようにも表記されますが 逆数を表す時の −1 乗などと紛らわしい事もあり arcsin、arccos、arctan のような表記がされることも多くなっています。三角関数の逆関数なので、三角関数の値が分かっているときに、角度を求める関数です。使うときには定義域や値域に気を付けないといけません。
まず最初に、 arcsin の微分から計算します。 ここでは、第一象限の場合のみ考えます。すなわち
の時に限ります。他の象限にある場合なども符号に気を付けて似たような計算をしてください。
- y = arcsin(x)
まず最初に、既に知っている関数の微分を使うために
- x = sin(y)
とします。そして両辺を x で微分します。右辺は、合成関数の微分です。
dy / dx について解いてみると
- sin2(y) + cos2(y) = 1
を使うと次の公式が得られます。
|
|
同じような方法で、arccos や arctan の微分も計算できます。
|
|
|
|
[編集] 演習
これまでに学んだ、微分の法則を用いて次の微分を計算してください。
- D[(x3 + 5)10]
- D[x3 + 3x]
![D[(x+4)\cdot (x+2)\cdot (x-3)]](http://upload.wikimedia.org/math/9/b/a/9baa6e74d32e779fea6f3895fb918de7.png)
![D[\frac{x+1}{3x^2}]](http://upload.wikimedia.org/math/e/6/2/e621909daf71f4e671a7e71f273eca41.png)
![D[3\cdot x^3]](http://upload.wikimedia.org/math/8/1/6/816d3e39f293dd8f9dd2ded5775d234a.png)
- D[2x]
![D[e^{x^2}]](http://upload.wikimedia.org/math/0/3/2/0329ad44e92dc81c1a2611b754215621.png)
![D[ e^{2^x} ]](http://upload.wikimedia.org/math/1/5/b/15bb3e691ff5b4f2e4d2808c98c1e1d6.png)
- D[xx]
[編集] 演習問題の答え
[編集] その他 初等関数の微分について
多項式の微分は項を分けて単項式にして計算しました。そして、商の微分を用いて 有理関数の微分を行いました。
そして、sin x, cos x, tan x, ex, ln x などのような他の関数の微分が必要になることもあるでしょう。先程は、三角関数の微分でオイラーの公式などの便利な公式を持ってきて計算をしましたが、 導関数の定義
,
を用いて、これらの微分を求められないでしょうか?
sin x に関しては、次のような証明もできます。
|
f(x) = sinx
|
因みに、
は、極限を参照してください。
[編集] 演習
cosx や tanx の微分を 同じように求めてみてください。
[編集] 外部リンク
back to 解析学基礎









![\frac{d}{dx}\left[ f(x) \cdot g(x) \right] = f'(x) \cdot g(x)+f(x) \cdot g'(x)\,\!](http://upload.wikimedia.org/math/5/d/4/5d4cc1ca13d2fda3bc1543a3189a80b9.png)
![\frac{d}{dx} \left[ f(x) \cdot g(x) \right] = \lim_{h \to 0} \frac{ f(x+h)\cdot g(x+h) - f(x) \cdot g(x)}{h}](http://upload.wikimedia.org/math/2/1/6/2160dbe8487364a463a9d96e25184230.png)
![\frac{d}{dx} \left[ f(x) \cdot g(x) \right] = \lim_{h \to 0} \frac{ f(x+h)\cdot g(x+h) \mathbf{- f(x) \cdot g(x+h) + f(x) \cdot g(x+h)} - f(x) \cdot g(x)}{h}](http://upload.wikimedia.org/math/2/8/d/28dc9ebce6140937db3eafbbe57eb5e3.png)
![\frac{d}{dx} \left[ f(x) \cdot g(x) \right] = \lim_{h \to 0} \left[ \frac{ f(x+h)\cdot g(x+h) - f(x) \cdot g(x+h) }{h} + \frac{f(x) \cdot g(x+h) - f(x) \cdot g(x)}{h} \right]](http://upload.wikimedia.org/math/c/b/3/cb3b059d75cb49edb834045e8cfc7ba7.png)
![\frac{d}{dx} \left[ f(x) \cdot g(x) \right] = \lim_{h \to 0} \left[ g(x+h) \frac{ f(x+h) - f(x) }{h} + f(x) \frac{g(x+h) - g(x)}{h} \right]](http://upload.wikimedia.org/math/1/3/3/133929dadee9d76310bf47739e9ffe00.png)
![\frac{d}{dx} \left[ f(x) \cdot g(x) \right] = f'(x) \cdot g(x) + f(x) \cdot g'(x)](http://upload.wikimedia.org/math/2/b/8/2b8235ee90c36292a83e74efe9a6ed09.png)
![\frac{d}{dx}[fgh] = f(x) g(x) h'(x) + f(x) g'(x) h(x) + f'(x) g(x) h(x)](http://upload.wikimedia.org/math/1/3/9/139a236da7f9d6b511d9e5147069946b.png)



![\frac{d}{dx} \left[{f(x)\over g(x)}\right] = \frac{f'(x) \cdot g(x) - f(x) \cdot g'(x)}{g(x)^2}\,\!](http://upload.wikimedia.org/math/a/5/b/a5b398ef2c7b53193cc52a51c5e06e99.png)









![\frac{d}{dx}e^{x \cdot \ln(a)} = \left[ \frac{d}{dx} x\cdot \ln(a) \right] e^{x \cdot \ln(a)} = \ln(a) e^x](http://upload.wikimedia.org/math/1/2/c/12c27cf0227912bdb4740a3e25d71a11.png)











































![[\ln(x) + 1] \cdot x^x](http://upload.wikimedia.org/math/d/5/0/d50507b73b1713200914b307aecc2d8d.png)



