三角函数微分公式

pplqingshi 2009-06-09

展开全文

基本函數

函數	英語	簡寫	關係
正弦	Sine	sin	$\sin \theta = \cos \left(\frac{\pi}{2} - \theta \right) = \frac{1}{\csc \theta}\,$
餘弦	Cosine	cos	$\cos \theta = \sin \left(\frac{\pi}{2} - \theta \right) = \frac{1}{\sec \theta}\,$
正切	Tangent	tan （或 tg）	$\tan \theta = \frac{\sin \theta}{\cos \theta} = \cot \left(\frac{\pi}{2} - \theta \right) = \frac{1}{\cot \theta} \,$
餘切	Cotangent	cot （或 ctg、ctn）	$\cot \theta = \frac{\cos \theta}{\sin \theta} = \tan \left(\frac{\pi}{2} - \theta \right) = \frac{1}{\tan \theta} \,$
正割	Secant	sec	$\sec \theta = \csc \left(\frac{\pi}{2} - \theta \right) =\frac{1}{\cos \theta} \,$
餘割	Cosecant	csc （或 cosec）	$\csc \theta = \sec \left(\frac{\pi}{2} - \theta \right) =\frac{1}{\sin \theta} \,$

[編輯] 少用函數

除六個基本函數，歷史上還有下面六個函數：

正矢 $\textrm{versin}(\theta) = 1 - \cos (\theta) = 2 \sin^2\left(\frac{\theta} {2}\right) \,$
餘矢 $\textrm{coversin}(\theta) = \textrm{versin}(\pi/2 - \theta) = 1 - \sin(\theta) \,$
半正矢 $\textrm{haversin}(\theta) = \frac {\textrm{versin}(\theta)} {2} = \sin^2\left(\frac {\theta} {2} \right)$
半餘矢 $\textrm{hacoversin}(\theta) = \textrm{haversin}\left(\frac{\pi}{2} - \theta\right) = \frac {\textrm{coversin}(\theta)} {2}$
外正割 $\textrm{exsec}(\theta) = \sec(\theta) - 1 \,$
外餘割 $\textrm{excsc}(\theta) = \textrm{exsec}(\pi/2 - \theta) = \csc(\theta) - 1 \!$

[編輯] 歷史

隨著認識到相似三角形在它們的邊之間保持相同的比率，就有了在三角形的邊的長度和三角形的角之間應當有某種標準的對應的想法。就是說對於任何相似三角形，（比如）斜邊和剩下的兩個邊的比率都是相同的。如果斜邊變為兩倍長，其他邊也要變為兩倍長。三角函數表達的就是這些比率。

研究三角函數的有尼西亞的喜帕恰斯（公元前180－125年）、埃及的托勒密（公元90－180年）、Aryabhata（公元476－550年），Varahamihira、婆羅摩笈多、花拉子密、Abū al-Wafā' al-Būzjānī、歐瑪爾·海亞姆、婆什迦羅第二、Nasir al-Din al-Tusi、Ghiyath al-Kashi（14世紀）、Ulugh Beg（14世紀）、約翰·繆勒（1464）、Rheticus和 Rheticus 的學生 Valentin Otho。

Madhava of Sangamagramma（約1400年）以無窮級數的方式做了三角函數的分析的早期研究。歐拉的《無窮微量解析入門》（Introductio in Analysin Infinitorum）（1748年）對建立三角函數在歐洲的分析處理做了最主要的貢獻，他定義三角函數為無窮級數，並表述了歐拉公式，還有使用接近現代的簡寫 sin.、cos.、tang.、cot.、sec. 和 cosec.。

[編輯] 直角三角定義

[編輯] 直角三角形中

a, b, h 為角A的對邊、鄰邊和斜邊

在直角三角形中僅有銳角三角函數的定義。

