Introduction To Quaternions With Numerou PDF
Introduction To Quaternions With Numerou PDF
Introduction To Quaternions With Numerou PDF
https://books.google.com
N. */ d’ordine
Sezione.
Sesto.
Scafale.
- Palchetto
|
- fºllº
M. P
, ſº
- %
UNIVERSI TR"
DI RCMR
"LR sºft IENZR"
III
iž
125 |
E I BL I OTEC R
MRTEMRT ICF
"G. C. RistELNUOVC
/
*…)
A /2,
– - -
ºr
Zºo o 9%
INTRODUCTION
QUATERNIONS,
WITH NUMEROUS EXAMPLES.
.
(Cambridge:
PRINTED BY C. J. C.L.A.Y., M.A.
AT THE UNIVERSITY PRESS.
/
/)^{\{ 000 |- /… º.
~/
to
**
INTRODUCTION
TO
Q UA TER NIONS,
BY
P. KELLAND, M.A., FR
FORMERLY FELLow of QUEENs' collFGE, CA;
‘ſomtſon:
MAC MILLAN AND CO.
1873.
UNIVERSITY of EDINBURGH,
October, 1873.
C O N T E N T S.
CHAPTER I.
- PAGES
INTRODUCTORY . • *- - e - - 1—5
CHAPTER II.
CEIAPTER III.
CHAPTER IV.
PAGES
THE STRAIGHT LINE AND PLANE . - - - - - . 58–71
CHAPTER W.
CHAPTER WI.
CHAPTER VII.
CHAPTER WIII.
PAGES
CENTRAL SURFACEs of THE SECOND ORDER. - - - . 127–152
CHAPTER IX.
CHAPTER X.
APPENDIx . - - - - - - - - - . 209–227
---!^*):
INTRODUCTION TO QUATERNIONS.
CHAPTER I.
INTRODUCTORY,
35
2 QUATERNIONS. [CHAP.
of science in the West, we are presented with categorical treatises
on arithmetic. The first printed treatise is that of Lucas de Burgo
in 1494. The author considers a fraction to be a quotient, and
thus, as he expressly states, the order of operations becomes the
reverse of that for whole numbers—multiplication precedes addi
tion, etc. In our own country we have a tolerably early writer on
arithmetic, Robert Record, who dedicated his work to King Edward
the Sixth. The ingenious author exhibits his treatise in the form
of a dialogue between master and scholar. The scholar battles
long with this difficulty—that multiplying a thing should make it
less. At first, the master attempts to explain the anomaly by
reference to proportion, thus: that the product by a fraction bears
the same proportion to the thing multiplied that the multiplying
fraction does to unity. The scholar is not satisfied; and accord
ingly the master goes on to say: “If I multiply by more than one,
the thing is increased ; if I take it but once, it is not changed ; and
if I take it less than once, it cannot be so much as it was before.
Then, seeing that a fraction is less than one, if I multiply by a
fraction, it follows that I do take it less than once,” etc. The
scholar thereupon replies, “Sir, I do thank you much for this
reason; and I trust that I do perceive the thing.” -
Need we add that the same difficulty which the scholar in the
time of King Edward experienced, is experienced by everythinking
boy of our own times; and the explanation afforded him is precisely
the same admixture of multiplication, proportion, and division which
suggested itself to old Robert Record. Every schoolboy feels that
to multiply by a fraction is not to multiply at all in the sense in
which multiplication was originally presented to him, viz. as an
abbreviation of equal additions, or of repetitions of the thing multi
plied. A totally new view of the process of multiplication has
insensibly crept in by the advance from whole numbers to fractions.
So new, so different is it, that we are satisfied Euclid in his logical
and unbending march could never have attained to it. It is only
by standing loose for a time to logical accuracy that extensions in
the abstract sciences—extensions at any rate which stretch from
one science to another—are effected. Thus Diophantus in his
I.]. INTRODUCTORY. 3.
the mind can extract the right idea from the sound or sight of a
word, it is the part of wisdom to retain it. And so all the old words
have been retained in the science of Quaternions to which we are
now to advance.
The fundamental idea on which the science is based is that of
motion—of transference. Real motion is indeed not needed, any
more than real superposition is needed in Euclid's Geometry. An
appeal is made to mental transference in the one science, to mental
superposition in the other.
We are then to consider how it is possible to frame a new science
which shall spring out of Arithmetic, Algebra, and Geometry, and
shall add to them the idea of motion—of transference. It must be
confessed the project we entertain is not a project due to the
nineteenth century. The Geometry of Des Cartes was based on
something very much resembling the idea of motion, and so far the
mere introduction of the idea of transference was not of much value.
The real advance was due to the thought of severing multiplication
from addition, so that the one might be the representative of a kind
of motion absolutely different from that which was represented by
I.] INTRODUCTORY. 5
the other, yet capable of being combined with it. What the nine
teenth century has done, then, is to divorce addition from multipli
cation in the new form in which the two are presented, and to
cause the one, in this new character, to signify motion forwards
and backwards, the other motion round and round.
We do not purpose to give a history of the science, and shall
accordingly content ourselves with saying, that the notion of sepa
rating addition from multiplication—attributing to the one, motion
from a point, to the other motion about a point—had been floating
in the minds of mathematicians for half a century, without producing
many results worth recording, when the subject fell into the hands
of a giant, Sir William Rowan Hamilton, who early found that his
road was obstructed—he knew not by what obstacle—so that many
points which seemed within his reach were really inaccessible. He
had done a considerable amount of good work, obstructed as he was,
when, about the year 1843, he perceived clearly the obstruction to
his progress in the shape of an old law which, prior to that time,
had appeared like a law of common sense. The law in question is
known as the commutative law of multiplication. Presented in its
simplest form it is nothing more than this, “five times three is the
same as three times five;” more generally, it appears under the
form of “ab = ba whatever a and b may represent.” When it
came distinctly into the mind of Hamilton that this law is not a
necessity, with the extended signification of multiplication, he saw
his way clear, and gave up the law. The barrier being removed,
he entered on the new science as a warrior enters a besieged city
through a practicable breach. The reader will find it easy to enter
after him.
CHAPTER II.
Ex. 1. The straight lines which join the extremities of equal and
parallel straight lines towards the same parts are themselves equal
and parallel.
Let AB be equal and parallel to CD; A B
Spy
to prove that AC is equal and parallel
to BD.
Let vector AB be represented by a, /~10 S
/> </ -
sented by a.
If now vector CA be represented by 8, vector DB by y, we shall
have (Art. 5) vector CB=CA + AB = B+a,
and vector CB = CD + DB = a +y;
. . B+ a = a + Y,
and 8-y;
so that 8 and y are the same vector symbol; consequently (Art. 1)
10 QUATERNIONS. - [CHAP. II.
the lines which they represent are equal and parallel; i.e. CA is
equal and parallel to BD.
Ex. 2. The opposite sides of a parallelogram are equal; and
the diagonals bisect each other.
Since AB is parallel to CD, if vector AB be represented by a,
vector CD will be represented by some numerical multiple of a
(Art. 3), call it ma.
And since CA is parallel to DB; if vector CA be 8, then vector
DB is m3; hence - -
- vector CB = CA + AB = B+ a,
and = CD + DB = ma + m3;
... a + 8 = ma + m3.
Hence (Art. 6) m = 1, n = 1, i.e. the opposite sides of the paral
lelogram are equal.
Again, as vectors, A0+ 0B = AB
- = CD
= CO + OD;
And as AO is a vector along OD, and CO a vector along OB;
it follows (Art. 6) that vector A0 is vector OD, and vector C0 is
OB; - -
... as vectors, AE = AD + DE = a + 8, D E.
AC = AB+ BC = ma + m3. -
But line A B : A D = m,
line BC : DE = n,
..". AB : AD :: BC : DE.
Let the
in sides
D, E,ofF,
theand
triangle ABCBE
be
bisected let AD, A.
meet in G.
Let vector BD or DC be a, CE or EA 8, F E
then, as vectors,
BA = BC +CA = 2a+28 = 2 (a +8), B I) C
DE = DC + CE = a + 8,
hence (Art. 4) BA is parallel to DE, and
equal to 2DE.
Again, BG + GA = BA.
== 2D E *
= 2 (DG + GE).
Now vector BG is along GE, and vector GA along DG.
... (Art. 6) BG = 2GE,
GA = 26D,
whence the same is true of the lines.
2
Lastly, BG = 3 BE
2
= 3 (BC + CE)
2
=3(2a+8);
... CG = BG – BC
2
=;(2a+8)–2a
- 2
=3(8–6),
13 QUATERNIONS. [CHAP. II.
GF = BF – BG
- B4-B6.
- 2 -
- = a +8–5(2a+8)
I
- = 3 (8–0);
hence CG is in the same straight line with GF, and equal to 2GF.
Ex. 5. When, instead of D and E being the middle points of
the sides, they are any points whatever in those sides, it is required
to find G and the point in which CG produced meets A.B.
JBC CA -
... (Art. 6) a m + y = m, a + yn = n, -
whence 1-2-tº-l;
p Tn – 1
AF AE
i.e. +... = −.---
BD
|
Similarly line FG, - FC,
- 1
line DG, = 7 DA,
then AE + EG = AD + DG gives
1 1 F H
ga+EG =y+;(3–7),
- A. JE B
and Ax-Akrºg
- = 1 (a + 8+)),
AP-36, A. B
=}(-6+3) -
- 1
... no-5- AD=AB+jºc, .A.
…' 1 JB
=3(a+8) P
a = y, p = q :
Let CF = a, BC
- = a ((1+p) a + (1 + q) 8}. P C F
But CF = CE + EF
= — EC + EF
77.070, 770%
T. Q. 2
18 QUATERNIONS. [CHAP. II.
P, Q, R the middle points of the
diagonals of the complete quadrila
teral ABCD, are in a straight line.
Let AB = a, AD = 3,
AE = ma, AF'- m/3;
... BF = m/3—a and BC = a (n3—a),
ED = 8–ma and CD = y (8–ma).
Now BC + CD = BD = AD – AB A
_1 m (n-1) a + n (m - 1)/3
T2 mn – 1 - 2
1
AQ=3(a+8),
AR = #ºn. + m3),
•". 40-AP-gº-nºn-1)-(-1)}
AR-AP-sº-p {(m–1) a + (n − 1)/3},
or vector PR is a multiple of vector PQ, and therefore they are in
the same straight line.
CoR. Line PQ : PR :: 1 : mm
:: A.B. AD : AE . AF
:: triangle ABD : triangle AEF.
We shall presently exemplify a very elegant method due to
Sir W. Hamilton of proving three points to be in the same
straight line.
ART. 8] VECTOR ADDITION AND SUBTRACTION. 19
Now AR = AP + PR = AP + AQ= a + 8,
..'. AD = a (a + 3).
Now vector AB = ca, AC=b|3; using c, b as in ordinary
geometry for the lengths of AB, 40.
Pſence BD = AD–AB = a (a + 8) – ca,
and BD = y BC = y (AC – AB)
= y (58 – ca),
20 QUATERNIONS. [CHAP. II.
Equating, a – c = -\ſc, a = 'yb;
C
- - 3/~ b Ie,
and BD : DC : y : 1 – y
:: c : b
:: BA : A C.
CoR. If a, 8 are unit vectors from A, and if 8 be another
vector from A such that 8 = a (a + 3); then 8 bisects the angle
between a and 8.
Ex. 2. The three bisectors of the angles of a triangle meet in a
point.
Let AD, BE bisect A, B and meet in G, CG bisects C.
Let units along AB, AC, BC be a, 8, y, then as in the last
example, -
AG = a (a + 8), BG = y (– a +y).
But a y = b|3–ca,
•". no-y(-,+**), Q
and CG = AG – AC
= a (a + 8) – b8,
also CG = BG – BC,
=y(-a ºr “)-5-ca.
- QC = C
- =-y-ay" c,
2-b-º- y
bc.
whence *To It, Ic'
and C6 = a +b r. ſea-(a+b)}
-
b
==# (-ay-aft)
= p(y + 8),
hence CG bisects the angle C (Cor. Ex. 1).
ART. 9] VECTOR ADDITION AND SUBTRACTION. 21
By eliminating y we get
(ar – cp) a + (br— cq)/3 = 0;
... (Art. 6) ar = cp, br= cq,
or a b : c :: p : q : r,
so that the second equation is simply a multiple of the first.
12. If a, 3, y are coinitial, coplanar vectors terminating in
a straight line, then the same values of a, b, c which render
aa + b8+ cy - 0 will also render a + b + c = 0.
22 - QUATERNIONS. [CHAP. II.
Let vector OA = a, OB = 8, 00 = y, ABC
being a straight line; then C
AB = B — a, B
AC = y – a.
But AC is a multiple of AB,
or y – a = p (3 – a),
i. e. (p − 1) a -p6+ y = 0.
But (p − 1) — p + 1 = 0;
and as p-1, -p, + 1 correspond to a, b, c and satisfy the con
dition required, the proposition is proved generally (Art. 11).
13. Conversely, if a, B, y are coinitial coplanar vectors, and if
both aa + b|3+ cy – 0 and a + b + c = 0, then do a, B, y terminate
in a straight line.
For ay + by + cy = 0;
therefore by subtraction
a (y-a) + b (y – 3) = 0,
i.e. y—a is a multiple of y–8, and therefore (Art. 4) in the same
straight line with it: i.e. AC is in the same straight line with
BC. (See Tait's Quaternions, $ 30.)
ExAMPLEs.
then BA = a – 3,
and BR = a (a — 8);
B'A' = ma — m/3,
and B'ſ = y (ma — m/3).
Ex. 2.] VECTOR ADDITION AND SUBTRACTION. 23
Similarly, or-º-º-º-º: 2
oq_*(p= 1)4-p(n-1)},
p— m
... (m-r)(p−1) or +(n-p)(n-1) OP
And also + (p-m) (n – 1)) OQ
-
Q = 0.
O Ö Qz Qs
7m,”, - mºve
Similarly,
OR = mºm, (n, - º: t: (m, - m.) 6 2
21 v2 3 vs.
gives *(n-1)
m + n(n-3)
–2 1 • *;III-3-y;
a (n-1)n
. … -- “-
9 = n. L2.
and Blſ–BC-MC-ma-..."gg.
- m –1
Again, FE-FA +4E=#3 (ma-(m-2)6].
26 QUATERNIONS. [CHAP. II.
And EL = a FE, compared with
EL = CL–CE=ya – 3,
-
gives 9 __ ºn
* m_2?
BL = (y1 m) a = nº º Ol.
m– 1
and BN = m-n (ma + m3).
BL =#5 BD;
... CL : CD :: BL : BD,
and BL is cut harmonically.
sides intersect in 0,
then HA =b9–ba cos C,
\ K
and
co-º-asso). (a-bºos.
3". Let perpendiculars from D and E (Ex. 4, Art. 7) meet
in X,
then DX is a multiple of H.A.
... CX = CD + DX = CE + EX gives
_b– a cos C
T 2 sin” O’ ”
14. The vector to the mean point of any polygon is the mean
of the vectors to the angles of the polygon.
28 QUATERNIONS. [CHAP. II.
1". Let 0 be any point; then in the figure of Ex. 4, Art. 7
we have, calling 0A, a, OB, 8 and OC, y,
OG = a + AG = 8 + BG = y + CG
-(+5+)+(46. ngºco)
1
= (a+3+3);
because Ag+ H6+cc- (AD+ he cr)
{(AB+AC) + (BA + BC) + (CA + CB)}
:
2". If OA, OB, OC, OD be a, B, y, 8, in the figure of Ex. 7,
Art. 7, we have
- aca + y&,
= p.
Or (m+ n) t—mp—no = 0,
AB " Ao ‘ BC, ~ *
16. ABCD is a parallelogram; E, the point of bisection of
AB; prove that AC, DE being joined will trisect each other.
17. ABCD is a parallelogram; PQ any line parallel to DC;
PD, QC meet in S, PA, QB in R; prove that AD is parallel to
R.S.
CHAPTER III.
and i the vector operated on, a similar left-handed turn will bring
* down from the plane of acy. In fact j = k, ji = -k, and so
{j=-ji.
19. We go on to obtain one or two results of the application
of the associative law.
or ** = — 1.
Our first result is that the square of the unit vector along Oa.
is – l ; and as Oa, may have any direction whatever, we have, gene
rally, the square of a unit vector = — 1. In other words, the
repetition of the operation of turning through a right angle reverses
a vector.
squares of its distances from the middle points of the sides by the
sum of the squares of half the sides.
Retaining the notation of the last example, and the figure of
Ex. 4, Art. 7,
1
oD=3(8+7), or-6-2). or- (a + 8);
= 3°4-(y – a)”
= a + 3 + y”–2Say;
therefore the former sum exceeds the latter by
a” +8°,+ y”–2Sag – 2S8) + 2Say
= (a+ y–B)” -
a+y 6\”
=4(*.*- #)
= 4 (09–OP)*
= 4PQ”.
Therefore as lines the same is true.
... PG = QG = RG ;
and G is the mean point of the equilateral triangle PQR.
Ex. 11. In any quadrilateral prism, the sum
of the squares of the edges exceeds the sum of the s|U
squares of the diagonals by eight times the square
of the straight line which joins the points of inter
section of the two pairs of diagonals. B Al
Let OA = a, OB = B, OC = y, OD=8; JZ
C
sum of squares of edges =
2 {a” + 6°4 (y—a) + (y – 3) # 23°)
= 2 (24°4-28°4-2)”.4-28°–2Say–2S3)},
44 QUATERNIONS. [CHAP. III.
sum of squares of diagonals
=(6+ y)* +(8–7) + (6+ a -8)”-- (8+ 8- a)
= 2 (a” +8°,+y+28°–2Sağ).
- 1 1
Also 2 OG = 2 (8+y)
=}6+2+5),
hence vector which joins the points of intersection of diagonals
I
- 2 (a + 8–y),
eight times square of this vector
= 2 (a” + 3 + y^+2Sağ–2Say–2S3)),
which, added to the sum of the squares of the diagonals, makes up
the sum of the squares of the edges.
COR -
É--8.0y 22)
0. -
(as we have now called the corresponding unit vector); with this
difference only, that whereas – k or e as an operator would turn a
through a right angle, cos 0+ e sin 6 turns it, in the same direction,
only through the angle 6: cos 0+ e sin 6 is then the versor through
the angle 6.
2. If a, B are not unit vectors, the considerations already
advanced render it evident that
B T3
O. =# (cos 0+ sin 6)
J. Ol
-
‘. . =– a, or aT'-- a ;
O.
; .. q = 1 (Def extended).
Now B–,
... = q :.
= qa, by operating on a.
48 QUATERNIONS. [CHAP. III.
a 1
Also — - —
8 gº -
O = ; |3, by operating on 8,
I
and £-wa-a-;6;
1 1
... q
g. Q = 1 = Q
−. Q,
then must
cº-ºwing:
factors which are from their very nature commutative.
When the versors are not units the tensors can be introduced
as mere multipliers without affecting the versor conclusions.
= cos 0+ e sin 6,
= cos (p + e sin #,
. =cos(94%)+, sin(0+3)
ART. 29.] veCTOR MULTIPLICATION AND DIVISION. 49
Y
Á B.
But
O.
:-º-º-º-º:
But B = cos q + e sin ºp,
y
,-coº--sing:
.*.
a
—
a B QºlveS
= −. -
.
yTB y * -
cos (0–3)—e sin (0–$) = (cos 0–e sin 6) (cos $4 e sin b),
whence sin (0–$)=sin 6 cos 4 – cos 6 sin b,
cos (0–$)=cos 6 cos q + sin 6 sin ºb.
Ex. 2. To find the cosine of the angle of a spherical triangle
in terms of the sides.
Let a, 8, y be unit vectors OA, OB, 00 not in the same .
plane, then
A.
B_3, a
y T a y’ C
i.e. taking the scalars of each side, -
cºa-cººrs.(ºr). 0 B
24, 29 2%
‘. ." . et a = e− 8 = y,
2, 24, 20 2.
and e" . e." .. et a = sº y = a,
2, 24, 20
so that e" .. et . e." = 1,
Or
*****) = 1 (27.2).
ۼr
We h
have CO b” 2.
OF Taº-lºbe
l
allSO 40
BD Ta’ be
+ be .*
.401
BD + HQ 100 º'+'t
BK. "CF Ta' Ibobe 1*
52 QUATERNIONS. [CHAP. III.
Ex. 5. If ABCD be a quadrilateral inscribed in a circle ;
AB = a, BC = 8, CD = y, DA = 3;
Ta T3T.
then - - affy - *#17 8.
Let unit vectors along AB, BC, CD, DA be aſ, 3', y', 8' ; and
let the exterior angles at B and D be 0 and q respectively; then
a'8'y' = (–cos 0+ e sin 6) y' (21. 1)
= (cos q + e sin (b) Y.
= 8 (25. 1);
therefore, introducing the tensors,
ſ Ta T3T.
afty - ** 8.
Conjugate Quaternions.
30. If we designate by q the expression – cos 0+ e sin 6, we
have seen that it may be regarded as a versor through an angle 6
in a certain direction. Now if we write – 6 in place of 6 in this
expression it assumes the form – cos 0– e sin 6, which must on
the same hypotheses be regarded a versor through the angle 6 in
the contrary direction.
When the quaternion is completed by the introduction of a
tensor TQ, if we retain the same tensor to both forms of the
versor, we have Sir W. Hamilton's conjugate quaternion defined
thus: The conjugate of a quaternion q, written Kq, has the same
tensor, plane and angle as q has, only the angle is taken in the
reverse way. -
If we put q = Sq + Va,
we shall have Kq = Sq – Va,
and * q}{q = (Sq)*4. (TV)*,
for (VQ) =–(TV), Art. 20.
It is almost self-evident that, since the change of order of
multiplication of two vectors produces no other change than that
of the sign of the vector part of the product (22),
K (qr) = Krka,
q and r occurring in a changed order.
The following is a demonstration.
I,et q = T4 (– cos 0 + a sin 6),
T = Tr(– cos q + 3 sin $), -
gives p = a + æð (1)
as the equation of the line.
2. Another form in which the equation of a straight line
may be expressed is this : let OA = a, OB = B be the vectors to
two given points in the line; then
AB = 8 – a and AP = a (8– a);
‘. p = a + æ (8 – a) (2).
Of course the 8 of No. 2 is not that of No. 1. The first form
of the equation supposes the direction of the line and the position
of one point in it to be given, the second form supposes two points
in it to be given.
3. A third form may be exhibited in which the perpendicular
on the line from the origin is given.
ART. 34.] THE STRAIGHT LINE AND PLANE. 59
-
or St.Ö - 1.
CoR. 1. If Söp=C be the equation of a plane, 8 is a vector
in the direction perpendicular to the plane.
CoR. 2. If the plane pass through 0, p can have the value zero,
... Söp = 0 is the equation.
CoR. 3. Since a vector can be drawn in the plane through D,
parallel to any given vector in or parallel to the plane; if & be
any vector in or parallel to the plane, Sö8 = 0.
34. We proceed to exhibit certain modifications of the equa
tions of a straight line and plane, and one or two results imme
diately deducible from the forms of those equations.
1. To find the equation of a straight line which is perpen
dicular to each of two given straight lines.
Let 3, y be vectors from a given point A in the required line,
and parallel respectively to the given lines.
60 QUATERNIONS. [CHAP. Iv.
If 0A = a as before, then since (22.8) V8) is a vector along
the line whose equation is required; we have
p—a = a V8),
or p = a + æV8),
as the equation of the line.
2. To find the length of the perpendicular from the origin on
a given line.
Equation (1) of Art. 32 is
p = a + æð.
If now p = 0D = 3;
we get Sö” = Söa,
Or – OD*= Sôa ;
Sög
e - oD=-º,--Savà,
Uö being the unit vector perpendicular to the line.
CoR. The same result is true of a plane.
3. To find the length of the perpendicular from a given point
on a given plane.
Let Sap = C be the equation of the plane, y the vector to the
given point.
Then if the vector perpendicular be aca (33. Cor. 1),
p = y + aca
gives Say + aca” = C,
and the vector perpendicular is
aca = — a T' (C–Say) ;
the square of which with a — sign is the square of the perpendi
cular.
... 2p = 28 + yy;
hence, since aff-0, Say = 0,
Sap = 0 is the equation required; and the locus is a plane passing
through 0 (33. Cor. 2), and perpendicular to OA (33. Cor. 1).
Note that, if 8 || y, we have simply
2p = a-'8;
and, as there is now but one scalar indeterminate, the locus is a
straight line instead of a plane.
Ex. 2. Planes cut off, from the three rectangular co-ordinate
axes, pyramids of equal volume, to find the locus of the feet of per
pendiculars on them from the origin.
Here the axes are given, so that i, j, k are known unit vectors.
Let ai, bj, ch be the portions cut off from the axes by a plane,
the perpendicular on which from the origin is p.
Then p – at is perpendicular to p;
... Sp (p-ai) = 0,
or p = a Sip.
Similarly, p” = b,Sjp,
p” = c Skp.
Hence p" = abc Sip Sjp Skp
= 0 Sip Sjp Skp,
since abc is by the problem constant.
If a, y, z be the co-ordinates of p this equation gives at once
(cº 4-y” + 2*) = Cayz
as the equation required.
ART. 35.] THE STRAIGHT LINE AND PLANE. 65
, , , , /0 f
p-mara (.8-mº);
... m. – acm = m/– a 'm',
r
ac QC
m m'’
777,
ac = r
777, -H 7n,
m”
T m” + a '
Oz,
1 – a = 770,"
− +=Cº. ,
777,
and p= m” Ta, (aa- C3),
(S3)) – 1 °
_2(Syp + SBySB)
(S3))” – 1
Now (2) gives, by squaring,
–4c = 4a" + æð*4-y”y” – 2ayS8),
in which, if the values of a; and y just obtained be substituted,
there results an equation of the second order in p.
Hence the locus required is a plane curve of the second order,
or a conic section, which by the very nature of the problem must
be finite in extent and therefore an ellipse.
Ex. 8. If a plane be drawn through the points of bisection of
two opposite edges of a tetrahedron it will bisect the tetrahedron.
Let D, E be the middle points of OB,
AC: DFEG the cutting plane: 0A, OB, C
OC = a, B, y respectively.
OG = my, AF = n (8–0). F.
1
op=38,
OG = my,
OF = a + n (8–0);
and 6 times the volume cut off
I
2 S. ay8
ſ
ART. 37.] THE CIRCLE AND SPHERE, 75
2S (a — y) p = a”— cº-pº-r",
which is satisfied by the second: hence the three loci meet in a
point. -
76 QUATERNIONS. [CHAP. v.
Ex. 8. To find the equation of the cissoid.
AQ is a chord in a circle whose diameter is AB, QN perpen
dicular to AB.
AM is taken equal to BMW, and MP is drawn perpendicular
to AB to meet AQ in P; the locus of P is the cissoid.
Let vector AP = T, AC = a, AM = 'ya, AQ= actr;
then y : 1 :: 2–y : a, by the construction;
. .. 2
..". 3/ = 1 +2 -
= ya + y ;
hence ( *:::) sº = 2,
+
9
7r
A.
O.
V1 + æ"
cos 0--, -,
J1 + 2*
p = — sin 6 (a sin 6 + 3 cos 0),
whence Tp(= r) = sin 6,
a circle of which the diameter is a unit parallel to a and the
origin a point in the circumference; and 8 a tangent vector at
the origin.
Otherwise, Sap = II º'
ac
S8P = I.;
... (Sap) + (S8p)* = Sap,
or — p"= Sap.
78 QUATERNIONS. [CHAP. V.
Or, again, p' - a + æð;
whence Sap-' = –1,
or V8 (p-'—a)=0,
-1 —
or U. º;" = 1, -
Now the equation shews (22. 7) that the former of these lines
is perpendicular to the latter.
As the points of section approach one another, the tangent
approaches the secant, and the bisecting line approaches the radius
to the point of contact: therefore the radius to the point of
contact is perpendicular to the tangent.
39. From a point without a circle two tangents are drawn
to the circle, to find the equation of the chord of contact.
Let 3 be the vector to the given
point,
Stro = — a”
ºr - ^–s
the equation of a tangent ; then since j/SEN
it passes through the given point /2-,
SGp = — a”.
Now this equation is satisfied for both points of contact, and
since it is the equation of a straight line (32. 3) it must be satis
fied for every point in the straight line which passes through those
points: it is therefore the equation of the chord of contact. To
80 QUATERNIONS. [CHAP. V.
avoid the appearance of limiting p to a point in the circle, we may
write or in place of p; and the equation of the chord of contact
becomes
S8or = — a”.
ExAMPLEs.
(pp)*–2p Sap = c – a”
is the equation of the circle;
i. e. p + 2pSap + c – a” = 0,
ART. 40.] THE CIRCLE AND SPHERE. 81
.. 1 + 1 2Sap
OF OT-Tº-º: 0
But go = OS = ON + NS,
Saqp = SaôN;
i.e. q Sap = Sa (00 – NC)
= 0 °– SaNC
= – c’-- a” (39);
2 2
hence OST a
2Sap
* T Tai
__l + 1
- OK; T OT”
P -
OR = erº-gºne -
Hence (Say–Sağ)0P+(Sag–S3) 09
+ (S3) — Say) OR = 0,
whilst (Say Sağ) +(Sağ– S3)) +(SBy— Say) = 0.
-
=Sap+}(-wºº) by (2);
... y(–b’--cº) = 2Sop-2Sap
= 2S(OP—a)p
=– a” +b" by (3),
i.e. y is independent of p and r ; or R is the same point for
every circle:
also or (6'-6")4-(º-a').3
c”—b" 2
ExAMPLEs.
p” – 2Sap = C,
p°–2Sap = 0";
ART. 42.] THE CIRCLE AND SPHERE. 85:
... 2S (a' — a) p = C-C",
a plane perpendicular to the line of which the vector is a - a,
i. e. to the line which joins the centres of the two circles.
Hence, by Ex. 1, the curve of intersection is a circle.
Ex. 3. To find the locus of the feet of perpendiculars from the
origin on planes which pass through a given point.
Let a be the vector to the point, 8 perpendicular on a plane
through it ; then -
Sö (p – a) = 0 -
is the equation of that plane; therefore for the foot of the per-,
pendicular - * -,
S(8*— aô) = 0;
Or 8” – Saõ = 0
=– a” (r—a)”.
86 QUATERNIONS. [CHAP. v.
Ex. 5. If the points from which tangent planes are drawn to
a sphere lie always in a straight line, prove that the planes of sec
tion all pass through a given point.
Let CE be perpendicular to the line in which the point B
lies (41), see fig. of Art. 39,
CE = c, vector CE = 3;
then S38 =– c’
is the equation of the line.
But S80 =– a”
is the plane of contact, which is therefore satisfied by
or = +8
c” y
OG = : CE,
or C.E. CG = a”.
2S (8–7) p = c-b,
ART. 42.] THE CIRCUS AND SPHERE. 87
which, being the third equation, proves that the same value of p
satisfies it also. The three planes consequently all pass through
the same straight line.
Ex. 7. To find the locus of a point, the sum of the squares
of whose distances from a number of given points has a given
value.
'Let p denote the sought point; • B, ... the given ones; then
(p-a)* + (p-A)* + &c. = X(p—a)*=–C.
If there be n given points; this is
np” – 2S. pSa + Xa”= — C,
2 2
1. If two circles cut one another, and from one of the points
of section diameters be drawn to both circles, their other extre
mities and the other point of section will be in a straight line.
88 QUATERNIONS. [CHAP. v.
2. If a chord be drawn parallel to the diameter of a circle,
the radii to the points where it meets the circle make equal angles
with the diameter. * -
THE ELLIPSE.
- e
i. e. SA =1. SD,
2e
•. AA’ = SD,
1 — e”
1—e
= ae,
1. 4 (p + o-) = $p + bor.
2. pap = acqp.
a*Soro + Sao Sa -
a sº--º -
= Spºor.
They need no other demonstration than what results from
simple inspection of the value of $p
- a"p + a Sap
Ta' (I-2)
45. To find the equation of the tangent to the ellipse.
The tangent is defined to be the limit to which the secant
approaches as the points of section approach each other.
Let CP = p, CQ = p, then
vector PQ = C(Q — CP=p' - p = 8 say;
£ is therefore a vector along the secant.
Now Sp'ºp' - S(p + 8) 4 (p + 8)
= S(p + 8) (pp + $6) (44. 1)
= Spºp + Sp$8+S3%p+S348.
ART. 46.] .THE ELLIPSE, 93
(44. CoR. 2. =
3) Spºt The
1. equation of the tangent may also be written
r -
%ci yj
TTVº 5* 2
94 QUATERNIONS. [CHAP. VI.
where b’= a” (1 – e”);
and Sºo--sº-w)(;+%
ac" ºy”
=;+%;
a." 2
‘’’ as +%=1
is the Cartesian interpretation of Spºp=1.
Again, if a.', y' be the co-ordinates of T a point in the tangent,
tr = a-'i + yj,
and Sºo--swi-vº (;+%
acc/ f
= +%;
... * , My
... ; +} = 1
is the equation of the tangent.
47. The values of p and hp exhibited in the last Article,
viz. -
#)
iSip
-(ºr º),
ART. 48.] THE ELLIPSE. 95
we shall have
'a-º,--(*
!"p = }} - (. #) + b”
= - $p..................................... (4),
WT'p = -(ai Sip + by Sjp), &c.
p = }"|p
= -(aiSilp + by Sjſp).................... (5).
It is evident that the properties of bp (Art. 44) are applicable
to all these functions.
Now Spºp = 1
gives Sp! (!!p)=–1.
But since "Spha = Sailp,
this becomes Shpilip =–1,
Ol' Tºp = 1;
which shews 1. that p is a unit vector; 2. that the equation of
the ellipse may be expressed in the form of the equation of a
circle, the vector which represents the radius being itself of vari
able length, deformed by the function iſ.
Lastly, Saq6 = 0
gives Sail"B = Slalºg = 0;
therefore ſa, ºff are vectors at right angles to one another.
Now
(#)-(#)-1,
the equation of the ellipse referred to conjugate diameters.
7. a = |*||a = -(aiSila + bi Sja)
g = |*||3=-(aiSig 4-bjSjpg);
... Waff = ab Wij (Sipa Sjºg — SiſºSjpa).
ART. 50.] • THE ELLIPSE, 99
50. ExAMPLEs.
Ex. 1. To find the length of the perpendicular from the centre
on the tangent.
Let CY the perpendicular, which (Art. 45. Cor. 1) is a vector
along #p, be 24p; then since Y is a point in the tangent,
Strºhp = 1 gives Sacºpºp = 1,
or a (pp)*=1;
... (cºp)” (pp)*= 1,
1
d CY” – T * = T'--
1
==7
-i + #3
(10).
a" b
7–2
100 QUATERNIONS. [CHAP. VI.
Ex. 2. The product of the perpendiculars from the foci on the
tangent is equal to the square of the semi-azis minor.
We have SY the vector perpendicular = wºp, and as Y is a
point in the tangent, and
CY = a + acqp,
S (a + æſhp) bp = 1,
2 (ºp) = 1 - Saºp,
SY = Tacqp 1 – Saqip
ºp = T-ºff.
ºp
- a Sºap – a”
... (hp) Twº Iº) '
1 -s (sº-ºººº.
a"
an ellipse.
Ex. 5. TQ, TR are two tangents to an ellipse, and CQ, CR'
are drawn to the ellipse parallel respectively to TQ, TR, prove
º that Q'R' is parallel to QR. -
Let CQ = p, CR = p, CT= a, …”
Sp'qa = 1.
Now since CQ" is parallel to TQ,
CQ = 279-2 (p-a).
102 QUATERNIONS. [CHAP. VI.
Similarly CR = y (p’—a),
and S. CQ'ºh (CQ) = 1
gives 2'S (p-a) + (p-a) = },
i.e. a' (Saqa – 1) = 1,
and y” (Saba – 1) = 1 ;
..". 3) = 2,
and Q'R' = CR'—CQ'= a (p’—p)
= 20R;
hence Q'R' is parallel to QR.
CoR. QR" : QR* : * : 1
:: 1 : Saqba – 1
--
: 1 ,: a." y”
; +;-1,
where 2, y are the co-ordinates of T.
– a 'S
If *-*.* e - - - - - (2),
to which the properties of $p in
Art. 44 evidently apply,
the equation becomes
Sp(#p + 2a")=1...........................(3).
If p be another point in the parabola, pſ-p-8, the limit to
which 8 approaches is a vector along the tangent; so that if
ag- it — p, tr. is the vector to a point in the tangent; this gives
S(r-p)(#p + at')=0 ....................... (4);
106 QUATERNIONS. [CHAP. VI.
hence the equation of the tangent becomes
Sir (bp + a ") + Sa'p = 1 ..................... (5).
From (2) it is evident that
Sağp=0 .............................. (6),
so that bp is a vector perpendicular to the axis.
From the same equation
2 -2
Sºo-º-º: 0.
2
_(p – a 'Sap)"
-—º-
= a (hp)"............................ (7).
From (4) the normal vector is
$p + at .............................. (8);
therefore the equation of the normal is
or= p + w($p + at').......................... (9).
Equation (2) when exhibited as
a'qip = p – a 'Sap,
reads by (6), “vector along NP=SP–vector along AN’, which
requires that NP=a^bp ............................ ...(10),
SN= a T'Sap;
i.e. = aSa'p ........................... (11).
For the subtangent AT, put wa for r in (5), and there results
by (6)
a;+ Sa-'p = 1,
I I
whence (* } a=ga-
- a"p;
i. e. NG = — SD,
or line NG = SD,
whence the subnormal is constant.
And vector GP= — y (ºp + a ') = a” (#p 4 o');
... vector SQ = SD + DQ
= SD + WP
= a + adºp
= GP,
and SQGP is a rhombus.
Sa'p=-ji, -
aT'Sap = 2i,
‘bp = — #:
and equation (3) becomes
y” at
4a” a
or y”= 4a (a + 2)
= 4aac' if ac' - AN.
54. ExAMPLES.
Ex. 1. If two chords be drawn always parallel to given lines,
and cut one another at points either within or without the parabola,
ART. 54.] THE PARABOLA AND HYPERBOLA. 109
in which case $p is a”
5
1 1
and, OP. Op : 00.04 :: sin”6 sin”6' "
**** (1).
For the particular case in which the diameter in question is the
axis, and the tangent at its extremity parallel to the directrix
3/
p=#; a +y} - - - - - - - - - - - - - - - - - - - - - - - - - - (2),
where a is AS (Art. 52).
This is the most convenient form when the focus is referred
to.
p' = ; a + '8;
•". º'-p-(e-) ( t’ + t
2 *5).
ART. 55.] THE PARABOLA AND HYPERBOLA. 113
or yy' = (4a)”;
therefore also aca' = (4a)”.
Ex. 2. If the rectangle of which AP, AQ are the sides be
completed, the further angle will trace out a parabola similar to
the given parabola, the distance between the two vertices being equal
to twice the latus rectum.
p = AP + AQ
y” + y” /
TT4a a + (y – y ) {3
— ar'Y”
gº a + (y – y) {3+ 8aa.
Ex. 3. The circle described on a focal chord as diameter touches
the directria: ; and the circle described on any other chord does
not reach the directria.
T. Q. 8
114 QUATERNIONS. [CH. VII.
Let PQ be any chord, centre 0,
- - y” - y” z
( _*). (**)
or p”—S(AP+ AQ) p + S(AP. AQ) = 0.
At the points in which this circle meets the directrix
p = — aa + 28;
/\2 / 2
or - ---0-9)→ *--(; ; ).
This equation is possible only when
3/y'+ 4a” = 0;
i.e. when the chord is a focal chord. -
In this case the two values of z are equal, each being sy +y'.
2 2
Now since p, p' are in the same straight line when the common
chord is the focal chord, we have
p' =pp;
2'-º'--~...”
a -ia--pati, ,
w = py,
... (yy'— 4aa') (a'y + ay') = 0.
Taking the former factor, we must have y, y' on the same
side of the axis with a constant product; therefore
SP. SP’ = SQ.. SQ'.
The second factor gives SP : SQ' a constant ratio a a'.
Lastly, by Equation (4), the tangent vectors at P and P' are
parallel to
y _ !/
; a +8, # a +8.
Now s(#219)(
y # * *6)=#.
__y – º – 11–0.
=0;
oA-a+15+*@*#)
= y00
=y (,* a +, te)
,
;
t” /2
•". 34 tº - 3%
t + æ = t'y,
t”
3/= 2.7L ſº
#2 t”
and 04-#" (ºf) f
** t’
= 2. Tº (2-6).
Similarly if the tangent at Q meets P0 in B,
t” /t
on-gº, (a +6).
If the tangent at 0 meets PQ in C,
OC = OP+ 2 (PQ)
= OP+ 2 (00–012)
t” t” — tº p
– a tº 1-4 2 a (-08}.
Eut 00 = w8;
2 p2 2
‘. . . .';*-0.
t + 2 (t’—t) = v,
Q)
__tt'
T t + tº ’
ART. 55.] THE PARABOLA AND HYPERBOLA. 117
tº'
and 00-fig6.
2t – t'
Now +, −04– 26'- t t” — tº
t’ OB — tt' 00–0,
26 — ?' 2" – t tº — ?”
and also +++ ------0;
therefore (Art. 13) A, B, C are in a straight line.
2. The ellipse. If a, B are unit vectors along the axes, the
equation of the ellipse may be written
- p = 2a+ y&
5*
where y” = a” (a”—a.") = m (a’—a");
since sy–º = 0.
If a, 3 be not both units we may write the equation under
the simpler form
B
p=ta +; - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - (1).
To find the equation of the tangent, we have as usual a vector
parallel to the secant
(-É)
=p' - p = (t’—t)
t’— t
-(#)(x-5),
and a vector parallel to the tangent will be -
to — • - - - - - - - - - - - - - - - - - - - - - - - - - - - - - (2).
ART. 55.] THE PARABOLA AND HYPERBOLA. 119
ta + H,
B &a — B y
t t
ExAMPLEs.
ta-, ;
... CQ = CM + VQ = X (**) Y(x-3). +
cq=Tar #:
120 QUATERNIONS. [CH. VII.
... (X+ Y) t = T,
1 1
(X — Y) * = 7”
and - A*– Yº - 1,
an equation which gives two equal values of Y with opposite
signs, for every value of X.
Hence all chords are bisected.
CoR. X*— Y’= 1 is
%) T (#)
Q V. '-1
CP) – 12
CD being ta-É-Po.
This is the ordinary equation of the hyperbola referred to
conjugate diameters.
Ex. 3. If TQ, T'Q' be two tangents to the hyperbola intersect
ing in R and terminated at T, T', Q, Q by the asymptotes; then
(1) TQ' is parallel to T'Q; (2) area of triangle TRT" = area of
triangle QRQ', and (3) CR bisects TQ' and 7"Q.
The equation of the tangent
--tº
t
a (a-É),
t
gives
CT= 2ta,
(the coefficient of 8 being 0),
co-º,
CT" = 2t'a,
2
CQ’ = # ;
, 2, ...,
QT'-' (au-B);
therefore Q'T' is parallel to QT'.
ART. 55.] THE PARABOLA AND HYPERBOLA. 121
Again, CR = CQ + QR = CQ + æ (CT-CQ)
28 B
-** 2(t–?).
Also cº-º; + ac'2 (*-ī);
... act = a 't',
l_ a 1 a."
* T : - ;T : .
z---
T t + tº ”
-
2–––.
T t + º' '
- # (2.1%),
tº + t t
cp-arº;
00-m (2-3);
... Co-CV4 Vo
-x(, ) r(s-É). +
122 - QUATERNIONS. [CH. VII.
co-x(, ;) — Y (*-ī),
ce-Cr-r)!},
cF-É, t
co-Crºr)?,
and CE. CG = CF’;
because X*— Y’= 1 (Ex. 2).
Ex. 5. If a chord of a hyperbola be one diagonal of a
parallelogram whose sides are parallel to the asymptotes, the other
diagonal passes through the centre.
Let the chord be PQ ; p, p' the vectors to P and Q; then
op-e-º-º-º- (*#).
Now when one diagonal of a parallelogram is ma + m3, the
other will be ma— m/3.
Therefore in the case before us, the other diagonal is
•G-0–6(;-)
= (t-t') (*#)
-#24 ºr 6 (; +})}
t–t'
=;I, (p+ p^.
And it is therefore in the same straight line with the line
which joins the centre of the hyperbola with the middle point
of PQ; whence the truth of the proposition.
ART. 55.] THE PARABOLA AND HYPERBOLA. 123
cT-atºr, (at-É)
-*****(*-É),
gives t + act = t + æſt',
1 a 1 aſ
* T :T : T7
— t
w = | ri--2.
Similarly cr-at- + 3/ at-É)
--at-É-y(at-É).
gives t 4 yt = — tº — y't',
1 y 1 , y'
* ~ * *- : * * *
t’ + t
h
Winence 3/ = t’. — t = — m/
Now 2 : y :: æ' : y’
gives PT : QT :: PT : QT'
:: O D : CD'.
And ay = 1
gives P77. PT = O’Dº.
CoR. a: y = 1,
gives QT. QT = CD".
124 QUATERNIONS. [CH. VII.
Ex. 7. Straight lines move so that the triangular area which
they cut off from two given straight lines which meet one another
is constant: to find the locus of their ultimate intersections.
Let OAA’, O.BB' be the fixed lines, AB, A'B' two of the moving
lines with the condition that
OA. OB = OA'. OB'.
- (-). QM,
-s:(e.”
a \ a .*).
*2 Cº.
b C
—iºr.
-(?,*.**)
a” b” c”
= – ºpp.
4'o-ºp = ;S,º .*
Sh sºp
+ kSk
__/iSip +*#
--(. *) .............
, jSjp +---) * * * * * ** (6),
64. ExAMPLEs.
* – ? – ?–1 –
a T b T c” Tp T.J., IWI. '
Ex. 2. To find the perpendicular from the centre of the
ellipsoid on a tangent plane. -
We have
-(sº: ..º.º.
T5.
a.
(63. 3);
ART. 64.] CENTRAL SURFACES OF THE SECOND ORDER. 137
1__(Si6)' ... (Sj}) , (Sk8)" ;
Oy, -
a” + b° + C*
1
Oy,”
(St)'
a"
.(Si)'
b”
, (Sky)
cº
. 2
wº-oº-º-;ſº
| | | | | – | ſes.” +(Si3)
...saw +(sº
.. (s.a. sº.
1 1 1
= z* * 5 * * (Ex. 7).
Ex. 9. If through a fixed point within an ellipsoid three
chords be drawn mutually at right angles, the sum of the recipro
cals of the products of their segments will be constant.
Let 6 be the vector to the given point; a, 8, y unit vectors
parallel to three chords at right angles to each other.
Then 6 + æa = p gives
S (6+2a) q (9.4-aca) = 1
a quadratic equation in a, the product of whose roots is
S646 – 1.
Saqa '
... the product of the reciprocals of the segments of the chord is
1 Sadha 1 .
a law,a TS939–1 (Ta)”
and the sum of the reciprocals of the products of the segments is
1 {; .#.;}
S959–1 \(Tay" (TB)'' (T)))'
*_\2 * \2 2
1 1 1 1
"sº-i(; +; + ...) (31. Cor.).
whence
Sap + SağSBp _S8p +SağSap
* (IEe)(sagii)' "Te (Sog-1)
which values being substituted in equation (1) give the required
equation, viz.:
(Sap+Sa£SB),
(1 —e)”
(SBP-Saſsap)"
e”
Saff
= "(S*ag – 1)".
But p is subject to the additional condition (31. 2. Cor. 2)
S.a6p = 0; and the locus is a plane ellipse.
When the given straight lines are at right angles to one
another, the equation is much simplified, for
Sağ = 0;
and our equations are
a’t y' = 1°,
Sap = -(1-e) a, SBp = – ey;
whence (1(Sap)"
- e)” +
(S80)”
e” -
y,
! y
= — b|3°, by (1),
= S3p, by (4),
=p', by (2);
i. e. OB. OD = OA”,
and the triangles OAB, OAD are similar, or AD cuts 0A at the
same angle that AB cuts O.B.
66. If ‘bp = 2a"p + aSBp + 8Sap,
the equation of the cone is reduced to
Sp$p = 0.
ART. 67] CENTRAL SURFACES OF THE SECOND ORDER. 145
It is evident that all the properties of $p, Art. 44, are appli
cable here.
&
i.e. the square of the line perpendicular to the first plane from
the given point -
_/C-Söp)"
-
Let CA = a, CB = 8, CD = y;
CR = m/3, DP=m DA; C D
i.e. CP— y = m (a — y);
therefore RP=CP-CR = y + m (a – y)— m/3,
p = C(9= CR + pKP
= m/3+ p {y + m (a –Y)— m/3}
=aca + y& + 2y, say;
therefore a = pm, y = m-pm, z=p(1-m);
ac
therefore 7m = a +3/, ***Iy”
2= - ac,
a +y
or (a + 2) (a + y)= x,
the equation referred to oblique co-ordinates parallel to a, 8, y.
PASCAL's HEXAGRAM.
68. Let 0 be the origin, OA, OB, 00, OD, OE five given
vectors lying on the surface of a cone, and terminated in a plane
section of the cone ABCDEF, not passing through O'; OX any
vector lying on the same surface.
Let OA = a, OB = B, OC = y, OD =8, OE = e, OX=p.
The equation
S. V(Vag Vös) V (VByVep) V(V)3Voa)=0 ....... (1)
is the equation of a cone of the second order whose vertex is 0
and vector p along the surface. For
ART. 68] CENTRAL SURFACES OF THE SECOND ORDER. 149
1. It is a cone whose vertex is 0 because it is not altered
by writing ap for p. Also it is of the second order in p, since p
occurs in it twice and twice only.
P
2. All the vectors 0A, OB, OC, OD, OE lie on its surface.
This we shall prove by shewing that if p coincide with any
one of them the equation (1) is satisfied.
If p coincide with a, the last term of the left-hand side of the
equation, viz. Vpa, becomes Vaa = Wa’- 0, and the equation is
satisfied.
—º-
l+ l +! 3.
10. Find the equation of the cone which has its vertex in
a given point, and which touches and envelopes a given ellipsoid,
CHAPTER IX.
x (a'i + yj + zk)
x (a"i-y"; +2%). . .
9. We have, by (8),
V. a V8) =ySağ–8Say,
W. B.Vya = a&gy-ySağ,
W. Y Vag = 3Say – a S3);
therefore, by addition,
W. (a WBy + 3Wya + y Vag)=0 ............... (9).
10. V. affy = W. a (S3) + V8))
= aS8) + W. a V8),
which, by (8), = aSBy–BSay 4 ySağ............. (10).
Another proof of this important formula is found in the
identity
$65,176)--ſº-º-º-y)+;7(6-8),
which, by (4) and (6), is the theorem itself.
= SağSyö–SayS884-SaôS8) ..............(15).
16. S (Waſ Wyö)=S. (aft–Sag) (y&-Syö)
= S. affyö–SağSy8
= SaôS8y–SayS38, by (15).........(16).
17. S. affy} = S. (Vagy) 8
~ S. 8Wagy
= S. 8affy........................(17). . .
ART.70.] FoEMULE AND THEIR APPLICATION. 159
71. ExAMPLEs.
Ex. 1. To express the relation between the sides of a spherical
triangle and the angles opposite to them.
Retaining the notation and figure of Ex. 2, Art. 29, we shall
have
WagWBy=y sin c. a sin a,
where y, aſ are unit vectors perpendicular respectively to the
planes OAB, OBC.
Therefore V. Wag VBy = sinc sin a. 3 sin B.
Also –8S. a6.) = 3 sinc sin b, (31. 1),
where 4 is the angle between 00 and the plane OAB.
Now these results are equal (formula 11), therefore
sin # = sin a sin B.
160 QUATERNIONS. [CH. IX.
Similarly sin q = sin b sin A ;
therefore sin a sin B = sin b sin A,
Or sin a sin b :: sin A : sin B.
ai + of +2.3 = 1.
ART. 71.] FoRMULE AND THEIR APPLICATION. 161
Pa Pb ** – 1
T OA " OB " OC
162 - QUATERNIONS. - [CH. Ix.
CoR. 2. If P be outside both the planes OBC, OCA ; we
shall have
Pa Pb Pc
-oA - on too - 1.
Ex. 4. Any point Q is joined to the angular points A, B, C, 0
of a tetrahedron, and the joining lines, produced if necessary,
meet the opposite faces in a, b, c, o, to prove that . .
Qa , Qb Qc Qo
Aa " £5” &c." Öo
regard being had to the signs of Aa, Bb, &c., as in the last example.
Let QA = a, QB = {3, QC = y, Q0 = 8; Qa = aa, Qb =b9, Qc = cy,
Qo = d8 : then since a, b, c, o are points in the planes BCO, ACO,
ABO, ABC, we have, as in the last example,
a.S. a (3y + yò + 88) = S. Byö,
&c. &c.
cº, b
a Ty+ Hue O,
ART. 71.] FORMULE AND THEIR APPLICATION, 163
:*iv-, *, *-*.
i. e. ++++,+,+,+,+,-,
or 9° 1%.
Aa Bb
, 9°
CC
4.99
Oo
— 1.
Ex. 5. If two tetrahedra ABCD, A'B'C'D' are so situated tha;
the straight lines AA’, BB, CC, DD’ all meet in a point, the lines
of intersection of the planes of corresponding faces shall all lie in
the same plane.
Let A'A, B/B, CC, D'D meet in 0.
OA = a, OB = 3, OC = y, OD=8,
OA' = ma, OB = n/3, OC" =py, OD = q8.
The equation of the plane ABC is (34.5)
Sp(Wag + Vºy | Vya)=S. a6),
and that of A'B'C' becomes, after dividing both sides by mnp,
1 1 -- 1
Sp (; Wagº; WBy 4. Pya)=S. affy.
The vector line of intersection of the two planes is (34.9)
(-)-(–)-(-)º
that of ACD, A'C'D' is
1
q q m. m p
and that of BCD, B'C'D'
(-)5-(-)-(–):
Now to prove that any three of these lines lie in the same
plane, all that is necessary is to prove (31. 2. Cor. 2) that the
scalar of the product of their vectors equals 0.
If we take the vectors of the first three, we may write them
under the form
(-)
:-)(-)
(-)-(–
-(–)(-
)(-)-(–)(-;
-),
in which every term vanishes.
That again of S. Byö is
—bcb’ + cöb,
which is 0; and so of the rest.
Hence the intersections, two and two, of the first three pairs
of planes lie in the same plane; and the same may be proved in
like manner of any other three: whence the truth of the pro
position
Ex. 6. CP, CD are conjugate semi-diameters of an ellipse,
ART. 71.] FORMULE AND THEIR APPLICATION, 165
as also CP, CD'; PP, DD’ are joined; to prove that the area of
the triangle PCP equals that of the triangle DCD".
Let a, 3, aſ, 8' be the vectors CP, CD, CP, CD'; k a unit
vector perpendicular to the plane of the ellipse.
Since
Ex. 10. Given any three planes, and the direction of the vector
perpendicular to a fourth, to find its length so that they may meet
&n one point.
Let Sap = a, S3p = b, Syp = c be the three, and let 8 be the
vector perpendicular to the new plane. Then, if its equation be
Söp = d,
we must find the value of d that these four equations may all be
satisfied by one value of p.
168 QUATERNIONS. [CH. IX.
Formula (14) gives
pS. afty = Waff.Syp + WSySap + Vyasgp
= c Wag + a V8) + b Wya,
by the equations of the first three. Operate by S.8, and use the
fourth equation, and we have the required value
dS. afty = a S.By3+b.S. ya3+ c.S. agö.
Ex. 11. The sum of the (vector) areas of the faces of any
tetrahedron, and therefore of any polyhedron, is zero.
Take one corner as origin, and let a, 3, 'y be the vectors of
the other three. Then the vector areas of the three faces meeting
in the origin are
1 1 I
2 Waff, 2 V8), 2 Wya, respectively.
; FG%-6, -º),
which is obviously the sum of the three other vector-areas taken
negatively. Hence the proposition, which is an elementary one in
Hydrostatics.
Now any polyhedron may be cut up by planes into tetrahedra,
and the faces exposed by such treatment have vector-areas equal
and opposite in sign. Hence the extension.
Ex. 12. If the pressure be uniform throughout a fluid mass,
an immersed tetrahedron (and therefore any polyhedron) experiences
no couple tending to make it rotate.
This is supplementary to the last example. The pressures on
the faces are fully expressed by the vector areas above given, and
ART. 71.] FORMULAE AND THEIR APPLICATION. 169
Ex. 14. Find the surface traced out by a straight line which
remains always perpendicular to a given line while intersecting
each of two faced lines.
Let the equations of the fixed lines be
w = a + æg, ar, - a, + æ,8.
Then if p be the vector of the new line in any position
p = a + y (or, – ar)
=(1 —y) (a + æð) + y (a, + æ,6).
This is not, as yet, the equation required. For it involves
essentially three independent constants, a, a, y; and may there
fore in general be made to represent any point whatever of
infinite space. The reader may easily see this if he reflects that
two lines which are not parallel must appear, from every point of
space, to intersect one another. We have still to introduce the
condition that the new line is perpendicular to a fixed vector,
'y suppose, which gives
S.Y (ºr, – ar) = 0 = S.) [(a, - a) + æ,8, — aft].
This gives a, in terms of a, so that there are now but two
indeterminates in the equation for p, which therefore represents
a surface, which, it is not difficult to see, is one of the second
order.
172 QUATERNIONS. [CH. IX.
Ex. 15. Find the condition that the equation
S. pºpp = 1
may represent a surface of revolution.
The expression ºp here stands for something more general than
that employed in Chap. VIII. above, in fact it may be written
$p = a Sap + 8S3, p + y Sylp,
where a, a, B, 8, y, y, are any six vectors whatever. This will
be more carefully examined in the next chapter.
If the surface be one of revolution then, since it is central
and of the second degree, it is obvious that any sphere whose
centre is at the origin will cut it in two equal circles in planes
perpendicular to the axis, and that these will be equidistant from
the origin. Hence, if r be the radius of one of these circles, e the
vector to its centre, p the vector to any point in its circumference,
it is evident that we have the following equation
Spºp — 1 – C (p’--r")=(Sep)”—e",
where 0 and e are constants. This, being an identity, gives
1 — e” + Crº- 0
- Spºp–Cp*= º º
z-ſºº (escarás-ºs.ºrse)--.755,
Ex. 18. If Tp = Ta = T8 = 1, and S.a6p = 0, show that
s.vo-oº-º-º/º-sº
Interpret this theorem geometrically.
174 QUATERNIONS. [CH. IX.
We have, from the given equations, the following, which are
equivalent to them, -
p” = a” = 8* = –1
º
Hence – a '-y' + 2a:ySaff=-1,
-
U (p —
- – 1) a + y&
__J(2–1)-2(xy-y)Sağ-y”
(*-1)***
(p-a)
wo-3--tºº-ºº
(p-A) Jay-2 (gy-2) Sag + (y-1)”
S. U (p – a) U (p – 6)
- —a (2–1)+[æy + (2–1) (y-1)]Sağ-y(y – 1) -
a + y – 1 w/ 1 — Saff
- J2 1–2 (2 + y) + æ" + y^+2ay
--M. (1 — Sağ).
Of course there are far simpler solutions. Thus, for instance,
the given equations show that p, q, B are radii of some unit
circle. Hence the expression is the cosine of the supplement of
the angle between two chords of a circle drawn from the same
point in the circumference. This is obviously half the angle
ART. 71.] FoRMULE AND THEIR APPLICATION. 175
w/: (1 – Sağ).
Ex. 19. Find the relative position, at any instant, of two
points, which are moving wniformly in straight lines.
If a', 3’ be their vector velocities, t the time elapsed since
their vectors were a, B, their relative vector is
p = a + ta' – 8–t|3'
= (a – 8)+t (a' – 8'),
so that relatively to one another the motion is rectilinear, and
the vector velocity is
a'—B'.
To find the time at which the mutual distance is least.
Here we may write
p = y + t3,
To" = — yº–2tSy8–t'8"
-º-y-r(.º).
As the last term is positive, this is least when it vanishes,
i.e. when
t =–S.)8".
This gives p = y–8Sy8T'
= y VöT'y,
the vector perpendicular drawn to the relative path; as is, of
course, self-evident.
Ex. 20. Find the locus of a given point in a line of given
length, when the eatremities of the line move in circles in one plane.
(Watt's Parallel Motion.)
176 QUATERNIONS. [CH. Ix.
Let or and r be the vectors of the ends of the line, drawn
from the centres a, B of the circles. Then if p be the vector of
the required point
p = (a+ or) (1 – e) + e (8+7),
subject to the conditions
{a + o- (8+1)} = -lº,
Sya = 0, Syr- 0,
or” - - a’, T” =- b”.
Also - Sap T a”
S8p + zSağ
Sağ-28’’
ART. 71.] FoEMULAE AND THEIR APPLICATION. 177
Sap = 0. :º >
Sºo-yº,
whence i.
QC = 2 -
P=a. + 3 + æy,
i S(V8y Wya)=y"Sağ–S3ySya.
a'8')"—(Waffy)”—(Sağy)"
= a” (S8))”.4-6' (Sya)*4 y” (Sag)’ – (Sağy)"
–2SağSBySya.
ART. 71.] FORMULAE AND THEIR APPLICATION. 179
12–2
CHAPTER X.
$8 = 8') . -
by = y'
For aſ, B', y may of course be expressed in terms of a, 8, y:
and, as they are quite independent of one another, the nine co
efficients in the following equations may have absolutely any
values whatever; -
w
184 QUATERNIONS. [CHAP.
Hence we may write
(#4 #) p = 2*p ........................(i),
where the bar over ºf signifies that it is self-conjugate, and the
factor 2 is introduced for convenience.
From (g) and (i) we have
$p = ~p + Yip) ...................... ..(j).
$p = ~p – Vep
If instead of bp in any of the above investigations we write
(# 4 g) p, it is obvious that $p becomes (6'4 g) p : and the only
change in the coefficients in (a) and (f) is the addition of g to
each of the main series A, B, C. - -
p, $p, $ºp
(where $ºp is an abbreviation for q (bp) are not in one plane, then
any fourth vector such as ºp (a contraction for 4 ($ (pp))) can be
expressed in terms of them as in 31. 5.
Thus $ºp = m, hºp – m, hp 4 mp ..................(%),
where m, m, m, are scalars whose values will be found immedi
ately. That they are independent of p is obvious, for we may put
a, B, y in succession for p and thus obtain three equations of the
form
$"a = m, bºa — m, ſha + 'ma........ - - - -- - - - - - - (),
from which their values can be found. Conversely, if quantities
m, m, m, can be found which satisfy (l), we may reproduce (k) by
putting -
p = 2a+ y3+ 2y
and adding together the three expressions () multiplied by ar, y, z
respectively. For it is obvious from the expression for q that -
If p, qp, and pºp are in the same plane, then applying the
strain q again we find ºpp, qºp, q}"p in one plane; and thus equa
tion (k) holds for this case also. And it of course holds if bp is
parallel to p, for then pºp and pºp are also parallel to p.
We will prove that scalars can be found which satisfy the
three equations () (equivalent to nine scalar equations, of which,
however, six depend upon the other three) by actually determining
their values.
2 3
S. bNºbu by S. *pººp-, ...
- -
• * * * -- - - - (m),
S. Nºw T. S. pºpºp -
X = a,
n = S.
—u—badó (by = A, c, b’ y
S. opy
- - c', B, Q,
- - - - - - b, aſ, C
- *
186 QUATERNIONS. - [CHAP.
which is the expression for the ratio in which the volume of each
portion has been increased. This is unchanged by putting $' for
ºb, for it becomes, by (f),
m = | A, c', b
c, B, aſ
b', a, C
Recurring to (m) we may write it by (e) as
S. A$"Wippºv = mS. AVuv,
from which, as A is absolutely any vector, we have
Or
$’Wºpºv = ...}
$ Vºſpºv = m Wuyſ “”
(n)
º
S. Apºv
= 770 +
S. Aquqv + S. pubv$X + S. v.p.Adu.
9 S. Apºv
+ , S. Apºv + S. v\pp + S. pºvdA
9 S. Apºv
+g".............................................. (o),
and by (n) (4 +g) V ($' + g) p. ($' +g) v = M, . Wuv .........(p),
X.] VECTOR EQUATIONS OF THE FIRST DEGREE. 187
Or M, = m + p.g. + p.g"+g”
wº-ºº-ºº-yº”
From the latter of these equations it is obvious that
Wº'u v + Wuq'v
must be a linear and vector function of Wuy, since all the other
terms of the equation are such functions.
As practice in the use of these functions we will solve a
problem of a little greater generality. The vectors
Wuw, Vºu v, and Wuq'v
are not generally coplanar. In terms of these (31. 5), let us
express ºf Vuv.
Let $ Vuv = a-Wuv + y Vip'uv + 2 Vuq'v.
Operate by S.A, S.p., S. v successively, then
S. pºvº'A = a-S. Apºv 4 yS. vX$p + zS. Apºv,
S. pºvº'u = yS. vuò'u,
S. pivºv = zS. vuq'v.
The two last equations give (by 69.4)
Sy––1, z=-1,
and therefore the first gives
ac = S. pºv$'A + S. v\ºu + S. Apºv
S. Muv
= p, by (q).
Hence, finally,
$Wuv = p, Wuv – Wºu v — Wuſh'v............... (r).
Substituting this in (q), and putting or for Wuv, which is any
vector whatever, we have
($ 4-g)[mºb" +g (p,-4) + g’] g = (m+kg+p,g"+g") or,
or, multiplying out,
(m-gº" + p.g4–g'$ +gmº"+g'$ +g'u, +g") or
= (m+ pig + p.g"+g") or ;
188 - QUATERNIONS. - [CHAP.
that is (-$4 p.44 mº') g = p,q,
Or ($” pºp" + pº
- - m) or = 0.
Comparing this with (k) we see that
792 - S. Apºv + S. vXdu + S. pºvdA
a = Pºs = S. Apºv
• - - - - ....(s),
S. Aquidv + S. pºvěx + S. v$\bp.
l m, = p, -
- S. Apºv
and thus the determination is complete.
We may write (k), if we please, in the form
m$"p=m\p-m,ºp 4 $'p, ............... (k’),
which gives another, and more direct, solution of the equation
(above mentioned)
ºpo = 8.
Physically, the result we have arrived at is the solution of
the problem, “By adding together scalar multiples of any vector
of a body, of the corresponding vector of the same strained homo
geneously, and of that of the same twice over strained, to repre
sent the state of the body which would be produced by supposing
the strain to be reversed' or inverted.”
These properties of the function ºf are sufficient for many
or = hp,
and Tp = C,
from which we obtain -
T$-'or = C,
Or S. $"ord'or = — C*,
or, finally, S. orq-ºo: = — C*.
X.] vector EQUATIONS OF THE FIRST DEGREE. 180
This is the equation of a central surface of the second degree;
and, therefore, of course, from the nature of the problem, an
ellipsoid. -
p1;-(n-p) tº
| $*-m,5°4 mid-m -
% - 9,
The same result may more easily be obtained thus.
The expression -
($"—m,5° 4 m.p. – m) p = 0,
being true for all vectors whatever, may be written j
Tºp = To }
()
Spg=S. $ppoſ “V”
i.e. the lengths of vectors, and their inclinations to one another,
are unaltered. In this case, therefore, the strain can be nothing
but a rotation. It is easy to see that the second of these equa
tions includes the first ; so that if, for variety, we take $ as
represented in equations (a), and write
p = 2a + y& + 2y,
a = {a + m3+ £y,
we have, for all values of the six scalars ac, y, z, º, m, , the follow
ing identity:
192 - QUATERNIONS. - [CHAP.
— (a): + ym + zé) = S. (ca' + y& + 2y) (Ša' + 78 + £y)
= a acé + Bºyn + y”z.
+(ºn 4 ye)Sa'gi (984&n)S3%+(−84 wº).Sya'.
This necessitates
- o”=6”-y”=–1
Sa'8'=SS'y Sya’ – - o! - - - - - - '• • * * * * * * * * * * (u), -
S. affy
_S. (a' +ga)(3'4 g6)(Y+gy)
S. affy
= 1 –gS (aft'y'-a'8y + a'8%)
—g’S (affy'-- aft'y + a'8y) + g”.
Recollecting that a, B, y; a!, B, Y are systems of rectangular
unit vectors, we find that this may be written
M, - 1-(g +9°) S(aa’-88-yy) +g"
=(g + 1)|g°–g {1 + S (aa' + 33' + yy)} + 1].
Hence the roots of -
M, = 0
are in this case; first and always,
91 = - 1,
which refers to the axis about which the rotation takes place:
secondly, the roots of . *
a_S("B"&Y' 48"Yº-Yo"#8")
2 S a"8"y" e
e, + e, + es;
i.e. if a”, 8", y' are rectangular, in which case e, , e, e, may have
any values; or
2. e. = e, = e, in which case
q'pS a"8"y" 6, {V8"y"Sa"p + Vy"o"SS"p + Va"8"Sy"p}
e :
Jº = q ( ) q".
.. 1 -
1. 6.
m*-m-ºn-mº). (m-mº).
0 = | (mºm, -mm, m, + m,”) = | (mºm, -mm, m, + m,”)
—(m”—mm,” + 2m, m,) { —(m”— mm, 4-2m, m, -m) #
—(mm, -2m, - m,”) ºp” +(2m, + m,”—mm, -m) @”
–2m,º —m,?"
+ $”
by using the expression for $* from the cubic in $.
Now this last expression can be nothing else than the cubic
in q itself, else q, would have two different sets of constants in the
form (k), which is absurd, as these constants, from the mode in
which they are determined, can have but single values. Thus we
have, by comparing coefficients,
m,” = 2m, + m,”— mm, -m.
- *—
mºm, = m”— mm, 4-2m,m,
– on*
mm, = m^m, -mm, m, + m,
2 -
2
*}
The first gives
- ºn 1 = ?????2,
which might easily have been seen from the facts that
1st, $8 = -28,
2nd, ſha = a, if Saô = 0.
The case is but slightly altered when the signs of a, B, Y are
changed. Then
ºpp = – 38,88p–p,
and the cubic is
$”— 3%–2 = (p + 1)*($–2)=0.
These are mere particular cases of extension parallel to the single
axis 8. The general expression for such extension is obviously
$p = p – eSSöp,
and we have for its cubic
(q – 1)*{q –(1 +e)} = 0.
We will conclude our treatment of strains by solving the
following problem: Find the conditions which must be satisfied by
a simple shear which is capable of reducing a given strain to a pure
strain.
Let }, be the given strain, and let the shear be, as above,
p = 1 + B.S. a,
then the resultant strain is
pq = q + 8S. aq,
= p + £3S. #'a.
Taking the conjugate and subtracting, we must have
0 = };} – }''/= } – }' + 8S. #'a — $'aS. B
= 2.W. e – V. Vºſa B,
so that the requisite conditions are contained in the sole equation
2e = Wip'a 3.
This gives (1) S. Be = 0,
(2) Sq'ae = 0 = Sade.
But (3) Sag-0 (by the conditions of a shea),
so that aca = W. Bºbe.
204 QUATERNIONS. [CHAP.
Again, (4) 2é*= S. #'a Be = S. aq. (3e)
2ace”- S. Bºbe * (8é) = — m/8"e",
Or —ma = 2 W. 67'de.
Hence we may assume any vector perpendicular to e for 8, and
a is immediately determined.
When two of the roots of the cubic in q are imaginary let us
suppose the three roots to be
ei, e, *e, M-I.
..Let 8 and y be such that
$ (8+y V-1)=(e,4-e, V-1) (8+y V-I).
Then it is obvious that, by changing throughout the sign of
the imaginary quantity, we have
4 (8-ys/–1)=(e, -e, V- 1)(3–). J-1).
These two equations, when expanded, unite in giving by
equating the real and imaginary parts the values
$8= e,8–e, y
‘by = e,y ...}}
To find the values of a, B, y we must, as before, operate on
any vector by two of the factors of the cubic.
As an example, take the very simple case
$p = e Vip.
Here it is easily seen by (m, s) that m=0, mi- + e”, m, =0,
so that $” + e”q = 0,
that is % ($4 eV−1)(?-e V-T)=0.
As operand take
p =ia, +jy 4-kz,
then a |V(4 + ex/-T) ( – e V-1) p
|e V. ($4 e V-1)(ky—jz—p M-1)
|(-jy— kz +p)
| i.
x.] VECTOR EQUATIONS OF THE FIRST DEGREE. 205
Again
B-yv-T | }(§ 4 e V-1)p
|ed (ky—jz+V-T p)
|-jy-kz + J-T(ky—jº)
|jy+kz-V-I (?-ky).
With a change of sign in the imaginary part, this will represent
B+y V-1,
so that B=jy+ k2,
'y =jz– ky,
Thus, as the student will easily find by trial, B and y form
with a a rectangular system. But for all that the system of
principal vectors of p, viz.
a, B+y V-1
does not satisfy the conditions of rectangularity. In fact we see
by the above values of B and y that
S. (8+y V-1)(3–7 W-1) = 8*4 y' =–2(y'42").
It may be well to call the student's attention at this point to
the fact that the tensors of these imaginary vectors vanish, for
T*(8+y W-I)=–S(8+y V-1)(3+y V-1)=y’-3’=0.
This gives a simple example of the new and very curious
modifications which our results undergo when we pass to Bivectors;
or, more generally, to Biquaternions.
As a pendant to the last problem we may investigate the
relation of two vector-functions whose successive application pro
duces rotation merely.
Here # = |x"
is such that by (w)
$' = }T',
i.e. X"/=x]",
Or xx = WW = ~',
206 - - QUATERNIONS. [CHAP.
since each of these functions is evidently self-conjugate. This
shews that the pure parts of the strains iſ and X are the same,
which is the sole condition.
EXAMPLES TO CHAPTER X.
9. Prove -
$ W. aq'a – m V. aq'T'a = 0,
(p + m,) V. aq'a = Waq,”a.
10. If m = | A, b, c | shew that M, = 0 may be written as
a, B, c'
a', b’, C
g
3. d”
*I— -
d \ -
{ dAaBag" * (ºntº)+c(i+2)+1}m-0.
d
or ."(iâ“) m = 0.
11. Interpret the invariants m, and m, in connection with
Homogeneous Strain.
12. The cubics in pip and pºp are the same.
13. Find the unknown strains $ and x from the equations
§ 4 X = w,
$X = 0.
14. Shew that the value of V (paxa + $8x8 + ºx)) is the
same, whatever rectangular unit system is denoted by a, B, Y.
15. Find a system of simple shears whose successive applica
tion results in a pure strain.
16. Shew that, if q be self-conjugate, and £, m two vectors,
the two following equations are consequences one of the other:—
§ _ _Y. mºn y
CIIAP. II.
gives (1 – m) a + m (8– a) + (1 – m) (y – 3) – my = 0,
Or (1–2m) (a — 8+ y)=0;
an equation which is satisfied either when 1–2m = 0, or when
a – 8 + y = 0.
The former solution is Ex. 5; the latter gives ABCD a
parallelogram,
Ex. 10. Let a, b, c be the points in which the bisectors of
the exterior angles at A, B, C meet the opposite sides, Let unit
T. Q. 14
210 QUATERNIONS.
- - COM,
Similarly Bb - c-a (y + a),
b
ce = *,(a +B),
therefore Ab = - .*.6 (by 1),
bc
Ac= § Y.
Q –
0. -- : (6 + 8– a),
Ex. 13. With the figure and notation of Art. 31, the former
part of the enunciation is proved by the equation
arty- (“j”
4.
248 18ty, Yºº
s— 4-3-4-3-4-5
r
APPENDIX. 211 .
gives ac' = –– -
p'g' – 1
But the data are . -; , p = mq'; hence
pq=p'g', and a = x: ;
therefore T’’ coincides with T.
14–2
212 QUATERNIONS.
CHAP. III.
CHAP. IV. -
=6 (a s; 8 2)
+ »
Now
:: S. a63 : S. affy
:: S. abij} : S. abcijk
:: (ab) : (ab) + (bc) + (ca.)"
:: (triangle AOB)* : (triangle ABC)’.
(Chap. III., Additional Ex. 6.)
Ex. 12. This is merely the equation
B
p = at + # *
with t eliminated by taking the product of Wap, V8p. (See 55. 3.)
CHAP. W.
CHAP. VI.
scrºck-ºs(a-b)*(x+8)
=0 ;
hence CE, CE" are conjugate.
Ex. 8. S(a + 3) # (a + 3) = 2 gives an ellipse, whose equation
is
Spºp'p = 1, where p' = q, -
>
2
hence the diameters of the locus are to those of the given ellipse
: V2 : 1.
4
218 QUATERNIONS.
'yºpy '
and since CQ = a + 8 + æ),
S(CQ#y) = 0;
hence PR is conjugate to CQ, and therefore bisected at Q.
Ex. 13. This is simply a combination of 49. 2 and 49. 1.
CHAP. VII.
..) – "...
(e–)-isº,
which by 52. 1 gives
5
(a”—Sap)”—a’Sap = 16 a",
2
... Sap = . 3.
wo-ſeat (6-a-spy-30-acy,
220 QUATERNIONS.
‘. .2°3°–2S8p + aSap = 0,
2
i.e. *—ay 4% = 0,
which gives two equal values of 2 ; hence the proposition.
Ex. 6. With any point as origin, let B, y be the vectors to
the two given points, it the vector to the focus of one of the
parabolas. Write aa in place of a in equation (1), Art. 52, a
being a unit vector; -
and S(ST. ST")=0 will follow at once, from the fact that
/ Az
y'y" + 4a’ = 0.
Ex. 9. Let P be the point of contact, PQ the chord, TEF the
line parallel to the axis cutting the curve in Ej; E the origin;
tº **
EP=3 a + tº, ET=–3 a,
. ... PF : FQ :: t : t'
... tº tt'
-- 2 • 2
:: TE : EF.
.# gives C7'-2at,
CP = at
p-tº-(4-5),
whence for R and R' the values of a are 2 and – 1 ; therefore
B
CR = 3at, CR' = 32 t '
222 QUATERNIONS.
B 1 nm,
QR = at-j-PQ-3 RR'.
Ex. 16. If CR = aa ; a + m3, a - m3 vectors parallel to the
given conjugate diameters,
CP=aa +w (a + m3) = at +},
CD = aa +a;'(a — m/3) -a, -ś,
give t = t”; therefore CP, CD are conjugate.
Ex. 18. Adopting the figure and notation of Ex. 2 of the
hyperbola, Art. 55, we have
cR-2xu, cr-2x};
therefore QR = (X– Y) (a #) - 3.
ro-Gr-r)(-),
and r0. QR = (X*— Y’) (a hy -
CHAP. VIII.
a "Sqaq’a = 1.
Now l -*- Sºap"a
0y,'. Uw, wº -
S; 2 (Ska)”
S; 2
– º & +---
+ 2
and, since -
which is satisfied by
tr–p = mºp,
where
*{ºy +++ tº-3 e
*...*.*.*
… " ' " …
CHAP. IX.