Page images
PDF
EPUB
[merged small][merged small][merged small][ocr errors][ocr errors][merged small][merged small][ocr errors][merged small]
[ocr errors][merged small][merged small][merged small][ocr errors][merged small][merged small][merged small][merged small][merged small][merged small]
[blocks in formation]

Consequent condensation and rotation.
§§ 368-371.

[merged small][ocr errors][merged small][merged small][merged small]
[merged small][merged small][merged small][merged small][merged small][subsumed][ocr errors]
[merged small][merged small][merged small][merged small][merged small][merged small][merged small][ocr errors]

=

S.p(p)-p-1, Tp-2-p-1)-p0, 1-pp2 ‡ (T+S) Vλp VμP,
The conical cusps and circles of contact. Lines of vibration, &c. §§
407-427.

Electrodynamics. The vector action of a closed circuit on an element of
current a, is proportional to Vaß where

[merged small][merged small][ocr errors][subsumed]
[blocks in formation]
[ocr errors]
[merged small][merged small][merged small][merged small][ocr errors][merged small][merged small][merged small][merged small][merged small][merged small][merged small]
[blocks in formation]

QUATERNIONS.

CHAPTER I.

VECTORS, AND THEIR COMPOSITION.

1.] FOR more than a century and a half the geometrical representation of the negative and imaginary algebraic quantities, -1 and √1, or, as some prefer to write them, and -, has been a favourite subject of speculation with mathematicians. The essence of almost all of the proposed processes consists in employing such expressions to indicate the direction, not the length, of lines.

2.] Thus it was long ago seen that if positive quantities were measured off in one direction along a fixed line, a useful and lawful convention enabled us to express negative quantities of the same kind by simply laying them off on the same line in the opposite direction. This convention is an essential part of the Cartesian method, and is constantly employed in Analytical Geometry and Applied Mathematics.

3.] Wallis, towards the end of the seventeenth century, proposed to represent the impossible roots of a quadratic equation by going out of the line on which, if real, they would have been laid off. His construction is equivalent to the consideration of √1 as a directed unit-line perpendicular to that on which real quantities are measured.

[ocr errors]

4.] In the usual notation of Analytical Geometry of two dimensions, when rectangular axes are employed, this amounts to reckoning each unit of length along Oy as +√—1, and on Oy as √1; while on Ox each unit is +1, and on Ox it is

[ocr errors]
[ocr errors][merged small]

-1. If we look at these four lines in circular order, i. e. in the order of positive rotation (opposite to that of the hands of a watch), they give 1, √1, -1, -√1.

In this series each expression is derived from that which precedes it by multiplication by the factor 1. Hence we may consider 1 as an operator, analogous to a handle perpendicular to the plane of xy, whose effect on any line is to make it rotate (positively) about the origin through an angle of 90°.

5.] In such a system, a point is defined by a single imaginary expression. Thus a+b1 may be considered as a single quantity, denoting the point whose cöordinates are a and b. Or, it may be used as an expression for the line joining that point with the origin. In the latter sense, the expression a+b√1 implicitly contains the direction, as well as the length, of this line; since, as

b -1 we see at once, the direction is inclined at an angle tan- to the axis of a, and the length is √a2+b2.

a

6.] Operating on this symbol by the factor -1, it becomes -b+a√1; and now, of course, denotes the point whose x and y cöordinates are -b and a; or the line joining this point with the origin. The length is still √a2+b2, but the angle the line makes with the axis of a is tan-1(-); which is evidently 90° greater

than before the operation.

7.] De Moivre's Theorem tends to lead us still farther in the same direction. In fact, it is easy to see that if we use, instead of √1, the more general factor cos a+ √1 sin a, its effect on any line is to turn it through the (positive) angle a in the plane of x, y. [Of course the former factor, -1, is merely the particular case of this, when a =

π

2

Thus (cos a+√−1 sin a) (a+b√ — 1)

= a cos a b sin a+ √1 (a sin a +b cos a),

by direct multiplication. The reader will at once see that the new form indicates that a rotation through an angle a has taken place, if he compares it with the common formulæ for turning the cöordinate axes through a given angle. Or, in a less simple manner, thus

Length = √(a cos a − b sin a)2 + (a sin a+b cos a)2

[ocr errors]
[blocks in formation]

܂

[merged small][merged small][merged small][merged small][merged small][merged small][ocr errors][merged small][merged small][ocr errors][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small]

8.] We see now, as it were, why it happens that

· (cos a+ √1 sin a)m = cos ma +

1 sin ma.

In fact, the first operator produces m successive rotations in the same direction, each through the angle a; the second, a single rotation through the angle ma.

9.] It may be interesting, at this stage, to anticipate so far as to state that a Quaternion can, in general, be put under the form

N(cos + sin 0),

where N is a numerical quantity, a real angle, and

[blocks in formation]

This expression for a quaternion bears a very close analogy to the forms employed in De Moivre's Theorem ; but there is the essential difference (to which Hamilton's chief invention referred) that is not the algebraic √1, but may be any directed unit-line whatever in space.

10.] In the present century Argand, Warren, and others, extended the results of Wallis and De Moivre. They attempted to express as a line the product of two lines each represented by a symbol such as a+b-1. To a certain extent they succeeded, but simplicity was not gained by their methods, as the terrible array of radicals in Warren's Treatise sufficiently proves.

11.] A very curious speculation, due to Servois and published in 1813 in Gergonne's Annales, is the only one, so far as has been discovered, in which the slightest trace of an anticipation of Quaternions is contained. Endeavouring to extend to space the form a+b√1 for the plane, he is guided by analogy to write for a directed unit-line in space the form

p cos a+q cos ß+r cos y,

where a, ß, y are its inclinations to the three axes. He perceives easily that p, q, r must be non-reals: but, he asks, "seraient-elles imaginaires réductibles à la forme générale A+B √1?" This he could not answer. In fact they are the i, j, k of the Quaternion Calculus. (See Chap. II.)

12.] Beyond this, few attempts were made, or at least recorded, in earlier times, to extend the principle to space of three dimensions;

« PreviousContinue »