贡献者: addis
预备知识 反正切函数
我们经常会遇到这样一个问题:已知平面直角坐标系上一点 $P$,坐标为 $(x, y)$,求射线 $OP$ 与 $x$ 轴正方向的夹角 $\theta$。首先我们要给这个夹角取一个范围,一般来说既可以取 $[0, 2\pi)$ 也可以取 $(-\pi, \pi]$,但如无特殊说明,我们统一使用后者。
一些教材中直接用 $\theta = \arctan\left(y/x\right) $,$\theta \in (-\pi/2, \pi/2)$ 来表示这一关系,这是不严谨的,因为只能表示半个圆周。我们下面来定义一个符合要求的新函数,记为 $ \operatorname{Arctan} (y, x)$。在许多计算机编程语言中 $\arctan$ 被记为 atan
,$ \operatorname{Arctan} $ 被记为 atan2
。也有一些文献使用 $ \operatorname {Tan}^{-1}$。其中定义为 $x, y \in \mathbb R$,即任意实数,值域为 $(-\pi, \pi]$。
\begin{equation}
\operatorname{Arctan} (y,x) \equiv
\begin{cases}
\arctan\left(y/x\right) \quad &(x > 0)\\
\arctan\left(y/x\right) + \pi &(x < 0,\,y \geqslant 0)\\
\arctan\left(y/x\right) - \pi &(x < 0,\,y < 0)\\
\pi /2 &(x = 0, \,y > 0)\\
-\pi /2 &(x = 0, \,y < 0)\\
0 & (x=0,\,y=0)~.
\end{cases}
\end{equation}
小时百科统一使用该定义,但也有一些其他文献将其定义为上式加 $\pi$,使值域为 $(0, 2\pi]$,或者认为 $x = 0, y = 0$ 无定义(不属于定义域)。
1. 偏导数
函数在除了在原点和 $x$ 轴的负半轴,在其它定义域都是连续且光滑的,即存在连续的无穷阶偏导。一阶偏导为
\begin{equation}
\frac{\partial}{\partial{x}} \operatorname{Arctan} (y, x) = \frac{-y}{x^2 + y^2} ~,\qquad
\frac{\partial}{\partial{y}} \operatorname{Arctan} (y, x) = \frac{x}{x^2 + y^2}~.
\end{equation}
致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者
热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。