查看“︁欧拉角”︁的源代码

{{noteTA
|G1=物理學
|G2=Math
}}
{{about|數學上的欧拉角|航空航天}}

[[File:Leonhard Euler 2.jpg|thumb|150px|萊昂哈德·歐拉]]
[[萊昂哈德·歐拉]]用'''歐拉角'''來描述[[剛體]]在[[維度|三維]][[歐幾里得空間]]的[[取向]]。對於任何參考系，一個剛體的取向，是依照順序，從這[[參考系]]，做三個歐拉角的[[旋轉]]而設定的。所以，剛體的取向可以用三個基本旋轉矩陣來決定。換句話說，任何關於剛體旋轉的[[旋轉矩陣]]是由三個基本旋轉矩陣[[複合函數|複合]]而成的。

==靜態的定義==
[[File:Eulerangles.svg|thumb|200px|三個歐拉角： (<math>\alpha,\ \beta,\ \gamma</math>)。藍色的軸是xyz-軸，紅色的軸是XYZ-坐標軸。綠色的線是交點線 (N)。]]
[[File:Euler2a.gif|thumb|200px|歐拉角動畫]]

對於在三維空間裏的一個參考系，任何坐標系的取向，都可以用三個歐拉角來表現。參考系（固定系）又稱為實驗室參考系，是靜止不動的。而坐標系（固连系）則固定於剛體，隨著剛體的旋轉而旋轉。

參閲右圖。設xyz軸為參考系的參考軸，XYZ轴为物体自身的坐标轴，xoy平面與XOY平面的相交线為'''交點線'''，用（N）表示。'''zxz順規'''的歐拉角可以靜態地這樣定義：
*<math>\alpha</math>（进动角）是x-軸與交點線的夾角，
*<math>\beta</math>（章动角）是z-軸與Z-軸的夾角，
*<math>\gamma</math>（自旋角）是交點線與X-軸的夾角。

對於夾角的順序和標記，夾角的兩個軸的指定，並沒有任何常規。科學家對此從未達成共識。每當用到歐拉角時，我們必須明確的表示出夾角的順序，指定其參考軸。

實際上，有許多方法可以設定兩個坐標系的相對取向。歐拉角方法只是其中的一種。此外，不同的作者會用不同組合的歐拉角來描述，或用不同的名字表示同樣的歐拉角。因此，使用歐拉角前，必須先做好明確的定義。

===角值範圍===
*<math>\alpha</math>、<math>\gamma</math>值的範圍為<math>[0,2\pi)</math>[[弧度]]。
*<math>\beta</math>值的範圍為<math>[0,\pi]</math>弧度。

一般情況下，對應於每一個取向，設定的一組歐拉角都是獨特唯一的。

然而，當<math>\beta=0</math>或<math>\pi</math>時，會出現[[環架鎖定]]現象。具體而言：
*當<math>\beta=0</math>時，<math>\alpha</math>與<math>\gamma</math>之和（在模<math>2\pi</math>意義下）相等的歐拉角對應同一個取向，如<math>(\frac{\pi}{2},0,0)</math>，<math>(\frac{\pi}{3},0,\frac{\pi}{6})</math>和<math>(\frac{4\pi}{3},0,\frac{7\pi}{6})</math>對應的取向相同
*當<math>\beta=\pi</math>時，<math>\alpha</math>與<math>\gamma</math>之差相等的歐拉角對應同一個取向，如<math>(\frac{\pi}{2},\pi,0)</math>和<math>(\pi,\pi,\frac{\pi}{2})</math>對應的取向相同

===旋轉矩陣1===
前面提到，設定剛體取向的旋轉矩陣<math>[\mathbf{R}]</math>是由三個基本旋轉矩陣合成的：
:<math>[\mathbf{R}] = \begin{bmatrix}
\cos \gamma & \sin \gamma & 0 \\
-\sin \gamma & \cos \gamma & 0 \\
0 & 0 & 1 \end{bmatrix} \begin{bmatrix}
1 & 0 & 0 \\
0 & \cos \beta & \sin \beta \\
0 & -\sin \beta & \cos \beta \end{bmatrix} \begin{bmatrix}
\cos \alpha & \sin \alpha & 0 \\
-\sin \alpha & \cos \alpha & 0 \\
0 & 0 & 1 \end{bmatrix}</math>

