贡献者： addis
1. 基本初等函数
基本初等函数由以下五类函数构成（$a$ 是常数）
- 幂函数
\begin{equation}
x^a \quad(a \in R)~.
\end{equation}
- 指数函数
\begin{equation}
a^x \quad(a > 0, \; a \ne 1)~.
\end{equation}
- 对数函数
\begin{equation}
\log_a x \quad(a > 0, \; a \ne 1)~.
\end{equation}
- 三角函数
\begin{equation}
\sin x~, \qquad \cos x ~,\qquad \tan x~.
\end{equation}
- 反三角函数
\begin{equation}
\arcsin x ~,\qquad \arccos x ~, \qquad \arctan x~.
\end{equation}
由以上函数经过有限次四则运算和有限次函数复合所构成并可用一个式子表示的函数，称为初等函数。例如
\begin{equation}
y = \sqrt{1 - x^2}~,\qquad y = \sin ^2 x~,\qquad y = \sqrt{\cot \frac{x}{2}} ~.
\end{equation}
2. 基本初等函数的导数
基本初等函数在其定义域内（除了区间端点）都是可导的，导函数如下
- 幂函数
\begin{equation}
(x^a)' = a x^{a - 1} \quad (a \in R)~.
\end{equation}
- 三角函数
\begin{equation}
\sin' x = \cos x~, \qquad \cos' x = - \sin x ~,\qquad
\tan'x = 1/\cos ^2 x = \sec ^2 x~.
\end{equation}
- 反三角函数
\begin{equation}
\arctan' x =\frac{1}{x^2+1}~,
\qquad
\arcsin' x = \frac{1}{\sqrt{1-x^2}}~,
\qquad
\arccos' x = -\frac{1}{\sqrt{1-x^2}}~.
\end{equation}
- 指数函数
\begin{equation}
(a^x)' = \ln\left(a\right) a^x~.
\end{equation}
- 对数函数
\begin{equation}
(\log_a x)' = \frac{1}{ \ln\left(a\right) x}~.
\end{equation}
以下给出简单的推导思路，以方便理解为主，并不严谨。
3. 幂函数求导
由导数的代数定义，$f'(x) = \lim\limits_{h \to 0} [f(x + h) - f(x)]/h$，而
\begin{equation}
(x + h)^a - x^a = x^a [(1 + h/x)^a - 1]~.
\end{equation}
由于 $h \to 0$， $h/x \to 0$。令 $\varepsilon = h/x$，由非整数
二项式定理，
\begin{equation}
(1 + \varepsilon)^a = 1 + a\varepsilon + \frac{a(a - 1)}{2!} \varepsilon ^2 + \frac{a(a - 1)(a - 2)}{3!} \varepsilon ^3\dots~
\end{equation}
所以
\begin{equation}
\begin{aligned}
(x^a)' &= x^a \lim_{\varepsilon \to 0} \frac{( 1 + \varepsilon )^a - 1}{\varepsilon x} \\
&= x^{a - 1} \lim_{\varepsilon \to 0} \left(a + \frac{a(a - 1)}{2!}\varepsilon + \frac{a (a - 1)(a - 2)}{3!}{\varepsilon ^2}\dots \right) = a x^{a - 1}~.
\end{aligned} \end{equation}
括号中含有 $\varepsilon$ 的项相对于 $a$ 都是高阶无穷小，求极限时可以忽略。
4. 正弦函数求导
几何法
图 1：正弦函数求导
如图 1 ，我们可以先画出一个单位圆，那么对某个角度 $\theta$，线段 $BD$ 的长度就是 $\sin\theta$。现在把 $\theta$ 增加一个很小的角度 $ \,\mathrm{d}{\theta} $，那么 $ \sin\left(\theta+ \,\mathrm{d}{\theta} \right) $ 就是 $AC$ 的长度。于是 $\sin$ 的增量为 $ \,\mathrm{d}{\sin\theta} $ 就是 $AC - BD$，即红色线段的长度。另外由于 $\theta$ 很小，线段 $AB$ 趋近于弧长 $AB$，且线段 $AB$ 和 $OA$，$OB$ 都趋近垂直。所以有微分关系
\begin{equation}
\,\mathrm{d}{\sin\theta} = AB \cos\theta = \cos\theta \,\mathrm{d}{\theta} ~.
\end{equation}
“两边除以 $ \,\mathrm{d}{\theta} $” 就有
\begin{equation}
\sin'\theta = \frac{\mathrm{d}{\sin\theta}}{\mathrm{d}{\theta}} = \cos\theta~.
\end{equation}
代数法
使用三角函数和差化积公式（式 16 ）
\begin{equation}
\sin'x = \lim_{h \to 0} \frac{ \sin\left(x + h\right) - \sin x}{h} = \lim_{h \to 0} \frac{ \sin\left(h/2\right) }{h/2} \cdot \lim_{h \to 0} \cos\left(x + \frac{h}{2}\right) ~.
\end{equation}
由 “
小角值极限” 中的结论，
\begin{equation}
\lim_{h \to 0} \frac{ \sin\left(h/2\right) }{h/2} = 1~.
\end{equation}
所以
\begin{equation}
\sin'x = \lim_{h \to 0} \cos\left(x + \frac{h}{2}\right) = \cos x~.
\end{equation}
5. 余弦函数求导
若 $f'(x) = g(x)$，且 $b$ 为任意常数，根据导数的定义 $f'(x + b) = g(x + b)$ 同样成立（证明略）。所以 $\sin'(x + \pi/2) = \cos\left(x + \pi/2\right) $。而 $ \sin\left(x + \pi/2\right) = \cos x$， $ \cos\left(x + \pi/2\right) = - \sin x$ 所以 $\cos' x = - \sin x$。
另外，也可以直接使用类似以上正弦函数推导中的几何法和代数法（留做习题）。
6. 正切函数求导
根据求导法则，因为 $\tan x = \sin x/\cos x$，所以
\begin{equation}
\tan' x = \frac{\sin' x \cos x - \cos' x\sin x}{\cos^2 x} = \frac{\cos^2x + \sin^2 x}{\cos^2 x} = \frac{1}{\cos ^2 x} = \sec ^2 x~.
\end{equation}
7. 对数函数求导
先证明 $\ln' x = {1}/{x}$。 $ \ln\left(x + h\right) - \ln x = \ln\left(1 + h/x\right) $，所以
\begin{equation}
\ln 'x = \lim_{h \to 0} \frac{ \ln\left(x + h\right) - \ln x}{h} = \frac{1}{x} \lim_{h \to 0} \frac{ \ln\left(1 + h/x\right) }{h/x}~.
\end{equation}
令 $\varepsilon = h/x$，则
\begin{equation}
\ln' x = \frac{1}{x} \lim_{\varepsilon \to 0} \frac{ \ln\left(1 + \varepsilon\right) }{\varepsilon } = \frac{1}{x} \lim_{\varepsilon \to 0} \ln\left(1 + \varepsilon\right) ^{\frac{1}{\varepsilon }} ~.
\end{equation}
由自然对数底的定义，$\lim\limits_{\varepsilon \to 0} (1 + \varepsilon)^{\frac{1}{\varepsilon }} = \mathrm{e} $，所以
\begin{equation}
\ln 'x = \frac{\ln \mathrm{e} }{x} = \frac{1}{x}~,
\end{equation}
再证明 $\log'_a x = {1}/(x\ln a)$。
由对数函数的性质 $\log_a b = \ln b/\ln a~,$
\begin{equation}
\log'_a x = \left(\frac{\ln x}{\ln a} \right) ' = \frac{1}{\ln a}\ln' x = \frac{1}{x\ln a}~.
\end{equation}
8. 指数函数求导
先证明 $( \mathrm{e} ^x)' = \mathrm{e} ^x$。
由于上面已经证明了 $ \ln'x = 1/x$，而 $ \mathrm{e} ^x$ 是 $\ln x$ 的反函数。所以令 $f(x) = \ln x$，$f'(x) = 1/x$， $f^{ - 1} (x) = \mathrm{e} ^x$，代入反函数的求导法则
\begin{equation}
[f^{-1} (x)]' = \frac{1}{f'[f^{ - 1}(x)]}~,
\end{equation}
得
\begin{equation}
( \mathrm{e} ^x)' = \frac{1}{1/ \mathrm{e} ^x} = \mathrm{e} ^x~,
\end{equation}
再证明 $(a^x)' = a^x \ln a$。 $(a^x)' = \left[ \left( \mathrm{e} ^{\ln a} \right) ^x \right] ' = \left( \mathrm{e} ^{(\ln a) x} \right) '$。把 $ \mathrm{e} ^{(\ln a) x}$ 看成是 $ \mathrm{e} ^u$ 和 $u = (\ln a) x$ 的复合函数，根据复合函数的
求导法则，$(a^x)' = (\ln a) a^x$
9. 反三角函数求导
以对 $\arctan x$ 为例，设 $x=f(y)=\tan y$，$y=f^{-1}(x)=\arctan x$。利用反函数的求导法则
\begin{equation}
[f^{-1} (x)]' = \frac{1}{f'[f^{ - 1}(x)]}~.
\end{equation}
再利用 $\tan x$ 的求导公式 $(\tan y)'=1/\cos^2 y$，得
\begin{equation}
(\arctan x)'=\frac{1}{1/\cos^2 (y)}=\cos^2 y=\frac{1}{x^2+1}~.
\end{equation}
$\arcsin' x$ 和 $\arccos' x$ 也类似，留做习题。
致读者： 小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此，我们请求广大读者
热心打赏 ，使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损， 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款， 他们的付出帮助了 99% 的读者免费获取知识， 我们在此表示感谢。
