ここでは、微分・積分の考えで学んだ微分の性質についてより詳しく扱う。特に、関数の和、差、積、商、更に合成関数や、逆関数の導関数について詳しく扱う。また、三角関数などの複雑な関数の微分についてもここでまとめる。
関数f(x)が任意の点''x''で極限値
f'(x) := \lim_{h\to 0}\frac{f(x+h)-f(x)}{h}
を持つとき、関数f(x)は微分可能と言い、関数'' f' '' を、関数''f''の導関数と呼ぶ。
関数f(x)が微分可能ならば、連続関数である。
（証明）
''f''が微分可能とすると、
\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 
なので、''f''は連続である。
ここでは、関数の和、差、積、商の微分について扱う。これらの方法は以降の計算で常に用いられる内容であるので、十分に習熟しておく必要がある。
f,gを微分可能な関数とする。このとき、fとgの和について次が成り立つ。
\{f(x) \pm g(x)\}' = f'(x) \pm g'(x)
これは、関数の和を微分して得られる導関数は、それぞれの関数の和を足し合わせたものに等しいことを表している。
導出
次に、関数の実数倍の導関数について考える。関数の実数倍をしたものを微分したものは、実数倍する前の関数に対する導関数を実数倍したものになる。具体的には次の式が成り立つ。
 (af)' = af'
(aは定数) 
導出
積に関しては、和や実数倍と比べて計算結果がより複雑になる。具体的には次が成り立つ。
(fg)' = f'g + fg'
これは、それぞれの関数の微分とそれ以外の関数との積が得られるということを表している。これは導出を見ないとなぜこうなるかがわからないかも知れないが、よく導出を検討することが重要である。
導出
ここで、\lim_{h\rightarrow 0} f(x+h) =f(x)に注意すると、
数学Ⅱで習ったように、nを自然数とするとき、
\frac{d}{dx}x^n = nx^{n-1}
である。
ここでは、数学Ⅱでは扱わなかった上式の導出を行う。
（導出その1）
\frac{d}{dx}x^n =\lim_{h\to 0}\frac{(x+h)^n-x^n}{h} \qquad (1)
ここで、二項定理により
(x+h)^n = \sum_{k=0}^{n} {}_{n}C_{k}x^{n-k}h^k 
ただし
{}_{n}C_{k} := \frac{n!}{(n-k)!k!}  \qquad
0! := 1
なので、
(x+h)^n = x^n + nx^{n-1}h + \sum_{k=2}^{n} {}_{n}C_{k}x^{n-k}h^k
この式を、式（１）の右辺に代入すると
である。
（導出その2）
(x^n)' = n x^{n-1}
を①とする。
[1] n = 1のとき
左辺は
であり、右辺は
なので、n=1のとき①は成り立つ。
[2] n=kのとき(x^k)' = k x^{k-1}が成り立つと仮定する。
n=k+1のとき、積の導関数の式より
よって、n=k+1のときも①が成り立つ。
[1] [2]より、すべての自然数nについて①が成り立つ。
商の導関数については次式が成り立つ。
\left( \frac 1 f\right)' = - \frac {f ' } { (f)^2 }
この式についても、よく導出を検討することが必要である。
導出
また、商の導関数の式と、積の導関数の式より、次の公式が導かれる。
この式は、積の式と商の式から直接従う式だが、よく現れる形であるので、覚えておくと便利なことがある。
導出
x^aの指数が自然数nであるとき、(x^n)' = n x^{n-1}であるのは既に証明した。
ここでは、指数が整数の場合を考える。
[1] mが負の整数のときn=-mとおく。
このときnは正の整数で、商の導関数の式より
 = -nx^{n-2n-1} = -nx^{-n-1} = mx^{m-1}