一個銳角的正弦是它的對邊與斜邊的比值。在圖中，sin A = 對邊／斜邊 = a/h。
一個銳角的餘弦是它的鄰邊與斜邊的比值。在圖中，cos A = 鄰邊／斜邊 = b/h。
一個銳角的正切是它的對邊與鄰邊的比值。在圖中，tan A = 對邊／鄰邊 = a/b。

[編輯] 直角坐標系中

設α是平面直角坐標系xOy中的一個象限角， $P\left( {x,y} \right)$ 是角的終邊上一點， $r = \sqrt {x^2 + y^2 }>0$ 是P到原點O的距離，則α的六個三角函數定義為：

函數名	定義	函數名	定義
正弦	$\sin \alpha = \frac{y}{r}$	餘弦	$\cos \alpha = \frac{x}{r}$
正切	$\tan \alpha = \frac{y}{x}$	餘切	$\cot \alpha = \frac{x}{y}$
正割	$\sec \alpha = \frac{r}{x}$	餘割	$\csc \alpha = \frac{r}{y}$

[編輯] 單位圓定義

單位圓

六個三角函數也可以依據半徑為一中心為原點的單位圓來定義。單位圓定義在實際計算上沒有大的價值；實際上對多數角它都依賴於直角三角形。但是單位圓定義的確允許三角函數對所有正數和負數輻角都有定義，而不只是對於在 0 和 π/2 弧度之間的角。它也提供了一個圖像，把所有重要的三角函數都包含了。根據勾股定理，單位圓的等式是：

$x^2 + y^2 = 1 \,$

圖像中給出了用弧度度量的一些常見的角。逆時針方向的度量是正角，而順時針的度量是負角。設一個過原點的線，同 x 軸正半部分得到一個角 θ，並與單位圓相交。這個交點的 x 和 y 坐標分別等於 cos θ 和 sin θ。圖像中的三角形確保了這個公式；半徑等於斜邊且長度為1，所以有 sin θ = y/1 和 cos θ = x/1。單位圓可以被視為是通過改變鄰邊和對邊的長度，但保持斜邊等於 1的一種查看無限個三角形的方式。

在笛卡爾平面上 f(x) = sin(x) 和 f(x) = cos(x) 函數的圖像。

對於大於 2π 或小於 −2π 的角度，可直接繼續繞單位圓旋轉。在這種方式下，正弦和餘弦變成了周期為 2π的周期函數：

$\sin\theta = \sin\left(\theta + 2\pi k \right)$

$\cos\theta = \cos\left(\theta + 2\pi k \right)$

對於任何角度 θ 和任何整數 k。

周期函數的最小正周期叫做這個函數的「基本周期」（primitive period）。正弦、餘弦、正割或餘割的基本周期是全圓，也就是 2π 弧度或 360 度；正切或餘切的基本周期是半圓，也就是 π 弧度或 180 度。上面只有正弦和餘弦是直接使用單位圓定義的，其他四個三角函數可以定義為：

$\tan\theta = \frac{\sin\theta}{\cos\theta} \quad \sec\theta = \frac{1}{\cos\theta}$

$\csc\theta = \frac{1}{\sin\theta} \quad \cot\theta = \frac{\cos\theta}{\sin\theta}$

在笛卡爾平面上 f(x) = tan(x) 函數的圖像。

在正切函數的圖像中，在角 kπ 附近變化緩慢，而在接近角 (k + 1/2)π 的時候變化迅速。正切函數的圖像在 θ = (k + 1/2)π 有垂直漸近線。這是因為在 θ 從左側接進 (k + 1/2)π 的時候函數接近正無窮，而從右側接近 (k + 1/2)π 的時候函數接近負無窮。

