<?xml version="1.0" encoding="UTF-8"?>

<record version="1" id="1129">
 <title>Euler angles: proper Euler angles</title>
 <name>EulerAnglesProperEulerAngles</name>
 <created>2026-08-29 23:13:46</created>
 <modified>2026-08-29 23:13:46</modified>
 <type>Definition</type>
 <creator id="1" name="bloftin"/>
 <modifier id="1" name="bloftin"/>
 <comment>improved the singularity figure for clarity</comment>
 <author id="1" name="bloftin"/>
 <classification>
	<category scheme="pacs" code="45.40.-f"/>
	<category scheme="pacs" code="02.40.Yy"/>
	<category scheme="pacs" code="02.10.Ud"/>
 </classification>
 <keywords>
	<term>Euler angles</term>
	<term>proper Euler angles</term>
	<term>3-1-3 sequence</term>
	<term>passive transformation</term>
	<term>intrinsic rotation</term>
	<term>direction cosine matrix</term>
	<term>rigid body orientation</term>
	<term>gimbal lock</term>
 </keywords>
 <preamble>% this is the default PhysicsLibrary preamble.  as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.

% almost certainly you want these
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}

% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics).
% If you use \includegraphics{figure} with no file extension, PhysicsLibrary
% will prefer figure.png before falling back to figure.eps.
\usepackage{graphicx}
\DeclareGraphicsExtensions{.png,.jpg,.jpeg,.pdf,.eps}
% for neatly defining theorems and propositions
%\usepackage{amsthm}
% making logically defined graphics
%\usepackage{xypic}

% there are many more packages, add them here as you need them

% define commands here</preamble>
 <content>\section*{Euler Angles: Proper Euler Angles}

Proper Euler angles are Euler angle coordinates in which the first and third
rotation axis labels are the same and the middle axis is different.

For an intrinsic sequence,

\[
i\text{-}j\text{-}i,
\]

the defining conditions are

\begin{equation}
i\neq j,
\qquad
k=i.
\end{equation}

The first and third labels are the same, but the corresponding physical axes
are generally not the same direction because the middle rotation changes the
orientation of the intermediate frame.

Proper Euler angles are especially common in classical rigid body mechanics,
spacecraft attitude descriptions, orbital orientation, and historical
treatments of Euler's rotation coordinates.

The flagship proper Euler sequence in this PhysicsLibrary series is intrinsic
$3$-$1$-$3$.

\section{Passive intrinsic convention}

PhysicsLibrary uses passive coordinate transformations.

For a fixed physical vector,

\begin{equation}
{}^B\mathbf v
=
{}^BC_A\,{}^A\mathbf v.
\end{equation}

For intrinsic $i$-$j$-$k$,

\begin{equation}
{}^BC_A
=
C_k(\gamma)
C_j(\beta)
C_i(\alpha).
\end{equation}

For a proper Euler sequence, $k=i$, so

\begin{equation}
{}^BC_A
=
C_i(\gamma)
C_j(\beta)
C_i(\alpha).
\end{equation}

The rightmost matrix acts first on a coordinate column.

\section{Why there are six proper Euler sequences}

There are three choices for the repeated first and third axis.

Once that outer axis is chosen, there are two possible choices for the
different middle axis.

Therefore

\begin{equation}
3\times2=6.
\end{equation}

The six intrinsic proper Euler sequences are

\begin{equation}
121,\quad
131,\quad
212,\quad
232,\quad
313,\quad
323.
\end{equation}

\begin{center}
\includegraphics[width=0.88\textwidth]{EA06_six_proper_euler_sequences.png}

\vspace{0.45em}

\textbf{Figure.}
The six standard intrinsic proper Euler sequences.  The first and third axis
labels match, while the middle axis is different.
\end{center}

\section{The six passive intrinsic products}

Applying the universal intrinsic composition rule gives:

\begin{center}
\begin{tabular}{|c|c|}
\hline
Sequence &amp; Passive intrinsic product\\
\hline
$1$-$2$-$1$ &amp; $C_1(\gamma)C_2(\beta)C_1(\alpha)$\\
\hline
$1$-$3$-$1$ &amp; $C_1(\gamma)C_3(\beta)C_1(\alpha)$\\
\hline
$2$-$1$-$2$ &amp; $C_2(\gamma)C_1(\beta)C_2(\alpha)$\\
\hline
$2$-$3$-$2$ &amp; $C_2(\gamma)C_3(\beta)C_2(\alpha)$\\
\hline
$3$-$1$-$3$ &amp; $C_3(\gamma)C_1(\beta)C_3(\alpha)$\\
\hline
$3$-$2$-$3$ &amp; $C_3(\gamma)C_2(\beta)C_3(\alpha)$\\
\hline
\end{tabular}
\end{center}

