極正弦

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

定義

Template:Math維空間的Template:Math向量

左側3D體積的解釋：平行六面體（對應極正弦定義中的$\mathrm{\Omega }$），右側：長方體（對應極正弦定義中的$\mathrm{\Pi }$）。在更高維度上的解釋是相似的

令Template:Math（Template:Math）為Template:Math維空間（Template:Math）的非零歐幾里德向量，該向量從平行多胞形的頂點定向，形成平行多胞形的邊。則頂角的極正弦為：

$\mathrm{psin}({𝐯}_1,\dots ,{𝐯}_n)=\frac{\mathrm{\Omega }}{\mathrm{\Pi }},$

其中分子是行列式：

$\begin{array}{cc}\mathrm{\Omega }& =\det \left[\begin{array}{cccc}{𝐯}_1& {𝐯}_2& \cdots & {𝐯}_n\end{array}\right]=\left|\begin{array}{cccc}{v}_{11}& v_{21}& \cdots & v_{n1}\\ v_{12}& v_{22}& \cdots & v_{n2}\\ ⋮& ⋮& \ddots & ⋮\\ v_{1n}& v_{2n}& \cdots & v_{nn}\end{array}\right|\end{array},$

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

$\begin{array}{cc}{𝐯}_1& =(v_{11},v_{12},\dots ,v_{1n}{)}^T\\ {𝐯}_2& =(v_{21},v_{22},\dots ,v_{2n}{)}^T\\ & ⋮\\ {𝐯}_n& =(v_{n1},v_{n2},\dots ,v_{nn}{)}^T,\\ \end{array}$

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

$\mathrm{\Pi }=\prod _{i=1}^n\Vert {𝐯}_i\Vert$

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

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

$|\mathrm{\Omega }|\le \mathrm{\Pi }⟹\frac{|\mathrm{\Omega }|}{\mathrm{\Pi }}\le 1⟹-1\le \mathrm{psin}({𝐯}_1,\dots ,{𝐯}_n)\le 1,$

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

在Template:Math的情況下，極正弦是兩個向量之間角度的普通正弦。

Template:Math維角

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

${\mathrm{psin}}^2\left(S\right)=\left|\begin{array}{ccccc}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}\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ \cos E_{n0}\sqrt{K}& \cos E_{n1}\sqrt{K}& \cos E_{n2}\sqrt{K}& \cdots & 1\end{array}\right|$

高維空間

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

$\mathrm{\Omega }=\sqrt{\det \left({\left[\begin{array}{cccc}{𝐯}_1& {𝐯}_2& \cdots & {𝐯}_n\end{array}\right]}^T\left[\begin{array}{cccc}{𝐯}_1& {𝐯}_2& \cdots & {𝐯}_n\end{array}\right]\right)},$

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

性質

向量互換

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

$\begin{array}{cc}\mathrm{\Omega }& =\det \left[\begin{array}{cccccccc}{𝐯}_1& {𝐯}_2& \cdots & {𝐯}_i& \cdots & {𝐯}_j& \cdots & {𝐯}_n\end{array}\right]\\ & =-\det \left[\begin{array}{cccccccc}{𝐯}_1& {𝐯}_2& \cdots & {𝐯}_j& \cdots & {𝐯}_i& \cdots & {𝐯}_n\end{array}\right]\\ & =-\mathrm{\Omega }\end{array}$

向量與純量乘法的不變性

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

$\begin{array}{cc}\mathrm{psin}(c_1{𝐯}_1,\dots ,c_n{𝐯}_n)& =\frac{\det \left[\begin{array}{cccc}{c}_1{𝐯}_1& c_2{𝐯}_2& \cdots & c_n{𝐯}_n\end{array}\right]}{\prod _{i=1}^n\Vert c_i{𝐯}_i\Vert }\\ & =\frac{\prod _{i=1}^n{c}_i}{\prod _{i=1}^n|c_i|}\cdot \frac{\det \left[\begin{array}{cccc}{𝐯}_1& {𝐯}_2& \cdots & {𝐯}_n\end{array}\right]}{\prod _{i=1}^n\Vert {𝐯}_i\Vert }\\ & =\mathrm{psin}({𝐯}_1,\dots ,{𝐯}_n).\end{array}$

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

非線性獨立的情況

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

與對應的餘弦之關係

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

$\cos ({𝐯}_1,{𝐯}_2)=\frac{{𝐯}_1\cdot {𝐯}_2}{\Vert {𝐯}_1\Vert \Vert {𝐯}_2\Vert }$

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

${|\mathrm{psin}({𝐯}_1,\dots ,{𝐯}_n)|}^2=\det \left[\begin{array}{cccc}1& \cos ({𝐯}_1,{𝐯}_2)& \cdots & \cos ({𝐯}_1,{𝐯}_n)\\ \cos ({𝐯}_2,{𝐯}_1)& 1& \cdots & \cos ({𝐯}_2,{𝐯}_n)\\ ⋮& ⋮& \ddots & ⋮\\ \cos ({𝐯}_n,{𝐯}_1)& \cos ({𝐯}_n,{𝐯}_2)& \cdots & 1\end{array}\right].$

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

${\sin }^2({𝐯}_1,{𝐯}_2)=1-{\cos }^2({𝐯}_1,{𝐯}_2),$

即勾股定理。

歷史

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

參見

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

外部連結

• Template:MathWorld