正余弦函数及其反函数导数推导

正余弦函数及其反函数导数推导

背景

三角函数的求导涉及到重要极限
$\lim_{x\to0}\frac{sin x}{x}$
的使用。
其反三角函数涉及复合函数求导。此文主要是对这两点知识的应用。

三角函数求导$sin x$

$$(sin x)' = \lim_{dx\to0}\frac{sin(x+dx)-sin(x)}{dx}$$

$$= \lim_{dx\to0}\frac{sin(x+\frac{dx}{2}+\frac{dx}{2})-sin(x+\frac{dx}{2}-\frac{dx}{2})}{dx}$$

$$= \lim_{dx\to0}\frac{2cos(x+\frac{dx}{2})sin(\frac{dx}{2})}{dx}$$

$$= \lim_{dx\to0}\frac{cos(x+\frac{dx}{2})sin(\frac{dx}{2})}{ \frac{dx}{2}}$$

$$= \lim_{dx\to0}cos(x+\frac{dx}{2}) \cdot \frac{sin(\frac{dx}{2})}{ \frac{dx}{2}}$$

$$= \lim_{dx\to0}cos(x+\frac{dx}{2}) \cdot 1 = cos x$$

三角函数求导$cos x$

$$(cos x)' = \lim_{dx\to0}\frac{cos(x+dx)-cos(x)}{dx}$$

$$= \lim_{dx\to0}\frac{cos(x+\frac{dx}{2}+\frac{dx}{2})-cos(x+\frac{dx}{2}-\frac{dx}{2})}{dx}$$

$$= \lim_{dx\to0}\frac{-2sin(x+\frac{dx}{2})sin(\frac{dx}{2})}{dx}$$

$$= \lim_{dx\to0}\frac{-sin(x+\frac{dx}{2})sin(\frac{dx}{2})}{\frac{dx}{2}} = -sin x$$

三角函数求导$arcsin x$

$$(sin(arcsin x))' = cos(arcsin x) \cdot (arcsin x)'$$

$$1 = cos(arcsin x) \cdot (arcsin x)'$$

$$(arcsin x)' = \frac{1}{cos(arcsin x)} = \frac{1}{\sqrt{1-x^2}}$$

三角函数求导$arccos x$

$$(cos(arccos x))' = -sin(arccos x) \cdot (arccos x)'$$

$$1 = -sin(arccos x) \cdot (arccos x)'$$

$$(arccos x)' = \frac{1}{-sin(arccos x)} = -\frac{1}{\sqrt{1-x^2}}$$