% This paper has been transcribed in Plain TeX by
% David R. Wilkins
% School of Mathematics, Trinity College, Dublin 2, Ireland
% (dwilkins@maths.tcd.ie)
%
% Trinity College, 1999.
\magnification=\magstep1
\vsize=227 true mm \hsize=170 true mm
\voffset=-0.4 true mm \hoffset=-5.4 true mm
\def\folio{\ifnum\pageno>0 \number\pageno \else\fi}
\font\Largebf=cmbx10 scaled \magstep2
\font\largerm=cmr12
\font\largeit=cmti12
\font\tensc=cmcsc10
\font\sevensc=cmcsc10 scaled 700
\newfam\scfam \def\sc{\fam\scfam\tensc}
\textfont\scfam=\tensc \scriptfont\scfam=\sevensc
\font\largesc=cmcsc10 scaled \magstep1
\pageno=0
\null\vskip72pt
\centerline{\Largebf ON A NEW SPECIES OF IMAGINARY}
\vskip12pt
\centerline{\Largebf QUANTITIES CONNECTED WITH A}
\vskip12pt
\centerline{\Largebf THEORY OF QUATERNIONS}
\vskip24pt
\centerline{\Largebf By}
\vskip24pt
\centerline{\Largebf William Rowan Hamilton}
\vskip24pt
\centerline{\largerm (Proceedings of the Royal Irish Academy,
2 (1844), 424--434.)}
\vskip36pt
\vfill
\centerline{\largerm Edited by David R. Wilkins}
\vskip 12pt
\centerline{\largerm 1999}
\vskip36pt\eject
\null\vskip36pt
\noindent
{\largeit
On a new Species of Imaginary Quantities
connected with a theory of Quaternions. By\/}
{\largerm Sir} {\largesc William R. Hamilton}.
\bigskip
\centerline{Read November~13, 1843.}
\bigskip
\centerline{[{\it Proceedings of the Royal Irish Academy},
vol.~2 (1844), pp.\ 424--434.]}
\bigskip
It is known to all students of algebra that an imaginary equation of
the form $i^2 = -1$ has been employed so as to conduct to very varied
and important results. Sir Wm.\ Hamilton proposes to consider some of
the consequences which result from the following system of imaginary
equations, or equations between a {\it system of three different
imaginary quantities\/}:
$$i^2 = j^2 = k^2 = -1 \eqno {\rm (A)}$$
$$ij = k,\quad jk = i,\quad ki = j; \eqno {\rm (B)}$$
$$ji = -k,\quad kj = -i,\quad ik = -j; \eqno {\rm (C)}$$
no linear relation between $i$, $j$, $k$ being supposed to exist, so
that the equation
$${\sc q} = {\sc q}',$$
in which
$$\eqalign{
{\sc q} &= w + ix + jy + kz,\cr
{\sc q}' &= w' + ix' + jy' + kz',\cr}$$
and $w$, $x$, $y$, $z$, $w'$, $x'$, $y'$, $z'$ are real, is equivalent
to the four separate equations
$$w = w',\quad x = x',\quad y = y',\quad z = z'.$$
Sir W. Hamilton calls an expression of the form ${\sc q}$ a
{\it quaternion\/}; and the four real quantities $w$, $x$, $y$, $z$ he
calls the {\it constituents\/} thereof. Quaternions are added or
subtracted by adding or subtracting their constituents, so that
$${\sc q} + {\sc q}' = w + w' + i(x + x') + j(y + y') + k(z + z').$$
Their multiplication is, in virtue of the definitions (A) (B) (C),
effected by the formulae
$${\sc q}{\sc q}' = {\sc q}'' = w'' + ix'' + jy'' + kz'',$$
$$\left.\eqalign{
w'' &= w w' - x x' - y y' - z z',\cr
x'' &= w x' + x w' + y z' - z y',\cr
y'' &= w y' + y w' + z x' - x z',\cr
z'' &= w z' + z w' + x y' - y x'.\cr} \right\} \eqno {\rm (D)}$$
which give
$$w''^2 + x''^2 + y''^2 + z''^2
= (w^2 + x^2 + y^2 + z^2) (w'^2 + x'^2 + y'^2 + z'^2) ,$$
and therefore
$$\mu'' = \mu \mu', \eqno {\rm (E)}$$
if we call the positive quantity
$$\mu = \sqrt{w^2 + x^2 + y^2 + z^2},$$
the {\it modulus} of the quaternion ${\sc q}$. The modulus of the
product of any two quaternions is therefore equal to the product of
the moduli. Let
$$\left. \eqalign{
w &= \mu \cos \theta,\cr
x &= \mu \sin \theta \cos \phi,\cr
y &= \mu \sin \theta \sin \phi \cos \psi,\cr
z &= \mu \sin \theta \sin \phi \sin \psi;\cr}
\right\} \eqno {\rm (F)}$$
then, because the equations (D) give
$$\eqalign{
w' w'' + x' x'' + y' y'' + z' z'' &= w (w'^2 + x'^2 + y'^2 + z'^2),\cr
w w'' + x x'' + y y'' + z z'' &= w'(w^2 + x^2 + y^2 + z^2),\cr}$$
we have
$$\left. \eqalign{
\cos \theta''
&= \cos \theta \cos \theta' - \sin \theta \sin \theta'
(\cos \phi \cos \phi'
+ \sin \phi \sin \phi' \cos (\psi - \psi')),\cr
\cos \theta \phantom{{}''}
&= \cos \theta' \cos \theta'' + \sin \theta' \sin \theta''
(\cos \phi' \cos \phi''
+ \sin \phi' \sin \phi'' \cos (\psi' - \psi'')),\cr
\cos \theta' \phantom{{}'}
&= \cos \theta'' \cos \theta + \sin \theta'' \sin \theta
(\cos \phi'' \cos \phi
+ \sin \phi'' \sin \phi \cos (\psi'' - \psi')),\cr}
\right\} \eqno {\rm (G)}$$
Consider $x$, $y$, $z$ as the rectangular coordinates of a point of
space, and let ${\sc r}$ be the point where the radius vector of
$x$, $y$, $z$ (prolonged if necessary) intersects the spheric surface
described about the origin with a radius equal to unity; call
${\sc r}$ the {\it representative point\/} of the
quaternion~${\sc q}$, and let the polar coordinates $\phi$ and $\psi$,
which determine ${\sc r}$ upon the sphere, be called the
{\it co-latitude\/} and the {\it longitude\/} of the representative
point~${\sc r}$, or of the quaternion ${\sc q}$ itself; let also the
other angle~$\theta$ be called the {\it amplitude\/} of the
quaternion; so that a quaternion is completely determined by its
modulus, amplitude, co-latitude and longitude. Construct the
representative points ${\sc r}'$ and ${\sc r}''$, of the other
factor~${\sc q}'$, and of the product~${\sc q}''$; and complete the
spherical triangle ${\sc r}{\sc r}'{\sc r}''$ by drawing the arcs
${\sc r}{\sc r}'$, ${\sc r}'{\sc r}''$, ${\sc r}''{\sc r}$. Then, the
equations (G) become
$$\eqalign{
\cos \theta''
&= \cos \theta \cos \theta' - \sin \theta \sin \theta'
\cos {\sc r}{\sc r}',\cr
\cos \theta \phantom{{}''}
&= \cos \theta' \cos \theta'' + \sin \theta' \sin \theta''
\cos {\sc r}'{\sc r}'',\cr
\cos \theta' \phantom{{}'}
&= \cos \theta'' \cos \theta + \sin \theta'' \sin \theta
\cos {\sc r}''{\sc r},\cr}$$
and consequently shew that the angles of the triangle
${\sc r}{\sc r}'{\sc r}''$ are
$${\sc r} = \theta,\quad
{\sc r}' = \theta',\quad
{\sc r}'' = \pi - \theta'';\eqno {\rm (H)}$$
these angles are therefore respectively equal to the amplitudes of the
factors, and the supplement (to two right angles) of the amplitude of
the product. The equations (D) show, further, that the
{\it product-point\/}~${\sc r}''$ is to the right or left of the
{\it multiplicand-point\/}~${\sc r}'$, with respect to the
{\it multipler-point\/}~${\sc r}$, according as the semiaxis of $+z$
(or its intersection with the spheric surface) is to the right or left
of the semiaxis of $+y$, with respect to the semiaxis of $+x$: that
is, according as the positive direction of rotation in longitude is
towards the right or left. A change in the order of the two
quaternion-factors would throw the product-point ${\sc r}''$ from the
right to the left, or from the left to the right of ${\sc r}{\sc r}'$.
It results from these principles, that if ${\sc r}{\sc r}'{\sc r}''$
be any spherical triangle; if, also,
$\alpha \, \beta \, \gamma$ be the rectangular coordinates of ${\sc r}$,
$\alpha' \, \beta' \, \gamma'$ those of ${\sc r}'$, and
$\alpha'' \, \beta'' \, \gamma''$ of ${\sc r}''$,
the centre of the sphere being origin, and the radius being unity; and
if the rotation round $+x$ from $+y$ to $+z$ be of the same
(right-handed or left-handed) character as that round ${\sc r}$ from
${\sc r}'$ to ${\sc r}''$; then the following formula of
multiplication, according to the rules of quaternions, will hold good:
$$\eqalignno{
\{ \cos {\sc r} + &(i\alpha + j \beta + k \gamma) \sin {\sc r} \}
\{ \cos {\sc r}' + (i\alpha' + j \beta' + k \gamma') \sin {\sc r}' \} \cr
&= - \cos {\sc r}''
+ (i\alpha'' + j \beta'' + k \gamma'') \sin {\sc r}''.
&{\rm (I)}\cr}$$
Developing and decomposing this imaginary or symbolic formula (I), we
find that it is equivalent to the system of the four following real
equations, or equations between real quantities:
$$\left. \eqalign{
-\cos {\sc r}''
&= \cos {\sc r} \cos {\sc r}'
- (\alpha \alpha' + \beta \beta' + \gamma \gamma')
\sin {\sc r} \sin {\sc r}';\cr
\alpha'' \sin {\sc r}''
&= \alpha \sin {\sc r} \cos {\sc r}'
+ \alpha' \sin {\sc r}' \cos {\sc r}
+ (\beta \gamma' - \gamma \beta') \sin {\sc r} \sin {\sc r}';\cr
\beta'' \sin {\sc r}''
&= \beta \sin {\sc r} \cos {\sc r}'
+ \beta' \sin {\sc r}' \cos {\sc r}
+ (\gamma \alpha' - \alpha \gamma') \sin {\sc r} \sin {\sc r}';\cr
\gamma'' \sin {\sc r}''
&= \gamma \sin {\sc r} \cos {\sc r}'
+ \gamma' \sin {\sc r}' \cos {\sc r}
+ (\alpha \beta' - \beta \alpha') \sin {\sc r} \sin {\sc r}'.\cr}
\right\} \eqno {\rm (K)}$$
Of these equations (K), the first is only an expression of the
well-known theorem, already employed in these remarks, which serves to
connect a side of any spherical triangle with the three angles
thereof. The three other equations (K) are an expression of another
theorem (which possibly is new), namely that a force
$= \sin {\sc r}''$, directed from the centre of the sphere to the
point~${\sc r}''$, is statically equivalent to the system of three
other forces, one directed to ${\sc r}$, and equal to
$\sin {\sc r} \cos {\sc r}'$, another directed to ${\sc r}'$, and
equal to $\sin {\sc r}' \cos {\sc r}$, and the third equal to
$\sin {\sc r} \sin {\sc r}' \sin {\sc r}{\sc r}'$, and directed
towards that pole of the arc ${\sc r}{\sc r}'$, which lies at the same
side of this arc as ${\sc r}''$. It is not difficult to prove this
theorem otherwise; but it may be regarded as interesting to see that
the four equations (K) are included so simply in the one formula (I)
of multiplication of quaternions, and are obtained so easily by
developing and decomposing that formula, according to the fundamental
definitions (A) (B) (C). A new sort of algorithm, or calculus, for
spherical trigonometry, appears to be thus given, or indicated. And
by supposing the three corners of the spherical triangle
${\sc r}{\sc r}'{\sc r}''$ to tend indefinitely to close up in that
one point which is the intersection of the spheric surface with the
positive semiaxis of $x$, each coordinate $\alpha$ will tend to become
$= 1$, and each $\beta$ and $\gamma$ to vanish, while the sum of the
three angles will tend to become $= \pi$; so that the following well
known and important equations in the usual calculus of imaginaries, as
connected with plane trigonometry, namely,
$$(\cos {\sc r} + i \sin {\sc r})(\cos {\sc r}' + i \sin {\sc r}')
= \cos ({\sc r} + {\sc r}') + i \sin ({\sc r} + {\sc r}'),$$
(in which $i^2 = -1$), is found to result, as a limiting case, from
the more general formula (I).
In the ordinary theory there are only two different square roots
of negative unity ($+i$ and $-i$), and they differ only in their signs.
In the present theory, in order that a quaternion,
$w + ix + jy + kz$, should have its square $= -1$, it is necessary
and sufficient that we should have
$$w = 0,\qquad x^2 + y^2 + z^2 = +1;$$
we are conducted, therefore, to the extended expression
$$\sqrt{-1} = i \cos \phi + j \sin \phi \cos \psi + k \sin \phi \sin \psi,
\eqno {\rm (L)}$$
which may be called an {\it imaginary unit}, because its modulus is
$= 1$, and its square is negative unity. To distinguish one such
imaginary unit from another, we may adopt the notation,
$$i_{\sc r} = i \alpha + j \beta + k \gamma,
\hbox{ which gives } i_{\sc r}^2 = -1,
\eqno {\rm (L')}$$
${\sc r}$ being still that point on the spheric surface which has
$\alpha$, $\beta$, $\gamma$ (or
$\cos \phi$, $\sin \phi \cos \psi$, $\sin \phi \sin \psi$)
for its rectangular coordinates; and then the formula of
multiplication (I) becomes, for any spherical triangle, in which
the rotation round ${\sc r}$, from ${\sc r}'$ to ${\sc r}''$, is positive,
$$(\cos {\sc r} + i_{\sc r} \sin {\sc r})
(\cos {\sc r}' + i_{{\sc r}'} \sin {\sc r}')
= - \cos {\sc r}'' + i_{{\sc r}''} \sin {\sc r}''.
\eqno {\rm (I')}$$
If ${\sc p}''$ be the {\it positive pole\/} of the arc
${\sc r}{\sc r}'$, or the pole to which the least rotation
from ${\sc r}'$ round ${\sc r}$ is positive, then the product
of the two imaginary units in the first member of this formula
(which may be any two such units), is the following:
$$i_{\sc r} i_{{\sc r}'}
= - \cos {\sc r}{\sc r}'
+ i_{{\sc p}''} \sin {\sc r}{\sc r}';
\eqno {\rm (M)}$$
we have also, for the product of the same two factors, taken
in the opposite order, the expression
$$i_{{\sc r}'}i_{\sc r}
= - \cos {\sc r}{\sc r}'
- i_{{\sc p}''} \sin {\sc r}{\sc r}',
\eqno {\rm (N)}$$
which differs only in the sign of the imaginary part; and the
product of these two products is unity, because, in general,
$$(w + ix + jy + kz)(w - ix - jy - kz)
= w^2 + x^2 + y^2 + z^2;
\eqno {\rm (O)}$$
we have, therefore,
$$i_{\sc r} i_{{\sc r}'} . i_{{\sc r}'} i_{\sc r} = 1,
\eqno {\rm (P)}$$
and the products
$i_{\sc r} i_{{\sc r}'}$ and $i_{{\sc r}'} i_{\sc r}$ may
be said to be {\it reciprocals\/} of each other.
In general, in virtue of the fundamental equations of definition,
(A), (B), (C), although the {\it distributive\/} character of the
multiplication of ordinary algebraic quantities (real or imaginary)
extends to the operation of the same name in the theory of quaternions,
so that
$${\sc q} ( {\sc q}' + {\sc q}'')
= {\sc q} {\sc q}' + {\sc q} {\sc q}'', \hbox{ \&c.,}$$
yet the {\it commutative\/} character is lost, and we cannot generally
write for the new as for the old imaginaries,
$${\sc q} {\sc q}' = {\sc q}' {\sc q},$$
since we have, for example, $ji = - ij$. However, in virtue of
the same definitions, it will be found that another important
property of the old multiplication is preserved, or extended
to the new, namely, that which may be called the {\it associative\/}
character of the operation, and which may have for its type the formula
$${\sc q}. {\sc q}' {\sc q}'' . {\sc q}''', {\sc q}^{IV}
= {\sc q} {\sc q}' . {\sc q}'' {\sc q}''' {\sc q}^{IV};$$
thus we have, generally,
$${\sc q}. {\sc q}' {\sc q}''
= {\sc q}{\sc q}' . {\sc q}'',
\eqno {\rm (Q)}$$
$${\sc q}. {\sc q}' {\sc q}'' {\sc q}'''
= {\sc q} {\sc q}' . {\sc q}'' {\sc q}'''
= {\sc q} {\sc q}' {\sc q}'' . {\sc q}''',
\eqno {\rm (Q')}$$
and so on for any number of factors; the notation
${\sc q} {\sc q}' {\sc q}''$ being employed to express that one
determined quaternion, which, in virtue of the theorem (Q), is
obtained, whether we first multiply ${\sc q}''$ as a
multiplicand by ${\sc q}'$ as a multiplier, and then multiply
the product ${\sc q}'{\sc q}''$ as a multiplicand by ${\sc q}$
as a multiplier; or multiply first ${\sc q}'$ by ${\sc q}$, and
then ${\sc q}''$ by ${\sc q}{\sc q}'$. With the help of this
principle, we might easily prove the equation (P), by observing
that its first member
$= i_{\sc r} i_{{\sc r}'}^2 i_{\sc r} = - i_{\sc r}^2 = 1$.
In the same manner it is seen at once that
$$i_{\sc r} i_{{\sc r}'} . i_{{\sc r}'} i_{{\sc r}''}
. i_{{\sc r}''} i_{{\sc r}'''}
. \ldots i_{{\sc r}^{(n-1)}} i_{\sc r} = (-1)^n,
\eqno {\rm (P')}$$
whatever $n$ points upon the spheric surface may be denoted by
${\sc r}$, ${\sc r}'$, ${\sc r}''$, ${\sc r}'''$,\dots ${\sc r}^{(n-1)}$:
and by combining this principle with that expressed by (M),
it is not difficult to prove that for any spherical polygon
${\sc r} {\sc r}' \ldots {\sc r}^{(n-1)}$, the following formula
holds good:
$$(\cos {\sc r} + i_{\sc r} \sin {\sc r})
(\cos {\sc r}' + i_{{\sc r}'} \sin {\sc r}')
(\cos {\sc r}'' + i_{{\sc r}''} \sin {\sc r}'')$$
$$\cdots (\cos {\sc r}^{(n-1)} + i_{{\sc r}^{(n-1)}} \sin {\sc r}^{(n-1)})
= (-1)^n,
\eqno {\rm (R)}$$
which includes the theorem (I${}'$) for the case of a spherical
triangle, and in which the arrangement of the $n$ points may be supposed,
for simplicity, to be such that the rotations round ${\sc r}$ from
${\sc r}'$ to ${\sc r}''$, round ${\sc r}'$ from ${\sc r}''$
to ${\sc r}'''$, and so on, are all positive, and each less than
two right angles, though it is easy to interpret the expression
so as to include also the cases where any or all of these conditions
are violated. When the polygon becomes infinitely small, and therefore
plane, the imaginary units become all equal to each other, and may be
denoted by the common symbol~$i$; and the formula (R) agrees then with
the known relation, that
$$\pi - {\sc r} + \pi - {\sc r}' + \pi - {\sc r}'' +
\cdots + \pi - {\sc r}^{(n-1)} = 2 \pi.$$
Again, let ${\sc r}$, ${\sc r}'$, ${\sc r}''$ be, respectively,
the representative points of any three quaternions
${\sc q}$, ${\sc q}'$, ${\sc q}''$, and let
${\sc r}_\prime$, ${\sc r}_{\prime\prime}$,
${\sc r}_{\prime\prime\prime}$ be the representative points of the
three other quaternions, ${\sc q}{\sc q}'$, ${\sc q}'{\sc q}''$,
${\sc q}{\sc q}'{\sc q}''$, derived by multiplication from the
former; then the algebraical principle expressed by the formula
(Q) may be geometrically enunciated by saying that the two points
${\sc r}_\prime$ and ${\sc r}_{\prime\prime}$ are the foci of a spherical
conic which touches the four sides of the spherical quadrilateral
${\sc r}{\sc r}'{\sc r}''{\sc r}_{\prime\prime\prime}$; and analogous
theorems respecting spherical pentagons and other polygons may be
deduced, by constructing similarly the formul{\ae} ({\sc q}'),\&c.
In general, a quaternion ${\sc q}$, like an ordinary imaginary
quantity, may be put under the form,
$${\sc q} = \mu(\cos \theta + (-1)^{{1 \over 2}} \sin \theta)
= w + (-1)^{{1 \over 2}} r,
\eqno {\rm (S)}$$
provided that we assign to $(-1)^{{1 \over 2}}$, or $\sqrt{-1}$,
the extended meaning (L), which involves two arbitrary angles;
and the same general quaternion ${\sc q}$ may be considered as a
root of a quadratic equation, with real coefficients, namely
$${\sc q}^2 - 2w{\sc q} + \mu^2 = 0,
\eqno {\rm (S')}$$
which easily conducts to the following expression
for a quotient, or formula for the division of quaternions,
$${\sc q}^{-1} {\sc q}'' = {{\sc q}'' \over {\sc q}}
= {2w - {\sc q} \over \mu^2} {\sc q}'',
\eqno {\rm (S'')}$$
if we define ${\sc q}^{-1} {\sc q}''$ or
$\displaystyle {{\sc q}'' \over {\sc q}}$
to mean that quaternion ${\sc q}'$ which gives the product
${\sc q}''$, when it is multiplied as a multiplicand by
${\sc q}$ as a multiplier. The same general formula
(S${}''$) of division may easily be deduced from the
equation (O), by writing that equation as follows,
$$(w + ix + jy + kz)^{-1}
= {w - ix - jy - kz \over w^2 + x^2 + y^2 + z^2};
\eqno {\rm (O')}$$
or it may be obtained from the four general equations of
multiplication (D), by treating the four constituents
of the multiplicand, namely $w'$, $x'$, $y'$, $z'$, as the
four sought quantities, while $w$, $x$, $y$, $z$, and
$w''$, $x''$, $y''$, $z''$, are given; or from a construction
of spherical trigonometry, on principles already laid down.
The general expression (S) for a quaternion may be raised
to any power with a real exponent~$q$, in the same manner
as an ordinary imaginary expression, by treating the square
root of $-1$ which it involves as an imaginary unit
$i_{\sc r}$ having (in general) a fixed direction; raising
the modulus~$\mu$ to the proposed real power; and multiplying
the amplitude $\theta$, increased or diminished by any whole
number of circumferences, by the exponent~$q$: thus
$$(\mu (\cos \theta + i_{\sc r} \sin \theta))^q
= \mu^q (\cos q(\theta + 2n\pi)
+ i_{\sc r} \sin q(\theta + 2n\pi)),
\eqno {\rm (T)}$$
if $q$ be real, and if $n$ be any whole number. For example,
a quaternion has in general two, and only two, different square
roots, and they differ only in their signs, being both
included in the formula,
$$(\mu (\cos \theta + i_{\sc r} \sin \theta))^{1 \over 2}
= \mu^{1 \over 2} \left(\cos \left({\theta \over 2} + n\pi \right)
+ i_{\sc r} \sin \left( {\theta \over 2} + n\pi \right) \right),
\eqno {\rm (T')}$$
in which it is useless to assign to $n$ any other values than
$0$ and $1$; although, in the particular case where the
original quaternion reduces itself to a real and negative quantity,
so that $\theta = \pi$, this formula (T${}'$) becomes
$$(-\mu)^{1 \over 2} = \pm \mu^{1 \over 2} i_{\sc r},
\hbox{ or simply }
(-\mu)^{1 \over 2} = \mu^{1 \over 2} i_{\sc r},
\eqno {\rm (T'')}$$
the direction of $i_{\sc r}$ remaining here entirely undetermined;
a result agreeing with the expression (L) or (L${}'$) for
$\sqrt{-1}$. In like manner the quaternions, which are cube roots
of unity, are included in the expression
$$1^{1 \over 3} = \cos {2n\pi \over 3}
+ i_{\sc r} \sin {2n\pi \over 3},
\eqno {\rm (T''')}$$
$i_{\sc r}$ denoting here again an imaginary unit, with a direction
altogether arbitrary.
If we make, for abridgment
$$f(Q) = 1 + {{\sc q} \over 1} + {{\sc q}^2 \over 1.2}
+ {{\sc q}^2 \over 1.2.3} + \hbox{\&c.},
\eqno {\rm (U)}$$
the series here indicated will be always convergent, whatever
quaternion ${\sc q}$ may be; and we can always separate its
real and imaginary parts by the formula
$$f(w + i_{\sc r} r) = f(w)(\cos r + i_{\sc r} \sin r);
\eqno {\rm (U')}$$
which gives, reciprocally, for the inverse function $f^{-1}$,
the expression
$$f^{-1}(\mu(\cos \theta + i_{\sc r} \sin \theta))
= \log \mu + i_{\sc r} (\theta + 2 n \pi),
\eqno {\rm (U'')}$$
$u$ being any whole number, and $\log \mu$ being the natural,
or Napierian, logarithm of $\mu$, or, in other words, that
real quantity, positive or negative, of which the function~$f$
is equal to the given real and positive modulus~$\mu$. And
although the ordinary property of exponential functions, namely
$$f({\sc q}).f({\sc q}') = f({\sc q} + {\sc q}'),$$
does not in general hold good, in the present theory, unless
the two quaternions ${\sc q}$ and ${\sc q}'$ be codirectional,
yet we may raise the function~$f$ to any real power by the formula
$$(f(w + i_{\sc r} r))^q = f(q(w + i_{\sc r} \overline{r + 2n \pi})),
\eqno {\rm (U''')}$$
which it is natural to extend, by definition, to the case where
the exponent~$q$ becomes itself a quaternion. The general
equation,
$${\sc q}_\prime^q = {\sc q}_\prime^\prime,
\eqno {\rm (V)}$$
when put under the form
$$(f(w + i_{\sc r} r))^q = f(w' + i_{{\sc r}'} r'),
\eqno {\rm (V')}$$
will then give
$$q = { \{w' + i_{{\sc r}'} (r' + 2n'\pi) \} \{w - i_{\sc r} (r + 2n\pi) \}
\over w^2 + (r + 2n\pi)^2 };
\eqno {\rm (V'')}$$
and thus the general expression for a quaternion~$q$, which is
one of the logarithms of a given quaternion ${\sc q}^\prime_\prime$
to a given base ${\sc q}_\prime$, is found to involve two independent
whole numbers $n$ and $n'$, as in the theories of Graves and Ohm,
respecting the general logarithms of ordinary imaginary quantities
to ordinary imaginary bases.
For other developments and applications of the new theory, it is
necessary to refer to the original paper from which this abstract
is taken, and which will probably appear in the twenty-first volume
of the Transactions of the Academy.
\bye