These six products are generated by the same frame-chain rule used for every
Euler sequence.

\section{Why the repeated outer axis still gives three coordinates}

Consider intrinsic $3$-$1$-$3$.

The first rotation is about axis $3$ of the initial frame $A$.

The second rotation is about axis $1$ of the new intermediate frame.

That middle rotation generally changes the direction of axis $3$ of the
current frame.

The final rotation is therefore about axis $3$ of the newest intermediate
frame, not generally about the original physical $z_A$ axis.

Thus the first and third rotations cannot usually be combined.

The repeated label indicates the same \emph{coordinate-axis number} in two
different intermediate frames.

\section{Proper Euler versus Tait Bryan angles}

The two Euler families differ in the third axis choice.

For Tait Bryan sequences,

\[
i,\quad j,\quad k
\]

are all different.

For proper Euler sequences,

\[
k=i.
\]

This distinction controls the middle-angle singularity.

Tait Bryan sequences are singular when

\[
\cos\beta=0.
\]

Proper Euler sequences are singular when

\[
\sin\beta=0.
\]

\section{Principal angle ranges}

A common proper Euler principal branch is

\begin{equation}
-\pi&lt;\alpha\leq\pi,
\end{equation}

\begin{equation}
0\leq\beta\leq\pi,
\end{equation}

and

\begin{equation}
-\pi&lt;\gamma\leq\pi.
\end{equation}

On this branch,

\begin{equation}
\sin\beta\geq0.
\end{equation}

\section{The universal proper Euler singularity}

Every proper Euler sequence becomes singular when

\begin{equation}
\sin\beta=0.
\end{equation}

On the standard principal branch,

\begin{equation}
\beta=0
\qquad\hbox{or}\qquad
\beta=\pi.
\end{equation}

At those values, the first and third physical rotation axes become collinear.

\begin{center}
\includegraphics[width=0.86\textwidth]{EA06_proper_euler_middle_angle_singularity.png}

\vspace{0.45em}

\textbf{Figure.}
For intrinsic $3$-$1$-$3$, the third rotation axis $z_2$ is aligned with
$z_A$ at $\beta=0$ and anti-aligned with $z_A$ at $\beta=\pi$.  The same
mechanism occurs in every proper Euler sequence after relabeling the axes.
\end{center}

The physical orientation remains well defined.

Only the Euler coordinate chart loses local uniqueness.

\section{Outer-angle coupling at \(\beta=0\)}

At

\[
\beta=0,
\]

the middle rotation is the identity.

For intrinsic $i$-$j$-$i$,

\begin{equation}
{}^BC_A
=
C_i(\gamma)
C_i(\alpha).
\end{equation}

Rotations about the same axis add:

\begin{equation}
C_i(\gamma)
C_i(\alpha)
=
C_i(\alpha+\gamma).
\end{equation}

Therefore only the sum

\begin{equation}
\alpha+\gamma
\end{equation}

is observable from the final orientation.

The two outer angles are not independently identifiable.

\section{Outer-angle coupling at \(\beta=\pi\)}

At

\[
\beta=\pi,
\]

the middle rotation reverses the repeated outer axis.

The first and third physical axes are anti-aligned.

Consequently one difference combination of the outer angles remains
observable, while the two angles cannot be recovered independently.

The exact sign of the coupled difference depends on the specific proper Euler
sequence and the chosen angle conventions.

The important geometric fact is that the outer axes are again collinear.

\section{Flagship intrinsic 3-1-3 sequence}

For intrinsic $3$-$1$-$3$,

\begin{equation}
{}^BC_A
=
C_3(\gamma)
C_1(\beta)
C_3(\alpha).
\end{equation}

Define

\[
c_\alpha=\cos\alpha,
\qquad
s_\alpha=\sin\alpha,
\]

and similarly for $\beta$ and $\gamma$.

Multiplication gives

\begin{equation}
{}^BC_A
=
\begin{bmatrix}
c_\alpha c_\gamma-s_\alpha c_\beta s_\gamma &amp;
s_\alpha c_\gamma+c_\alpha c_\beta s_\gamma &amp;
s_\beta s_\gamma\\
-c_\alpha s_\gamma-s_\alpha c_\beta c_\gamma &amp;
-s_\alpha s_\gamma+c_\alpha c_\beta c_\gamma &amp;
s_\beta c_\gamma\\
s_\alpha s_\beta &amp;
-c_\alpha s_\beta &amp;
c_\beta
\end{bmatrix}.
\end{equation}

\section{Inverse extraction for intrinsic 3-1-3}

Let

