The relevant congruences (shown when you move the "time" slider) are those between the central triangle formed by the vertices
![](HTMLImages/index.en/12.gif)
,
![](HTMLImages/index.en/13.gif)
,
![](HTMLImages/index.en/14.gif)
and the three triangles
![](HTMLImages/index.en/15.gif)
,
![](HTMLImages/index.en/16.gif)
, and
![](HTMLImages/index.en/17.gif)
. When the "time" slider begins to slide,
![](HTMLImages/index.en/18.gif)
turns red, then rotates
![](HTMLImages/index.en/19.gif)
radians about the axis through vertex
![](HTMLImages/index.en/20.gif)
to become the central triangle
![](HTMLImages/index.en/21.gif)
, then rotates
![](HTMLImages/index.en/22.gif)
radians about the axis through vertex
![](HTMLImages/index.en/23.gif)
to become
![](HTMLImages/index.en/24.gif)
. Then
![](HTMLImages/index.en/25.gif)
turns green and slides along the arc defined by the side
![](HTMLImages/index.en/26.gif)
, showing that the two
![](HTMLImages/index.en/27.gif)
radian rotations compose to a rotation about an axis normal to the great circle containing the arc
![](HTMLImages/index.en/28.gif)
, but with the rotation angle twice the arclength of the arc
![](HTMLImages/index.en/29.gif)
. Analogous relationships hold between
![](HTMLImages/index.en/30.gif)
,
![](HTMLImages/index.en/31.gif)
, and the arc
![](HTMLImages/index.en/32.gif)
, as well as between
![](HTMLImages/index.en/33.gif)
,
![](HTMLImages/index.en/34.gif)
, and the arc
![](HTMLImages/index.en/35.gif)
. The congruences shown by the moving triangles show that the rotation mapping
![](HTMLImages/index.en/36.gif)
to
![](HTMLImages/index.en/37.gif)
followed by the rotation mapping
![](HTMLImages/index.en/38.gif)
to
![](HTMLImages/index.en/39.gif)
is the rotation mapping
![](HTMLImages/index.en/40.gif)
to
![](HTMLImages/index.en/41.gif)
.
Step 1. The Spherical Triangle Representing Quaternion Multiplication Alone Click the checkboxes "show inner triangle only," "show vertex vectors," and "show labels." You see three unit vectors
![](HTMLImages/index.en/42.gif)
,
![](HTMLImages/index.en/43.gif)
,
![](HTMLImages/index.en/44.gif)
defining vertices on the spherical triangle
![](HTMLImages/index.en/45.gif)
. The directed arcs
![](HTMLImages/index.en/46.gif)
,
![](HTMLImages/index.en/47.gif)
, and
![](HTMLImages/index.en/48.gif)
are the unit quaternions defined by the pairs
![](HTMLImages/index.en/49.gif)
,
![](HTMLImages/index.en/50.gif)
, and
![](HTMLImages/index.en/51.gif)
of vectors, respectively. Actually, the arcs themselves contain one more bit of information than the pairs of vectors delimiting them: they define which of the two possible sections of the great circle marked out by the vectors is the arc in question.
The pair
![](HTMLImages/index.en/52.gif)
uniquely defines the arc
![](HTMLImages/index.en/53.gif)
. Indeed, given any two three-dimensional vectors
![](HTMLImages/index.en/54.gif)
,
![](HTMLImages/index.en/55.gif)
, one vector in the pair together with
![](HTMLImages/index.en/56.gif)
and
![](HTMLImages/index.en/57.gif)
uniquely determines the other vector; for example:
![](HTMLImages/index.en/58.gif)
;
that is, one can invert the product defined by
![](HTMLImages/index.en/59.gif)
, although of course neither the scalar nor vector product on its own is invertible. The pairing
![](HTMLImages/index.en/60.gif)
is a standard way (see, e.g. [1], Chapter 1) to think of a quaternion; indeed one could say that the scalar and vector products of three-dimensional vectors from "modern" vector calculus are simply disembodied parts of the original quaternion product. With the geometry that we see in this Demonstration, it can be shown that the great circle arc
![](HTMLImages/index.en/61.gif)
closing the spherical triangle comprising great circle arcs is indeed the quaternion product
![](HTMLImages/index.en/62.gif)
.
The relationship between quaternion and rotation multiplication scaling can be intuitively understood by joining Roger Penrose [2] in his wonderful explanation of the triangle law for composition of rotations in §11.4 "How to Compose Rotations"; quaternions themselves are discussed more fully in the early sections of Chapter 11. Unit quaternions, that is, members of
![](HTMLImages/index.en/63.gif)
, were called
versors by their discoverer, William Rowan Hamilton [3]. Further explanation can also be found in [4].
Step 2: Understanding Triangle Congruences Now click the "show congruence" checkbox to see triangles
![](HTMLImages/index.en/64.gif)
,
![](HTMLImages/index.en/65.gif)
, and
![](HTMLImages/index.en/66.gif)
. The spherical triangle relates to ordinary three-dimensional rotations by taking heed that a rotation of angle
![](HTMLImages/index.en/67.gif)
about an axis can be decomposed as the product of two rotations, each through a half-turn, about axes through the end points of any arc section of length
![](HTMLImages/index.en/68.gif)
of a great circle in the plane defined by the axis on the unit sphere. Thus a rotation through an angle of twice the arclength of
![](HTMLImages/index.en/69.gif)
about the axis defined by
![](HTMLImages/index.en/70.gif)
can be realized by a rotation through
![](HTMLImages/index.en/71.gif)
radians about the axis
![](HTMLImages/index.en/72.gif)
followed by a second rotation through
![](HTMLImages/index.en/73.gif)
radians about the axis
![](HTMLImages/index.en/74.gif)
. Slide the "time" slider to see the triangle
![](HTMLImages/index.en/75.gif)
turn red and rotate about
![](HTMLImages/index.en/76.gif)
onto the central triangle, then rotate about
![](HTMLImages/index.en/77.gif)
onto
![](HTMLImages/index.en/78.gif)
; triangle
![](HTMLImages/index.en/79.gif)
then turns green and rotates along the arc
to triangle
![](HTMLImages/index.en/81.gif)
to show the effect of the composition of the two rotations by
![](HTMLImages/index.en/82.gif)
radians. The triangles
![](HTMLImages/index.en/83.gif)
,
![](HTMLImages/index.en/84.gif)
, and
![](HTMLImages/index.en/85.gif)
are all congruent to the unit quaternion multiplication triangle with vertices
![](HTMLImages/index.en/86.gif)
.
![](HTMLImages/index.en/87.gif)
,
![](HTMLImages/index.en/88.gif)
, and
![](HTMLImages/index.en/89.gif)
are the images of triangle
after the latter has been rotated
![](HTMLImages/index.en/91.gif)
radians about the axis defined by the unit vectors
![](HTMLImages/index.en/92.gif)
,
![](HTMLImages/index.en/93.gif)
, and
![](HTMLImages/index.en/94.gif)
, respectively. Penrose [2] describes them as the central triangle
![](HTMLImages/index.en/95.gif)
having been "reflected" in vertices
![](HTMLImages/index.en/96.gif)
,
![](HTMLImages/index.en/97.gif)
, and
![](HTMLImages/index.en/98.gif)
, respectively. So, the composition of a rotation through
![](HTMLImages/index.en/99.gif)
about axis
![](HTMLImages/index.en/100.gif)
followed by a
![](HTMLImages/index.en/101.gif)
radian rotation about
![](HTMLImages/index.en/102.gif)
maps triangle
![](HTMLImages/index.en/103.gif)
onto
![](HTMLImages/index.en/104.gif)
. The product of two rotations is again a rotation, and any rotation of the unit sphere is uniquely defined by a spherical triangle and its image under the rotation. Therefore,
![](HTMLImages/index.en/105.gif)
is the triangle
![](HTMLImages/index.en/106.gif)
after the latter has been rotated about the axis normal to the great circle containing the arc
![](HTMLImages/index.en/107.gif)
, but the magnitude of the rotation, given
![](HTMLImages/index.en/108.gif)
, by inspection is twice the arclength of the arc
![](HTMLImages/index.en/109.gif)
. The unit quaternion
![](HTMLImages/index.en/110.gif)
thus represents an
![](HTMLImages/index.en/111.gif)
rotation about its axis, but through an angle that is twice the arclength of the quaternion itself. This is the reason why an element of
![](HTMLImages/index.en/112.gif)
is often written with an angle of
![](HTMLImages/index.en/113.gif)
; the angle
![](HTMLImages/index.en/114.gif)
is the angle of the
![](HTMLImages/index.en/115.gif)
rotation represented by the quaternion. Likewise
![](HTMLImages/index.en/116.gif)
and
![](HTMLImages/index.en/117.gif)
are the images of
![](HTMLImages/index.en/118.gif)
and
![](HTMLImages/index.en/119.gif)
under rotations about axes defined by the quaternions
![](HTMLImages/index.en/120.gif)
and
![](HTMLImages/index.en/121.gif)
, respectively. And, of course, the rotation mapping
![](HTMLImages/index.en/122.gif)
onto
![](HTMLImages/index.en/123.gif)
is the composition of the two rotations mapping first
![](HTMLImages/index.en/124.gif)
to
![](HTMLImages/index.en/125.gif)
, then
![](HTMLImages/index.en/126.gif)
to
![](HTMLImages/index.en/127.gif)
. So this rotation, represented by the quaternion
![](HTMLImages/index.en/128.gif)
, can be found graphically as the great circle arc closing the spherical triangle
![](HTMLImages/index.en/129.gif)
when we pay proper heed to the scaling factor
![](HTMLImages/index.en/130.gif)
between the unit quaternion's arclength and the rotation's angle.
Further explanation is to be found at [4].
[1] C. Doran and A. Lasenby, Chap. 1, esp. §11.4 in
Geometric Algebra for Physicists, Cambridge: Cambridge University Press, 2003.
[2] R. Penrose, Chap. 11 in
The Road to Reality: A Complete Guide to the Laws of the Universe, London: Jonathan Cape, 2004.
[3] W. R. Hamilton, Chap. 1, §§8, 9 in
Elements of Quaternions (W. E. Hamilton, ed.), London: Longmans, Green & Co., 1866 pp. 133–157.