1接線の傾き
![接線の傾き](/images/mathematics/basic7/771521088571_ja.png)
「接線の傾き」とは、図形に接した直線において「
の増分![](/s/slash.png)
の増分」を計算したものです。 例えば、上の図の接線では
が
増加したときに
が
増加していますので、接線の傾きは「![](/s/2.png)
![](/s/slash.png)
![](/s/1.png)
![](/s/eq.png)
」です。 直線の図形を![](/s/y.png)
![](/s/eq.png)
![](/s/a.png)
![](/s/x.png)
![](/s/add.png)
と表すと、
の値が傾きになります。
![](/s/y.png)
![](/s/slash.png)
![](/s/x.png)
![](/s/x.png)
![](/s/1.png)
![](/s/y.png)
![](/s/2.png)
![](/s/2.png)
![](/s/slash.png)
![](/s/1.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/a.png)
![](/s/x.png)
![](/s/add.png)
![](/s/b.png)
![](/s/a.png)
接線の傾きの身近な例としては、走行距離に対する速度があります。 時間を
とし、車が走った距離を
としたときの図形を図1-2のように表すと、各
における接線の傾きとは、それぞれの時間における速度を意味します。
![](/s/x.png)
![](/s/y.png)
![](/s/x.png)
![走行距離と速度](/images/mathematics/basic7/771521088571_2_ja.png)
このように接線の傾きとは、「走行距離」に対する「速度」だったり、「坂道の高さ」に対する「斜面の勾配」だったり、「バケツに水が溜まった量」に対する「水の流量」だったりする身近な値ですので、接線の傾きが計算できると多くの分野で役に立ちます。 このように、図形の各点における接線の傾きを求めることを、数学では「微分」といいます。
2例題
それではさっそく、例題として接線の傾きを求めてみましょう(図2-1)。
![例題](/images/mathematics/basic7/086336114606_ja.png)
この問題は、第6話で説明した「極限」を使うことで接線の傾きが求まります。 「![](/s/x.png)
![](/s/eq.png)
のときの
」と、少しずらした「![](/s/x.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/add.png)
のときの
」を結んだ直線を考え、
を「![](/s/h.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/h.png)
![](/s/eq.png)
![](/s/0.png)
![](/s/dot.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/h.png)
![](/s/eq.png)
![](/s/0.png)
![](/s/dot.png)
![](/s/0.png)
![](/s/1.png)
![](/s/comma.png)
」のように限りなく
に近づけると、直線の傾きは接線の傾きに近づいていきます(図2-2)。
![](/s/x.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/y.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/add.png)
![](/s/h.png)
![](/s/y.png)
![](/s/h.png)
![](/s/h.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/h.png)
![](/s/eq.png)
![](/s/0.png)
![](/s/dot.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/h.png)
![](/s/eq.png)
![](/s/0.png)
![](/s/dot.png)
![](/s/0.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/0.png)
![例題の解答](/images/mathematics/basic7/086336114606_2_ja.png)
図が細かくてややこしいですが、要するに![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
の曲線上にある2点を限りなく狭めていくことで、![](/s/x.png)
![](/s/eq.png)
のときの接線の傾きを求めようというものです。
を限りなく
に近づけることで、2点は限りなく![](/s/x.png)
![](/s/eq.png)
に近づいていきます。
![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/h.png)
![](/s/0.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/3.png)
接線の傾きとは「
の増分![](/s/slash.png)
の増分」ですので、
を限りなく
に近づけたときの直線の傾きは「![](/s/lim_h_0.png)
![](/s/pl.png)
![](/s/pl.png)
![](/s/3.png)
![](/s/add.png)
![](/s/h.png)
![](/s/pr.png)
![](/s/sup_2.png)
![](/s/sub.png)
![](/s/3.png)
![](/s/sup_2.png)
![](/s/pr.png)
![](/s/slash.png)
」となり、計算すると限りなく「
」に近づくことが解ります(図2-3)。
![](/s/y.png)
![](/s/slash.png)
![](/s/x.png)
![](/s/h.png)
![](/s/0.png)
![](/s/lim_h_0.png)
![](/s/pl.png)
![](/s/pl.png)
![](/s/3.png)
![](/s/add.png)
![](/s/h.png)
![](/s/pr.png)
![](/s/sup_2.png)
![](/s/sub.png)
![](/s/3.png)
![](/s/sup_2.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/h.png)
![](/s/6.png)
![例題の解答2](/images/mathematics/basic7/086336114606_3.png)
従って、答えは「
」です。
![](/s/6.png)
3微分
さて、ここまでの流れを任意の関数に一般化します。
![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/x.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/x.png)
![](/s/f.png)
![](/s/prime.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/f.png)
![](/s/prime.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/lim_h_0.png)
![](/s/pl.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/add.png)
![](/s/h.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/h.png)
そして、すべてのxに対して![](/s/f.png)
![](/s/prime.png)
![](/s/pl.png)
![](/s/x.png)
が収束するとき、この![](/s/f.png)
![](/s/prime.png)
![](/s/pl.png)
![](/s/x.png)
を「
」と書き、「
を
で微分する」といいます。 またこのときの![](/s/f.png)
![](/s/prime.png)
![](/s/pl.png)
![](/s/x.png)
は![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
の「導関数」といいます。
![](/s/f.png)
![](/s/prime.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/f.png)
![](/s/prime.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/d_y_div_d_x.png)
![](/s/y.png)
![](/s/x.png)
![](/s/f.png)
![](/s/prime.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
例えば、先ほどの![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
を
で微分すると、図3-1のようになります。
![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/x.png)
のとき、
を
で微分すると、
より、すべてのに対して
は収束するので、
は導関数である。
すなわち、。
試しに先ほどの例題のように
に
を代入すると、![](/s/f.png)
![](/s/prime.png)
![](/s/pl.png)
![](/s/3.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/mul.png)
![](/s/3.png)
![](/s/eq.png)
となって、先ほどの結果と一致することが分かります。
![](/s/x.png)
![](/s/3.png)
![](/s/f.png)
![](/s/prime.png)
![](/s/pl.png)
![](/s/3.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/mul.png)
![](/s/3.png)
![](/s/eq.png)
![](/s/6.png)
ちなみに、「
」は「![](/s/d_div_d_x.png)
」とも書けます。 この「
」とは、「![](/s/sub.png)
」における「
」のようなもので、右に来るものを
で微分する意味になります。 例えば、![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
を
で微分する場合「![](/s/d_div_d_x.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
」と書けます。 もちろん、
ではなく
で微分する場合は
となります。
![](/s/d_y_div_d_x.png)
![](/s/d_div_d_x.png)
![](/s/y.png)
![](/s/d_div_d_x.png)
![](/s/sub.png)
![](/s/5.png)
![](/s/sub.png)
![](/s/x.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/sup_2.png)
![](/s/x.png)
![](/s/d_div_d_x.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/sup_2.png)
![](/s/x.png)
![](/s/t.png)
![](/s/d_div_d_t.png)
また「
」は、
の微小な変化量を「![](/s/d.png)
」としたときの、
の微小な変化量を「![](/s/d.png)
」と考えて、「
」という分数のように見なすこともできます。 実際「微分形式」という分野では「![](/s/d.png)
」と「![](/s/d.png)
」を分離してそれぞれ変数のように扱います。
![](/s/d_y_div_d_x.png)
![](/s/x.png)
![](/s/d.png)
![](/s/x.png)
![](/s/y.png)
![](/s/d.png)
![](/s/y.png)
![](/s/d_y_div_d_x.png)
![](/s/d.png)
![](/s/x.png)
![](/s/d.png)
![](/s/y.png)
「
」は、微分する変数が明らかな場合は、簡略化して「![](/s/y.png)
」と書かれることがあります。
![](/s/d_y_div_d_x.png)
![](/s/y.png)
![](/s/prime.png)
4主な関数の微分
それでは主な関数を順番に微分していきましょう。 細かな話が続きますが、大まかな流れは同じです。 以下の内容を組み合わせることで、多くの関数が微分できるようになります。
4.1xのa乗の微分
先ほど![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
の微分を求めましたが、任意の実数
に対し、![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
の微分を求めることができます。 ![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
を微分すると、「![](/s/d_y_div_d_x.png)
![](/s/eq.png)
![](/s/lim_h_0.png)
![](/s/pl.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/add.png)
![](/s/h.png)
![](/s/pr.png)
![](/s/sup_a.png)
![](/s/sub.png)
![](/s/x.png)
![](/s/sup_a.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/h.png)
![](/s/eq.png)
![](/s/a.png)
![](/s/x.png)
![](/s/sup_a.png)
![](/s/sup_sub.png)
」となります(図4-1)。
![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/a.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
![](/s/sup_a.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
![](/s/sup_a.png)
![](/s/d_y_div_d_x.png)
![](/s/eq.png)
![](/s/lim_h_0.png)
![](/s/pl.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/add.png)
![](/s/h.png)
![](/s/pr.png)
![](/s/sup_a.png)
![](/s/sub.png)
![](/s/x.png)
![](/s/sup_a.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/h.png)
![](/s/eq.png)
![](/s/a.png)
![](/s/x.png)
![](/s/sup_a.png)
![](/s/sup_sub.png)
![](/s/sup_1.png)
のとき、
。
例えば![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
を微分すると「![](/s/d_y_div_d_x.png)
![](/s/eq.png)
![](/s/2.png)
」となります。
![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/d_y_div_d_x.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/x.png)
また
は![](/s/x.png)
![](/s/sup_sub.png)
であることを利用すると、分数の微分が![](/s/d_div_d_x.png)
![](/s/1_div_x.png)
![](/s/eq.png)
![](/s/d_div_d_x.png)
![](/s/x.png)
![](/s/sup_sub.png)
![](/s/sup_1.png)
![](/s/eq.png)
![](/s/sub.png)
![](/s/x.png)
![](/s/sup_sub.png)
![](/s/sup_2.png)
![](/s/eq.png)
![](/s/sub.png)
と求まります。 同様に
は![](/s/x.png)
であることを利用すると、平方根の微分が![](/s/d_div_d_x.png)
![](/s/sqrt_x.png)
![](/s/eq.png)
![](/s/d_div_d_x.png)
![](/s/x.png)
![](/s/sup_1_div_2.png)
![](/s/eq.png)
![](/s/1_div_2.png)
![](/s/x.png)
![](/s/sup_sub.png)
![](/s/sup_1_div_2.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/pl.png)
![](/s/2.png)
![](/s/sqrt_x.png)
と求まります。
![](/s/1_div_x.png)
![](/s/x.png)
![](/s/sup_sub.png)
![](/s/sup_1.png)
![](/s/d_div_d_x.png)
![](/s/1_div_x.png)
![](/s/eq.png)
![](/s/d_div_d_x.png)
![](/s/x.png)
![](/s/sup_sub.png)
![](/s/sup_1.png)
![](/s/eq.png)
![](/s/sub.png)
![](/s/x.png)
![](/s/sup_sub.png)
![](/s/sup_2.png)
![](/s/eq.png)
![](/s/sub.png)
![](/s/1_div_x_sup_2.png)
![](/s/sqrt_x.png)
![](/s/x.png)
![](/s/sup_1_div_2.png)
![](/s/d_div_d_x.png)
![](/s/sqrt_x.png)
![](/s/eq.png)
![](/s/d_div_d_x.png)
![](/s/x.png)
![](/s/sup_1_div_2.png)
![](/s/eq.png)
![](/s/1_div_2.png)
![](/s/x.png)
![](/s/sup_sub.png)
![](/s/sup_1_div_2.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/pl.png)
![](/s/2.png)
![](/s/sqrt_x.png)
![](/s/pr.png)
4.2三角関数の微分
三角関数を微分すると、表4-1の通りです。
関数 | 導関数 |
---|---|
![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
微分すると、![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
は![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
に、![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
は![](/s/sub.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
になります。
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/x.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/x.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/x.png)
![](/s/sub.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/x.png)
このあたりの関数は極限を計算するのが大変なため、多くの人は微分した結果を暗記しています。
4.3指数関数と対数関数の微分
指数関数と対数関数を微分すると、表4-2の通りです。
関数 | 導関数 |
---|---|
![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
若干複雑ですが、微分すると、![](/s/a.png)
は![](/s/a.png)
![](/s/sup_x.png)
![](/s/tl.png)
![](/s/to.png)
![](/s/tg.png)
![](/s/sub_e.png)
に、![](/s/tl.png)
![](/s/to.png)
![](/s/tg.png)
![](/s/sub_a.png)
は![](/s/1.png)
![](/s/slash.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/tl.png)
![](/s/to.png)
![](/s/tg.png)
![](/s/sub_e.png)
![](/s/a.png)
になります。 ここで「
」とは、「ネイピア数」と呼ばれ、![](/s/e.png)
![](/s/eq.png)
![](/s/lim_n_inf.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/add.png)
![](/s/1_div_n.png)
![](/s/pr.png)
![](/s/sup_n.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/dot.png)
![](/s/7.png)
![](/s/1.png)
![](/s/8.png)
![](/s/2.png)
![](/s/8.png)
![](/s/1.png)
![](/s/8.png)
![](/s/2.png)
![](/s/8.png)
![](/s/4.png)
![](/s/5.png)
![](/s/9.png)
と定義される無理数です。 「
」は数学でよく現れる定数ですが、やや難しいので、
は![](/s/2.png)
![](/s/dot.png)
くらいの数と憶えておくだけで十分です。
![](/s/a.png)
![](/s/sup_x.png)
![](/s/a.png)
![](/s/sup_x.png)
![](/s/tl.png)
![](/s/to.png)
![](/s/tg.png)
![](/s/sub_e.png)
![](/s/a.png)
![](/s/tl.png)
![](/s/to.png)
![](/s/tg.png)
![](/s/sub_a.png)
![](/s/x.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/tl.png)
![](/s/to.png)
![](/s/tg.png)
![](/s/sub_e.png)
![](/s/a.png)
![](/s/pr.png)
![](/s/e.png)
![](/s/e.png)
![](/s/eq.png)
![](/s/lim_n_inf.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/add.png)
![](/s/1_div_n.png)
![](/s/pr.png)
![](/s/sup_n.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/dot.png)
![](/s/7.png)
![](/s/1.png)
![](/s/8.png)
![](/s/2.png)
![](/s/8.png)
![](/s/1.png)
![](/s/8.png)
![](/s/2.png)
![](/s/8.png)
![](/s/4.png)
![](/s/5.png)
![](/s/9.png)
![](/s/dots.png)
![](/s/e.png)
![](/s/e.png)
![](/s/2.png)
![](/s/dot.png)
![](/s/7.png)
特に底
が
であるとき、![](/s/tl.png)
![](/s/to.png)
![](/s/tg.png)
![](/s/sub_e.png)
![](/s/e.png)
![](/s/eq.png)
を利用することで、導関数はシンプルな形になります(表4-3)。
![](/s/a.png)
![](/s/e.png)
![](/s/tl.png)
![](/s/to.png)
![](/s/tg.png)
![](/s/sub_e.png)
![](/s/e.png)
![](/s/eq.png)
![](/s/1.png)
関数 | 導関数 |
---|---|
![]() ![]() |
![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() |
![](/s/e.png)
![](/s/sup_x.png)
またこのように対数関数の底が
のとき、この関数を「自然対数」といい、底を省略して書くことが多いです。 つまり、![](/s/tl.png)
![](/s/to.png)
![](/s/tg.png)
![](/s/sub_e.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/tl.png)
![](/s/to.png)
![](/s/tg.png)
です。
![](/s/e.png)
![](/s/tl.png)
![](/s/to.png)
![](/s/tg.png)
![](/s/sub_e.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/tl.png)
![](/s/to.png)
![](/s/tg.png)
![](/s/x.png)
4.4微分の線形性
次は「![](/s/y.png)
![](/s/eq.png)
![](/s/4.png)
![](/s/x.png)
![](/s/sup_5.png)
![](/s/add.png)
![](/s/2.png)
![](/s/x.png)
![](/s/sup_3.png)
![](/s/add.png)
」のような、足し算で繋がって「![](/s/y.png)
![](/s/eq.png)
![](/s/a.png)
![](/s/sub_1.png)
![](/s/f.png)
![](/s/sub_1.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/add.png)
![](/s/a.png)
![](/s/sub_2.png)
![](/s/f.png)
![](/s/sub_2.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/add.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/comma.png)
![](/s/add.png)
![](/s/a.png)
![](/s/sub_n.png)
![](/s/f.png)
![](/s/sub_n.png)
![](/s/pl.png)
![](/s/x.png)
」の形になっている関数の微分です。 ![](/s/a.png)
![](/s/sub_1.png)
![](/s/comma.png)
![](/s/a.png)
![](/s/sub_2.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/comma.png)
![](/s/a.png)
は任意の実数で、![](/s/f.png)
![](/s/sub_1.png)
![](/s/comma.png)
![](/s/f.png)
![](/s/sub_2.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/comma.png)
![](/s/f.png)
は任意の関数です。
![](/s/y.png)
![](/s/eq.png)
![](/s/4.png)
![](/s/x.png)
![](/s/sup_5.png)
![](/s/add.png)
![](/s/2.png)
![](/s/x.png)
![](/s/sup_3.png)
![](/s/add.png)
![](/s/x.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/a.png)
![](/s/sub_1.png)
![](/s/f.png)
![](/s/sub_1.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/add.png)
![](/s/a.png)
![](/s/sub_2.png)
![](/s/f.png)
![](/s/sub_2.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/add.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/comma.png)
![](/s/add.png)
![](/s/a.png)
![](/s/sub_n.png)
![](/s/f.png)
![](/s/sub_n.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/a.png)
![](/s/sub_1.png)
![](/s/comma.png)
![](/s/a.png)
![](/s/sub_2.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/comma.png)
![](/s/a.png)
![](/s/sub_n.png)
![](/s/f.png)
![](/s/sub_1.png)
![](/s/comma.png)
![](/s/f.png)
![](/s/sub_2.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/comma.png)
![](/s/f.png)
![](/s/sub_n.png)
これを微分すると、図4-2となります。
のとき、
。
つまり、定数部分![](/s/a.png)
![](/s/sub_1.png)
![](/s/comma.png)
![](/s/a.png)
![](/s/sub_2.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/comma.png)
![](/s/a.png)
はそのままにして、それぞれの![](/s/f.png)
![](/s/sub_1.png)
![](/s/comma.png)
![](/s/f.png)
![](/s/sub_2.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/comma.png)
![](/s/f.png)
を微分すれば良いことになります。
![](/s/a.png)
![](/s/sub_1.png)
![](/s/comma.png)
![](/s/a.png)
![](/s/sub_2.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/comma.png)
![](/s/a.png)
![](/s/sub_n.png)
![](/s/f.png)
![](/s/sub_1.png)
![](/s/comma.png)
![](/s/f.png)
![](/s/sub_2.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/comma.png)
![](/s/f.png)
![](/s/sub_n.png)
例えば![](/s/y.png)
![](/s/eq.png)
![](/s/4.png)
![](/s/x.png)
![](/s/sup_5.png)
![](/s/add.png)
![](/s/2.png)
![](/s/x.png)
![](/s/sup_3.png)
![](/s/add.png)
を微分すると、「![](/s/x.png)
」「![](/s/x.png)
」「
」の部分だけを微分して、![](/s/d_y_div_d_x.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/0.png)
![](/s/x.png)
![](/s/sup_4.png)
![](/s/add.png)
![](/s/6.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/add.png)
となります。
![](/s/y.png)
![](/s/eq.png)
![](/s/4.png)
![](/s/x.png)
![](/s/sup_5.png)
![](/s/add.png)
![](/s/2.png)
![](/s/x.png)
![](/s/sup_3.png)
![](/s/add.png)
![](/s/x.png)
![](/s/x.png)
![](/s/sup_5.png)
![](/s/x.png)
![](/s/sup_3.png)
![](/s/x.png)
![](/s/d_y_div_d_x.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/0.png)
![](/s/x.png)
![](/s/sup_4.png)
![](/s/add.png)
![](/s/6.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/add.png)
![](/s/1.png)
4.5積の微分
次は「![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/mul.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
」のような、掛け算で繋がって「![](/s/y.png)
![](/s/eq.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/mul.png)
![](/s/g.png)
![](/s/pl.png)
![](/s/x.png)
」の形になっている関数の微分です。
![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/mul.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/x.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/mul.png)
![](/s/g.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
これを微分すると、図4-3となります。
のとき、
。
つまり、![](/s/g.png)
![](/s/pl.png)
![](/s/x.png)
をそのままに![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
を微分したものと、![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
をそのままに![](/s/g.png)
![](/s/pl.png)
![](/s/x.png)
を微分したものの和となります。
![](/s/g.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/g.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
例えば![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/mul.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
を微分すると、![](/s/d_y_div_d_x.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/x.png)
![](/s/mul.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/x.png)
![](/s/add.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/mul.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
となります。
![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/mul.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/x.png)
![](/s/d_y_div_d_x.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/x.png)
![](/s/mul.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/x.png)
![](/s/add.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/mul.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/x.png)
4.6合成関数の微分
次は![](/s/y.png)
![](/s/eq.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/pl.png)
![](/s/5.png)
![](/s/x.png)
![](/s/add.png)
![](/s/2.png)
のような、関数が入れ子になって![](/s/y.png)
![](/s/eq.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/g.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
の形になっている関数の微分です。
![](/s/y.png)
![](/s/eq.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/pl.png)
![](/s/5.png)
![](/s/x.png)
![](/s/add.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/g.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/pr.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/g.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/pr.png)
![](/s/x.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/x.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/g.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/pr.png)
![](/s/g.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/g.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/u.png)
![](/s/eq.png)
![](/s/g.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
のとき、
とおくと、
。
つまり、![](/s/f.png)
![](/s/pl.png)
![](/s/g.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
を![](/s/g.png)
![](/s/pl.png)
![](/s/x.png)
で微分したものと、![](/s/g.png)
![](/s/pl.png)
![](/s/x.png)
を
で微分したものの積となります。
![](/s/f.png)
![](/s/pl.png)
![](/s/g.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/pr.png)
![](/s/g.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/g.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/x.png)
例えば![](/s/y.png)
![](/s/eq.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/pl.png)
![](/s/5.png)
![](/s/x.png)
![](/s/add.png)
![](/s/2.png)
を微分すると、![](/s/u.png)
![](/s/eq.png)
![](/s/5.png)
![](/s/x.png)
![](/s/add.png)
とおいて、![](/s/d_y_div_d_x.png)
![](/s/eq.png)
![](/s/d_div_d_u.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/u.png)
![](/s/mul.png)
![](/s/d_div_d_x.png)
![](/s/pl.png)
![](/s/5.png)
![](/s/x.png)
![](/s/add.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/u.png)
![](/s/mul.png)
![](/s/5.png)
![](/s/eq.png)
![](/s/5.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/pl.png)
![](/s/5.png)
![](/s/x.png)
![](/s/add.png)
![](/s/2.png)
となります。
![](/s/y.png)
![](/s/eq.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/pl.png)
![](/s/5.png)
![](/s/x.png)
![](/s/add.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/u.png)
![](/s/eq.png)
![](/s/5.png)
![](/s/x.png)
![](/s/add.png)
![](/s/2.png)
![](/s/d_y_div_d_x.png)
![](/s/eq.png)
![](/s/d_div_d_u.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/u.png)
![](/s/mul.png)
![](/s/d_div_d_x.png)
![](/s/pl.png)
![](/s/5.png)
![](/s/x.png)
![](/s/add.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/u.png)
![](/s/mul.png)
![](/s/5.png)
![](/s/eq.png)
![](/s/5.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/pl.png)
![](/s/5.png)
![](/s/x.png)
![](/s/add.png)
![](/s/2.png)
![](/s/pr.png)
5微分できない例
さて、微分の定義に「すべてのxに対して![](/s/f.png)
![](/s/prime.png)
![](/s/pl.png)
![](/s/x.png)
が収束するとき」とありましたが、言い換えると、![](/s/f.png)
![](/s/prime.png)
![](/s/pl.png)
![](/s/x.png)
が収束しなければ微分できないことになります。
![](/s/f.png)
![](/s/prime.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/f.png)
![](/s/prime.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
微分できない例としては、「連続」でなかったり、十分なめらかでないものがあります(図5-1)。
![微分できない例](/images/mathematics/basic7/310264507542_ja.png)
図の場合では、微分できない点が少ないため、その点を除く区分に分割してからそれぞれの区分を微分する方法が採られることがあります。
6高階微分
![](/s/y.png)
![](/s/x.png)
![](/s/d_y_div_d_x.png)
![](/s/x.png)
![](/s/2.png)
![](/s/d_sup_2_y_div_d_x_sup_2.png)
![](/s/d_sup_2_y_div_d_x_sup_2.png)
![](/s/d_sup_2_div_d_x_sup_2.png)
![](/s/y.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
![](/s/sup_5.png)
![](/s/x.png)
![](/s/d_y_div_d_x.png)
![](/s/eq.png)
![](/s/5.png)
![](/s/x.png)
![](/s/sup_4.png)
![](/s/x.png)
![](/s/d_sup_2_y_div_d_x_sup_2.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/0.png)
![](/s/x.png)
![](/s/sup_3.png)
例えば、走行距離を時間で微分すると速度になりましたが、速度を時間で微分すると加速度になります。 つまり、加速度を求めるには走行距離を
階微分することになります。
![](/s/2.png)
そして、さらに微分を繰り返して合計
回微分することを、「
階微分」といい、「
」と表します。
![](/s/n.png)
![](/s/n.png)
![](/s/d_sup_n_y_div_d_x_sup_n.png)
微分する変数が明らかな場合、
は![](/s/y.png)
![](/s/prime.png)
と書かれたり、
は![](/s/y.png)
![](/s/sup_pl.png)
![](/s/sup_n.png)
と書かれたりします。
![](/s/d_sup_2_y_div_d_x_sup_2.png)
![](/s/y.png)
![](/s/prime.png)
![](/s/prime.png)
![](/s/d_sup_n_y_div_d_x_sup_n.png)
![](/s/y.png)
![](/s/sup_pl.png)
![](/s/sup_n.png)
![](/s/sup_pr.png)
7偏微分と全微分
これまで![](/s/y.png)
![](/s/eq.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
の
次元平面における微分を解説しましたが、次は
次元の立体における微分を説明します。
![](/s/y.png)
![](/s/eq.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/2.png)
![](/s/3.png)
立体の場合、図形の式は![](/s/z.png)
![](/s/eq.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
の関数となりますが、これを微分するには
つの方法があります。
軸や
軸などに沿った「接線の傾き」を求める方法と、曲面に対する「接平面の傾き」を求める方法です(図7-1)。
![](/s/z.png)
![](/s/eq.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/pr.png)
![](/s/2.png)
![](/s/x.png)
![](/s/y.png)
![偏微分と全微分](/images/mathematics/basic7/136471044164_ja.png)
立体に対し、
軸や
軸に沿った接線の傾きを求めることを「偏微分」といい、曲面に対する接平面の傾きを求めることを「全微分」といいます。 また偏微分を特定の軸にこだわらず、任意の方向に対して行う場合「方向微分」といいます。
![](/s/x.png)
![](/s/y.png)
また、
次元の立体に限らず、
次元の立体に対して偏微分や全微分は行えます。
![](/s/3.png)
![](/s/n.png)
物理学では、水の流れも、物体の運動も、宇宙における重力の分布も、全部
次元の立体として表現できますので、これらを扱うときに偏微分や全微分が応用されます。
![](/s/n.png)
8微分方程式
また、「![](/s/d_y_div_d_x.png)
![](/s/add.png)
![](/s/2.png)
![](/s/y.png)
![](/s/add.png)
![](/s/3.png)
![](/s/x.png)
![](/s/eq.png)
のときの
を求めよ」のように、方程式に導関数が含まれたものを「微分方程式」といいます。
![](/s/d_y_div_d_x.png)
![](/s/add.png)
![](/s/2.png)
![](/s/y.png)
![](/s/add.png)
![](/s/3.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/0.png)
![](/s/y.png)
例えば、人口の増加や、放射性元素の崩壊や、熱の伝導について計算しようとすると、式に導関数が現れて微分方程式を解くことになります(図8-1)。
ある生物は、個体数に比例した速度で増殖していくとします。 すると、時間を、個体数を
、比例定数を
として、この生物の個体数は、
の微分方程式で表されることになります。
この微分方程式を解くと、を任意の定数、
をネイピア数として、
が得られます。
この解![](/s/l_p.png)
![](/s/pl.png)
![](/s/t.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/l_c.png)
![](/s/e.png)
![](/s/sup_m.png)
を微分すると、![](/s/d_div_d_t.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/t.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/m.png)
![](/s/l_c.png)
![](/s/e.png)
![](/s/sup_m.png)
![](/s/sup_t.png)
![](/s/eq.png)
![](/s/m.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/t.png)
となりますので、元の微分方程式と一致していることが分かります。 この解から、個体数![](/s/l_p.png)
![](/s/pl.png)
![](/s/t.png)
は指数関数的に増減することが読み取れます。
![](/s/l_p.png)
![](/s/pl.png)
![](/s/t.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/l_c.png)
![](/s/e.png)
![](/s/sup_m.png)
![](/s/sup_t.png)
![](/s/d_div_d_t.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/t.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/m.png)
![](/s/l_c.png)
![](/s/e.png)
![](/s/sup_m.png)
![](/s/sup_t.png)
![](/s/eq.png)
![](/s/m.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/t.png)
![](/s/pr.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/t.png)
![](/s/pr.png)
なお多くの微分方程式はそのまま解くことが困難なため、解ける形に変換してから解を求めたり、近似的に求めたりします。
今回は、接線の傾きを求める「微分」について説明しました。 次回は、図形の面積を求める「積分」について解説します!