从右到左依次代表繞著z軸的旋轉 (<math>\alpha</math>)、繞著交點線的旋轉(<math>\beta</math>)、繞著z軸的旋轉(<math>\gamma</math>)。

經過一番運算,
:<math>[\mathbf{R}] = \begin{bmatrix}
\cos\alpha\cos\gamma-\cos\beta\sin\alpha\sin\gamma & \sin\alpha\cos\gamma+\cos\beta\cos\alpha\sin\gamma   & \sin\beta\sin\gamma
\\-\cos\alpha\sin\gamma-\cos\beta\sin\alpha\cos\gamma & -\sin\alpha\sin\gamma+\cos\beta\cos\alpha\cos\gamma & \sin\beta\cos\gamma 
\\ \sin\beta\sin\alpha & -\sin\beta\cos\alpha & \cos\beta 
\end{bmatrix}</math>

<math>[\mathbf{R}]</math>的[[逆矩陣]]是：
:<math>[\mathbf{R}]^{-1} = \begin{bmatrix}
\cos \alpha & -\sin \alpha & 0 \\
\sin \alpha & \cos \alpha & 0 \\
0 & 0 & 1 \end{bmatrix} \begin{bmatrix}
1 & 0 & 0 \\
0 & \cos \beta & -\sin \beta \\
0 & \sin \beta & \cos \beta \end{bmatrix} \begin{bmatrix}
\cos \gamma & -\sin \gamma & 0 \\
\sin \gamma & \cos \gamma & 0 \\
0 & 0 & 1 \end{bmatrix}</math>

:<math>[\mathbf{R}]^{-1}= \begin{bmatrix}
\cos\alpha\cos\gamma-\cos\beta\sin\alpha\sin\gamma & -\cos\alpha\sin\gamma-\cos\beta\sin\alpha\cos\gamma   &   \sin\beta\sin\alpha
\\ \sin\alpha\cos\gamma+\cos\beta\cos\alpha\sin\gamma & -\sin\alpha\sin\gamma+\cos\beta\cos\alpha\cos\gamma & -\sin\beta\cos\alpha
\\ \sin\beta\sin\gamma & \sin\beta\cos\gamma  & \cos\beta 
\end{bmatrix}</math>

注意，<math>[\mathbf{R}]</math>的[[逆矩陣]] (反矩陣) 也是 <math>[\mathbf{R}]</math>的[[轉置矩陣]] (Transpose Matrix)，不需要用傳統方式去求解其逆矩陣，也不用特別記憶，甚至在撰寫電腦演算法時也可以不用額外配置記憶體。這是[[旋轉矩陣]] (包括座標旋轉矩陣及向量旋轉矩陣) 的特性。這個特性也適用於由連續數個個別旋轉矩陣連乘所構成的複合旋轉矩陣，如以上的<math>[\mathbf{R}]</math>。

=== 別種順序 ===
在[[經典力學]]裏，時常用zxz順規來設定歐拉角；照著第二個轉動軸的軸名，簡稱為x順規。另外，還有別種歐拉角組。合法的歐拉角組中，唯一的限制是，任何兩個連續的旋轉，必須繞著不同的轉動軸旋轉。因此，一共有12種順規。例如，y順規，第二個轉動軸是y-軸，時常用在[[量子力學]]、[[核子物理學]]、[[粒子物理學]]。另外，還有一種順規，xyz順規，是用在航空航天工程學；參閱{{le|泰特-布萊恩角|Tait-Bryan angles}}。

==動態的定義==
我們也可以給予歐拉角兩種不同的動態定義。一種是繞著固定於剛體的坐標軸的三個旋轉的複合；另外一種是繞著實驗室參考軸的三個旋轉的複合。用動態的定義，我們能更了解，歐拉角在物理上的含義與應用。特別注意，以下的描述, XYZ坐標軸是旋轉的剛體坐標軸；而xyz坐標軸是靜止不動的實驗室參考軸。

*A)繞著XYZ坐標軸旋轉：最初，兩個坐標系統xyz與XYZ的坐標軸都是重疊著的。開始先繞著Z-軸旋轉<math>\alpha\,</math>角值。然後，繞著X-軸旋轉<math>\beta\,</math>角值。最後，繞著Z-軸作角值<math>\gamma\,</math>的旋轉。