が成り立つ。
[2] m=0のとき、
なので
が成り立つ。
よって、整数mについて(x^m)' = mx^{m-1}が成り立つ。
合成関数とは、2つの関数f,gを用いて、h(x) = f(g(x))という形で書くことができる関数のことである。合成関数は、与えられた変数に対する関数と見ることができ、導関数を取ることも可能である。具体的には、
( f(g(x)) )'= f'(g(x)) g'(x)
が成り立つ。
導出
となる。
例
f(x) = \sqrt x、g(x) = x^2 + x + 1とする。この合成関数は、f(g(x)) = \sqrt{x^2 + x + 1}である。
この合成関数の導関数を求めてみよう。
f'(x) = \frac{1}{2 \sqrt x}
g'(x) = 2x + 1
である。
※関数f,gの合成関数を(f \circ g)(x) = f(g(x))と書くことがある。
合成関数の微分はライプニッツの記法を用いて、y = f(u),u = g(x)のとき、\frac{dy}{dx} = f(g(x))'、f'(u) = \frac{dy}{du}、g'(x) = \frac{du}{dx}なので、
と書くことができる。
また、以下の公式が成り立つ。
( f^{-1}(y) )' = \frac{1}{( f(x) )'}
導出
y=f(x)と置くと、x=f^{-1}(y)で、
y \to y_0のときx \to x_0であるから、
また、
x^aの指数が整数mのとき、(x^m)' = mx^{m-1}が成り立つのは既に証明した。
次は、x>0として指数が有理数のときを考える。
なお、指数が整数である場合を「累乗」と呼ぶのに対し、指数が有理数（実数）である場合を「冪乗（べきじょう）」と呼ぶ。有理数は整数を含むので、累乗は冪乗の特別な場合を指す。
のとき、x=y^nが成り立つので、逆関数の導関数の式より
)^{n-1} } = \frac{1}{n} x^{\frac{1}{n} - 1}
[2] mを整数とすると、有理数pについて
より、
)^m
なので、[1]と合成関数の導関数の式より
 \cdot \frac{1}{n} x^{\frac{1}{n}-1} = \frac{m}{n} x^{\frac{m}{n} - 1} = px^{p-1}
が成り立つ。
よって、有理数pについて(x^p)' = px^{p-1}が成り立つ。
となる。
導出
に注意すると、
となり、結果が得られた。
	\tan xについては、
ここでk = \frac{h}{x}と置くと、
kを0に近づけていくと、(1+k)^{\frac 1 k}は、
1.1^{\frac{1}{0.1} }=2.5937424601
1.01^{\frac{1}{0.01} }=2.7048138294215260932671947108075
1.001^{\frac{1}{0.001} }=2.7169239322358924573830881219476
1.0001^{\frac{1}{0.0001} }=2.7181459268252248640376646749131
0.9^{\frac{1}{-0.1} }=2.8679719907924413133222572312408
0.99^{\frac{1}{-0.01} }=2.7319990264290260038466717212578
0.999^{\frac{1}{-0.001} }=2.719642216442850365397553464404
0.9999^{\frac{1}{-0.0001} }=2.7184177550104492651837311208356
(計算：Windows付属電卓)
となり、一定の値に近づいていく（証明は数学IIIの範囲ではできない）。
この一定の値、すなわち
\lim_{k \to 0} (1+k)^{\frac{1}{k} } = 2.718281828... 
をeで表す。すると、
\lim_{k \to 0} (1+k)^{\frac{1}{k} } = e
これを、上の式に代入すると、
特にa=eのとき、
(\log _e x)'=\frac{1}{x}
eを底とする対数を自然対数という。
eは「自然対数の底」または「ネイピア数」と呼ばれることが多い。
数学では、\log _e xのeを省略してlog xと書く。
数学以外の分野では、常用対数と区別するために、ln xが用いられることもある。
また、\log |x| の微分は、
x＞0のとき
x＜0のとき
よって、(\log |x|)' = \frac{1}{x}
また、合成関数の微分法より、\{ log |f(x)| \}' = \frac{f'(x)}{f(x)}が成り立つことがわかる。
\lim_{k \to 0} (1+k)^{\frac{1}{k} } = eと先ほど定義したが、この定義式は以下のように書き換えられる。
\lim_{x \to \infty} (1+\frac{1}{x})^x = e
\lim_{x \to -\infty} (1+\frac{1}{x})^x = e
上の二つの式はk=\frac{1}{x}と置き換えると、それぞれeの定義式の片側極限の場合を表していることがわかる。
これらの式を利用することで、今まで解けなかったパターンの極限を求められるようになる。
例題）\lim_{x \to 0} \frac{ \log(1-x) }{x}の極限を求めよ
解答）
-x=kとおくとx \rightarrow 0のときk \rightarrow 0なので、
ここで、対数関数は連続関数なので、logとlimを入れ替えても良い。
 \} = -\log e = -1