另一方面，所有基本三角函數都可依據中心為 O 的單位圓來定義，類似於歷史上使用的幾何定義。特別是，對於這個圓的弦 AB，這裏的 θ 是對向角的一半，sin(θ) 是 AC（半弦），這是印度的 Aryabhata（AD 476–550）介入的定義。cos(θ) 是水平距離 OC，versin（θ） = 1 − cos(θ) 是 CD。tan(θ) 是通過 A 的切線的線段 AE 的長度，所以這個函數才叫正切。cot(θ) 是另一個切線段 AF。 sec(θ) = OE 和 csc(θ) = OF 是割線（與圓相交於兩點）的線段，所以可以看作 OA 沿著 A 的切線分別向水平和垂直軸的投影。DE 是 exsec（θ） = sec(θ) − 1（正割在圓外的部分）。通過這些構造，容易看出正割和正切函數在 θ 接近 π/2（90 度）的時候發散，而餘割和餘切在 θ 接近零的時候發散。

[編輯] 級數定義

正弦函數（藍色）十分接近於它的 5 次泰勒級數（粉紅色）。

只使用幾何和極限的性質，可以證明正弦的導數是餘弦，餘弦的導數是負的正弦。（在微積分中，所有角度都以弧度來度量）。我們可以接著使用泰勒級數的理論來證明下列恆等式對於所有實數 x 都成立：

$\sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots = \sum_{n=0}^\infty \frac{(-1)^nx^{2n+1}}{(2n+1)!}$

$\cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots = \sum_{n=0}^\infty \frac{(-1)^nx^{2n}}{(2n)!}$

這些恆等式經常被用做正弦和餘弦函數的定義。它們經常被用做三角函數的嚴格處理和應用的起點（比如，在傅立葉級數中），因為無窮級數的理論可從實數系的基礎上發展而來，不需要任何幾何方面的考慮。這樣，這些函數的可微性和連續性便可以單獨從級數定義來確立。

其他級數可見於：^[1]

$\tan x \,$	${} = \sum_{n=0}^\infty \frac{U_{2n+1} x^{2n+1}}{(2n+1)!}$
	${} = \sum_{n=1} ^ \infty \frac{ (-1) ^ {n-1} 2 ^ {2n} (2 ^ {2n} - 1) B_{2n} x ^ {2n - 1}} {(2n)!}$
	${} = x + \frac{x^3}{3} + \frac{2 x^5}{15} + \frac{17 x^7}{315} + \cdots, \qquad \mbox{for } \|x\| <\frac {\pi} {2}$

這裏的

$U_n \,$ 是 n 次上／下數，

$B_n \,$ 是 n 次伯努利數，

$E_n \,$ （下面的）是 n 次歐拉數。

在這種形式的表達中，分母是相應的階乘，分子稱為「正切數」，它有一個組合解釋：它們枚舉了奇數勢的有限集合的交錯排列（alternating permutation）。

$\csc x \,$	${} = \sum_{n=0}^\infty \frac{( - 1 )^{n + 1} 2 (2^{2n - 1} - 1) B_{2n} x^{2n - 1}} {(2n)!}$
	${} = \frac {1} {x} + \frac {x} {6} + \frac {7 x^3} {360} + \frac {31 x^5} {15120} + \cdots, \qquad \mbox{for } 0 <\|x\| <\pi$

$\sec x \,$	${} = \sum_{n=0}^\infty \frac{U_{2n} x^{2n}}{(2n)!} = \sum_{n=0}^\infty \frac{(-1)^n E_n x^{2n}}{(2n)!}$
	${} = 1 + \frac {x^2} {2} + \frac {5 x^4} {24} + \frac {61 x^6} {720} + \cdots, \qquad \mbox{for } \|x\| <\frac {\pi} {2}$

在這種形式的表達中，分母是對應的階乘，而分子叫做「正割數」，有組合解釋：它們枚舉偶數勢的有限集合的交錯排列。

$\cot x \,$	${} = \sum_{n=0}^\infty \frac{(-1)^n 2^{2n} B_{2n} x^{2n-1}}{(2n)!}$
	${} = \frac {1} {x} - \frac {x}{3} - \frac {x^3} {45} - \frac {2 x^5} {945} - \cdots, \qquad \mbox{for } 0 <\|x\| <\pi$

