ここでは、微分・積分の考えで学んだ微分の性質についてより詳しく扱う。特に、関数の和、差、積、商、更に合成関数や、逆関数の導関数について詳しく扱う。また、三角関数などの複雑な関数の微分についてもここでまとめる。
関数
が任意の点xで極限値
![{\displaystyle f'(x):=\lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5fd34f7c311f921da3e9e1daad1e8750e67757d7)
を持つとき、関数
は微分可能と言い、関数 f' を、関数fの導関数と呼ぶ。
関数
が微分可能ならば、連続関数である。
(証明)
fが微分可能とすると、
![{\displaystyle \lim _{h\to 0}(f(x+h)-f(x))=\lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}h=\lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}\lim _{h\to 0}h=f'(x)\times 0=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c45e20c6c54bc4836b28bd639f733ff3bc74dc1)
なので、fは連続である。
ここでは、関数の和、差、積、商の微分について扱う。これらの方法は以降の計算で常に用いられる内容であるので、十分に習熟しておく必要がある。
f,gを微分可能な関数とする。このとき、fとgの和について次が成り立つ。
![{\displaystyle \{f(x)\pm g(x)\}'=f'(x)\pm g'(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30bf8642d3693e0e7750363f7530c44b6ff367a3)
これは、関数の和を微分して得られる導関数は、それぞれの関数の和を足し合わせたものに等しいことを表している。
導出
|
|
|
|
|
|
|
|
次に、関数の実数倍の導関数について考える。関数の実数倍をしたものを微分したものは、実数倍する前の関数に対する導関数を実数倍したものになる。具体的には次の式が成り立つ。
(aは定数)
導出
|
|
|
|
|
|
|
|
積に関しては、和や実数倍と比べて計算結果がより複雑になる。具体的には次が成り立つ。
![{\displaystyle (fg)'=f'g+fg'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fdcc2675f11f31c41f08005f4428657ede1b7c56)
これは、それぞれの関数の微分とそれ以外の関数との積が得られるということを表している。これは導出を見ないとなぜこうなるかがわからないかも知れないが、よく導出を検討することが重要である。
導出
|
|
|
|
|
|
|
|
ここで、
に注意すると、
|
|
数学Ⅱで習ったように、nを自然数とするとき、
![{\displaystyle {\frac {d}{dx}}x^{n}=nx^{n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9abc471c35f8dcafe29fc663bcd0a7b416b14283)
である。
ここでは、数学Ⅱでは扱わなかった上式の導出を行う。
(導出その1)
![{\displaystyle {\frac {d}{dx}}x^{n}=\lim _{h\to 0}{\frac {(x+h)^{n}-x^{n}}{h}}\qquad (1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/388b5d57fd86ccefec53ac3997753c0ed3a2664e)
ここで、二項定理により
![{\displaystyle (x+h)^{n}=\sum _{k=0}^{n}{}_{n}C_{k}x^{n-k}h^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c2a2a76c4f8046966aedb71e28666076580b580)
ただし
![{\displaystyle {}_{n}C_{k}:={\frac {n!}{(n-k)!k!}}\qquad 0!:=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/469a637f8bec3af700b91ad5849b4de3e02aa8f4)
なので、
![{\displaystyle (x+h)^{n}=x^{n}+nx^{n-1}h+\sum _{k=2}^{n}{}_{n}C_{k}x^{n-k}h^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f272ca07e502fe804c277865169ea8fa3003b560)
この式を、式(1)の右辺に代入すると
![{\displaystyle {\frac {d}{dx}}x^{n}=\lim _{h\to 0}\left(nx^{n-1}+\sum _{k=2}^{n}{}_{n}C_{k}x^{n-k}h^{k-1}\right)=nx^{n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/207dc35a893a4e777b875e446f173d3fe6b3b026)
である。
(導出その2)
を①とする。
[1]
のとき
左辺は
![{\displaystyle (x^{1})'=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f52e9bfe801db14db781ef1d98ecd3dff04c318)
であり、右辺は
![{\displaystyle 1\cdot x^{0}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/310343677758f6262f5bb469304d7ca976a04c50)
なので、
のとき①は成り立つ。
[2]
のとき
が成り立つと仮定する。
のとき、積の導関数の式より
![{\displaystyle (x^{k+1})'=(x^{k}\cdot x)'=(x^{k})'\cdot x+x^{k}\cdot (x)'=(kx^{k-1})\cdot x+x^{k}\cdot 1=kx^{k}+x^{k}=(k+1)x^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/12d8b5840bee98d3dc12f3e5fdcf2998498dfb1b)
よって、
のときも①が成り立つ。
[1] [2]より、すべての自然数
について①が成り立つ。
商の導関数については次式が成り立つ。
![{\displaystyle \left({\frac {1}{f}}\right)'=-{\frac {f'}{(f)^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3640144af2c8daf33d30078a7c4384dd6d7c736b)
この式についても、よく導出を検討することが必要である。
導出
|
|
|
|
|
|
|
|
|
|
また、商の導関数の式と、積の導関数の式より、次の公式が導かれる。
![{\displaystyle \left({\frac {g}{f}}\right)'={\frac {g'f-gf'}{(f)^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d6ca6c271a584a28a4353372d292b00a3062e90)
この式は、積の式と商の式から直接従う式だが、よく現れる形であるので、覚えておくと便利なことがある。
導出
|
|
|
|
|
|
|
|
|
|
関数
を冪関数という。指数が自然数
であるとき、
であるのは既に証明した。
ここでは、指数が整数の場合を考える。
[1]
が負の整数のとき
とおく。
このとき
は正の整数で、商の導関数の式より
![{\displaystyle (x^{m})'=(x^{-n})'=({\frac {1}{x^{n}}})'=-{\frac {(x^{n})'}{(x^{n})^{2}}}=-{\frac {nx^{n-1}}{x^{2n}}}=-nx^{n-2n-1}=-nx^{-n-1}=mx^{m-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a780c87fbc7e1d91da1d0e3873be207236296b27)
が成り立つ。
[2]
のとき、
![{\displaystyle (x^{m})'=(1)'=0,mx^{m-1}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/79dc350e3a7e3c0cce12d5db79741fd2f8223263)
なので
![{\displaystyle (x^{m})'=mx^{m-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7500c7f7845247126999a7e4bf687fc9253fee8f)
が成り立つ。
よって、整数
について
が成り立つ。
合成関数とは、2つの関数
を用いて、
という形で書くことができる関数のことである。合成関数は、与えられた変数に対する関数と見ることができ、導関数を取ることも可能である。具体的には、
![{\displaystyle (f(g(x)))'=f'(g(x))g'(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75a73837730e5341386e79b2293639f8672b1b80)
が成り立つ。
導出
|
|
|
|
|
とすると、 、 のとき なので、
|
|
|
|
となる。
- 例
、
とする。この合成関数は、
である。
この合成関数の導関数を求めてみよう。
なので、
である。
※関数
の合成関数を
と書くことがある。
合成関数の微分はライプニッツの記法を用いて、
のとき、
、
、
なので、
![{\displaystyle {\frac {dy}{dx}}={\frac {dy}{du}}{\frac {du}{dx}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/acd600bb6b9c07b8fad75d62f0952f87c42ac220)
と書くことができる。
また、以下の公式が成り立つ。
![{\displaystyle {\frac {d}{dx}}f(ax+b)=af'(ax+b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb56ad2cb6394a7155767be49abb3c8d0eff5dc2)
![{\displaystyle {\frac {d}{dx}}\{g(x)\}^{n}=n\{g(x)\}^{n-1}g'(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/717fd3ca902bae3bc1a1c44088e15baf0dcdcf2c)
導出
と置くと、
で、
のとき
であるから、
|
|
|
|
|
|
|
|
また、
|
|
|
|
|
|
|
|
の指数が整数
のとき、
が成り立つのは既に証明した。
次は、
として指数が有理数のときを考える。
[1]
を自然数とすると、
のとき、
が成り立つので、逆関数の導関数の式より
![{\displaystyle {\frac {dy}{dx}}={\frac {1}{\frac {dx}{dy}}}={\frac {1}{ny^{n-1}}}={\frac {1}{n}}\cdot {\frac {1}{(x^{\frac {1}{n}})^{n-1}}}={\frac {1}{n}}x^{{\frac {1}{n}}-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47d3e01912049ffc5ab0a1b981f7230ad5be93d0)
[2]
を整数とすると、有理数
について
![{\displaystyle p={\frac {m}{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/362e876066d0b4ecf6106e4161a7aae55823f403)
より、
![{\displaystyle x^{p}=x^{\frac {m}{n}}=(x^{\frac {1}{n}})^{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/904ba1b5e39abf17d5d3e9eae1d0a63505bf336c)
なので、[1]と合成関数の導関数の式より
![{\displaystyle {\frac {d}{dx}}x^{p}={\frac {d}{dx}}(x^{\frac {1}{n}})^{m}=m(x^{\frac {1}{n}})^{m-1}\cdot (x^{\frac {1}{n}})'=mx^{{\frac {m}{n}}-{\frac {1}{n}}}\cdot {\frac {1}{n}}x^{{\frac {1}{n}}-1}={\frac {m}{n}}x^{{\frac {m}{n}}-1}=px^{p-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/109a3bff474c6a06a742cb327b60da9f3ab4fdb1)
が成り立つ。
よって、有理数
について
が成り立つ。
![{\displaystyle (\sin x)'=\cos x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be1c3642eba65ff3d1b953c65d5a34ab274025bd)
![{\displaystyle (\cos x)'=-\sin x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af53dce9f55d9386fde4f9458b4057897f3564b8)
![{\displaystyle (\tan x)'={\frac {1}{\cos ^{2}x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1c7f4f0323f0f51a01605d89524d7366bc77287)
となる。
導出
![{\displaystyle \lim _{h\rightarrow 0}{\frac {\sin({\frac {h}{2}})}{({\frac {h}{2}})}}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1b4f93b25aeb6d3cfcffc0811c20766dc13a8e8)
- 加法定理
と
より![{\displaystyle \sin(a+b)-\sin(a-b)=2\cos a\sin b\qquad (\mathrm {where} \quad a=x+h/2,b=h/2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb838c80d7b51259edf1d7d6958bc4706c6bf430)
に注意すると、
|
|
|
|
|
|
|
|
となり、結果が得られた。
|
|
|
|
|
|
|
|
については、
|
|
|
|
|
|
|
|
- なお、
について、
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ここで
と置くと、
|
|
|
|
|
|
|
|
kを0に近づけていくと、
は、
(計算:Windows付属電卓)
となり、一定の値に近づいていく(証明は数学IIIの範囲ではできない)。
この一定の値、すなわち
をeで表す。すると、
これを、上の式に代入すると、
|
|
|
|
|
特に
のとき、
eを底とする対数を自然対数という。
eは「自然対数の底」または「ネイピア数」と呼ばれることが多い。
数学では、
のeを省略してlog xと書く。
数学以外の分野では、常用対数と区別するために、ln xが用いられることもある。
また、
の微分は、
x>0のとき
|
|
|
|
x<0のとき
|
|
|
|
|
|
よって、
また、合成関数の微分法より、
が成り立つことがわかる。
と先ほど定義したが、この定義式は以下のように書き換えられる。
上の二つの式は
と置き換えると、それぞれ
の定義式の片側極限の場合を表していることがわかる。
これらの式を利用することで、今まで解けなかったパターンの極限を求められるようになる。
例題)
の極限を求めよ
解答)
とおくと
のとき
なので、
(上式)
ここで、対数関数は連続関数なので、logとlimを入れ替えても良い。
(上式)
よって、収束して極限値は-1である。
両辺の自然対数をとると、
両辺をxで微分すると、
特にa=eの場合
のxが煩雑な場合、
のように表す場合がある。
また、両辺の自然対数をとってから微分する操作を対数微分法と呼ぶ。
微分係数の定義式を用いて極限を求めることもできる。
例題)
を求めよ
解答)
ここで、微分係数の定義式
より、
とおくと
で
(上式)
よって、収束して極限値は1である。
の指数が有理数
のとき、
が成り立つのは既に証明した。
最後に、
として指数が実数のときを考える。
の
は実数であるとする。
両辺の絶対値の自然対数をとって
![{\displaystyle \log |y|=a\log |x|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ff0ec136efcb03806778bcf9f0a2a794273d732)
両辺をxで微分して、
![{\displaystyle {\frac {y'}{y}}=a\cdot {\frac {1}{x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c12061f1bba32f1e8a0e61ec760a243365dcd76d)
よって
![{\displaystyle y'=a\cdot {\frac {1}{x}}\cdot x^{a}=ax^{a-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50019d0f7c6c7b85f986090370fe4f5c6dc3c9e2)
が成り立つ。
最初は指数が自然数の場合のみだったのに比べ、より一般の範囲で上式が成り立つことがわかった。このようにある式をより一般に言えるようにするのが、数学の発展性であり醍醐味である。
- 問題例
- 問題
![{\displaystyle {\frac {d}{dx}}x\,\sin x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a06a4980c55b5ee24c2cee9c07712cd43477527f)
![{\displaystyle {\frac {d}{dx}}e^{x}\,\cos x^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19c286006638e67bb044df0b2829e46bbd538d02)
![{\displaystyle {\frac {d}{dx}}\sin(\cos x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7da96412fe7748b6cbd557dce633a749d9cbd580)
![{\displaystyle {\frac {d}{dx}}x\,\log x-x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e9b8096a43ecedda7a8986ea8a9e2cb75341998)
![{\displaystyle {\frac {d}{dx}}{{1} \over {\cos ^{2}x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3ccd53a8dcf91a041be9cd12d429cca7afcb6fb)
![{\displaystyle {\frac {d}{dx}}{\frac {e^{x}-e^{-x}}{e^{x}+e^{-x}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/29780903f205b46c5e149d797e8cc8c608ad89e4)
![{\displaystyle {\frac {d}{dx}}x^{x}\,(x>0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0edb7b4661aae0d262e604a8c87f2f54cb71561)
![{\displaystyle {\frac {d}{d\theta }}\cos ^{\frac {5}{7}}\theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3cf835a85186fffe770fc46bfdf8670d7555d5cf)
![{\displaystyle {\frac {d}{dt}}t^{e+\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b79a2efe10939565ea2c266e9f5884959449015)
![{\displaystyle \lim _{x\to \infty }(1+{\frac {3}{x}})^{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a64482daacf8fc1d60c6f123f506f46a57777235)
![{\displaystyle \lim _{x\to \infty }({\frac {x}{x+1}})^{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e31910ac1cd3ab81f60ba11993fdc49a59872ed4)
![{\displaystyle \lim _{x\to 1}{\frac {\log x}{x-1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c36cc62a0af7d503c8fff1f6e80b448df8044dc6)
- を求めよ
- 解答
- それぞれ
![{\displaystyle \sin x+x\,\cos x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ef18ffdaed8e6877ddc51de8cb4386a00b9126e)
![{\displaystyle e^{x}\,\cos x^{2}-2\,x\,e^{x}\,\sin x^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af5adfd06e860c2b68baf82df61d5cf1d562ee7e)
![{\displaystyle -\sin x\,\cos(\cos x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a359a9220de5b65ff38dcee8f699bec7124851f)
![{\displaystyle \log x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80d453de713a8c45f7bf99108752531ed7d6dd05)
![{\displaystyle {{2\,\sin x} \over {\cos ^{3}x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d71ef61897d4958bccd6224c800a0f21c51df6eb)
![{\displaystyle {\frac {4}{e^{x}+e^{-x}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/862c7e6e1b08eb2b6a82b0f4397acca40c42c7d0)
![{\displaystyle x^{x}\,(\log x+1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4579b3edab410772f0cca39ff11b6ef78f8f185)
![{\displaystyle -{\frac {5\sin \theta }{7{\sqrt[{7}]{\cos ^{2}\theta }}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3878b6746bb9c3f5b552c2d5fa00f48e1149252b)
![{\displaystyle (e+\pi )t^{e+\pi -1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0dd48dbb3980f85b3d7c54d12b6491f67a21c4a4)
![{\displaystyle e^{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af8e0259de61bfa399fdded9427d979d3e620dfe)
![{\displaystyle {\frac {1}{e}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/530c3934f29faf821bb239630994048bd45b1004)
![{\displaystyle 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2aae8864a3c1fec9585261791a809ddec1489950)
- が得られる。
導関数f'(x)をf(x)の第1次導関数という。
導関数の導関数を第2次導関数という。
導関数の導関数の導関数を第3次導関数という。
一般に、関数f(x)をn回微分して得られる関数を第n次導関数といい、
のいずれかで表す。
また、nが1,2,3の時はそれぞれ
や
と表す。
2次以上の導関数を高次導関数という。
(例)
の第3次導関数は
なので
である。
の形で表された関数を陽関数と呼ぶ。
それに対し
の形で表された関数を陰関数と呼ぶ。
例えば、円の方程式は陰関数表示された関数である。
陽関数と陰関数は互いに互いの形へと変形できるが、変形すると式が煩雑になる場合がある。そこで、
を合成関数と見做して微分することを考える。
(例)円の方程式
について、
を求める。
この式をyについて解くと
であるが、この式を微分しようとすると式が煩雑で厄介である。
上のyについての等式から元の方程式のyは「xの式を別の文字で置換したもの」と考えられるので、合成関数の微分法を利用すると元の形のまま微分ができる。
元の方程式の両辺をxで微分すると、
![{\displaystyle {\frac {d}{dx}}x^{2}+{\frac {d}{dx}}y^{2}={\frac {d}{dx}}4}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33900c690b656a1ac9ca020c041ae3d5ba706b4e)
より
![{\displaystyle 2x+2y\cdot {\frac {d}{dx}}y=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9cfa4d5d2506404fccc775e2e6031b30b9cef95)
なので、
![{\displaystyle 2y\cdot {\frac {d}{dx}}y=-2x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a3673527f6c2d49dce5ca414a8005606a73cedd)
すなわち
![{\displaystyle {\frac {d}{dx}}y=-{\frac {x}{y}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c6b9b0929fd70bddb6a6ec7f6e10e17f2853503)
である。
なお、煩雑になるのでyをxの式に直す必要はない。
ベクトルで習ったように、直線の方程式は媒介変数tを用いて一次関数
で表され、これを「媒介変数表示」と呼んだ。
一般に、媒介変数表示
は曲線を表す。ここでいう「曲線」は単に曲がった線のことではなく、直線を含む一般的な線のことである。
をxで微分したい。
関数f,gが三角関数の場合等、高校範囲ではtを消去できないことがあるので、媒介変数表示のまま微分することを考える。
より、tをyの式と考えると
は合成関数と見做せる。
よって、合成関数の微分法より
![{\displaystyle {\frac {dy}{dx}}={\frac {dy}{dt}}\cdot {\frac {dt}{dx}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20d3b1591bf320e00c5c832eda5aa099fd43061d)
である。
ここで、逆関数の微分法から
![{\displaystyle {\frac {dt}{dx}}={\frac {1}{\frac {dx}{dt}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc5cb4535b86f1815641aa1033f43f057dc67d05)
であるので、
![{\displaystyle {\frac {dy}{dx}}={\frac {\frac {dy}{dt}}{\frac {dx}{dt}}}={\frac {f'(x)}{g'(x)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0955028d4e5f8202a3544a888ab313acfc4e07e9)
が成り立つ。
なお、
は
に再び媒介変数曲線の微分法を用いることで、
のように計算できる。
- 問題
- 次の式で表された曲線について、
及び
を求めよ。
![{\displaystyle x^{2}+y^{2}+6x-2=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c8440c9d29efe7b0d186ed0fb0c7aab05e0f00d)
![{\displaystyle {\frac {x^{2}}{25}}+{\frac {y^{2}}{36}}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ba7908733eabeffc06da8ef345c86cdf9f79019)
![{\displaystyle 16x^{2}-9y^{2}=-4}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1887bebad46fddc186a164663eef5401551af4b6)
![{\displaystyle x^{\frac {3}{5}}+y^{\frac {3}{5}}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c33603d4982f08a06ba6eca2f51017efd336eb22)
![{\displaystyle x=3t-2,y=t^{2}+5}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b5aeb2dcca3649975482cd1b3f694a605fa92ae)
![{\displaystyle x=9\cos \theta ,y=6\sin \theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf35e078a8f7452acd63fa7aa60b39d8664334d7)
![{\displaystyle x={\frac {4}{\cos \theta }},y=7\tan \theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f08e525e6b312b1c715e85fb6b8693110e6613f)
![{\displaystyle x=t-\sin t,y=1-\cos t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffb7014e232f7b912600c550f808dd22d174a367)
関数
上の点
における接線の傾きは
であるので、接線の方程式は
となる。
また、接点を通り接線に垂直な直線を法線(ほうせん)という。
垂直な直線同士は傾きの符号が逆であり、傾きの絶対値が逆数であるので、法線の方程式は
となる。
は
の点
での傾きを表す。
よって、
の時
は増加し続ける
の時
は減少し続ける
の時
は一定
である。
また、
で、
の前後で
の符号が
から
に変わるならば、
は点
で増加から減少に転じる。このときの
を極大値(きょくだいち)という。
また、
から
に変わるならば、
は点
で減少から増加に転じるので、このときの
を極小値(きょくしょうち)という。
極大値と極小値をまとめて極値(きょくち)という。
であっても、前後で符号が変わらなければ
は極値ではない。
第二次導関数の図形的な意味を考えてみよう。導関数は各点での接線の傾きを表している。第二次導関数は導関数の導関数だから、接線の傾きの変化率、すなわちグラフの曲がり具合を表していることになる。第二次導関数が正のときは傾きが増加しているのだからグラフは下に凸、負のときは上に凸となる。
グラフの曲がり具合が変わる点のことを変曲点(へんきょくてん)という。上の考察から、変曲点は第二次導関数の符号が変わる点であることがわかる。極値の場合と同様に、たとえ
であっても、符号が変わらなければ変曲点ではない。
関数のグラフを書くときには、変曲点の情報は極値と同様に重要なので、増減表にも第二次導関数の欄をつくり、変曲点を記入するとよい。
(力学も参照。)
数直線上を運動する物体が時刻
のとき位置
にあるとする。この物体の速度を求める。
時刻が
から
に移動するとき、物体は
から
の位置に移動する[1]。このときの平均の速度は
ここで、
なので、
を限りなく 0 に近づければ、この物体の瞬間の速度が求められる。時刻
のときの物体の瞬間の速度を
とすれば、
である。
同様に、加速度についても、時刻
のときの物体の加速度を
とすれば
これは、平面上を運動する物体にも拡張できる。時刻
のときの物体の位置ベクトルが
で与えられるとき、この物体の速度ベクトル
は
である。同様に加速度ベクトル
についても、
。
例えば、角速度
で原点を中心に半径
の円運動する物体が
で
にあるとき、この物体の時刻
のときの位置ベクトル
は
である。速度ベクトルは、
。加速度ベクトルは
。ここから、位置ベクトル
と速度ベクトル
は直行し、位置ベクトル
と加速度ベクトル
は逆向きであり、
、
が成立することが分かる。
また、円運動の
成分 または
成分だけに注目すれば、それは単振動である。
微分係数
は
なので、
が十分小さいとき、
である。すなわち、
が成り立つ。これを一次近似式と呼ぶ。
また、
とすると、
が小さいとき
である。
とおき、
と見做すことにより、
が得られる。これを二次近似式と呼ぶ。
一次近似式と二次近似式を見比べると、n次近似式はn項目までの有限級数になることが予想できる。ここで、近似式の次数を無限に大きくしていくと、近似値ではなく真に正確な値が得られる。逆に言うと、真に正確な値を求める無限級数をある項で打ち切ることで、近似式として機能する。この無限級数については以下の「テイラー級数」を参照。
関数
は
で連続、
で微分可能とする。
ならば
となる点
が存在する。
証明
関数
には最大値または最小値が
の範囲に一つ以上存在する。最大値または最小値では関数の導関数は 0 なので、その点を選び
とすると、
となる。
関数
は
で連続、
で微分可能とする。このとき、
となる
が存在する。
証明
とする。定数
を
を満たすように定める。
したがって、
より、
である。
ここで、関数
に対して、ロルの定理を用いることにより、
となる
が存在する。
であるから、
となる
が存在することがいえる。
関数
は
で連続、
で微分可能とする。このとき、
となる
が存在する。さらに、
とすれば、
となる
が存在する。
証明
とする。ここで、
は
で連続、
で微分可能、
なので、ロルの定理より、
となる
が存在する。
を変形して
を得る。さらに、
ならば、
である。
を区間
で
回微分可能な関数とする。任意の
に対して、
が
の中間に存在して、
証明
とする。
と関数
に対して、コーシーの平均値の定理を適用すると、
より、
となる
が
の中間に存在する。
であるから、右辺にも同様にコーシーの平均値の定理を適用することで、
となる
が
の中間に存在する。
だから、
を得る。
関数
に対して、
となるような関数
を一般に
と表す。
ランダウ記号について次が成り立つ。
![{\displaystyle oh+oh=oh}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3199470e9cdef14381133d96ed52654dba6fb5cd)
(
は定数)
ならば、 ![{\displaystyle f=oh}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4b2f88f66e8d0a83fc8aa041237eb150c99d5f3)
ランダウの記号は一般には違う関数を同じ記号で表しているので注意が必要である。例えば 1. は任意の
である関数について、
という意味である。
2. は
とすると、
3. は
ならば、
となるから、
ランダウの記号について、
がどこに近づいたときか(
)ということは重要だが、文脈から明らかな場合は省略される。
テイラーの定理における右辺最後の項を剰余項といい、これを
と書く。
が
で連続ならば、
これは、
と書けるから、
すなわち、
漸近展開を用いると極限の問題を簡単に解くことが出来る。例えば、
例
を実数とする。
について、
なので、
ただし、
は一般二項係数。
例えば、
など。これらは近似公式としてもよく使われる。
テイラーの定理において、関数
が区間
で無限回微分可能(任意の次数の導関数が存在すること)で剰余項が
ならば、
これをテイラー級数といい、特に
のものをマクローリン級数という。
いくつかの関数のテイラー展開を求めよう。
とすると、
で、
より、任意の
に対して、
となる。すなわち、
についても同じように計算して、
を得る。
指数関数のテイラー展開の式
は
が複素数であるときにも収束するから、これによって複素数に対する指数関数を定義することができる。
三角関数も同様に
によって、複素数に拡張できる。
このとき、
を得る。これはオイラーの公式と呼ばれる。ここで、一行目の級数を
が偶数の項と奇数の項に分割したが、これが可能なのは級数が絶対収束するからである。
特に、
のときは、オイラーの等式
を得る。
- ^ ここで、
は関数であることに注意せよ。