**極正弦**（）是正弦函數的推廣。
其將正弦函數從原本只能計算平面角推廣到可以計算多胞形的頂角。
極正弦函數通常記為**psin**或**polsin**。
不同於一般的正弦，極正弦的輸入值並非是角度，而是能代表特定立體角的向量組。

定義
--

### *n*維空間的*n*向量

左側3D體積的解釋：平行六面體（對應極正弦定義中的\Omega ），右側：長方體（對應極正弦定義中的\Pi ）。在更高維度上的解釋是相似的
令**v**1, ... **v***n*（*n* ≥ 1）為*n*維空間（ℝ*n*）的非零歐幾里德向量，該向量從平行多胞形的頂點定向，形成平行多胞形的邊。則頂角的極正弦為：

{\displaystyle \operatorname {psin} (\mathbf {v} \_{1},\dots ,\mathbf {v} \_{n})={\frac {\Omega }{\Pi }},}
其中分子是行列式：

{\displaystyle {\begin{aligned}\Omega &=\det {\begin{bmatrix}\mathbf {v} \_{1}&\mathbf {v} \_{2}&\cdots &\mathbf {v} \_{n}\end{bmatrix}}={\begin{vmatrix}v\_{11}&v\_{21}&\cdots &v\_{n1}\\v\_{12}&v\_{22}&\cdots &v\_{n2}\\\vdots &\vdots &\ddots &\vdots \\v\_{1n}&v\_{2n}&\cdots &v\_{nn}\\\end{vmatrix}}\end{aligned}}\,,}
其等價於具有向量邊的平行多胞形的有符號超體積。

{\displaystyle {\begin{aligned}\mathbf {v} \_{1}&=(v\_{11},v\_{12},\dots ,v\_{1n})^{T}\\\mathbf {v} \_{2}&=(v\_{21},v\_{22},\dots ,v\_{2n})^{T}\\&\,\,\,\vdots \\\mathbf {v} \_{n}&=(v\_{n1},v\_{n2},\dots ,v\_{nn})^{T}\,,\\\end{aligned}}}
而分母是所有頂角邊長的積：

{\displaystyle \Pi =\prod \_{i=1}^{n}\|\mathbf {v} \_{i}\|}
它等於*n*維超矩形的超體積，其邊等於向量長度||**v**1||, ||**v**2||, ... ||**v***n*||，而非向量本身。另見埃里克森的著作。

平行多胞形有如「壓扁的超矩形」，因此它的超體積比超矩形小，這意味著（可參閱附圖的3D範例）：

{\displaystyle |\Omega |\leq \Pi \implies {\frac {|\Omega |}{\Pi }}\leq 1\implies -1\leq \operatorname {psin} (\mathbf {v} \_{1},\dots ,\mathbf {v} \_{n})\leq 1\,,}
對於一般的正弦，只有在所有向量相互正交的情況下才能達到其中任一個極值。

在*n* = 2的情況下，極正弦是兩個向量之間角度的普通正弦。

### *n*維角

如果一個*n*維角有一個以該角之頂點為中心的*n*維球體，則從該角之頂點射出的*n*條射線會與該*n*維球體交於*n*個點，這些*n*個點在*n*維球體表面的(*n*−1)維球面空間中形成單純形。此時將這個球面空間中單純形的極正弦定義為該單純形對應之對角的極正弦值。對於*n*維球面的單純形*S*，如果頂點*V**i*和*V**j*之間的邊長為*E**ij*，則其在高斯曲率*K* > 0之空間中的極正弦值由下式給出：

{\displaystyle \operatorname {psin} ^{2}\left(S\right)={\begin{vmatrix}1&\cos E\_{01}{\sqrt {K}}&\cos E\_{02}{\sqrt {K}}&\cdots &E\_{0n}{\sqrt {K}}\\\cos E\_{10}{\sqrt {K}}&1&\cos E\_{12}{\sqrt {K}}&\cdots &E\_{1n}{\sqrt {K}}\\\cos E\_{20}{\sqrt {K}}&\cos E\_{21}{\sqrt {K}}&1&\cdots &E\_{2n}{\sqrt {K}}\\\vdots &\vdots &\vdots &\ddots &\vdots \\\cos E\_{n0}{\sqrt {K}}&\cos E\_{n1}{\sqrt {K}}&\cos E\_{n2}{\sqrt {K}}&\cdots &1\end{vmatrix}}}
### 高維空間

可以使用格拉姆行列式定義適用於任何*m*維空間的非負極正弦。此時，分子為：