\[
C
=
{}^BC_A
=
\begin{bmatrix}
C_{11}&amp;C_{12}&amp;C_{13}\\
C_{21}&amp;C_{22}&amp;C_{23}\\
C_{31}&amp;C_{32}&amp;C_{33}
\end{bmatrix}.
\]

On the nonsingular principal branch,

\begin{equation}
\beta
=
\arccos(C_{33}),
\end{equation}

\begin{equation}
\alpha
=
\operatorname{atan2}(C_{31},-C_{32}),
\end{equation}

and

\begin{equation}
\gamma
=
\operatorname{atan2}(C_{13},C_{23}).
\end{equation}

These equations require

\begin{equation}
\sin\beta\neq0.
\end{equation}

Near $\beta=0$ or $\beta=\pi$, software should use a declared singular-case
policy instead of attempting to recover two independently meaningless outer
angles.

\section{Equivalent extrinsic description}

For any proper Euler sequence,

\begin{equation}
\text{intrinsic }i\text{-}j\text{-}i
(\alpha,\beta,\gamma)
\equiv
\text{extrinsic }i\text{-}j\text{-}i
(\gamma,\beta,\alpha).
\end{equation}

The digit string is unchanged because proper Euler sequences are palindromes.

The angle association is still reversed.

For intrinsic $3$-$1$-$3$,

\begin{equation}
\text{intrinsic }3\text{-}1\text{-}3
(\alpha,\beta,\gamma)
\equiv
\text{extrinsic }3\text{-}1\text{-}3
(\gamma,\beta,\alpha).
\end{equation}

This is a common source of convention mistakes because the axis labels alone do
not reveal whether the construction is intrinsic or extrinsic.

\section{Passive quaternion equivalent}

For a positive frame rotation about axis $i$,

\begin{equation}
q_i^P(\lambda)
=
\cos\frac{\lambda}{2}
-
\mathbf e_i\sin\frac{\lambda}{2}.
\end{equation}

A generic intrinsic proper Euler sequence has quaternion product

\begin{equation}
{}^Bq_A
=
q_i^P(\gamma)
q_j^P(\beta)
q_i^P(\alpha).
\end{equation}

For intrinsic $3$-$1$-$3$,

\begin{equation}
{}^Bq_A
=
q_3^P(\gamma)
q_1^P(\beta)
q_3^P(\alpha).
\end{equation}

The DCM and quaternion represent the same passive map:

\begin{equation}
{}^BC_A
=
C({}^Bq_A).
\end{equation}

\section{Numerical 3-1-3 example}

Take

\begin{equation}
\alpha=30^\circ,
\qquad
\beta=60^\circ,
\qquad
\gamma=-20^\circ.
\end{equation}

Then

\begin{equation}
{}^BC_A
=
C_3(-20^\circ)
C_1(60^\circ)
C_3(30^\circ)
\end{equation}

gives approximately

\begin{equation}
{}^BC_A
\approx
\begin{bmatrix}
+0.89930 &amp; +0.32175 &amp; -0.29620 \\
+0.06127 &amp; +0.57791 &amp; +0.81380 \\
+0.43301 &amp; -0.75000 &amp; +0.50000
\end{bmatrix}.
\end{equation}

The matrix is orthogonal and has determinant $+1$ to numerical precision.

The inverse formulas recover the principal triple

\[
(\alpha,\beta,\gamma)
=
(30^\circ,60^\circ,-20^\circ).
\]

\section{An alternate Euler branch}

Away from the singularity, a proper Euler orientation has alternate
representations.

One useful equivalent triple is

