% 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, 2000.

\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\largesc=cmcsc10  scaled \magstep1
\font\tensc=cmcsc10
\font\sevensc=cmcsc10 scaled 700
\newfam\scfam \def\sc{\fam\scfam\tensc}
\textfont\scfam=\tensc

\def\therefore{$.\,\raise1ex\hbox{.}\,.$}

\pageno=0

\null\vskip72pt

\centerline{\Largebf ON A NEW AND GENERAL METHOD OF}

\vskip12pt

\centerline{\Largebf INVERTING A LINEAR AND QUATERNION}

\vskip12pt

\centerline{\Largebf FUNCTION OF A QUATERNION}

\vskip24pt

\centerline{\Largebf By}

\vskip24pt

\centerline{\Largebf William Rowan Hamilton}

\vskip24pt

\centerline{\largerm (Proceedings of the Royal Irish Academy,
   8 (1864), pp.\ 182--183)}

\vskip36pt

\vfill

\centerline{\largerm Edited by David R. Wilkins}

\vskip 12pt

\centerline{\largerm 2000}

\vskip36pt\eject

\null\vskip36pt

\centerline{\sc On a New and General Method of Inverting a Linear
and Quaternion}
\centerline{\sc Function of a Quaternion.}

\vskip 12pt

\centerline{Sir William Rowan Hamilton.}

\vskip12pt

\centerline{Read June 9th, 1862.}
\vskip12pt
\centerline{[{\it Proceedings of the Royal Irish Academy},
   vol.~viii (1864), pp.\ 182--183.]}

\bigskip

Let $a$, $b$, $c$, $d$, $e$ represent any five quaternions, and
let the following notations be admitted, at least as temporary
ones:---
$$ab - ba = [ab],\quad S [ab] c = (abc);$$
$$(abc) + [cb] \, Sa + [ac] \, Sb + [ba] \, Sc = [abc];$$
$$Sa [bcd] = (abcd);$$
then it is easily seen that
$$[ab] = - [ba];\quad
  (abc) = - (bac) = (bca) = \hbox{\&c.};$$
$$[abc] = - [bac] = [bca] + \hbox{\&c.};$$
$$(abcd) = - (bacd) = (bcad) = \hbox{\&c.};$$
$$0 = [aa] = (aac) = [aac] = (aacd),\enspace \hbox{\&c.}$$

We have then these two Lemmas respecting Quaternions, which
answer to two of the most continually occurring transformations of
vector expressions:---
$$\quad\vcenter{\halign{\hfil #$\ldots$\quad
      &$\displaystyle #$\hfil \cr
I&
0 = a(bcde) + b(cdea) + c(deab) + d(eabc) + e(abcd),\cr
   \noalign{\vskip 3pt}
or I${}'$&
e(abcd) = a(ebcd) + b(aecd) + c(abed) + d(abce);\cr
   \noalign{\vskip 3pt}
and II&
e(abcd) = [bcd] \, Sae - [cda] \, Sbe + [dab] \, Sce
      - [abc] \, S de;\cr}}$$
as may be proved in various ways.

Assuming therefore {\it any four\/} quaternions $a$, $b$, $c$,
$d$, which are {\it not\/} connected by the relation,
$$(abcd) = 0,$$
we can {\it deduce\/} from them four others,
$a'$,~$b'$,~$c'$,~$d'$, by the expressions,
$$a' (abcd) = f [bcd],\quad b' [abcd] = -f[cda],\enspace \hbox{\&c.},$$
where $f$ is used as the characteristic of a linear or
{\it distributive quaternion function\/} of a quaternion, of
which the form is supposed to be given; and thus the {\it general
form\/} of {\it such\/} a function comes to be represented by the
expression,
$$\hbox{V}\ldots\quad
  r = fq = a' \, Saq + b' \, Sbq + c' \, Scq + d' \, Sdq;$$
involving {\it sixteen scalar constants}, namely those contained
in $a' \, b' \, c' \, d'$.

The {\it Problem\/} is to {\it invert\/} this {\it
function\/}~$f$; and the {\it solution\/} of that problem is
easily found, with the help of the new Lemmas I.\ and II., to be
the following:---
$$\eqalign{
  \hbox{VI}\ldots\quad
q(abcd) (a'b'c'd')
   &= (abcd) (a' b' c' d') f^{-1} r \cr
   &= [bcd] (r b' c' d') + [cda] (r c' d' a')
      + [dab] (r d' a' b') + [abc] (r a' b' c');\cr}$$
of which solution the correctness can be verified, {\it \`{a}
posteriori}, with the help of the same Lemmas.

Although the foregoing problem of {\it Inversion\/} had been
{\it virtually\/} resolved by Sir W.~R.~H.\ many years ago,
through a reduction of it to the corresponding problem respecting
{\it vectors}, yet he hopes that, as regards the Calculus of
{\it Quaternions\/}, the new solution will be considered to be an
important step.  He is, however, in possession of a general
{\it method\/} for treating questions of this class, on which he
may perhaps offer some remarks at the next meeting of the
Academy.

\bye

.
