Chasles' theorem (kinematics)

{{Short description|Every rigid motion is a screw displacement}}

{{Other uses|Chasles' theorem (disambiguation)}}

Image:pure screw.svg. Mozzi–Chasles' theorem says that every Euclidean motion is a screw displacement along some screw axis.]]In kinematics, Chasles' theorem, or Mozzi–Chasles' theorem, says that the most general rigid body displacement can be produced by a screw displacement. A direct Euclidean isometry in three dimensions involves a translation and a rotation. The screw displacement representation of the isometry decomposes the translation into two components, one parallel to the axis of the rotation associated with the isometry and the other component perpendicular to that axis. The Chasles theorem states that the axis of rotation can be selected to provide the second component of the original translation as a result of the rotation. This theorem in three dimensions extends a similar representation of planar isometries as rotation. Once the screw axis is selected, the screw displacement rotates about it and a translation parallel to the axis is included in the screw displacement.{{cite book | last=Heard | first=William B.| year=2006 | title=Rigid Body Mechanics | publisher=Wiley | page= 42 | isbn=3-527-40620-4}}{{Cite journal|last=Joseph|first=Toby|date=2020|title=An Alternative Proof of Euler's Rotation Theorem|url=http://link.springer.com/10.1007/s00283-020-09991-z|journal=The Mathematical Intelligencer|volume=42|issue=4|pages=44–49|language=en|doi=10.1007/s00283-020-09991-z|issn=0343-6993|arxiv=2008.05378|s2cid=221103695}}

Planar isometries with complex numbers

Euclidean geometry is expressed in the complex plane by points p = x + y i where i squared is −1. Rotations result from multiplications by \omega = \cos t + i \sin t .

Note that a rotation about complex point p is obtained by complex arithmetic with

z \mapsto \omega (z - p) + p = \omega z + p(1 - \omega)

where the last expression shows the mapping equivalent to rotation at 0 and a translation.

Therefore, given direct isometry z \mapsto \omega z + a, one can solve p(1 - \omega) = a to obtain p = a/(1 - \omega) as the center for an equivalent rotation, provided that \omega \ne 1, that is, provided the direct isometry is not a pure translation. As stated by Cederberg, "A direct isometry is either a rotation or a translation."{{cite book| last=Cederberg|first=Judith N.| year=2001| title=A Course in Modern Geometries| url=https://archive.org/details/coursemoderngeom00cede| url-access=limited| pages=[https://archive.org/details/coursemoderngeom00cede/page/n153 136]–164|publisher=Springer | isbn=978-0-387-98972-3}}, quote from page 151

History

The proof that a spatial displacement can be decomposed into a rotation and slide around and along a line is attributed to the astronomer and mathematician Giulio Mozzi (1763), in fact the screw axis is traditionally called asse di Mozzi in Italy. However, most textbooks refer to a subsequent similar work by Michel Chasles dating from 1830.{{cite journal | last=Chasles | first=M. | year=1830 | title=Note sur les propriétés générales du système de deux corps semblables entr'eux | journal=Bulletin des Sciences Mathématiques, Astronomiques, Physiques et Chemiques | volume=14 | pages=321–326 | language=fr | url=https://books.google.com/books?id=ERcAAAAAMAAJ&pg=PA321 }} Several other contemporaries of M. Chasles obtained the same or similar results around that time, including G. Giorgini, Cauchy, Poinsot, Poisson and Rodrigues. An account of the 1763 proof by Giulio Mozzi and some of its history can be found here.

{{cite book | last=Mozzi | first=Giulio | year=1763 | title=Discorso matematico sopra il rotamento momentaneo dei corpi | publisher=Stamperia di Donato Campo | place=Napoli | url=https://archive.org/stream/discorsomatemat00mozzgoog#page/n5/mode/2up | language=it }}{{cite journal | last=Ceccarelli | first=Marco | year=2000 | title=Screw axis defined by Giulio Mozzi in 1763 and early studies on helicoidal motion | journal=Mechanism and Machine Theory | volume=35 | issue=6 | pages=761–770 | doi=10.1016/S0094-114X(99)00046-4 }}

Proof

Mozzi considers a rigid body undergoing first a rotation about an axis passing through the center of mass and then a translation of displacement D in an arbitrary direction. Any rigid motion can be accomplished in this way due to a theorem by Euler on the existence of an axis of rotation.

The displacement D of the center of mass can be decomposed into components parallel and perpendicular to the axis. The perpendicular (and parallel) component acts on all points of the rigid body but Mozzi shows that for some points the previous rotation acted exactly with an opposite displacement, so those points are translated parallel to the axis of rotation. These points lie on the Mozzi axis through which the rigid motion can be accomplished through a screw motion.

Another elementary proof of Mozzi–Chasles' theorem was given by E. T. Whittaker in 1904.E. T. Whittaker (1904) {{cite book|author=E. T. Whittaker|author-link=E. T. Whittaker|title=A Treatise on the Analytical Dynamics of Particles and Rigid Bodies| page=4}} Suppose A is to be transformed into B. Whittaker suggests that line AK be selected parallel to the axis of the given rotation, with K the foot of a perpendicular from B. The appropriate screw displacement is about an axis parallel to AK such that K is moved to B. In Whittaker's terms, "A rotation about any axis is equivalent to a rotation through the same angle about any axis parallel to it, together with a simple translation in a direction perpendicular to the axis."

Calculation

The calculation of the commuting translation and rotation from a screw motion can be performed using 3DPGA (\mathbb{R}_{3,0,1}), the geometric algebra of 3D Euclidean space.{{Cite book|last=Gunn|first=Charles|date=2011-12-19|others=Technische Universität Berlin, Technische Universität Berlin, Ulrich Pinkall|title=Geometry, Kinematics, and Rigid Body Mechanics in Cayley-Klein Geometries|language=en|doi=10.14279/DEPOSITONCE-3058|type=Master's thesis}} It has three Euclidean basis vectors \mathbf{e}_i satisfying \mathbf{e}_i^2 = 1 representing orthogonal planes through the origin, and one Grassmanian basis vector \mathbf{e}_0 satisfying \mathbf{e}_0^2 = 0 to represent the plane at infinity. Any plane a distance \delta from the origin can then be formed as a linear combination a = \sum_{i=1}^3 a^i \mathbf{e}_i - \delta \mathbf{e}_0which is normalized such that a^2 = 1. Because reflections can be represented by the plane in which the reflection occurs, the product of two planes a and b is the bireflection ab. The result is a rotation around their intersection line a \wedge b, which could also lie on the plane at infinity when the two reflections are parallel, in which case the bireflection ab is a translation.

A screw motion S is the product of four non-collinear reflections, and thus S = abcd. But according to the Mozzi-Chasles' theorem a screw motion can be decomposed into a commuting translation T = e^{\alpha B_1} = 1 + \alpha B_1where B_1 is the axis of translation satisfying B_1^2 = 0, and rotationR = e^{\beta B_2} = \cos(\beta) + B_2 \sin(\beta)where B_2 is the axis of rotation satisfying B_2^2 = -1. The two bivector lines B_1 and B_2 are orthogonal and commuting. To find T and R from S, we simply write out S and consider the result grade-by-grade:\begin{aligned} S &= TR \\

&= e^{\alpha B_1} e^{\beta B_2} \\

&= \underbrace{\cos \beta}_{\text{scalar}} + \underbrace{\sin \beta B_2 + \alpha \cos \beta B_1}_{\text{bivector}} + \underbrace{\alpha \sin \beta B_1 B_2}_\text{quadrivector}

\end{aligned}Because the quadrivector part \langle S \rangle_4 = \langle T \rangle_2 \langle R \rangle_2 and B_1^2 = 0 , T is directly found to be{{Cite web|last1=Roelfs|first1=Martin|last2=De Keninck|first2=Steven|title=Graded Symmetry Groups: Plane and Simple|url=https://www.researchgate.net/publication/353116859}}T = 1 + \frac{\langle S \rangle_4}{\langle S \rangle_2}and thusR = S T^{-1} = T^{-1} S = \frac{S}{T}Thus, for a given screw motion S the commuting translation and rotation can be found using the two formulae above, after which the lines B_1 and B_2 are found to be proportional to \langle T \rangle_2 and \langle R \rangle_2 respectively.

Other dimensions and fields

The Chasles' theorem is a special case of the Invariant decomposition.

References

{{Reflist}}

Further reading

{{Wikibooks

|Associative Composition Algebra

|Quaternions#Screw displacement

|Screw displacement}}

Category:Mathematical theorems

Category:Kinematics

Category:Euclidean solid geometry

Category:Rotation in three dimensions