arccosx 的导数，推导、理解与应用
本文围绕反余弦函数 \(y=\arccos x\) 的导数展开，结论为 \(y'=-\frac{1}{\sqrt{1-x^2}}\)（\(|x|
在微积分中，反三角函数的求导是一个基础而重要的内容，反余弦函数 (y=\arccos x) 的导数公式为：
[ (\arccos x)' = -\frac{1}{\sqrt{1-x^2}},\qquad -1<x<1 ]
本文将围绕这个公式，介绍它的推导过程、几何意义、注意事项以及典型应用。
反函数求导法推导
设 (y=\arccos x)，根据反余弦函数的定义,有：
[ x=\cos y,\qquad y\in[0,\pi] ]
在 (y\in(0,\pi)) 时，(\cos y) 严格单调递减，因此反函数可导，对 (x=\cos y) (y) 求导,得：
[ \frac{dx}{dy}=-\sin y ]
由反函数求导法则：
[ \frac{dy}{dx}=\frac{1}{\frac{dx}{dy}} ]
[ \frac{dy}{dx}=-\frac{1}{\sin y} ]
接下来需要把 (\sin y) 用 (x) 表示,由三角恒等式：
[ \sin^2 y+\cos^2 y=1 ]
可得：
[ \sin^2 y=1-x^2 ]
又因为 (y\in[0,\pi])，(\sin y\ge 0)，
[ \sin y=\sqrt{1-x^2} ]
代入上式,得到：
[ \frac{d}{dx}(\arccos x)=-\frac{1}{\sqrt{1-x^2}} ]
这就是反余弦函数的导数公式。
隐函数求导法
也可以使用隐函数求导来推导,设：
[ y=\arccos x ]
则：
[ \cos y=x ]
两边对 (x) 求导，注意 (y) 是 (x) 的函数：
[ -\sin y\cdot y'=1 ]
[ y'=-\frac{1}{\sin y} ]
同样由 (\sin y=\sqrt{1-x^2}),得到：
[ y'=-\frac{1}{\sqrt{1-x^2}} ]
这种方法更加简洁,但需要理解隐函数求导的思想。
与 (\arcsin x) 导数的关系
反正弦函数的导数公式为：
[ (\arcsin x)'=\frac{1}{\sqrt{1-x^2}} ]
而反正弦函数与反余弦函数之间有重要恒等式：
[ \arcsin x+\arccos x=\frac{\pi}{2} ]
两边对 (x) 求导,得：
[ (\arcsin x)'+(\arccos x)'=0 ]
[ (\arccos x)'=-(\arcsin x)'=-\frac{1}{\sqrt{1-x^2}} ]
这个关系也解释了为什么反余弦函数的导数带有一个负号。
几何意义
(y=\arccos x) 表示余弦值为 (x) 的角，随着 (x) 从 (-1) 增大到 (1)，对应的角 (y) 从 (\pi) 减小到 (0)，因此函数单调递减,导数始终为负。
在 (x=0) 处,导数为：
[ (\arccos x)'\bigg|_{x=0}=-1 ]
这说明曲线在 (x=0) 处的切线斜率为 (-1)。
当 (x) 接近 (1) 或 (-1) 时，(\sqrt{1-x^2}) 趋近于 (0)，导数趋近于负无穷，切线趋于竖直，因此函数在端点 (x=\pm 1) 处不可导。
注意事项
-
公式仅适用于 (-1<x<1)，端点 (x=\pm 1) 处不可导。
-
分母是 (\sqrt{1-x^2})，不是 (\sqrt{x^2-1}),根号内必须非负。
-
负号不能省略，因为 (y=\arccos x) 是单调递减函数。
-
(\arccos x) 与 (\frac{1}{\cos x}) 完全不同，不能混淆，前者是反余弦函数,后者是余弦函数的倒数。
典型例题
例 1：设 (f(x)=x\arccos x)，求 (f'(x))。
解：由乘积求导法则：
[ f'(x)=1\cdot \arccos x+x\cdot\left(-\frac{1}{\sqrt{1-x^2}}\right) ]
[ f'(x)=\arccos x-\frac{x}{\sqrt{1-x^2}} ]
例 2：设 (f(x)=\arccos(2x)),求导数。
解：由链式法则，令 (u=2x),则：
[ f'(x)=-\frac{1}{\sqrt{1-(2x)^2}}\cdot 2 ]
[ f'(x)=-\frac{2}{\sqrt{1-4x^2}} ]
其定义域为：
[ -\frac{1}{2}<x<\frac{1}{2} ]
例 3：利用导数公式理解积分。
因为：
[ (\arccos x)'=-\frac{1}{\sqrt{1-x^2}} ]
[ \int \frac{1}{\sqrt{1-x^2}}dx=-\arccos x+C ]
而更常见的结果是：
[ \int \frac{1}{\sqrt{1-x^2}}dx=\arcsin x+C ]
这两个结果只相差一个常数,因为：
[ \arcsin x+\arccos x=\frac{\pi}{2} ]
(\arccos x) 的导数公式虽然简单，但其中的负号和定义域限制是容易出错的地方，通过反函数求导法、隐函数求导法以及与 (\arcsin x) 的关系，可以从多个角度理解这一公式，掌握它，对进一步学习积分、微分方程和泰勒展开等内容都有重要作用。
