A quaternionic approach to teaching 3D rotations and the resolution of gimbal lock

TL;DR

This work addresses the gimbal lock limitations of Euler-angle rotations by advocating a quaternionic framework for teaching 3D rotations. It derives the rotation operator $v' = q\,v\,q^{*}$ and Rodrigues’ formula, illustrating how unit quaternions on $S^3$ provide a globally regular, double-cover of $SO(3)$ and facilitate stable composition and interpolation via SLERP. The authors fuse historical motivation, formal derivations, and pedagogical materials to deliver a reproducible classroom sequence, complemented by a conceptual link to $SU(2)$ and spinors. The approach aims to enhance conceptual understanding and computational fluency in rotational dynamics across physics and engineering education, with practical implications for animation and attitude control. By weaving topology, algebra, and computation, the paper offers a rich educational framework that bridges classical rotations and quantum-spin concepts through quaternions.

Abstract

Quaternions provide a unified algebraic and geometric framework for representing three-dimensional rotations without the singularities that afflict Euler-angle parametrisations. This article develops a pedagogical and conceptual analysis of the \emph{Gimbal lock} phenomenon and demonstrates, step by step, how quaternion algebra resolves it. Beginning with the limitations of Euler representations, the work introduces the quaternionic rotation operator $v' = q\,v\,q^{*}$, derives the Rodrigues formula, and establishes the continuous, singularity-free mapping between unit quaternions and the rotation group $SO(3)$. The approach combines historical motivation, formal derivation, and illustrative examples designed for advanced undergraduate and graduate students. As an extension, Appendix~A presents the geometric and topological interpretations of quaternions, including their relation to the groups $\mathbb{Q}_8$ and $SU(2)$, and the Dirac belt trick, offering a visual analogy that reinforces the connection between algebra and spatial rotation. Overall, this work highlights the educational value of quaternions as a coherent and elegant framework for understanding rotational dynamics in physics.

Figures (9)

• Figure 1: The unit quaternion $q=\tfrac{1}{2}(1+i+j+k)$ rotates the basis vector $v=i$ into $j$ for axis $\mathbf{u}=(1,1,1)/\sqrt{3}$ and angle $\theta=2\pi/3$.
• Figure 2: For the same unit quaternion $q=\tfrac{1}{2}(1+i+j+k)$, the rotation maps $v=j$ into $k$ under a $2\pi/3$ turn about $\mathbf{u}=(1,1,1)/\sqrt{3}$.
• Figure 3: The rotation generated by $q=\tfrac{1}{2}(1+i+j+k)$ sends $v=k$ into $i$, completing the cyclic permutation of $(i,j,k)$ about $\mathbf{u}=(1,1,1)/\sqrt{3}$.
• Figure 4: Front (left) and back (right) views of the painting used in the didactic model.
• Figure 5: Transformations of the painting identified with the Klein four-group $V$: (a) initial position $I$; (b) a $\pi$ rotation about the out-of-plane axis $R_2$; (c) vertical reflection $f_v$; (d) horizontal reflection $f_h$.