極正弦

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

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

其中分子是行列式：

其等價於具有向量邊的平行多胞形的有符號超體積。

而分母是所有頂角邊長的積：

它等於維超矩形的超體積，其邊等於向量長度，而非向量本身。另見埃里克森的著作。

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

對於一般的正弦，只有在所有向量相互正交的情況下才能達到其中任一個極值。

在的情況下，極正弦是兩個向量之間角度的普通正弦。令，此時的極正弦為。令角為，角的始邊為和角的終邊為，且長度皆為單位長，若平行於軸，則向量為、向量為。則有並且，，則極正弦為，因此得到在二維空間中與無異。

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

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

其中，上標的代表矩陣的轉置。只有當時，該值才可能非零。在 的情況下，這相當於前面給出的定義之絕對值。在退化的情況中，行列式將是奇異矩陣，得到，因為此時在維空間中不可能有個線性獨立向量。

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

 向量與純量乘法的不變性 
如果將代入極正弦的所有向量皆乘以一個純量的常數，則由於因式分解，極正弦的值不會改變。

如果有奇數個常數為負值，則極正弦的值會正負變號，但絕對值仍然會維持不變。

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

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

其使用了点积和向量長的乘積。將此式與上面給出的極正弦絕對值的定義進行比較，可以得到：

特別是對於維數時，其等價於：

即勾股定理。

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

 參見 
三角函數
三角恆等式
立體角

 註釋 

 參考文獻 

 外部連結 


Category:多胞形
Category:三角学