從複分析的一個定理得出，這個實函數到複數有一個唯一的解析擴展。它們有同樣的泰勒級數，所以複數上的三角函數是使用上述泰勒級數來定義的。

[編輯] 與指數函數和複數的聯繫

可以從上述的級數定義證明正弦和餘弦函數分別是復指數函數在它的自變數為純虛數時候的虛數和實數部分：

$e^{{\mathrm{i}}\theta} = \cos\theta + {\mathrm{i}}\sin\theta \,.$

這個聯繫首先由歐拉注意到，叫做歐拉公式。在這種方式下，三角函數在複分析的幾何解釋中變成了本質性的。例如，通過上述恆等式，如果考慮在複平面中 e^ix 所定義的單位圓，同上面一樣，我們可以根據餘弦和正弦來把這個圓參數化，復指數和三角函數之間聯繫就變得更加明顯了。

進一步的，這樣就可以定義對復自變數 z 的三角函數：

$\sin z \, = \, \sum_{n=0}^{\infty}\frac{(-1)^{n}}{(2n+1)!}z^{2n+1} \, = \, {e^{{\mathrm{i}}z} - e^{-{\mathrm{i}}z} \over 2{\mathrm{i}}} = -{\mathrm{i}}\sinh \left({\mathrm{i}}z\right)$

$\cos z \, = \, \sum_{n=0}^{\infty}\frac{(-1)^{n}}{(2n)!}z^{2n} \, = \, {e^{{\mathrm{i}}z} + e^{-{\mathrm{i}}z} \over 2} = \cosh \left({\mathrm{i}}z\right)$

這裏的 i² = −1。還有對於純實數 x，

$\cos x \, = \, \mbox{Re } (e^{{\mathrm{i}}x})$

$\sin x \, = \, \mbox{Im } (e^{{\mathrm{i}}x})$

我們還知道，這種指數過程與周期行為有密切的聯繫。

**復平面中的三角函數**。

$sin(z)$	$cos(z)$	$tan(z)$	$cot(z)$	$sec(z)$	$csc(z)$

[編輯] 微分方程定義

正弦和餘弦函數都滿足微分方程

$y''=-y \,$

就是說，每個都是它自己的二階導數的負數。在由所有這個方程的解的二維向量空間 V 中，正弦函數是滿足初始條件 y(0) = 0 和 y′(0) = 1 的唯一解，而餘弦函數是滿足初始條件 y(0) = 1 和 y′(0) = 0 的唯一解。因為正弦和餘弦函數是線性無關的，它們在一起形成了 V 的基。這種定義正弦和餘弦函數的方法本質上等價于使用歐拉公式。（參見線性微分方程）。很明顯這個微分方程不只用來定義正弦和餘弦函數，還可用來證明正弦和餘弦函數的三角恆等式。進一步的，觀察到正弦和餘弦函數滿足 $y''=-y \,$ 意味著它們是二階算子的特徵函數。

正切函數是非線性微分方程

$y'=1+y^2 \,$

滿足初始條件 y(0) = 0 的唯一解。有一個非常有趣的形象證明，證明了正切函數滿足這個微分方程；參見 Needham 的《Visual Complex Analysis》。^[2]

[編輯] 弧度的重要性

弧度通過測量沿著單位圓的路徑的長度而指定一個角，並構成正弦和餘弦函數的特定輻角。特別是，只有映射弧度到比率的那些正弦和餘弦函數才滿足描述它們的經典微分方程。如果正弦和餘弦函數的弧度輻角是正比于頻率的

$f(x) = \sin(kx); k \ne 0, k \ne 1 \,$

則導數將正比于「振幅」。

$f'(x) = k\cos(kx) \,$ .

這裏的 k 是表示在單位之間映射的常數。如果 x 是度，則

$k = \frac{\pi}{180^\circ}.$