*B)繞著xyz坐標軸旋轉：最初，兩個坐標系統xyz與XYZ的坐標軸都是重疊著的。開始先繞著z-軸旋轉<math>\gamma\,</math>角值。然後，繞著x-軸旋轉<math>\beta\,</math>角值。最後，繞著z-軸作角值<math>\alpha\,</math>的旋轉。

參閱歐拉角圖，定義A與靜態定義的相等，這可以直接用幾何製圖方法來核對。

定義A與定義B的相等可以用旋轉矩陣來證明：

思考任何一點<math>P_1\,</math>，在xyz與XYZ坐標系統的坐標分別為<math>\mathbf{r}_1\,</math>與<math>\mathbf{R}_1\,</math>。定義角算符<math>Z(\alpha)\,</math>為繞著Z-軸旋轉<math>\alpha\,</math>角值。那麼，定義A可以表述如下：
:<math>\mathbf{R}_1=Z(\gamma)\circ X(\beta)\circ Z(\alpha)\circ \mathbf{r}_1\,</math>。

用旋轉矩陣表示,
:<math>Z(\alpha)= \begin{bmatrix}\cos \alpha & \sin \alpha & 0 \\
-\sin \alpha & \cos \alpha & 0 \\0 & 0 & 1 \end{bmatrix}\,</math>，

:<math>X(\beta)=\begin{bmatrix}1 & 0 & 0 \\
0 & \cos \beta & \sin \beta \\0 & -\sin \beta & \cos \beta \end{bmatrix} \,</math>，

:<math>Z(\gamma)=\begin{bmatrix}\cos \gamma & \sin \gamma & 0 \\
-\sin \gamma & \cos \gamma & 0 \\0 & 0 & 1 \end{bmatrix}\,</math>。

思考任何一點<math>P_2\,</math>，在xyz與XYZ坐標系統的坐標分別為<math>\mathbf{r}_2\,</math>與<math>\mathbf{R}_2\,</math>。定義角算符<math>z(\alpha)\,</math>為繞著z-軸旋轉<math>\alpha\,</math>角值。則定義B可以表述如下：
:<math>\mathbf{r}_2=z(\alpha)\circ x(\beta)\circ z(\gamma)\circ \mathbf{R}_2\,</math>。

用旋轉矩陣表示,
:<math>z(\alpha)= \begin{bmatrix}\cos \alpha & -\sin \alpha & 0 \\
\sin \alpha & \cos \alpha & 0 \\0 & 0 & 1 \end{bmatrix}\,</math>，

:<math>x(\beta)=\begin{bmatrix}1 & 0 & 0 \\
0 & \cos \beta & -\sin \beta \\0 & \sin \beta & \cos \beta \end{bmatrix} \,</math>，

:<math>z(\gamma)=\begin{bmatrix}\cos \gamma & -\sin \gamma & 0 \\
\sin \gamma & \cos \gamma & 0 \\0 & 0 & 1 \end{bmatrix}\,</math>。

假設，<math>\mathbf{r}_1=\mathbf{r}_2\,</math> ．那麼，
:<math>\mathbf{r}_1=z(\alpha)\circ x(\beta)\circ z(\gamma)\circ \mathbf{R}_2\,</math>。

乘以逆算符，
:<math>z^{-1}(\gamma)\circ x^{-1}(\beta)\circ z^{-1}(\alpha)\circ \mathbf{r}_1=z^{-1}(\gamma)\circ x^{-1}(\beta)\circ z^{-1}(\alpha)\circ z(\alpha)\circ x(\beta)\circ z(\gamma)\circ \mathbf{R}_2\,</math>。

但是，從旋轉矩陣可以觀察出，
:<math>z^{-1}(\alpha)=Z(\alpha)\,</math>，
:<math>x^{-1}(\beta)=X(\beta)\,</math>，
:<math>z^{-1}(\gamma)=Z(\gamma)\,</math>。

所以，
:<math>Z(\gamma)\circ X(\beta)\circ Z(\alpha)\circ \mathbf{r}_1=\mathbf{R}_2\,</math>，
:<math>\mathbf{R}_1=\mathbf{R}_2\,</math>。