よって、収束して極限値は-1である。
微分係数の定義式を用いて極限を求めることもできる。
例題）\lim_{x \to 0} \frac{e^x-1}{x} を求めよ
解答）
\lim_{x \to 0} \frac{e^x-1}{x} = \lim_{x \to 0} \frac{e^x-e^0}{x-0}
ここで、微分係数の定義式f'(a) = \lim_{x \to a} \frac{f(x)-f(a)}{x-a}より、f(x) = e^xとおくとf'(x) = e^xで
（上式）= f'(0) = e^0 = 1
よって、収束して極限値は1である。
y=a^x(a>0)
両辺の自然対数をとると、
\log y = x \log a
両辺をxで微分すると、
\frac{y'}{y} = \log a
y' = y \log a
y' = a^x \log a
特にa=eの場合
(e^x)' = e^x
e^xのxが煩雑な場合、e^x=exp(x)のように表す場合がある。また、両辺の自然対数をとってから微分する操作を対数微分法と呼ぶ。
x^aの指数が有理数pのとき、(x^p)' = px^{p-1}が成り立つのは既に証明した。
最後に、x>0として指数が実数のときを考える。
y=x^aのaは実数であるとする。
両辺の絶対値の自然対数をとって
両辺をxで微分して、
よって
が成り立つ。
最初は指数が自然数の場合のみだったのに比べ、より一般の範囲で上式が成り立つことがわかった。このようにある式をより一般に言えるようにするのが、数学の発展性であり醍醐味である。
 \theta
が得られる。
導関数f'(x)をf(x)の第1次導関数という。
導関数の導関数を第2次導関数という。
導関数の導関数の導関数を第3次導関数という。
一般に、関数f(x)をn回微分して得られる関数を第n次導関数といい、
y^{(n)},f^{(n)},\frac{d^n y}{d x^n},\frac{d^n}{d x^n} f(x)
のいずれかで表す。
また、nが1,2,3の時はそれぞれy',y'',yやf'(x),f''(x),f(x)と表す。
2次以上の導関数を高次導関数という。
(例)f(x)=x^5の第3次導関数は
f'(x)=5x^4
f''(x)=20x^3
f'''(x)=60x^2
なので60x^2である。
y=f(x)の形で表された関数を陽関数と呼ぶ。
それに対しF(x, y)=0の形で表された関数を陰関数と呼ぶ。
例えば、円の方程式は陰関数表示された関数である。
陽関数と陰関数は互いに互いの形へと変形できるが、変形すると式が煩雑になる場合がある。そこで、F(x,y)を合成関数と見做して微分することを考える。
(例)円の方程式x^2+y^2=4について、\frac{d}{dx} yを求める。
この式をyについて解くとy=\pm\sqrt{4-x^2}であるが、この式を微分しようとすると式が煩雑で厄介である。
上のyについての等式から元の方程式のyは「xの式を別の文字で置換したもの」と考えられるので、合成関数の微分法を利用すると元の形のまま微分ができる。
元の方程式の両辺をxで微分すると、
より
なので、
すなわち
である。
なお、煩雑になるのでyをxの式に直す必要はない。
ベクトルで習ったように、直線の方程式は媒介変数tを用いて一次関数x=f(t), y=g(t)で表され、これを「媒介変数表示」と呼んだ。
一般に、媒介変数表示x=f(t), y=g(t)は曲線を表す。ここでいう「曲線」は単に曲がった線のことではなく、直線を含む一般的な線のことである。
x=f(t), y=g(t)をxで微分したい。
関数f,gが三角関数の場合等、高校範囲ではtを消去できないことがあるので、媒介変数表示のまま微分することを考える。
y=g(t) \iff t=g^{-1}(y)より、tをyの式と考えるとx=f(t)は合成関数と見做せる。
よって、合成関数の微分法より
である。
ここで、逆関数の微分法から
であるので、
 = \frac{f'(x)}{g'(x)}
が成り立つ。
のように計算できる。
次の式で表された曲線について、\frac{d}{dx}y及び\frac{d^2}{dx^2}yを求めよ。
=1
関数f(x)上の点(a,f(a))における接線の傾きはf'(a)であるので、接線の方程式は
y-f(a)=f'(a)(x-a)
となる。
また、接点を通り接線に垂直な直線を法線（ほうせん）という。
垂直な直線同士は傾きの符号が逆であり、傾きの絶対値が逆数であるので、法線の方程式は
y-f(a)=- \frac{1}{f'(a)} (x-a)
となる。
f'(a)はf(x)の点(a,f(a))での傾きを表す。
よって、
である。
また、f'(a)=0で、aの前後でf'(x)の符号が+から-に変わるならば、f(x)は点(a,f(a))で増加から減少に転じる。このときのf(a)を極大値（きょくだいち）という。
また、-から+に変わるならば、f(x)は点(a,f(a))で減少から増加に転じるので、このときのf(a)を極小値（きょくしょうち）という。
極大値と極小値をまとめて極値（きょくち）という。
f'(a)=0であっても、前後で符号が変わらなければf(a)は極値ではない。
第二次導関数の図形的な意味を考えてみよう。導関数は各点での接線の傾きを表している。第二次導関数は導関数の導関数だから、接線の傾きの変化率、すなわちグラフの曲がり具合を表していることになる。第二次導関数が正のときは傾きが増加しているのだからグラフは下に凸、負のときは上に凸となる。
グラフの曲がり具合が変わる点のことを変曲点（へんきょくてん）という。上の考察から、変曲点は第二次導関数の符号が変わる点であることがわかる。極値の場合と同様に、たとえf''(a) = 0であっても、符号が変わらなければ変曲点ではない。
関数のグラフを書くときには、変曲点の情報は極値と同様に重要なので、増減表にも第二次導関数の欄をつくり、変曲点を記入するとよい。
（力学も参照。）
数直線上を運動する物体が時刻 t のとき位置 x(t) にあるとする。この物体の速度を求める。
時刻が t から t+h に移動するとき、物体は x(t) から x(t+h) の位置に移動するここで、 x は関数であることに注意せよ。。このときの平均の速度は \frac{\Delta x}{\Delta t} = \frac{x(t+h)-x(t)}{(t+h)-t} = \frac{x(t+h)-x(t)}{h}
ここで、\Delta t = h なので、 h  を限りなく 0 に近づければ、この物体の瞬間の速度が求められる。時刻 t のときの物体の瞬間の速度を v(t) とすれば、
v(t) = \lim_{h \to 0} \frac{x(t+h)-x(t)}{h} = x'(t) = \frac{dx}{dt} である。
同様に、加速度についても、時刻 t のときの物体の加速度を a(t) とすれば
 a(t) = \lim_{\Delta t \to 0}\frac{\Delta v}{\Delta t} =\lim_{\Delta h \to 0} \frac{x'(t+h)-x'(t)}{h} = x''(t) = \frac{d^2x}{dt^2}
これは、平面上を運動する物体にも拡張できる。時刻 t のときの物体の位置ベクトルが \vec x(t) = (x(t),y(t)) で与えられるとき、この物体の速度ベクトル \vec v は \vec v = \lim_{\Delta t \to 0}\frac{\Delta \vec x}{\Delta t}=\frac{d \vec x}{dt} = \left(\frac{dx}{dt},\frac{dy}{dt}\right) である。同様に加速度ベクトル \vec a についても、 \vec a = \left(\frac{d^2x}{dt^2},\frac{d^2x}{dt^2}\right)。
例えば、角速度 \omega で原点を中心に半径 r の円運動する物体が t=0 で \vec x(0) =(r,0) にあるとき、この物体の時刻 t のときの位置ベクトル \vec x(t) は \vec x (t) = r\left(\begin{align} \cos \omega t \\ \sin\omega t\end{align}\right) である。速度ベクトルは、\vec v = \frac{d\vec x}{dt} = r\omega\left(\begin{align} -\sin \omega t \\ \cos\omega t\end{align}\right)。加速度ベクトルは\vec a = \frac{d^2\vec x}{d^2t} = -r\omega^2\left(\begin{align} \cos \omega t \\ \sin\omega t\end{align}\right) = -\omega^2 \vec x(t)。ここから、位置ベクトル \vec x(t) と速度ベクトル \vec v(t) は直行し、位置ベクトル \vec x(t) と加速度ベクトル \vec a(t) は逆向きであり、|\vec v(t)| = r\omega 、 |\vec a(t)| = r\omega^2 が成立することが分かる。
また、円運動の x 成分 または y 成分だけに注目すれば、それは単振動である。
微分係数f'(a)は\lim_{h \to 0} \frac{f(a+h)-f(a)}{h} = f'(a)なので、|h|が十分小さいとき、\frac{f(a+b)-f(a)}{h} \fallingdotseq f'(a)である。すなわち、f(a+h) \fallingdotseq f(a)+f'(a)hが成り立つ。これを一次近似式と呼ぶ。
また、a=0, h=xとすると、|x|が小さいときf(x) \fallingdotseq f(0)+f'(0)xである。
g(x)=px^2+qx+rとおき、f(a+h) \fallingdotseq g(a+h)と見做すことにより、f(a+h) \fallingdotseq f(a)+f'(a)h + \frac{f''(a)}{2}h^2が得られる。これを二次近似式と呼ぶ。
一次近似式と二次近似式を見比べると、n次近似式はn項目までの有限級数になることが予想できる。ここで、近似式の次数を無限に大きくしていくと、近似値ではなく真に正確な値が得られる。逆に言うと、真に正確な値を求める無限級数をある項で打ち切ることで、近似式として機能する。この無限級数については以下の「テイラー級数」を参照。
関数 f(x)  は   [a,b] で連続、 (a,b)  で微分可能とする。
f(a) = f(b) ならば  f'(c) = 0 となる点 a が存在する。
証明
関数 f(x) には最大値または最小値が a < x  の範囲に一つ以上存在する。最大値または最小値では関数の導関数は 0 なので、その点を選び cとすると、 f'(c) = 0 となる。
関数 f(x)  は   [a,b] で連続、 (a,b)  で微分可能とする。このとき、 \frac{f(b)-f(a)}{b-a} = f'(c) となる  a< c  が存在する。
証明
g(x) = f(x) - Ax とする。定数 A を g(a)=g(b) を満たすように定める。
したがって、 f(a) - Aa = f(b) - Ab  より、 A = \frac{f(b)-f(a)}{b-a} である。
ここで、関数 g(x) に対して、ロルの定理を用いることにより、  g'(c) = 0 となる a が存在する。g'(x) = f'(x)-Aであるから、f'(c) = A = \frac{f(b)-f(a)}{b-a} となる a が存在することがいえる。
関数 f(x),g(x)  は  [a,b] で連続、 (a,b)  で微分可能とする。このとき、 \{g(b)-g(a)\}f'(c) = \{f(b) - f(a)\}g'(c) となる c\in (a,b) が存在する。さらに、 g'(c) \neq 0,\,g(a)\neq g(b) とすれば、
\frac{f(b)-f(a)}{g(b)-g(a)}=\frac{f'(c)}{g'(c)}
となる c\in (a,b) が存在する。
証明
h(t) = \{f(b)-f(a)\}g(t) - \{g(b)-g(a)\}f(t) とする。ここで、  h(t) は  [a,b] で連続、  (a,b) で微分可能、  h(a) = h(b) なので、ロルの定理より、h'(c)=0 となる c\in (a,b) が存在する。h'(c)=0 を変形して \{g(b)-g(a)\}f'(c) = \{f(b) - f(a)\}g'(c) を得る。さらに、 g'(c) \neq 0,\,g(a)\neq g(b) ならば、
\frac{f(b)-f(a)}{g(b)-g(a)}=\frac{f'(c)}{g'(c)}である。
f(x) を区間 I で n 回微分可能な関数とする。任意の a,x \in I に対して、\xi が a,x の中間に存在して、
f(x) = f(a) + \frac{f'(a)}{1!}(x-a) + \frac{f''(a)}{2!}(x-a)^2 + \cdots + \frac{f^{(n-1)}(a)}{(n-1)!}(x-a)^{n-1} + \frac{f^{(n)}(\xi)}{n!}(x-a)^n.
証明
 = \cdots = \frac{F^{(n)}(\xi)}{n!} となる x_1,x_2,\cdots, \xi が a,x の中間に存在する。F^{(n)}(x) = f^{(n)}(x) だから、 F(x) = \frac{f^{(n)}(\xi)} {n!} (x-a)^n を得る。
関数 g(x)  に対して、 \lim_{x\to a} \frac{f(x)}{g(x)} = 0  となるような関数 f(x)  を一般に og  と表す。
ランダウ記号について次が成り立つ。
ランダウの記号は一般には違う関数を同じ記号で表しているので注意が必要である。例えば 1. は任意のf = oh,\, g=oh である関数について、\lim_{x\to a}\frac{f+g}{h} = 0 という意味である。
2. は f = oh とすると、\frac{kf}{h} \to 0. 3. は \frac f g \to 0,\, \frac g h \to 0 ならば、\frac f h = \frac f g \frac g h \to 0  となるから、f = oh .
ランダウの記号について、x がどこに近づいたときか（x \to a）ということは重要だが、文脈から明らかな場合は省略される。
 = \lim_{\xi \to a} \frac{f^{(n)}(\xi)}{n!} = \frac{f^{(n)}(a)}{n!}.
 = 0 と書けるから、 R_n = \frac{f^{(n)}(a)}{n!} (x-a)^n + o{(x-a)^n}. 
すなわち、
f(x) = f(a) + \frac{f'(a)}{1!}(x-a) + \frac{f''(a)}{2!}(x-a)^2 + \cdots + \frac{f^{(n)}(a)}{n!}(x-a)^n + o(x-a)^n
{x} = \lim_{x\to 0} \frac{(1 + x + ox) - (1 - x + ox)}{x} = \lim_{x\to 0} 2 + \frac{ox}{x} = 2. 
例
\alpha を実数とする。f(x) = (1+x)^\alpha について、 f^{(n)}(0) = \alpha(\alpha-1) \cdots (\alpha - n + 1)  なので、
(1+x)^\alpha = \sum_{k=0}^{n} \binom{\alpha}{k} x^k + ox^n 
ただし、\binom{\alpha}{k} = \frac{\alpha(\alpha-1) \cdots (\alpha - k + 1)}{k!},\, \binom{\alpha}{0} = 1 は一般二項係数。
例えば、
\sqrt{1+x} = 1 + \frac 1 2 x + ox
 = 1 - \frac 1 2 x + ox
など。これらは近似公式としてもよく使われる。
テイラーの定理において、関数 f(x) が区間 I で無限回微分可能（任意の次数の導関数が存在すること）で剰余項が \lim_{n \to \infty} R_n = 0 ならば、
f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(a)}{n!}(x-a)^n . 
これをテイラー級数といい、特に a=0 のものをマクローリン級数という。
いくつかの関数のテイラー展開を求めよう。
f(x) = e^xとすると、f^{(n)}(x) = e^x,f^{(n)}(0) = 1 で、|R_n| = \left|\frac{e^\xi}{n!}x^n\right| < \frac{e^}{n!}|x|^n より、任意の x に対して、 \lim_{n \to \infty} R_n = 0 となる。すなわち、
e^x = \sum_{n=0}^{\infty} \frac 1 {n!} x^n.
\sin x,\cos x についても同じように計算して、
\sin x = \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)!} x^{2n+1},\, \cos x = \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n)!} x^{2n}
を得る。