這意味著使用度的正弦的二階導數不滿足微分方程

$y'' = -y \,$ ,

但滿足

$y'' = -k^2y \,$ ;

對餘弦也是類似的。

這意味著這些正弦和餘弦是不同的函數，因此只有它的輻角是弧度的條件下，正弦的四階導數才再次是正弦。

[編輯] 恆等式

主條目：三角恆等式

三角函數之間存在很多恆等式，其中最常用的是畢達哥拉斯恆等式，它聲稱對於任何角，正弦的平方加上餘弦的平方總是 1。這可從斜邊為 1 的直角三角形應用勾股定理得出。用符號形式表示，畢達哥拉斯恆等式為：

$\left(\sin x\right)^2 + \left(\cos x\right)^2 = 1,$

更常見的寫法是在正弦和餘弦符號之後加「2」次冪：

$\sin^2\left( x\right) + \cos^2\left(x\right) = 1.$

在某些情況下裏面的括號可以省略。

另一個關鍵的聯繫是和差公式，它根據兩個角度自身的正弦和餘弦而給出它們的和差的正弦和餘弦。它們可以用幾何的方法使用托勒密的論證方法推導出來；還可以用代數方法使用歐拉公式得出。

$\sin \left(x+y\right)=\sin x \cos y + \cos x \sin y$

$\cos \left(x+y\right)=\cos x \cos y - \sin x \sin y$

$\sin \left(x-y\right)=\sin x \cos y - \cos x \sin y$

$\cos \left(x-y\right)=\cos x \cos y + \sin x \sin y$

當兩個角相同的時候，和公式簡化為更簡單的等式，稱為二倍角公式。

這些等式還可以用來推導積化和差恆等式，以前曾用它把兩個數的積變換成兩個數的和而像對數那樣使運算更加快速。

[編輯] 微積分

三角函數的積分和導數可參見導數表、積分表和三角函數積分表。下面是六個基本三角函數的導數和積分的列表。

$\ \ \ \ f(x)$	$\frac{d}{dx} f(x)$	$\int f(x)\,dx$
$\,\ \sin x$	$\,\ \cos x$	$\,\ -\cos x + C$
$\,\ \cos x$	$\,\ -\sin x$	$\,\ \sin x + C$
$\,\ \tan x$	$\,\ \sec^{2} x$	$-\ln \left \|\cos x\right \| + C$
$\,\ \cot x$	$\,\ -\csc^{2} x$	$\ln \left \|\sin x\right \| + C$
$\,\ \sec x$	$\,\ \sec{x}\tan{x}$	$\ln \left \|\sec x + \tan x\right \| + C$
$\,\ \csc x$	$\,\ -\csc{x}\cot{x}$	$-\ln \left \|\csc x + \cot x\right \| + C$

[編輯] 利用函數方程定義三角函數

在數學分析中，可以利用基於和差公式這樣的性質的函數方程來定義三角函數。例如，取用給定此種公式和畢達哥拉斯恆等式，可以證明只有兩個實函數滿足這些條件。即存在唯一的一對實函數 sin 和 cos 使得對於所有實數 x 和 y，下列方程成立：

$\sin^2(x) + \cos^2(x) = 1,\,$

$\sin(x+y) = \sin(x)\cos(y) + \cos(x)\sin(y),\,$

$\cos(x+y) = \cos(x)\cos(y) - \sin(x)\sin(y),\,$

並滿足附加條件

$0 <x\cos(x) <\sin(x) <x\ \mathrm{for}\ 0 <x <1$ .

從其他函數方程開始的推導也是可能的，這種推導可以擴展到複數。作為例子，這個推導可以用來定義伽羅瓦域中的三角學。

[編輯] 計算