定義A與定義B是相等的。

==歐拉角性質==
歐拉角在[[旋轉群|SO(3)]]上，形成了一個[[坐標卡]] ({{lang|en|chart}})；SO(3)是在三維空間裏的旋轉的[[特殊正交群]]。這坐標卡是平滑的，除了一個[[極坐標]]式的[[奇点 (几何)|奇點]]在<math>\beta=0</math>　。

類似的三個角的分解也可以應用到[[特殊酉群|SU(2)]]；複數二維空間裏旋轉的特殊酉群；這裏，<math>\beta</math>值在 0 與<math>2\pi</math>之間。這些角也稱為歐拉角。

==應用==
歐拉角廣泛地被應用於經典力學中的剛體研究，與量子力學中的角動量研究。

在剛體的問題上, xyz坐標系是'''全域坐標系'''，XYZ坐標系是'''局域坐標系'''。全域坐標系是不動的；而局域坐標系牢嵌於剛體內。關於[[動能]]的演算，通常用局域坐標系比較簡易；因為，[[轉動慣量#慣性張量|慣性張量]]不隨時間而改變。如果將慣性張量（有九個分量，其中六個是獨立的）[[可對角化矩陣|對角線化]]，那麼，會得到一組主軸，以及一個[[轉動慣量]]（只有三個分量）。

在[[量子力學]]裏，詳盡的描述SO(3)的形式，對於精準的演算，是非常重要的，並且幾乎所有研究都採用歐拉角為工具。在早期的量子力學研究，對於[[抽象群]]理論方法(稱為Gruppenpest)，物理學家與化學家仍舊持有極尖銳的反對態度的時候；對歐拉角的信賴，在基本理論研究來說，是必要的。

歐拉角的[[哈爾測度]]有一個簡單的形式<math>\sin\beta\ d\alpha d\beta d\gamma</math>通常在前面添上[[歸一化]]因子<math>1/8\pi^2</math>。例如，我們要生成均勻隨機取向，使<math>\alpha</math>、<math>\gamma</math>從<math>0</math>至<math>2\pi</math>分別均勻的選隨機值；使<math>\beta=\arccos(z)</math>，<math>z</math>從<math>-1</math>至<math>1</math>均勻的選隨機值。

單位[[四元數]]，又稱'''歐拉參數'''，提供另外一種方法來表述三維旋轉。這與特殊酉群的描述是等價的。四元數方法用在大多數的演算會比較快捷，概念上比較容易理解，並能避免一些技術上的問題，如[[萬向鎖]]現象。因為這些原因，許多高速度三維圖形程式製作都使用四元數。

==參閱==
* [[歐拉運動定律]]
* [[歐拉旋轉定理]]
* [[旋轉矩陣]]
* [[四元數]]
* [[軸角]]
* [[球坐標系]]

==參考文獻==
* L. C. Biedenharn, J. D. Louck, ''Angular Momentum in Quantum Physics'', Addison-Wesley, Reading, MA, 1981.
* Herbert Goldstein, ''Classical Mechanics'', Addison-Wesley, Reading, MA, 1980.
* Andrew Gray, ''A Treatise on Gyrostatics and Rotational Motion'', MacMillan, London, 1918.
* M. E. Rose, ''Elementary Theory of Angular Momentum'', John Wiley, New York, NY, 1957.
* {{note_label|Symon1971||}}{{cite book|last=Symon | first=Keith |title=Mechanics|publisher=Addison-Wesley, Reading, MA|year=1971|id = ISBN 978-0-201-07392-8 }}
* {{note_label|LL||}}{{cite book |last=Landau |first=L.D. |coauthors=Lifshitz, E.M. |title= Mechanics|year=1997 |publisher=Butterworth-Heinemann |isbn=0-750-62896-0 }}

==外部連結==
{{Commons|Euler angles}}
*[http://mathworld.wolfram.com/EulerAngles.html MathWorld關於各種歐拉角常規的詳細討論] {{Wayback|url=http://mathworld.wolfram.com/EulerAngles.html |date=20190607153529 }}

[[Category:三维旋转]]
[[Category:欧几里得对称]]
[[Category:角]]
[[Category:解析几何]]