幾個反三角函數的圖形,其中,反餘切以複變分析定義,因此在原點處出現不連續斷點
在数学中,反三角函数(英語:inverse trigonometric function)是三角函数的反函数。
符号
等常用于
等。但是这种符号有时在
和
之间易造成混淆。
在编程中,函数
,
,
通常叫做
,
,
。很多编程语言提供两自变量atan2函数,它计算给定
和
的
的反正切,但是值域为
。
-
在笛卡尔平面上

(紅)和

(綠)函数的常用主值的图像。
-
在笛卡尔平面上

(紅)和

(綠)函数的常用主值的图像。
-
在笛卡尔平面上

(紅)和

(綠)函数的常用主值的图像。
下表列出基本的反三角函数。
名称
|
常用符号
|
定义
|
定义域
|
值域
|
反正弦 |
 |
 |
![{\displaystyle [-1,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51e3b7f14a6f70e614728c583409a0b9a8b9de01) |
|
反余弦 |
 |
 |
![{\displaystyle [-1,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51e3b7f14a6f70e614728c583409a0b9a8b9de01) |
|
反正切 |
 |
 |
 |
|
反余切 |
 |
 |
 |
|
反正割 |
 |
 |
![{\displaystyle (-\infty ,-1]\cup [1,+\infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5dedf8ddf2dcc93b2f0799dfd206f0064a74e94f) |
|
反余割 |
 |
 |
![{\displaystyle (-\infty ,-1]\cup [1,+\infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5dedf8ddf2dcc93b2f0799dfd206f0064a74e94f) |
|
(注意:某些數學教科書的作者將
的值域定為
因為當
的定義域落在此區間時,
的值域
,如果
的值域仍定為
,將會造成
,如果希望
,那就必須將
的值域定為
,基於類似的理由
的值域定為
)
如果
允许是复数,则
的值域只适用它的实部。
余角:



负数参数:






倒数参数:








如果有一段正弦表:


注意只要在使用了复数的平方根的时候,我们选择正实部的平方根(或者正虚部,如果是负实数的平方根的话)。
从半角公式
,可得到:



通過定義可知:
|
|
|
|
圖示
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
每个三角函数都周期于它的参数的实部上,在每个
区间内通过它的所有值两次。正弦和余割的周期开始于
结束于
(这里的
是一个整数),在
到
上倒过来。余弦和正割的周期开始于
结束于
,在
到
上倒过来。正切的周期开始于
结束于
,接着(向前)在
到
上重复。余切的周期开始于
结束于
,接着(向前)在
到
上重复。
这个周期性反应在一般反函数上:






对于实数
的反三角函數的导函数如下:

舉例說明,设
,得到:

因為要使根號內部恆為正,所以在條件加上
,其他導數公式同理可證[1]。
积分其导数并固定在一点上的值给出反三角函数作为定积分的表达式:

当
等于1时,在有极限的域上的积分是瑕积分,但仍是良好定义的。
如同正弦和余弦函数,反三角函数可以使用无穷级数计算如下:
![{\displaystyle {\begin{aligned}\arcsin z&{}=z+\left({\frac {1}{2}}\right){\frac {z^{3}}{3}}+\left({\frac {1\cdot 3}{2\cdot 4}}\right){\frac {z^{5}}{5}}+\left({\frac {1\cdot 3\cdot 5}{2\cdot 4\cdot 6}}\right){\frac {z^{7}}{7}}+\cdots \\&{}=\sum _{n=0}^{\infty }\left[{\frac {(2n)!}{2^{2n}(n!)^{2}}}\right]{\frac {z^{2n+1}}{(2n+1)}};\qquad |z|\leq 1\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c89d945076c1fce9d92ad559ec2130fa883c5bce)
![{\displaystyle {\begin{aligned}\arccos z&{}={\frac {\pi }{2}}-\arcsin z\\&{}={\frac {\pi }{2}}-\left[z+\left({\frac {1}{2}}\right){\frac {z^{3}}{3}}+\left({\frac {1\cdot 3}{2\cdot 4}}\right){\frac {z^{5}}{5}}+\left({\frac {1\cdot 3\cdot 5}{2\cdot 4\cdot 6}}\right){\frac {z^{7}}{7}}+\cdots \right]\\&{}={\frac {\pi }{2}}-\sum _{n=0}^{\infty }\left[{\frac {(2n)!}{2^{2n}(n!)^{2}}}\right]{\frac {z^{2n+1}}{(2n+1)}};\qquad |z|\leq 1\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31e176ffdceceb486b2bde9b798995e9544143fe)


![{\displaystyle {\begin{aligned}\operatorname {arcsec} z&{}=\arccos \left(z^{-1}\right)\\&{}={\frac {\pi }{2}}-\left[z^{-1}+\left({\frac {1}{2}}\right){\frac {z^{-3}}{3}}+\left({\frac {1\cdot 3}{2\cdot 4}}\right){\frac {z^{-5}}{5}}+\left({\frac {1\cdot 3\cdot 5}{2\cdot 4\cdot 6}}\right){\frac {z^{-7}}{7}}+\cdots \right]\\&{}={\frac {\pi }{2}}-\sum _{n=0}^{\infty }\left[{\frac {(2n)!}{2^{2n}(n!)^{2}}}\right]{\frac {z^{-(2n+1)}}{(2n+1)}};\qquad \left|z\right|\geq -4\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d09d36851c528df3de9f33d85a376311d09057fc)
![{\displaystyle {\begin{aligned}\operatorname {arccsc} z&{}=\arcsin \left(z^{-1}\right)\\&{}=z^{-1}+\left({\frac {1}{2}}\right){\frac {z^{-3}}{3}}+\left({\frac {1\cdot 3}{2\cdot 4}}\right){\frac {z^{-5}}{5}}+\left({\frac {1\cdot 3\cdot 5}{2\cdot 4\cdot 6}}\right){\frac {z^{-7}}{7}}+\cdots \\&{}=\sum _{n=0}^{\infty }\left[{\frac {(2n)!}{2^{2n}(n!)^{2}}}\right]{\frac {z^{-(2n+1)}}{2n+1}};\qquad \left|z\right|\geq 1\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c4732b95840d2de49c0c3c48267cccad551991e)
欧拉发现了反正切的更有效的级数:
。
(注意对
在和中的项是空积1。)

使用分部积分法和上面的简单导数很容易得出它们。
使用
,設

則

換元

則

且

換元回x得到





















- ^
设
,得到:

因為要使根號內部恆為正,所以在條件加上
。
设
,得到:

设
,得到:

设
,得到:

因為要使根號內部恆為正,所以在條件加上
,比較容易被忽略是
產生的絕對值
的定義域是
,所以
,所以
要加绝对值。
设
,得到:

因為要使根號內部恆為正,所以在條件加上
,比較容易被忽略是
產生的絕對值
的定義域是
。