\begin{equation}
(\alpha',\beta',\gamma')
=
(\alpha+\pi,-\beta,\gamma+\pi),
\end{equation}

with the outer angles wrapped by integer multiples of $2\pi$ as needed.

The principal condition

\[
0\leq\beta\leq\pi
\]

selects one standard representative.

\section{Proper Euler angles are coordinates, not vectors}

A proper Euler triple

\[
(\alpha,\beta,\gamma)
\]

is a nonlinear coordinate description of orientation.

In general,

\begin{equation}
(\alpha_2-\alpha_1,\beta_2-\beta_1,\gamma_2-\gamma_1)
\end{equation}

is not the exact finite relative orientation between two attitudes.

The correct finite relative attitude should be computed using DCM or
quaternion composition.

\section{Applications}

Proper Euler sequences appear naturally when an orientation has a meaningful
preferred axis before and after a nutation-like middle rotation.

Examples include:

\begin{enumerate}

\item classical rigid body dynamics;

\item symmetric tops;

\item spacecraft and orbital-frame descriptions;

\item precession, nutation, and spin decompositions;

\item historical formulations of rotational mechanics.

\end{enumerate}

The $3$-$1$-$3$ sequence is especially common in classical mechanics.

\section{When another representation is preferable}

A quaternion or DCM is generally preferable for internal propagation when:

\begin{enumerate}

\item the motion may approach $\beta=0$ or $\beta=\pi$;

\item repeated finite composition is central;

\item angular velocity directly drives the attitude state;

\item global numerical regularity is important;

\item an estimator or optimizer must remain well conditioned across a wide
orientation range.

\end{enumerate}

Proper Euler coordinates remain useful for interpretation and reporting even
when the internal state uses another attitude representation.

\section{Common mistakes}

\begin{enumerate}

\item Assuming the first and third rotations of a proper Euler sequence are
about the same physical axis for every $\beta$.

\item Forgetting that the repeated outer axis belongs to different
intermediate frames.

\item Using the Tait Bryan singularity condition $\cos\beta=0$ instead of the
proper Euler condition $\sin\beta=0$.

\item Assuming intrinsic and extrinsic $3$-$1$-$3$ are automatically the same
because the sequence digits form a palindrome.

\item Forgetting that the angle association reverses between equivalent
intrinsic and extrinsic descriptions.

\item Using a $3$-$2$-$1$ extraction formula on a $3$-$1$-$3$ DCM.

\item Interpreting the coordinate singularity as a physical singularity.

\end{enumerate}

\section{Verification checks}

A proper Euler implementation should pass the following checks.

\begin{enumerate}

\item Zero angles give the identity matrix.

\item Single-angle reductions reproduce the appropriate passive elementary
matrices.

\item The DCM is orthogonal:

\[
CC^T=I.
\]

\item The determinant is

\[
\det C=1.
\]

\item The reverse map is the transpose.

\item DCM-to-Euler round trips recover the selected principal branch away from
$\sin\beta=0$.

\item The DCM agrees with the passive quaternion product.

\end{enumerate}

\section{Summary}

The six proper Euler sequences are

\begin{equation}
121,\quad131,\quad212,\quad232,\quad313,\quad323.
\end{equation}

For intrinsic $i$-$j$-$i$,

\begin{equation}
{}^BC_A
=
C_i(\gamma)
C_j(\beta)
C_i(\alpha).
\end{equation}

Their universal middle-angle singularity is

\begin{equation}
\sin\beta=0.
\end{equation}

On the common principal branch,

\begin{equation}
\beta=0
\qquad\hbox{or}\qquad
\beta=\pi.
\end{equation}

For the flagship intrinsic $3$-$1$-$3$ sequence,

\begin{equation}
{}^BC_A
=
C_3(\gamma)C_1(\beta)C_3(\alpha).
\end{equation}

Proper Euler angles provide compact and historically important local
coordinates for rigid body orientation, but they remain singular coordinate
charts rather than global vector representations.

The next article,
\emph{Euler angles: Euler 321 yaw pitch roll},
develops the most widely used Tait Bryan sequence in full engineering detail.

\section{References and further reading}

Goldstein, Poole, and Safko provide the classical mechanics context in which
proper Euler angles are especially common.

Henderson gives the classic NASA engineering tabulation of all twelve Euler
sequences.

Diebel provides a unified comparison of Euler angles, DCMs, quaternions, and
rotation vectors.

Landau and Lifshitz provide another standard classical mechanics treatment of
rigid body orientation.

\begin{thebibliography}{9}

\bibitem{Goldstein2002}
H. Goldstein, C. Poole, and J. Safko,
\emph{Classical Mechanics},
3rd ed.,
Addison Wesley,
2002.
\PMlinkexternal{Publisher search}
{https://www.pearson.com/en-us/search.html?aq=Classical+Mechanics+Goldstein}

\bibitem{Henderson1977}
D. M. Henderson,
\emph{Euler Angles, Quaternions, and Transformation Matrices:
Working Relationships},
JSC-12960,
NASA Johnson Space Center,
1977.
\PMlinkexternal{NASA Technical Reports Server}
{https://ntrs.nasa.gov/citations/19770024290}

\bibitem{Diebel2006}
J. Diebel,
``Representing Attitude:
Euler Angles, Unit Quaternions, and Rotation Vectors,''
Stanford University,
2006.
\PMlinkexternal{Online PDF}
{https://www.astro.rug.nl/software/kapteyn-beta/_downloads/attitude.pdf}

\bibitem{Landau1976}
L. D. Landau and E. M. Lifshitz,
\emph{Mechanics},
3rd ed.,
Pergamon Press,
1976.
\PMlinkexternal{Publisher search}
{https://www.elsevier.com/search-results?query=Landau+Lifshitz+Mechanics}

\end{thebibliography}

\section*{License}

Unless otherwise noted, this PhysicsLibrary entry is intended for release
under the Creative Commons Attribution ShareAlike 4.0 International license.</content>
</record>
