% 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\sc=cmcsc10
\font\largesc=cmcsc10 scaled \magstep1

\pageno=0

\null\vskip72pt

\centerline{\Largebf QUATERNION PROOF OF A THEOREM OF}

\vskip 12pt

\centerline{\Largebf RECIPROCITY OF CURVES IN SPACE}

\vskip24pt

\centerline{\Largebf By}

\vskip24pt

\centerline{\Largebf William Rowan Hamilton}

\vskip24pt

\centerline{\largerm (British Association Report, 1862,
   Part~II, p.~4.)}

\vskip36pt

\vfill

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

\vskip 12pt

\centerline{\largerm 2000}

\vskip36pt\eject

\null\vskip36pt

{\largeit\noindent
Quaternion Proof of a Theorem of Reciprocity of Curves in Space.  By\/}
{\largerm Sir} {\largesc William Rowan Hamilton},
{\largeit LL.D., \&c.}

\bigbreak

\centerline{[{\it Report of the Thirty-Second Meeting of the British
Association for the Advancement of}}
\centerline{{\it Science; held at Cambridge in October 1862}.}
\centerline{(John Murray, London, 1863), Part~II, p.~4.]}

\bigbreak

Let $\phi$ and $\psi$ be any two vector functions of a scalar
variable, and $\phi'$, $\psi'$, $\phi''$, $\psi''$ their derived
functions, of the first and second orders.  Then each of the two
systems of equations, in which $c$ is a scalar constant,
$$(1) \, \ldots \quad
  {\rm S} \phi   \psi = c,\quad
  {\rm S} \phi'  \psi = 0,\quad
  {\rm S} \phi'' \psi = 0,$$
$$(2) \, \ldots \quad
  {\rm S} \psi   \phi = c,\quad
  {\rm S} \psi'  \phi = 0,\quad
  {\rm S} \psi'' \phi = 0,$$
or each of the two vector expressions,
$$(3) \, \ldots \quad
  \psi = {c V \phi' \phi'' \over S \phi \phi' \phi''},\quad
  (4) \, \ldots \quad
  \phi = {c V \psi' \psi'' \over S \psi \psi' \psi''},$$
includes the other.

If then, from any assumed origin, there be drawn lines to
represent the reciprocals of the perpendiculars from that point
on the osculating planes to a first curve of double curvature,
those lines will terminate on a second curve, from which we can
{\it return\/} to the first by a precisely similar process of
construction.

And instead of thus taking the {\it reciprocal\/} of a {\it
curve\/} with respect to a {\it sphere}, we may take it with
respect to {\it any surface\/} of the {\it second order}, as is
probably well known to geometers, although the author was lately
led to perceive it for himself by the very simple
{\it analysis\/} given above.

\bye