三角函數的計算是個複雜的主題，由於計算機和提供對任何角度的內置三角函數的科學計算器的廣泛使用，現在大多數人都不需要了。本節中將描述它在三個重要背景下的計算詳情：歷史上三角函數表的使用，計算機使用的現代技術，以及容易找到簡單精確值的一些「重要」角度。（下面只考慮一個角度小範圍，比如 0 到 π/2，因為通過三角函數的周期性和對稱性，所有其他角度可以化簡到這個範圍內。）

主條目：生成三角函數表

有計算機之前，人們通常通過對計算到多個有效數字的三角函數表的內插來計算三角函數的值。這種表格在人們剛剛產生三角函數的概念的時候就已經有了，它們通常是通過從已知值（比如sin(π/2)=1）開始並重複應用半形和和差公式而生成。

現代計算機使用了各種技術。^[3] 一個常見的方式，特別是在有浮點單元的高端處理器上，是組合多項式或有理式逼近（比如切比雪夫逼近、最佳一致逼近和Padé逼近，和典型用於更高或可變精度的泰勒級數和羅朗級數）和範圍簡約與表查找 — 首先在一個較小的表中查找最接近的角度，然後使用多項式來計算修正。^[4] 在缺乏硬體乘法器的簡單設備上，有叫做CORDIC演算法的一個更有效的演算法（和相關技術），因為它只用了移位和加法。出於性能的原因，所有這些方法通常都用硬體來實現。

對於非常高精度的運算，在級數展開收斂變得太慢的時候，可以用算術幾何平均來逼近三角函數，它自身通過複數橢圓積分來逼近三角函數。^[5]

主條目：精確三角函數常數

最後對於一些簡單的角度，使用畢達哥拉斯定理可以很容易手工計算三角函數的值，像下面例子這樣。事實上， $π / 60$ 弧度（3°）的任何整數倍的正弦、餘弦和正切都可以手工計算。

考慮等腰直角三角形，兩個角都是 $π / 4$ 弧度（45°）。鄰邊 b 和對邊 a 的長度相等；我們可以選擇 $a = b = 1$ 。 $π / 4$ 弧度（45°）的角的正弦、餘弦和正切可以通過畢達哥拉斯定理來計算：

$c = \sqrt { a^2+b^2 } = \sqrt2$ .

所以：

$\sin \left(\pi / 4 \right) = \sin \left(45^\circ\right) = \cos \left(\pi / 4 \right) = \cos \left(45^\circ\right) = {1 \over \sqrt2}$ ,

$\tan \left(\pi / 4 \right) = \tan \left(45^\circ\right) = {{\sin \left(\pi / 4 \right)}\over{\cos \left(\pi / 4 \right)}} = {1 \over \sqrt2} \cdot {\sqrt2 \over 1} = {\sqrt2 \over \sqrt2} = 1$ .

要確定π/3弧度（60度）和π/6弧度（30度）角的三角函數，我們可以從邊長為 1 的等邊三角形開始。它所有的角都是π/3弧度（60度）。把它等分為二，我們便得到一個角是π/6弧度（30度）和一個角是π/3弧度（60度）的直角三角形。這個三角形中，最短的邊 = 1/2、第二短的邊 =(√3)/2 而斜邊 = 1。得出：

$\sin \left(\pi / 6 \right) = \sin \left(30^\circ\right) = \cos \left(\pi / 3 \right) = \cos \left(60^\circ\right) = {1 \over 2}$ ,

$\cos \left(\pi / 6 \right) = \cos \left(30^\circ\right) = \sin \left(\pi / 3 \right) = \sin \left(60^\circ\right) = {\sqrt3 \over 2}$ ,

$\tan \left(\pi / 6 \right) = \tan \left(30^\circ\right) = \cot \left(\pi / 3 \right) = \cot \left(60^\circ\right) = {1 \over \sqrt3}$ .

[編輯] 三角函數的特殊值

三角函數中有一些常用的特殊函數值。