{\displaystyle \Omega ={\sqrt {\det \left({\begin{bmatrix}\mathbf {v} \_{1}&\mathbf {v} \_{2}&\cdots &\mathbf {v} \_{n}\end{bmatrix}}^{T}{\begin{bmatrix}\mathbf {v} \_{1}&\mathbf {v} \_{2}&\cdots &\mathbf {v} \_{n}\end{bmatrix}}\right)}}\,,}
其中，上標的*T*代表矩陣的轉置。只有當*m* ≥ *n*時，該值才可能非零。在*m* = *n* 的情況下，這相當於前面給出的定義之絕對值。在*m* < *n*退化的情況中，行列式將是奇異*n* × *n*矩陣，得到*Ω* = 0，因為此時在*m*維空間中不可能有*n*個線性獨立向量。

性質
--

### 向量互換

由於行列式交換行的反對稱性，因此只要兩個向量互換，極正弦就會正負變號；不過，極正弦的絕對值並不會因此改變。

{\displaystyle {\begin{aligned}\Omega &=\det {\begin{bmatrix}\mathbf {v} \_{1}&\mathbf {v} \_{2}&\cdots &\mathbf {v} \_{i}&\cdots &\mathbf {v} \_{j}&\cdots &\mathbf {v} \_{n}\end{bmatrix}}\\&=-\!\det {\begin{bmatrix}\mathbf {v} \_{1}&\mathbf {v} \_{2}&\cdots &\mathbf {v} \_{j}&\cdots &\mathbf {v} \_{i}&\cdots &\mathbf {v} \_{n}\end{bmatrix}}\\&=-\Omega \end{aligned}}}
### 向量與純量乘法的不變性

如果將代入極正弦的所有向量**v**1, ... **v***n*皆乘以一個純量的常數*ci*，則由於因式分解，極正弦的值不會改變。

{\displaystyle {\begin{aligned}\operatorname {psin} (c\_{1}\mathbf {v} \_{1},\dots ,c\_{n}\mathbf {v} \_{n})&={\frac {\det {\begin{bmatrix}c\_{1}\mathbf {v} \_{1}&c\_{2}\mathbf {v} \_{2}&\cdots &c\_{n}\mathbf {v} \_{n}\end{bmatrix}}}{\prod \_{i=1}^{n}\|c\_{i}\mathbf {v} \_{i}\|}}\\[6pt]&={\frac {\prod \_{i=1}^{n}c\_{i}}{\prod \_{i=1}^{n}|c\_{i}|}}\cdot {\frac {\det {\begin{bmatrix}\mathbf {v} \_{1}&\mathbf {v} \_{2}&\cdots &\mathbf {v} \_{n}\end{bmatrix}}}{\prod \_{i=1}^{n}\|\mathbf {v} \_{i}\|}}\\[6pt]&=\operatorname {psin} (\mathbf {v} \_{1},\dots ,\mathbf {v} \_{n}).\end{aligned}}}
如果有奇數個常數為負值，則極正弦的值會正負變號，但絕對值仍然會維持不變。

### 非線性獨立的情況

如果向量不是線性獨立的，則極正弦值為零。而在維數*m*嚴格小於向量數*n*的退化情況下，則極正弦也為零。

### 與對應的餘弦之關係

兩個非零向量之間的角度之餘弦值由下式給出：

{\displaystyle \cos(\mathbf {v} \_{1},\mathbf {v} \_{2})={\frac {\mathbf {v} \_{1}\cdot \mathbf {v} \_{2}}{\|\mathbf {v} \_{1}\|\|\mathbf {v} \_{2}\|}}\,}
其使用了点积和向量長的乘積。將此式與上面給出的極正弦絕對值的定義進行比較，可以得到：

{\displaystyle \left|\operatorname {psin} (\mathbf {v} \_{1},\ldots ,\mathbf {v} \_{n})\right|^{2}=\det \!\left[{\begin{matrix}1&\cos(\mathbf {v} \_{1},\mathbf {v} \_{2})&\cdots &\cos(\mathbf {v} \_{1},\mathbf {v} \_{n})\\\cos(\mathbf {v} \_{2},\mathbf {v} \_{1})&1&\cdots &\cos(\mathbf {v} \_{2},\mathbf {v} \_{n})\\\vdots &\vdots &\ddots &\vdots \\\cos(\mathbf {v} \_{n},\mathbf {v} \_{1})&\cos(\mathbf {v} \_{n},\mathbf {v} \_{2})&\cdots &1\\\end{matrix}}\right].}
特別是對於維數*n* = 2時，其等價於：

{\displaystyle \sin ^{2}(\mathbf {v} \_{1},\mathbf {v} \_{2})=1-\cos ^{2}(\mathbf {v} \_{1},\mathbf {v} \_{2})\,,}
即勾股定理。

歷史
--

歐拉在18世紀時研究了極正弦。

參見
--

* 三角函數
* 三角恆等式
* 立體角

註釋
--

