ASTRONfOMk" JLffiRARY ASTRONOMY UBRAf^Y o^ ^ict ASTRONOMY LIBRARY Digitized by the Internet Archive in 2007 with funding from IVIicrosoft Corporation http://www.archive.org/details/elementsofquaterOOhamirich S ! lo ELEMENTS OF QUATERNIONS. BY THE LATE SIR WILLIAM ROWAN HAMILTON, LL. D., M. R. I. A., D. C. L. CANTAB. ; FKLr>OW Olf THE AMERICAN SOCIETr OF ARTS AND SCIKNCKS; OF THE SOCIETY OF AHTS FOR SCOTLAND ; OF THE ROYAL ASTRONOMrCAL SOCIKTT OF LONDON; AND OF THB ROYAL NORTHKRN SOCtKTY OF ANTIQUAKIES AT COPKNHAGEM : CORRESPONDING MICMBER OF THE INSTITUTK OF FRANCE ; HONOHART OR CORRESPONDING MEMBER OF THE IMPERIAL OR ROYAL ACADEMIES OF ST. PETERSBDRGH, BERLIN, AND TURIN ; OF THE ROYAL SOCIETIES OF EDINBURGH AND DUBLIN; OFTHK NATIONAL ACADEMY OF THE UNITED STATES; OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY ; THE NEW YORK HISTORICAL SOCIETY ; THE SOCIETY OF NATURAL SCIENCES AT LAUSANNE ; THE PHILOSOPHICAL SOCIETY OF VENICB ; . AND OF OTHER SCIENTIFIC SOCIETIES IN BRITISH AND FORKIGN COUNTRIES ; ANDREWS' PROFESSOR OF ASTRONOMY IN THE UNIVERSITY OF DUBLIN; AND ROYAL ASTRONOMER OF IRELAND. EDITED BY HIS SON, WILLIAM EDWIN HAMILTON, A.B.T.C.D., C.E. LONDON : LONGMANS, GREEN, & CO, 1866. ASTRONOMY UBRARY DUBLIN: ^rlntetJ at tl)t ©ntijersitp ^regg, BY M. H. GILL. ASTRONOMY UBRARV ^0 THE EIGHT HONOEABLE WILLIAM EAEL OF EOSSE, CHANCELLOR OF THE UNIVERSITY OF DUBLIN, ^\im Mximz IS, BY PERMISSION, DEDICATED, BY THE EDITOR. m^772ao In my late father's Will no instructions were left as to the publication of his Writings, nor specially as to that of the " Elements of Quaternions," which, but for his late fatal illness, would have been before now, in all their completeness, in the hands of the Public. My brother, the Rev. A. H. Hamilton, who was named Executor, being too much engaged in his cle- rical duties to undertake the publication, deputed this task to me. It was then for me to consider how I could best fulfil my triple duty in this matter — First, and chiefly, to the dead ; secondly, to the present public ; and, thirdly, to succeeding generations. I came to the con- clusion that my duty was to publish the work as I found it, adding merely proof sheets, partially corrected by my late father and from which I removed a few typo- graphical errors, and editing only in the literal sense of giving forth. Shortly before my father's death, I had several con- versations with him on the subject of the " Elements." In these he spoke of anticipated applications of Qua- ternions to Electricity, and to all questions in which the idea of Polarity is involved — applications which he never in his own lifetime expected to be able fully to develope, bows to be reserved for the hands of another Ulysses. He also discussed a good deal the nature of his own forthcoming Preface ; and I may intimate, that after dealing with its more important topics, he intended to advert to the great labour which ( vi ) the writing of the " Elements" had cost him — labour both mental and mechanical; as, besides a mass of subsidiary and unprinted calculations, he wrote out all the manuscript, and corrected the proof sheets, without assistance. And here I must gratefully acknowledge the ge- nerous act of the Board of Trinity College, Dublin, in relieving us of the remaining pecuniary liability, and thus incurring the main expense, of the publication of this volume. The announcement of their intention to do so, gratifying as it was, surprised me the less, when I remembered that they had, after the publication of my father's former book, " Lectures on Quaternions," defrayed its entire cost ; an extension of their liberality beyond what was recorded by him at the end of his Preface to the " Lectures," which doubtless he would have acknowledged, had he lived to complete the Pre- face of the " Elements." He intended also, I know, to express his sense of the care bestowed upon the typographical correctness of this volume by Mr. M. H. Gill of the University Press, and upon the delineation of the figures by the Engraver, Mr. Oldham. I annex the commencement of a Preface, left in ma- nuscript by my father, and which he might possibly have modified or rewritten. Believing that I have thus best fulfilled my part as trustee of the unpub- lished " Elements," I now place them in the hands of the scientific public. William Edwin Hamilton. January \st^ 1866. PREFACE.* [1.] The volume now submitted to the public is founded on the same principles as the " LECTURES, "^^^ which were pub- lished on the same subject about ten years ago : but the plan adopted is entirely new, and the present work can in no sense be considered as a second edition of that former one. The Table of Contents^ by collecting into one view the headings of the various Chapters and Sections, may suffice to give, to readers already acquainted with the subject, a notion of the course pursued : but it seems proper to offer here a few intro- ductory remarks, especially as regards the method of expo- sition, which it has been thought convenient on this occasion to adopt. [2.] The present treatise is divided into Three Books, each designed to develope one guiding conception or^view, and to illustrate it by a sufficient but not excessive number of exam- ples or applications. The First Book relates to the Concep- tion of a Vector^ considered as a directed right line^ in space of three dimensions. The Second Book introduces a First Con- ception of a Quaternion^ considered as the Quotient of two such Vectors. And the Third Book treats of Products and Powers of Vectors^ regarded as constituting a Second Principal Form of the Conception of Quaternions in Geometry. * This fragment, by the Author, was found in one of his manuscript books by the Editor. . TABLE OF CONTENTS. BOOK I. Pages. ON VECTORS, CONSIDERED WITHOUT REFERENCE TO ANGLES, OR TO ROTATIONS, . • . . 1-102 CHAPTER* I. FUNDAMENTAL PBINCIPLES EESPECTING TECTOES, . 1-11 SECTiONf 1. — On the Conception of a Yector ; and on Equa- lity of Vectors, . 1-3 Section 2. — On Differences and Sums of Yectors, taken two by two, 3-5 Section 3. — On Sums of Three or more Yectors, .... 5-7 Section 4. — On Coefficients of Yectors, 8-11 This short First Chapter should be read with care by a beginner ; any misconception of the meaning of the word "Vector" being fatal to progress in the Quaternions. The Chapter contains explana- tions also of the connected, but not all equally important, words or phrases, " revector," " pro vector," " transvector," "actual and null vectors," "opposite and successive vectors," " origin and term of a vector," " equal and unequal vectors," "addition and subtraction of vectors," "multiples and fractions of vectors," &c. ; with the nota- tion B - A, for the Vector (or directed right line) ab : and a deduction of the result, essential but not peculiarX to quaternions, that (what is here called) the vector-sum^ of two co-initial sides of a parallelo- gram, is the intermediate and co-initial diagonal. The term " Scalar" is also introduced, in connexion with coefficients of vectors. * This Chapter may be referred to, as I. i. ; the next as I. ii. ; the first Chap- ter of the Second Book, as II. i. ; and similarly for the rest. t This Section may be referred to, as I. i. 1 ; the next, as I. i. 2 ; the sixth Section of the second Chapter of the Third Book, as III. ii. 6 ; and so on. X Compare the second Note to page 203. b 11 CONTENTS. Pages, CHAPTER II. APPLICATIONS TO POINTS AND LINES IN A GIVEN PLANE, 11-49 Sectfon 1. — On Linear Equations connecting two Co-initial Vectors, 11-12 Section 2. — On Linear Equations between three Co-initial Vectors, 12-20 After reading these two first Sections of the second Chapter, and perhaps the three first Articles (31-33, pages 20-23) of the following Section, a student to whom the subject is new may find it convenient to pass at once, in his first perusal, to the third Chapter of the present Book; and to read only the two first Articles (62, 63, pages 49-51) of the first Section of that Chapter, respecting Vectors in Space, before proceeding to the Second Book (pages 103, &c.), which treats of Qua- ternions as Quotients of Vectors. Section 3. — On Plane Geometrical Nets, ...*.. 20-24 Section 4. — On Anharmonic Co-ordinates and Equations of Points and Lines in one Plane, 24-32 Section 5. — On Plane Geometrical !N'ets, resumed, . . . 32-35 Section 6. — On Anharmonic Equations and Vector Ex- pressions, for Curves in a given Plane, 35-49 Among other results of this Chapter, a theorem is given in page 43, which seems to offer a new geometrical generation of (plane or spheri- cal) curves of the third order. The anharmonic co-ordinates and equa- tions employed, for the plane and for space, were suggested to the writer by some of his own vector forms ; but their geometrical inter- pretations are assigned. The geometrical nets were first discussed by Professor Mobius, in his Barycentric Calculus (Note B), but they are treated in the present work by an entirely new analysis : and, at least for space, their theory has been thereby much extended in the Chapter to which we next proceed. CHAPTER III. APPLICATIONS OF VECTOKS TO SPACE, . . . 49-102 Section 1. — On Linear Equations between Vectors not Com- planar, 49-56 It has already been recommended to the student to read the first two Articles of this Section, even in his first perusal of the Volume ; and then to pass to the Second Book. Section 2 — On Quinary Symbols for Points and Planes in Space, 57-62 CONTENTS. iii Pages. Section 3, — On Anharmonic Co-ordinates in Space, . . 62-67 Section- 4. — On Greometrical ]S"ets in Space, 67-85 Section 5. — On Earycentres of Systems of Points ; and on Simple and Complex Means of Vectors, 85-89 Section 6. — On Anharmonic Equations, and Yector Ex- pressions, of Surfaces and Curves in Space, .... 90-97 Section 7. — On Differentials of Yectors, 98-102 An application oi finite differences^ to a question connected with ha- ry centres, occurs in p. 87. The anharmonic generation of a ruled hy- perboloid (or paraboloid) is employed to illustrate anharmonic equa- tions ; and (among other examples) certain cones, of the second and third orders, have their vector equations assigned. In the last Section, a defi- nition of differentials (of vectors and scalars) is proposed, which is afterwards extended to differentials of quaternions, and which is in- dependent of developments and of infinitesimals, but involves the conception of limits. Vectors of Velocity and Acceleration are men- tioned ; and a hint of Hodographs is given. BOOK II. ON QUATERNIONS, CONSIDERED AS QUOTIENTS OF VECTORS, AND AS INVOLVING ANGULAR RELA- TIONS, • 103-300 CHAPTER I, fundamental peinciples respecting quotients op vectors, 103-239 Very little, if any, of this Chapter II. i., should be omitted, even in a first perusal ; since it contains the most essential conceptions and notations of the Calculus of Quaternions, at least so far as quo- tients of vectors are concerned, with numerous geometrical illustra- tions. Still there are a few investigations respecting circumscribed cones, imaginary intersections, and ellipsoids, in the thirteenth Sec- tion, which a student may pass over, and which will be indicated in the proper place in this Table. Section 1 Introductory Remarks ; First Principles adopted from Algebra, 103-106 Section 2. — First Motive for naming the Quotient of two Vectors a Quaternion, 106-110 Sections. — Additional Illustrations, .110-112 It is shown, by consideration of an angle on a desk, or inclined plane, that the complex relation of one vector to another, in length and IV CONTENTS. Pages, in direction, involves generally a system oifour nvmerical elements. Many other motives, leading to the adoption of the name, " Quater- nion," for the suhject of the present Calculus, from its fundamental connexion with the number " Four," are found to present themselves in the course of the work. Section 4 On Equality of Quaternions ; and on the Plane of a Quaternion, 112-117 Section 5. — On the Axis and Angle of a Quaternion j and on the Index of a Eight Quotient, or Quaternion, . . 117-120 Section 6. — On the Reciprocal, Conjugate, Opposite, and iN'orm of a Quaternion; and on Null Quaternions, , . 120-129 Section 7. — On Radial Quotients ; and on the Square of a Quaternion, 129-133 Section 8. — On the Yersor of a Quaternion, or of a Vec- tor ; and on some General Formulae of Transformation, 133-142 In the five foregoing Sections it is shown, among other things, that the plane of a quaternion is generally an essential element of its constitution, so that diplanar quaternions are unequal; but that the tquare of every right radial (or right versor) is equal to negative unity^ whatever its plane may be. The Symbol V — 1 admits then of a real in- terpretation, in this as in several other systems ; but when thus treated as real, it is in the present Calculus too vague to be useful : on which account it is found convenient to retain the old signification of that symbol, as denoting the (uninterpreted) Imaginary of Algebra, or what may here be called the scalar imaginary, in investigations re- specting non-real intersections, or non-real contacts, in geometry. Section 9. — On Yector-Arcs, and Vector- Angles, consi- dered as Representatives of Versors of Quaternions ; and on the Multiplication and Division of any one such Versor by another, 142-157 This Section is important, on account of its constructions of mul- tiplication and division ; which show that the product of two diplanar versors, and therefore of two such quaternions, is not independent of the order of the factors. Section 10. — On a System of Three Right Versors, in Three Rectangular Planes ; and on the Laws of the Symbols, ijl, 157-162 The student ought to make himself /awjt7/«r with these laws, which are all included in the Fundamental Formula, CONTENTS. V In fact, a Quaternion may be symbolically defined to be a Quadrino- mial Expression of the form, q = w-\-ix+jy + kZj (B) in which w, x, y, z are four scalars, or ordinary algebraic quantities, while i,j, k are three new symbols, obeying the laws contained in the formula (A), and therefore not subject to all the usual rules of alge- bra : since we have, for instance, ij= + k, but ji=^-k; and i'^pk^ =^- ^jk)-i. Section 1 1 . — On the Tensor of a Vector, or of a Quater- nion ; and on the Product or Quotient of any two Qua- ternions, 162-174 Section 12 On the Sum or Difference of any two Qua- ternions ; and on the Scalar (or Scalar Part) of a Qua- ternion, 175-190 Section 13. — On the Right Part (or Yector Part) of a Quaternion ; and on the Distrihutive Property of the Multiplication of Quaternions, 190-238 Section 14. — On the Reduction of the General Quaternion to a Standard Quadrinomial Porm ; with a Pirst Proof of the Associative Principle of Multiplication of Qua- ternions, . . . 233-239 Articles 213-220 (with their sub-articles), in pp. 214-233, maybe omitted at first reading. CHAPTER II. ON COMPLANAE QITATEENIONS, OE QUOTIENTS OF VECTOES IN ONE PLANE ; AND ON POWEES, EOOTS, AND LOGAEITHMS OF QUATEENIONS, 240-285 The first six Sections of this Chapter (II. ii.) may be passed over in a first perusal. Section 1. — On Complanar Proportion of Vectors ; Fourth Proportional to Three, Third Proportional to Two, Mean Proportional, Square Root ; General Reduction of a Quaternion in a given Plane, to a Standard Bino- mial Porm, 240-246 Section 2. — On Continued Proportion of Four or more Vec- tors ; whole Powers and Roots of Quaternions ; and Roots of Unity, 246-251 vi CONTENTS. Pages. Section 3. —On the Amplitudes of Quaternions in a given Plane; and on Trigonometrical Expressions for such Quaternions, and for their Powers, 251-257 Section 4. — On the Ponential and Logarithm of a Quater- nion ; and on Powers of Quaternions, with Quaternions for their Exponents, 257-264 Section 5. — On Finite (or Polynomial) Equations of Alge- braic Form, involving Complanar Quaternions ; and on the Existence of n Eeal Quaternion Boots, of any such Equation of the n'^ Degree, 265-275 Section 6. — On the n^ - n Imaginary (or Symbolical) Roots of a Quaternion Equation of the n*'' Degree, with Coefficients of the kind considered in the foregoing Section, 275-279 Section 7. — On the Reciprocal of a Vector, and on Har- monic Means of Vectors ; with Remarks on the Anhar- monic Quaternion of a Group of Four Points, and on Conditions of Concircularity, 279-285 In this last Section (II. ii. 7) the short first Article 258, and the following Art. 259, as far as the formula VIII. in p. 280, should be read, as a preparation for the Third Book, to which the Student may next proceed. CHAPTER III. ON DIPLA.NAR QUATERNIONS, OR QUOTIENTS OF VECTORS IN ^^ SPACE : AND ESPECIALLY ON THE ASSOCIATIVE PRINCIPLE OF MULTIPLICATION OF SUCH QUATERNIONS, 286-300 This Chapter may be omitted, in a first perusal. Section 1. — On some Enunciations of the Associative Pro- perty, or Principle, of Multiplication of Diplanar Qua- ternions, 286-293 Section 2. — On some Geometrical Proofs of the Associative Property of Multiplication of Quaternions, which are independent of the Distributive Principle, .... 293-297 Section 3. — On some Additional Formulae, .... 297-300 CONTENTS. vii BOOK III. Pages. ON QUATERNIONS, CONSIDERED AS PRODUCTS OR POWERS OF VECTORS; AND ON SOME APPLICA- TIONS OF QUATERNIONS, 301 to the end. CHAPTER I. ON THE INTEEPEETATION OF A PRODUCT OF VECTORS, OR POWER OF A VECTOR, AS A QUATERNION, . . . 301-390 The first six Sections of this Chapter ought to be read, even in a first perusal of the -work. Section 1 . — On a First Method of Interpreting a Product of Two Vectors as a Quaternion, 301-303 Section 2. — On some Consequences of the foregoing Inter- pretation, 303-308 This^r*^ interpretation treats th.e product 13. a, as equal to the quotient /3 : a-i ; where a"i (or Ra) is the previously defined Eeeiprocal (II, ii. 7) of the vector a, namely a second vector.^ -which has an in- verse length, and an opposite direction. Multiplication of Vectors is thus proved to be (like that of Quaternions) a Bistributive, but not generally a Commutative Operation. The Square of a Vector is shown to be always a Negative Scalar, namely the negative of the square of the tensor of that vector, or of the number which expresses its length ; and some geometrical applications of this fertile principle, to spheres, &c., are given. The Index of the JRight Fart of a Product of Two Co- initial Vectors, OA, ob, is proved to be a right line, perpendicular to the Flane of the Triangle oab, and representing by its length the Double Area of that triangle ; while the Eolation round this Index, from the Multiplier to the Multiplicand, is positive. This right part, or vector part, Va/3, of the product vanisJies, when the factors are parallel (to one common line) ; and the scalar part, Sa/3, when they are rectangular. Section 3. — On a Second Method of arriving at the same Interpretation, of a Binary Product of Vectors, . . . 308-310 Section 4. — On the Symbolical Identification of a Eight Quaternion with its own Index : and on the Construc- tion of a Product of Two Rectangular Lines, by a Third Line, rectangular to both, 310-313 Section 5. — On some Simplifications of N'otation, or of Expression, resulting from this Identification ; and on the Conception of an Unit-Line as a Right Versor, . 313-316 vni CONTENTS. Pages. In this second interpretation^ which is found to agree in all its re- sults with the first, but is better adapted to an extension of the theory, as in the following Sections, to ternary products of vectors, a product of two vectors is treated as the product of the two right quaternions, of which those vectors are the indices (II. i. 5). It is shown that, on the same plan, the Sum of a Scalar and a Vector is a Quaternion. SECTioif 6. — On the Interpretation of a Product of Three or more Vectors as a Quaternion, 316-330 This interpretation is effected by the substitution, as in recent Sections, of Eight Quaternions for Vectors, without change oiorder of the factors. Multiplication of Vectors, like that of Quaternions, is thus proved to be an Associative Operation. A vector, generally, is reduced to the Standard Trinomial Form, p = ix-Vjy-\-Jcz; (C) in which i,j, h are the peculiar symbols already considered (II. i. 10), but are regarded now as denoting Three Rectangular Vector- Units, while the three scalars x, y, z are simply rectangular co-ordinates ; from the known theory of which last, illustrations of results are derived. The Scalar of the Product of Three coinitial Vectors, oa, ob, oc, is found to represent, with a sign depending on the direction of a rotation, the Volume of the Parallelepiped under those three lines ; so that it va- nishes when they are complanar. Constructions are given also for ^ro- ducts of successive sides of triangles, and other closed polygons, inscribed in circles, or in spheres ; for example, a characteristic property of the circle is contained in the theorem, that the product of the four suc- cessive sides of an inscribed quadrilateral is a scalar : and an equally characteristic (but less obvious) property of the sphere is included in this other theorem, that the product of the ^t?^ successive sides of an inscribed gauche pentagon is equal to a tangential vector, drawn from the point at which the pentagon begins (or ends). Some general For- mula of Transformation of Vector Expressions are given, with which a student ought to render himself very familiar, as they are of con- tinual occurrence in the practice of this Calculus ; especially the four formulae (pp. 316, 317) : V.yV/3a=aS/3y-)3Sya; (D) Vy/3a = aS|3y-/3S7a + ySa/3; (E) pSajSy = aS/3yp + /3Syap + ySa^Sp ; (F) |0Sa/3y = VjSySap + VyaS^p + Va/3Syp ; (G) in which a, (3, y, p are any four vectors, while S and V are signs of the operations of taking separately the scalar and vector parts of a qua- ternion. On the whole, this Section (III. i. 6) must be considered to be (as regards the present exposition) an important one ; and if it have been read with care, after a perusal of the portions previously indicated, no difficulty will be experienced in passing to any subse- quent applications of Quaternions, in the present or any other work. CONTENTS. ix Pages. Section 7. — On the Fourth Proportional to Three Diplanar Vectors, 331-349 Section 8.. — On an Equivalent Interpretation of the Fourth Proportional to Three Diplanar Vectors, deduced from the Principles of the Second Book, 349-361 Section 9. — On a Third Method of interpreting a Product or Function of Vectors as a Quaternion; and on the Consistency of the Eesults of the Interpretation so ob- tained, with those which have been deduced from the two preceding Methods of the present Book, . . .361-364 These three Sections may be passed over, in a first reading. They contain, however, theorems respecting composition of successive rota- tions (pp. 334, 335, see also p. 340); expressions for the sem^are« of a spherical polygon, or for half the opening of an arbitrary pyramid^ as the angle of a quaternion product, with an extension, by limits, to the semiarea of a spherical figure bounded by a closed curve, or to half the opening of an arbitrary cone (pp. 340, 341) ; a construction (pp. 358- 360), for a series of spherical parallelograms, so called from a partial analogy to parallelograms in o. plane ; a theorem (p. 361), connecting a certain system of such (spherical) parallelograms with ih^foci of a spherical conic, inscribed in a certain quadrilateral ; and the concep- tion (pp. 353, 361) of a Fourth Unit in Space (?^, or + I), which is of a scalar rather than a vector character, as admitting merely of change of sign, through reversal of an order of rotation, although it presents itself in this theory as the Fourth Troportional {if'^h;) to Three Beet- angular Vector Units. Section 10. — On the Interpretation of a Power of a Vector as a Quaternion, 364-384 It may be well to read this Section (III. i. 10), especially for the Exjjonential Connexions which it establishes, between Quaternions and Splierical Trigonometry, or rather Folygonometry, by a species of extetision of Moivr^s theorem, from the plane to space, or to the spliere. For example, there is given (in p. 381) an equation of six terms^ which holds good for every spherical j^entagon, and is deduced in this way from an exfetided exponential formula. The calculations in the sub-articles to Art. 312 (pp. 375-379) may however be passed over; and perhaps Art. 315, with its sub-articles (pp. 383, 384). But Art 314, and its sub-articles, pp. 381-383, should be read, on account of the exponential forms which they contain, of equations of the circle, ellipse, logarithmic spirals (circular and elliptic), h^liz, a.nd screw sur- face. Section 11 — On Powers and Logarithms of Diplanar Qua- ternions ; with some Additional Formulae, .... 384-390 X CONTENTS. It may suffice to read Art. 316, and its first eleven sub-articles, pp. 384—386. In this Section, tlie adopted Logarithm, \q, of a Qua- ternion q, is the simplest root, q\ of the transcendental equation, and its expression is found to be, l^ = lT^ + Z?.UVj, (H) in which T and U are the signs of tensor and versor, while Z. $■ is the angle of q, supposed usually to be between and tt. Such logarithms are found to be often useful in this Calculus, although they do not gene- rally possess the elementary property, that the sum of the logarithms of two quaternions is equal to the logarithm of their ^ro^wc^ ; this ap- parent paradox, or at least deviation from ordinary algebraic rules, arising necessarily from the corresponding property of quaternion multiplication, which has been already seen to be not generally a com- mutative operation {q'q" not = q'q\ unless (f and j" be complanar^. And here, perhaps, a student might consider his first perusal of this work as closed.* Pages. CHAPTER II. ON DIFFERENTIALS AND DEVELOPMENTS OF FUNCTIONS OF QUA- TERNIONS ; AND ON SOME APPLICATIONS OF QUATERNIONS TO GEOMETRICAL AND PHYSICAL QUESTIONS, 391-495 It has been already said, that this Chapter may be omitted in a first perusal of the work. Section 1. — On the Definition of Simultaneous Differen- tials, 391-393 * If he should choose to proceed to the Differential Calculus of Quaternions in the next Chapter (III. ii.), and to the Geometrical and other Applications in the third Chapter (III. iii.) of the present Book, it might be useful to read at this stage the last Section (I. iii. 7) of the First Book, which treats of Differentials of Vectors (pp. 98-102); and perhaps the omitted parts of the Section II. i. 13, namely Articles 213-220, with their subarticles (pp. 214-233), which relate, among other things, to a Oonstruction of the Ellipsoid, suggested by the present Calculus. But the writer will now abstain from making any further suggestions of this kind, after having indicated as above what appeared to him a minimum course of study, amounting to rather less than 200 pages (or parts of pages) of this Volume, which will be recapitulated for the convenience of the student at the end of the present Table. CONTENTS. XI Pages. Section 2. — Elementary Illustrations of the Definition, from Algebra and Geometry, 394-398 In the view here adopted (comp. I. iii. 7), differentials are not ne- cessarily, nor even generally, small. But it is shown at a later stage (Art. 401, pp. 626-630), that the principles of this Calculus a^/ot^ us, whenever any advantage may be thereby gained, to treat differentials as infinitesimals ; and so to abridge calculation, at least in many ap- plications. Section 3 — On some general Consequences of the Defini- tion, 398-409 Partial differentials and derivatives are introduced ; and differen- tials of functions of functions. Section 4 — Examples of Quaternion Differentiation, . . 409-419 One of the most important rules is, to differentiate the /ac^or* of a c^dXemion. product, in situ ; thus (by p. 405), 6..qq' = diq.q'-VqAq'. (I) The formula (p. 399), d. ^-» = - q-^^q.q-\ (J) for the differential of the reciprocal of a quaternion (or vector), is also very often useful ; and so are the equations (p. 413), dT^ d^ dU^ d^ Tq q Vq q and (p. 411), ^ • "' = Y "'^^^^ ' ^^) g being any quaternion, and a any constant vector-unit, while tisa variable scalar. It is important to remember (comp. III. i. 11), that we have not in quaternions the usual equation, Q unless q and d^ be complanar ; and therefore that we have not generally, dlp = ^, P if p be a variable vector ; although we have, in this Calculus, the scarcely less simple equation, which is useful in questions respecting orbital motion, dlP-=^, (M) a p if a be any constant vector, and if the plane of a and p be given (or constant). Section 5. — On Successive Differentials and Developments, of Functions of Quaternions, 420-435 xii CONTENTS. Pages. In this Section principles are established (pp. 423-426), respect- ing qnatermon functions which vanish together ; and a form of deve- lopment (pp. 427, 428) is assigned, analogous* to Taylor's Seriesy and like it capable of being concisely expressed by the symbolical equation^ 1 + A = £ + m"(p^ - ^3 ; (N) whence m(}>~^ — m'— m"
p, (N')
= anotJier symbol of linear operation, which it is shown how to de-
duce otherwise from 0, as well as the three scalar constants, m, m, m'.
The connected algebraical cubic (pp. 460, 461),
Jlf = w + m'c + m"c2 + c3 = 0, (0)
is found to have important applications ; and it is provedf (pp. 460,
462) that if SX^p = Sp^X, independently of X and p, in which case
the function is said to be self-conjugate, then this last cubic has three
real roots, ci, cz, cz ; while, in the same case, the vector equation,
\p^p = 0, (P)
is satisfied by a system of Three Heal and Rectangular Directions :
namely (compare pp. 468, 469, and the Section III. iii. 7), those of
the axes of a (biconcyclic) system of surfaces of the second order, re-
presented by the scalar equation,
* At a later stage (Art. 375, pp. 509, 510), a neiv Enunciation of Taylor's
Tlieorem is given, with a new proof , but stiU in a form adapted to quaternions.
t A simplified proof, of some of the chief results for this important case of
self-conjugation, is given at a later stage, in the few first subarticles to Art. 415
(pp. 698, 699).
CONTENTS. Xlll
Pages.
Sp(f>p = <7p2 -f C", in which C and C are constants. (Q,)
Cases are discussed; and general forms {coX^Qdi cyclic, rectangular,
focal, bifocal, &c., from their chief geometrical uses) are assigned,
for the vector and scalar functions ^p and Sp^/o : one useful pair of
such (cyclic) forms being, with real and constant values of ^, X, j«,
(l>p=ffp + YXpfi, Bp^p=ffp'^ + S\pnp. (R)
And finally it is shown (pp. 491, 492) that if fg be a linear and qua-
ternion function of a quaternion, q, then the Symbol of Operation, f
satisfies a certain Symbolic and Biquadratic Equation, analogous to the
cubic equation in ^, and capable of similar applications.
CHAPTER III.
ON SOME ADDITIONAL APPLICATIONS OF QUATERNIONS, WITH
SOME CONCLUDING REMARKS, . . 495 to the end.
This Chapter, like the one preceding it, may be omitted in a first
perusal of the Volume, as has indeed been already remarked.
Section 1. — Remarks Introductory to this Concluding
Chapter, 495-496
Section 2 On Tangents and Kormal Planes to Curves in
Space, 496-501
Section 3. — On J^ormals and Tangent Planes to Surfaces, 501-510
Section 4. — On Osculating Planes, and Absolute ]N"ornials,
to Curves of Double Curvature, ........ 511-515
Section 5. — On Geodetic Lines, and Families of Surfaces, 515-531
In these Sections, dp usually denotes a tangent to a curve, and v
a normal to a surface. Some of the theorems or constructions may
perhaps be new ; for instance, those connected with the cone of paral-
lels (pp. 498, 513, &c.) to the tangents to a curve of double curvature ;
and possibly the theorem (p. 525), respecting reciprocal curves in
space : at least, the deductions here given of these results may serve
as exemplifications of the Calculus employed. In treating of Families
of Surfaces by quaternions, a sort of analogue (pp. 629, 530) to the for-
mation and integration of Partial Differential Equations presents
itself; as indeed it had done, on a similar occasion, in the Lectures
(p. 674).
Section 6. — On Osculating Circles and Spheres, to Curves
in Space; with some connected Constructions, . . . 531-630
The analysis, however condensed, of this long Section (III. iii. 6),
cannot conveniently be performed otherwise than under the heads of
the respective Articles (389-401) which compose it: each Article
XIV CONTENTS.
Pages,
being followed by several subarticles, which form with it a sort of
Series*
Article 389. — Osculating Circle defined, as the limit of a circle,
which touches a given curve (plane or of double curvature) at a given
point p, and cuts the curve at a near point q (see Fig. 77, p. 511).
Deduction and interpretation of general expressions for the vector k
of the centre k of the circle so defined. The reciprocal of the radius
KP being called the vector of curvature, we have generally,
Vector of Curvature = (p - k)-i = -=~ = — Y ~ = &c. ; (S)
•^ vr- y rp^i^ dp dp
and if the arc (s) of the curve be made the independent variable, then
d2p
Vector of Curvature = p" = Ds^p = ~j. (S')
Examples : curvatures of helix, ellipse, hyperbola, logarithmic spiral ;
locus of centres of curvature of helix, plane e volute of plane ellipse, 531-535
A.RTICLE 390 — Abridged general calculations; return from (S')
to (S), 535, 536
Article 391 Centre determined by three scalar equations ;
Folar Axis, Polar Developable, 537
Article 392. — Vector Equation of o^cvloXm^ civc\e, 538,539
Article 393. — Intersection (or intersections) of a circle with a
plane curve to which it osculates ; example, hyperbola, 539-541
Article 394. — Intersection (or intersections) of a spherical curve
with a small circle osculating thereto ; example, spherical conic ; con-
structions for the spherical centre (or pole) of the circle osculating to
such a curve, and for the point of m^ersec^ww above mentioned, . . 541-549
Article 395. — Osculating Sphere, to a curve of double curvature,
defined as the limit of a sphere, which contains the osculating circle to
the curve at a given point p, and cuts the same curve at a near point
Q (comp. Art. 389). The centre s, of the sphere so found, is (as usual)
the point in which th.Q polar axis (Art. 391) touches the cusp-edge of
tlie polar developable. Other general construction for the same centre
(p. 551, comp. p. 573). General expressions for the vector, a = os,
and for the radius, R = Wp', -K'' is the spherical curvature (comp. Art.
897). Condition of Sphericity {8=1), and Coefficient of Non- sphericity
(^S — 1), for a curve in space. When this last coefficient is positive
(as it is for the helix), the curve lies outside the sphere, at least in the
neighbourhood of the point of osculation, 549-553
Article 396. — Notations r, r, . . for D«p, Bs^p, &c. ; properties
of a curve depending on the square (s^) of its arc, measured from a
given point p ; r = unit-tangent, t' = vector of curvature, r~^ = Tr' = cur-
vature (oT first curvature, comp. Art. 397), v = tt' = binormal ; the
* A Table of initial Pages of all the Articles will be elsewhere given, which will
much facilitate reference.
CONTENTS. XV
Pages.
three planes, respectively perpendicular to r, r', v, are the normal
plane, the rectifying plane, and the osculating plane ; general theory
of emanant lines and planes, vector of rotation, axis of displacement, oscit-
lating screw surface ; condition of developahility of surface of emanants, 554-559
Article 397. — Properties depending on the cube (s^) of the are ;
Radius r (denoted here, for distinction, by a roman letter), and Vector
ir^T, oi Second Curvature ; this radius r may be either positive or ne-
gative (whereas the radius r of first curvature is always treated as
positive), and its reciprocal r^ may be thus expressed (pp. 663, 669),
d^o r"
Second Curvature* = r-i = S ^,, \^ , (T), or, r-i = S — , CT')
the independent variable being the arc in (T'), while it is arbitrary in
(T) : but quaternions supply a vast variety of other expressions for this
important scalar (see, for instance, the Table in pp. 574, 675). "We
have also (by p. 560, comp. Arts. 389, 395, 396),
Vector of Spherical Curvature = sp~i = (p— = 1. (E2')
(m). The equations (Wi), (Wi) give (comp. the Note to p. 684),
d(T=di2.Uv; (F2)
combining which with (C2), we see that the equations (Hi) of p. xxv.
are satisfied, when the derived vectors p' and tr' are changed to the cor-
responding differentials, dp and d v, or V = ^"'w, (Ce)
connecting the two new vectors (/) with each other, they are con-
nected with p and ft by the equations (pp. 738, 739),
S^t; = -1, (De); Spi; = 0; (Ee)
Spw=-1, (Fe); S/^a; = 0; (Ge)
and generally (p. 739), the following Rule of the Interchanges holds
good: In any formula involving p, fi, v, w, and 0, or some of them,
it is permitted to exchange p with /a, v -with a>, and with 0'' ; pro-
vided that we at the same time interchange dp with Se, but not gene-
rally* Sfi with dp, when these variations, or any of them occur.
(A). We have also the relations (pp. 739, 740),
_ p-i = v-iVv/i = fi + v-i^; (He)
— /*-J = (o'^Ywp = p + 0)-' ; (le)
* This apparent exception arises (pp. 739, 740) from the circumstance, that
dp and ^6 have their directions generally fixed, in this whole investigation
(although subject to a common reversal by +), when p and p. are given ; whereas
dfi continues to be used, as in (a), to denote any infinitesimal vector, tangential to
the index- surface at the end of /u.
Ivi CONTENTS.
with others easily deduced, whichmay all be illustrated by the above-
cited Fig. 89.
(i). Among such deductions, the following equations (p. 740)
may be mentioned,
(Yv nth
a;2 + y2 = 1 for the 1st, and a:^ + y2 + ^2 = i for the Ilnd,
signify 1st, that p is the vector of an ellipse, and Ilnd, that it is the vector of an
ellipsoid, with the origin o for their common centre, and with OA, OB, or OA, ob,
DC, for conjugate semi-diameters.
(3.) The equation (comp. 46),
p = t''a^ui^^(t^uyy,
expresses that p is the vector of a cone of the second order, with o for its vertex (or
centre), which is touched by the three planes obc, oca, gab ; the section of this cone,
/> made by the plane abc, being an ellipse (comp. Fig. 25), which is inscribed in the
/t"'' triangle ABO ; and the middle points A, b', c', of the sides of that triangle, being tlje
points of contact of those sides with that conic.
(4.) The equation (comp. 53),
p = r'a + «"i/3 + r-iy, with < + u + v = 0,
expresses that p is the vector of another cone of the second order, with o still for
vertex, but with OA, ob, oc for three of its sides (or rays). The section by the
plane abc is a new ellipse, circumscribed to the triangle abc, and having its tangents
at the corners of that triangle respectively parallel to the opposite sides thereof.
(5 J The equation (comp. 54),
p=t^a + m'/3 + v^y, with t +- m + « = 0,
signifies that p is the vector of a cone of the third order, of wliich the vertex is still
the origin ; its section (comp. Fig. 27) by the plane abc being a cubic curve, whereof
the sides of the triangle abc are at once the asymptotes, and the three (real) tangents
of inflexion; while the mean point (say o') of that = A(p (t) = (p(t + At)-(p (t).
Suppose now that the other finite dif-
ference, A^, is the n*^ part of a new
scalar, u ; and that the chord A/>, or pq, is in like manner (comp.
Fig. 32), the n^^ part of a new vector, ff„, or pr ; so that we may
write,
nAt = u, and ?iA/3 = w . pq = o-,^ = pr.
Then, if we treat the two scalars, t and u, as constant, but the num-
ber n as variable (the, form of the vector function (f), and the origin o,
being given), the vector p and the;?om^ p will he fixed: but the two
points Qt and R, the two differences At and Ap, and the multiple vector
nAp, or yp = y/3 + (a; + .y) y ;
and therefore,
2p = xDxp + !/T>yp ;
so that the three vectors, p, D^p, i>,jp, if drawn (18) from one common origin, are con-
tained (22) in one common plane; which implies that the tangent plane to the sur-
face, at any point p, passes through the origin o : and thereby verifies the conical
character of the locus of that point p, in which the variable vector p, or op, termi-
nates.
(12.) If, in the same example, we make a: = 1, y = — 1, we have the values,
P = l(a-V^), ^xp = ct, Dyp = -/3;
whence it follows that the middle point, say c', of the right line ab, is one of the
points of the conical locus ; and that (comp. again the sub-art. 3 to Art. 99, and the
recent sub-art. 9) the right lines OA and ob are parallel to two of the tangents to the
surface at that point ; so that the cone in question is touched by the plane aob, along
the side (or ray) oc'. And in like manner it may be proved, that the same cone is
touched by the two other planes, BOC and COA, at the middle points a' and b' of the
two other lines BC and CA ; and therefore along the two other sides (or rays), oa'
and ob' : which again agrees with former results.
(13.) It will be found that a vector function of the turn of two scalar variables,
t and (\t, may generally be developed, by an extension of Taylor's Series, under the
form,
0(< + dO = ^(O+d<&(O + id2^(O + ^d'^(O + --
d2 d3
"^^^"^^ 2 + 2:^+--^^^'^=''^^'^'
it being supposed that d'^t= 0, dH = 0, &c. (comp. sub-art. 6). Thus, if BM = r> MC, ^ AM = r\ mn ;
so that the arcs an and bc bisect each other in m. Let fall from n a perpendicular
nd' on BC, so that
III. . . «-> bd'= n a'c ;
and let b", o" be two other auxiliary points, on the sides b and c, or on those sides
prolonged, which satisfy these two other equations,
IV. . . o b'b" = r^ AC, f^ C'C" = n AB,
(2.) Then the perpendiculars to these last sides, CA and AB, erected at these last
points, b" and c", will intersect each other in the point D, which completes (ZQb^ the
spherical parallelogram bacd ; and the foot of the perpendicular from this point d,
on the third side bc of the given triangle, will coincide (comp. 305, (2.) ) with the
foot d' of the perpendicular on the same side from n ; so that this last perpendicular
nd' is one locus of the point D.
(3.) To obtain another locus for that point, adapted to our present purpose, let
E denote now* that new point in which the two diagonals, ad and bc, intersect each
other ; then because (comp. 297, (2.) ) we have the expression,
V. . . OD = u(mj3 + ny - ?a),
we may write (comp. 297, (25.), and (30.)),
VI. . . OE = u (m/3 + ny), whence VII. . . sin be : sin ec = w : m = cos ba' : cos a'c ;
the diagonal ad thus dividing the arc bc into segments, of which the sines are pro-
portional to the cosines of the adjacent sides of the given triangle, or to the cosines
of their projections ba' and a'c on bc ; so that the greater segment is adjacent to the
lesser side, and the middle point M of bc (1.) lies between the points a' and E.
(4.) The intersection e is therefore a known point, and the great circle through
A and e is a second known locus for
D ; which point may therefore be
found, as the intersection of the arc
AE prolonged, with the perpendicular
nd' from N (1.). And because e lies
(3.) beyond the middle point m of bc,
with respect to the foot a' of the per-
pendicular on bc from a, but (as it
is easy to prove) not so far beyond
M as the point d', or in other words
falls between M and d' (when the arc
BC is, as above supposed, less than a
quadrant), the prolonged arc ae cuts
nd' between N and d'; or in other
words, the perpendicular distance of
the sought fourth point D, from the
given diagonal BC of the parallelo-
gram, is less than the distance of the
given second point A, from the same given diagonal, (Compare the annexed Fig. 73.)
Fig. 73.
It will be observed that m, n, e have not here the same significations as in
360 ELKMENTS OF QUATERNIONS. [bOOK III.
(6.) Proceeding next (305) to derive a new point Ai from b, i>, c, as d has been
derived from b, a, c, we see that we have only to determine a new* auxiliary point
F, by the equation,
VIII. . . --> EM = r. MF ;
and then to draw df, and prolong it till it meets a a' in the required point Ai, which
will thus complete the second parallelogram, bdcai, with bc (as before) for a given
diagonal.
(6.) In like manner, to complete (comp. 305, (5.) ), the third parallelogram,
BAiCDi, with the same given diagonal bc, we have only to draw the arc AiE, and
prolong it till it cuts nd' in Di ; after which we should find the point A2 of a fourth
successive parallelogram BD1CA2, by drawing DiF, and so on for ever.
(7.) The constant and indefinite tendency, of the derived points d, Di, . . to the
limit-point d', and of the other (or alternate^ derived points Ai, Ag, . • to the other
limit-point a', becomes therefore evident from this new construction ; the final (or
limiting') results of which, we may express by these two equations (comp. again
305,(5.)),
IX. . . Dd) = d' ; A 0, s>0, s^l, t^O, *<2,
may represent any vector ; the length or tensor of this line p being r ; its inclina-
tion\ to k being sir ; and the angle through which the variable />Zane kp may be
* Compare the shortly following sub-article (11.).
t If we conceive (compare tlie first Note to page 322) that the two hnes i andy
are directed respectively towards the south and west points of the horizon, while the
third line k is directed towards the zenith^ then sir is the zenith-distance of p; and
tTT is the azimuth of the same line, measured /rom south to west, and thence (if ne-
cessary) through north and east, to south again.
366 ELEMENTS OF QUATERNIONS. [bOOK III.
conceived to have revolved, frem the initial position ki, with an initial direction to-
wards the position kj, being t-jr.
(11.) In accomplishing the transformation XVI., and in passing from the ex-
pression XVIII. to the less symmetric but equivalent expression XIX., we employ
the principle that
XXI. . . */-* = S-i = - K (kj-o) =j^k ;
which easily admits of extension, and may be confirmed by such transformations as
VII. or VIII.
(12.) It is scarcely necessary to remark, that the definition or interpretation I.,
of the power a* of an?/ vector a, gives (as in algebra) the exponential property,
XXII. ..a*a< = a«+«,
whatever scalars may be denoted by s and t ; and similarly when there are more than
two factors of this form.
(13.) As verifications of the expression XVIII., considered as representing a vec-
tor, we may observe that it gives,
XXIII... p = -Kp; and XXI V. . . p2 = _ r2.
(14.) More generally, it will be found that if m* be any scalar, we have the
eminently simple transformation :
XXV. . . |0« = (rk^j^kj-^k-^y = r^'ktfktfj-«k-*.
In fact, the two last expressions denote generally two equal quaternions, because
they have, 1st, equal tensors, each = r" ; Ilnd, equal angles, each = L (^'0 ; and
Ilird, equal (or coincident) axes, each formed from + A by one common system of
two successive rotations, one through stt round j, and the other through tn round k.
309. Ani/ quaternion, q, which is not simply a scalar^ may
be brought to i\\Qform a\ by a suitable choice of the base, a,
and of the exponent, t ; which latter may moreover be supposed
to fall between the limits and 2 ; since for this purpose we
have only to write,
1...^=^^; II. . .Ta = T^^ III. . .Ua = Ax.^;
TT
and thus the general dependence of a Quaternion, on a Scalar
and a Vector Element, presents itself in a new ivay (comp. 17,
207, 292). When the proposed quaternion is a versor, T^- = 1,
* The emplojonent of this letter u, to denote what we called, in the two preced-
ing Sections, a. fourth unit, &c., was stated to be a merely temporary' one. In gene-
ral, we shall henceforth simply equate that scalar unit to the number one ; and die-
note it (when necessary to be denoted at all) by the usual symbol, 1, for that num-
ber.
CHAP. I.] EXPRESSIONS FOR VERSORS AS POWERS. 367
we have thus Ta = 1 ; or in other words, the base a, of the
equivalent jooi^er a', is an unit-line. Conversely, every versor
may be considered as a power of an unit-line^ with a scalar ex-
ponent^ t^ which may be supposed to be m. general positive, ^-rA
less than two ; so that we may write generally^
lY...Vq^a\ with V. . .a = Ax.y = T-U,
and VI. . . ^ > 0, t<2\
although if this versor degenerate into 1 or - 1, the exponent
t becomes or 2, and the base a has an indeterminate or ar-
bitrary direction. And from such transformations ofversors
new methods may be deduced, for treating questions of sphe-
rical trigonometry, and generally of spherical geometry.
(1.) Conceive that p, q, k, in Fig. 46, are replaced by a, b, c, with unit-vec-
tors a, j3, y as usual ; and let a;, y, z be three scalars between and 2, determined
by the three equations,
VII. . . x7r = 2A, ^7r = 2B, 27r = 2c',
where a, b, c denote the angles of the spherical triangle. The three versors, indi-
cated by the three arrows in the upper part of the Figure, come then to be thus de-
noted :
VIII. . . 9 = a^ ; 9' = /32/ ; q'q = y2-z .
so that we have the equation,
IX. . . /3J/a*= 72-a ; or X. . . y^^va^^- 1 ;
from which last, by easy divisions and multiplications, these two others immediately
follow :
X'. . . a^y^i^v = - 1 ; X", . . ^va^'y^ = - 1 ;
the rotation round a from /3 to y being again supposed to be negative.
(2.) In X. we may write (by 308, VIII.),
XI. . . a»^ = casA ; /3J' = c/3sb; y« = cySC;
and then the formula becomes, for any spherical triangle, in which the order of ro-
tation is as above :
XII. . . cysc . c/3sB . caSA = — 1;
or (com p. IX.),
XIII. . . - COS c + y sin c = (cos b + jS sin b) (cos a + a sin a).
(3.) Taking the scalars on both sides of this last equation, and remembering that
S/3a= - cos c, we thus immediately derive one form of ihQ fundamental equation of
spherical trigonometry ; namely, the equation,
XIV. . . cos c + cos a cos b = cos c sin a sin b,
(4.) Taking the vectors, we have this other formula :
XV. . . y sin c = a sin a cos B + jS sin b cos a + V/3« sin a sin E ;
which is easily seen to agree with 306, XII., and may also be usefully compared
with the equation 210, XXXVII.
368 ELEMENTS OF QUATERNIONS. [bOOK III.
(5.) The result XV. may be euunciated in the form of a Theorem^ as follows : —
" If there be any spherical triangle abc, and three lines he drawn from the
centre O of the sphere, one towards the point a, with a length = sin A cos B ; another
towards the point b, with a length = sin b cos A ; and the third perpendicular to the
plane aob, and towards the same side of it as the point C, with a length = sin c sin A
sin B ; and if with these three lines as edges, we construct a parallelepiped : the
intermediate diagonal from o will he directed towards c, and will have a length
= sinc."
(6.) Dividing both members of the same equation XV. by p, and taking scalars,
we find that if p be any fourth point on the sphere, and q ih.^ foot of the perpendi-
cular let fall from this point on the arc ab, this perpendicular pq being considered as
positive when c and p are situated at one common side of that arc (or in one common
hemisphere, of the two into which the great circle through a and b divides the sphe-
ric surface), we have then,
XVI. . . sin c cos pc = sin a cos b cos pa + sin b cos a cos pb + sin a sin b sin c sin pq ;
a formula which might have been derived from the equation 210, XXXVIIL, by first
cyclically changing aftcABC to 6caBCA, and then passing from the former triangle to
its polar, or supplementary : and from which many less general equations may be
deduced, by assigning particular positions to p.
(7.) For example, if we conceive the point p to be the centre of the circumscribed
small circle abc, and denote by R the arcual radius of that circle, and by s the
se7nisum of the three angles, so that 2s=A + B4-c=7r + 9, ^q, according to the law expressed by the formula 325, IV. ; and that then the
limits to which these derived functions fn(q, q'), &c. tend, when the number n tends
to infinity, are denoted by these other functional symbols, f{q, q'), &c.
(4.) To prove this otherwise, or to establish this general property VII., of func-
tions of this class f{q, q), without any use of differentials, we may observe that the
general and rigorous transformation 326, V., of the formula 325, IV. by which the
functions /«(g, q') are defined, gives for all values of n the equation :
VIII. . .
an equation of which the limiting form, for n = co, is (with the notations used) the
equation VII. which was to be proved.
(5.) It is scarcely worth while to verify the general formula X., by any parti-
cular example : yet, merely as an exercise, it may be remarked that if we take the
forms,
XI...fq = q^ ^q = q^, ^j^q = q\
of which the two first give, by 325, VI., the common derived form,
XII. . . /„ {q, q) = (Pn (?, «?') = qq' + q'q + «"' 9'^
the formula X. becomes,
XIII. . . ^„(g, q') = J
X. . . m^Xfiv = S
XL . . V^CV^i.) ^
or briefly, i/ Ujl^c ' ( ^'^"^^ ^
X'. . . m'&\fjiu=^. 0V.
And thus the proposed Problem of Inversion, of the linear and vector
function 0, may be considered to be, in all its generality, resolved;
because it is always possible so to prepare the second members of the
equations X. and XL, that they shall take the forms indicated in the
first members of those equations.
(1.) For example, if we assume any three diplanar vectors a, a\ a", and deduce
from them three other vectors /3o, /3'o, jS'o, by the equations,
XII. . . (3oSaa'a" = Ya'a', /3'oSaa'a" = Ya'a, /3"oSaa'a" = Yaa,
then ani/ vector p may, by 294, XV., be expressed as follows,
XIIL . . p = (3oSap + /3'oSa'p + (5"oQa"p ;
if then we write,
XIV. . .(3 = ^i3o, /3' = V'/3o', jS" = (PI3\
we shall have the following General Expression, or Standard Trinomial Form, for
a Linear and Vector Function of a Vector,
XV. . . 0p = jSSajo + jS'Sa'p + /3"Sa"p ;
containing, as we see, three vector constants, (3, /3', /3", or nine scalar constants,
such as
XVI. . . Sa|3, Sa'(3, Sa"/3; SafS', Sa'jS', Sa"(5' ] Sa(5", Sa'jS", Sa"(i" ;
which may (and generally will) all vary, in passing from one linear and vector func-
tion ^'v, 347, xr.,
we get these two other equations,
IV. . . - ^V. v^'ju = mY-iK^'v ; V. . . -^Y.-^'ii-^'v = m^Vjuv ;
in the former of which i\iQ points may be omitted, while in
each of them accented may be exchanged with unaccented
symbols of operation : and we see that the law of homogeneity
(347, (6.) ) is preserved. And many other transformations of
the same sort may be made, of which the following are a few
examples.
(1.) Operating on V. by ^-^ or by m"'^, we get this new formula,
VI. . . Y,\l>'ix\p'v = m^Ynv;
comparing which with the lately cited definition of tp, we see that we may change
(f> to \p, if we at the same time change tp to mip, and therefore also m to m^ ; 0' being
then changed to \p', and ip' to mtp'.
(2.) For example, we may thus pass from IV. and V. to the formulis,
VII. . . - (l>Yv(p'fi =Yfji\p'v, and VIII. . . \j'v) : SX^v ;
or, interchanging \ with X', &c., in the dividends,
VII. . . Kqx = (X^'X' + /*0'|ii' + v '+ /i^y + vxl^'v) : SXfiv ;
where X' = Yfiv, &c., as before.
(3.) Operating with Y.p on Vg'i, and observing that
V. pVX>X = 0(XSX'|t)) - X'SX0>, &c.,
while * ^ (XSX'p + fiSfi'p + vSv'p) = 0(oSX/iv,
and X'SX^'p + fi'SfKp'p + v'Sv^'p - ^'pSX/xr,
with similar transformations for Y.pVqz, we find that
IX. . . Y.pYqi = (pp-(p'p;
and X. . . V. pYq2 =4^p- ^''p-
(4.) Accordingly, since
Sp ((pp - ip'p) = - Sp (0p - ip'p) = 0,
the vector 0p — ^'p, if it do not vanish, must be a line perpendicular to p, and there-
fore of the form,
XI. . . (pp-(p'p = 2Yyp,
in which y is some constant vector ; so that we may write,
XII. . . 0p = 0op + Vyp, 0'p = 0op-Vyp,
where the function ^oP is rts own conjugate, or is the common self- conjugate part of
0p and 0'p ; namely the part,
XIII. . . 0op = K^P + f |o)-
And we see that, with this signification of y,
XIV. . . V(X>X + fi'iPfi + v'(pv) = - 2ySX/*v, or XIV'. . . V91 = - 2y ;
while we have, in like manner,
XV. . . V(X'^X + fi'^ix + v'^v) = - 25SX/XV, or XV'. . . V92 = - 2^,
if XVI. . .^|/p-4''p = 2V^p.
As a confirmation, the part 'n) = 0x^/"''»
as required.
(6.) Since, then,
S . X^x^' = S . X(/Ln//V - vyp'ix) = S(/u'»/''/tt + v'tp'v),
the value III. of m' gives, by 349, VI., the equation,
XIX. . . m'SXX'=S.X(»p+^x)^',
X and X' being independent vectors ; hence,
XX. . .■^p + (pxp = m'pj
or briefly,
XXI. . . -tp + satisfies this new cubic,
IX. . . = 2 (O + \m") ;
while ^' satisfies at the same time a cubic equation with the
same coefficients (comp. 350, (8.)), namely
(1.) We saw in 351, (1.), (2.). that when m = the line y\/'p has generally afixed
direction, to which that of the line (pp is perpendicular ; and that in like manner the
line ;//jO has then another fixed direction, to which (/)'p is perpendicular. If then the
plane loci of 0p and 0'p be at right angles to each other, we must also have the
fixed lines i//'\ and »^/i rectangular, or
XI. . . = S.i/z'X^'/i = SXi^V,
independently of the directions of \ and n ; whence
XII. . . = i//3^, or XIII. . . x^2 = 0,
since jit is an arbitrary vector.
(2.). Now in general, by the functional relation 350, XXI. combined with
»//0 = w, we have the transformation,
XIV. . . rp^ = tp^m' — '= 0.
(17.) Since we have thus xV = ^» where /*' is a line in the fixed direction of
0'2p, we have also the equation,
XXXV. . . = Spx>'= Sfi'xp, or xP "»-/*' ;
the locus of xp is therefore a plane perpendicular to the line ju' ; and in like manner,
H is the norjnal to a plane, which is the locus of the line x'p« And the symbolical
equations, X = ^i P^'X-^: °^^^y ^® interpreted as expressing, that the operation
reduces every line in this new plane of xp to thej^a;ec? direction of 0-^0, or of \' ; and
that the operation 0^ destroys every line in this plane -L ju'; with analogous results,
when accented are interchanged with unaccented symbols. Accordingly we see, by
XXXII., that (pxp has the fixed direction of Yaa', or of V ; and that . ^xP = 0,
because 0\' = 0.
(18.) We see also, that the operation 0x> or X0» destroys every line in the plane
n, to which the operation reduces every line ; and that thus the symbolical equa-
tions, ;
XLVII. . . Yaia'i .Yj3'il3i = Vaa'. V/3'/3 ;
80 that the sea ?ar, Saj3 + Sa'/3' ; the vector, /3Sap + jS'Sa'p ; and the quaternion *
Yaa.Yj3'(3, remain unaltered in value, when we pass from a given system oi four
vectors a(Ba'(i\ to another system of four vectors ai/3ia'i/3'i, by expressions of the
forms XLIV.
(28.) With the help of this general principle (27.), and of the remarks in (26.),
it may be shown, without difficulty, that in the case (23.) the vector constants of
the binomial expression /3Sap + (3'Sa'p for become therefore,
XLVI. ..c2-y2 = 0, Ci = + yri.Ty, C2 = --/rT.Ty,
where v— 1 is the imaginary of algebra (comp. 214, (3.) ) ; thus by XX. or XXI.,
and XXII.) we have now
XLVII. . . i//i(r = - ySy ipi = 0. while
^2P2= for the other, so that each satisfies XVI., or I. ; and these are precisely the
fixed directions of ^ip and "ir-zp, if ■*■! and ^2 he formed from ^ by changing $ to
$1 and $2 respectively.
(7.) Cases of equal and of imaginary roots need not be dwelt on here ; but it may
be remarked in passing, that if the function 0p have the particular form {g being
any scalar constant),
XIX. . . 0p = gp, then XX. . .{g- ')Ypv = Y(px^-^XfJ^)>
which can all be otherwise proved, and from the last of which (by changing to i/^,
&c.) we can infer this other of the same kind,
XXIX. . . (m' + \ly')Ypv = Y{p(pxv - v 'YiYr ;
XII. . . j (?r = (m' - xO Sr + (ex + ^)Vr - St'xVr - Vt'Vf Vr ;
( Hr = (m" _ £) Sr + (e + x) Vr - Se'r ;
and w, »', w", n'" are four scalar constants, namely,
^ n = em- Bt^s (as in 364, XXIX) ;
XIII... J"r^+'"^':^:,'r'
n = m + em — Sf £ ;
n" = m" + e.
(4.) Developing then the symbolical equation VII., with the help of X. and XI.,
and comparing powers of c, we obtain these new symbohcal equations (comp. 350,
XVI. XXI. XXIII.) :
(H=n"~f',
XIV. . . G?=n"-/a-=n"-n'7+/2;
f F= n' -fG = n' - n'/+ n'p -^ ■
and finally,
XV. . . » = Ff= n'f- np + n'p -/S
which is only another way of writing the symbolic and biquadratic equation I.
(5.) Other functional relations exist, between these various symbols of operation,
which we cannot here delay to develope : but we may remark that, as in the theory
of linear and vector functions, these usually introduce a mixture of functions with
their conjugates (comp. 347, XL, &c.).
(6.) This seems however to be a proper place for observing, that if we write, as
temporary notations, for any four quaternions, p, q, r, s, the equations,
XVI. . . [pq-]=pq-qp', XVII. . . (;>?r) = S ./) [^r] ;
XVIII. . . [pqr-] = (pqr) + [rq^] Sp + [pr] Sq + [qp^ Sr ;
and XIX. . . (jpqrs)= S./>[jr5],
so that \^pq'] is a vector, (pqr') and (pqrs) are scalars, and [pgr^ is a quaternion, we
shall have, in the first place, the relations :
XX...lpq-]=-lqpl [p/)] = 0;
XXI. ..(pqr) = - {qpr) = (qrp) = &c. , (ppr) = ;
XXII. . . [pqr] = - [qpr] = [qrp] = &c., [ppr] = ;
and XXIII. . . (pqrs) = — (qprs) = (qrps) = — (qrsp) = &c., {pprs) = 0.
(7.) In the next place, if t be any fifth quaternion, the quaternion equation,
XXIV. . . =p(qrst) + q(rstp) +r(stpq) + s(tpqr) + t(pqrs),
which may also be thus written,
XXV. . . q (prst) ~p{qrst) f r(pqst) + s (prqt) +t(prsq),
and which is analogous to the vector equation,
XXVI. . . 0=aS(3y5-(3Syda + ySdaP-dSal3y,
CHAP. II.] GENERAL QUATERNION TRANSFORMATIONS. 493
or to the continually* occurring transformation (comp. 294, XIV.),
XXVII. . . SSaf3y =■ a8d(3y + (SSady + ySa(Bd,
is satisfied generally^ because it is satisfied for thenar distinct suppositions,
XXVIII. . . q =p, q = r, q = s, q = t.
(8.) In the third place, we have this other general quaternion equation,
XXIX. . . q(prst) = [rst] Spq - [stp] Srq + [tpr^ Ssq - [prs'] Stq,
which is analogous to this other f useful vector formula (comp. 294, XV.),
XXX. . . dSa(3y = Y(3ySad +YyaSf3d -]-Ya[5Syd',
because the equation XXIX. gives true results, when it is operated on by the four
distinct symbols (comp. 312),
XXXI. . . S.;?, S.r, S.s, S.<.
(9.) Assuming then any four quaternions, p, r, s, t, which are not connected by
the relation,
XXXII. . . (prst) = 0,
and deducing from them /owr others, p\ r', s\ t\ by the equations,
XXXIII J^^' ^ ^^^^^ =/[^«^]' ^' (p^^O = -/[«(p]>
"'\sXprst)=j
--f\tpr']y tXprst) = -flprsl
in which /is still supposed to be a symbol of linear and quaternion operation on a
quaternion, the formula XXIX. allows us to write generally, as an expression for
the function fq, which may here be denoted by q' (because r is now otherwise used) :
XXXIV. . . q' ^fq ==pSpq + r'Srq + s'Ssq + t'Stq ;
and its sixteen scalar constants (comp, 364, (2.)) are now those which are involved
in its four quaternion constants, p', r, s', t'.
(10.) Operating on this last equation with the four symbols,
XXXV. ..s.[r'sV], %.[s'ep'-\, s.p'pV], s.[pVV],
we obtain the four following results :
fCqVsr) = {p'r's't') Spq ; (q's'tY) = (r's't'p') Srq ;
. . \(^qrp'r) = ist'p'r')Ssq; {q'p'r's')=. {t'p'rs)Stq;
and when the values thus found for the four scalars,
XXXVII. . . Spq, Srq, Ssq, Stq,
are substituted in the formula XXIX., we have the following new formula of quater-
nion inversion :
XXXVIII. . . (p'r's'f) (jprst')q = {p'r's't') {prst)f''^q'
= b'sf] {q'r's't') + Istp'] (q's't'p') + [tpr'] iq't'p'r) + [prs'] (q'p'r's') ;
* The equations XXVII. and XXX., which had been proved under slightly diffe-
rent forms in the sub-articles to 294, have been in fact freely employed as trans-
formations in the course of the present Chapter, and are supposed to he familiar to
the student. Compare the Note to page 437.
t Compare the Note immediately preceding.
494 ELEMENTS OF QUATERNIONS. [bOOK III.
which shows, in a new way, how to resolve a linear equation in quaternions^ when
put under what we may call (comp. 347, (I.)) t^^ Standard Quadrinomial Fornix
XXXIV.
(11.) Accordingly, if we operate on the formula XXXVIII. with,/; attending to
the equations XXXIII., and dividing by (jprst), we get this new equation,
XXXIX. . . ip'r's't')fq =p'{q'r's't'^ — r' {q's't'p') + a' (jq't'p'r') — t' (^qp'r's'') ;
whence fq = 5', by XXV.
(12.) It has been remarked (9.), that /?, r, s, <, in recent formulaj, may be any
four quaternions^ which do not satisfy the equation XXXII. ; we may therefore as-
sume,
XL. ../)=1, r = i, «=j, < = ^,
with the laws of 182, &c., for the symbols t,y, A, because those laws give here,
XLI. ..(lz;-A) = -2;
and then it will be found that the equations XXXIII. ^ve simply,
XLII. ../=/l, r' = -/i, s' = -fj, t'=-fk',
so that the standard quadrinomial form XXXIV. becomes, with this selection of
prst,
XLIII. . .fq = fl.Bq-fi.Siq-fj.Sjq-JJ^.Skq,
and admits of an immediate verification, because any quaternion, q, may be ex-
pressed (comp. 221) by the quadrinomial,
XLIV. . . q = Sq- i^iq -jSjq - IcSkq.
(13.) Conversely, if we set out with the expression,
XLV. . . q = w + ix +jy + kz, 221, III.,
which gives,
XLVI. ..fq = wfl + xfi + yfj + zfh,
or briefly,
XLVII. . . e = aw + 6a; + cy + dz,
the letters dbcde being here used to denote five known quaternions, while wxyz are
four sought scalars, the problem of quaternion inversion comes to be that of the se-
parate determination (comp. 312) of these four scalars, so as to satisfy the one
equation XLVII. ; and it is resolved (comp. XXV.) by the system of the four fol-
lowing formulae :
XL VIII Z"' («^cd) = {ehcd) ; x (abed) = (aecd) ;
\y {abed) = (abed') ; z(abcd) = (abce) ;
the notations (6.) being retained.
(14.) Finally it may be shown, as follows, that the biquadratic equation I., for
linear functions oi quaternions, includes* the cubic I'., or 350, I., for vectors. Sup-
* In like manner it may be said, that the cubic equation includes a quadratic
one, when we confine ourselves to the consideration of vectors in one plane ; for
which case m = 0, and also ^'p = 0, if p be a line in the given plane : for we have
then ^^=m' — ^1/ = m', or
02 - m"0 + m' = 0,
CHAP. III.] ADDITIONAL APPLICATIONS. 495
pose, for this purpose, that the linear and quaternion function, fq^ reduces itself to
the last term of the general expression 364, XII., or becomes,
XLIX. ../7 = 0V9, so that L. ..e = 0, £=£'=0, /l=/'l = Oj
the coefficients n, n', n", n" take then, by XIII., the values,
LI. . . n = 0, n =m^ n" = m\ n" = m" ;
and the biquadratic I. becomes,
LIL . . = (-m + m'/-m'72+/3)/
But/g is now a vector^ by XLIX., and it may be any vector, p ; also the operation
/is now equivalent to that denoted by 2 + 03) p^
which agrees with 351, I., and reproduces the symbolical cubic, when the symbol of
the operand (p) is suppressed.
CHAPTER III.
ON SOME ADDITIONAL APPLICATIONS OF QUATERNIONS, WITH
SOME CONCLUDING REMARKS.
Section 1. — Remarks Introductory to this Concluding
Chapter.
366. When the Third Book of the present Elements was
begun, it was hoped (277) that this Book might be made a
much shorter one, than either of the two preceding. That
purpose it was found impossible to accomplish, without injus-
tice to the subject; but at least an intention was expressed
(317), at the commencement of the Second Chapter^ of render-
ing that Chapter the last : while some new Examples of Geo-
with this understanding as to the operand. In fact, the cubic gives here (because
m = 0),
(^2 _ ni"(p + m')(pp = 0;
and therefore (02 - m"^ + m') x^ = i/Dx^px = i/ip\ Vyf^ipx^-ij/y comp. 378, II. ;
and X. . . Da;2^ = yDa;2i//a;=y^", d^jDj,^ = i/'', Dj,2^=0;
the expressions IV. become, tben,
XI. . . p= i/\p' + y'«//, p" = i/\p" + 2^'i//' + 1/"^ ;
and since only the direction of the normal is important, we may divide V. by — y,
and write,
XII. . . v = Y^p^'.
(2.) The expressions XI. and XII. give (comp. VI. and VII.) for the geodetic*
on the cone VIII., the differential equation of the second order,
XIII. . . =S(Y^PxP'.Yp'p") = Sp'rpSp'xP' - Sp"4^'&p'^
= CyS^^p" + 27/'SxP^' + !/"^^) (yi//'2 + y'S^/^p')
- (yS;//'-^" + 2y'»//'2 + y"S;//i//') (yS-^>//' + y'i//2),
in which i//3 and yp'^ are abridged symbols for (;^x)2 and(i|/'a;)2; but this equation in
X and 2/ may be greatly simplified, by some permitted suppositions.
(3.) Thus, we are allowed to suppose that the guiding curve (1.) is the intersec-
tion of the cone with the concentric unit sphere, so that
XIV. ..T;^a; = l, yp'^ = -l, S-^;//'=0, S^'i/'" + ^'2 = ;
and if we further assume that the arc of this spherical curve is taken as the inde-
pendent variable, x, we have then, by 380, (12.), combined with the last equation
XIV.,
XV. ..T;//'a;=l, »|/'2 = _i, Sf;^" = 0, S^//i//" = -iP'2= I.
(4.) "With these simplifications, the differential equation XIII. becomes,
XVI. . . 0-(y-y") (_y)-(-2y') (-y')=yy'-2y'2-y2;
and its complete integral is found bg ordinary methods to be,
XVII. . . y = 6 sec (ic + c),
in which 6 and c are two arbitrary but scalar constants.
(5.) To interpret now this integrated and scalar equation in x and y, of the^fo-
detics on an arbitrary cone, we may observe that, by the suppositions (3.), y repre-
sents the distance, Tp or op, from the vertex o, and x + c represents the angle aop,
in the developed state of cone and curve, from some Jixed line OA in the plane, to the
variable line op ; the projection of this new op on thatj^a;ed line OA is therefore con-
stant (being = b, by XVII.), and the developed geodetic is again found to be a right
line, as before.
382. Let ABODE . . . (see the annexed Figure 79) be any given se-
ries of points in space. Draw the succes- ,
sive right lines, ab, bc, cd, de, . . and pro- - -"'■"' "^^v-c'
long them to points e', c', d', e', . . . the ^^--^^^'^ c" — p^^ ^— -Ap'
lengths of these prolongations being ar- ^ -^ ""^'e'
bitrary; join also b'c', c'd', d'e', . . . We ^^^' '^^'
shall thus have a series of plane triangles, b^bc', c'cb', d'de', ... all ge-
nerally in different planes ; so that bcd'c'b', cde'd'c', . . . are generally
gauche pentagons, while bcde'd'c'b' is a gauche heptagon, &c. But we
CHAP. III.] DEVELOPABLE SURFACE, CUSP-EDGE. 521
can conceive the jftrst triangle b'bc' to turn round its sideBCc\ till it
C07nes into the plane of the second triangle, c'cd'; which -will trans-
form the first gauche pentagon into a plane one, denoted still by
bcd'cV. We can then conceive this plane figure to turn round its
side cdd', till it comes into the plane of the third triangle, d'de';
whereby the first gauche heptagon will have become a plane one, de-
noted as before by bcdeVc'b': and so we can proceed indefinitely.
Passing then to the limit, at which the points abcde . . . are conceived
to be each indefinitely near to the one which precedes or follows it in
the series, we conclude as usual (comp. 98, (12.)) that the locus of
the tangents to a curve of double curvature is a developable surface : or
that it admits of being unfolded (like a cone or cylinder) into a plane,
without any breach of continuity. It is now proposed to translate
these conceptions into the language of quaternions, and to draw from
them some of their consequences: especially as regards the determi-
nation of the geodetic lines, on such a developable surface.
(1.) Let i//ar, or simply i^, denote the variable vector of a point upon the curve^
or cvsp-edge, or edge of regression of the developable, to which curve the generating
lines of that surface are thus tangents, considered as a. function -^ of its arc, x, mea-
sured from some fixed point A upon it ; so that while the equation of the surface
will be of the form (comp. 100, (8.)),
T. . . p = (pQc, g)=\p^-\- y-y^ = t// 4 yy^j',
y being a second scalar variable, we shall have the relations (comp. 381, XV.),
II. . . Ti//'a;=l, i//'2 = -l, Sf;p"=0, S;//'i//"' = -t//"2 = 22^ if z=Tt//".
(2.) Hence III. . . T)x(p=^'^yV, D^^ = »//';
IV. . . p' = {i+y'W^yi'"i /o"=y'y + (i + V)i/'" + y '/'"';
and V. . . J/ = Y\p'\p" = i//'ip", multiplied by any scalar.
(3.) The differential equation of the geodetics may therefore be thus written
(comp. 381, XIIL),
VI. . . = S(Y^P'4J".Yp'p") = Sp'^p•'Sp"^P' - Sp";|/"Sp'i//' ;
in which, by (1.) and (2.),
VII /^P''^" = -2'^^ Sp"4/'=-y" + y22,
• • • lSp>"=-(l + 2«/0^2-y^^', Sp';^' = -(1+/);
the equation becomes therefore, after division by — z,
VIII. . . = z{(l +y')2 + 0^2)2} + (1 +y') {yz)'-y"yz,
or simply,
IX. . . z + tj'=0, or IX'. . . TdJ/' + dw=0, if X. . . tan u=-^. = ^^.
1 + y 1+y'
(4.) To interpret now this very simple equation IX. or IX'., we may observe
that 2, or Tt//", or Tdi|/' : da;, expresses the limiting ratio, which the angle between
two near tangents i//' and i//' + A\//', to tlie cusp-edge (1.), bears to the small arc Aa5
3 X
522 ELEMENTS OF QUATERNIONS. [bOOK III.
of that curve which is intercepted between their points of contact ; while v is, by IV.,
that other angle, at which such a variable tangent, or generating line of the deve-
lopable, crosses the geodetic on that surface ; and therefore its derivative, v' or dr : da?,
represents the limiting ratio, which the change Av of this last angle, in passing from
one generating line to another, bears to the same small arc Ax of the curve which
those lines touch.
(5.) Referring then to Figure 79, in which, instead of tuo continuous curves,
there were two gauche polygons, or at least two systems of successive right lines, con-
nected by prolongations of the lines of the first system, we see that the recent formula
IX. or IX'. is equivalent to this limiting equation,
cd'c'-bcV
XI, . . lim ■ — ; = - 1 ;
CCD
but these three angles remain unaltered, in the development of the surface : the bent
line b'c'd' for space becomes therefore ultimately a straight line in the plane, and si-
milarly for all other portions of the original polygon, or twisted line, b'c'd'e' . . ., of
which b'c'd' was a part.
(6.) Returning then to curves and surfaces in space, the quaternion analysis (3.)
is found, by this simple reasoning,* to conduct to an expression for the known and
characteristic property of the geodetics on a developable : namely that they become
right lines, as those on cylinders (380, (4.)), and on cones (380, (6.) and (10.), or
381, (5.)), were lately seen to do, when the surface on which they are thus traced
is unfolded into a plane.
383. This known result, respecting geodetics on developahles, may
be very simply verified, by means of a new determination of the ab-
solute^ normal (379) to a curve in space, as follows.
(1.) The arc s of any curve being taken for the independent variable, we may
write (comp. 376, I.), by Taylor's Series, the following rigorous expressions,
I. . . p-s = p - sp' + ^s2m_sp", po = p, P« = P + sp' -f Is'iusp", with «o = 1,
for the vectors of tiiree near points, p_j, Pq, p«, on the curve, whereof the second bi-
sects the arc, 2s, intercepted between the first and third.
(2.) If then we conceive the parallelogram p_sPoP«Ks to be completed, we shall
have, for the two diagonals of this new figure these other rigorous expressions,
II. . . ■P-sPs=ps-p-s=2sp' + ^s'^(us-u_s')p";
III. . . PoRg = ps + p_s — 2po = ls~(us + u_s) p" ;
* In the Lectures (page 581), nearly the same analysis was employed, for geo-
detics on a developable ; but the interpretation of the result was made to depend on
an equation which, with the recent significations of ;// and v, may be thus written, as
the integral of IX'., » + jTdi//' = const. ; where jTd;//' represents i\xQ finite angle be-
tween the extreme tangents to i\iQ finite arc J Td;//, or A.r, oii\\Q cusp- edge, wlien
that curve is developed into a plane one.
t Called also, and perhaps more usually, the principal normal.
CHAP. III.] GEODETICS ON DEVELOPABLES. 523
which give the limiting equations,
IV. . . lim. s-ip-sPs = 2p' ; V. . . lim. s'^PoKs - p".
(3.) But the length P-sP» of what may be called the long diagonal, or the chord
of the double arc, 2s, is ultimately equal to that double arc ; we have therefore, by
IV., the equation,
VI. . . Tp'= 1, if p' = Dsp, and if s denote the arc,
considered as the scalar variable on which the vector p depends : a result agreeing
with what was otherwise found in 380, (12.).
(4.) At the same time, since the ultimate direction of the same long diagonal is
evidently that of the tangent at Pq, we see anew that the same first derived vector p'
represents what may be called the unit-tangent* to the curve at that point.
(5.) And because the lengths of the two sides P-sPo and PqPs, considered as chords
of the two successive and equal arcs, s and s, are ultimately equal to them and to
each other, it follows that the parallelogram (2.) is ultimately equilateral, and there-
fore that its diagonals are ultimately rectangular; but these diagonals, by IV. and
v., have ultimately the directions of p' and p" ; we find therefore anew the equation,
VII. . . Sp'/o" = 0, if the arc be the independent variable,
which had been otherwise deduced before, in 880, (12.).
(6.) But under the same condition, we saw (379, (2.)) that the second derived
vector p" has the direction of the absolute normal to the curve ; such then is by V.
the ultimate direction of what we may call the short diagonal PqKs, constructed as
in (2.) ; or, ultimately, the direction of the bisector of the (obtuse) angle p.sPqPs, be-
tween the two near and nearly equal chords from the point Pq ; while the plane of
the parallelogram becomes ultimately the osculating plane.
(7.) All this is quite independent of the consideration of any surface, on which
the curve may be conceived to be traced. But if we now conceive that this curve
is formed //o/n a right line b'c'd' . . . (comp. Fig. 79), by wrapping round a develop-
able surface a plane on which the line had been drawn, and if the successive por-
tions b'c', c'd', . . of that line be supposed to have been equal, then because the two
right lines c'b' and c'l>' originally made supplementary angles with any other line
c'c in the plane, the two chords c'b' and cV of the curve on the developable tend to
make supplementary angles with the generatrix c'c of that surface ; on which ac-
count the bisector (6.) of their angle b'c'd' tends to he perpendicrdar to that generat-
ing line c'c, as well as to the chord b'd', or ultimately to the tangent to the curve at
c', when chords and arcs diminish together. The absolute normal (6.) to the curve
thus formed is therefore perpendicular to two distinct tangents to the surface at c',
and is consequently (comp. 372) the normal to that surface at that point ; whence,
by the definition (380), the curve is, as before, a geodetic on the developable.
(8.) As regards the asserted rectangularity (7.), of the bisector of the angle
b'c'd' to the line c'c, when the angles cc'b' and cc'd' are supposed to be supple'
mentary, but not in one plane, a simple proof may be given by conceiving that the
* Compare the Note to i)age 152.
524 ELEMENTS OF QUATERNIONS. [bOOK III.
right line b'c' is prolonged to c", in such a manner that c'c" = c'd' ; for then these
two equally long lines from c' maiie equal angles with the line c'c, so that the one may-
be formed from the other by a rotation round that line as an axis; whence c"d',
which is evidently parallel to the bisector of b'c'd', is also perpendicular to c'c.
(9.) In quaternions, if a and p be any two vectors, and if t be any scalar, we
have the equation,
VIII. . .S.a(a'pa-«-p) = 0;
which is, by 308, (8.), an expression for the geometrical principle last stated.
384. The recent analysis (382) enables us to deduce with ease,
by quaternions, other known and important properties of develop-
able surfaces: for instance, the property that each such surface may
be considered as the envelope of a series of planes^ involving only one
scalar and arbitrary constant {ox parameter) in their common equation;
and that each plane of this series osculates to the cusp-edge of the de-
velopable.
(I.) The equation of the developable surface being still,
I. . . p-= "- ^' //)y"+ (z - tt) z" + x'i + y'^ + z'a = ;
(7). . . ix-ip)x"' ■\-{y-^)y"' + iz-'7r)z"'^ 3;(a; V + //' + z'z") = 0.
By treating a as a function of some other independent variable, t^ the terms + a and
+ 1, in (2) and (3), come to be replaced by + aa' and + aa" + a'^ ; and the slightly
more general form, which Monge's Equation thus assumes, has still its complete
general integral assigned by the system (1) (5) (6) (7), if x, y, z (as well as a) be
now regarded as arbitrary functions of the new variable t, in the place of which it is
permitted (for instance) to take x, and so to write x' = 1, or" = : only two arbitrary
functions thus entering, in the last analysis, into the general solution, as was to be
expected from the form of the equation.
* ThQ particular ijitegral corresponding, of the Equation of Monge, is expressed
by the following system :
^ = a + et+lu, \p=:b+ft + mu, '7r = e+gt + nu,
(et + luy + (/if + muy + {gt + nu^ = a'^ ;
abcdefglmn being nine arbitrary constants, while t and u are two functions of a,
whereof one is arbitrary, but the other is algebraically deduced from it, by means of
the fourth equation. The writer is not aware that either of these integrals has been
assigned before.
CHAP. III.] VECTOR EQUATION OF LOCUS OR ENVELOPE. 611
the second scalar coefficient, u, being here an arbitrary function of the first
scalar coefficient, or of the independent variable #, and a, |8, y being three arbi-
trary but constant vectors : so that the curve (s) is now obliged to lie in some one
plane* through the fixed point A, but remains in other respects arbitrary. Accord-
ingly it will be found that this last integral system, although less general than the
former system (102.), and not properly included in it, satisfies the differential equa-
tion CXXXVI. ; whereof the two members acquire, by the substitutions indicated,
this common value,
CLXXV. . . (i2S(T'(T" - R'gy = &c. = RH"- (tu' - uj u"^ (Vj3y)4.
(105.) Other problems might be proposed and resolved, with the help of formulsef
already given, respecting the properties or affections of curves in space which depend
on \h& fourth power (s**) of the arc, or on ^e fourth derivative Ds^p or r"' of the vec-
tor ps', but it is time to conclude this series of sub -articles, which has extended to a
much greater length than was designed, by observing that, in virtue of the vector
form 396, XL for the equation of a circle of curvature, the Locus (8.) of the Oscu-
lating Circle may be concisely but sufficiently represented by the Vector Equation,
CLXXVL.. V-^+i/,= 0,
lO- Ps
* Compare the Note to page 606.
t "We might for example employ the formula VI. for k", in conjunction with
one of the expressions 397, XCL for »c', to determine, by the general formula 389,
IV., the vector (say ^) of the centre of curvature of the curve (k), and therefore also
the radius of curvature of that curve, which is the locus of the centres of curvature of
the given curve (p), supposed to be in general one of double curvature. After a few
reductions, with the help of XII., we should thus find the equations,
CLXXVII. . . V -, = ^^ + (r-i - P') T,
K rK
CLXXVIIL..^ = K:+-A7=fc+ ''~^'' + '*
k' ds r6.K
in which last the denominator is a quaternion, and the scalar variable is arbitrary
whence also,
CLXXIX. . . Radius of curvature of curve (k),
or of locus of centres of osculating circles to a given curve (p) in space,
■Rdr a 1 dpy
pds \\x ds
with the verification, that for the case of a plane curve (p), for which therefore
— = 1, and - = = — , we have thus the elementary expression,
p T ds
rdr
CLXXX. . . Radius of Curvature of Plane Evolute = + — -,
ds
r l)eing still the radius of curvature, and s the arc, of the given curve.
*-— THi)r
612 ELEMENTS OF QUATERNIONS. [bOOK III.
which apparently involves only one scalar variable, s, namely, the arc of the curne
(f), the other scalar variable, such as t, which corresponds (69.) to the arc of the cir-
cle, disappearing under the sign V : and that the surface, which was called in (8.)
the Circumscribed Developable, is now seen to be in fact circumscribed to that Lo-
cus, or Envelope, in a certain singular (or eminent) sense, as touching it along its
Singular Line.
399. When we take account of the fifth power {s^) of the are,
the expression for p^ receives a new term^ and becomes (comp.
398, L),
I. ../>. = P + ST + is^T' + |s3t'' + -,\5*t''' + rio^V- ;
and although some of the consequences of such an expression have
been already considered, especially as regards the general determi-
nation of what has been above called the Osculating Twisted Cubic
to a curve of double curvature, or the gauche curve of the third de-
gree which has contact of the fifth order with a given curve in space,
yet, without repeating any calculations already made, some addi-
tional light may be thrown on the subject as follows.
(1.) As regards the successive deduction of the derived vectors in the formula I.,
it may be remarked that if we write (comp. 398, LVI., LXI.),
II. . . DV'p = r^") = OnT + bfJ-T + CnrVy
we shall have, generally,
III. . . a„vi = a'n-r-i6„, 6n+i = 6n + r-ia„-r-'c„, tf«+i =c'„ + ri6„,
with the initial values,
IV. ..ao=l, 6o = 0, co=0, or IV'. ..ai = 0, 6i = r-i, ei = 0;
whence V /"2 = -'--^ &2 = ('-0', H=r-'x-\
\a3 = 3r-3r', 63 = (r-i)"" »-"' -'-^^"^ C3 = r(r-2r-0',
as in the expressions 397, VI. for t", and 398, IV. for t" \ the corresponding co-
efficients of t'^ being in like manner found to be,
/ai = - 2 (r-2)" + ((r-i)')2 + r-2(r-2 + r-2) ;
VI. . . )54 = (r-i)"'-2(r-»)'-3(r-Vi)'r-i;
( C4 = r-i (r-i)" + 3 ((r-i)'r-O' - »'"*r"' (^-^ + ^2) ;
and being sufficient for the investigation of all affections or properties of a curve in
space, which depend only on thej^/M power of the arc s.
(2.) For the helix the two curvatures are constant, so that all the derivatives of
the two radii r and r vanish ; the expressions become therefore greatly simplified,
and a law is easily perceived, allowing us to sum the infinite series for ps, and so
to obtain the following rigorous expressions for the co-ordinates* Xs, y*, Zs of this
* We have here, and in this whole investigation, an instance of the facility with
which quaternions can be combined with co-ordinates, whenever the geometrical na-
CHAP. III.] OSCULATING TWISTED CUBIC TO HELIX. 613
particular curve, instead of those which were developed generally in 398, LVIII.,
but only as far as s* inclusive :
VII. , .Xs = P (x-H + r-2 sin t); y, = IH'^ vers t; Zs= Pr-^x-^ (t - sin t) ;
where I and t are an auxiliary constant and variable, namely,
VIII. . . ? = (r-2 + r-2)-J = rsmH, t = Z's,
I being thus what was denoted in earlier formulae by T\-i, and t being the angle be-
tween two axial planes ; while the origin is still placed at the point p of the curve,
and the tangent, normal, and binorraal are still made the axes of xyz.
(3.) The cone of the second order, 398, (40.), which has generally a contact of
the fifth order with a proposed curve in space, at a point p taken for vertex, has in
this case of the AeZta; the equation (comp. 398, LVII.* and LXIX.),
,„ 3rr /3r T r \ ^
IX. ..y^ = -- 6i2 > > 62, so that the confocal (cg) is
here an ellipsoid, and (e) a double-sheeted hyperboloid.
(30.) But if YiK = jc^t - t^ -^ix-fiSp(}>-%
has an advantage, for our present purpose, over those assigned before. In fact, this
form IX. gives at once the equation,
X. . . {g- S\fi). = ^ + c (as in that Article), the neiv linear and vector function 4>p must
be reducible to the binomial form (351),
and in which the scalar constant c can be shown to have the value,
XXVIII. . . c = (^ - (o) V.vdp = ± T (? - p) = Eadius of Geodetic Curvature,
= radius of developed circle ; and each such curve includes, by XXVI., on the given
surface, a maximum area with a given perimeter : on which account, and in allusion
to a well-known classical story, the writer ventured to propose, in page 682 of the
Lectures, the name " Didonia" for a curve of this kind, while acknowledging that
the curves themselves had been discovered and discussed by M. Delaunay.
CHAP. III.] NEW PROOF OF RECTANGULAR SYSTEM. 699
IV. . . ^p = ^p + cp = /3Sap + /3'Sa'p, with V. . . V/3a + V/3'a' = 0,
as the condition (353, XXXVI.) of self- conjugation. With this condition we may
then write,
YI, . . p = Aa + Ba', (5' = A'a+Ba;
and it is easy to see that no essential generality is lost, by supposing that a and a
are two rectangular vector units, which may be turned about in their own plane, if
j3 and /3' be suitably modified : so that we may assume,
VII. . . a2 = a'2 = - 1, Saa = ; whence VIII. . . $a = - /3, $a' = - j3',
and IX. . . V/3'a' = Baa = - V/3a, Y(3a = Aaa, V/3'a = - A'aa'.
(2.) The equation I., under the form,
X. . . Vp$p = 0, is satisfied by XI. . . $p = 0, or XII. . . Yaa'p - ;
and it cannot be satisfied otherwise, unless we suppose,
XIII. . . p = aja + x'a', and XIV. . . V (a;/3 + a:'/3') (xa + x'a) = ;
that is, by IX.,
XV. . . B(x^-x^) + (A -A')xx'=0:
while conversely the expression XIII. will satisfy I., under this condition XV. But
this quadratic in x' : x, of which the coefiicients B and A— A' do not generally va-
nish, has necessarily two real roots, with a product = — 1 ; hence there always ex~
ists, as asserted, a system of three real and rectangular directions, such as the fol-
lowing,
XVI. . . xa + x'a', x'a — xa', and aa' (or Va a'),
which satisfy the equation I. ; and this system is generally definite : which proves
thfi first part of the Theorem.
(3.) The lines a, a' may be made by (1.) to turn in their own plane, till they
coincide with the two first directions XVI. ; which will give,
XVII. ..5 = 0, ^=Aa, (3' = A'a',
and therefore,
XVIII. . . Sa-ip ;
CLXXXIV. . . if r« = Tp2 = Sa:2, then v = r-2(^ + r-2)-ip
= r-2S-~I^=-2i^-
fl2a;3 ^2a;2 J2y2 c2y2
CLXXXV. . . for Wave, = Sou = S = + -^^— + ^ •
' ^ r2_a3 r2_^2 r2-62^r2-c2'
or CLXXXVI. . . 1 = - S|Ow = - Sp^u = - Su?
a;2 a;2 v«
+ -^^^0 +
r1 _ ^3 r2 - a2 y2 _ 62
and the Index-Surface may be treated similarly, or obtained from the Wave by
changing abc to their reciprocals.
423. As an eighth specimen of physical application we shall in-
vestigate, by quaternions, MacCullagh's Theorem of the Polar Plane,*
and some things therewith connected, for an important case of inci-
dence of polarized light on a biaxal crystal : namely, for what was
called by him the case of uniradial vibrations.
(1.) Let homogeneous light in air (or in a vacuum), with a velocityf taken for
unity, fall on a plane face of a doubly refracting crystal, with such a polarization
that only one refracted ray shall result ; let p, p', p" denote the vectors of ray-velo-
city of the incident, refracted, and reflected lights respectively, p having the direc-
tion of the incident ray, prolonged within the crystal, but p" that of the reflected
ray outside ; and let jx be the vector of wave-slowness, or the index-vector (comp.
422, (1.)), for the refracted light : these /o2
1
then, in
like
manner,
we
shall have this
other
ratio
ofseg^
ments,
AC _ 2/'
c'b ~ a?'*
If, then, we agree to employ, generally, ^o?- any group offo
collinear points, the notation.
^ ab CD AB AD
(abcd) = — = — : —
^ bc da bc dc
SO that this symbol,
(abcd),
may be said to denote the anharmonic function, or anharmonic
quotient, or simply the anharmonic of the group, a, b, c, d : we
shall have, in the present case, the equation,
„ AC Ac' yx
(acbc ) = — :-T- = ^.
^ ^ CB CB xy
16 ELEMENTS OF QUATERNIONS. [bOOK I.
26. When the anharmonic quotient h^QomQ^ equal to nega-
tive unity, the group becomes (as is well known) harmonic.
If then we have the two equations,
xa + y(^ , xa- yj5
' x + y X -y
the two points c and c' are harmonically conjugate to each other,
with respect to the two given points^ a and b ; and when they
vary together, in consequence of the variation of the value of
-, they form (in a well-known sense), on the indefinite right
line AB, divisions in involution; the double points (ov foci) of
this involution, namely, the points of which each is its oion
conjugate, being the points a and b themselves. As a verifi-
cation, if we denote by p. the vector of the middle point m of
the given interval ab, so that ^
A M C B C'
/3-/i=/x-a, or/i = J(a+/3), Fig. 17.
we easily find that
y - f-i _y - X P -luL MCMB^
/3-jU y ^ X~ y' - fx MB MC'*
so that the rectangle under the distances mc, mc', of the two
variable but conjugate points^ c, c', from the centre m of the
involution, is equal to the constant square of half the interval
between the two double points, a, b. More generally, if we
write
xa+ y(5 , _ Ixa + my (5
' X +y ^ lx + my '
where the anharmonic quotient — = — ,- is any constant scalar,
then in another known and modern* phraseology, the points
c and c' will form, on the indefinite line ab, tivo homographic
divisions, of which a and b are still the double points. More
generally still, if we establish the two equations,
* See the Gtometrie Supe'rieure of M. Chasle?, p. 107. (Paris, 1852.)
CHAP. II.] POINTS AND LINES IN A GIVEN PLANE. 17
xa + vQ , , lxa + my 3'
y= ^, and 7'=— ^^,
x^y lx-\- my
I , , y .
— beinof still constant, but - variable, while a = oa', 3' = ob',
and y' = oc', the two given lines, ab and a'b', are then homo-
graphically divided, by the two variable points, c and c', not
now supposed to move along one common line.
27. When the linear equation aa + bf3 + cy = subsists,
without the relation « -i- ^ + c = between its coefBcients, then
the three co-initial vectors a, /3, y are still complanar, but they
no longer terminate on one right line ; their term-points a, b, c
being now the corners of a triangle.
In this more general case, we may propose to find the vec-
tors a', j3', y' of th€ three points,
a' = oabc, b'=obca,
C'= OCAB ;
that is to say, of the points in
which the lines drawn from the
origin o to the three corners of
the triangle intersect the three
respectively opposite sides. The three collineations oaa', &c.,
give (by 19) three expressions of the forms,
a = Xa, (5' = yj3, y' = Z.y,
where x, y, z are three scalars, which it is required to deter-
mine by means of the three other collineations, a'bc, &c., with
the help of relations derived from the principle of Art. 23.
Substituting therefore for a its value re 'a', in \)i\^ given linear
equation, and equating to zero the sum of the coefficients of
the new linear equation which results, namely,
and eliminating similarly j3, 7, each in its turn, from the ori-
ginal equation ; we find the values,
-a -h -c
X = , y = , z = 7 ;
ft + c ^c + a a^ b
18 ELEMENTS OF QUATERNIONS. [boOK I.
whence the sought vectors are expressed in either of the two
following ways :
or
J , -aa
1. , . a =7 ,
b + c
^ c + a
'^~a + b'
II.
, bfi + Cy
C + a
, aa + b[5
^ a + b
In fact we see, by one of these expressions for a, that a' is on
the line oa ; and by the other expression for the same vector
a', that the same point a' is on the line bc. As another veri-
fication, we may observe that the last expressions for a, j5', y\
coincide with those which Avere found in Art. 24, for a, /3, y
themselves, on the particular supposition that the three points
a, B, c were collinear.
28. We may next propose to determine the ratios of the
segments of the sides of the triangle abc, made by the points
a', b', c'. For this purpose, we may write the last equations
for a', j3', y under the form,
0=^b{a'-(5)-c{y-a') = c((5'-y)-a{a-(5') = a{y'-a)
and we see that they then give the required ratios, as follows :
ba'_ c cb' a Ac'_ b
a'c b' b'a c' c'b a'
whence we obtain at once the known equation of six segments,
ba' cb' ac'
a'c b'a c'b '
as the condition of concurrence of the three right lines a a', bb',
cc', in a common point, such as o. It is easy also to infer, from
the same ratios of segments, the following proportion of coeffi-
cients and areas,
a:b:c= OBC : oca : gab,
in which we must, in general, attend to algebraic signs ; a tri-
angle being conceived to pass {through zero) from positive to
negative, or vice versa, as compared with any give?i triangle in
CHAP. II.] POINTS AND LINES IN A GIVEN PLANE. 19
its own plane, when (in the course of any continuous change)
its vertex crosses its base. It may be observed that with this
conveiition (which is, in fact, a necessary one, for the establish-
ment o{ general for mulce) we have, for any three points^ the
equation
ABC + BAC = 0,
exactly as we had (in Art. 5) for any two points, the equa-
tion
AB+ BA= 0.
More fully, we have, on this plan, the formula3,
ABC = - BAC = BCA = - CBA = CAB = - ACB ;
and any two complanar triangles, abc, a'b'c', bear to each other
a positive or a negative ratio, according as the two rotations,
which may be conceived to be denoted by the same symbols
ABC, a'b'c', are similarly or oppositely directed.
29. If a' and b' bisect respectively the sides bc and ca,
then
a = b = c,
and c' bisects ab ; whence the known theorem follows, that
the three bisectors of the sides of a triangle concur, in a point
which is often called the centre of gravity, but which we pre-
fer to call the mean point of the triangle, and which is here the
origiji o. At the same time, the first expressions in Art. 27
for a, ft', y' become,
"~~2' ^^"2' ^^"2'
whence this other known theorem results, that the three bisec-
tors trisect each other,
30. The linear equation between a, ft, y reduces itself, in
the case last considered, to the form,
a + /3 4 7 = 0, or oa + ob + oc = ;
the three vectors a, ft, y, or oa, ob, oc, are therefore, in this
ca^e, adapted (by Art. 10) to become the successive sides of a.
20
ELEMENTS OF QUATERNIONS.
[book I.
triangle, by transports without rotation ; and ticcordingly, if
we complete (as in Fig. 19) the /^c
parallelogram aobd, the triangle
GAD will have the property in
question. • It follows (by 11)
that if we project the four points
o, A, B, c, by any system of pa-
rallel ordinates, into four other A^
points, o^, A^, B^, c , on any as-
sumed pZ«we, the sum of the three j^
projected vectors^ a^, j3^, y^, or Fig. 19.
o A , &c., will be null; so that we shall have the new linear
equation,
or.
o A^ + o B^ + o^c^ = ;
and in fact it is evident (see
Fig. 20) that the projected
mean point o^ will be the mean
point of the projected triangle, ^'^" ^^•
A^, B^, c^. We shall have also the equation,
(a,-o) + (/3,-^) + (y,--y) = 0;
where
hence
a^- a = O^A - OA = (O^A + AA ) - (OO^ + O^a) = AA^ - 00^ ;
OO^ = ^ (aA^ -\ BB^ + CC ).
or the ordinate of the mean point of a triangle is the mean of
the ordinates of the three corners.
Section 3. — On Plane Geometrical Nets,
31. Resuming the more general case of Art. 27, in which
the coefficients «, b, c are supposed to be unequal, we may next
inquire, in what points a", b", c" do the lines b'c', c'a', a'b'
meet respectively the sides bc, ca, ab, of the triangle ; or may
seek to assign the vectors a\ /3", y" of the points of intersec-
tion (comp. 27),
CHAP. II.] POINTS AND LINES IN A GIVEN PLANE.
21
A =BC*BC, B =CA*CA, C -ABAB.
The first expressions in Art. 27 for |3', 7', give the equa-
tions,
B"
Fig. 21.
(c -f «) j3' + ^>i3 = 0, (a + &)y + C7 = ;
whence
b[5-cy _ (a + b)y-(c+a)j5\
b- c {a + b) ~ {c -\- a)
but (by 25) one member is the vector of a point on bc, and
the other of a point on b'c' ; each therefore is a value for the
vector a" of a", and similarly for j3" and 7". We may there-
fore write,
„_bfi- Cy ^„ Cy - aa „ tta- b[5
a = -7 , ~
o - c
^,.^cy-aa^
c - a
7 =
and by comparing these expressions with the second set of
values of a', /3', 7' in Art. 27, we see (by 26) that the points
a", b", c" are, respectively, the harmonic conjugates (as they
are indeed known to be) of the points a', b', c', with respect
to the three pairs of points, b, c ; c, a ; a, b ; so that, in the
notation of Art. 25, we have the equations,
(baca") = (cb'ab") = (ac'bc") =- I.
And because the expressions for a", /3", 7" conduct to the fol-
lowing linear equation between those three vectors,
22 ELEMENTS OF QUATERNIONS. [boOK I.
{b-c)a'+ (c-«)j3"+ {a - b)y"=0,
with the relation
(b-c)+ {c-a) + (a-b) =
between its coefficients, we arrive (by 23) at this other known
theorem, that the three points a", b", c" are collifiear, as indi-
cated by one of the dotted lines in the recent Fig. 2 1 .
32. The line a"b'c' may represent any rectili?iear transver-
sal, cutting the sides of a triangle abc ; and because we have
ba"_ «"-/3 ^ c
a"c 7 - a" b
while -7- = -, and —r- = -, as before, we arrive at this other
ba c cb a
equation of six segments, for any triangle cut by a right line
(comp. 28),
ba" cb' ac' _
a"c b'a c'b
which again agrees with known results.
33. Eliminating j3 and 7 between either set of expressions
(27) for j3' and y', with the help of the given linear equation,
we arrive at this other equation, connecting the three vectors
a, /3', 7' :
O = - «a + (c + «) j3' + (a + ^) 7'.
Treating this on the same plan as the given equation between
a, j3, 7> we find that if (as in Fig. 21) we make,
a'" = OA • Bc', b"' = OB • c'a', C ' = DC ' a'b',
the vectors of these three new points of intersection may be ex-
pressed in either of the two following ways, whereof the first
is shorter, but the second is, for some purposes (comp. 34, 36)
more convenient :
'" ^ «« n.n^ bP ,„^ Cy ^
2a + b + c ^ 2b^c + a ^ 2c + a + b'
or
„, _ 2aa + bj5 + Cy ^,„ _ 2^/3 + cy + aa
^ 2a + b^c ' ^ ~ 26 + c + « '
,„ _ 2cy -{ aa^bf5
^ 2c + « + ft
CHAP. II.] POINTS AND LINES IN A GIVEN PLANE. 23
And the three equations, of which the following is one,
{h-c)a:'- (26+ c + «)/3'"+ (2c+ « + 6)7'" = 0,
with the relations between their coefficients w^hich are evident
on inspection, show (by 23) that we have the three additional
collineations, a"b'"c'", b"c"'a'", c"a"'b'", as indicated by three of
the dotted lines in the figure. Also, because we have the two
expressions,
„, (a-\-b)y+(c + a)(5' „ _(a +b)y - (c -¥ a)^'
." ~ {a-\-b) + (€ + a) ' {a + b)-(c + a) ^
we see (by 26) that the two points a", a'" are harmonically con-
jugate with respect to b' and c' ; and similarly for the two
other pairs of points, b", b'", and c", c'", compared with c', a',
and with a', b': so that, in a notation already employed (25,
31), we may write,
(b a'"c a") = (c b'Vb") = (a'c'"b'c") = - 1 .
34. If we beyin^ as above, with any four complanar points,
o, A, B, c, of which no three are collinear, we can (as in Fig.
18), by what may be called a First Construction, derive from
them six lines, connecting them two by two, and intersecting
each other in three new points, a', b', c' ; and then by a Second
Construction (represented in Fig. 21), we may connect these
by three new lines, which will give, by their intersections with
the former lines, six new points, a", . . c"\ We might pro-
ceed to connect these with each other, and with the given
points, by sixteen new lines, or lines of a Third Construction,
namely, the four dotted lines of Fig. 21, and twelve other
lines, whereof three should be drawn from each of the four
given points : and these would be found to determine eighty-
four new points of intersection, of which some may be seen,
although they are not marked, in the figure.
But however far these processes oi linear construction may
be continued, so as to form what has been called* a plane
* By Prof. A. F. INIobujs, in page 274 of his Bary centric Calculus (dcr baryrcu-
trische Calcul, Leipzig, 1827).
24 ELEMENTS OF QUATERNIONS. [bOOK I.
geometrical net, the vectors of the points thus determined have
all one common property : namely, that each can be represented
by an expression of the form,
xaa H- yh^ -1- zcy
xa + yh + zc
where the coefficients x, y, z are some whole numbers. In fact
we see (by 27, 31, 33) that such expressions can be assigned
for the nine derived vectors, a', . . . y", which alone have been
hitherto considered ; and it is not 'difficult to perceive, from
the nature of the calculations employed, that a similar result
must hold good, for every vector subsequently deduced. But
this and other connected results will become more completely
evident, and their geometrical signification will be better un-
derstood, after a somewhat closer consideration of anharmonic
quotients, and the introduction of a certain system o^ anhar-
monic co-ordinates, for points and lines in one plane, to which
we shall next proceed : reserving, for a subsequent Chapter,
any applications of the same theory to space.
Section 4. — On Anharmonic Co-ordinates and Equations of
Points and Lines in one Plane.
35. If we compare the last equations of Art. 33 with the
corresponding equations of Art. 31, we see that the harmowc
group ba'ca", on the side bc of the triangle abc in Fig. 21,
has been simply reflected into another such group, b V'c'a", on
the line b'c', by a harmonic pencil of four rays, all passing
through the point o ; and similarly for the other groups.
More generally, let oa, ob, oc, od, or briefly o.abcd, be
any pencil, with the point o for vertex ; and let the new ray
OD be cut, as in Wig. 22, by the three sides of the triangle
ABC, in the three points Ai, Bi, Ci ; let also
yh^ + zcy
OAi = ai = — ^ ^,
yb 4- zc
so that (by 25) we shall have the anharmonic quotients,
y , ^
(ba'cai) = -, (ca'b.\i) = -;
^ ^ 2 y
CHAP. II.] POINTS AND LINES IN A GIVEN PLANE.
25
and let us seek to express the two other vectors of intersec-
tion, j3i and 71, with a view to
determining the anharmonic ra-
tios of the groups on the two
other sides. The given equation
(27),
«a + 6/3 + cy = 0,
shows us at once that these two
vectors are.
OB
1 - Pl ;
Fig. 22.
001 = ^1 =
{z-y)h^-^zaa
{z-y)b + za *
whence we derive (bj 25) these two other anharmonics,
(cb'aBi) =
(bCACi)
y -2
so that we have the relations,
(CB'aBi) + (ca'bAi) = (bc'aCi) + (ba'cAi) = 1.
Bat in general, for any four collinear points a, b, c, d, it is
not difficult to prove that
AB AC
CD+ BD= DA
BC CB
whence by the definition (25) of the signification of the sym-
bol (abcd), the following identity is derived,
(abcd) + (acbd)= 1.
Comparing this, then, with the recently found relations, we
have, for Fig. 22, the following anharmonic equations ;
(cab'Bi) = (ca'bAi) = - ;
y
(bac'Ci) = (ba'cAi) =-;
and we see that (as was to be expected from known princi-
26 ELEMENTS OF QUATERNIONS. [bOOK I.
pies) the anharmonic of the group does not change, when we
pass from one side of the triangle, considered as a transversal
of the pencil, to another such side, or transversal. We may
therefore speak (as usual) of such an anharmonic of a group^
as being at the same time the Anharmonic of a Pencil ; and,
with attention to the order of the rays, and to the definition
(25), may denote the two last anharmonics by the two following
reciprocal expressions:
z y
(o.cabd) = -; (o.bacd) = -;
y ^
with other resulting values, when the order of the rays is
changed ; it being understood that
(o . cabd) = (c'aVd'),
if the rays oc, oa, ob, od be cut, in the points c', a\ b\ d\
by any one right line.
36. The expression (34),
xaa + yh^ + zcy
p- J
xa +yo + zc
may represent the vector o^ any point p in the given plane ^ by a
suitable choice of the coefficients x, y, x, or simply of their ra-
tios. For since (by 22) the three complanar vectors pa, pb,
PC must be connected by some linear equation, of the form
«' . PA + i' . PB -r c' . PC = 0,
or
aXa-p) + b'(f5-p) + c(y-p) = 0,
which gives
a a + b'Q + cy
P~
a' + b' + c
we have only to write
a' b' d
a b " c
and the proposed expression for p will be obtained. Hence
it is easy to infer, on principles already explained, that if we
write (compare- the annexed Fig. 23),
CHAP. II.] POINTS AND LINES IN A GIVEN PLANE. 27
Pi=PABC, P2 = PB'CA, P3 = PCAB,
we shall have, with the same coefficients xyz, the following
expressions for the vectors opj, 0P2,
0P3, or |0i, /02, /03, of these three points
of intersection, Pi,*P25 P3 :
yh^ + zcy
^^~ yb + zc
^2=-
zcy + xaa
J
zc\ xa '
xaa + yhfi ^
^ xa^yh Fig. 23
which give at once the following anharmonics of pencils, or of
groups,
(a . BOCP) = (ba CPi) = - ;
z
z
(B . COAP) = (cb'aPz) = - ;
X
X
(C . AOBP) = (ac'bPs) = - ;
y
whereof we see that the product is unity. Any two of these
three pencils suffice to determine the position of the point P,
when the triangle abc, and the origin o are given ; and there-
fore it appears that the three coefficients x, y, z, or any scalars
proportional to them, of which the ^'z^o^zVw^a- thus represent the
anhai^monics of those pencils, may be conveniently called the
Anharmonic Co-ordinates of that point, p, with respect to
the given triangle and origin : while the point p itself may be
denoted by the Symbol,
p = (07, y, z).
With this notation, the thirteen points of Fig. 21 come to be
thus symbolized ;
a =(1,0,0), b =(0,1,0), c =(0,0,1), = (1,1,1);
a' =(0,1,1), B' =(1,0,1), €'=(1,1,0);
a" = (0,1,-1), B" = (-1,0, 1), €"=(1,-1,0);
A'"=(2, 1, 1), B'"= (1,2,1), €'"=(1,1,2).
28 ELEMENTS OF QUATERNIONS. [bOOK I.
37. If Pi and Pa be any two points in the given plane,
Pi = (^H yi, zi), P2 = (^2> y2, Z2),
and if t and u be any two scalar coefficients, then the following
third pointy
p = (toi + UX2, tyi + uy^i tzx + uz^,
is collinear with the two former points, or (in other words) is
situated on the right line PiPg. For, if we make
a; = ^a!i + 11X2, y=ty\^ wyz) z = #Zi + uz^r
and
a^ifla + . . x^aa + . . xaa + . .
p\ = J Pa"" > /> = J
aJia + . . ^2« + • • a:a + . .
these vectors of the three points P1P2P are connected by the
linear equation,
t (xia -h . .)pi + u (x^a + . 0/02 - {xa + . .) /o = ;
in which (comp. 23), the s?im of the coefficients is zero. Con-
versely, the point p cannot be collinear with Pi, Pg, unless its
co-ordinates admit of being thus expressed in terms of theirs.
It follows that if a variable point p be obliged to move along a
given right line PiPg, or if it have such a line (in the given
plane) for its locusy its co-ordinates xyz must satisfy a homo-
geneous equation of the first degree, with constant coefficients ;
which, in the known notation of determinants, may be thus
written,
X, y, z
= Xu yi, z^
«^2> y^i Z2
or, more fully,
= x {yxZ^ - z{y^ + y {zix^ ~ ofiZz) + z {x^y^ - y^x^) ;
or briefly,
= l.v + my + nz,
where /, m, n are three constant scalars, whereof the quotients
determine the position of the right line A, which is thus the
locus of the point p. It is natural to call the equation, which
CHAP. II.] POINTS AND LINES IN A GIVEN PLANE. 29
thus connects the co-ordinates of the point p, the Anharmonic
Equation of the Line A ; and we shall find it convenient also
to speak of the coefficients /, w, n, in that equation, as being
the Anharmonic Co-ordinates of that Line: which line may
also be denoted by the Symbol^
A = [Z, m, w] .
38. For example, the three sides bc, ca, ab of the given
triangle have thus for their equations,
a; = 0, y = 0, 2=0,
and for their symholsy
[1,0,0], [0,1,0], [0,0,1].
The three additional lines oa, ob, oc, of Fig. 18, have, in hke
manner, for their equations and symbols,
3/-0 = O, 2-37 = 0, x-y=0,
[0,1,-1], [-1,0,1], [1,-1,0].
The lines b'c'a", c'a'b", a'b'c", of Fig. 21, are
y + z -x = 0, z-rx-i/ = 0) x + y -z = 0,
or
[-1,1,1], [1,-1,1], [1,1,-1];
the lines aV'c'", b"c'V", cV'b'', of the same figure, are in like
manner represented by the equations and symbols,
y + z-Sx = 0, z + x-3y=0, x-\^y-3z = 0,
[-3,1,1], [1,-3,1], [1,1,-3];
and the line a"b "c" is
X -^ y + z=0, or [1, 1, 1].
Finally, we may remark that on the same plan, the equation
and the symbol of what is often called the line at infinity, or
of the locus of all the irifinitely distant points in the given plane,
are respectively,
ax -v by ^ cz = 0, and [a, b, c] ;
30 ELEMENTS OF QUATERNIONS. [bOOK I.
because the linear function, ax + hy + cz, of the co-ordinates
z, y, 2r of a point p in the plane, is the denominator of the ex-
pression (34, 36) for the vector p of that point : so that the
point p is at an infinite distance from the origin o, when, and
only when, this linear function vanishes.
39. These anharmonic co-ordinates of a line, although
above interpreted (37) with reference to the equation of that
line, considered as connecting the co-ordinates of a variable
point thereof, are capable of receiving an independent geome-
trical interpretation. For the three points l, m, n, in which
the line A, or [/, m, w], or lx\my \nz = 0, intersects the three
sides BC, CA, ab of the given triangle abc, or the three given
lines a? = 0, 7/=0, 2:=0 (38), may evidently (on the plan of
36) be thus denoted :
L = (0, 7i, - m) ; M = (- w, 0, /) ; n = (m, - I, 0).
But we had also (by 36),
a" = (0,1,-1); b"=(- 1,0,1); c"= (1,-1,0);
whence it is easy to infer, on the principles of recent articles,
that
— = (ba"cl) ; - = (cb"am) ; — = (ac'bn) ;
m ^ n ^ ' I ^
with the resulting relation,
(ba"cl) . (cb"am) . (ac"bn) = 1.
40. Conversely, this last equation is easily proved, with
the help of the known and general relation between segments
(32), applied to any two transversals, a"b"c" and lmn, of any
triangle abc. In fact, we have thus the two equations,
ba" cb" ac"_ bl cm an
a"c b"a c"b ' LC MA NB '
on dividing the former of which by the latter, the last formula
of the last article results. We might therefore in this way
have been led, without any consideration of a variable point p,
CHAP. II.] POINTS AND LINES IN A GIVEN PLANE. 31
to introduce three auxiliary scalar s^ /, ?w, n^ defined as having
71 I Tfl
their quotients — , -, — equal respectively, as in 39, to the
three anharmonics of groups,
(ba"cl), (cb"am), (ac"bn);
and then it would have been evident that these three scalars,
/, m, n (or any others proportional thereto), are sufficient to
determine the position of the right line A, or lmn, considered
as a transversal of the given triangle abc : so that they might
naturally have been called, on this account, as above, the an--
harmonic co-ordinates of that line. But although the anhar-
monic co-ordinates of a point and of a line may thus be inde-
pendently defined^ yet the geometrical utility of such definitions
will be found to depend mainly on their combination : or on the
formula Ix ^-my a- nz=0 of 37, which may at pleasure be con-
sidered as expressing, either that the variable point (re, y, z) is
situated somewhere upon the given right line [/, m, ri\ ; or else
that the variable line [/, tw, n\ passes, in some direction, through
the given point {x, y, z).
41. If Ai and As be any two right lines in the given plane,
Ai = [/i, mi, ni], Aa = [h, m^, Wo],
then any third right line A in the same plane, which passes
through the intersection ArA25 or (in other words) which cow-
curs with them (at a finite or infinite distance), may be repre-
sented (comp. 37) by a symbol of the form,
'A = [til + uli, tmi + um2, tn^ + uji.^,
where t and u are scalar coefficients. Or, what comes to the
same thing, if I, m, n be the anharmonic co-ordinates of the
line A, then (comp. again 37), the equation
/, m, n
= 1 (min-i- nimz) + &c. = h, mi, Ui
hi 'mi, ni
must be satisfied ; because, if {X, Y, Z) be the supposed point
common to the three lines, the three equations
32 ELEMENTS OF QUATERNIONS. [boOK I.
lX+mY+nZ=0, hX + m,Y+n,Z =0, kX + m^Y+n^Z^(S,
must co-exist. Conversely, this coexistence will be possible,
and the three lines will have a common point (which may be
infinitely distant), if the recent condition of concurrence be sa-
tisfied. For example, because [a, J, c] has been seen (in 38)
to be the symbol of the line at infinity (at least if we still re-
tain the same significations of the scalars a, 6, c as in articles
27, &c.), it follows that
A = [Z, m, ri] , and A' = [/+ ua, m + ub, n + uc] ,
are symbols of two parallel lines ; because they concur at infi-
nity. In general, all problems respecting intersections of right
lines, coUineations of points, &c., in the given plane, when
treated by this anharmonic method, conduct to easy elimina-
tions between linear equations (of the scalar kind), on which
we need not here delay : the mechanism of such calculations
being for the most part the same as in the known method of
trilinear co-ordinates : although (as we have seen) the geome-
trical interpretations are altogether different.
Section 5. — On Plane Geometrical Nets, resumed.
42. If we now resume, for a moment, the consideration of
those plane geometrical nets, which were mentioned in Art. 34 ;
and agree to call those points and lines, in the given plane, ra-
tional points and rational lines, respectively, which have their
anharmonic co-ordinates equal (or proportional) to whole num-
bers ; because then the anharmonic quotients, which were dis-
cussed in the last Section, are rational ; but to say that a point
or line is irrational, or that it is irrationally related to the
given system o^four initial points o, a, b, c, when its anhar-
monic co-ordinates are not thus all equal (or proportional) to
integers ; it is clear that ivhatever four points we may assume
as initial, and however far the construction of the net may be
carried, the net-points and net-lines which result will all be ra-
tional, in the sense just now defined. In fact, we begin with
such; and the subsequent eZz/w ma ^20W5 (41) oan never after-
CHAP. II.] PLANE GEOMETRICAL NETS. 33
wards conduct to any, that are of the contrary kind : the right
line which connects two rational points being always a rational
line ; and the point of intersection of two rational lines being
necessarily a rational point. The assertion made in Art. 34
is therefore fully justified.
43. Conversely, every rational point of the given plane,
with respect to the four assumed initial points oabc, is a point
of the net which those four points determine. To prove this,
it is evidently sufficient to show that every rational point
Ai = (0, y, z), on any one side bc of the given triangle abc, can
be so constructed. Making, as in Fig. 22,
Bi = oAi • CA, and Ci = oAi • ab,
we have (by 35, 36) the expressions,
Bi = (2/, 0,2/-2r), Ci=(z, ;2-y, 0);
from which it is easy to infer (by 36, 37), that
c' Bi • BC = (0, y,z- y), b'Ci • bc = (0, 2/ - z, z) ;
and thus we can reduce the linear construction of the rational
point (0, 2/j 2;), in which the two whole numbers y and z may
be supposed to be prime to each other, to depend on that of
the point (0, 1, 1), which has already been constructed as a'.
It follows that although no irrational point Q of the plane can
he a net-point, jet every such point can be indefinitely approached
to, by continuing the linear construction;
so that it can be included within a quadrila-
teral interstice P1P2P3P4, or even within a tri-
angular interstice P1P2P3, which interstice of p^^ -T^^*
the net can be made as small as we may de-
sire. Analogous remarks apply to irrational
lines in the plane, which can never coincide
with net-lines, but may always be indefinitely approximated to
by such.
44. If p, Pi, P2 be any three collinear points of the net, so
that the formulae of 37 apply, and if p'be any ^wr^^ net-point
{x, y, z) upon the same line, then writing
Xxa + yj) + z^c ~ Vx, x^a + y-h + z.c = v^.
34 ELEMENTS OF QUATERNIONS. [bOOK I.
we shall have two expressions of the forms,
_ tVipi + UV2P2 , t'Vipi + UV2P2
tVi + UV2 ' t'Vi + UV2 '
in which the coefficients tut'u are rational, because the co-or-
dinates xyz, &c., are such, whatever the constants abc may be.
We have therefore (by 25) the following rational expression
for the anharmonic of this net-group :
"" ^ tu' {X1/2 - yXi) {x'y, - y'x,) '
and similarly for every other group of the same kind. Hence
every group of four coUinear net-points, and consequently also
every pencil of four concurrent net-lines, has a rational value for
its anharmonic function ; which value depends only on the pro-
cesses of linear construction employed, in arriving at that group
or pencil, and is quite independent of the configuration or ar-
rangement oiihefour initial points : because the three initial
constants, «, b, c, disappear ^vom the expression which results.
It was thus that, in Fig. 21, the niiie pencils, which had the
nine derived points a' . . c"' for their vertices, were all harmo-
nic pencils, in whatever manner the four points o, a, b, c
might be arranged. In general, it may be said that plane
geometrical nets are all homo graphic figures ;* and conversely,
in any two such ^2,wq figures, corresponding points may be con-
sidered as either coinciding, or at least (by 43) as indefinitely
approaching to coincidence, with similarly constructed points
of two plane nets : that is, with points of which (in their re-
spective systems) the anharmonic co-ordinates (36) are equal
integers.
45. Without entering heref on any general theory of trans-
fi)rmation of anharmonic co-ordinates, we may already see that
if we select any fjur net-points Oi, Ai, Bi, Ci, of which no three
are collinear, every other point p of the same net is rationally
related (42) to these ; because (by 44) the three new anhar-
* Compare the Geometrie Svpe'rieure of M. Chasles, p. 362.,
t See Note A, on Anharmonic Co-ordinates.
CHAP. II.] CURVES IN A GIVEN PLANE. 35
monies of pencils, (Aj . BiOiCip) = — , &c., are rational : and
therefore (comp. 36) the new co-ordinates Xi, r/i, Zi of the point
p, as well its old co-ordinates xi/z, are equal or proportional to
whole numbers. It follows (by 43) that everi/ point p of the
net can be linearly constructed, if ani/ four such points be
ffiven (no three being collinear, as above) ; or, in other words,
that the whole net can be reconstructed,* \^ any one of its qua-
drilaterals (such as the interstice in Fig. 24) be known. As
an example, we may suppose that the four points oa'b'c' in
Fig. 21 are given, and that it is required to r^c^juer from them
the three points abc, which had previously been among the
data of the construction. For this purpose, it is only neces-
sary to determine first the three auxiliary points a'", b'", c"', as
the intersections oa' • b'c', &c. ; and next the three other auxi-
liary points a", b", c", as b'c' • b'"c'", &c. : after which the for-
mulae, A = b'b" • c'c"j &c., will enable us to return, as required,
to the points a, b, c, as intersections of known right lines.
Section 6. — On Anharmonic Equations, and Vector Expres-
sions, for Curves in a given Plane.
46. When, in the expressions 34 or 36 for a variable vec-
tor p = OP, the three variable scalars (or anharmonic co-ordi-
nates) X, y, z are connected by any given algebraic equation,
such as
fp{x,y, 2) = 0,
supposed to be rational and integral, and homogeneous of the
p^^ degree, then the locus of the term v (Art. 1) of that vector
is biplane curve of the jo^^ order; because (comp. 37) it is cut
* This theorem (45) of the possible reconstruction of a plane net, from any one
of its quadrilaterals^ and the theorem (43") respecting the possibility of indefi-
nitely approaching by net-lines to the points above called irrational (ii), without
ever reaching such points by any processes of linear constrtiction of the kind here
considered, have been taken, as regards their substance (although investigated by a
totally different analysis), from that highly original treatise of Mobius, which was
referred to in a former note (p. 23). Compare Note B, upon the Bai-ycentric Calcu-
lus ; and the remarks in the following Chapter, upon nets in space.
I
36 ELEMENTS OF QUATERNIONS. [bOOK I.
in p points (distinct or coincident, and real or imaginary), by
any given right line, Ix -^^ my ■\- nz = 0, in the given plane.
For example, if we write
f^aa + u^b^ + v'^cy
where t, u, v are three new variable scalars, of which we shall
suppose that the sum is zero, then, by eliminating these be-
tween the four equations,
a; = t^, y = u\ z=v\ t + u+v = 0,
we are conducted to the following equation of the second
degree, q =^ = ^2 ^ ^2 + ^^ - 22/z - 2zx - 2xy ;
so that here p-% and the locus of p is a conic section. In fact,
it is the conic which touches the sides of the given triangle abc,
at the points above called a', b', c' ; for if we seek its inter sec-
tions with the side bc, by making a; = (38), we obtain a
quadratic with equal roots, namely, {y-zy = 0\ which shows
that there is contact with this side at the point (0, 1, 1), or a'
(36) : and similarly for the two other sides.
47. If the point o, in which the three right lines aa', bb',
cc' concur, be (as in Fig. 18, &c.) interior to the triangle abc,
the sides of that triangle are then all cut internally, by the
points a', b', c' of contact with the conic ; so that in this case
(by 28) the ratios of the constants «, h, c are all positive, and
the denominator of the recent expression (46) for p cannot va-
nish, for any real values of the va-
riable scalars t, u^ v, and conse-
quently no such values can render
infinite that vector p. The conic is
therefore generally in this case, as in
Fig. 25, an inscribed ellipse ; which
becomes however the inscribed cir-
cle, when
«-M &-^ : c"^ = s - a : s - b : s - c ;
a, b, c denoting here the lengths of ^'^' ^^*
the sides of the triangle, and s being their semi-sum.
CHAP. II.] ANHARMONIC EQUATIONS OF PLANE CURVES. 37
48. But if the point of concourse o be exterior to the tri-
angle of tangents abc, so that two of its sides are cut externally^
then two of the three ratios o^ segments (28) are negative; and
therefore one of the three constants a, h, c may be treated as
< 0, but each of the two others as > 0. Thus if we suppose
that
i>0, oO, «<0, « + J>0, a+oO,
a' will be a point on the side b itself, but the points b', c', o
will be on the lines Ac, ab, ka! prolonged, as in Fig. 26 ; and
then the conic a'b'c' will be an
ellipse (including the case of a
circle), or a parabola, or an hy-
perbola^ according as the roots of ^
the quadratic.
Fig. 26.
{a + c) t^ + 2ctu +{b + c)u^ = 0,
obtained by equating the deno- b'
minator (46) of the vector p to
zero, are either, 1st, imaginary ; or Ilnd, real and equal; or
Ilird, real and unequal : that is, according as we have
bc + ca + ab>0, or = 0, or < ;
or (because the product abc is here negative), according as
a'^ + b-^ + c-^ < 0, or =0, or > 0.
For example, if the conic be what is often called the exscribed
circle, the known ratios of segments give the proportion,
a'^ : 6"^ : c'^ = - s : s - c : s - b ;
and
-s + s-c + s-b<0.
49. More generally, if c^ be (as in Fig. 26) a point upon
the side ab, or on that side prolonged, such that cc^ is parallel
to the chord b'c', then
c^c' : Ac' = cb' : ab' = - rt : c, and ab : ac' = « + i : 6 ;
writing then the condition (48) of ellipticity (or circularity)
38 ELEMENTS OF QUATERNIONS. [bOOK I.
under the form, ^— < —7—, we see that the conic is an ellipse,
c
parabola, or hyperbola, according as c^c' < or = or > ab ; the
arrangement being stilU in other respects, that which is repre-
sented in Fig. 26. Or, to express the same thing more sym-
metrically, if we complete the parallelogram cabd, then ac-
cording as the point d falls, 1st, beyond the chord b'c', with
respect to the point a; or llnd, on that chord; or Ilird,
ivithin the triangle ab'c', the general arrangement of the same
Figure being retained, the curve is elliptic^ or parabolic, or
hyperbolic. In that other arrangement or configuration, which
answers to the system of inequalities, Z>>0, c>0, « + 5 + c<0,
the point a' is still upon the side bc itself, but o is on the line
a'a prolonged through a ; and then the inequality,
a (^ + c) + 6c < - (^>2 + 6c + c2) < 0,
shows that the conic is necessarily an hyperbola ; whereof it is
easily seen that one branch is touched by the side bc at a',
while the other branch is touched in b' and c', by the sides
CA and ba prolonged through a. The curve is also hyperbo-
lic, if either a + 6 or a + c be negative, while b and c are posi-
tive as before.
50. When the quadratic (48) has its roots real and un-
equal, so that the conic is an hyperbola, then the directions of
the asymptotes may be found, by substituting those roots,
or the values of t, u, v which correspond to them (or any
scalars proportional thereto), in the numerator of the expres-
sion (46) for p ; and similarly we can find the direction of the
axis of the parabola, for the case when the roots are real but
equal : for we shall thus obtain the directions, or direction, in
which a right line op must be drawn from o, so as to meet the
conic at infinity. And the same conditions as before, for dis-
tinguishing the species of the conic, maybe otherwise obtained
by combining the anharmonic equation, /= (46), of that
conic, with the corresponding equation ax + by ^■cz={) (38) of
the line at infinity ; so as to inquire (on known principles of
modern geometry) whether that line meets that curve in tivo
CHAP. II.] DIFFERENTIALS — TANGENTS POLARS. 39
imaginary points^ or touches it, or cuts it, in points which (al-
though infinitely distant) are here to be considered as real,
51. In general, if /(a?, y, z) = be the anharmonic equa-
tion (46) oi any plane curve, considered as the locus of a varia-
ble point p ; and if the differential* of this equation be thus
denoted,
= d/(a?,3/, ^) = Xdar+ Ydy+^ds';
then because, by the supposed homogeneity (46) of the func-
tion/, we have the relation
Xx^Yy + Zz=^fd,
we shall have also this other but analogous relation,
if ,
x' - x'.y' -y \z' - z = diX',diy\<\.z\
that is (by the principles of Art. 37), if p'=-(a;'j y\ z!) be any
point upon the tangent to the curve, drawn at the point
p = (re, y, z), and regarded as the limit of a secant. The sym-
hoi (37) of this tangent at p may therefore be thus written,
[X,y, ZJ, or [D,/ D,/, D,/];
where d^, d^, d^ are known characteristics of partial deriva-
tion.
52. For example, whenyhas the form assigned in 46, as an-
swering to the conic lately considered, we have d.t/= 2{x-y-z),
&c. ; whence the tangent at any point (x, y, z) of this curve
may be denoted by the symbol,
\_x-y-z, y-z-x, z-x-y];
in which, as usual, the co-ordinates of the line may be replaced
by any others proportional to them. Thus at the point a', or
(by 36) at (0, 1, 1), which is evidently (by the form of/) a
point upon the curve, the tangent is the line [- 2, 0, 0], or
[1, 0, 0] ; that is (by 38), the side bc of the given triangle, as
* In the theory of qziaternions, as distinguished from (although including) that
of vectors, it will he found necessary to introduce a new definition of differentials, on
account of the non- commutative property o{ quaternion-multiplication : hut, for the
present, the usual significations of the signs d and d are sufficient.
40 ELEMENTS OF QUATERNIONS. [bOOK I.
was Otherwise found before (46). And in general it is easy to
see that the recent symbol denotes the right line, which is (in
a well known sense) the polar of the point {x, y, z), with re-
spect to the same given conic ; or that the line [X', F', Z''\ is
the polar of the point (x', y, z) : because the equation
Xx'+Yy' + Zz^O,
which for a conic may be written as X'x + Y'y + Z'z = 0,
expresses (by 51) the condition requisite, in order that a point
(x, y, z) of the curve* should belong to a tangent which passes
through the point {x\ y\ z). Conversely, the point {x, y, z)
is (in the same well-known sense) the po/^ of the line [X, Y, Z"] ;
so that the centre of the conic, which is (by known principles)
i\\Q pole of the line at infinity (38), is the point which satisfies
the conditions a-^X=^h-^Y=c-^Z \ it is therefore, for the pre-
sent conic, the point k = (6 + c, c + «, a + S), of which the
vector OK is easily reduced, by the help of the linear equation,
«a + Z>j3 + cy = (27), to the form,
2 {he + c« + ah) '
with the verification that the denominator vanishes^ by 48,
when the conic is a parabola. In the more general case, when
this denominator is different from zero, it can be shown that
every chord of the curve, which is drawn through the extremity
K of the vector k, is bisected at that point k : which point
would therefore in this way be seen again to be the centre.
53. Instead of the inscribed conic (46), which has been the
subject of recent articles, we may, as another example, consi-
der that exscribed (or circumscribed) conic, which passes
through the three corners a, b, c of the given triangle, and
touches there the lines aa", bb", cc" of Fig. 21. The anhar-
monic equation of this new conic is easily seen to be,
yz -v zx -\^ xy = ;
* If the curve /= were of a degree higher than the second, then the two equa-
tions above written would represent what are called the first polar, and the last or
the line-polar, of the point (x', y\ z'), with respect to the given curve.
CHAP. 11 ] VECTOR OF A CUBIC CURVE. 41
the vector of a variable point p of the curve may therefore be
expressed as follows,
with the condition ^ + m + v = 0, as before. The vector of its
centre k' is found to be,
^2 _^ 52 4. c2 - 2bc - 2ca - lab '
and it is an ellipse, a parabola, or an hyperbola, according as
the denominator of this last expression is negative, or null, or
positive. And because these two recent vectors^ jc, k, bear a
scalar ratio to each other, it follows (by 19) that the three
points o, K, k' are collinear ; or in other words, that the line
of centres kk', of the two conies here considered, passes through
the point of concourse o of the three lines aa', bb', cc'. More
generally, if l be the pole of any given right line A = [/, w, n]
(37), with respect to the inscribed conic (46), and if l' be the
pole of the same line A with respect to the exscribed conic of
the present article, it can be shown that the vectors ol, ol', or
A, X', of these two poles are of the forms,
\ = k (laa + mb^ + ncy)^ A' = h! {laa + mb^ + ncy),
where k and k' are scalar s ; the three points o, l, l' are there-
fore ranged on one right line.
54. As an example of a vector-expression for a curve of an
order higher than the second, the following may be taken :
t^aa + U^bQ + v^Cy
^ t^a + v?b + v^c
with ^ 4- M + r = 0, as before. Making x = t^, y^u^, z = v^, we
find here by elimination of t, u, v the anharmonic equation^
{x-\-y+ zy - 27 xgz--^0;
the locus of the point p is therefore, in this example, a curve of
the third order, or briefly a cubic curve. The mechanism (41)
G
42
ELEMENTS OF QUATERNIONS.
[book I.
Fig. 27.
of calculations with anharmonic co-ordinates is so much the
same as that of the known trilinear method, that it may suffice
to remark briefly here that the sides of the given triangle abc
are the three (real) tangents of inflexion; the points of inflexion
being those which are marked as a", b", c" in Fig. 2 1 ; and the
origin of vectors o being a conjugate point* lia=b = c,in which
case (by 29) this origin o becomes (as in Fig. 19) the mean
point of the trian-
gle, the chord of
inflexion a"b"c" is
then the line at
infinity, and the
curve takes the
form represented
in Fig. 27; hav-
ing three infinite
branches, inscribed within the angles vertically opposite to
those of the given triangle abc, of which the sides are the
three asymptotes.
55. It would be improper to enter here into any details of
discussion of such cubic curves, for which the reader will na-
turally turn to other works.f But it may be remarked, in
passing, that because the general cubic may be represented, on
the present plan, by combining the general expression of Art.
34 or 36 for the vector p, with the scalar equation
s^ = 27kxgz, where s = a; + y-\- z;
k denoting an arbitrary constant, which becomes equal to
unity, when the origin is (as in 54) a conjugate point; it fol-
lows that if p = (x, y, z) and p' = (a?', y', z) be any two points
of the curve, and if we make s' = x' + y' + z, we shall have the
relation,
x^ ys' zs
sx sy sz'
xyzs ^ = xyz s^, or — ;
* Answering to the values ^=1, m = 0, v=Q\ where is one of the imaginary
cube-roots of unity ; which values of t^ u, v give x — y = z, and p = 0.
t Especially the excellent Treatise on Higher Plane Curves^ by the Rev. George
Salmon, F. T. C D., &c. Dublin, 1852.
CHAP. II.] ANHARMONIC PROPERTY OF CUBIC CURVES. 43
in which it is not difficult to prove that
•^'=(a".pbp'b"); ^,= (b".pcp'c"); — , = (c". papV);
sx ^ sy ^ sz
the notation (35) of anharmonics of pencils being retained.
We obtain therefore thus the following Theorem : — " If the
sides of any given plane* triangle abc he cut (as in Fig. 2\)hy
any given rectilinear transversal a"b"c'', and if any two points
p and p' in its plane be such as to satisfy the anharmonic rela-
tion
(a". pbpV) . (b". pcp'c") . (c". papa") = 1,
then these two points p, p' are on one common cubic curve, which
has the three collinear points a", b", c" for its three real points
of inflexion^ and has the sides bc, ca, ab of the triangle for its
three tangents at those points ;" a result which seems to offer
a new geometrical generation for curves of the third order,
5Q. Whatever the order of a plane curve may be, or what-
ever may be the degree p of ihQfunctionf'm. 46, we saw in 51
that the tangent to the curve at any point p = (a:, y, z) is the
right line
A = [/, m, w], if 1= Hxf, rn = Hyfi n = n^f-,
expressions which, by the supposed homogeneity off, give the
relation, Ix -\-my+nz^ 0, and therefore enable us to establish
the system of the two following differential equations,
Idx + mdy + ndz = 0, xdl + ydm + zdn = 0.
If then, by elimination of the ratios of x, y, z, we arrive at a neio
homogeneous equation of the form,
as one that is true for all values of x, y, z which render the
function /= (although it may require to be cleared of factors,
introduced by this elimination), we shall have the equation
F(l,m, n) = 0,
* This Theorem may be exteaded, with scarcely any modification, from plane to
spherical curves., of the third order.
44 ELEMENTS OF QUATERNIONS. [bOOK I.
as a condition that must be satisfied by the tangent A to the
curve, in all the positions which can be assumed by that right line.
And, by comparing the two differential equations,
dr(/, 772, W) = 0, red/ + 7/d77Z + 2:d77 = 0,
we see that we may write the proportion,
x\y\z= D/F : D,rtF : d„f, and the symbol v = (d^f, d„iF, d^f),
if {x, 7/, z) be, as above, the point of contact p of the variable
line [/, 772, n\ in any one of its positions, with the curve which
is its envelope. Hence we can pass (or return) from the tan-
gential equation f = 0, of a curve considered as the envelope of
a right line A, to the local equation f= 0, of the same curve
considered (as in 46) as the locus of a point p : since, if we ob-
tain, by elimination of the ratios of /, m, n, an equation of the
form
0=/(dzF, d,„f, d„f),
(cleared, if it be necessary, of foreign factors) as a conse-
quence of the homogeneous equation f = 0, we have only to
substitute for these partial derivatives, D/F, &c., the anhar-
monic co-ordinates x, 7/, z, to which they are proportional.
And when the functions /"and f are not only homogeneous (as
we shall always suppose them to be), but also rational and
integral (which it is sometimes convenient not to assume them
as being), then, while the degree of the function^ or of the
local equation, marks (as before) the order of the curve, the
degree of the other homogeneous function f, or of the tangential
equation F = 0, is easily seen to denote, in this anharmonic
method (as, from the analogy of other and older methods, it
might have been expected to do), the class of the curve to
which that equation belongs : or the number of tangents (dis-
tinct or coincident, and real or imaginary), which can be drawn
to that curve, from an arbitrary point in its plane.
57. As an example (comp. 52), if we eliminate x, y, z be-
tween the equations,
l = x-y-z, m = y-z - X, n = z-x-y, Ix + my + 7iz== 0,
where /, in, n are the co-ordinates of the tangent to the inscribed
CHAP. II.] LOCAL AND TANGENTIAL EQUATIONS. 45
conic of Art. 46, we are conducted to the following tangen-
tial equation of that conic, or curve of the second class,
f(1, m,n) = mn + nl+ lm = ;
with the verification that the sides [1, 0, 0], &g. (38), of the
triangle abc are among the lines which satisfy this equation.
Conversely, if this tangential equation were given, we might
(by 5Q) derive from it expressions for the co-ordinates of con-
tact X, 2/, z, as follows :
a;=D/F = 772+72, 2/ = n -^ I, Z = I -^ m ',
with the verification that the side [1, 0, 0] touches the conic,
considered now as an envelope, in the point (0, 1, 1), or a', as
before : and then, by eliminating /, m, n, we should be brought
back to the local equation, f= 0, of 46. In like manner, from
the local equation /= yz + zx-\- xy = of the exscribed conic (53),
we can derive by differentiation the tangential co-ordinates,*
I = T>jf^= y -^ z, rn = z-\- X, n = X + y,
and so obtain by elimination the tangential equation, namely,
f(/, 7w, n) = l^ + m^+n''- 2mn - 2nl -2lm = 0;
from which we could in turn deduce the local equation. And
(comp. 40), the very simple formula
Ix + my+nz = 0,
which we have so often had occasion to employ, as connecting
two sets of anharmonic co-ordinates, may not only be consi-
dered (as in 37) as the local equation of a given right line A,
along which a point p moves, but also as the tangential equa-
tion of a given point, round which a right line turns : according
as we suppose the set I, 7n, n, or the set x, y, z, to be given.
Thus, while the right line a"b"c", or [1, 1, 1], of Fig. 21, was
* This name of " tangential co-ordinates'^ appears to have been first introduced
by Dr. Booth in a Tract published in 1840, to which the author of the present Ele-
ments cannot now more particularly refer : but the system of Dr. Booth was entirely
dilFerent from his own. See the reference in Salmon's Higher Plane Curves, note to
page 16.
46 ELEMENTS OF QUATERNIONS. [bOOK I.
represented in 38 by the equation a; + z/ + 2: = 0, the point o of
the same figure, or the point (1, 1, 1), may be represented by
the analogous equation^
l + m + n = 0;
because the co-ordinates I, ni, n of every line, which passes
through this point o, must satisfy this equation of the first de-
gree, as may be seen exemphfied, in the same Art. 38, by the
lines OA, ob, oc.
58. To give an instance or two of the use of forms, which,
although homogeneous, are yet not rational and integral {pQ),
we may write the local equation of the inscribed conic (46) as
follows :
ai + ?/4 + 22 = ;
and then (suppressing the common numerical factor J), the
partial derivatives are
I = x% m = 2/"2, n = z'h;
so that a form of the tangential equation for this conic is,
/-I + ni-i ^ ^-1 = Q .
Avhich evidently, when cleared of fractions, agrees with the first
form of the last Article : with the verification (48), that
^-1 4. ^-1 4. c-i = when the curve is a parabola ; that is, when
it is touched (50) by the line at infinity (38). For the ex-
scribed conic (53), we may write the local equation thus,
x-'^ + y^ + 2-^ = 0;
whence it is allowed to write also,
Z=a;-2, m = y-'^, n-=z-\
and
lh + mh + n^=0 ;
a form of the tangential equation which, when cleared of radi-
cals, agrees again Avith 57. And it is evident that we could
return, with equal ease, from these tangential to these local
equations.
59. For the cubic curve with a conjugate point (54), the
local equation may be thus written,*
* Compare Salmon's Higher Plane Curves, page 172.
CHAP. II.] LOCAL AND TANGENTIAL EQUATIONS. 47
we may therefore assume for its tangential co-ordinates the
expressions,
/ = x'i, m = ?/-!, n = ^i ;
and a form of its tangential equation is thus found to be,
Conversely, if this tangential form were given, we might re-
turn to the local equation, by making
X = Zf , y = m"f , z = w"2,
which would give x^-vy^-^ zi= 0, as before. The tangential
equation just now found becomes, when it is cleared of radi-
cals,
= 7-2 + ^-2 ^ ^-2 _ 2m-i n' - 2n-' l' - 21' m' ;
or, when it is also cleared of fractions,
= F = m^n^ + ^2/2 4. /2^2 _ 2nl^m - 2Im^n - 2mnH ;
of which the biquadratic form shows (by 5Q) that this cubic
is a curve of the fourth class, as indeed it is known to be.
The inflexional character (54) of the points a", b", c" upon
this curve is here recognised by the circumstance, that when
we make m -n = 0, in order to find the four tangents from
a" =(0, 1,- 1) (36), the resulting biquadratic, = m*- Alm^, has
three equal roots ; so that the line [1, 0, 0], or the side Bc,
counts as three, and is therefore a tangent of inflexion : the fourth
tangent from a" being the line [1, 4, 4], which touches the
cubic at the point (- 8, U 1).
60. In general, the two equations {6Q),
nDj.f- lDzf= 0, nTfyf- mBzf^ 0,
may be considered as expressing that the homogeneous equa-
tion, ^
f{nx,ny, -lx-my) = 0,
which is obtained by eliminating z with the help of the rela-
tion Ix + my-^nz^ 0, from f(x, y, z) = 0, and which we may
48 ELEMENTS OF QUATERNIONS. [bOOK I.
denote by {x, y) = 0, has two equal roots x:y,\{ /, wi, n be
still the co-ordinates of a tangent to the curve/*; an equality
which obviously corresponds to the coincidence of two intersec-
tions of that line with that curve. Conversely, if we seek by
the usual methods the condition of equality of two roots xiy of
the homogeneous equation of the p^^ degree,
= ^ (a;, y) =f{nx, ny, -Ix- my),
by eliminating the ratio x : y between the two derived homo-
geneous equations, = Dj.^, = d,^0, we shall in general be
conducted to a result of the dimension 2p{p- 1) in /, m, n,
and of the ^rm,
= wP^P-i) F (/, m, n) ;
and so, by the rejection of the foreign factor nP^P-'^\ introduced
by this elimination,* we shall obtain the tangential equation
F = 0, which will be in general of the degree /?(p - 1 ) ; such being
generally the known class (pQ) of the curve of which the
order (46) is denoted by p : with (of course) a similar mode of
passing, reciprocally, from a tangential to a local equation.
61. As an example, when the function /has the cubic form
assigned in 54, we are thus led to investigate the condition for
the existence of two equal roots in the cubic equation,
= (p(x,y)= [(n-l)x+ (m - l)y]'^ + ''277i^xy(lx+ my),
by eliminating x : y between two derived and quadratic equa-
tions ; and the result presents itself, in the first instance, as of
the twelfth dimension in the tangential co-ordinates /, m, n ;
but it is found to be divisible by n^, and when this division is
effected, it is reduced to the sixth degree, thus appearing to
imply that the curve is of the sixth class, as in fact the general
cubic is well known to be. A. further reduction is however
possible in the present case, on account of the conjugate point
o (54), which introduces (comp. 57) the quadratic factor,
* Compare the method employed in Sahnon's Higher Plane Curves, page 98, to
find the equation of the reciprocal of a given curve, with respect to the imaginary
conic, *2 4.y3-|- j2 = 0. In general, if the function f be deduced from /as above,
then F(a;y?)= 0, and f(xyz) = are equations of two reciprocal curves.
CHAP. III.] VECTORS OF POINTS IN SPACE. 49
(/+ m + w)2 = ;
and when this factor also is set aside, the tangential equation
is found to be reduced to the biquadratic form* already assigned
in 59 ; the algebraic division, last performed, corresponding
to the known geometric depression of a cubic curve with a
double point, from the sixth to ihQ fourth class. But it is time
to close this Section on Plane Curves ; and to proceed, as in
the next Chapter we propose to do, to the consideration and
comparison of vectors of points in space.
CHAPTER III.
APPLICATIONS OF VECTORS TO SPACE.
Section 1. — On Linear Equations between Vectors not Com^
planar.
62. When three given and actual vectors oa, ob, oc, or
«5 i3j 7 J are not contained in any common plane, and w^hen
the three scalars a, b, c do not all vanish, then (by 21, 22)
the expression aa + b[5 + cy cannot become equal to zero ; it
must therefore represent 50/w^ actual vector (1), which we may,
for the sake of symmetry, denote by the symbol - d^ : where
the new (actual) vector B, or od, is not contained in any one
* If we multiply that form f = (59) by z% and then change nz to-lx- my,
we obtain a biquadratic equation in / : w, namely,
= ;//(;, w) = (^ - m)2 (Ix + myy^ + 2lm {I + m) {Jx -f my) z + I'^nfiz^ \
and if we then eliminate I : m between the two derived cubics, = Dii|/, = d,„i//,
we are conducted to the following equation of the twelfth degree, = x^y'^z^fix, y, z),
where /ha3 the same cubic form as in 54. "We are therefore thus brought hack
(comp. 59) from the tangential to the local equation of the cubic curve (54) ; com-
plicated, however, as we see, with the /ac^or x^y'^z^^ which corresponds to the sys-
tem of the three real tangents of inflexion to that curve, each tangent being taken
three times. The reason why we have not here been obliged to reject also the foreign
factor, 2*2, as by the general theory (60) we might have expected to be, is that we
multiplied the biquadratic function f only by z2, and not by z'^.
H
50
ELEMENTS OF QUATERNIONS.
[book I.
of the three given and distinct planes, boc, coa, aob, unless
some one, at least, of the three given coefficients «, 6, c, va-
nishes ; and where the new scalar^ d, is either greater or less
than zero. We shall thus have a linear equation between four
vectors,
aa + b(5 + cy + dd = ;
which will give
g =
aa
bfi
where oa', ob', oc'.
-Cj
or
or od = oa'+ ob'+ oc'
aa
-b(5 ~Cy
Fig. 28.
—7-5 — -T-j — r, are the
a d d
vectors of the three points
a', b', c', into which the
point D is projected^ on the
three given lines oa, ob, oc,
by planes drawn parallel to
the three given planes, boc,
&c. ; so that they are the
three co-initial edges of a
parallelepiped, whereof the sum, od or §, is the internal
and co-initial diagonal (comp. 6). Or we may project d on
the three planes, by lines da", db", dc" parallel to the three
• . bQ + Cy
given lines, and then shall have oa" = ob' + oc'= — — — ^, &c.,
- d
and
g = OD = oa' + oa" = ob' + ob" = oc' + oc".
And it is evident that this construction will apply to any ffth
point D of space, if the j^wr points oabc be still supposed to be
given, and not complanar : but that some at least of the three
ratios of the four scalars a, b, c, d (which last letter is not
here used as a mark of differentiation) will vary with the^o-
sition of the point d, or with the value of its vector 8. For
example, we shall have a = 0, if d be situated in the plane boc ;
and similarly for the two other given planes through o.
63. We may inquire (comp. 23), ichat relation between
these scalar coefficients must exist, in order that the point d
CHAP. III.] VECTORS OF POINTS IN SPACE. 51
may be situated in the fourth given plane abc ; or what is the
condition of complanarity o^ \hQ four points, a, b, c, d. Since
the three vectors da, db, dc are now supposed to be complanar,
they must (by 22) be connected by a linear equation, of the
form
fl(a-g) + 6(j3-g) + c(y-g) = 0;
comparing which with the recent and more general form (62),
we see that the required condition is,
a + 5 + c + c?= 0.
This equation may be written (comp. again 23) as
-a -b -c , oa' ob' oc' ,
d d d OA OB 00
and, under this last form, it expresses a known geometrical
property of a plane abcd, referred to three co-ordinate axes
OA, OB, oc, which are drawn from any common origin o, and
terminate upon the plane. We have also, in this case of com-
planarity (comp. 28), the following proportion of coefficients
and areas :
a :b: c :- d = dbc : dca : dab : abc ;
or, more symmetrically, with attention to signs of areas,
a :b: c : d = bcd : - cda : dab : - abc ;
where Fig. 1 8 may serve for illustration, if we conceive o in
that Figure to be replaced by d.
64. When we have thus at once the two equations,
aa-¥bf^ + cy + d^ = 0, and a + b + c + d=0,
so that the four co-initial vectors a, /3, y, S terminate (as above)
on one common plane, and may therefore be said (comp. 24) to
be termino-complanar, it is evident that the two right lines,
da and bc, which connect two pairs of the four complanar
points, must intersect each other in some point a' of the plane,
at a finite or infinite distance. And there i no difficulty in
perceiving, on the plan of 31, that the vectors of the three
52
ELEMENTS OF QUATERNIONS.
[book I.
points a', b', c' of intersection, which thus result, are the fol-
lowing :
for a' = bc'Da,
for b'= ca'DB,
for c' = ab • DC,
^'=
b^c -
a +
d
cy + aa
&/3 +
dd
cv a
- b +
d
aa + b^
Cy +
d^
a +b
c +
d
expressions which are independent of the position of the arbi-
trary origin o, and which accordingly coincide with the cor-
responding expressions in 27, when we place that origin in the
point D, or make S = 0. Indeed, these last results hold good
(comp. 31), even when the^wr vectors a, ^, y, ^, or the Jive
points o, A, b, c, d, are all complanar. For, although there
then exist two linear equations between those four vectors,
which may in general be written thus,
a a + ft'j3 + Cy + d'^ = 0, a"a f 6"/3 + c'y + d"8 = 0,
without the relations, a' + &c. = 0, a" + &c. = 0, between the
coefficients, yet if we form from these another linear equation,
of the form,
(a" + ta)a + {b" + tb')fi + (c" + tc')y + (d" + td')^ = 0,
and determine t by the condition,
t =
a" + b" + c" + d"
a+b' + c+d'^
we shall only have to make a = a"+ ta, &c., and the two equa-
tions written at the commencement of the present article will
then both be satisfied; and will conduct to the expressions
assigned above, for the three vectors of intersection : which
vectors may thus be found, without its being necessary to em-
ploy those processes of scalar elimination^ which were treated
of in the foregoing Chapter.
As an Example, let the two given equations be (comp. 27, 33),
aa + ij3 + cy = 0, (2a + fc + c)a'"- aa = ;
CHAP. III.] VECTORS OF POINTS IN SPACE. 53
and let it be required to determine the vectors of the intersections of the three pairs
of lines bc, aa'" ; CA, ba'" ; and ab, ca"'. Forming the combination,
(2a + 6 + c)a" - aa-\- t(aa + JjS + cy) = 0,
and determining t by the condition,
(2a + 6 + c) - a + <(a + 6 + c) = 0,
which gives * = — 1, we have for the three sought vectors the expressions,
bfi + cy cy + 2aa 2aa + bjS
b + c ' c+2a ' 2a + 6 '
whereof the first = a, by 27. Accordingly, in Fig. 21, the line aa'" intersects bc in
the point a' ; and although the two other points of intersection here considered,
which belong to what has been called (in 34) a Third Construction, are not marked
in that Figure, yet their anharmonic symbols (36), namely, (2, 0, 1) and (2, 1, 0),
might have been otherwise found by combining the equations y = and x — lz for the
two lines ca, ba'" ; and by combining z = 0, x = 2y for the remaining pair of lines.
Q5. In the more general case, when the four given points
A, B, c, D, are not in sluj common plane, let k be any fifth given
point of space, not situated on any one o^ the fijur faces of the
given pyramid abcd, nor on any such face prolonged ; and let
its vector oe = c. Then the/owr co-initial vectors, ea, eb, ec,
ED, v^hereof (by supposition) no three are complanar, and which
do not terminate upon one plane, must be (by 62) connected
by some equation of the form,
tf .EA + 6.EB + C.E0 + 6?.ED = 0;
where the^wr scalar s, a, b, c, d, and their sum, which we shall
denote by - e, are all different fiom zero. Hence, because
ea = a - £, &c., we may establish the following linear equation
between five co-initial vectors, a, j3, 7, S, e, whereof wo j^tt?- are
termlno-complanar (64),
aa + Jj3 + Cy + c?S + e£ = ;
with the relation, a+^ + c + c?+e = 0, between ih^five scalars
a, b, c, d, e, whereof no one now separately vanishes. Hence
also, £ = (aa + b(5+cy + d^) : (a+b + c+ d), &c.
66. Under these conditions, if we write
Di = DE*ABC, and ODi = ^i,
that is, if we denote by di the vector of the point Di in which
the right line de intersects the plane abc, we shall have
54 ELEMENTS OF QUATERNIONS. [bOOK I.
Oi = r = — = .
a + b+ e d+ e
In fact, these two expressions are equivalent^ or represent one
common vector, in virtue of the given equations; but the first
shows (by 63) that this vector Si terminates onthe/>Z«we abc,
and the second shows (by 25) that it terminates on the line
DE ; its extremity Di must therefore be, as required, the inter-
section of this line with that plane. We have therefore the two
equations,
I. . .a(«-gi) + *(i3-^i) + c(y-S0 = 0;
II.. .d{d~Si) + e(e-Bi)^0;
whence (by 28 and 24) follow the two proportions,
T, . . a:b:c= DjBC : DiCA : DiAB ;
ir. . . d:e= EDiiDiD ;
the arrangement of the points, in the
annexed Fig. 29, answering to the case
where all the four coefficients a, b, c, d
are positive (or have one common sign),
and when therefore the remaining co- '^" '
efficient e is negative (or has the opposite sign).
67. For the three complanar triangles, in the first propor-
tion, we may substitute any three pyramidal volumes, which
rest upon those triangles as their bases, and which have one
common vertex, such as D or e ; and because the collineation
DEDi gives DDiBc - EDiBc ~ DEBc, &c., wc may write this other
proportion,
F. . . a:b:c = debc : deca : deab.
Again, the same collineation gives
EDi : DDi = EABC : DABC ;
we have therefore, by IP., the proportion,
II". . . d: -e = EABC : DABC.
But
DEBC + DECA + DEAB + EABC = DABC,
and
CHAP. III.] VECTORS OF POINTS IN SPACE. 55
a-^ b + c + d= -e;
we may therefore establish the following fuller formula of
proportion, between coefficients and volumes :
III. . . aibicid: -e = debc : deca : deab : eabc : dabc ;
the ratios of all these five pyramids to each other being consi-
dered as positive^ for the particular arrangement of the points
which is represented in the recent figure.
68. The formula III. may however be regarded as per-
fectly general^ if we agree to say that a pyramidal volume changes
sign, or rather that it changes its algebraical character, as po-
sitive or negative, in comparison with a given pyramid, and
with a given arrangement of points, in passing through zero
(comp. 28) ; namely when, in the course of any continuous
change, any one of its vertices crosses the corresponding base.
With this convention* we shall have, generally,
DABC = -ADBC = ABDC = - ABCD, DEBC = BCDE, DECA = CDEA ;
the proportion III. may therefore be expressed in the follow-
ing more symmetric, but equally general form :
Iir. . , a:b:c:d:.e = bcde : cdea : deab : eabc : abcd ;
the sum of these j^ve pyramids being always equal to zero,
when signs (as above) are attended to.
69. We saw (in 24) that the two equations,
aa + bfi + cy = 0, a + b + c = 0,
gave the proportion of segments,
a : b : c = BC : CA : ab,
whatever might be the position of the origin o. In like man-
ner we saw (in 63) that the two other equations,
♦ Among the consequences of this convention respecting signs of volumes, which
has already been adopted by some modern geometers, and which indeed is necessary
(comp. 28) for the establishment of general formulae, one is that any two pyramids,
ABCD, a'b'c'd', bear to each other a positive or a negative ratio, according as the two
rotations, BCD and b'c'd', supposed to be seen respectively from the points A and a',
have similar or opposite directions, as right-handed or left-handed.
56 ELEMENTS OF QUATERNIONS. [bOOK I.
aa + bfi + Cy+d^^O, a + 6 + c + c? = 0,
gave the proportion of areas,
a:b:c: d= bcd : - cda : dab : - abc ;
where again the origin is arbitrary. And we have just deduced
(in 68) a corresponding proportion of volumes, from the two
analogous equations {65),
fla + 6/3 + cy + = ^!-^. ^ ;
in which the ratios of the differences of ihe five coefficients^ xyzwv, de-
termine the position of the point. In fact, because the four points
ABCD are not in any common plane, there necessarily exists (comp.
65) a determined linear relation between the four vectors drawn to
them from the point P, which may be written thus,
a/a . PA + y'b . pb + z^c . PC + w'd . pd = 0,
giving the expression,
_ x'aa + y^h^ + z'c^ + w'dh
x'a + y'b + z'c + w'd *
in which the ratios of the four scalars x'y'z'w'^ depend upon, and
conversely determine, the position of p ; writing, then,
ic=te' + v, y = ty'^v^ z-tz'-^v^ w-tw' + Vy
where t and v are two new and arbitrary scalars, and remembering
that aa + . . + ee = 0, and « + . . + e = (65), we are conducted to the
form for /», assigned above.
71. When the vector p is thus expressed, the point p maybe
denoted by the Quinary Symbol {x, ?/, z^ Wy v) ; and we may write
the equation,
p = (x, y, z, w, v).
But we see that the same point p may also be denoted by this other
symbol, oHhe same kind, (a/, y, z\ w\ v'), provided that the follow-
ing /jropor^eoM between differences of coefficients (70) holds good:
x' -v' '. y' -v''.z' -v''.w' -v' = x-v'.y-v\z-v'.w-v,
Undei' this condition, we shall therefore write the following /orww/a
of congruence,
{x\ y', z', w', v') E {x, y, z, w, v),
to express that these two quinary symbols, although not identical in
composition, have yet the same geometrical signification, or denote one
common point. And we shall reserve the symbolic equation,
{x', y, z', w', v') = {x, y, z, w, v),
I
58 ELEMENTS OF QUATERNIONS. [bOOK I.
to express that the Jive coefficients, x' . . . v\ of the one symbol, are
separately equal to the corresponding coefficients of the other,
a;' = flj, . . v' = v.
72. Writing also, generally,
(to, ty^ tZf tw, tv) = t (x, y, z, w, v),
{x' + a;, . . v' + v) = (x\ . . v') + (a;, . . v), &c.,
and abridging the particular symbol* (1, 1, 1, 1, 1) to (Z7), while
(Q)> (Q0» • • "^^y briefly denote the quinary symbols (a;, . . v),
{x', . . v'), . . we may thus establish the congruence (71),
(Q')=(a), if (Q)=«(ao+w(£^);
in which t and u are arbitrary coefficients. For example,
(0,0, 0,0, 1)E (1,1, 1,1,0), and (0, 0, 0, 1, 1)E(1, 1, 1, 0, 0);
each symbol of the first pair denoting (fi5) the given point e; and
each symbol of the second pair denoting ifiQ) the derived point Di.
When the coefficients are so simple as in these last expressions, we
may occasionally omit the commas^ and thus write, still more briefly,
(00001) = (11110); (00011) E (1 1100).
73. If three vectors, />, /?', p"^ expressed each under the first
form (70), be termino-collinear (24) and if we denote their denomi-
tors, a;a + . . , rc'a + . . , x"a + . . , by m-, m\ m!\ they must then (23) be
connected by a linear equation, with a null sum of coefficients, which
may be written thus :
tmp + t'm'p' + i"m"p" = ; tm^ t'm' + t"m" + 0.
We have, therefore, the two equations of condition^
t {xaa + . . + vee) + 1' {x'aa + . . + v'ee) + 1" {x"aa + . . + v"ee) = ;
t{xa + . . + ve) + 1' {x'a + . . + v'e) + f' {x"a + . . + v"e) = ;
where t, f, t" are three new scalars, while the five vectors a . . e, and
the five scalars a..e, are subject only to the two equations (65);
but these equations of condition are satisfied by supposing that
tx + t'x' + t"x" = . . = a' + t'v' + t"v" = -u,
where u is some new scalar, and they cannot be satisfied otherwise.
Hence the condition of collinearity of the three points p, p', p'', in
which the three vectors />, p', p" terminate, and of which the qui-
nary symbols are (Q), (QOi {.01% "^^y briefly be expressed by the
equation,
* This quinary symbol ( U) denotes no determined point, since it corresponds
(by 70, 71) to the indeterminate vector /o = - ; but it admits of useful combinations
with other quinary symbols, as above.
CHAP. III.] QUINARY SYMBOLS OF PLANES. 59
t{Q) + V {Q) + t" {Q")^-u{U);
so that if ant/ four scalars, <, t\ t'\ u, can he found, which satisfy this
last symbolic equation, then, but not in any other case, those three
points pp'p" are ranged on one right line. For example, the three
points D, E, Di, which are denoted (72) by the quinary symbols,
(00010), (00001), (11100), are coUinear ; because the sum of these
three symbols is ( U). And if we have the equation,
where t, f, u are any three scalars, then {Q") is a symbol for a point
v", on the right line pp'. For example, the symbol (0, 0, 0, t, t') may
denote any point on the line de.
74. By reasonings precisely similar it may be proved, that if
(Q) (QO (^'0 (Q'^0 be quinary symbols for &ny four points pp^p'^p'^'
in any common plane, so that the four vectors pp'p^p'^' are termino-
complanar (64), then an equation, of the form
UQ) + i^QO + 1" (Q'O + i'" ( Q''0 = - «^( C^)»
must hold good; and conversely, that \i the fourth symbol can be
expressed as follows,
{Cl"^) = t{a)^t' {Cl')^t"{Q!') ^u{U\
with any scalar values oit, t', t" , u, then the fourth point 2'^' is situ-
ated in the plane pp'p'^ of the other three. For example, the four
points,
(10000), (01000), (00100), (11100),
or A, B, c, Di {^^\ are complanar; and the symbol {t, t' , t", 0, 0)
may represent any point in the plane abc.
75. When a point p is thus complanar with three given points,
Po, Pi, P2, we have therefore expressions of the following forms, for
ih.Q five coefficients x, ..v oi its quinary symbol, in terms of the fif-
teen given coefficients oi their symbols, and of /owr new and arbitrary
scalars :
X = ^o^^o + , or at least the ratios of their differences (70), in the quinary
symbol of that point,
(x, y, z, w, v) = T = PoPiPg • P3P4.
Combining, for this purpose, the expressions,
X = ^30:3 + tiX4, + u',. . v = t^Vs + ^4^4 + u\
(which are included in the symbolical equation (73),
{Q)=^t,{Q,)-\-t,(CL) + u^iU).
and express the collinearity PP3P4,) with the equations (75),
/a?+ .. +5t;=0, Z+.. + 5 = 0,
(which express the complanarity pPqPiP^,) we are conducted to the
formula,
^3 {Ix^ + . . + svg) -I- «4 {Ix^ + . . + 5^4) = 0;
which determines the ratio t^ : ^4, and contains the solution of the
problem. For example, if p be a point on the line de, then (comp.
73),
X=:y = z-u', w^tz+u', V = «4 + ?/;
CHAP. III.] QUINARY TYPES OF POINTS AND PLANES. 61
but if it be also a point in the plane abc, then w-v-0 (75), and
therefore ^3 - ^4 = ; hence
(Q) = ^3(00011) + w^(ll 111), or (Q) = (00011);
which last symbol had accordingly been found (72) to represent the
intersection (fi^), Dj = abc • de.
77- When the five coefficients, xyzwv, of any given quinary
symbol (Q) for a point p, or those of any congruent symbol (71), are
any whole numbers (positive or negative, or zero), we shall say
(comp. 42) that the point p is rationally related to the five given points,
A . . E ; or briefly, that it is a Kational Point of the System, which
those five points determine. And in like manner, when the five
coefficients, Imnrs, of the quinary symbol (75) of a plane 11 are either
equal or proportional to integers, we shall say that the plane is a Ra-
tional Plane of the same System; or that it is rationally related to the
same five points. On the contrary, when the quinary symbol of a
point, or of a plane, has not thus already whole coefficients, and can-
not be transformed (comp. 72) so as to have them, we shall say that
the point or plane is irrationally related to the given points; or
briefly, that it is irrational. A right line which connects two rational
points, or is the intersection of two rational planes, may be called, on
the same plan, a Rational Line ; and lines which cannot in either
of these two ways be constructed, may be said by contrast to be
Irrational Lines. It is evident from the nature of the eliminations
employed (comp. again 42), that a plane, which is determined as con-
taining three rational points, is necessarily a ra^eowaZ^Zawe; and in
like manner, that o. point, which is determined as the common inter-
section of three rational planes, is always a rational jwint : as is also
every point which is obtained by the intersection of a rational line
with a rational plane ; or of two rational lines with each other (when
they happen to be complanar).
78. Finally, when two points^ or two planes, differ only by the ar-
rangement (or order) of the coefficients in their qn'mar j symbols^ those
points or planes may be said to have one common type; or briefly
to be syntypicaL For example, ihefive given points, a, . . e, are thus
syntypical, as being represented by the quinary symbols (10000), . .
(00001); and the ten planes, obtained by taking all the ternary
combinations of those five points, have in like manner one common
type. Thus, the quinary symbol of the plane abc has been seen
(75) to be [OOOll]; and the analogous symbol [11000] represents
the plane cde, &c. Other examples will present themselves, in a
62 ELEMENTS OF QUATERNIONS. [bOOK I.
shortly subsequent Section, on the subject of Nets in Space. But
it seems proper to say here a few words, respecting those Aiihar-
monic Co-ordinates, Equations^ Symbols, and Types, for Space, which
are obtained from the theory and expressions of the present Section,
by reducing (as we are allowed to do) the number of the coefficients^
in each symbol or equation, from Jive to four.
Section 3. — On Anharmonic Co-ordinates in Space.
79. When we adopt the second form (70) for />, or suppose (as
we may) that the fifth coefficient in the yir5^ form vanishes, we get this
other general expression (comp. 34, 36), for the vector of a point in
space:
xaa + yh3 + zc^ + wdb
xa + yb-\-zc + wd
and may then write the symbolic equation (comp. 36, 71),
p=(a7, y, z, w),
and call this last the Quaternary Symbol of the Point P : although
we shall soon see cause for calling it also the Anharmonic Symbol of
that point. Meanwhile we may remark, that the only congruent
symbols (71), of this last form, are those which differ merely by the
introduction oi s. common factor : the three ratios of the /owr coeffi-
cients, X . ,w, being all required, in order to determine the position of
the point; whereof those four coefficients may accordingly be said
(comp. 36) to be the Anharmonic Coordinates in Space.
80. When we thus suppose that v = 0, in the quinary symbol of
t\ie point p, we may suppress the fifth term sv, in the quinary equation
of 2i plane IT, lx-\- ..+sv = (75) ; and therefore may suppress also (as
here unnecessary) th^ fifth coefficient, s, in the quinary symbol of that
plane, which is thus reduced to the quaternary form,
n = [/, m, n, r].
This last may also be said (37, 79), to he the Anharmonic Symbol of
the Plane, of which the Anharmonic Equation is
Ix + my + nz + rw = 0',
the four coefficients, Imnr, which we shall call also (comp. again 37)
the Anharmonic Co-ordinates of that Plane 11, being not connected
among themselves by any general relation (such as Z+ . .+5 = 0): since
their three ratios (comp. 79) are all in general necessary, in order to
determine the position of the plane in space.
81. If we suppose that the fourth coefficient, w, also vanishes, in
CHAP. III.] ANHARMONIC CO-ORDINATES IN SPACE. 63
the recent symbol of a point, thsit point p is in theplane abc ; and may-
then be sufficiently represented (as in 36) by the Ternary Symbol
(a?, y, z). And if we attend only to the points in which an arbitrary
plane n intersects the given plane abc, we may suppress its fourth co-
efficient, r, as being for such points unnecessary. In this manner,
then, we are reconducted to the equation, lx+my + nz= 0, and to the
symbol, A= [Z, m, w], for a right line (37) in the plane abc, considered
here as the trace, on that plane, of an arbitrary plane H in space. If
this plane n be given by its quinary symbol (75), we thus obtain
the ternary symbol for its tf^ace A, by simply suppressing the two last
coefficients, r and s.
82. In the more general case, when the point p is not confined
to the plane abc, if we denote (comp. 72) its quaternary symbol by
(Q), the lately established formulae of collineation and complanarity
(73, 74) will still hold good: provided that we now suppress the
symbol ( U), or suppose its coefficient to be zero. Thus, the formula,
{Q)=t'{Q)^t"{Q^)-Vt"'{Q"),
expresses that the point p is in the plane -j^'^f'-p'" ; and if the coeffi-
cient t"' vanish, the equation which then remains, namely,
signifies that p is thus complanar with the two given points p^, v",
and with an arbitrary third ^wint; or, in other words, that it is on
the right line v'v" ; whence (comp. 76) problems of intersections of
lines with planes can easily be resolved. In like manner, if we de-
note briefly by [i?] the quaternary symbol \l, m, n, r'] for a plane
n, the formula
[i2] = t' [i?'] + 1" IR"^ + 1"' [R"q
expresses that the plane n passes through the intersection of the thr^
planes, 11', II'', W ; and if we suppose t'^' = 0, so that
[ij]=«'[fi']+«"[fi"3,
the formula thus found denotes that the plane 11 passes through
the point of intersection of the two planes, 11', 11", with any third
jilane; or (comp. 41), that this plane n contains the line of intersec-
tion of n', n" ; in which case the three planes, Tl, 11', 11", may be
said to be coUinear. Hence it appears that either of the two expres-
sions,
I. . . t' ( Q') + ^" ( a^O. II- • • i' [-^G + i" \.Rf'\
may be used as a Symbol of a Right Line in Space : according as we
consider that line A either, 1st, as connecting two given points, or
64 ELEMENTS OF QUATERNIONS. [bOOK I.
Ilnd, as being the intersection of two given planes. The remarks (77)
on rational and irrational points, planes, and lines require no modifi-
cation here; and those on types (78) adapt themselves as easily to
quaternary as to quinary symbols.
83. From the foregoing general formulee of collineation and conj-
planarity, it follows that the point p', in which the line ab inter-
sects the plane cdp through CD and any proposed point P = {xyzw)
of space, may be denoted thus :
p' = AB • CDP = {xy{)Q)) ;
for example, e = (U 1 1), and c' = ab • cde = (1100). In general, if
ABCDEF be any six points of space, the four collinear planes (82), abc,
abd, ABE, ABF, are said to form a pencil through ab; and if this be
cut by any rectilinear transversal, in four points, c, D, e, f', then
(comp. 35) the anharmonic function of this group of points (25) is
called also the Anharmonic of the Pencil of Planes: which may be
thus denoted,
(ab . cdef) = (c'dVf').
Hence (comp. again 25, 35), by what has just been shown respect-
ing c' and p', we may establish the important formula:
(cD . AEBp) = (ac'bpO = - ;
so that this ratio of coefficients, in the symbol {xyzw) for a variable
point p (79), represents the anharmonic of a pencil of planes, of which
the variable plane cdp is one; the three other planes of this pencil
being given. In like manner,
• \ y 1 / \ -2^
(ad . BECP) = -, and (bd . ceap) = - ;
^ Z X
so that (comp. 36) the product of these three last anharmonics is
unity. On the same plan we have also,
(bc.aedp)=— , (ca.bedp) = — , (ab.cedp) = -;
w w ^ ^ w
so that the three ratios, of the three first coefficients xyz to the
fourth coefficient w, suffice to determine the three planes, bcp, cap,
ABP, whereof \h.Q point p is the common intersection, by means of the
anharmonics of thxe pencils of planes, to which the three planes re-
spectively belong. And thus we see a motive (besides that of analogy
to expressions already used for points in a given plane), for calling
the/owr coefficients, xyzw, in the quaterna/ry symbol (Jd) for 9, point in
space, the Anharmonic Co-ordinates of that Point.
84. In general, if there be any four collinear points, Vq, . . P3, so
CHAP. III.] ANHARMONIC CO-ORDINATES IN SPACE. 65
that (comp. 82) their symbols are connected by two linear equations,
such as the following,
(Qi) = «(Qo) + u{Cl,), (as) = t'{Q,) + w'(Q2),
then the anharmonic of their group may be expressed (comp. 25, 44)
as follows :
ut'
(PoPiP.P3) = -,;
as appears by considering the pencil (cd . PoPiPgPa), and the transversal
AB (83). And in like manner, if we have (comp. again 82) the two
other symbolic equations, connecting /om?' collinear planes IIq . . n^,
the anharmonic of their pencil (8.3) is expressed by the precisely
similar formula,
ut'
(n„n,n,n,) = _;
as may be proved by supposing the pencil to be cut by the same
transversal line ab.
85. It follows that ii f{xyzw) and /j (a^^^it') be any two homo-
geneous and linear functions of ic, y, z^w\ and if we determine four
collinear planes IIo . . Ila (82), by the four equations,
■/=0, /i=/, /x = 0, j\ = kf,
where h is any scalar ; we shall have the following value of the an-
harmonic function, of the pencil of planes thus determined:
f
Hence we derive this Theorem^ which is important in the application
of the present system of co-ordinates to space : —
" The Quotient of any two given liomogeneous and linear Functions^
of the anharmonic Co-ordinates (79) of a variable Point p in space, may
be expressed as the Anharmonic (noninalls) of a Pencil of Planes;
w^hereof three are given, while the fourth passes through the variable
point p, and through a given right line A which is common to the three
former planes y
86. And in like manner may be proved this other but analogous
Theorem : —
" The Quotient of any two given homogeneous and linear Functions,
of the anharmonic Co-ordinates (80) of a variable Plane n, may be ex-
pressed as the Anharmonic (PoPiP^Pa) of a Group of Points; whereof
three are given and colliriear, and the fourth is the intersection, A ' 11,
of their common and given right line A, with the variable plane H,"
K
66 ELEMENTS OF QUATERNIONS. [bOOK I.
More fully, if the two given functions of Imnr be f and y^^ and
if we determine three points P0P1P2 by the equations (comp. 57)
F = 0, Fi = F, Fi=:0, and denote by P3 the intersection of their com-
mon line A with n, we shall have the quotient,
^=(P0P,P,P3).
For example, if we suppose that
A2=(1001), B2=(010]), C2=(0011),
A'2 = (1001), B'2 = (OIOT), c'2 = (00 iT),
so that
A2 = DA*BCE, &c., and (dA2Aa'2) = - 1, &c.,
we find that the three ratios of Z, m, n to r, in the symbol n = [/mnr],
may be expressed (comp. 39) under the form of anharmonics of
groups, as follows;
- = (da'sAQ) ; - = (db^^br) ; - = (dc'sCs) ;
where q, r, s denote the intersections of the plane n with the three
given right lines, da, db, dc. And thus we have a motive (comp.
83) besides that of analogy to lines in a given plane (37), for calling
(as above) the, four coefficients I, m, n, r, in the quaternary symbol (80)
for a, plane n, the Anharmonic Co-ordinates of that Plane in Space.
87. It may be added, that if we denote by l, m, n the points in
which the same plane IT is cut by the three given lines bc, ca, ab,
and retain the notations a'', b''', c'^ for those other points on the same
three lines which were so marked before (in 31, &c.), so that we may
now write (comp. 36)
A''= (0110), b'' = (1010), c''= (llOO),
we shall have (comp. 39, 83) these three other anharmonics of groups,
with their product equal to unity :
— = (ca'^bl) ; - = (ab^^cm) ; — = (bc'^an) ;
n V 7ft
and the six given points, a.'\ e", c", A'2, B'2, c'2, are all in one given plane
[e], of which the equation and symbol are:
x + y + z + w = 0\ [e] = [11111].
The six groups of points, of which the anharmonic functions thus
represent the six ratios of the four anharmonic co-ordinates, lmm\
of a variable plane n, are therefore situated on the six edges of the
given pyramid^ abcd; two poi7iis in each group being corners of that
CHAP. III.] GEOMETRICAL NETS IN SPACE. 67
pyramid, and the tiuo others being the intersections of the edge with
the two planes^ [e] and n. Finally, the plane [e] is (in a known
modern sense) the plane of homology ^^' and the point e is the centre
of homology^ of the given pyramid abcd, and of an inscribed pyramid
AiBiCiDi, where Ai = ea*bcd, &c.; so that Di retains its recent signi-
fication (QQ, 76), and we may write the anharmonic symbols,
Ai = (0111), Bi = (1011), Ci=(1101), Di = (IllO).
And if we denote by a'ib'iC^d'i the harmonic conjugates to these
last points, with respect to the lines ea, eb, ec, ed, so that
(eaiAA'i) = . . = (eDiDD'i) = - 1,
we have the corresponding symbols,
A'i=(2111), B^ = (1211), c'i = (1121) D^ = (1112).
Many other relations of position exist, between these various points,
lines, and planes, of which some will come naturally to be noticed,
in that theory of nets in space to which in the following Section we
shall proceed.
Section 4. — On Geometrical Nets in Space,
88. When we have (as in Q5) five given points a . . e, whereof no
four are complanar, we can connect any two of them by a right line^
and the three others by a plane, and determine the point in which
these last intersect one another: deriving t\i\\s a system oHen lines Aj,
ten planes Hi, and ten points Pi, from the given system oi five points
Po, by what may be called (comp. 34) a First Construction. We may
next propose to determine all the new and distinct lines, A,, and
planes, Ila, which connect the ten derived points Pj with the five
given points Fq, and with each other ; and may then inquire what
new and distinct points Pa arise (at this stage) as intersections of lines
with planes, or oHines in one plane with each other: all such new lines,
planes, and points being said (comp. again 34) to belong to a Second
Construction. And then we might proceed to a Third Construction
of the same kind, and so on for ever : building up thus what has
been calledf a Geometrical Net in Space. To express this geome-
trical process by quinary symbols (71, 75, 82) o^ points, planes, and
lines, and by quinary types (78), so far at least as to the end of the
second construction, will be found to be an useful exercise in the
* See Poncelet's Traite des Propriete's Projectives (Paris, 1822).
t By Mbbius, in p. 291 of his already cited Barycentric Calculus,
68 ELEMENTS OF QUATERNIONS. [bOOK I.
application of principles lately established : and therefore ulti-
mately in that Method of Vectoks, which is the subject of the
present Book. And the quinary form will here be more convenient
than the quaternary^ because it will exhibit more clearly the geome-
trical dependence of the derived points and planes on ih^five given
points, and will thereby enable us, through a principle of symmetry^
to reduce the number of distinct types.
89. Of the five given points, Pq, the quinary type has been seen
(78) to be (10000); while of the ten derived points p,, o^ first con-
struction, the corresponding type may be taken as (00011); in fact,
considered as symbols, these two represent the points a andDj. The
nine other points Pi are a Vc/AiBjCiAaBaCa ; and we have now (comp.
83, 87, 86) the symbols,
A'= BC • ADE = (01 100), Ai = EA • BCD = (10001),
A2=DA -BCE^ (10010);
also, in any symbol or equation of the present form, it is permitted
to change a, b, c to b, g, a, provided that we at the same time write
the third, first, and second co-efficients, in the places of the first,
second, and third: thus, b' = ca • bde = (10100), &c. The symbol
(a;^000) represents an arbitrary point on the line ab ; and the sym-
bol [OOm'5], with n + r + 5 = 0, represents an arbitrary plane through
that line : each therefore may be regarded (comp. 82) as a symbol also
of the line ab itselfi and at the same time as a type of the ten lines
Ai; while the symbol [000 ll], of the plane abc (75), may betaken
(78) as a type of the ten planes Hi. Finally, the five pyramids,
bcde, cade, abde, abce, abcd,
and the ten triangles, such as abc, whereof each is a common face of
two such pyramids, may be called pyramids i?i, and triangles T^, of
the First Construction.
90. Proceeding to a Second Construction (88), we soon find that
the lines A, may be arranged in two distinct groups; one group con-
sisting oi fifteen lines Aj, i, such as the line* aa''d„ whereof each coti-
nects two points Pi, and passes also through one point Pq, being the inter-
section of two planes IIi through that point, as here of abc, ade;
while the other group consists of thirty lines Ag, 2, such as b'c', each
connecting two points Pi, but not passing through any point ?„, and
being one of the thirty edges of five new pyramids R^, namely,
C'b'AzA,, A'c'B^B], B^A'C^C,, A.B^C^Di, AiBjCiDj :
* AB1C2, ABoCi, da'Ai, ea'Ao, are other lines of this group.
CHAP. 111.] GEOMETRICAL NETS IN SPACE. 69
which pyramids i?2 may be said (comp. 87) to be inscribed homo-
logues of the five former pyramids i?i, the centres of homology for these
Jive pairs of pyramids being the five given points a . . e ; and \)i\Q. planes
of homology being five planes [a] . . [e], whereof the last has been
already mentioned (87), but which belong properly to a third con-
struction (88). IhQ planes lis, oi second construction, form in like
manner two groups; one consisting o^ fifteen planes U^, i, such as the
plane of the five points, AB1B3C1C2, whereof each passes through one
point Po, and t\iVou^\ four points Pi, and contains two lines Ag, 1, as
here the lines AB1C2, AC1B2, besides containing /-u=0, a; + y + z -u)-2y= 0, x -V y + z^-w -Av = 0',
with this additional consequence, that the ternary symbol (81) of the common trace,
of the three latter on the former, is [111]: so that this trace is (by 38) the line
A"B"c"of Fig. 21, as above. And if we briefly denote the quinary symbols of the
four planes, taken in the same form and order as above, by \_Rq\ [iZi] [-Rg] [-^3], we
see that they are connected by the two relations,
[iJi] =- [/2o] + [i?2] ; [.Rz'\ = 2[/?o] + [Ro] ;
whence if we denote the planes themselves by IIi, 112, n'2, lis, we have (comp. 84)
the following value for the anharmonic of their pencil,
(Hinan'sHs) = - 2 ;
a result which can be very simply verified, for the case when abcd is a regular py-
ramid, and E (comp. 29) is its mean point : the plane lis, or [e], becoming in this
case (comp. 38) the plane at infinity, while the three other planes, abc, AiBiCi,
A2B2C2, axe parallel ; the second being intermediate ioei^eQn the other two, but twice
as near to the third as to the first.
(3.) "We must be a little more concise in our remarks on the seven other types of
points P2, which indeed, if not so well known,* are perhaps also, on the whole, not
quite so interesting : although it seems that some circumstances of their arrangement
in space may deserve to be noted here, especially as affording an additional exercise
(88), in the present system of symbols and types. The type P2, 2 represents, then, a. group
oi thirty points, of which a", in Fig. 21, is an example; each being the intersection
of a line A2,i with a line A2,2, as a'" is the point in which aa' intersects b'c' : but
each belonging to no other line, among those which have been hitherto considered.
But without aiming to describe here all ihe lines, planes, and points, of what we have
called the third construction, we may already see that they must be expected to be
numerous : and that the planes lis, and the hnes A3, of that construction, as well as
the pyramids Ro, and the triangles To, of the second construction, above noticed, can
only be regarded as specimens, which in a closer study of the subject, it becomes ne-
cessary to mark more fully, on the present plan, as lis, i, . . Tz,i. Accordingly it is
found that not only is each point P2, 2 one of the corners of a triangle T3, 1 of third
construction (as a'" is of a"'b"'c"' in Fig. 21), the sides of which new triangle are
lines A3, 2, passing each through one point P2,i and through two points P2,2 (hke
the dotted line a"b"'c"' of Fig. 21) ; but also each such point P2, 2 is the intersection
of two new lines of third construction, A3, 3, whereof each connects a point Pq with a
* It does not appear that any of these other types, or groups, of points P2, have
hitherto been noticed, in connexion with the net in space, except the one which we
have ranked as the fifth, po, 5, and which represents two points on each line Ai, as
the type P2, 1 has been seen to represent one point on each of those ten lines of first con-
struction : but thdX fifth group, which maybe exemplified by the intersections of the
line DE with the two planes AiBiCi and A2B2C2, has been indicated by Mobius (in
page 290 of his already cited work), although with a different notation^ and as the re-
sult of a different analysis.
CHAP. III.] GEOMETRICAL NETS IN SPACE. 73
point P2,i. For example, the point a'" is the common trace (ou the plane abc) of the
two new lines, da'i, EA'g: because, if we adopt for this point a'" the second of its two
congruent symbols, we have (comp. 73, 82) the expressions,
A"'= (10011) = (d) - (A'l) = (e) - (A'2).
We may therefore establish the formula of concurrence (comp. the first sub-article) :
a'" = aa' • b'c' • da'i • E A'2 -,
which represents a system of thirty such formulae,
(4.) It has been remarked that the point a'" may be represented, not only by the
quinary symbol (21100), but also by the congruent symbol, (10011); if then we
write,
Ao = (Ii100), Bo = (iriOO), Co = (11100),
these three new points AqBoOo, in the plane of abc, must be considered to be syntypical,
in the quinary sense C78), with the three points a"'b"'c"', or to belong to the same
group P2,2, although they have (comp. 88) a different ternary type. It is easy to
see that, while the triangle a"'b"'c"' is (comp. again Fig. 21) an inscribed homo-
logue Ty,! of the triangle a'b'c', which is itself (com\). sub-article 1) an inscrihed
homologue To, 1 of a triangle Ti, namely of abc, with a"b"c" for their common a is
of homology, the new triangle AqBoCo is on the contrary an exscrihed homologue
Ti,2, with the same axis As,!, of the same given triangle Ti. But from the syuty-
pical relation, existing as above for space between the points a'" and Ao, we may
expect to find that these two points P2, 2 admit of being similarly consirucfed, when
the^ue points Pq are treated as entering symmetrically (or similarly), as geometri-
cal elements, into the constructions. The point Aq must therefore be situated, not
only on a line A2,i, namely, on aa', but also on a line A2,2, which is easily found to
be A1A2, and on two lines A3, 3, each connecting a point Pq with a point P2,i ; which
latter lines are soon seen to be bb" and cc". We may therefore establish the formula
of concurrence (comp. the last sub-article) :
Ao = aa'*AiA3*bb"-cc";
and may consider the three points Aq, Bq, Co as the traces of the three lines AiAo,
B1B2, C1C2 : while the three new lines aa'', bb", cc", which coincide in position
with the sides of the exscribed triangle AqBoCIo, are the traces A3, 3 of three planes
1X2, 1, such as AB1C2B2C1, which pass through the three given points A, B, c, but do
not contain the Unes A2,i whereon the six points P2,2 in their plane ITi are situated.
Every other plane IIi contains, in like manner, six points P2 of the present group ;
every plane 1X2, 1 contains eight of them ; and every plane 112,2 contains three; each
line A2, 1 passing through two such points, but each line A2, 3 only through one.
But besides being (as above) the intersection of two lines Ao, each point of this group
P2,2 is common to two planes Yli, four planes 113,1, and two planes 112,2; while
each of these thirty points is also a common corner of two different triangles of
^/aVrf construction, of the lately mentioned kinds Ts, 1 and 2^,2, situated respectively
in the two planes oi first construction which contain the point itself. It may be
added that each of the two points P2, 2, on a line A2, 1, is the harmonic conjugate of
one of the two points pi, with respect to the point Pq, and to the other point Pi oa
that line ; thus we have here the two harmonic equations,
(aa'dia'") = (adia'ao) = — 1,
by which the positions of the two points a'" and Ao miglit be determined.
L
74 ELEMENTS OF QUATERNIONS. [bOOK I.
(5.) A third group, P2,3, oi second construction, consists (like the preceding group)
of thirty points, ranged two hxj two on the fifteen lines Aa^i, and six hy six on the
ten planes ITi, but so that each is common to two such planes ; each is also situated
in two planes Zlg,!, in two planes Il2,2, and on one line A3, i in which (by sub art. 1)
these two last planes intersect each other, and two of the five planes lis, i ; each
plane 112,1 contains /owr such points, and each plane 112,2 contains three of them ;
but no point of this group is on any line Ai, or A2,2' The six points P2,3, which
are in the plane abc, are represented (like the corresponding points of the last
group) by two ternary types, namely by (211) and (311) ; and may be exemplified
by the two following points, of which these last are the ternary symbols :
A'^ = AA' • a"b"c" = AA' • AiBiCi ' A2B2C2 ;
Ai'^ = AA' •d'iA'2A 1 = AA' •b'CiC2 •c'BiB2.
The three points of the first sub-group a'^ . . are collinear ; but the three points Ai''^ . .
of the second sub-group are the corners of a new triangle, T3, 3, which is homologous
to the triangle abc, and to all the other triangles in its plane which have been hitherto
considered, as well as to the two triangles AiBiCi and A2B2C2 ; the line of the three
former points being their common axis of homology ; and the sides of the new trian-
gle, Ai'^Bi'^Ci'^, being the traces of the three planes (comp, 90) of homology of pyra-
mids, [a], [b], [c] ; as (comp. sub-art. 2) the line a'^b^'^c'"' or a"b"c" is the com-
mon trace of the two other planes of the same group lis, 1, namely of [d] and [e]. We
may also say that the point Ai'"^ is the trace of the line a'ia'2 ; and because the lines
b'co, c'bo are the traces of the two planes 112,2 in which that point is contained, we
may write the formula of concurrence,
Ai" = A a' • a'ia'2 • b'Co • c'Bo.
(G.) It may be also remarked, that each of the two points P2, 3) on any line A2, 1, is
the harmonic conjugate of a point P2, 2, with respect to the point Pq, and to one of
the two points Pi on that line ; being also the harmonic conjugate of this last point,
with respect to the same point Pq, and the other point P2,2 : thus, on the line aa'dj,
we have the /oMr harmonic equations, which are not however all independent, since
two of them can be deduced from the two others, with the help of the two analogous
equations of the fourth sub-article :
(aa"'a'a''^) = (aa'aqA") = (aaqDiAi'^) = (adia"'ai*'^) = - 1.
And the three pairs of derived points Pi, P2,2, P2,3, on any such line A2, 1, will
be found (comp. 26) to compose an involution, with the given point Pq on the line for
07ie of its two double points (ov foci') : the other double point of this involution being
a point P3 of third construction ; namely, the point in which the line A2, 1 meets that
one of the five planes of homology IT3, 1, which corresponds (comp. 90) to the par-
ticular point Pq as centre. Thus, in the present example, if we denote by A'' the
point in which the line aa' meets the plane [a], of which (by 81, 91) the trace on
ABC is the line [411], and therefore is (as has been stated) the side Bi'^ci*^ of the
lately mentioned triangle T3, 3, so that
A^ = (1 22) = aa' • BC'" • Cb'" • Bi'^Ci"^,
we shall have the three harmonic equations,
(aa'a^Di) = (aa"'a^Ao) = (AA'^A^Ai'^) = - 1 ;
which express that this new point A" is the common harmonic conjvgate of the given
CHAP. III.] GEOMETRICAL NETS IN SPACE. 75
point A, with respect to the three pairs of points^ a'di, a"'Ao, a'^Ai'^ ; and therefore
that these three pairs form (as has been said) an involution, with A and A'^ for its two
double points.
(7.) It will be found that we have now exhausted all the types of points of
second construction, which are situated upon lines A2, 1 ; there being only four
sach points on each such line. But there are still to be considered two new groups
of points P2 on lines Ai, and three others on lines A2,2- Attending first to the former
set of lines, we may observe that each of the two new types, P2,4, P2,5, represents
twenty points, situated two by two on the ten lines of first construction, but not on
any line A2 ; and therefore six by six in the ten planes ITi, each point however being
coinmon to three such planes : also each point P2,4 is common to three planes 172,2,
and each point P2, 5 is situated in one such plane ; while each of these last planes
contains three points P2, 4, but only one point P2, 5- If we attend only to points in the
plane abc, we can represent these two new groups by the two ternary types, (021)
and (021), which as symbols denote the two typical points,
A^ = BC • c'AiA2 • DlAiBi • «iA2B2 ; A^' = BC • c'BiBo = BC c'Bq ;
we have also the concurrence,
A^ = BC • o'Aq • DiC" • AB '",
It may be noted that A^ is the harmonic conjugate of c, with respect to Aq and
Bi'^, which last point is on the same trace c'aq, of the plane c'aiA2 ; and that a^' is
harmonically conjugate to Bi^, with respect to c' and Bq, on the trace of the plane
c'biB2, where bi^ denotes (by an analogy which will soon become more evident) the
intersection of that trace with the line ca : so that we have the two equations,
(AqC'Bi'^A^) = (boBi^o'a^'') = - 1.
(8.) Each line Ai, contains thus two points P2, of each of the two last new
groups, besides the point P2, 1, the point Pi, and the two points Pq, which had been
previously considered : it contains therefore eight points in all, if we still abstain (88)
from proceeding beyond the Second Construction. And it is easy to prove that these
eight points can, in two distinct modes, be so arranged as to form (comp. sub-art. 6)
an involution, with two of them for the two double points thereof. Thus, if we attend
only to points on the line bc, and represent them by ternary symbols, we may write,
B = (010), c=(001), A'=(011), a"=(0i1);
a^=(021), a^' = (021), AiV = (012), Ai^' = (012);
and the resulting harmonic equations
I. . . (ba'oa") = (BA^CA^') = (BAf CAi^O = - I,
II. . . (a'ba'c) = (A'AVA"Af') = (aVa"Ai^') = - I,
will then suffice to show : 1st., that the two points Pq, on any line Ai, are the double
points of an involution, in which the points Pi, Po,i form one pair of conjugates,
while the two other pairs are of the common form, P2,4, P2,5; and Ilnd., that the
two points Pi and P2, 1, on any such line Ai, are the double points of a second iiivo-
lution, obtained by pairing the two points of each of the three other groups. Also
each of the two points Pq, on a line Ai, is the harmonic conjugate of one of the
two points P2,5 on that line, with respect to the other point of the same group, and
to the point Pi on the same line ; thus,
76 ELEMENTS OF QUATERNIONS. [bOOK I.
(ba'ai"a^O = (ca'a^Ai^O = - 1.
(9.) It remains to consider briefly three other groups of points P2, each group
containing sixty points , which are situated, two by two, on the thirty lines A2,2, and
six by six in the ten planes 11 1. Confining our attention to those which are in the
plane abc, and denoting them by their ternary symbols, we have thus, on the line
b'c', the three new typical points, of the three remaining groups, P2.6, P2,7, P2,8 :
A^"= (121) ; A^"' = (321) ; a« = (237) ;
with which may be combined these three others, of the same three types, and on the
same line b'c' :
Ai^" = (112); Ai^'" = (312); Ai« = (213).
Considered as intersections of a line A2,2 with lines A3 in the same plane IIi, or with
planes 112 (in which latter character alone they belong to the second construction),
the three points a"', &c., may be thus denoted :
A"^" = b'c' ■ BB" • Cb"' • AA^^ = b'c' ' BCiA2AiC2 ;
jjni _ 3'^' . j,^b" . ^"^v _ b'c' . DiCiAi • D1C2A2 ;
A™= b'c'* a'CoBi'^Ci"^B^i-BA*^Bi'^'Bi'^" = b'c''a'ciC2 ;
with the harmonic equation,
(CqA'Ci^A^^) = - 1,
and with analogous expressions for the three other points, Ai^", &c. The line b'c' thus
intersects one plane 112,1 (or its trace bb" on the plane abc), in the point a^" ; it
intersects two planes 112,2 (or their common trace Dib") in A"^°' ; and one other plane
112,2 (or its trace a'cq) in a'^ : and similarly for the other points, Ai"^", &c., of the same
three groups. Each plane li^, 1 contains twelve points P2,6, eight points P2,7, and eight
points P2,8; while every plane 112,2 contains six points P2,6) twelve points P2,7,
and nine points P2,8. Each point P2,6 is contained in one plane IIi; in three
planes 112,1; and in two planes n2,2. Each point P2,7 is in one plane ITi, in two
planes 112,1, and mfour planes 02,2. And each point P2,8 is situated in one plane ITi,
in two planes 112,1, and in three planes 112,2.
(10.) The points of the three last groups are situated o/j/y on lines A2,2; but, on
each such hne, two points of each of those three groups are situated ; which, along
with one point of each of the two former groups, P2, 1 and P2,2, and with the two
points Pi, whereby the line itself is determined, make up a system oitenpoints upon
that line. For example, the line b'c' contains, besides the six points mentioned in
the last sub -article, the^wr others:
b'=(101); c'=(110); a" = (011); a"'=(211).
Of these ten points, the two last mentioned, namely the points P2,i and P2,2upon the
line A2,2, are the double poitits (comp. sub-art. 8) of a new involution, in which the two
points of each of the four other groups compose a conjugate pair, as is expressed by
the harmonic equations,
(a"b'a"'c') = (A"A^"A"'Ar") = (A"A^"'A"'Ar"') = (a"a'*a"'Ai«) = - I.
And the analogous equations,
(b'a"c'a"') = (b'a^"c'a^'") = (b'ai^"c'ai^'") =- 1»
show that the two points Pi on any line A2,2 are the double points of of another invo-
lution (comp. again sub-art. 8), whereof the two points P2,i, P2,2 on that line form
CHAP. III.] GEOMETIIICAL NETS IN SPACE. 77
one conjugate pair, while each of the two points P2,6 is paired with one of the points
P2,7 as its conjugate. In fact, the eight-rayed pencil (a.c'b'a'"a"a^'"'a^"Ai^"'Ai'")
coincides in position with the pencil ( A . bca Wa"^'Ai^Ai"^'), and maybe said to be
a pencil in double involution ; the third and fourth, the fifth and sixth, and the se-
venth and eighth rays forming one involution, whereof the first and second are the
two double* rays ; while the first and second, the fifth and seventh, and the sixth
and eighth rays compose another involution, whereof the double rays are the third
and fourth of the pencil.
(11.) If we proceeded to connect systematically the points P2 among themselves,
and with the points Pi and Pq, we should find many remarkable lines and planes of
third construction (88), besides those which have been incidentally noticed above ; for
example, we should have a group IIo,2 of twenty new planes^ exemplified by the
two following,
[E„] = [11103], [D^] = [11130],
which have the same common trace A3, 1, namely the line a"b"c", on the plane abc,
as the two planes AiBiCi, A2B2C2, and the two planes [d], [e], of the groups 1X2,2 and
113, 1, which have been considered in former sub- articles ; and each of these new planes
Ha, 2 would be found to contain one point Pq, three points P2,i, six points P2,25 and
three points P2, 3. It might be proved also that these twenty new planes are the
twenty faces of Jive new pyramids R3, which are the exscribed homologues of the five
old pyramids Ki (89), with the five given points Pq for the corresponding centres of
homology. But it would lead us beyond the proposed limits, to pursue this dis-
cussion further : although a few additional remarks may be useful, as serving to
establish the completeness of the enumeration above given, of the lines, planes, and
points oi second construction.
93. In general, if there be any n given points^ whereof no four
are situated in any common plane, the number N of the derived
points, which are immediately obtained from them, as intersections
A • n of line with plane (each line being drawn through two of the
given points, and each plane through three others), or the number of
points of the/orm ab'CDE, is easily seen to be,
_ n(^^-])(7^-2)(7.-3)(n-4) ^
^'•^^^~ 2.2.3
so that N - 10, as before, when 7t = 5. But if we were to apply this
formula to the case n= 15, we should iSnd, for that case, the value,
iVr=y(i5)=i5.i4. 13.11 = 30030;
and ikiVi^ fifteen given and independent points of space would conduct,
by what might (relatively to them) be called a First Construction
(comp. 88), to a system of more than thirty thousand points. Yet it
has been lately stated (92), that from the fifteen points above called
Po> Pi, there can be derived, in this way, onlu two hundred and ninety
* Compart; page i7'2 of the GJc:::. Srvc'rUure of il. Chasies.
78 ELEMENTS OF QUATERNIONS. [bOOK I.
points P2, as intersections of the form* A -11; and therefore /e^^er
than three hundred. That this reduction of the number of derived
points^ at the end of what has been called (88) the Second Construc-
tion for the net in space, arising from the dependence of the ten points
Pi on thQJive points Pq, would be found to be so considerable, might
not perhaps have been anticipated; and although the foregoing ex-
amination proves that all the eight types (92) do really represent
points P2, it may appear possible, at this stage, that some other type
of such points has been omitted. A study of the manner in which
the types of points result, from those of the lines and planes oi which
they are the intersections, would indeed decide this question ; and
it was, in fact, in that way that the eight types, or groups, Po, 1, . .p^is,
of points of second construction for space, were investigated, and
found to be sufficient: yet it may be useful (compare the last sub-
art.) to verify, as below, the completeness of the foregoing enumeration.
(1.) ThQ ff teen points, V(!, Pi, admit of 105 binary^ and of 455 ternary combina-
tions; but these are far from determining so many distinct lines and planes. In fact,
those 15 points are connected by 25 collineations, represented by the 25 lines Ai,
A2,i; which lines therefore count as 75, among the 105 binary combinations of
points : and there remain only 30 combinations of this sort, which are constructed
by the 30 other lines, A2,2- Again, there are 25 ternary combinations of points,
which are represented (as above) by lines, and therefore do not determine any plane.
Also, in each of the ten planes IIi, there are 29 (=35 - 6) triangles Ti, Tg, because
each of those planes contains 7 points Pq, Pi, connected by 6 relations of coUinearity.
In like manner, each oi the fifteen planes 1X2,1 contains 8 (= 10-2) other triangles
T-z, because it contains 5 points po, Pi, connected by two collineations. There re-
main therefore only 20 (= 455 — 25 — 290 - 120) ternary combinations of points to
be accounted for; and these are represented by the 20 planes 112, 2- The complete-
ness of the enumeration of the lines and planes of the second construction is therefore
verified ; and it only remains to verify that the 305 points, Pq, Pi, P2, above consi-
dered, represent all the intersections A -IT, of the 55 lines A 1, A2, with the 45 planes
III, n2.
(2.) Each plane IIi contains three lines of each of the three groups, Ai, A2, 1,
A 2, 2; each plane 1X2,1 contains two lines A 2,1, and four lines A2,2; and each plane
1X2,2 contains three lines A2,2. Hence (or because each line Ai is contained in three
planes 11 1; each line A 2,1 in two planes IXi, and in two planes 1X2,1; and each
line A2, 2 in one plane ITi, in two planes 1X2, 1, and in two planes IX2, 2), it follows that,
without going beyond the second construction, there are 240 (= 30 i- 30 + 30 + 30
* The definition (88) of the points P2 admits, indeed, intersections A'A ofcom-
planar lines, when they are not already points Pq or Pi ; but all such intersections
are also points of the form A- XI ; so that no generality is lost, by confining ourselves
to this last form, as in the present discussion we propose to do.
CHAP.
u..]
GEOMETRICAL NETS IN SPACE.
79
+ 60 + 60) cases of coincidence of line and plane; so that the number of cases of
intersection is reduced, hereby, from 56 . 45 = 2475, to 2235 (= 2475 — 240).
(3.) Each point Pq represents twelve intersections of the form Ai'Hi ; because it
is common to four lines A\, and to six planes IIi, each plane containing two of those
four lines, but being intersected by the two others in that point Pq ; as the plane
ABC, for example, is intersected in A by the two lines, ad and ae. Again, each
point Po is common to three planes IIo, i, no one of which contains any of the four
lines Ai through that point ; it represents therefore a system of twelve other inter-
sections^ of the form Ai • ITa, i. Again, each point Pq is common to three lines Ai, i,
each of which is contained in two of the six planes IIi, but intersects the four others
in that point Pq ; which therefore counts as twelve intersections, of the form A2, rlli.
Finally, each of the points Pq represents three intersections, A2, 1 * ITo, 1 ; and it re-
presents no o^Aer intersection, of the form A -IT, within the limits of the present
inquiiy. Thus, each of the^re given points is to be considered as representing, or
constructing, thirty-nine (= 12 -f 12 + 12 +3) intersections of line with plane; and
there remain only 2040 (= 2235 — 195) other cases of such intersection A •IT, to be
accounted for (in the present verification) by the 300 derived points, Pi, P2.
(4.) For this purpose, the nine columns, headed as I. to IX. in the following
Table, contain the numbers of such intersections which belong respectively to the
nine forjns,
Ai'iii, Ai-n2,i, Arn2,2; A2,i-ni, A2,i-n2,i, A2,i-n2,2;
A2,2*ni, A2,2*n3, 1, A2,2"n2,2,
for each of the nine typical derived points, a' . . . A'^, of the nine groups Pi, P2, 1, . .
P2,8. Column X. contains, for each point, the sum of the nine numbers, thus tabu-
lated in the preceding columns ; and expresses therefore the entire number of inter-
sections, which any one such point represents. Column XI. states the number of the
points for each type ; and column XII. contains the product of the two last numbers, or
the number of intersections A . Tl which are represented (or constructed) by the group.
Finally, the sum of the numbers in each of the two last columns is written at its foot ;
and because the 300 derived points, of first and second constructions, are thus found
to represent the 2040 intersections Avhich were to be accounted for, the verification is
seen to be complete : and no new type, of points P2, remains to be discovered.
(5.)
Table
of Intersections A
n.
Type.
I.
11,
III.
IV.
V.
VI.
VII.
VIII.
IX.
X.
XI.
XII.
a'
1
6
6
6
12
18
18
24
24
115
10
1150
a"
3
6
6
3
12
30
10
300
a'"
2
2
1
2
7
30
210
A'^
2
2
30
60
A'
3
3
20
60
A^'
1
1
20
20
A^"
1
1
60
60
^Tin
2
2
60
120
A'*
"
1
1
60
300
60
1
2040
80 ELEMENTS OF QUATERNIONS. [bOOK I.
(6._) It is to be remembered tbat we have not admitted, by our definition (88),
any points which can only he determined hy intersections of three planes TIi, 02,
as belonging to the second construction : nor have we counted, as lines A2 of that
construction, any lines which can only be found as intersections of two such planes.
For example, we do not regard the traces Aa", &c., of certain pZanes A2,i considered
in recent sub-articles, as among the lines of second construction, although they would
present themselves early in an enumeration of the lines A3 of the third. And any
point in the plane abc, which can only be determined (at the present stage) as the
intersection of two such traces, is not regarded as a point P2. A student might find
it however to be not useless, as an exercise, to investigate the expressions for such
intersections ; and for that reason it may be noted here, that the ternary types (comp,
81) of the forty-four traces of planes ITi, IIo, on the plane abc, which are found to
compose a system of only twenty-two distinct lines in that plane, whereof nine are
lines Ai, A2, are the seven following (comp. 38) :
[100], [Oil], [111], [111], [Oil], [211], [211];
which, as ternary symbols, represent the seven lines,
EC, aa', b'c', a"b"c", aa", Dia'', a'co-
(7.) Again, on the same principle, and with reference to the same definition, that
new point, say f, which may be denoted by either of the two congruent quinary
symbols (71),
F= (43210) E (01234),
and which, as a quinary type (78), represents a new group of sixty points of space
(and of no more, on account of this last congruence, whereas a quinary type, with all
its Jive coefiicients unequal, represents generally a group of 120 distinct points), is
not regarded by us as a point P2 ; although this new point f is easily seen to be the
intersection of three planes of second construction, namely, of the three following,
which all belong to the group IIo, 1 :
[OlIIl], [11011], [iilio],
or aa'diCiB3, cc'diBiA2, eb'b2c'c2. It may, however, be remarked in passing, that
each plane II 2, 1 contains twelve points P3 of this new group : every such point being
common (as is evident from what has been shown) to three such planes.
94. From the foregoing discussion it appears that the^ye given
points Po, and the three hundred derived points Pi, P2, are arranged in
space, upon the fifty-Jive lines A^, A^, and in the forty-Jive planes H^
rig, as follows. Each line Aj contains eight of the 305 points, forming
on it what may be called (see the sub-article (8.) to 92) a double in-
volution. Each line A2, 1 contains seven points, whereof one, namely
the given point, Pq, has been seen (in the earlier sub-art. (6.)) to be
a double point of another involution, to which the thj^ee derived pairs
of points, Pi, p.^, on the same line belong. And each line Aj,jj con-
tains ten points, forming on it a 7iew involution; while eight of these
ten points, with a different order of succession, compose still another
CHAP, in.] GKOxMETRICAL NETS IN SPACE. 81
involution* (92, (10.))- Again, each plane n, contains fifty -two
points, namely three given points, four points of first, and 45 points
of 5ecow • • 1*25 81 given or derived, and of all the three groups of lines, A^,
■^2)1) ^2,2, at the close of that second construction (since the types
P2»4j P2>5j Ai are not represented by any points or lines in any plane
112,1, nor are the types Pq, Ai, Ag,! represented in a plane 112,2), it
has been thought convenient to prepare the annexed diagram (Fig.
30), which may serve to illustrate, by some selected instances, the
arrangement oi th^ fifty -two points Pq, Pi, P2 in a plane 11^, namely, in
the plane abc; as well as the arrangement of the nine lines A„ A,
in that plane, and the ti^aces A3 of other planes upon it.
View of the Arrangement of the Principal Points and Lines in a Plane
of First Construction,
In this Figure, the triangle abc is suppposed, for simplicity, to be the equilateral
base of a regular pyramid abcd (comp. sub-art. (2.) to 92) ; and Di, again replaced
by o, is supposed to be its mean point (29). The first inscribed triangle, a'b'c',
therefore, bisects the three sides ; and the axis of homology a''b"c" is the line at in-
finity (38): the number 1, on the line c'b' prolonged, being designed to suggest that
CHAP. 111.] GEOxMETRlCAL NETS IN SPACE. 83^
the point a", to which that line tends, is of the type ?•.>, i, or belongs to the y/rs<
group of points of second construction. A second inscribed triangle, a"'b"'c"', for
which Fig. 21 may be consulted, is only indicated by the number 2 placed at the
middle of the side b'c', to suggest that this bisecting point a'" belongs to the second
group of points Pg. The same number 2, but with an accent, 2', is placed near the
corner Aq of the exscribed triangle AqBoCo, to remind us that this corner also belongs
(by a syntypical relation in space) to the group P2,2. The point a''', which is now
infinitely distant, is indicated by the number 3, on the dotted line at the top ; while
the same number with an accent, lower down, marks the position of the point Ai".
Finally, the ten other numbers, unaccented or accented, 4, 4', 5, 5', 6, 6', 7, 7',
8, 8', denote the places of the ten points, a^, Ai^, a^', Ai^', a"', Ai^« a'"', a^'"
A'*, Ai"^. And the principal harmonic relations, and relations of involution, above
mentioned, may be verified by inspection of this Diagram.
95. However far the series of construction of the net in space
may be continued, we may now regard it as evident, at least on com-
parison with the analogous property (42) of the plane net, that every
pointf line, or plane, to which such constructions can conduct, must
necessarily be rational (77); or that it must be rationally related to
the system o^ the f^ve given points : hecause ihm anharmojiic co-ordi-
nates (79, 80) of every net-point, and of every net-plane, are equal or
proportional to whole numbers. Conversely (comp. 43) every pointy
line, OT plane, in space, which is thus rationally related to the system of
points ABODE, is a point, line, or plane of the net, which those five points
determine. Hence (comp. again 43), every irrational point, line, or
plane (77), is indeed incapable of being rigorously constructed, by any
processes of the kind above described; but it admits of being inde-
finitely approximated to, by points, lines, or planes of the net. Every
anharmonic ratio, whether of a. group of net-points, or of a pencil of
net-lines, or of net-planes, has a rational value (comp. 44), which de-
pends only on the processes of linear construction employed, in the
generation of that group or pencil, and is entirely independent of the
arrangement, or configuration, of the five given points in space. Also,,
all relations of collineation, and of complanarity, are preserved, in the
passage from one net to another, by a change of the given system of
points: so that it may be briefly said (comp. again 44) that all geo-
metrical nets in space are homographic figures. Finally, any five points*
of such a net, of which no four are in one plane, are sufficient (comp.
* These general properties (95) of the space-net are in substance taken from
Mobius, although (as has been remarked before) the analysis here employed appears
to be new : as do also most of the theorems above given, respecting ihepoints of second
construction (92), at least after we pass beyond the Jirst group V2, \ of ten such points,
which (as already stated) have been known comparatively long.
84 ELEMENTS OF QUATERNIONS. [bOOK I.
45) for the determination of the whole net: or for the linear construc-
tion of all its points, including the five given ones.
(1.) As an Example, let the five points AiBiCiDi and e be now supposed to be
given ; and let it be required to derive the four points abcd, by linear constructions,
from these new data. In other words, we are now required to exscrihe a pyramid
ABCD to a given pyramid AiBiCiDi, so that it may be homologous thereto, with the
point E for their given centre of homology. An obvious process is (comp. 45) to in.
scribe another homologous pyramid, A3B3C3D3,, so as to have A3 = eai*BiCiDi, &c ;
and then to determine the intersections of corresponding faces, such as AiBiCi and
A3B3C3 ; for these/owr lines of intersection will be in the common plane\E^, of homology
of the three pyramids, and will be the traces on that plane of the /owr sought planes,
ABC, &c., drawn through the four given points Di, &c. If it were only required to
construct one corner A of the exscribed pyramid, we might find the point above
called a'' as the common intersection of three planes, as follows,
A'^ = AiBiCi • Aid/e • A3B3C3 ;
and then should have this other formula of intersection,
A =EAi-DiA''.
Or the point A might be determined by the anharmonic equation,
(EAA1A3) = 3,
yrhich for a regular pyramid is easily verified.
(2.) As regards the general passage from one net in space to another, let the
symbols Pi ={xi . . vi), . . P5 = (a^s . . Pg) denote any Jive given points, wliereof no four
are complanar ; and let a'b'c'd'e and «' be six coefiicients, of which the five ratios are
such as to satisfy the symbolical equation (^comp. 71, 72),
a' (Pi) + bXFz) + c' (P3) + d'(Pi) + ^'(yd ==-u'CU):
or the five ordinary equations which it includes, namely,
a'xi + . . + e'x5 = . . = a'vi + . . 4- e'v^ = - u'.
Let p' be any sixth point of space, of which the quinary symbol satisfies the equa-
tion,
(p')=:ica'(Pi) + 2/5(P2)+ zc'(pi) + wd'(Fi) + ve'(V5)+u{ U) ;
then it will be found that this last point p' can be derived from the five points Pi . . P5
by precisely the same constructions, as those by which the point p = (^xyzwv') is de-
rived from the five points abcde. As an example, if w' = aj + y + « + w — 3w, then
the point {xyzwv) is derived from AiBiCiD]E, by the same constructions as (xyzwv)
from ABCDE ; thus a itself may be constructed from Ai . . E, as the point p = (30001)
is from a . . b ; which would conduct anew to the anharmonic equation of the last
sub-article.
(3.) It may be briefly added here, that instead of anharmonic ratios, as con-
nected with a net in space, or indeed generally in relation to spatial problems, we
are permitted (comp. 68) to substitute products (or quotients) of quotients of volumes
of pyramids; as a specimen of which substitution, it may be remarked, that the an-
harmonic relation, just referred to, admits of being replaced by the following equa-
tion, involving one such quotient of pyramids, but introducing no auxiliary point :
CHAP. III.] MEANS OF VECTORS. 85
EA : AiA = 3eBiCiDi : AiBiCiDi.
In general, if xyzw be (as in 79, 83) the anharmonic co-ordinates of a point p in
space, yve may write,
X PBCD EBCD
^ PCDA " ECDa'
with other equations of the same type, on which we cannot here delay.
Section 5. — On Barycentres of Systems of Points ; and on
Simple and Complex Means of Vectors,
96. In general, when the sum 2a of any number of co-initial
vectors,
ai = OAi, .. a^ = OA„„
is divided (16) by their number, m, the resulting vector ,
a = OM = — 2a = - 2oA,
m m
is said to be the Simple Mean of those m vectors; and ihQ point m,
in which this mean vector terminates, and of which the position
(comp. 18) is easily seen to be independent of the position of the
common origin o, is said to be the Mean Point (comp. 29), of the
system of the m points, Aj, . . A«. It is evident that we have the equa-
tion,
= (ai-^) + . .+(a^-/i) = 2(a-/t)-2MA;
or that the sum of the m vectors, drawn/row the mean point m, to the
points A of the system, is equal to zero. And hence (comp. 10, 11, 30),
it follows, 1st., that these m vectors are equal to the m successive
sides of a closed polygon ; Ilnd., that if the system and its mean
point be projected, by any parallel ordinates, on any assumed plane
(or line), the projection m', of the mean point m, is the mean point of
the projected system : and Illrd., that the ordinate mm', of the mean
point, is the mean of all the other ordinates, AiA'i, . . a^a'„. It fol-
lows, also, that if n be the mean point of another system, Bi, . . b„;
and if s be the mean point of the total system, Aj . . b,„ of the m + tj
= s points obtained by combining the two former, considered as par-
tial systems ; while v and a may denote the vectors, on and os, of
these two last mean points : then we shall have the equations,
7W/*-2a, wi^ = 2y3, 5ff = 2a+ 2)3 = w/i + /ii^,
miff- iJi) = n{v~ a), w.MS=n.SN;
so that the general mean point, s, is situated on the right line mn,
which connects the two partial mean points, m and n; and divides
86 ELEMENTS OF QUATERNIONS. [bOOK I.
that line (internally), into tivo segments ms and sn, which are inversely
proportional to the two whole numbers^ m and n.
(1.) As an Example, let abcd be a gauche quadrilateral^ and let E be its mean
point ; or more fully, let
OE = ;i (OA + OB -t- DC -f Od),
or
that is to say, let o = 6 = c = rf, in the equations of Art. 65. Then, with notations
lately used, for certain derived points Di, &c., if we write the vector formuloe,
OAi = ai = i(i3 + y + 5), .. 5i=K« + /3 + r),
OA3=a2 = |(a + 5), . . r2 = Ky + ^).
oA' = a'=|(/3+r),.. y'=K«+/3),
we shall have seven different expressions for the mean vector^ i ; namely, the follow-
ing:
e = K« + 3ai) = .. = i(^+3^0
= K«'+«2) =.. = §(/ + 72).
And these conduct to the seven equations between segments^
AE = 3eai, . . DB = 3edi ;
a'e = ea2, . . c'b = ec2;
which prove (what is otherwise known) that the four right lines, here denoted by
AAi, . . DDi, whereof each connects a corner of the pyramid abcd with the mean
point of the opposite face, intersect and quadrisect each other, in one common
point, e ; and that the three common bisectors a'as, b'b2, c'co, of pairs of opposite
edges, such as BO and da, intersect and bisect each other, in the same mean point :
so that the /our middle points, c', a', C2, A2, of the four successive sides ab, &c., of
the gauche quadrilateral abcd, are situated in one common plane, which bisects also
the common bisector, b'b2, ofthe^wo diagonals, AC and bd.
(2.) In this example, the number s of the points A . . D being j^wr, the number
of the derived lines, which thus cross each other in their general mean point E is seen
to be seven ; and the number of the derived planes through that point is nine :
namely, in the notation lately used for the net in space, four lines Ai, three lines A2, 1,
six planes Hi, and three planes 112, 1. Of these nine planes, the six former may (in
the present connexion) be called triple planes, because each contains three lines (as
the plane abe, for instance, contains the lines aai, bbi, c'c2), all passing through the
mean point e; and the three latter may be said, by contrast, to he non-triple planes,
because each contains only two lines through that point, determined on the foregoing
principles.
(3.) In general, let («) denote the number of the lines, through the general mean
point s of a total system of s given points, which is thus, in all possible ways, decom-
posed into partial systems ; let/(*) denote the number of the triple planes, obtained
by grouping the given points into three such partial systems ; let ;^ (s) denote the
number of non-triple planes, each determined by grouping those s points in two dif-
ferent ways into two partial systems ; and let f(«) =/(*) + »// (s) represent the entire
number of distinct planes through the point s : so that
^(4) = 7, /(4) = 6, 4'(4) = 3, F(4) = &.
CHAP. III.] MEAN POINTS OF SYSTEMS. 87
Then it is easy to perceive that if we introduce a new point c, each old line mn fur-
nishes two new lines, according as we group the new point with one or other of the
two old partial systems, (M) aud (A') ; and that there is, besides, one other new line,
namely cs : we have, therefore, the eqication infinite differences,
which, with the particular value above assigned for 0(4), or even with the simpler
and more obvious value, ^(2)= 1, conducts to the general expression,
0Cs) = 2*-i-l.
(4.) Again, if (Af) (iV) (P) be any three partial systems, which jointly make
up the old or given total system (-S") ; and if, by grouping a new point c with each
of these in turn, we form three new partial systems, {M') (N') (P') ; then each
old triple plane such as mnp, will furnish three new triple planes,
m'np, mn'p, mnp' ;
while each old line, kl, will give one new triple plane, Ckl ; nor can any new triple
plane be obtained in any other way. We have, therefore, this new equation in dif-
fer eiices :
/(*+l) = 3/(O + 0(*).
But we have seen that
0(» + l) = 20(5) + l;
if then we write, for a moment,
/(s) + 0(O=xW,
we have this other equation in finite differences,
X(« + I) = 3x(«)+1.
Also,
/(3)-l, 0(3) = 3, x(3) = 4:
therefore,
2x (s) = 3»-i - 1,
and
2/(«) = 3»-»-2»+l.
(5.) Finally, it is clear that we have the relation,
3/(*) + ^(*) = l0(O-(^(O-l) = (2-'-l) (2-2-1);
because the triple planes, each treated as three, and the non-triple planes, each treated
as one, must jointly represent all the binary combinations of the lines, drawn through
the mean point s of the whole system. Hence,
2»//(«) = 22«-2 + 3 . 2«-» - 3* - 1 ;
and
F(s) = 22»-3+2«-2-3«-i;
so that
P(» + 1) - 4f(») = 3*-» - 2«-i,
and
^(* + l)-4,^(*) = 3/(.);
which last equation in finite differences admits of an independent geometrical inter-
pretation.
(6.) For instance, these general expressions give,
0(5) = 15; /(5) = 25; /(5) = 30; f(5) = 55;
so that if we assume a gauche pentagon^ or a system of^i-e points in space, A . . e,
88 ELEMENTS OF QUATERNIONS. [bOOK 1.
and determine the jnean point f of this system, there will in general be a set ofjif-
teen lines, of the kind above considered, all passing through this sixth point f : and
these will be arranged generally m fifty- five distinct planes, -whereof twenty-five will
be what we have called triple, the thirty others being of the non-triple kind.
97. More generally, if a^ . . a^ be, as before, a system of m given
and co-initial vectors^ and if osi, . . a^he any system of m given sea-
lars (17), then that new co-initial vector /S, or OB, which is deduced
from these by the formula,
a,a 4- . . + «,„«,» 2aa 2aoA
3 = = , or OB = ,
«i + . • + «« 2a 2a
or by the equation
2a(a -/3) = 0, or Saba = 0,
may be said to be the Complex Mean of those m given vectors a, or
OA, considered as affected (or combined) with that system of given
scalars, a, as coefficients, or as multipliers (12, 14). It may also be said
that the derived point b, of which (comp. 96) the position is inde-
pendent of that of the origin o, is i\\e Barycentre (or centre of gravity)
of the given system of points Ai . . ., considered as loaded with the
given weights ai . . . ; and theorems of intersections of lines and planes
arise, from the comparison of these complex means, or harycentres, of
partial and total systems, which are entirely analogous to those lately
considered (96), for simple means of vectors and oi points.
(1.) As an Example, in the case of Art. 24, the point c is the barj'centre of the
system of the two points, a and b, with the weights a and h ; while, under the con-
ditions of 27, the origin o is the bary centre of the three points A, b, c, with the three
weights a,h,c; and if we use the formula for p, assigned in 34 or 36, the same three
given points A, b, c, when loaded with xa, yh, zc as weights, have the point p in
their plane for their bary centre. Again, with the equations of 65, e is the bary cen-
tre of the system of the ybwr given points. A, b, o, d, with the weights a, b, c, d;
and if the expression of 79 for the vector op be adopted, then xa, yh, zc, wd are
equal (or proportional) to the weights with which the same four points A . . D must
be loaded, in order that the point p of space may be their barycentre. In all these
cases, the weights are thus proportional (by 69) to certain segments, or areas, or
volumes, of kinds which have been already considered ; and what we have called the
anharmonic co-ordinates of a variable point p, in a plane (36), or in space (79),
may be said, on the same plan, to be quotients of quotients of weights.
(2.) The circumstance that the position of a barycentre (97), like that of a sim-
ple mean point (96), is independent of the position of the assumed origin of vectors,
might induce us (comp. 69) to suppress the symbol o of that arbitrary and foreign
point; and therefore to write' simply, under the lately supposed conditions,
* We should thus have some of the principal notations of the Barycentric Calcu-
lus : but used mainly with a reference to vectors. Compare the Note to page 56.
CHAP. III.] BARYCENTRES OF SYSTEMS OF POINTS. 81)
B = — — or 65=20.4, if 6 = a.
2a
It is easy to prove (comp. 96), by principles already established, that the ordi-
nate of the barycentre of any given system of points is the complex mean (in
the sense above defined, and with the same system oi weights)^ of the ordinates of
the points of that system, with reference to any given plane : and that the projection
of the barycentre, on any such plane, is the barycentre of the projected system.
(3. ) Without any reference to ordinates, or to any foreign origin, the barycentrie
notation B = may be interpreted, by means of our fundamental convention
2a
(Art. 1) respecting the geometrical signification of the symbol b— A, considered as
denoting the vector from A to B : together with the rules for midtiplying such vec-
tors by scalars (14, 17), and for taking the sums (6, 7, 8, 9) of those (generally
new) vectors, which are (16) the products of such multiplications. For we have only
to write the formula as follows,
2a(A-B) = 0,
in order to perceive that it may be considered as signifying, that the system of the
vectors from the barycentre B, to the system of the given points Ai, A2, . . when mul-
tiplied respectively by the scalars (or coefficients) of the given system ai, 02, . . be-
comes (generally) a new system of vectors with a null sum : in such a manner that
these last vectors, ai . b Ai, 02 • BA2, . • can be made (10) the successive sides of a closed
polygon, by transports without rotation.
(4.) Thus if we meet the formula,
B = ^(Ai + A2),
we may indeed interpret it as an abridged form of the equation,
OB = |(OAi + OA2);
which implies that if o be any arbitrary point, and if o' be the point which completes
(comp. 6) the parallelogram AiOA20', then B is the point which bisects the diagonal
00', and therefore also the given line AiA2, which is here the other diagonal. But we
may also regard the formula as a mere symbolical transformation of the equation,
(a3-b)+(ai-b) = 0;
which (by the earliest principles of the present Book) expresses that the two vectors,
from B to the two given points Ai and A2, have a null sum; or that they are equal in
length, but opposite in direction : which can only be, by B bisecting A1A2, as before.
(5.) Again, the formula, bi = ^(ai + A2 4- A3), may be interpreted as an a&Hcf^-
ment of the equation,
OBi = J (OAi + OA3 + OA3) ,
which expresses that the point B trisects the diagonal 00' of the parallelepiped
(comp. 62), which has OAi, 0A2, OA3 for three co-initial edges. But the same for-
mula may also be considered to express, in full consistency with the foregoing inter-
pretatiim, that the sum of the three vectors, from b to the three points Ai, A2, A3, va-
nishes : which is the characteristic property (30) of the mean point of the triangle
A1A2A3. And similarly in more complex cases : tlie legitimacy of such transforma-
tions being here regarded as a consequence of the original interpretation (1) of the
symbol n - A, and of the rules for operations on vectors, so far as as they have been
hitherto established.
N
90 KLEMENTS OF QUATERNIONS. [bOOK I.
Section 6 On Anharmonic Equations, and Vector- Expres-
sions, of Surfaces and Curves in Space.
98. When, in the expression 79 for the vector /> of a variable
point P of space, the four variable scalars, or anharmonic co-ordi-
nates, xi/zw, are connected (comp. 46) by a given algebraic equation,
f,{x, y, z, w) = 0, or briefly /= 0,
supposed to be rational and integral, and homogeneous of the p'''
dimension, then the point P has for its locus a surface of the p^^ orde?',
whereof /= may be said (comp. 56) to be the local equation. For
if we substitute instead of the co ordinates x . .w, expressions of the
forms,
X = tXo + UXx^ .. w= tWo + UWi^
to indicate (82) that p is collinear with two given points, Po, Pi, the
resulting algebraic equation int'.u is of the p*^ degree ; so that (ac-
cording to a received modern mode of vspeaking), the surface may be
said to be cut in p points (distinct or coincident, and real or imagi-
nary*), hy any arhitrary right line, PyPi- And in like manner, when
the four anharmonic co-ordinates Imnr of a variable plane 11 (80) are
connected by an algebraical equation, of the form,
F^(/, m, n, r) =0, or briefly F = 0,
where F denotes a rational and integral function, supposed to be ho-
mogeneous of the q^^ dimension, then this plane n has for its enve-
lope (comp. 5%) a surface of the q*'' class, with f= for its tangential
equation: because if we make
l = tlQ+ uli,.. . r = tro-\-uri,
to express (comp. 82) that the variable plane 11 passes through a given
right line ITo'IIi, we are conducted to an algebraical equation of the
q^^ degree^ which gives q (real or imaginary) values for the ratio t:u,
and thereby assigns q (real or imaginary!) tangent planes to the sur-
* It is to be observed, that no interpretation is here proposed, for imaginary in-
tersections of this kind, such as those of a sphere with a right line, which is wholly
external thereto. The language of modern geometry requires that snch imaginary
intersections should be spoken of, and even that they should be cnwrnera/ec? : exactly
as the language of algebra requires that we should count what are called the imagi-
nary roots of an equation. But it would be an error to confound geometrical imagi-
naries, of this sort, with those square roots of negatives, for which it will soon be seen
that the Calculus of Quaternions supplies, from the outset, a di finite and real in-
terpretation.
f As regards the uninterpreted character of such imaginary contacts in geometry,
the preceding Note to the present Article, resptcting imaginary intersections, may be
consulted.
CHAP. III.] ANHARMONIC EQUATIONS OF SURFACES.
91
face^ drawn through any such given but arbitrary right line. We
may add (comp. 51, 56), that if the functions / and f be only ho-
mogeneous (without necessarily being rational and integral)^ then
is the anharmonic symbol (80) of the tangent plane to the surface
/= 0, at the point (xyziv) ; and that
(DjF, d,„f, d„f, d,f)
is in like manner, a symbol for the point of contact of the plane
\_lmnr'], with its enveloped surface^ f= 0; d^, . . d^, . . being charac-
teristics of partial derivation.
(1.) As an Example, the surface of the second order, which passes through the
nine points called lately
A, c', B, a', C, C2, D, A2, E,
has for its local equation,
0=f=xz-yw;
which gives, by differentiation,
I = T)xf— z; m = Dy/= — w ;
n=Dzf=X', r =DM,/=-y:
so that
lz,-w, a!,-2/]
is a symbol for the tangent plane, at the point (x, y, z, w).
(2.) In fact, the swrface here considered is the ruled (or hyper'holic) hyperboloid,
on which the gauche quadrilateral abcd is superscribed, and which passes also
through the point e. And if we write
p = (xyziv), Q = (aryOO), R = (OyzO),
then Qs and rt (see the annexed Figure 31),
namely, the lines drawn through p to intersect the
two pairs, ab, cd, and bc, da, of opposite sides
of that quadrilateral abcd, are the two generating
lines, or generatrices, through that point ; so that
their plane, qrst, is the tangent plane to the sur-
face, at the point p. If, then, we denote that tan-
gent plane by the symbol [Imnr], we have the
equations of condition,
= Zar + my = my + nz = nz + rw = rw+lx;
whence follows the proportion,
l:m:n:r = otr^ : — y~^ : z*' : — w • ;
or, because xz = yw,
I: m: n: r= z : —w: x
as before.
(3.) At the same time we see that
(ac'bq) = - =
= (002u;), T = {xOOw\
Fig. 3
(ncacs) ;
92 * ELEMENTS OF QUATERNIONS. [bOOK I.
so that the variable generatrix QS divides (as is known) the two Jixed generatrices
AB and DC homographically* ; ad, bc, and c'cj being three of its positions. Con-
versely, if it were proposed to find the locus of the right liiie Q3, which thus divides
homographically (comp. 26) two given right lines in space, we might take ab and DC
for those two given lines, and ad, bc, c'c2 (with the recent meanings of the letters)
for three given positions of the variable line ; and then should have, for the two va-
riiible but corresponding (or homologous^ points % s themselves, and for any arbitrary
point p collinear with them, anharmonic symbols of the forms,
Q = (s, M, 0, 0), s = (0, 0, M, s), P = (st, tu, uv, vs) ;
because, by 82, we should have, between these three symbols, a relation of the form,
(p) = ^(q) + »(s)!
if then we write p= (ar, y, z, w), we have the anharmonic equation xz = yw, as before ;
80 that the locus, whether of the line qs, or of the point p, is (as is known) a ruled
surface of the second order.
(4.) As regards the known double generation of that surface, it may suflSce to
observe that if we write, in like manner,
K=(Of«0), T = (<00f), (p)=«(r) + «(t),
we shall have again the expression,
p = {st, tu, uv, vs), giving xz = yw,
as before : so that the same hyperboloid is also the locus of that other line rt, which
divides the other pair of opposite sides bc, ad of the same gauche quadrilateral abcd
homographically ; ba, cd, and A'Ag being three of its positions ; and the lines a'a2,
c'c2 being still supposed to intersect each other in the given point e.
(5.) The symbol of an arbitrary point on the variable line kt is (by sub-art. 2)
of the form, t(0, y, z, 0) +u(x, 0, 0, w), or (ux, ty, tz, uw) ; while the symbol of an
arbitrary point on the given line c'C2 is (t', f, u, u'). And these two symbols repre-
sent one common point (comp. Fig. 31),
p' = RT-c'c2=(y,y,2,2),
when we su[)pose
, , y 2
t =y, u =z, t=\, «=-=-.
X w
Hence the known theorem results, that a variable generatrix, kt, of one system, in-
tersects three fixed lines, BC, AD, c'Cg, which are generatrices of the other system.
Conversely, by the same comparison of symbols, for points on the two lines rt and
c'c2, "we should be conducted to the equation xz =yw, as the condition for their inter-
section ; and thus should obtain this other known theorem, that the locus of a right
line, which intersects three given right lines in space, is generally an hyperboloid
with tliose three lines for generatrices. A similar analysis shows that QS intersects
a'a2, in a point (comp. again Fig. 31) which may be thus denoted :
p" = QS • a'a2 = (xyyx).
(6.) As another example of the treatment of surfaces by their anharmonic and
local equations, we may remark that the recent symbols for p' and p'', combined with
Compare p. 298 of the Geometric Superieure.
CHAP. III.] ANHAllMONIC EQUATIONS OF SURFACES. 93
those of sub-art. 2 for p, q, r, s, t; with the symbols of 83, 86 for c', a', C2, A2, e;
and with the equation xz = y w, give the expressions :
(p)=(q) + (8) = (r) + (t); (P') = y(c') + ^(C2)=(R)+^(T);
(E) = (c') + (C2) = (A-) + (A2) ; (p") = y{A')-^x (a^) = (q) + ^ (s) ;
whence it follows (84) that the two points p', p", and the sides of the quadrilateral
ABCD, divide the four generating lines through p and e in the following anharmonic
ratios :
(c'eCzP') = (qp"sp) = - = (bA'CR) = (AAgDT) ;
/ y
(a'eA2P ') = (rp'tp) = - = (bc'Aq) = (CC2DS) J
so that (as again is known) the variable generatrices, as well as the fixed ones, of the
hyperboloid, are all divided homographically .
(7.) The tangential equation of the present surface is easily found, by the expres-
sions in sub-art. 1 for the co-ordinates Imnr of the tangent plane, to be the follow-
ing:
= F = /n — wir ;
which may be interpreted as expressing, that this hyperboloid is the surface of the
second class, which touches the nine planes,
[1000], [0100], [0010], [0001], [1100], [0110], [0011], [1001], [1111] ;
or with the literal symbols lately employed (comp. 86, 87),
BOD, CDA, DAB, ABC, CDc", DAa", ABc'o, BCA'2, and [e].*
Or we may interpret the same tangential equation f = as expressing (comp. again
86, 87, where q, l, n are now replaced by t, r, q), that the surface is the envelope of
a plane qrst, which satisfies either of the two connected conditions of homography :
(bc'aq) = = = (ccaDs) ;
m n
(CA Br) = = = (dA2 at) ;
n r
a double generation of the hyperboloid thus showing itself in a new way. And as re-
gards the. passage (or return)^ from the tangential to the local equation (comp. 66),
we have in the present example the formulae :
X = DiF = n ; y = d^f = — r; z = d„f = Z ; w = d^-f = — to ;
whence
xz — yw = 0,
as before.
(8.) More generally, when the surface is of the second order, and therefore also
of the second class, so that the two functions / and f, when presented under rational
and integral forms, are both homogeneous of the second dimension, then whether we
derive I . .r from x . .why the formulae.
* In the anharmonic symbol of Art. 87, for the plane of homology [e], the co-
efficient 1 occurred, through inadvertence, five times.
94 ELEMENTS OF QUATERNIONS. [bOOK I.
or a; . . M7 from / . . r by the converse formulae,
X = DiF, y = DmF, Z = D„F, W = D^F,
the /)oin< p = (xyzvi) is, relatively to that surface, what is usually called (corap. 62)
the pole of the plane 11 = [Imnr] ; and conversely, the plane 11 is the polar of the
point p ; wherever in space the point P and plane 11, thus related to each other,
may be situated. And because the centre of a surface of the second order is known
to be (comp. again 52) the pole of (what is called) the plajie at infinity ; while (comp.
38) the equation and the symbol of this last plane are, respectively,
aa; + &y + cz -f rfw = 0, and [a, 6, c, d],
if the four constants aftccZ have still the same significations as in 05, 70, 79, &c.,
with reference to the system of the five given points abode : it follows that we may
denote this centre by the symbol,
K=(DaFo, DfcFo, DcFq, DrfFo) ;
where Fq denotes, for abridgment, the function f (abcd)^ and d is still a scalar con-
stant.
(9.) In the recent example, we have YQ = ac — ld; and the anharmonic symbol
for the centre of the hyperboloid becomes thus,
K = (c, — d, a, — 6),
Accordingly if we assume (comp. sub- arts. 3, 4),
p = (.'
XII. . . a = p + ^^y^,r, ;
or with differentials,
3Vdpd2pSdod?p + dpaVd^pdp
XIII. . . a = p+ Sdpd2pd3p '
the scalar variable being still left arbitrary.
(8.) And if, as an example, we introduce the values for the helix^
XIV. ..p = cta + a% p' = ca + ^ a<+i^, P"=-\^ ]«*/?,
-w
whereof the three first occurred before, we find after some slight reductions the ex-
pression, in which a denotes again the constant inclination of the curve to the axis of
the cylinder,
XV. . . a — p — a^(B cosec2 a = cta — a*l3 cot^ a ;
but this is precisely what we found for k, in 389, VIII. ; for the helix, then, the
two centres, K and s, of absolute and spherical curvature, coincide.
552 elp:ments OF QUATERNIONS. [bookiii.
(9.) This known result is a consequence, and may serve as an illustration, of the
general construction (6.) ; because it is easy to infer, from what was shown in 389,
(3.), respecting the locus of the centre k of the osculating circle to the helix, as being
another helix on a co-axal cylinder^ that the tangent kk' to this locus is perpendi-
cular to the radius of curvature kp, while the same tangent (kk' or k') is always
perpendicular (X.) to the tangent (pp' or p') to the curve ; kk' is therefore here at
right angles to the osculating plane of the given helix, or coincides with its polar
axis: so that the perpendicular on it from the extremity m of the diameter of cur-
vature falls at the point k itself, with which consequently the point s in the present
case coincides^ as found by calculation in (8.).
(10.) In general, if we introduce the expressions 376, VI., or the following,
XVI. . . p' = s'Vsp, p" = s'2D«2p + s"-Dsp, p'" = s'^Ds^p + Bs's'Ds^p + s"'Ds/0,
in which s denotes the arc of the curve, but the accents still indicate derivations with
respect to an arbitrary scalar t ; and if we observe (comp. 380, (.12.)) that the re-
lations,
XVII. . . D,p2 = _ 1, S . Jy,pWp = 0, S . T>,pDs^p + D,2p2 ^ Q,
in which T>sp^ and D^^pS denote the squares of r>sp and Ds^p, and S . T>spJ>s^p denotes
S(Dsp.Ds^p), &c., exist independently of the form of the curve ; we find that s" and
s'" disappear from the numerator and denominator of the expression XII. for