|
|
第190行: |
第190行: |
|
\begin{align} |
|
\begin{align} |
|
\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\\ |
|
\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)} |
|
& {}= \sum_{n=0}^\infty \left[ \frac {(2n)!} {2^{2n}(n!)^2} \right] \frac {z^{2n+1}} {(2n+1)} |
|
; \qquad | z | \le 1 |
|
; \qquad | z | \le 1 |
|
\end{align} |
|
\end{align} |
第198行: |
第198行: |
|
\begin{align} |
|
\begin{align} |
|
\arccos z & {}= \frac {\pi} {2} - \arcsin z \\ |
|
\arccos z & {}= \frac {\pi} {2} - \arcsin z \\ |
|
& {}= \frac {\pi} {2} - (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 ) \\ |
|
& {}= \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)} |
|
& {}= \frac {\pi} {2} - \sum_{n=0}^\infty \left[ \frac {(2n)!} {2^{2n}(n!)^2} \right] \frac {z^{2n+1}} {(2n+1)} |
|
; \qquad | z | \le 1 |
|
; \qquad | z | \le 1 |
|
\end{align} |
|
\end{align} |
第215行: |
第215行: |
|
\begin{align} |
|
\begin{align} |
|
\arccot z & {}= \frac {\pi} {2} - \arctan z \\ |
|
\arccot z & {}= \frac {\pi} {2} - \arctan z \\ |
|
& {}= \frac {\pi} {2} - ( z - \frac {z^3} {3} +\frac {z^5} {5} -\frac {z^7} {7} +\cdots ) \\ |
|
& {}= \frac {\pi} {2} - \left( z - \frac {z^3} {3} +\frac {z^5} {5} -\frac {z^7} {7} +\cdots \right) \\ |
|
& {}= \frac {\pi} {2} - \sum_{n=0}^\infty \frac {(-1)^n z^{2n+1}} {2n+1} |
|
& {}= \frac {\pi} {2} - \sum_{n=0}^\infty \frac {(-1)^n z^{2n+1}} {2n+1} |
|
; \qquad | z | \le 1 \qquad z \neq i,-i |
|
; \qquad | z | \le 1 \qquad z \neq i,-i |
第224行: |
第224行: |
|
\begin{align} |
|
\begin{align} |
|
\arcsec z & {}= \arccos\left(z^{-1}\right) \\ |
|
\arcsec z & {}= \arccos\left(z^{-1}\right) \\ |
|
& {}= \frac {\pi} {2} - (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 ) \\ |
|
& {}= \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)} |
|
& {}= \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| \ge 1 |
|
; \qquad \left| z \right| \ge 1 |
第234行: |
第234行: |
|
\arccsc z & {}= \arcsin\left(z^{-1}\right) \\ |
|
\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 \\ |
|
& {}= 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} |
|
& {}= \sum_{n=0}^\infty \left[ \frac {(2n)!} {2^{2n}(n!)^2} \right] \frac {z^{-(2n+1)}} {2n+1} |
|
; \qquad \left| z \right| \ge 1 |
|
; \qquad \left| z \right| \ge 1 |
|
\end{align} |
|
\end{align} |
在数学中,反三角函数是三角函数的反函数。
數學符號
符号等常用于等。但是这种符号有时在和之间造成混淆。
在编程中,函数arcsin, arccos, arctan通常叫做asin, acos, atan。很多编程语言提供两自变量atan2函数,它计算给定y和x的y/x的反正切,但是值域为。
主值
下表列出基本的反三角函数。
名称
|
常用符号
|
定义
|
定义域
|
值域
|
反正弦 |
|
|
|
|
反余弦 |
|
|
|
|
反正切 |
|
|
|
|
反余切 |
|
|
|
|
反正割 |
|
|
|
|
反余割 |
|
|
|
|
如果允许是复数,则的值域只适用它的实部。
反三角函数之间的关系
补角:
负数参数:
倒数参数:
- 如果
- 如果
- 如果
- 如果
如果有一段正弦表:
- 如果
注意只要在使用了复数的平方根的时候,我们选择正实部的平方根(或者正虚部,如果是负实数的平方根的话)。
从半角公式,可得到:
- 如果
三角函數與反三角函數的關係
通過定義可知:
|
|
|
|
圖示
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
一般解
每个三角函数都周期于它的参数的实部上,在每个2π区间内通过它的所有值两次。正弦和余割的周期开始于2πk - π/2结束于2πk + π/2(这里的k是一个整数),在2πk + π/2到2πk + 3π/2上倒过来。余弦和正割的周期开始于2πk结束于2πk + π,在2πk + π到2πk + 2π上倒过来。正切的周期开始于2πk - π/2结束于2πk + π/2,接着(向前)在2πk + π/2到2πk + 3π/2上重复。余切的周期开始于2πk结束于2πk + π,接着(向前)在2πk + π到2πk + 2π上重复。
这个周期性反应在一般反函数上:
反三角函数的导数
对于实数的反三角函數的导数如下:
舉例說明,设,得到:
因為要使根號內部恆為正,所以在條件加上,其他導數公式同理可證[1]。
表达为定积分
积分其导数并固定在一点上的值给出反三角函数作为定积分的表达式:
当x等于1时,在有极限的域上的积分是瑕积分,但仍是良好定义的。
无穷级数
如同正弦和余弦函数,反三角函数可以使用无穷级数计算如下:
欧拉发现了反正切的更有效的级数:
- 。
(注意对n= 0在和中的项是空积1。)
反三角函数的不定积分
使用分部积分法和上面的简单导数很容易得出它们。
舉例
使用,設
則
換元
則
且
換元回x得到
加法公式和減法公式
arcsin x + arcsin y
arcsin x - arcsin y
arccos x + arccos y
arccos x - arccos y
arctan x + arctan y
arctan x - arctan y
arccot x + arccot y
arcsin x + arccos x
arctan x + arccot x
註釋與引用
- ^
设,得到:
因為要使根號內部恆為正,所以在條件加上
设,得到:
设,得到:
设,得到:
因為要使根號內部恆為正,所以在條件加上,比較容易被忽略是產生的絕對值
的定義域是,其所產生的反函數皆為正,所以需要加上絕對值。
设,得到:
因為要使根號內部恆為正,所以在條件加上,比較容易被忽略是產生的絕對值
的定義域是,其所產生的反函數皆為負,所以需要加上絕對值。
参见
外部链接