函數名	$0 \ (0^\circ)$	$\frac{\pi}{12} \ (15^\circ)$	$\frac{\pi}{6} \ (30^\circ)$	$\frac{\pi}{4} \ (45^\circ)$	$\frac{\pi}{3} \ (60^\circ)$	$\frac{5\pi}{12} \ (75^\circ)$	$\frac{\pi}{2} \ (90^\circ)$
sin	$0$	$\frac{ \sqrt{6} - \sqrt{2} } {4}$	$\frac{1}{2}$	$\frac{\sqrt{2}}{2}$	$\frac{\sqrt{3}}{2}$	$\frac{ \sqrt{6} + \sqrt{2} } {4}$	$1$
cos	$1$	$\frac{\sqrt{6}+\sqrt{2}}{4}$	$\frac{\sqrt{3}}{2}$	$\frac{\sqrt{2}}{2}$	$\frac{1}{2}$	$\frac{ \sqrt{6} - \sqrt{2}} {4}$	$0$
tan	$0$	$2-\sqrt{3}$	$\frac{\sqrt{3}}{3}$	$1$	$\sqrt{3}$	$2+\sqrt{3}$	$\infty$
cot	$\infty$	$2+\sqrt{3}$	$\sqrt{3}$	$1$	$\frac{\sqrt{3}}{3}$	$2-\sqrt{3}$	$0$
sec	$1$	$\sqrt{6} - \sqrt{2}$	$\frac{2\sqrt{3}}{3}$	$\sqrt{2}$	$2$	$\sqrt{6}+\sqrt{2}$	$\infty$
csc	$\infty$	$\sqrt{6}+\sqrt{2}$	$2$	$\sqrt{2}$	$\frac{2\sqrt{3}}{3}$	$\sqrt{6} - \sqrt{2}$	$1$

[編輯] 反三角函數

主條目：反三角函數

由於三角函數屬於周期函數，而不是單射函數，所以嚴格來說並沒有反函數。因此要定義其反函數必須先限制三角函數的定義域，使得三角函數成為雙射函數。基本的反三角函數定義為：

反三角函數	定義	值域
$\arcsin(x) = y \,$	$\sin(y) = x \,$	$-\frac{\pi}{2} \le y \le \frac{\pi}{2} \,$
$\arccos(x) = y \,$	$\cos(y) = x \,$	$0 \le y \le \pi \,$
$\arctan(x) = y \,$	$\tan(y) = x \,$	$-\frac{\pi}{2} <y <\frac{\pi}{2} \,$
$\arccsc(x) = y \,$	$\csc(y) = x \,$	$-\frac{\pi}{2} \le y \le \frac{\pi}{2}, y \ne 0 \,$
$\arcsec(x) = y \,$	$\sec(y) = x \,$	$0 \le y \le \pi, y \ne \frac{\pi}{2} \,$
$\arccot(x) = y \,$	$\cot(y) = x \,$	$0 <y <\pi \,$

對於反三角函數，符號 sin⁻¹ 和 cos⁻¹ 經常用於 arcsin 和 arccos。使用這種符號的時候，反函數可能跟三角函數的倒數混淆。使用「arc-」前綴的符號避免了這種混淆，儘管「arcsec」可能偶爾跟「arcsecond」混淆。

正如正弦和餘弦那樣，反三角函數也可以根據無窮級數來定義。例如，

$\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\left(x\right) = \int_0^x \frac 1 {\sqrt{1 - z^2}}\,\mathrm{d}z, \quad |x| <1$

可以在反三角函數條目中找到類似的公式。使用復對數，可以把這些函數推廣到複數輻角上：

$\arcsin (z) = -{\mathrm{i}} \ln \left({\mathrm{i}} z + \sqrt{1 - z^2} \right)$

$\arccos (z) = -{\mathrm{i}} \ln \left( z + \sqrt{z^2 - 1}\right)$

$\arctan (z) = \frac{\mathrm{i}} {2} \ln\left(\frac{1-{\mathrm{i}} z}{1+{\mathrm{i}} z}\right)$