1. ↑  令*n* = 2，此時的極正弦為{\displaystyle \operatorname {psin} (\mathbf {v} \_{1},\mathbf {v} \_{2})={\frac {\Omega }{\Pi }}}。令角\angle AOB為\theta ，角的始邊為{\mathbf {v}}\_{1}和角的終邊為{\mathbf {v}}\_{2}，且長度皆為單位長，若{\mathbf {v}}\_{1}平行於x軸，則向量{\mathbf {v}}\_{1}為{\displaystyle {\begin{bmatrix}1\\0\\\end{bmatrix}}}、向量{\mathbf {v}}\_{2}為{\displaystyle {\begin{bmatrix}\cos \theta \\\sin \theta \\\end{bmatrix}}}。則有{\displaystyle {\begin{aligned}\Omega &=\det {\begin{bmatrix}\mathbf {v} \_{1}&\mathbf {v} \_{2}\end{bmatrix}}={\begin{vmatrix}1&\cos \theta \\0&\sin \theta \\\end{vmatrix}}\end{aligned}}\,,}並且，{\displaystyle \Pi =\prod \_{i=1}^{2}\|\mathbf {v} \_{i}\|=\|\mathbf {v} \_{1}\|{\dot {\|}}\mathbf {v} \_{2}\|={\sqrt {\cos ^{2}\theta +\sin ^{2}\theta }}{\sqrt {1^{2}+0^{2}}}=1}，則極正弦為{\displaystyle \operatorname {psin} (\mathbf {v} \_{1},\mathbf {v} \_{2})={\frac {\Omega }{\Pi }}={\frac {\begin{vmatrix}1&\cos \theta \\0&\sin \theta \\\end{vmatrix}}{1}}={\frac {\sin \theta }{1}}=\sin \theta }，因此得到{\displaystyle \operatorname {psin} }在二維空間中與\sin無異。

參考文獻
----

1. 1 2 3  Weisstein, Eric W. (编).. at *MathWorld*--A Wolfram Web Resource. Wolfram Research, Inc. （英语）.
2. ↑  Lerman, Gilad; Whitehouse, J. Tyler.. Journal of Approximation Theory. 2009, **156**: 52–81. S2CID 12794652. arXiv:0805.1430 可免费查阅. doi:10.1016/j.jat.2008.03.005.
3. ↑  Eriksson, F.. Geometriae Dedicata. 1978, **7**: 71–80. S2CID 120391200. doi:10.1007/bf00181352.
4. ↑  Euler, Leonhard.. Leonhardi Euleri Opera Omnia: 204–223.

外部連結
----

* 埃里克·韦斯坦因.. MathWorld.

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
三角函数 |
| --- |
|  |
| 基本函數 | 
* 正弦
* 餘弦
* 正切
* 餘切
* 正割
* 餘割

 |  |
|  |
| 反函數 | 
* 反正弦
* 反餘弦
* 反正切
* 反餘切
* 反正割‎
* 反餘割

 |
|  |
| 少見函數 | 
* 正矢
* 餘矢
* 正弧
* 餘弧
* 半正矢
* 半餘矢
* 外正割
* 外餘割

 |
|  |
| 函數分類 | 

|  |  |
| --- | --- |
| 正函數 | 
* 正角
* 正弦
* 正切
* 正割
* 正矢
* 正弧
* 半正矢
* 外正割

 |
|  |
| 餘函數 | 
* 餘角
* 餘弦
* 餘切
* 餘割
* 餘矢
* 餘弧
* 半餘矢
* 外餘割

 |

 |
|  |
| 其他函數 | 
* 極正弦
* 弦函數
* arc函數
* cis函數
* 餘cis函數
* cas函數
* arg函數
* atan2
* 古德曼函數

 |
|  |
| 符號 | 
* sin
* cos
* tan
* cot
* sec
* csc
* exs
* exc
* ver
* cvs
* vcs
* cvc
* hav
* hcv
* hvc
* hcc
* arc
* crd
* sag
* apo（英语：）
* cis
* cas
* arg

 |
|  |
| 双曲函数 | 
* 雙曲正弦
* 雙曲餘弦

 |
|  |
| 相關概念 | 
* 割圓八線
* 同界角
* 辐角
* 單位圓
* 圓心角
* 週期性

 |
|  |
| 定理 | 
* 正弦定理
* 餘弦定理
* 正切定理
* 餘切定理
* 半正矢定理
* 勾股定理

 |
|  |
| 恒等式 | 
* 三角函數恆等式
* 雙曲三角函數恆等式
* 正切半角公式
* 三分之一角公式
* 餘函數恆等式
* 诱导公式
* 半正矢公式

 |
|  |
| 其他 | 
* 三角函數精確值
* 三角函数积分表
* 三角函数表
* 三角多項式
* 三角函数线
* 正弦曲線
* 雙曲三角函數

 |

 |