THE LIBRARY
OF
THE UNIVERSITY
OF CALIFORNIA
LOS ANGELES
This book
is
DUE
on the
last
MAR 2
1962:
1962
REC'D
JUL 2 ?
AUG
01
1345
1954.
DEC 7
Form L-9-5m-5.'24
MLD
:
19&/
1 5 1980
TRIGONOMETRY
AUGUSTUS DE MORGAN
OF TRINITY COLLEGE, CAMBRIDGE
SECRETABY OF THE ROYAL ASTBONOMICAL SOCIETY
FELLOW OP THE CAMBRIDGE PHILOSOPHICAL SOCIETY
AND PEOFESSOB OF MATHEMATICS IN UNIVERSITY COLLEGE LONDON.
seule maniere de bien trailer les elemens d'une science exacte et rigoureuse,
d'y mettre toute la rigueur et 1' exactitude possible. D'ALEJHBERT.
La
c'est
et leurs usages
fection.
LAGRANOE.
LONDON:
PRINTED FOR TAYLOR, WALTON, AND MABERLY,
BOOKSELLERS AND PUBLISHERS TO UNIVERSITY COLLEGE,
CAMBRIDGE:
PRINTED BY METCALFE AND PALMER. TRINITY STREET.
Engineering
&
Mathe
Scierces
Library
/\
PREFACE.
\
M
<N
THE work
is
new, not
entirely
V:>
I published
It
of two
consists
endeavoured
In the
books.
who
has a competent
to
as
contained in
is
which reference
view
of
is
trigonometry,
my
much
as
for
made
in various places
branch
as
have
first,
of algebra
mathematics.
mentary
character,
basis
of
view
with
of
algebra
the
in
its
application
significance
which
of
affords
purely
ele-
symbolic
that geometrical
explanation
of
every symbol.
The term
It
means algebra
in
which
two
and independent
distinct
symbol of a straight
nate both the
have not,
been able
If,
length
after
to fix
by the
tive to the
line,
much
to
qualities
the
line.
on a better name of
application of a
word
just as
sufficient brevity.
somewhat
startling adjec-
who
are
still
quantities
objects
of
which
are
not
reasoning, should
quantities,
are
become aware
many
made
that
by
A.
University College, London,
DE MORGAN.
LIST
OF SOME WRITINGS ON THE SUBJECT OF ALGEBRA,
In which
the peculiar
JOHN WALLIS.
A Treatise of Algebra, both
London, 1685, folio.
historical and practical.
Reprinted in Latin, with additions, in
the second volume of Wall-is' a Works, Lond. 1693, folio.
GILES FRANCIS DE GOTTIGNIES.
Logistica
Naples, 1687, folio.
Universalis.
London, 1758,
FRANCIS MASERES.
4to.
4to.
Analytical Calculation.
'
.has
the
].riiit-v
In the list which follows the preface,
foBowed the v?bj
omitted a note of interrogation which
Playfair.
Quantites
et
Negatives,
des
Quantites
Pretendues
Imaginairus.
JOHN WARREN.
trical Representation
(Read June
4,
1829.)
An opponent
Perhaps
this
for 1842.
According
to Dr.
Peacock,
1.
M.
Bfcee is the
first
formal niain-
LIST OF
vi
'
DAVIES GILBERT.
On the
Philosophical Transactions for 1831.
nature of negative and of imaginary quantities.' (Read Novem-
'
Also
Quantites Imaginaires dans les constructions geometriques.
papers or observations by FRANCOIS, ARGAND, SERVOIS, GERGONNE, in the Annales des Mathematiques for 1813 (and I suppose the following year). Also a paper on the arithmetic of
impossible quantities, by PLAYFAIR* in the Philosophical Transactions for 1778
with a Reply, by WOODHOUSE, in the same
work for 1802, entitled On the necessary truth of certain
conclusions obtained by aid of imaginary expressions.'
;
'
Syllabus
Elements of Trigonometry
A. DE MORGAN.
London, 1837, 8vo.
and Trigonometrical Analysis, preliminary to the Differential
Calculus, ....
(Read May
7,
1838).
Ladies' Diary.
London, 1839, 8vo. (small). THOMAS WHITE. 'On
the algebraical expansion of quantity, .... and on the symbol
V-l> which is usually considered* to denote impossible or
A. DE
Transactions, Vol. VII. Part 2.
the Foundation of Algebra.
(Read Dec. 9,
Philosophical
MORGAN.
'
On
1839).
A. DE
Cambridge Philosophical Transactions, Vol. VII. Part 3.
On the Foundation of Algebra, No. II. (Read
MORGAN.
'
Nov.
29,
1841).
M. F. VALLES.
Premiere Partie.
du
calcul.
Nov.
No more
27, 1843).
A Treatise on Algebra.
Arithmetical Algebra.
Vol. II. Symbolical Algebra
applications to the geometry of position.
I.
and its
London, 1843, 12mo.
JOHN ELLIS].
MARTIN OHM
[translated
by ALEXANDER
and its
it
to
be indeterminate, because
The paper
is
it
can be expanded by
1816.'
TABLE OF CONTENTS.
BOOK L TRIGONOMETRY.
CHAPTER
I.
Preliminary Notions.
Definition of trigonometry,
undulating magnitude,
periodic
gradual meamagnitude,. 2
suggested by angular magnitude, 2
surement of angle, 3 factors of 360, 3 circumference of circle, 4 ;
;
arcual
arc -f radius, 5
multiplication and division by IT, 5
measurement of angle, 5, 6
gradual and arcual comparisons, 6
IT,
6.
CHAPTER
On
Axes,
r,
0,
II.
origin,
x, y, 7
and Innr
0,
initial
and terminal values, 13; cosine even, sine odd, 13; tangent
and its rules, 14, 15 double value of functions,
%nnr +
odd, 14
16; 15, 18, 30, 45, 60, 72, 75, 16, 17; sin 6 -f 0, (1 - cos 6) ^ 0,'
tan0 -^ 6, 17, 18;
and 1 -^0 2 , 18; older system of definitions,
18,
19
arese of circle
and
sector,
20.
CONTENTS.
viii
CHAPTER
III.
23
25,
28, 29
collection of formulae,
26,
sum
CHAPTER
On
IV.
CHAPTER
V.
of
V-
\.
in this chapter, 41
;
connecting
formulas of trigonometricals and exponentials, 42 ; De Moivre's
roots,
theorem, 42
multiplicity of directions in 6 4- n, 43, 44
1
and
particularly of unity, 45, 46; transformations of a + b
;
extension of logarithms
(b -4- a), 46
extension of the Naperian base, 48
47
isolated case of coincidence of logarithms in different systems, 48
selection of
1
meaning in tan"
reduction of sinm
cosn0a: n and
and
2a n sinn6x",
<O-yV-l),
tan" 1 a;, 55
53;
52,
calculation of
mode of finding
52; connexion of <(x + y V
1)
-rr,
51,
examples, 53,
54,
55;
series
for
55, 56
and exponentials, 57 ;
of logarithms, 57, 58 ; resolution of sin
into factors, 58, 59, 60 ;
Wallis's form of ir, 61: deduction of approximate form, for 1.2.3...n,
61, 62; factors of cos
logarithms of sin 0, cos 6, tanfl, 63; Vieta's
nometricals
expression for
cot a;,
and
x
(t
JTT,
I)"
65.
CHAPTER
On
the Connexion
of
Common and
VI.
Hyperbolic Trigonometry.
Hyberbola, 66 its areas, 67, 68 formation of hyperbolic trigonometry, and connexion of its formulae with those of ordinary
;
CONTENTS.
CHAPTER
On
ix
VII.
interval, function,
difference, interpolation,
73
method of
inter-
CHAPTER
On
Meaning of
79,
80
VIII.
for oblique triangles, 81, 82, 83; cases of ditto ditto, 84, 85;
mode
BOOK
DOUBLE ALGEBRA.
II.
CHAPTER
I.
calculus, 93
slight example,
93, 94
CHAPTER
On
II.
Symbolic Algebra.
Abandonment of meaning,
101
symbols, 105.
CONTENTS.
CHAPTER
III.
On Areas and
Solids,
Meanings of the fundamental symbols under which, algebra becomes a legitimate mode of establishing the second book of Euclid,
106, 107
comparison of an inexplicable symbol of this algebra
with one of ordinary algebra, 107, 108 this system not altogether
new, 108.
;
CHAPTER
IV.
Suggestion on
which gave
to be incorporated, 109
rise to
109
it,
operative direction in
and
addition
arithmetical
multiplication,
-15, 116.
CHAPTER
Reason of the term
V.
Signification
double
algebra,
of an isolated symbol, 117; meaning of =, 117; origin, 117; unitline, 118 ; axes of length and direction, 118
meaning of A + B,
;
B, 118
B,
coincidences of
meaning of
and
4-
119
B,
addition,
its resiilt
CHAPTER
On
VI.
definition of logometer,
129
^ _l
e Ov-i
132,
COS
133,
_j_
134
ginfl
;
182
connexion of
transformation of
It s ,
134
CONTENTS.
CHAPTER
xi
VII.
<
CHAPTER VIH.
On
Power
147, 148
154
of Unity.
of considering (
1)" as either quantitative or directive,
properties of the roots of + 1, 148, 149, 150, 151, 152, 153,
n
solution of x
the Roots
when n
is
prime and
a;"" 1
has been
CHAPTER
IX.
Law
162;
other law which this notation follows, 164 ; general law of scalar
ascent, 164 ; limitation of the scalar function, 164 inverse operation,
;
165
ERRATUM.
XX
Page
138, after
insert
A.x
BOOK
I.
TRIGONOMETRY.
CHAPTER
I.
PRELIMINARY NOTIONS.
IT
is
angles
depend
solely
sides,
and
each of two sides to a third be given, all the angles are given.
There is then a close connexion between angles, and ratios of
lines
the branch
connexion
is
applied,
from one of
its earliest
called
is
TRIGONOMETRY, taking
its
name
decrease.
function of x
is
to oo
(fox
property.
lating
finite
its
yet
it
has them in
its
infinite
it
functions
are
considered.
common algebra
undulate: in trigonometry nothing but
infinite series do not undulate.
nothing but
but
it
may be
stated that in
infinite series
ELEMENTARY NOTIONS.
necessity
difficult for
that another
mode
of
establishing the
It will
it
much more
become evident
algebra of
undulating
quantities
Of
all
which exhibits
alteration.
from
11
to
If,
to a, the
2o,
from 2a to
equation
(x +
value of a, or for
its
(x + 2a) = $x.
or
of such
0:r,
all
For
(x
Similarly
line,
The
+ 3a) =
0a:
(x
4-
a)
<px ;
and so on.
total
periodic.
is
(x f a + a)
angular magnitude
Let a straight
is
expressed by the
values of x, and for one
a function
true for
multiples.
Consideration of
functions.
increasing
'3a,
angle described
itself is
revolve
may go on
But the
direction
indicated
is
periodic,
There
is
which was not previously indicated during the first. Let a wheel
turn on an horizontal axle, by a handle at the end of a spoke
the angle turned through by the spoke goes on increasing as
:
long as the wheel turns one way; but the height of the handle
above the ground is a periodic magnitude, which goes through
the same cycle of changes in each and every revolution.
Certain
periodic functions, suggested by the revolution of a straight line
about a point, form the trigonometrical alphabet, as we shall see.
If
we had now
most convenient
to invent a
first
mode
method would be
'467
would signify
* Observe this
consequence of the periodic character of direction,
that the angle has a unit expressible in words without reference to
'
The angle through which a line revolves
other magnitude exhibited.
in regaining the direction with which it first started,' is a perfect
But no
description of a definite amount of angular magnitude.
of volumes could describe an English foot, if drawing, and
number
ELEMENTARY NOTIONS.
467-1000 ths of a revolution.
the usual method
is
to divide the
each of -which
is
called a degree.
into
and so on.
to all kinds of
of the minute
its
was called
its
circle),
Thus
diameters, meaning 3 +
it
said
is
" '"
&c.
Degrees, minutes, seconds, &c. are represented by
But it must be noticed that thirds, fourths, &c. are wholly
Thus
obsolete, decimal fractions of the second being preferred.
'
indicates
the following
of
fraction
whole
revolution,
18
47
23
1774
60 x 360
60 x 60 x 360
10000
60 x 60 x 360
_L
360
In this
mode
of measurement
it is
the right angle and its multiples, 90, 180, 270, 360; the half
of a right angle and its multiples, 45, 90, 135, 180, 225,
270, 315, 360; and the third of a right angle and its multiples,
30, 60, 90, 120, 150, 180, 210, 240, 270, 300, 330, 360.
Also the thirds of the revolution, 120, 240, 360; and its fifths,
72, 144, 216, 288, 360. And 360 should be well known a>
x3*x5, from which its separation into pairs of factors, 2.180,
23
3.120, 4.90,
will
5.72,
6.60,
8.45,
9.40,
10.36,
12.30,
15.24,
18.20,
be easily gathered.
it
must
first
as being
ELEMENTARY NOTIONS
Let
of circles are to
and
be
it
is
less
scribed polygon.
Draw
part of a revolution:
2
BD
OA.
Let
BOA
be the 2n th
that
so
CA
and 2w x
is
are the
OB
as
to
OC.
BD
CA, or
to
Consequently,
BOA
the angle
be made
small enough, or n great enough, the inscribed and circumscribed
if
regular circumferences
and
may be made
we
as nearly equal as
we
please
Now take
of the circle, which lies between them in magnitude.
another figure like the preceding, but constructed on a different
know then
radius OB', and with all its letters accented.
We
one another as
circumferences.
OB'
to
Let
sides are to
P,
C,
and
P',
1
,
Q',
and the
ratios
P P
:
and
equal and constant (each being the ratio of the radii) while
P and Q, and also P' and Q', can be made as nearly equal as
we
please.
P:P
and
Hence
Q'.
it
follows
Let
that
and
be
C'
is
C-M
and
C+X;
as
and
let
being always one ratio (that of the radii), the limiting ratio C C'
can be no other (Algebra, p. 157). The same follows from the
same use of the ratio (7-f JV: C" + N'.
:
CR
the
C,
same
for
all
circles.
it
follows that
It
is always
denoted by 27r; that is, TT is always made to represent the fraction
which expresses the ratio of the circumference to the diameter.
An
is
TT,
ELEMENTARY NOTIONS.
is,
the
to
venience of which
is
which
at
is
it
by successive cor-
desirable to stop
is
last,
To
divide
3 millionths,
millionths,
th
ndi of the
dividend, one 8000
by TT, take seven 22
and 7 hundred-millionths then deduct 2 thousand>
The
result is
in the ordinary
division.
and
to the radius
s'
the angle
as
s'
to
Hence
s to
is
the radius
is
c'.
r',
2irr
s'
ITTT'
33) as s to
-
whence
r,
Then
c'.
and
c,
Or, to a
r'
and
Then
r'.
or as - and
That
and
S, or as
is,
'
For
to the angle
r-
are
rad.
From
11 to the radius 8 as
and -
to
is
which
1.
-g
mode of measuring
this theorem is
Let the arcual angular unit be that angle which subtends
an arc equal to the radius, and let all other angles be measured
by the numbers of arcual units, or the fractions of an arcual
derived the arcual
angles.
unit,
Then we
shall
n3
ELEMENTARY NOTIONS.
subtends
s to the radius r,
we have
When we
'
or 6 = -
r,
'
number
fll'C
an abbreviation of
angle'
-j-
we understand by
of arcual
contained
units
in the
angle'.
unit
is
-f
radius,
or
2?r
\TT.
180
- 7T
make
It
it
may be remembered,
is
also
one right
3437''74677
The
circum-
is
in
TT
degrees, or 57-295779513;
and 206264"-806.
TT
This
is
all
but one-
57
17' 44"-8.
Most
of the theorems
TT
2?r= 360
to
confound
with 360,
2?r
with 180, as
is
is
When
a circle
is
The radius
is
57
On
is
is
called
divided sexagesimally.
about 100
feet.
is
CHAPTER
IT.
LET two
them be
let
straight lines be
called axes,
Let any
origin.
line,
drawn
and
at right angles to
one another
the origin;
O, the
and
let
PM
PN,
MOPN, ON and
OM are
The
OP
projections of
called projections of
In the rectangle
OP
upon
the axes.
generally
named
upon the
and of
NP
is
P.
And
is
taken
axis
parallel to
abscissa,
ON,
y an
ordinate
y.
line terminating at
about O, setting out from one side of the axis of x, OA. "When
it has described an
angle 6, which may be of any magnitude,
a distance r is taken off.
This distance is always considered as
positive,
tive,
POA
with
taken
is
off
on the opposite
off
OP is
and
as nega-
side.
say that
it
when
taken
if
But when we
positive.
call
negative.
then
OP, being
positive,
On
OP
if
be negative,
it
its
Thus
negative
OH
;*
OM'
is positive,
is
ON
is
positive,
ON'
negative.
The axes divide the plane into four quarters: and as a line,
to 90, from 90 to 180, from
revolving positively, passes from
180 to 270, and from 270 to 360, it is said to be in the first,
second, third, and fourth quarters of space.
-+
quarters
of space.
In
this system,
the succession
-f
f,
-I-
third,
first
+, the first of
-.
signs of the
y projections
quarter of space,
-; in the fourth,
succession +
-,
is
in the second,
-f
of
in the
When
negative?
I answer,
line
may
The same
considerations apply
be considered as making with itself
positive.
an angle
first
it is
in the
traction of a
in
actual magnitude
that
all
But
of the
angle
revolved through, an alteration by a whole revolution makes an
effective difference.
Measuring arcually, Itmr + 9 may most often
is
and inverse
revolving
line.
ratios
direct
The
hypothenuse.
and
six ratios
and
- take each a
arbitrary sounds.
r has
gained
its
position.
is
base
r
y.
called the
abbreviated into
10
This table must be thoroughly learned. The terms base, perpendicular, and hypothenuse, referring to the right-angled triangle
in which the projections are sides, does not mean that what Euclid
would
call
It is so
when 6
the
line is in
opponent
many
in the
first
of
supplement*
is less
Euclid's
in
it is
the
third
quarter
All
a completion.
it
is
this,
an
and
angle
It is
all the
trigonometrical functions
the fractions which lines are of lines, the ratios of lines to lines.
of a time
on the
when
axis of
is
one-half of what ?
Answer, one-half
their effect
projecting factors:
multiplication
by
multiplication
The
by sin# turns r
into its
We
may
many
linear units
The
used
Q
opponents, I
up a whole revolution
the other.
complements.
11
of abstract units,
who can do
it
The frontispiece
equal, or of a line equal to the sine of an angle.
has curves constructed in this manner for each of the six principal
is
is
The
functions.
is
student may,
O, the axis of
is
origin
The
little
'functions, of
Of
the
remaining
six,
- cos#,
we may
among them
equations exist
- sin#.
predict
for
covers
absolutely determine all the angles (and therefore all the ratios
of sides) of a triangle,
angle or more.
is
a right
five relations;
all independent.
First, there are the relations which
obviously and necessarily follow from the algebraical form of
the definitions, independently of the meaning of the symbols.
but not
These are
sec# =
1,
x cosecu =
1,
cos<? x
smu
tan^ =
cott/
cot0 =
tantf x
Of
cos#
-
saw
cose/
1.
make
cos
+ sin
+ tan
sec
fl,
+ cot
is
"Ef V =
\costfj
The following
1,
- Y.
or
+ tan
sec
= cosecV,
=
2
6>,
1,
gives
&c.
\cosO)
collection
of
formulae,
either
proved above, or
12
seuf -
i,
sin0.cosec# =
1,
cos o.
be carefully remembered:
cu
13
OP
Then,
ON
negative.
NP
and
And
being positive,
to be
so they ought
must be considered
as
on a
the
sine
and cosine
are
OP, being
negative,
and d as
for
and
is
on
In
sign)
TT,
y vanishes;
the values at 9 =
following table,
at
9 =
are
\TT,
and 6 =
repeated.
%TT,
x vanishes.
Examination
Arcual Anyle
At 6 =
will
IK,
give the
partly
by the
14
angles they
may have
the projections on
described,
are the
difference
is
in sign only.
The tangent
~ -
sm6
-f
is
is
are
sine
neither
as
But two
in
differ
is
in all cases
sign
sometimes
they change name, the line which was x becoming y, and vice
An examination of all the cases will present the following
versa.
table
Conclusions.
Absc. Ordin.
Angle.
\TT~Q
x cos(|7r-e) =
ITT + O
-y
x COS^TT
7T-6
-x
+ 6
-x
-ycos(7r +
-f
6)
sin0,
0)
=sin0, tan(7r-0)
=-tanf>,
tantf,
-y
-x
cote,
\ir-\ti
-x
ITT -
-y cos(2;r-0)=cos0,
TT
'-TT-e
0)
=- sin0,
tan('>7r-0)='- tan*'.
figure accordingly,
it
will
sign
and magnitude.
The formulae
is
the
y of the
other, loth in
may be
best
the
in
as
second,
15
\ir-Q
also
TT
is
9,
is
and so on.
may
now be
contained in the following rule. According as the number of right angles is even or odd, let the function remain, or
let it
be changed into
co-functions).
has
when 6
its
and
co-function (sine
cosine, &c.
are
Then
is
the angle.
There
is
when 6 <|TT:
right angle,
is
negative:
cotd.
But in transtan(f TT + 0) =
we see an even number of right angles, and
accordingly,
remembered apart
The functions of complements are
:
sm(\7r
0) = cos0,
co-functions,
sine,
sin(7r
6)
= smO.
=-
sin(|7r +
<?)
sin0,
cos0,
COS(TT
tan(?r
0)
=-
0)
= - tan#.
COS0,
All the angles which have the same sine as 6 are included in
the formulae 2>mr + 0, and (2? + 1) TT - #: all which have the
16
same cosine
as
-t-
all
which
tive or negative.
To one
sine there
is
and
versa.
vice
But
in
belongs
to
two angles,
&c.
opposite in sign.
their
= sin(7r + 0)
Thus,
tan (277- - 0) = - ta.nO, &c.
sin6>,
it
appears
When
And by
is
when
Thus,
found,
all
the
cosfl,
&c.
Of
fill
up
table,
these I shall
of which
the demonstration.
equilateral
|.
II.
c)
11.
c
2
,
If then
or 2c =
a be the
(V5-l)o.
30;
the
bisecting line
is
therefore
12-/3),
V(3 + 12 + 9
or yi2.y(2 -
y3)
17
18
sin ad
It is
nn
smpd
sinaO
,
or
/30
.
ad
smpO
has
--,
We
=
when
0,
when n
sectf
both become
infinite
when
Now
TT.
sec0-tan0 =
-=
^cosO
cos<9
Shew
Again,
l-cos#=-
Hence, when 6
is
of calculation,
small, cos#
when
is
in
nearty>
tan0 and
way
that
9.
-
when 6
This,
\6* nearly.
enough
a similar
limit, with
2 (~
when
difference of
the
-|-7r,
,,
(=0,
consequently, as 6 approaches
secO diminishes without limit.
is
small).
and sin0 =
small.
now
0,
most purposes
to truth for
tri-
The arc
de-
BM
arc
'
if
is
word
an abbreviation of sine of the complement, or comwas considered as anyplemented sine ; it was long before
but
the
sine
of
BA.
And
another
arc,
(once the
thing
this
is
OM
AM
sagitta, as
AB.
And A'L
ment
is
By
V'
OB
to
a tangent at A, and at
Draw
of the system.
19
and produce
A'
meet them
in
T and
Then
V.
A T was
(as being
the circle
OV
and
the cosecant.
linear function,
the old
gives the
linear function
and
capital letter;
let
MB
OS = r,
Sin
AB
Cos
AS
AT
Tan
AS
OT
Sec
AS
OS
cos<?
cot
OM
~OB~
OM AV
Cot
~MB~ ~OA~
COSCC0 =
OS
OV
MS
OA'
~~r
AS
vers
~~r
CosecAB
1-
_
Covers0 = l -
OM AM
MB AL
'OB
with the
new
that the
that of the
one,
if
we only make r=
is
Covers
AS
is
iden-
this
is
essential
dis-
a line,
always
In the old system the sine of
half a radius, whether that radius be used as
the arc of 30
1,
AH
~OB
Vers
~OB~ ~7
~OB
20
of 30
is
&c.
the fraction
whole radius.
If
system,
AB
Sin
Cosec
AB =
1,
or Sin
1,
or
Cos*AB
5
2
r
If
it
-r
AB
Cos*
Cosec
AB +
Sin*
AB = r
AB = r\
sides,
of the circle
thus found.
is
2n th
part of a revolution, or
being to the
whole
The
circle as
sector
is
we
2r smO, and
7T
7T
it
&c.
sines,
&c.
The area
n
r*
of
sin
wr8 which
,
When
is
the
0,
Or*
to 2?r, is
*
Trigonometry might be defined as that part of the application
of Algebra to Geometry which is independent of linear measure;
since ratios are independent of the units in which their terms are
One disadvantage of the old system is,
arithmetically expressed.
that
it
21
CHAPTER
IIT.
projections of a line.
to
is
to this,
is
AB
tinction
is
negative.
there positive,
we
p. 7,
NO
while
on a straight
Thus,
is
SA
NO
and
is
one
not
C,
positive
but
x,
ON,
If
we attend
may be
distributed
negative.
however A, B,
is
line,
Thus
AC =4-2, AB = + 1,
C=-5,
and + 2 = +
7 + (- 5).
by
PA
Q,
positive direction
of
as
starting-line, and thence by revolution, positive or negative according as we want a positive or negative angle, to the positive
direction of P.
from the
But in Q A P, we
di-
proceed
rection of
positive
according as
positive
When
are
we
is
22
the
line.
NN'
MM'
and
but
for projections:
N
-
AA
N'N
has
and M'M.
The
axis
AA
+ x
-f,
and
or negative
-,
is
and
positive;
so
is
and so
NN'.
-f-
is
But
quarter
MM'.
if
A A'
r sin#
But
is,
r cos0
be negative,
- x
is
+, or -, as before.
But we must
say, equal
and
AA
SB
tJie
same
directions,
AA
If
is
AD
the algebraical
PS=PR+RS=PQ+QRiRS.
The only question now is this,
do PS, PQ, QR, RS, always
represent the projections,
AD, &c.
answer
in
lines
is
PQ, QR,
RS
23
we have
and magnitude.
Now
let
of secondary axes
and
let
a revolving line,
starting-line.
The
OP
on
on the
se-
projections of
condary axes, r cos<? and rsin#; and these last projections, ON,
and
or OH, make angles with the primary axis of x which,
NP
Projections of
ON
are
Projections of
NP
Looking
rcos#.cos0
at the projections
Projection of
rcos(0
OP = Projection
-l-
0)
and Vcos0.sin0,
and r sin 6. sin (0+2^).
ON + Projection
of
NP,
rcos0cos0 + 7-sin0.cos(0 +
-i?r),
cos(0 + 0) =
cos0cos0 + sin#{cos(0f |-7r)or-sin0},
- sin
=
cos#
t
cos(0 6)
cos0
24
at the projections
Projection of
OP = Projection
r sin(0 f 0) =
of
ON + Projection of NP,
sin(0 + 0) =
cos
sin(0 + #) =
sin0cos0 + cos0sin#.
+ sin
sin
{sin (0
-f
77),
+ |TT) or cos0},
(0
0) =
0),
= cos0cos# + sin0sin#,
all
0),
may
be stated thus,
6) =
cos(0
COS0COS0 + sin0sin0,
sin(0 + 0) = sin0cos#
cos0
sin0.
The formulae
are not independent: but any one really conThis has partially appeared. To shew it completely,
observe that the operations connected with projection on the
tains
all.
axis
of
axis
of x.
we adopt
same
the axis of
the
and
as a starting-line,
-f
0) = cos
y.
cos 6 - sin
- i
/<
TT,
If then
or
/(
+ |
we want
ir,
to
sin 0,
alter 0,
which
is
measured
gives
or
sin(0
-t
6) = sin0cos# +
cos0
sin0.
TWO OR MORE
of such
25
ANGLES.
his course,
all
par-
separate
are
operations
algebraically presented
in
one by the
preceding process.
sign
no distinction
Let
AB
thus
is
made between
AOP = 0, POQ = 0,
MQ
AS
AS
In the
first
SA.
and
Project
NQ;
and ON,
RQ,.
are
of revolution.
OM,
NR,
lines
when
project
OQ
is
on
ON,
OA
NQ
diagram, in which
into
into
and 6 have
positive
sines
OQ
OM
cos(0 + 0)
SM
OQ sin(0 + 0) = QM = RM + QR = NS + QR,
= O^ sin0+Q^Vcos0=OQ cos0 sin0+OQ sin# cos0,
Also
sin(0
-I-
OQcos(0
+ 0-27r)=
=
cos(0 + 6
27r)
is
TT
And
first,
= cos
sin
26
cos
Q ON =
sin
QON= sin (0 -
NOS
cos
Whence
= cos
(TT
cos (0 +
cos (d
TT)
= cos
TT)
= - sin
0) = - eos0
2?r)
sin
(TT
- 0) = - cos 6
(TT
NQR
0)
= - sin0;
sin
(TT
0) =
sin 0.
or
Again,
OQ
sin
(040-27r)=
(0 +
sin
2?r)
QM = QR - RM= QR - NS
OQ
= sin
= (- sin 0) cos
or sin
(0 + 0) = sin 6 cos
- 0) (TT
(- cos 6)
+ cos
sin (TT
0),
sin 0.
cases.]
cos0 cos
And
(277-
0)-sin0
From
48, 63.
sin
(27T-6) or cos
cos
+ sin
sin 0.
0).
and fourth
third
(0
From
and cosines of
all
the multiples
2.
3.
4.
5.
6.
7.
8.
may
sin*#.
be deduced, as follows
sin0.
sin0.
sinO.
sin0.
= 2 cos0 cos0.
cos (0
0) -f cos (0 + 0)
cos (0 - 0) - cos (0 + 6) = 2 sin0 sin0.
sin (0 + 6) + sin (0 - 6) = 2 sin0 cos0.
sin (0 + 0) - sin (0 - 0) = 2 cos0 sin6>.
-
= cos"9 +
TWO OR MORE
For
write
and
6 write
for
cost/
2t
6+0
+ cos0 = 2 cos J!
0-0
11.
12.
sin0
si
13
"0
sin
*-
- sin0 = 2 cos
~ sin
tan
sin0 + sine
14.
cos s-g
2
.0-0
+
-
10.
27
^-75
2t
9.
ANGLES.
|(0 -
tan
ton0 + tan* =
sin0 +
0)
5?-l^,
'
sin6>
'
(0 + 0)
"
cos 0+ cos
+
:an
~T~
tan
cos0cose'
-
tan0
cos0cose'
15.
(^ A g ) =
si
=
~ sin0 cos0 cos0 sin0
0)
cos (0
sin0
0)
cos0 cos0 + sm0 sin
sin
tan (0
divide numerator
20 = 2 sin0 cos 0,
sin
sin6>
14.
= 2
sin - cos -
2
17.
2
cos 20 = cos
z
- sin!
= i + f cos
=2
2
cos
-1 = 1-2
=i_ i
cos
19.
91
31.
20,
2 tan0
2
- tan5-
l-sin0
77. =
+ sm0
::
tan 8
---0\I.
^4
tan0
sin*0.
cos 20.
1
" cosg
214- cos0
ITT
1
22.
4/
sin e
18.
20.
^
'
2/
tan' -
'
Remember
5, 6, 7, 8.
these formulae.
product of sines
The
least)
may be
We
sin 23
-f sin 13,
sin50 cos4
Thus
selected.
=sin54
at
ism46
and cosines by one another; of which much use was made before
the invention of logarithms
and
of sines
cosines.
We
Thus
{cos(6
Sum
Remember
sum x
Sum
of cosines
diff.
diff.
diff.
as
cos0 - cos0 = 2
sin *-=
sin
&
0-0
^-r
2>
Again,
it is
When </>,
contrary order.
is the direct difference, 6
0,
tf>
frequently desirable,
inverted,
read in the
<f>
29
effect of an interchange
upon one side of
an equation, to verify the sameness of the effect on the other
side.
Thus in 9, interchange of
and
produce no alteration
in the first side: how is it seen that no alteration is
produced
on the second side ? By remembering that cos |- (9 - 0) and
cos i (0 - 9) are the same.
and
Again, interchange of
changes
the sign of the first side of 10; and of the second also, since
sin
(9 0) and sin f (0 - 0) have different signs.
person tho-
by the habit of
Two
15.
satisfying the
If
related
result,
which
TT,
tan0 = -
often wanted,
is
nominator in 15
tan(0| YT
it
is
we must have
0.
)x
|
'
angles of a triangle
If
how
+ tan0 tan0 =
details correct
cot0, or 1
tan (0 - 9) be infinite,
if
from which
makes the
above conditions.
be the sum
is
the sums of the products of every two, every three, &c.; then
the tangent of the sum of those angles is ^ - t3 + tb - ... divided
by 1 -tt + tt ... . This may best be proved by showing that if
it
more angle
is
If there be
of
all their
it
introduced.
cosines,
sum
is
of those angles
S3 +S^~
...
is
all
S -S3 -\-S.,-...
l
S Sv
and" let
in
Now
it
is
clear that
D3
30
is
by
multiplied
and
b,
those in
all
each multiplied by a
whence
S^ = 0.
we suppose
Now
S -St + S
-S
(S,- S, +
(S
and Sl
...
new
sum
if
-S
and
...,
sum
-S
Sb
s -...)a + (S
-#.+
$-)
of the k angles be
sine of the
...)a- (S,
...)
of the
k+
or
&
or Z\ -
angles are
T
T
T
T
...,
....
theorem be true
for
= cos (0 +
I/'
i/<-)
+ 0)
cos# - sin (0 +
^)
sin#
=cos0 COST/*-
better
sini/r)
sin^
-V% + (*4-0)-(flr.-0)+....
n angles, the number of products having m srnes
of distinct ways in which we can select m out
If there be
is
the
number
number
angles, or the
of the
mn
denote this by
mn
of combinations of
out of
accordingly
stands tor
n - 2
...
!
.
c""'"8
where
fl
c"
is
l nc
31
n "'
2,,c
~V
...
the even terms, 2nd, 4th, 6th, &c.; change the alternate signs
in
each
may
lot,
and the
results are
cos
nO and
cos 20 = c* -
cos 30 = c - 3cs
cos 46 = c 4 -
sin
20 =
sin
30 = 3c s s -
sin
40 = 4c3s - 4cs3
s",
a
,
6cV
-f
4
,
sin (16
2cs,
sin (30 + 0)
-f
30
sin
(c
3
,
successively
+ 6) = sin 20 c + cos 20
= 2cs
sin (40)
Thus we
sin nO.
down
at once write
8
)
thus
+ cos 30
= 3c2 s .
s"
The question of
now reduced
an angle
is
degree.
its
x*)
x-
an angle,
= 3x - 4xs
z?
Hence x
part.
8x - 6x +
3
b, it is
this
th
required
we have
1
is
found from
to be
to solve
0,
distinct
part of
Here
third part.
6=3(1
For example,
sine of
n^
an equation of the
to that of solving
equation,
all soluble.
all
real
its roots,
but three
For what we
really
ask, in the equation, is the sine of the third part of the angle
whose sine
is
|.
may be
either
30, 5
x 180
we
- 30, &c.
Look among
the thirds of
And
all
10,
are the
32
From
we
can,
and with
tolerable ease,
and
are equivalent
sin
cos
(x\-j
when n
without
Of
X
cos n
limit.
n increases,
we must be
a priori,
this,
uncertain, for as
increases
effect.
2"
cos
than
less
x\
so great to
begin with as
+ ^TT,
we
effects
an increase.
easily
cos*
-l-
But, taking n
nl
shall
xxx
cos -
cos - + cos
>
2
cos
2n/
x^" >
or
x
> cos n
*\"
cos - .
ml
(
&c.
is
see
-x =
2n
cos -I
X
that -
(y.
cosj
(cos-
m
n
Let nO =
as
we
z,
a fixed angle
it
by
g ~~
it
0,
- 9
by
but nevertheless n
(cos#)",
times.
nO-0
~
-f
'"
It
and
may
And
n.
Now
preceding, divide
and divide
6 be taken =
please, provided
without limit,
factors)...
at the
as
+ 1)0
""
n increases
'
be as great
then becomes
n9" (m
J_
(sin^)"
'
When
z
......
'
(m +
1)
33
/tan6>\
Q diminishes without
for
this,
limit,
a.
22
- .-...
o
every specific
2
.
m or
,
^z"*
cosz
limits
We
2,o.*.ni
>n
of
the
of
sides
the
equations
have then,
sinz
2.3
2.3.4
2.3.4.5
Our
cosz =
sm z =
2.3.4.5.6
2.3.4
in arcual units),
8
2.3.4.5.6.7.8
z*
-f
2.3.4.5
2.3
in
an angle
which we see
2.3.4.5.6.7.8.9
2.3.4.5.6.7
that
that sin z
is
The
readiest
throwing them
mode
of
from these
calculation
- {l - 2
smz =
r,
{l
where
all
series
is
by
r,
r,
{l
r,
^ {l
preceding multiplier
r,
...... ,
{l
is
a factor
of
that follows.
nating
series,
34
Turn
-f-
it
12 places.
tans = z +
2z
by that
11 z
-f
1-
315
15
G2z9
2835
said (page 2)
that
If
gonometry.
we had chosen
1,
very evident
it
made
that
of
....
is
for tri-
to call
namely
z,
z*
-2
+ ""
-2^
Z+
""
+ -'
secant, cosecant,
at all
more
I
our preceding
formula?
much
but with
of connexion;
difficulty.
now go
it
required to
is
W,
6,
30, &c.
let
there be
-f-
-|
cosa
cosft
cose = \ cos (a
-f
The
be
b - c) + J cos (a - 6 + e)
J cos (a + b +
2"~
1
,
as in
e),
the final
-f
cos (a + b - c)
&c.
number
of cosines
we
2""';
and,
In every term
change the sign of every letter, which will not alter the value of
any one cosine, add the results together and divide by 2, which
will leave the
divisor,
2"
abcd
the
number
among
of terms,
the angles.
If
shall
we now make
a, b, c,
&c.
One
following.
taking
all
(giving (n
of
- (n - 4)
cases of (n
6 -
1)
only positive
and
6),
be able to subdivide
(n terms) into the
...
as
with - (n - 2)
many
cases of (n - 4) 0, taking
2,,
0,
shall
we
6,
35
two only
and so on.
But
taking one
0,
and
-,
as
many
n odd.
If n
6, in
cos b cos
now
c... being
2"cos"0 =
(cos04
cos
-0)
Collecting these,
cos"0,
Accordingly, cos a
4.
we have
4
(-2)0)
ending with
...
k}
[cos04 cos(-0)
4 2 n {cos (n
4
k)
{(n
and as many of -
if
k,
cos 09 if n
2k,
and with
n = 2k+l~\.
by help of cos (-
a)
= cos
a,
we
form,
cosn0 =
-^-A cosnO
n cos(w-2)0 + n -
it
cos
(w- 4)0 4
...
cos 30)
= i (cos 30 4 3cos0)
cos
Now
let
examine cosfm
\
we
--A\,
2
begin by rejecting
all
sin"0.
If
we
number, as
it is
th
being the (2k 4 l)
odd number;
4&4
Call
4k an even even-
4k 4 2 an odd even-number,
and 4k 4 3
36
th
(2k + 2)
&c.
for
odd odd-numbers, +
for
even odd-numbers, -
sin
m-2
And
A.
sin
+ cos^t
is
for
of the class of
is
is
not, &c.
We
w odd odd
sin"<?
n odd even
sin"# = -
-<
sin"0 = -
smnd
-1 cosnd
2
even odd
<
j
-n
sin(n-2)6 + n
-
n cos(n-2)0 + n
\_
<
sin ??0 -
Of
cos(w-4)#~...
n sin(n-2)0 + n
sm(n-4)6~...
cos(n~4)6>-...
Si
~
n2 0-
sin(-4)0-...
theorems
1-cos^
= tan 2
sin^
'
= cot0- 2cot2(?,
+ costf
e
= cot 2
>
I
J
He may
>
CHAPTER
IV.
WE may now
itself as
ingly,
may be
then 6
6,
'
described as
country
it
is
universally described
functional analogy.
(0a?)
2
3
8
On this notation
denoted by
a:, 0(0 #) by
ar, and so on.
0~'a; should denote the function on which performance of
gives x,
= x, and <p^x should denote that function which
so that
(0~'#)
is
gives (f?(<p*x)
x.
cos
-1
o:
cosine
is x.
The
We
is
sin
2
.
!
a:
is,
that
The answer
we
any
x.
do not employ
= x.
is,
we do not pursue
it.
we ought
that
if
certainly should,
to follow
questions in which
the sine of the sine, or the sine of the sine of the sine, were
so frequently
such
(sina:)
a:)},
actually
and
then
occur,
sin a: x sin
a form which
of sines, &c.
And when
questions
a;
x sin a;
some writers
sin
a:
should
prefer, as
it
is
are
should
be
it is.
stand
for
denoted by
But
as sines
established notation.
(f)~
How
it
5'
ON THE INVERSE
38
is
when we
as
are two.
cost's
be
cosine
it
is
as dictated
x or - x,
either
sin" sin
cos" sin#
= 2mir
= Znnr
or
\2
This chapter
is
Similarly
tan"'
0,
= 2mir +
at pleasure, or else
cos" cos
0,
its
or negative.
= x, 0~ 0o; is not
always arises that though 00" *
but only has x for one of its values. Thus (^xf is x,
Hence
always x,
but \/(x*)
(2m +
1)
TT
cot"
0,
0)
tan" cot0
tan# = imr +
0,
cot# = rmr +
6,
m-n-
^
2
6,
&c.
intended to enable
is
when expressed
is
All that
in inverse language.
by the student.
is
wanted, then,
I shall give
down
two cases
others to be considered
This
is
of 0, that
'
tan"
In
all
* + tan"V = tan"
[\1
.
)
-xyl
we have
4^ x 9*
of 4 multiplied
is
out'
uinj
a>
l-tan0.tan0
tan
\1
tan0 + tan0
tan0.
TRIGONOMETRICAL FUNCTIONS.
or
is
-f
= tan" *,
1
39
let
tan (2 tan" *) =
1
<2x
*s
x3
3x
tan (3 tan" *) = -^
o*a
- tan'
sin"
cos"
cos tan"
*+
*+
&
/** + 1
This
is
tan 3 cot
'*
cos sin
.
= 5(6*
'.
cos sin"
.
zy},
1
*=
*,
- 4*z
sm cot" * = \ /
\ x* +
sm 2 cos
+ tan'
sin" (*V(1 - y
2
- 2=
^ cos" {V(l *
y* + a^y )
sin'ty
cos"
- tan'
--
V3 -**3-
2)J
V(*
^ -- 15* -+ 15* 6
x* (x* - 3)*
1)'
.
a chapter
examples are merely hard phrases to be construed from trigonometry into algebra. But such transformations have an important
use in calculation.
If
last-named function of *
would be the
the
easiest plan,
That
first side.
beyond comparison^
we should
is,
find
by
to proceed
the table
by
the angle
trigonometrical forms
2 V(o* + &
25
cos<7) = Vl(
by - 2ab
(1
+ cosC)}
2v/ai.cosi<?\
'
40
V(rt*
&*
- 2ab
cosC) = V{(a
v/(a*
+ i
= a sec tan" -
W + 2ab
</( a
C1
b*)
cosC)}
= a cos
1
sin" -
(I
- 6
V(&*
2a
4ae)' =
cos i sin
[I
.2 Vac
'
or
Mir*
sin
'
2 v7 ac
-
CHAPTER
V.
we look
in p. 33,
we
p. 225).
We
is
1,
k*
tity there is
is
absurd.
k =
*J-\,
not in Algebra, as
If,
would give
k, &c.,
to
we adopt
use
k'
=-
1, k*
=-
k,
and proceed
gative quantity,
(Alyebra.
W-f-ftg+^H.*^-....
deduce
easily
eos^Adn^l +
k*
in e
this equation,
we invent
it
intelligible
the process of
all
use,
which ought to
have been called experimental, of the symbol -J-l, under the name
of an imf>ossible quantity, shewed that, come how it might, the
a fair statement of
to try
that the
in their favour.
By
proaches the
he ap-
difficulties.
* It is almost
impossible to discredit Woodhouse's remark
" "Whether I have found a
logic, by the rules of which operations
with, imaginary quantities are conducted, is not now the question
;
but surely this is evident, that since they lead to right conclusions,
they must have a logic."
E3
42
INTRODUCTION OF
Say that we suppose, from the above,
mean
this
to
those in which
V~l
and
result,
is
assumed
to
Let
denote cosfl
fe
4-
sin6
fd must
(Algebra, p. 204)
V-l
be
9
,
then
where
independent of
is
6.
Accordingly,
E -l _ cosfl-1
~e~ ~e~
9
Diminish 6 without
log
v ~*
If
limit,
and
.8=0 + V-l.
v"
E=d~
l
,
JS
=^'
266)
p.
1' 1
.
universally, then
cosO - sin#.
V~l
---
0v-i
i
'
and Algebra,
(p. 17,
or
sinO
-ev-i
whence
07 " 1
e"
6lv " 1
Had these forms been intelligible, they would have been the
proper algebraical definitions of the cosine and sine of 0; and
trigonometry would have been pure algebra in the ancient sense,
and a very easy part of it. For assuming tan0 to be sin04-cos0,
and
sec<?,
all
For example,
cos0
cosfl
= i (e^- + e-*"-
_ i (g^+flw- +
1
^ + e^' )
1
(e
6 -(^+e)v-i
= \ (cos (0 + 6) + cos (0
''' 1
Since e
it
to the
e (^-OK-i
is
called
De
e -(0-0)v-i\
0)}.
This
Moivre's Theorem.
The
into
nO
raises
V~lstudent, instead of
-J-\
43
(cos0 + sin0
If
n be
integer, the
second.
the
But
10 distinct values
duces us to a
We
V- 1) (cos#
if
;
new
!
- sintf
.-j-\) = cos
n be
+ sin*0 =
first
as
fractional,
f-
the
first
1.
and
also
side
has
the second apparently only one. This introconsideration of the highest importance.
absolutely, as a magnitude,
same manner
in the
first,
any other
as
as
same
negative.
so
many
indicating a
as
difference at all
they in-
direction.
we begin with
If
no
direction
if
FO
(for
which
be the solution
is
J
by F(9 r2mw),
So many
and
as well),
is
different solutions
?n
but
FO
if
tive
or negative multiple of
And
2?r,
so
many
distinct answers
are
we
all
revolutions by which
that
it
for 6,
if
n be a commensurable arithmetical
an even integer.
is
But
9
terms, then n9 indicates q distinct directions, no
fewer.
For n (0 + 2t7r) or q
TT
more and no
indicates the
same
di-
in
which
9
INTRODUCTION OF
44
is
and
for
this
we take
If then
we get
all
1,
2, 3, ...
(q-1),
by a multiple of
q.
differs
Now
if
p and
p, 2p,
in
quotient
occur
in,
are
is
2rr
all
1)^
(q
we need look
severally
to, since
by
q,
every unit
in the angle),
1, 2, 3, ... (<?-i),
di-
rections
p1
If q
all
In the
(cos0 + sintf
V-l) 9 = COS-
we
see
sin
p
-
q ambiguities
of value
we
are
taught
</-!,
q
;
by common
algebra to
sinfl. y'-l
is
sin a.
45
-/-I.
now
shall
TT
for
all
For the
1.
first,
6=
0, for
will here
1,
Gradual mea-
each.
be most convenient.
roots
1.
of+
cosO
sinO.
cos30
sin30. V-l
......
cos60
sin60. V-l
......
cos90
sin 90.
V- 1
......
cosl20sml20.y-l
......
- \
cos 150
sinl50.V-l
......
- 1V3
cos!80 4 sinl80.V-l
......
y-1
roots
of
1.
cosl5
cos45
sin45. y-1
V~l
- V2
V6
-
......
cosl05
sinl05.V-l
......
^6
......
^2
V6
..
sinl65.V-l
iAV~l
W"
1
1.
^^ ^^
sm7o. V-l
cosl65
iv'3-V-l
1V2
......
1 itself
^3 ^-1
cos7o
We
of +
the second
"
.y-1
JV2.V-1
,
6
V
-
+ V2
j-*
V-1
V6
V2
+
V6
V2
"
..
or negative.
or
m.
if
Similarly,
twelfth root of - m.
We
may extend
/3
m.
For
its
twelfth
this further,
as follows.
power
1,
Two
is
ffim
a lz .m,
is
given quan-
INTRODUCTION OF
46
titles
and
a,
b,
unless a* + 6* = 1
For
and
are cosine
is
angle
a2 +
if
costart"
- + sintan" 1
-V-l
and
that
\
I
= V( a8 +^! ) 6
tan"'-v-i
'
a;
different directions;
Q being one,
+ TT
contrary sines and cosines
;
we
of great importance,
be remembered: tan"
this point is to
which indicate
nents
sine to the
(b
But
= in1 then
b*
with a given sign, say the positive one, for ^(a* + 6*),
and take the wrong angle, we shall end with - a - b^f-l, instead
If
set out
of + a + 6-/-1
we ma y
'
set
it
right either
6*.
is
membered
may be
re-
as a.
One
as the angle
angle which
and
cosine of the
its
its
sine of the
same sign
as a,
from
Let the
b.
by tan" a
first
be denoted by tan"
Thus we have
b
Show now
'vYCa* +
and that
all
&')
(cos
(& tan"
the above by
-b
all
-f
sin
|)
may be
by twelfths of a
6-/-1
is
(& tan"
W~
T 1.
by multiplying
47
y^-1 = r(cos0 +
x -
T/y'-l
= r(cos0 - sinftV-1) =
we have a =
quantity,
r^'
sin 0.^-1)
e logo
1
-,
rr fllM
v"
j^ then
gy^^
&n y
of a
all
class,
may
log a
is
Now -a
we may say
still,
quantity
as before, there
for,
is
1
.,
whence
added
to a negative
cannot vanish.
any logarithm of
to
no arithmetical logarithm
m being integer, 2m + 1
w-
**+ i
any logarithm
b,
of ab, &c.
Since
in this sense.
1
1
mv
x + y^-i = r ^- = re ^- ^- = eiog-c^-)/-^
we have
all
X (x
y-J-l)
-f
= logr +
(6 + 2tmr)^-l,
= $\og(x* + f)
(tan\
Here 2nnr
is
we
tinction
between
it
and
still
restrict tan"
- to
-(remembering
x
\
the dis-
tan"
itself.
now be made.
be
-J-l.
x
HI
y+
x Zmir]/
The base
is
--""IV - 1
may
jf x, a
represent the
INTRODUCTION OF
most extensive logarithm of a, which we can get from any
such form of e, it must be obtained (a being positive) thus:
/""*
-r-
,.
La =
or
'
log a + 2w7rv -l
i.o^. /!i
-(-) =
>
lo
Proceed
in
the same
to the base
is,
an
e,
infinite
number
an
infinite
number of logarithms
to the value of n.
r 4 p'-Jlog r + p i/- 1 _
~ log
1 + 2TO7T V- 1
1 + 2mVVclear
it
1
'
and we get
m) =
first,
(27TTO log r
p) (in
1
But,
in each system
m and TO'
'
or log r =
so that, for
6 + 27m
6 + 27m'
- n
--
w'
e=
ZTT
--
rim - nm'
- m
systems, there
logarithms in both.
it
Ve being
We
a,
is
And
can
is
49
What
The
follow-
L(x
log r
This
case
in
is
+ 2nnr V-f
2m7r(0 + 2mr')"
and 2
is
-f
"^
(1 +
~A
log r =
when 2nnr
which case y =
V~
+ Imr, in which
If = TT,
4wV) = log r.
1
negative (# = re^" =
r)
we have
2n+l
= log
log (- r)
is
r,
8W
This
e
8 " +1
has two
th
But it appears that instead of
roots, one negative.
(2m)
U2""rv
the system being that of the base e, the base is g
The
-\
of
this
illustration
be
from
the
difficulty may
complete
gathered
real
second book.
stand for
let z
2
1
z"
= cos0 + sin0.
= cos0 - sin0
\]- 1,
J-
2 cos0 = z +
2
V-
sinfl
These equations
may
z"
1,
1
,
z-,
a"
= cosnO +
sinn<?.
= cosnO -
sin nO
z'
cos0 =
2V-
sinwfl
J-
1,
*J- 1,
z'",
z"
n
.
be inductive proof that, somehow or other, the use of -/lead to true results.
3
Required sin
=-
(sin
does
INTRODUCTION OF
50
cos40 =
+- 3^
c*
and cos#;
--
(c
S
6cV +
sin 6
4
+ sV-l)
+ (c'
*
as in
page 31.
manner
notice of the
in
"We may now extend some of our rules. Required sin"'0 cos"^
That is, we have to find
n
-z m
+
in functions of multiples of 6.
l
(z
(z
g-')
2'"'(V-ir
In the numerator, the descent of each developed factor
dimensions in each term for
is
by two
-f
Qb by
(z
Now
n
- b
is z
z-')
m-
l mz
m - zl
m
+ 2 mz -V* -
......
if
1
....
Paft*'
The
if
odd-odd,
it is
be even-even, (7-1)'"
1,
it
is
and the
V~
1>
result
is
we may
in negative sines.
is
is
in sines
And
in cosines;
if
odd-even,
And
even-odd,
it is
<J- 1,
and
this
occur, there
mentioned
is
if
is
result
(w + n)0 and
if z
and the
1,
the result
z""
z"'
is
no term
in
which,
if
all
that
is
for verification,
wanting
we
shall pick
for finding
up
sin'"0 cos'0,
</-!.
51
any value of m not exceeding 5, and sin cos"0, for any value
of n not exceeding 6. The conclusion which each step prepares
us for is written in abbreviation at the commencement.
5
for
c6
INTRODUCTION OF
52
becomes <p(xz) +
cases, it obviously
then
It is
<p(xz~*).
H00rs)+0(*z-')},
which can be reduced to a
a sin 00 +
real form.
+ a^y? sin 20 +
ctjX sin
Similarly
is
...
{0 (xz)
(xz'
)}
-f-
^-
in
and
<fi(xz' ).
we
shT'i.
function of
show
such
is
x + y^/-l,
P+ Q <J-1,
or are rea l
x'
which
in
and
quantities.
we look
is
;
clear
and
enough
also
x-y^-l
we
at present
-/ a into
by the change of
of V~l>
^a
and
the form
we
If,
where
conventional
please,
a function,
when
by
y
'
As
to powers,
for in this
e"
for
lo e
'-*
e'^
we
we can
see (re*''
>
p
cos (q log r + p0) + e
'
we have
e*
cosy +
or
lo * r - q9
sin (q log
sin
y.-J-l
for
+ pO)
V~l
log (x + y <J-\)
we have
If
ponential forms in
p.
42 as
we have
(x+y V-l) =
sin
1 -*
{e"-
l {e
^
.
sin
a;
cos
x y-1
.
We may reduce
If,
-0^/-l = log(cos0-sm0.^-l),
sin'
sin'
(a:
a;
+ y V~l) = V~*
-*)-* V~l}.
y}.
by preceding
as required.
in every case, <p(x +
If,
to
which
P + QV~1>
ff)(x-y V~l)
and - Q.
(a;
sin6>
<fi(xz)
and 0(s" ), or
(* cos^
V~l) an d
<j>x
(1
+ x}
n
,
(l+2a; cos 0+
sxin
2
)3"
f
<i
is
.
cos
n tan
(a;z)
+
2
yv
a;
sin
sin Q
,
1
(tfz" )
'
,,
= (1
4-
d> (xz)
2x cos
_
2a;
cos0 +
a;
2t
cos
- + sm n tan'
. V~l
4
v
l+a:cos0
l+a;cos0~
cos
,.j
n
2
5"
-f a; )
sin
n tan'
a;
'
-)-
sine
T
\
>
cos
sin
a;
+ x cos
for
20+
...,
nx sin0 + w
a;*
sin 20 +
F3
...
INTRODUCTION OF
54
The
Now
The
S1 "
+ 2* cos
+ x cos 9
1
tan" a =
+ x* cos 20.
(1-tan
a)
+ (l + tan*
a).
then
is
1,
s
-i/(l
a- sin*
first
Let n = is
8
+ x ) cos 2 tan"
2* cos
(1 +
For
be useful practice.
it is
instance,
1 - x cos 9
=
- 2x cos + x*
- =
1 -
a;
cos
s
8
+ z cos 20 + x cos 30 +
sin
-f
2x cos 9 + #8
x3
show the
being
(fix
+ (1 -
...
Also
x).
following,
, Cos6
C(lStf
e*
^c
e*
20 + a? cos 30 +
sin
...
cos
cosff
C(IS(/
sin 0) = 1 +
(a;
sin
/i\
sm
(a;
0)
x* cos
x cos
^sn
i
sin
20
-+
-f
y? cos
30
Z.O
- +
...,
20
- +
+ x
-f
+ x
cos
-l og
z
Then
x).
sin
V~l)
(1
.2,
cos
= ^ cos0-
cos
20+
2i
tan"
If
there
be
a;
is
sin
+ x cos
>-
and <+
series,
which
of
It
it
all
-- sin 20+ x
a;
1,
-4
x*
sm 30 -.
cos 40+...,
sin 40+...
is
in the second.
when
when x
cos 30
no ambiguity
The second
is
sm
=x
+ tan-
lies
between -
\TT
and +
\TT
for
When x
is
become divergent,
as the
of
question
their
results
upon divergent
is
legitimacy
65
disputed upon
x=
we have
1,
/.
cos
log
6\
cos 29
O
-)
(2
29
sin
vergency
is
by 9
sin
and +
ir
49
These
TT.
series
we
If
algebraical peculiarity.
second
39
sin
present some
of the
cos 49
between -
lie
cos 39
divide
both sides
we have
limit,
Let 9 =
The
ir.
first
Mog (1
as well
4
iz +
. .
known.
tan"
x-x-
2C
series,
~ Ou? +
Off
o
a remarkable
l-r
both for
its
simplicity,
and
for
the
use
to
which
it
When x =
$TT.
TT
4
being the
first
But
=1
1,
*=
111
-3
calculable
tan"
5-7
form
in
JTT,
we have
...... '
which
TT
this series,
presented.
so,
The following
is
111111
INTRODUCTION OF
56
But
it is
best to resolve
TT
or
some known
fraction of
it,
into
Thus,
+
2
!_!/!_3 + 1\
3
3 \2
+ 1/1.5 +
5 \2
i\_
3V
"Write
which may be easily calculated, as follows.
for
and $ (divide by 4 and 9 at every step)
:
p =
p =
9
-00195312500
= -33333333333
q = -03703703704
= -00411522634
q*
7
q = -00045724737
g
q = -00005080526
11
-00048828125
13
-00012207031
= -00000062723
n = -00000006969
-50000000000
-12500000000
p* = -03125000000
-00781250000
p =
p =
p =
p =
1
p" = -00003051758
p" = -00000762940
M
p =
n
p =
K
p =
p* =
-00000190735
-00000047684
n = -00000564503
}3
q" = -00000000774
q" = -00000000086
q" = -00000000009
-00000011921
-00000002980
p" = -00000000745
p* = -00000000186
31
p = -00000000047
33
p = -00000000012
p* = -00000000003
3
Now
be denoted by r n .
(p + q") 4r t = -83333333333
let
p and
x may be
57
easily
as
follows.
trigonometrical one.
=
2 V-l
__
COS0 =
ton
f)
_
-
sin'
a;
cos-'x
e-*"-
'
e^TT
1 )}
log {x
=
log {x + V(*' + 1)1
Sin
= cos (zV-1) -
Many
_
~
sin 0. V-l
-^^V-i
e*
__
1
V-l e^' +
V-l
2 = cos-'^V
log {x + V(*
1)}
+ tan0.V-l
l-tan0.V-l
+ X\/-\
sin (ar^-l
)V-1,
log a;
= 2^-1
tan' 1
\l +
a?
V- 1
will
which stand
be
in
Exponential;
is
INTRODUCTION OF
58
was consequently
mode
faulty.
sides of e
-l
+ tan
-
side increases
from
For
first
instance,
2 ""'" 1
...}
is
but
When
LB
LA
= B, therefore
=
(page 48) we are correct
only (except in the case of one isolated relation between the
we say
real
we take
and
in that system.
And
the equation
A=B
only gives
in the
The following
make
+ rmr
must be such
fall
investigation requires
theory of equations
supposes a student
and the
rest
integer, positive
between -
TT and + \ TT.
one theorem from the
of this chapter,
is
generally
supposed
in
what precedes.
- e^' 1 and x - e"^" 1 ;
Multiply together the two factors x
have x* 2cos#.a: + 1.
Or thus, x - cosO - sin0.V-l and
we
x - cos0 + sin0.V-l, give the product
x* - 2 cos 9.x +
1.
xn +
*c
is
satisfied
Now
(x
cos#)* + sin*0,
observe that
= 2 cos20,
or
- 2*n cos20 + 1 =
0,
by
or x*
- 2 cos
26
.x
0,
or
26 be changed
If
first.
among
20 + 2^, no change
into
made
is
/20
+
equation, and the second becomes a? 2 cos
first
59
27T\
Now
x* -
two equations
a root in
or x =
common
ax +
for then
we go
among
x* - bx +
0,
we have obtained n
we have got 2n distinct roots
all.
all
values of x,
- 2 cos20.xn +
l,
\n
z*-2 cos0.a:+
\n
*
A
*l
*\
t
in ^=48in*-.4sin'(- + -
2 (1
is
a .4sm *l
+
n]
\n
-cos0) or 4
smG=
On
the
first
and
second and
the
last,
is
sin
- +
\n
...
last
But
if
factor
as
'
(6
(n-l)7T\
sin - + i
n
\n
/
.
sines.
- 1
n-
sin
7T\
so that
2 ""\
*l
(n-l)ir\
'
]...4sm* - + }.
n )
n
\n
/
- sm
- + 27T\
+ - sm (0
n
\n
\n
n)
n/
(0
-
^-,
the second side there are n sines, or, exclusive of the first,
If n - 1 be an even number we may pair these,
n -I
2"
sin
have, for
(n-l)27r\
-\
2 cos (20 + -}jf+l>.
<x*I
When
......
x=
equations of
we
of
first.
cannot have
0,
until
on,
= 0.
it
If therefore
,x + 1
\n
in the
is
or cos -
diminished without
f
sin < TT
I
the last but one
is,
2n/
--
- I"
\n
Moreover, the
limit.
6 \\
-
or
>
similarly, sin
\n
--n
---e \
sm ("
n/j
},
n/
last
one
is
n)
&c.
Hence the
pair-
INTRODUCTION OF
60
6
sm0=2'M sm.
ITT
- + 6\
-
sin
\n
nj
the
last,
ITT
0\
\n
n/
sin
sm [lir + Q\
.
llir
sin
n/
0\
-
...
n/
factors in
all,
odd.
limit.
The
sin#-sinsin
TT
4-
i 5)
ITT
sm2
.
.
sin
n-
be
ornxl4-l,
n/
.
Now
22
- cos
a -I
-
pair,
observe that
22
a+b
a-b
n .
2 sin
cos
- sin
6)
(sin a
we
4-
sin
sm (a - o) = 2,.
if
3?r
n), if there,
then that of
and cos (0
sm (a
'
n},
is
x (sin#4-0)4- (sin-
or
n=2
4-
= sin2 a - sin 2 b.
n
with the factor cos (0
second side
4-
always
we increase n without
sin
n) at the end if
sin<?
is
Sin
sin
n
(see p. 18).
This
is
8
(
ATT
If then
3
nl
*>
or
sin
0,
we
'
be odd.
.,
,.
.,
This
be.
If
0*
Whatever
may
we have
might be calculated.
n -
limit,
n
2
4-
number
= kw, and we
less
and
less
effect.
Let
77-3153563
TT
it.
64
36
16
'
100
"
'
'
15' 35
63
"99
of approximating to the
we take n
If
another.
_ 4
~
mode
a-
~2'4'16'36'64'"
we
factors,
answers
it
in
see
square of the product of the first n even numbers, but not the
corresponding square of the product of odd numbers in the de-
nominator.
the larger n
Accordingly,
thus in
is
1 .3 .5 .7.
is
this
equation true,
2n
/2.4.6...
(l.8.6...2n-ir
,.7r
2
(2n + 1)
In
2.4...
i
1.3...2n-l=
for (w-f|)7r
very great.
This, in
mean
that
it
V(M7r) '
roots, if
n be
if
we
as
n be
infinite
please,
if
n be large enough.
this
But
as
the premise
it
let
0n be
is
only approaches
1.2.3...
We have then
nf
1.3.5
Dividing,
as
1.2.3...
increases,
n = n"<fon,
or
".
1.2.3.4
truth
Assume
so
to
...
............
2n = (2n)2n
2n =
..... 2n -
(2n),
2V0n.
= (2)"
<f>n
2.4.6...
Dmdmg
again,
Hence we
/?i
0(2)
get
vi^o
then
2w
^^^^
-f
(Yrw)"
Consequently, Y'"
is
= (0n)
((fmf
= V(njr)
or
/(2n) =
>
V(2w).
either
a constant,
or
if
y-
a function of
INTRODUCTION OF
62
when n
changed into
is
%TT
or any function of
(lo2T
log
If,
it
it
2/
great, log
units.
Such functions
In.
M\
is
n, tyn is
we
constant,
however, n be very
increased by a few
then nearly
be able to show
shall
= constant, say c, renders the proof imperfect, and a more perfect one is beyond those who may be expected to read this
work. Take tyn = c, then
fn = c", $n = V( 27
For n write n +
1,
and
c ">
= V( 27r
i- 2 - 3
result,
<>""
which gives
n
..
^(wn)
be very great,
If
...
n =
would give
this
= e"
(Algebra, p. 225), or c
1.2.3
1\
= \l//.1 + .c.
^(l-n-n)
/.
l\
+ -
x c x e very nearly
so that
e""
and the
trial,
first
side
is
But
sin for
for
= &7r
sin&/7-
(1
)...,
/..
4&*\
/,,
T)
for
k write
JX
\1
_)(!-_)...
a corresponding expression for the cosine. From these factorial
expressions it is in our power to find series for the logarithms of
trigonometrical functions.
Let
Sn
r" + 2-"4-3-" +
It
is
Sn = Ior
1-"
...
ad
inf.
2-"
we have
5^ +
+ 2^
3-'
3^ + 5^ + 7^ +
4-"
...
...
{1
+
(1
3-"
2-")
Sn
+
.
..}
Expand
= log
k-n-
+ log (1 -
k^ =
convergent when
is
St
method
log cos
k^ = -
--
7c \
...
and we have
first,
k6
ks
. . .
Apply
1)
SJP
convergent when k is
From these series we get
which
k*
+ log
is
(2
less
1)
than
-y2t
(2
- 1) flUr o
It will
= logA7r+(28
-2)^
T(2
...,
logtanA;7r
Dif-
k*)
log sin
which
JCTT
my
in
Now
log sin
may be found
a sufficient extent
S, t to
63
-1.
-2)^|
+(2 -2)
...
We take
log sin
k-n-
mode
The following
#
#
= 2 cos - sin.
sin
a;
sin
x - 2"
=2 cos
- cos -
sin
xl
- n
(2 cos
cos
xl n
x I
x
-(2 cos -...1 2 cos
cos
cos
. . .
cos
is
sin
a;
x
x
x
x
x
= cos - cos - cos - cos
cos
>lu
4
o
= V2 V(2 + V2)
v~
...
ad
inf.
this
is
INTRODUCTION OF
64
The student who
may be
as a succession of exercises.
is
It appears
formed from
TT,
4-
. . .
may be
con-
sidered as an
TT,
manner of
its
from
27T,
Write k
&c.
2?r,
A+
k*
2^3
for
+
2.3.4.5.6.7
2
Tr
k*
2.3.4.5
k2 and we have in
...
Hence we
* P.m*.n*
2.3.4.5.6.7
(27r)
(3/T-)
easily
m .w
2
2.3'
where in 2(1
-f
2.3.4.5'
is
,&c.
a term of
Vl
~23
and so
and so
~2i
21-
Now Vn
on.
denoted by
is
3,
b,
will
'
2.3.4.5.6*42'
2 1.2.3... 2
R-i
*5~41!' -"7~"30>
*J
"-'
- i xn-ooj. R -i
~66> 'll~273O) -"l3~~6
numbers appear
;
2T77
&c., so that
n_i_i
P-i
3~3Oi x
fractions
27^5
*"~
which
+
2^3
standing for
B v JB
JJ
2.3.4 '30'
1.2'6'
belong to a set
all
^~
'
2. 3.4.5
Vn
have,
on.
F2
'
we
fill
60
rational
fractions.
for
2B
logsma; = losx-
JCTT,
21B
a:
x"
1.2.3.4.5.6 3
1.2.3.4 2
----- - -- - 4
gives
3
-
1.2
logcosa;
now
2
(2
1.2
~ 1)21B x4
S
-
(2
*
1.2.3.4
-l)2
'
J9 5
1.2.3.4.5.6 3
Next,
we have
log cos (a;
A)
-f
log cos re
sin h)
A)
-f-
= log (cos A
log sin a;
From
the series
limit with h.
log(l +
has
P tan A)
it is
it is
Also
cota:
h,
4-
cot a:
sin h)
tank).
-f
h diminishes without
when
diminished without
is
limit.
..
Hence,
tana: and
by h, the limits are
cota:.
Perform the same process on each term of the series for
log cos a: and logsina;: that is, change x into x + k; subtract the
h,
1.2
1.2.3.4
3
a;
a;
2a:
a:
45
945
1.2.3.4.5.6
2x9
4725
3
93555
"
1,2.3.4
1.2
17a:
315
15
p*V-l
_(_
1.2.3.4.5.6
62*9
2835
p-*V-l
Take
and thence, writing -x\j-\
-
for
a:,
show that
2.3.4
2.3.4.5.6
63
and
CHAPTER
VI.
THE
moment
that -J- 1
is
introduced, always presents an incomplete and one-sided appearance, unless the student have in his
it is
rarely or never
wanted
for
what
mind
is
for
comparison (though
its
projections connected
take
all
by the equation
x*
-f
1
y =
1.
Suppose we
Those points
all
the equilateral
ellipse).
The two
lines
of the curve approach without end, but which they never meet
x = v cos 45
y = v
sin
-f
cos 45 = f
- \ \J1 (v - w)
+ w)* - \(v - wf =
w sin 45
45 -
i-
(v
and midway
draw
KP = w.
OK
V2
67
PK
per-
Then
it
is
whence
or
Ivw =
1.
Now
it,
take one of the asymptotes and the curve that falls above
and take two portions of the area standing on bases which are
OK KL
n equal
into
parts,
??*
th
But
rectangle
is
-^
sum
of
rect-
each subdivision
is
2 (v +
r
)
m th
all
rectangle of the
is
all
first is
first
first
is
last,
LQ
without
equal to the
KPQL
put together,
subdivision of
over
m th
there-
composed
these
the
is
is
is,
KL, K'L'
fore the
that
in the figure.
rectangle
subdivision ends at v +
of the
K'L'.
KP = w, KL = t;
OK=v,
Let
manner shewn
angles in the
?n th
OK
::
KL
limit,
the
sum
is,
fall
KP
is
diminishes
68
sum
And
of the rectangles.
KPQL
The area
Next,
KPQL,
OK
be A, and
ADKP
equal to
APDK (A
the area
v, let
being
QLEF
let v
A) and
(or
ADLQ
let
that
ADEF
::
or w =
^^
me 4 whence
c,
whence (Algebra
equal,
observe that
if
Also,
or
= me*
04
p. 204),
determined.
m = |V2.
whence
To determine
(A + 5),
: :
c is to be
/_AOD = 45,
so
B;
be
QZ.EF being
is
Put on an area
(A).
OA
1,
and
triangle
limit unity.
Now
-f-
log(o+A)-logV2
v - log
_ log
h/2
is
J_
or
+
2(v
*-=
is
is
2 (v + h)
1
h)
2 u2
log c \v
h\
v/
h1
(h
.=
ft
bw
logc
logc
logc
+ ...,
/
are,
all
DKPNA
and
or
is
is
made up
DK (DA + KP)
therefore
(v
-]
i\/2)
V2
(v
v'2
w)
4-
tc)
^AN.PN;
+
l-(x
\xy
The area
y=
xy
2vw =
1,
and \ \;2
(v
to)
That
y.
ONP,
DKPNA
APN,
(Hog
S=
I-
x+y=
e'"'
= 2S.
or
we
0,
But now,
in the hyperbola,
x and y
we choose
not
:1
to call the
numbers representing
have,
number of square
2$
(which
being
c"
4.
c"
Sin6>
may be deduced
it
ti
c~"
Cos6>=-^
letters in the
this
we
From
1,
x = cos0, y = sin#,
now
being
_-2,$V-l
JJ.SV-1
y=
'
be the area of
radius
66
~2V
_-2,$V-l
1)}-
if
(r being =1),
4-6
2
If,
e'~
the
have,
and we have
,-S-J-l
and
to the circle,
is
angle
V(X -
x-y
DKPA
and we have
= i log (z +
log (x + y)
log (V2.o) =
APO,
Accordingly we have
If
is,
are equal;
(V2.v)}, equal.
69
p~"
"
cosine,
O
c"
p~"
circular
into Cos#,
of the results
Cos2
~
2
Si n "0
2
+ Sin ^ = Cos 20,
Cos"0 =
-^
Z
The following
are a few
Cos (0
9)
Sin (0
0)
= Sin0 CosO
- 2) Q + n
(Cosn(9 + nCos(n
(_
Sin"0=-^ {Sin0
4-
i-
^- Cos(
2
Cos0 Sin6
- 4)0 + ..A
...... }
(n even)
...... }
(n odd)
70
This
is sufficient
which
connexion
conjugate
in
of
the
we now take
tan#=-
five
hyperbola
between
exists
investigate the
is
tan#cot0 =
COS0
cos
sin0 cosecfl =
cos0sec<?=l,
l,
sin
1,
speaking of
that,
its
is
1.
Now
the treat-
as this equation
might
be supposed to arise from many different sources, it may be
worth while to inquire how much of what precedes is due to
this form, and how much to the application of this form to the
or to angular revolution.
circle,
If
/*
we take
we
are not
we take
And
one,
bound
to
we must
we
of sin
and cos
on the meaning of
by assuming
y?
-f
y*
but
follow, as soon as
2V-1
either,
all
if
trial.
require that
x and y
names
v~
,
and we then
CHAPTER
VII.
THE
tables of logarithms
and the
originals,
press that
it is
of
sines,
but logarithmic*
called,
not logarithms
sines.
is
likely to
table
must have
sign changed.
If cos 96
be wanted in mul-
tiplication,
effect of
its
tlie
final result.
always what may be called semi-quaonly as far as 45, and that for the
remaining half of the right angle is seen by turning the table
upside down, or reading from the bottom of the page instead
2.
The arrangement
drantal:
of the top.
in
is
page
is
There
17, in
is
which
an imitation of
y'3,
which
is
this
in the
both cos 30
arrangement
and sin 60,
read as the former by the top and the right, as the latter by
left.
Open the table so as to get tangent
72
of 37
15',
and there
be seen, reading from the top and downbut reading from the bottom and
will
wards, tangent of 37
15';
if
been
in reverse readings
is
lished to be shaken.
from cotangent, but must consider sines and cosines as one table,
tangents and cotangents as one table, and must cast an eye on
both, and get to 9-61723 as fast as he can.
For want of
after page,
caution,
The trigonometrical
3.
this
until
system described in page 18, the radius being 10' or ten thousand millions. Hence the logarithm of the radius was 10, and
that of most sines used 9 and a fraction, 8,
7,
sin
is
call sin 9,
10.
Thus, where the tables say 9-61628, we must* take out T.61628,
or 9-61628 - 10: where they give 12-61628, we must take 2-61628.
Some
negative
When
and give 9
for 1,
the process
is
by 10 where the
but do not
is
characteristics are
alter 0, 1, 2, &c.
2-41729,
made
it.
we should
8-41729.
Many
calculators prefer
to
if
or seven.
six,
73
usually
enough
for or-
to
do
for
which we enter a
table,
to find
if we have
angles and the logarithms of their sines are paired
a specimen of either, and want to find the corresponding one of
:
its
function.
The
we
enter
is
is
the difference
of angle
that
is,
the tables
which
I should describe
The
(10")
as
furnish trigonometrical
45,
But there
45;
(!')
the
45,
(1")
is
(!')
45, &c.
9+
6 +
differences are q - p, r - q,
site to 0,
6 +
h,
2h,
3h,
&c.
we have
p,
Thus,
q,
r,
s,
if
oppo-
&c., the
q-p = r-q-s-r,
Of ordinary
tables,
may be
neglected.
and the
&c. ex-
differences
In this case we
many
figures
may
74
If
(fix
sin (x + k)
tan (x
-t-
its
k) = tan
x
(1
when k
sin
+ cos
x
!
A,
x-
cosec(a;
-t-
small,
sin
+ k) = cotaj-
is
k,
cot(ar
sin
OAH
a;
x+
+ k) = sec
is
0'a; is
and k a small
x,
(x + k)
very nearly
another function of x, dependform and character. I leave the student to
where
k,
<p/x
first
be a function of
equal to fix +
and
k) = cosec
cos a:
x-
units
is
sin (x
-t-
expressed by k sin
sufficiently*
k) = sin
x + cos x
1':
that
given
and
let
fraction.
tabular difference
it
as to all tables.
interval,
let
Say
h be the tabular
be required to find
(x -f
=
have then
+
0a:
A)
(a;
We
is
/tA),
-f
/t
fix
being a
^, or
the
or
it
log. sine of 3
tab.
diff.
this difference, or
it,
runs on.
We may
then oon-
to their sines, k
augmenting
at the rate of
we say
75
ths of a minute
120, for 7-10
and so
log cos 81
on.
we must,
13'-6,
for the
augment of
more
causes
the angle.
0'-6 to
of the tables.
The
of the
state
places,
unit in the
smallest
fifth
In a table of
Now
place of decimals.
at sin 3
18',
of
five
is
there are
219 such units in the tabular difference; and each one belongs
to the 219 th part of a minute, about the fourth of a
When
the answer
is
about 3
18',
to be determined
by
second.
its sine,
go
shun
cosines
for
right angle.
the cosines, and both the beginning and end of the tangents, the
differences change very rapidly, and the differences of the differences
become of importance.
table
is
is
And the tangents and sines are very nearly equal up to half
a degree there is no practical separation.
2. At the end of the tangents, the best way is to use the
tangent of the complement, which is very small, and has very
:
This
is
the
complement
from its sine.
I
Looking
find
for 0'-02 I
for
The tabular
difference
is
314, belonging
added
76
This
is
is
2-39577.
is
248-74.
is
of the complement
4-49839
is
In the
first
6-49175 and 6-49849 (with difference 674) belong to 1'4" and 1'5".
But our unattained part* is 664 and 674 for the whole second
;
the
of
required
angle
89 58' 55"
4-
then
4" -985,
1'
The complement
or
the
angle
is
-01 5.
of the tables.
recommend a student
to begin
in the use
by
verify-
and
number
to that
sum
On
more than
differences,
we owe
we
really
wanted
7
that O
would be quite
sufficient
is
a phrase
underneath
it
in the tables
is
is 5.
Next, we have
20),
cose - sin0 = V(cos*e + sin 2 6> - 2 sine cose) = V(l - sin 20),
when e <
we have
JTT,
So
the
either
that,
- sin
25)
V(*
cos 9 =
= VI
sin
(1 + cos 20),
- cos
2^).
sine
half can be
its
found
two
by
Now
we may assume
(page 26)
and cosine of 3, 6, 9,
we have (proceeding
cos
30 =
as directed in
(V3 +
Hence the
sines
be calculated
first,
termined sin
V and
sin (x +
1')
sin
and cosines of
the table
1)
sin
x
2',
(Vo-1) + (V3 +
V2
and cosines of
cos
cos
3',
1'
1',
it
1)
V(5 + V5)
8
the multiples of 3
all
up
now
is
+ cos x
&c.,
Thus
page 26),
sin
cosines,
may
Having
1',
45; which
complete*
as
introduced,
differences.
\
0),
cosectf =
sec
re-
- sin
(30
de-
to 2700' or
sin(30+ 0) = cos
start
of sines and
formulae, the
we
that
tan0 +
*>/
cote,
- fY,
= tane + tan
^45
\
2/
78
From which we
30
gather that
when
all sines
and cosines up
to
by simple
by one multiplication only that when
the tangents are found up to 45, the rest can be found by simple
addition and that all the secants and cosecants can be found by
subtraction, the cosines
mode
by
which
is
instances selected
at hazard,
cos (36
6).
CHAPTER
VIII.
subject,
trigonometry was
matics,
is
matics.
for the
now
of
which
in
first
in
(and
spherical
trigonometry)
little
It consists
And
it
is
not
to the solution
tables it is
who
The
of a right-angled triangle.
the
maker of the
number
angled triangle which has that angle for one of its angles and
thus gives all the factors necessary to convert any known side
;
into
The
latter
and learns
be a right angle.
alluded
to, we have
just
first, let
- = sinA =
cosl?,
a = c sinA = c cosB,
cotJB,
a = 6tan-4 = b cot-B,
T = t&nA =
o
By
in words.
hypothenuse
And
80
The following
of solution
Given
are the
cases
,.
bsmA,
or b
sin^4
sm
81
or-;
= -
smA
ora:b::sinA:sinB.
smls
make
I shall
this
all
sin
Show
(j).
sinC
sin_B
is
the diameter of
found in Euc.
IV. 5.
The angles of a
angles, opponents and
being each
triangle
less
its
by
to the solution;
Now take
that
is,
there
may be two
distinct solutions.
and
sides
cos'jB; this
gives
sin (^4f B) = sin ^4(l - sin
2
=sinM
.Z?)
-f
sin !? + 2 sin
A sin.B cos(A
-f
),
A, B,
c,
and
c,
8
sin* C,
for sin
-=
sin
and
sin
B + sin C,
* This
process supplies the want of a theorem with which the
student ought to be acquainted in its general form.
Prove that
if an equation be homogeneous with respect to a set of letters
p,
q, r,
and p,
and as
r'
r, &c.
to
r,
&c.
q,
r,
is
&c. be erased,
to
as
q'
to q,
82
Show
Euclid
II.
is
12, 13;
distinction
As
in
The formula
- Ma-tysectaiT
a + b
(2)
may be proved
two upon
a = b cos
Now
sum
C+ c
cos B, b = c cos
(c cos
Af +
- a cos
(b
C)"
<?
-I-
From
n
C=
cos
C=
2 2
c
(a + J)
-.
'-
b-
+ c =
substitution
cos.g =
2s,
= 2(s-c),
= a cos
B+b
Thus
cos A.
"*
2ab cos
-f
a*.
f~
2ab
(4)
cos
C = (a
+ b +
sin*
c) (a
+ b -
c)
-
4a6
C = (b
-f
- a)
(c + a
4ab
b)
.
then
b +
c-a
= 2(s-a),
+ a - b = 2(s -
b).
we have
-
n .g
06
acute or obtuse.
is
Cf = V -
sin
,
,
2ab
2ab
a +
be seen that
Af
+ (a
Let a +
the vertex of
will
we have
it
n = c*-(a-by
C
^r-j
- cos
it
A + a cos C,
(c sin
cos
often useful.
From
cases
...(3).
a-b
it,
The form
By
all
tive,
is
the
is
thus
In
a.
"
_(-)(-)
06
s(s-c)
...(5).
s(s
be
Let p = \l -
shown
is
Show
be
which
s (s
it
will
-b)
- a)
presently be
4).
that
ten
^'
^2-%
tan
6'
<
6 >>
cos
sm^ =
gives
for sin
and
>J.s(s-ct)(s-b)(s-c)...(l),
sin C.
be the perpendiculars
vertices,
83
fall
let
upon
a,
b,
c,
we have
= bs'mA...;
p=csmA = asinC,p=asmB
r
=5 sinC=c sinB,
p
"a
* b
is
apa
ab sin
cp c
bpi
The formula
b
--
sin
sin
*
v.
(s
1 1
a) (s
gives
A
b) (s
a -
circles
ca sin
a + b
sin
---.
sin
B
'
'
or ps
c)}
A
A
(8).
sin
-.
+ sin
B
B
(A-B)=
ab cot-C
or tan
be sin
~~2
'
+o
...(9X
lines of a triangle
duced.
mula
(
whence
used,
is
V-s (s
P- =
Let
pb + pc)
pac
/a a
a) or
a) (s
b) (s
c)
>
CCL.
Pb
+ - =
PC
b,
with
its
proper sign,
Then
a t - a cos C, &c.,
We
can
now
Of two given
there
those
1111
that
$ (pa
(p a b +
is
s- a
Pa
&c.
triangle
whence
'
Show
is
(6).
a) p a
p,
now
first,
sides pro-
and p a p ti pc
is
= aa +
c 4 , &c.,
and we have
one, be denoted
by the prior
letter of the
alphabet
when
84
1.
ls(s- a)
preferring the
first
--
l(s-V) (s-c)
P = V{(s
a)
tan
A, take
much
= (a
b) (s
-=-
(s
-^
c)
s}
%C= p
tan
V),
^A+^-B
\B = p
tan
\A -p^r(s-a\
(s
^C-
-f
(s
c),
90.
Since
used.
+
--
c) (a
c)'
cb,
Given two sides and the included angle (a, b, C), to find
If all be wanted, calculate the angles by means of
their half sum and half difference, thus,
2.
the rest.
- |C,
\A 4 *B = 90
Lastly,
sin
= a
sin
tan
(7
C - sin
b - ,
sin
(\A - \B} =
= (a +
6) cos
sm
'
= (a -
6)
-r
cos tan
.,'
'/aft
sin
a-o
-(-o
iC
;
(a + b) cos
Or
Sc and
b a = 6 cos (7,
thus,
ca
= a -b a
(a
pa =
tan -B =
^
c
which
is
triangles.
6)
--
cos
b sin (7,
c.
which
^=,
cos
find
85
3.
(c)
sides.
a = c
sin
^
C
-:
sin
but
if
be obtuse, use
A B
sin I?
c
sm -^
C
instead of
4-
Or, in
C.
any
case,
A+B
90
may be used, taking the cosine of the excess above
when
and
+
without
found
ink)
is
excess
pen
easily
(which
A B
is
obtuse.
When
4.
two
sides
(a, b,
First calculate
B > b,
If a sin
then sin -4 =
from
sin
a sin
B
.
=-
sin
is
1,
there
this
is
Let these be
sin
So
far it
ever a sin
b sin C'
sin
seems as
B<
and A"
and
let
c",
a sin C"
___
fj
and
c'
b.
But
if
in
'
we were
a sin C"
sin
b sin
sin
('''
made
to
pelled to take in
until
it is
now met
measurement
is
in
86
B)
b,
(a, b,
B").
value
B.
of
Secondly,
then
180 -
A - A",
= A, and
straight line,
is
let
must be
One
0.
and 180 -
acute,
(b
an isosceles triangle.
is
a)
- A", or
into
Thirdly, let
the given angle be opposite the greater of the given sides (b > a).
Then
values
B > A,
of B
may
value.
A, but both
solution
This double
Here a
sin
a* - lac cos
is
B,
pc and
= a cos
-j(tf
J(W
- o 2 sin 8
B)
- a* sin2
B).
is bc
with
its sign,
on
= ac +
of this
bc
in
which
c has
problem, and of
its
its
be a useful exercise.
The following
table shews
all
M828710
- 1-0939117
a = 15-236 loga =
b = 12-414 log&
c
s
- a = 3-098
a) = 0-4910814
log(s
- b = 5-920
b) = 0-7723217
log(
s-c
Ps
= 9-316 log(
c)
= 0-9692295
+c = 21-432
.
c -
log (b
24-254 log(a
-f
-f
c)
= 1-3310627 b -
3'396'log(6
c)
= 0-4505570
= 0-5309677
8.
Ta
TO
87
88
drawn
which
an
the
to
is
extremities of a,
the
circumference.
a.
2r = a
is,
4-
sin
The three
A.
and
^C
which
2r sin C;
all
for sin
2r sin B,
2r sin A,
be substituted
is
Shew
a,
b,
always true
when
the side a
is
sin
A B + C=
8
i
*J{\(V + c )
-a)(s-
b)
sinA -
sinJB)
A
180.
-h
16s (s
these
if
c.
gives us
C ~_
2~
for
then,
is,
Consequently,
a = 2r sin (A or 180 - A)
that
There
in
isosceles triangle,
is
angle at the
(s-c) =
or
26V
bisecting
z
V{6 + c + 26c cos A}.
2
is
2bc cos
+ 2c 2 o +
\A
2aW
4-
(6
4-
c).
Also
Shew
- a 4 - 6 4 - c4
BOOK
II.
DOUBLE ALGEBRA.
CHAPTER
I.
THE
object of this
book
is
all
In arithmetic and in ordinary algebra we use symbols of prefrom which meaning, by self-evident
The
notions of number, &c., are derived rules of operation.
student must understand by symbols, the peculiar symbols of
arithmetic and algebra
Language
itself
is
a science
of symbols
No
in
down
in
its
grammar}.
such
peculiar
state
as
to
demand
assent
or
and the
dissent,
rules
until
its
of operation,
first,
apprehended, each symbol having either one only,- or an attainable and intelligible choice; thirdly, whether the given rules
13
A SYMBOLIC CALCULUS.
DESCRIPTION OF
90
applied
as
many
of the given
If these
to
meanings
and
unobjectionable;
But yet
First, it
may be
intelligible
may
is
so
far
all intelligible
it
produce
inquiries
of operation,
be imperfect.
incomplete in
its
peculiar symbols.
There may
which algebra
is
most
combinations growing
which they
it
may be
may be
it
suffers
faster
are, if possible, to
Secondly,
it
liable
much
be occasionally expressed.
incomplete in
its
meanings.
meanings take
one possible
Another, of a much
This
in.
is
experience of
in a
For example,
unintelligible
combination
their
intelligible,
separate
may be
may
definitions
* The student
may be surprised at my saying that we should
never have imagined such a result in algebra without actual experience of it for it may strike
immediately that in ordinary
language AVG may have not merely unmeaning, but contradictory,
Mm
combinations.
is
that
we
are so accustomed to
than could have been produced a second time by the same words.
Ordinary language has methods of instantaneously assigning meaning
and thus it has stronger analogies with
to contradictory phrases
:
(if
new
tradiction.
or
not
may
it
case
is
Thirdly,
it
incompleteness
it
may be incomplete in
may amount either
or only to the
results,
arise
first,
from
of meaning which
every extension
that
may
or
abolition of contradiction
else
combinations
limitation of meaning,
extended meanings
a consequence of the
may be
contradictory
91
imposition
destroys contra-
in another.
This
its
rides of operation.
to
an absolute privation of
of
them would
give,
Each
of the three
may be
and
called secondary.
great objects
of
consideration, peculiar
more of them
The
to be entirely wanting
which
it
may be worth
while
Meaning* and
tionably algebra
rides
might be
deprived of
There
possibility of
its
peculiar
is
no more
Unquessymbols,
truth,
drawing consequences
- 62 = a +
(a
b)
)
(a
no
in
'
than in
multiplied
gives the
b,
by
sum
each
itself,
sufficient use
of peculiar symbols.
2. Peculiar symbols, and meanings, without rules of operation.
In this case the only process must be one of unassisted reason,
thinking on the objects which the symbols represent; as in
geometry,
a
line
which has
its
peculiar
named
symbols (as
AB,
But no
and
).
signifying
science
92
doesf not
possess.
manual
art in
which an assistant
map
person
who should
learn
how
is
make the edges fit, and the whole form an oblong figure.
Let him go on until he can do this with any degree of expertness, and he has no consciousness of having learnt anything:
but paste on the engraved paper, and he is soon made sensible
to
that he has
relative situations
As soon
to do
by machinery.
who introduce algebraical symbols into elementary geometry, destroy the peculiar character of the latter to every student
who has any mechanical associations connected with those symbols
t Those
that
is,
algebra.
each
is
its
who has
to every student
own
office
to
in
elementary instruction,
except as
art,
The
of a science.
it
may
93
grammar
he must invent meanings for himself. His problem is, Given symbols and laws of combination, required meanings for the symbols
of which the right to make those combinations shall be a logical
He
consequence.
tries,
ticular,
certainly
one.
significant
the
he had lived?
if
In one par-
had he
lived.
It is possible that
when attached
We
sequences.
many*
to the symbols,
may
different sets of
make
meanings may,
way with
three symbols,
M N
bolic calculus
following ways,
how
can
among
it
others.
and
2.
+ the sign of addition of the second to the first.
may be numbers, and + the sign of multiplying the first by the
second.
3.
M and N may be
M N
lines,
may be
a battle
We
is
5.
M and N
nations,
may
manner
in
most complete
significant calculus.
In
of the
(1), limitation to
mag-
* Most inverse
questions lead to multiplicity of answers. But
the student does not fully expect this when he asks an inverse
question, unless he be familiar with the logical character of the
predicate of a proposition.
answer,
always gives
many
what gives
other things.
94
nitude
is
N M would
number,
-f
intelligible
be
intelligible,
an impossible symbol of
'
(M + N)
but
M + N would be un-
this calculus.
In
would be
(3),
(M +N)
unintelligible
at first:
is
M N
M N
at the
sister
signify the
meaning of + were
assertion that
the
consequent.
it
is
various,
grammar, but
the second?
may
number
required.
And
exist.
the student,
if
of different writers,
assertions
them considers
do well to sub-
We
must
can
ask,
first,
we
to
at
algebra as
who commences
this
stands
it
book.
They
which every
symbol of
and investigated
An
of operation.
rules
number
in the
are,
in
specific or particular arithmetic,
Beginning with
95
easy ascent
signs,
made
is
to stand for
numbers, each
letter
kndwn
or
when
to the time
is
deferred until
we come
we have
is
which
Out of a few
appears at
first
is
which
selected one,
make
say
less,
An
many
this,
is
is
it
or universal,
which
distinction
magnitude.
line:
the
fails
command
and Co.
is
to
it
par-
Measure 10
is
feet
ambiguous
treat-
ought to be.
always
its
which
to
ex-
arith-
appearance
sum
of
money
in the concerns
of
we know whether
it
be gain or
loss.
weight
is
generally
96
rather, the
is
or
we
signification,
which
a ten-
is
epoch of which
mentioned,
is
we know whether
it
is
is
all before,
or
all
after,
the epoch.
And
so
on.
of
a concrete magnitude,
described
by means of a standard
is
is
wholly
inadequate.
The
first
signs of distinction
is
or of
in
the
when
opposite
it
is
or
direction,
of time
before
m-(m
4 more than there are to be taken away. It is then judged convenient (that the convenience amounts to a necessity is hardly
seen at that period) to make - 4 the symbol of 4 units of a kind
+ 4. And this
directly opposite to those imagined in 4, or
is
the
first
common, or single
for more detail.
This word
algebra.
becomes
it is
interpretation at
it
is
length, as follows
A SYMBOLIC CALCULUS.
DESCRIPTION OF
97
OU
one kind,
A, and
may be taken
off,
losses towards
and the
final
B.
balance
render the processes of pure arithmetic unintelligible, the successive results always appear on one side of O: but the moment
a result of the contrary kind appears, (which, unless the arithmetical computer were aware of it, and had provided accordingly, would leave him with an attempt at impossible subtraction
it
and
tive,
and the
and subtrac-
are talking
we
and by virtue of
tells us,
-f
( )
by
conjunctive signs,
we speak
of;
What
are to join
_3 +
)
:
on
actions
Thus,
the
loss,
(+S)-(-7) + (-4)-(+3)?
A man
of a loss
the removal of a
these
what
+ means junction,
is
the following
the removal
what we
virtue of -,
how we
question,
is
As
or putting on what
if
+ (- 3)
conjunctive.
of,
of
loses 3,
7,
gain of 3
his
what
is
previous property
accession of a gain of 5,
8,
with
+ (+
all
The answer
the
is,
5).
rate the
double algebra,
is
98
mode
It is
of the change.
But the
close resemblances,
slide
same
from
and
restoration* until
When
The
first
faculties,
less.
The
science
at the outset
extent to which
its
of any science,
results can
which they are to be expressed. Ignorance, the necessary predecessor of knowledge, was called nature ; and all conceptions
algebraical symbols
subtraction was a
a general
and
sense,
Vieta,
concluded that
that
expressions containing it
Vitium ncyui
should be in every possible manner avoided.
was his phrase.
Nothing could make a more easy pillow for
defect,
but
if
all
Algebra, al jebr
e al
vitiitm paral-
its
propositions of the
first
99
step,
a competent
critic.
as necessarily true,
relation or other,
by
no
it
had no existence
as a quantity,
it
was permitted,
not
definition, to
difier
operations
upon symbols,
either
new kind
ceived to be a certain
meant
was con"
it
which was
intelligible:
that
is,
than nothing, in defiance of the common notion that all conceivable quantities are greater than nothing, and the square
root of the negative quantity, an absurdity constructed
absurdity, always led to truths
all,
or
when
when they
upon an
This ought to have been the most startling part of the whole process.
That contradictions might occur, was no wonder but that
;
name of a mystery.
the
could
practical result that theorem!
prevail against
Nothing
and at last, when the interpretation of
so produced were true
received,
100
The
when
-1 when
it
first
presented
itself;
more
unintelligible than
was
no degrees of
which leads
"must have a
now proceed
(page 92)
CHAPTER
II.
ON .SYMBOLIC ALGEBRA.
IN abandoning the meanings of symbols, we also abandon
Thus addition is to
combination represented by
when +
It is a
mode
of
will
the
word
this
throughout
addition.
chapter,
the
object of which
is
symbols,
and
(page 92)
this chapter.
is
A = B.
it
In
( )
there
is
I,
+, -, x,
the best
-f,
(), and
mode
are
letters.
s
which the symbol consists in position
as in A
in which
the distinctive symbolical force of the form lies in writing B
in
over A.
K3
ON SYMBOLIC ALGEBRA.
102
It is usual to call
II.
down
laying
+ and -
signs,
but in
existing between +
on the
-f
Let
on
insist
this
common synonymes
the more
for
It
to
is
namely
AB
,A
and-.
III.
factor.
symbol preceded by + or
In A*>
the base,
is
a term; by x or
is
When
the exponent.
them be
called co-terms
4-
an ex-
when
of
factors, co-factors.
IV.
and
Let
Thus
and
4-
first
A
+A
and
V.
is
is
and
x,
A, having reference
A, having reference
to
understood, as in
and
equivalent to term
factor
A-A
0,
differ
Of A.
1.
A v A = l.
x A
A=
last is 1
-f-
The
I.
starting
symbol
frequently used in factors, but rarely in terms. The
and - A, in abbreviation of
student is well accustomed to +
and - A but not to x A and 4- A for 1 x
and 1 -f A.
+
is
latter a little, if
when
A
it is
factors,
or whether
we make
it
apply to
ON SYMBOLIC ALGEBRA.
the
compound term
we
see the
VII.
Thus, looking at
or factor.
A BCD
*
of the
103
and
ABCD,
first
over factors: as in
+ (0
at full length
*A -) =
=
l^-(lxA^B)
VIII.
to
The tenn-signs
+ (0 +
^) + (0
B),
l~(lxA)^(l^B).
of factors
may
A x - B = - (- A) x B = - (-)
(A
x B).
As
XL
in
-=-
deduced, and
is
and x (B - C)
XII.
The
ponents, are
4-
A=B A
is
-f
C~
as fundamental).
1,
As
in
A.
and
A" =
down
not to be set
ex-
(the
1,
= A.
is
As
deducible).
in
A*
A^
c
,
B c
)
= A**
c
.
As
in
ON SYMBOLIC ALGEBRA.
104
symbols
make
and
symbolic algebra.
symbols and
all
these
amount of proof by
to a sufficient
all
its
all
who
the combinations
of ordinary algebra.
Let
and
so
be abbreviated into 2
Now
on.
4 B, namely,
AB
and
or 2.4.
(A-B)(C-D)
x (x 4 4
is
into 4,
and
is
or
-f
Ix447x.4,
(A-B)C-(A-B)D,
or
or
AC-BC-(+AD)
(vn),
.4x447,
-(-
BD\
or (ix),
A = AC
^TTT, for x
.oG
(x), x
7),
(xi)
AC-BC-(AD-BD),
Jo
AxB
A + A is x A + lx A
A A + A = 3A. Again,
for (iv),
Similarly,
1x4x^4-7
is
3+
A + A - 2A
or (VII), (VIII),
into 3
Jo
or (xi) (1 + 1) .4
4.447
2 +
A Bx
-4
.4x0
A x C 4 (B x C)
(74 C, or (v), x
= 0; for(v)
which (v)
^4x0
is
is
(vn).
4 B, or
(+
B - B),
xAxC+B^C,
or
jQ
or (xi)
4-
AB - AB,
0.
is
From what
precedes
Jj
+ C
is
This
Jj
is
an instance
2*2
of the deducible part of (xi)
The complete
is
this:
with
may be
it is
its
xA (B+ C) = +
-f
parts,
distributed
its
^
-g
^ has
its
-f
(B
-t-
C)
is
been shewn to be
V (A x
B+A
AD CB
x C)
or (xi)
+ BC
AD
- .-.
ON SYMBOLIC ALGEBRA.
*
is
(xiv)
So that A-* =
A
^3
^4
is
1+1
,
^ B+(
B)
A
1
gives
(^ty =
x - .B
is
(VIII)
^4
x (x
(BC)
is
and
A A\
or
^f 1
^B
or (ix)
or
^4 (xn),
-(-)A
Bx
(7),
or (IX)
or (v)
105
A\
^ B ^- c = ^ B
or
or (xn)
AAA,
&c.
A* A* A*
= -4
is
1.
x ^, or + yf-B, or ^45;
or (vn)
x (x
5)
x (x C),
AxSxC.
number
letters
a, b,
and
c,
exception of
I shall use
106
CHAPTER
III.
MAKE
the
example of
first
significant
algebra to be an
and right
(rectangles)
is
useful,
and abounds
in instances of the
However
clearly a
student
may
book of Euclid
are not sound, except for lines which are commensurable with
one another,
yet,
may be
may
be sus-
.for
all
lines whatsoever, it
really
so
is
it
the
AxB
;
the second x in
solid
under A, B, C.
thus
2AB
is
The symbols
twice a rect-
* The
length of this phrase is intolerable and I am in the habit
As a right
of using the following extension of the word right.
line is formed by the simplest and most direct motion of a point,
:
so the term right area might be applied to that formed by the most
direct motion of a right line, and right solid to the solid formed by
the most direct motion of a right area.
Accordingly, the rectangle
and the rectangular parallelepiped would be the right area and right
solid.
ON AREAS AND
SOLIDS.
tiplication.
put together
I,
(understood, xn.)
1,
107
AS
a length,
A S
-f
unmeaning
is
is
AB^
other side
(C being
and B.
angle under
the
altitude)
(D being
And
C.
A, B,
AAA
ABC^D
of a right
ABC^DE
is
And A*
AA
the cube on
is
And
or
is
solid
the altitude
is
the
of the same,
square on
A;
DE
3
or
A.
will
A (B
C}
AB -AC,
or,
of two bases
rectangle under the difference
ference of the rectangles under those bases.
is
parallels, the
equal to the
dif-
ABC=ACxB,
of
A
As
to C.
far as
-f
And A*,
arithmetic.
ABCD
are significant,
ABCD E
-f
system
that of pure
is
And we
A^Ex BCD
BCD as
sions.
is
is
this
But
is
of E.
Shall
we then
say
we
say, in
common
6
_
" L + _?L
2^4
common
~
'" _e"-
be answered
+e-'"-
or,
if
2
alike.
to find a fourth
ABCD:
to
algebra,
will
ABC
ON AREAS AND
108
it,
and
of the
call it
we
three
find
all
algebra, gives
SOLIDS.
its
possible.
And
just as V~l>
all
the laws
common
would
it
be with any number of dimensions of space which the speculator might choose to call into impossible existence.
The
results
metry.
Thus (A + B)2 = A 9 +
2AB + B*
is
Euclid
And
_<4
that the
II.
4: not an arith-
itself.
AB + B*,
A > B,
when
significant
means
JL>
the
difference of
much
caused
founded to find
is
its
way
of the notion
into the latter.
It is
from
rightfully
this
its
to
two
I
well,
solids
should recommend
and,
the
student
line.
to
consider
this
algebra
of ordinary
109
CHAPTER
IV.
we were
to
ask
most depends.
It is
(-1)4 (-1)4
or - 1
Consequently,
= V-l x {V-l x
V~l must
successively applied to + 1
be)
satisfy
this
1}.
condition,
done.
that
twice
which
this
is,
is
that
new
It
system.
matics
now
established,
if
us,
fifty
completely significant
systems
We
at
all.
is
possible),
same
must have,
all
if
possible (and I
we do understand
that
am
still
to
show that
it.
understood in the
sense,
significance to symbols
cordingly, +
and -
are
still
units.
in
which we have a
The answer
PRELIMINARY REMARKS
110
seems obvious
But a
little
consideration will
be represented by V-l.
For then </-l.l would mean 1-1,
or 0, and ^/-1{^-1.1} would be *j-\ {0}, which (page 104) must
be 0. Besides, this operation, go back an hour, is - 1
and
1-1-1 is - 1, as required. Moreover, since by the laws of
;
algebra V-l
as
cannot
would be absurd
to
to
positive quantity,
which
future, all
already taken up by
is
all
which
is
taken up by
when +
must remain
Next
We
past.
may
- 1 of
time,
past time,
and
positive
negative quantity,
insignificant as to \'-l.
we might be prepared
of certain loss
significant
it
basis of significance
is
to
for a
will
impossible
it has been before those
;
hope
more than
who
think on
forty* years.
When
At
ourselves at a loss to
except in
one
case.
make
Length and
direction
in
a plane f
offers
* See Phil. Trans., M. Buee "Memoire sur les Quantites Imaalso the first edition of Dr. Peacock's
read in 1805
ginaires,"
ON DOUBLE ALGEBRA.
Ill
We
first,
and
satisfies
the
its
direction to that
equation
1 =-\/-l
which
x {V~l x
it
had
This
1}.
first
that
represents
-y'-l
by +
is
a consequence,
not an as-
on a geometrical
Because,
we nowhere
this
limitation
before seen,
any one
result,
and
is
Why
of significance.
distinct
As
basis
except in geometry,
loss, in
manner analogous to
between the two
intermediate
that
pendicular,
moment
of
its
correlative
it
will
and
loss, as
now
peris
as
to those
presently be established in
significance.
B OA
If
OA
OS
for
one of
PRELIMINARY REMARKS
112
expenditure,
OA
towards the
left,
would never
fail
1)
and the
last point
OC
does
OA
OB
pened.
is
we may
we do not
OC"...the
at
Christian aBra:
to geometry, but
with ample means of representing all the
have, and introducing others for which most notions
see that
extend ourselves to
notions
we
of magnitude
propriety of
it
afford
restrict ourselves
And we may
no analogues.
us
extending the
meaning
of
is
this
see
the
geometrical term,
and calling time, loss and gain, &c., magnitudes of one dimension.
But then arises the following question Granting that we help
:
ourselves
in
geometry,
or loss
and
in
of
geometry,
use
algebra
out of
problems
gain, &c.
what
To put
it
should
epoch
will
this
after
the
epoch
and
really
truly
what does
impossible*
it
is,
is
not,
* The word
impossible has been so misused in algebra, in the
sense of inexplicable, that the impossible of ordinary life, which
"can't be and never, never comes to pass," requires some additional epithet to express
it
in
an algebraical work.
ON DOUBLE ALGEBRA.
As
113
" the
long as the meanings of symbols* remain unextended,
essential
of imaginary expressions
character
is
to
denote im-
2.
that the event takes place, say in 4 hours from the epoch, and
that
our solution
is
we are unanswerably open to that impuwe translate the terms of our problem, that
geometrical ones, and work a geometrical answer,
basis
of significance,
tation
is,
but that,
substitute
if
to
the
original
problem
contain.
Algebra takes
may be
by
its
* The
quotation which follows the words in italics is from the
review of M. Buee's memoir on Imaginary Quantities, in vol. xn.
The earlier writers on this
(1808) of the Edinburgh Review.
subject were
to
Hence,
distinctly announced, and I imagine, indistinctly conceived.
as against M. Buee, there is an amount of propriety in the reviewer's
remark. But, nevertheless, it is a striking instance of the confusion between ignorance and nature, alluded to in page 98. There-viewer ought to have seen that in pure arithmetic every part
of his dictum, applies to negative quantities.
L3
PRELIMINARY REMARKS
114
This
is
illustration.
are aged 6
Suppose, then,
and 16 years
may
some
require
the other?
are insufficient
there
is
'
required, &c.'
to the
Now
mention of age.
add
to the second
due
problem the
condition that for each apple which either gets, the second gets
also, and we have the first problem, in which each 1 is
derived from a year, faithfully rendered into another in which
each 1 is derived from an apple and the answer is, When each
one
'
I.
11),
and
to
apples.
The separation of
essential
is
who would think upon matheIn the first problem we see that the answer
matical subjects.
is what it is, not because it is time of which we spoke, except
to
all
The
is
all
by persons
The formation
the rejection of
all
trans-
ON DOUBLE ALGEBRA.
There
which
115
is
will
it
is
and the mode of operation: these two things are disto those who can separate them.
But there may be a
science,
tinct,
in doing this
is it
possible, for example, that we
could think of addition without thinking of number or magniThe
This point we shall try.
tude, or thinking of more ?
:
difficulty
subject-matter of arithmetic
is
number
its
primary operation
is
numeration.
or
counting
modes of expression)
Memory
we produce number
for use.
Any
to
add seven
to three,
He must
the total.
to
from.
start
alteration
Thus we
have
ln
ing
}
sevTn.
Ina
add one
>
e Ven
See
}'
>
>
6; add one,
add another, 2;
!;
7.
same manner
is
'
as
matter
to
is
make
numerical.
Z,'
abounds with
algebra
for
It is only
art,
It
is
so that in
the subject-
did with
X as you
'Do with
w hen
it
is
seen that
Again,
let
"What
is
7 times 3
Here the
subject-matter
It is a
number
PRELIMINARY REMARKS.
116
which has a 3
then
+
is,
Accordingly, a x b
in the formation of
unity in forming
and
in
which there
is
in 7.
x B,
b.
write
0+3
7.
The
direction
In place of
+ 3 + 3 + 3 + 3 + 3 + 3.
1.
CHAPTER
V.
named from
its
of
the
If the
length).
be called
single.
symbols,
first
and
then proceed
to
establish
the rules
in
II.
Chapter
same
Two
lines
finite
parallel,
parallels.
when they
are
AS
same symbol
entitled to the
and
A, B,
if
C,
be the points
of a parallelogram in order,
but not
AB and
CD.
is
is
The symbol
equal of a
origin.
and
line,
The
direction,
so
line 1,
to
is
speak,
at
the
it
to.
is,
When
is
drawn from
number.
118
SIGNIFICATION OF SYMBOLS
we
perpendicular to
Since
AB
reference to
if
is
ways,
it
as
O by
choose to
recal
properties
and the
first
call
be set
will
it
and
off,
we
extremity, let
its
Let the
A + B.
be denoted by
Then the
is
strictly
a different subject-matter.
we put
And
place
applied to
To form
of
A + B,
in
+ B.
when
is
the
in
operative
}
how
we
far
are from
A+B
how
supposed to indicate
when
direction,
is
-t-
far
we
joined to A.
and
are from O,
And
since
A, annexing -
in
what
(A+B-B)
is
be
or
0,
^4,
or
from
If
itself.
and
as in single
rules.
or
2,
And
is
be
in the
same
direction,
A+B
length in the
and
A- B
are
2 + 1
three units of
1,
and
will
is
be
truly
when he
is,
on
his
way
to port),
DOUBLE ALGEBRA.
IN
119
of no
may be
each,
more
Nor
is
of 10 miles.
there,
one sense,
in
and 12 make
the slightest
10.
There
of length
is
(or multiplying
the length of
units in
OU through
by turning
substitute
its
multiply
OU
accomplished by altering
to the length of
OU
in
by the
the ratio of
number
OU
of linear
JB).
the angle
in the place of 1
length by the num:
it
and
shall
we agree
if
be denoted by
Ay.
we
The
length of
A x B,
rule.
is
A B
unit-line
is
the
sum
of the angles of
and B.
and
algebra,
let (a, a)
signify
a line of
at
then we have
AxB =
This transformation
with more
_L
difficulty.
B = <f v{
T?
/(
"
w
Since
>ince
-r
AxBfB
-f
as follows
a +
/3).
o
i 2a
i
j,
A B
(at),
is
to
1 13
cos(/3
)},
tan
-i'
sma
is
expressed
& sin/31
a
cosa + icos/3/'
acosaicos/3J
SIGNIFICATION OF SYMBOLS
120
of the
number
(2,
a +
haps at
and
TT)
first
it
(2,
inside the
2?r
is (2,
a)
:
thus (- 2, a)
or (2, 4?r - a), &c.
Per-
parentheses
a),
will
The following
these parentheses.
are
some examples
,,
3 x 4 =
(3, 0)
-3 x
(4, 0)
4 =
(3, TT)
- 3 x -4 =
(3, TT)
x (4,
Hence
it
(12, 0)
(4, 0)
TT)
(12,
(12, 27r)
TT)
==
unit-line,
0)
and
But
lines of the
TT),
= 12.
and
multiplication
directions except
12,
(12, 0)
same direction
And
let
>JA,
V'A,
~J A,
&c.,
-J A
be
lines of
is
'*]
\J A, &c., being each equal
^A ^A,
to A, and they may be called the second, third, fourth. &c.
roots of A.
Then we have immediately
defined by
AA = (aa,
2a),
(aaaa,
4),
= fa, ?
&c.,
&c.
As
explained in pages 43, 44, choice of values immediately commences, as soon as we have occasion to take a subdivision of
an angle.
may
as in
infer,
whose angles
may
differ
by
IT,
^A
half a revolution
f /"/
any one of V
\
+m
we
VA
has three
a third of a revo-
2?T\
) ,
IN
where
is
any
DOUBLE ALGEBBA.
Thus -
integer.
V-l
either
(l,
being
121
(1, TT)
we have
for
or
(l,
^),
-V-l
As
unit
will
yet,
line,
be denoted by
(1,
f TT).
general,
wider kind.
we
the theorems
much
When we
carryings forwards and backwards with the compasses than numerical efforts of mind. But in establishing
(A A - SB) ~(A-S) =
we
less
theorem.
common
and given
with the
last
common
intersection before
and
named with
if the lines
joining the
the last found extremities
is
and the
* Whatever
may have been suggested by the considerations in
page 109, the reader will see that double algebra is far from being
founded on the assumption that V~ 1 denotes perpendicularity. If
suggestion be foundation, it is more nearly founded on the separation
of operation and quantity in arithmetical addition and multiplication.
SIGNIFICATION OF SYMBOLS
122
first
result,
first
verify
in the
meaning
of the terms.
The unit
the
line
line,
of single
To show
or (a,
first
this,
is
(a, 0)
(1, f TT)
|TT),
Let there be a
line
R, and
let it
line
IV-l
and
its
The
first
projection
NM
NP
is
(b, |TT)
definition
or b
at the angle
converted into
is
for
we
that
of +.
and
its
this
second until
and
sin/j as
by
Remember
nothing out of
it
my
cos/)
first
We
may
consider cosp
be called cosp
(1,
projections,
the perpendicular.
sin/>
for
sin/)
V-l,
(r,
And
p)=r
eri
(cos/)
-f
we nave
sin/>
V~l)-
IN DOUBLE ALGEBRA.
I
shall
all
member
123
Re-
are strictly
),
it
except
arithmetic
until
II.,
of double algebra.
to
3x4
say
3x4
12
is
3x4
so that
I.
in the parentheses
(12, 0) or
is
made
significant,
except the
II. III.
AxB
and
In
IV.
-f-
freely
AB
use
and
for
-=
B.
we
A, or rather a case
of
A,
In
might be the
the first 7 which
common
alone,
last 7 in
is
is
counted from
and
is
but
+ 7
a direction
we
see
to alter
is
its
its
and
Any
case of VII.
- to a
application of + or
we apply +
and therefore
unaltered.
may
easily
satisfy
it
their
is
a direction to
appear from
if
But
is
if
common geometry
that the
them
let
Now
The
be shown thus.
not
1x7
arithmetic,
were constructed to
-f
compound term
applying the
common
(1, 0),
A A
if
being
7xlor7-flis7
In
angle.
stands,
to
equivalent
- be
applied to
its
opposite,
compound
is
it
also
124
SIGNIFICATION OF SYMBOLS
changed into
its
is
applied to the
compound.
Again, in
-f-
(1 x
-f
JB)
we
-?,
But
in 1
-f
(1 x .4)
4-
(1
-r
B) we
27r-(a-/3)}
have, since
as before.
The
VIII.
angle
of a term sign
unless the sign be -
affects
application
nor even
that,
the
only
in which case a
Now whether
is produced.
be made on a factor or on the whole compound,
matters nothing; for whether the factor sign be x or -f revotwo right angles is of the same effect whichever
,
lution through
way
made.
it is
IX. The
Thus, - (-
sition.
is
is
Again,
or
-1
-^
X.
(f
The
obvious
which +
A)
or 1
(- a) I
-f
JB
and f
(1
4-
A),
being
or (a, a), or 1 x
first
-f
is
0)
f-
-J,
A.
that relating to
terms,
is
S are
sides
and
4-
B+A
is
IN DOUBLE ALGEBRA.
125
to change places
A + B + C - D + E = (A + B) + (+ C- D) + E
for
And
if in
any arrangement any two consecutive symbols may
be made to change places, it follows that, by change after
change, any one order may be converted into any other.
As
to the factors,
distinct
operations,
and
plain that x
it is
which
of
either
4-
other.
is
is
the same
for
instance,
(a, a)
(b, j8)
a +
(db,
/3)
(Jo, ft
XI.
no
Thus
And
It
may
-f
is
is
Bx
A,
essential distinction
A+B
A B
a)
.,
is
4-
between + and
A - (- B), or
A x (1 B).
(a, a)
a)
(6, TT
-f-
and
or between x
-,
may
-K
ft).
then
be contained under
+ C) =
A(
If
any number
of lines be
make
a.
+ AC.
by A,
multiplied
it
is
obvious
creased by
made with
is
in-
all
all multiplied by a.
If then the
and diagonal B, C, B 4- (7, be all multiplied by A, we have
AB, AC, A(B + C), sides and diagonal of another parallel+ A C.
ogram. Therefore A (B + C) =
AB
is
we have
truly rendered
and
an identical equa-
significant
by the preceding
algebra
is
so
much
And
of the
definitions
further, that
ordinary or single
double algebra as relates to the
all
is
omitted
in,
and cannot
113
SIGNIFICATION OF SYMBOLS
126
But
inevitable
particularly
when very
stand upon a
very
small basis of
And
definition.
it
is
not
examination of
close
first
all
the
definitions
and of
defi-
all
the
and
is
assumed except
the doctrines
of parallel
similar triangles.
I.
produced.
It is seen that (1, 0) x (1,
= cos#
-t-
-6) =
V~l and
9-6) =
1.
But
(1, 9)
(1,
product is
=
ingly r cos6> r cos9 + r sin0 r sin#
.
form of
(1,
sin0.
I.
Now
47.
it is
rr,
which
undeniable that
I.
is
47
the arithmetical
is
proved again
(without reasoning in a circle) from parallels and similar triangles
in VI. 31.
There must be then, in our definitions, and in the
operations which are performed in
(cos0
-f
is
made
in
VI. 31.
following.
From
(1,
0) x
(1, 9)
(cos0cos6>
= cos(0 + 9) +
But a
and
-i-
b i/-l
parallel lines
cos (0+<?) =
Now
it
sin
-f
(0 + 9)
V y-1
^-\.
gives a
= d and b =
COS0COS0
sin6>). -/-I
6',
since equal
Hence we have
IN
DOUBLE ALGEBRA.
127
the unit
line,
<COM=<fi
and
0,
figure.
Accordingly,
OP =
OQ =
cos0,
OR = cos(0 + 0),
cos0,
OR = OX + XR = O X + (- R X) = OX + (Now,
OB
FT),
as to lengths only,
OT::
OQ OX
or
cos0
::
cos0
OX= cos0cos0,
VT = sin0 sintf,
OB:BQ::CT:TV
OB: BQ:: OT: TX
TX = sin0 cos6>,
O^ :OQ::TC: VC
VC = cos0 sin^.
OX= (cos6cos0, 0)
= (cos0, 0)
TT)
= (sin0,
\TT}
= (sin0,
I-TT)
= (cos0, 0)
XT=(sm<t)COse,
FC = (cos
sin 0,
x (cos0, 0)
=
=
ATT)
x (sin6,
^TT)
x (cos0, 0)
x (sin0,
^TT)
|TT)
OQ x OP,
QB x PA,
QB x OP,
OQ x P^4,
OP.OQ
OX + (- VT) + XT+
OR + RC= OC.
=
Here,
first,
or (1, 6) x (1,
4-
Q5.P^4 +
or (1,
OP.QB
OQ.PA,
VC,
+ 0) from
OA x
O.B,
SIGNIFICATION OF SYMBOLS.
128
secondly, in so doing
we
OR= OP.OQ+QB.PA,
or cos(0 + 0) =
RC =
OP.QB
or
And by
OQ.PA,
= (sin0.^-l) cosO
sin(0 + 0). <J-\
this
and
similar instances
we may
-t-
when
the
mind
is
notions.
the case
The
when they
represent no
great difference
is,
subject-matter,
we
are
carry conviction.
129
CHAPTER
VI.
We
logarithm to be divested of
its
\A) be
(denoted by
result of
word
logarithm,
defined as the
ing property,
\A
-f
\S =
X (AB).
An
sum
the
with respect to
(r, p),
Mlogr + Np,
all
\R
If
A.
{RR
or
(rr',
p+
p')}
=
=
as
we wish
symbols,
we
is
M and N being
any fixed
M logr + Np, we
R being
M
+ N
+ p)
have,
logrr'
- AR
all unit-line
&c.),
= Mlogr +
Now
-t-
(r', //),
(p
Np
+ Mlogr' +
Np
\R.
we must make
M=
is
yet
mode
130
Our
expressed.
\R
definition of
\R
now
is
contained in
- logr + p*J-\,
of as
on the unit
line,
many
line
its
meanings
is
unlimited.
p
of
m we have
of
time, a choice of
first
And
all
the logometers
with altitudes
p,
p+
27T,
line
p + 4?r,
have an
infinite
number
of logometers,
For
if
+ &</-!
AB
Now
Let
its
logometer
is
\A.
letter \, so that
we may
Let
an angle
to
If
\A
we
we use A*
whose logometer
is
A,
an abbreviation of \(S\A).
be the base of the arithmetical logarithms used in the
state that
is,
remember that
as
is
denote a line at
strictly to
it is (e,
0),
and
(E,
77-),
or
(f,
4?r)
manner
of measuring angles, so
we do not
it
e is
the peculiar
be any which
it
can
be,
until
We
have then
\R =
=
(a 4 &V-1)
(a
2
VClog r +
V-1 =
r 4
lo
is
tai
r sin /a),
r cos p,
ilog (a 4
131
4 taiP - .J-l,
is a,
).
Having shown that the fundamental formulae of trigonometryare deducible from the double algebra, I now use the first book
in every point
of this treatise,
mode of
The following
A\ we
In
XII.
(1, 0), or 1.
We
definition, the
second.
Now, by
or
C(\A
4 XJ?), or
\A
that
\B
we
or
C\A
C\B.
on both
sides.
that
Since
is,
Therefore
(B 4 C)\A, which
C
)
is
\A B
C\(AB)
is
J3
or
it
A C BC
provided
and the
sides,
B\A
ft
(A*) =
AB
4 2m?r
C\A,
or
follows that
is
a 4 2.rmr and
A* +c
A*A C = A B+C
if
on both
\A C
a logometer of
is
(ABf A
=
\(A*A
(AB)
C\S.
same of
XIV.
C\A
logometer of
of
A* c
above
for
is
Am
or
A A\
1
or
This
AA
is
in fact, contained
is
such that
132
whence A*
is
Am =
from which
For
V'A
or
pressing
\A
-y
fi*'"
we have l-fO^-l
That
\A.
m
(#
ma),
>
6A
is,
or
Hence
1.
for
we have
and we have, as
But
all,
ma V~l) =
all
(m\A) = y (m log a +
A,(e, 0),
\(A\)
and so on.
its
+ 6^-1
logometer
cos0 + sin0.^-l
this is
therefore (1, 0)
therefore
And
it
it
angle
value
The
represents.
upon
first
side
those of e and 0.
is
If,
dependent for
for instance,
its
numerical
we choose
which
is
not
6 ^' 1
.
Nevertheless
it
e""'
is
will
to
units
we may by
the
the property fA
is
of
0.
xfE
and cos0 +
Accordingly we must have
independent of
C9
This result only
sin 0.^-1 is
arbitrary,
determined.
where
Return to the
^' 1
such a function
= cos0 + sin0y-l.
differs
quite
possesses
CA
first,
- cos
of e^"
which
+ sin !.</-!>
is
wholly un-
is
it
gives
is
common
to
we were
If
and
in
this
appeal
equation to
time we should
of
process
make no
to
algebra,
define
133
be arcual,
is,
that
if
angle
But
as
I
us,
n-+o+-
may be
it
will
must be
establish
on the following
it
binomial
the
basis:
when x
is
And
its
we assume
limit,
1\
(/
+
assuming tan x
in
^-)I
Its
is
logometer
-tt
or
-^
(l
J2
~^
sin/>.\/-l)
+
(l
^)
\l4A;sin/vJ
**) 4 tan'
-8/-
being (cosp +
1 \
+ X=r-l
--
say (k,
^] = ilog(l + 2&sin/j f
And,
is
(-
(r, p)
-r
(l {
H\[l
\
Now
-=-
k,
7
A;
V-l.
sm/j
we have
P + Q V-l,
where
- log(l
P = cos/j
,
2A;
log(l + 2k
sin/,
+ *) +
tan
A;
+ Asin/a
sin/>
-
~=
Z; )
log(l 4 2k
sin/; 4
or let k
-- (2
/,-*)
134
its
we have
tangent,
&
_j
A;
and the
limit
_t
cos/>
+k
is
Hence
cosp.
cos/>.2 sin/)
has \
cos/)
+ k
sin/j
P+
cos/>
&
1 +
has for
cos/>
1
sin/>
+ &
'
sin/j
its limit
or
sin/> cosp,
+ cosp.cosp, or
sin/j.2 sin/>
and
sin/>
V~l -
R
-R)
has for
Let
R = n*J-\,
\nV-l
1+(1
but,
as
limit 1
Ixnl^- 1
ff
or^l+/
L\
nj
+ i
-f ...
(1 + 1 +
(1
11
-+
V- 1 =
cos
(1, 1)
...j
approaches the
Consequently we have
-f-
n)
+ sm 1-V-lj
We
demonstration,
The symbol
occurs
ings
if
Book
of
I.
that chapter be
\R
the
is
a property which
it
now
inserted here.
first
in
is
infinite
by
reducing JR
it
to another form.
is
finite,
Let
re^"
since
may
a)
-f
r cos
is
tan" (b
135
and
(a"
f b*f
is
exponent
is
But even
absolutely unlimited.
is
when q
not =
that
0,
is
number
in
this
of directions
when
is,
number
when p
case,
the
of values
is
is
an integer,
is
there
j>
<^
which has only one length, and as many directions as there are
If p be incommensurable, the
units in the denominator of p.
number of variations of direction is infinite. The case of b =
is
The
of
%q
to significance,
first,
by the complete
process,
next
(2m?r + \TT)^-\,
for
it
is
integers
to
we
Imr +
distinguish
please.
\TT).
and
Inir
This last
is
But
2nir + Ik-.
the logometer
1
A
V- 1 = +
rVLl.
Otherwise
or V-l*"
...-3,
1,
is
1
1
1
V~l =
/
5, 9,
is
in the series
&c.
The following
now been
seriously proposed
136
into
therefore
'
J~
v"
27rV ' 1
~2
Since
ordinary algebra.
Or
1"=1,
which
1,
I/'
but
~2
of
""r
.
we admit
Accordingly,
try
the logometer
v~ l
the
^'
we
If
absurd.
is
equation
~ 2m7r
7rV "
not
last 1 is
How
if
the
1 is (1,
first
the second
0),
is (1,
2;r).
ivithout difference
In the Rules
of value.
xm. and
xiv.
is
it
demanded
same
that the
if
may be
error
that
observe
AP
logometer in A*,
Ac
XQ
-I-
call it
means
P=
thus taken,
A B .A C = A* +c e ""^
2
Hence
A* and
A E+C
Qs
B
.
= A** c
+ Zrmr V-l, in
is
1
,
in
which
that beginners
j?
C=
J,
n =
are
may commit
1.
Unity,
logometer
when
formed from
+ 2tmr
V-l
Let
Ae^'
is
it
two
and
Use a particular
\A
A*A C
The logometer of
A*.A C
First take
produced.
and
a,
2 ""
But
or + 4
>
= - A.
=-
The
4.
different logometers.
v~ 1
,
is
exhibited as ae"
\
(1
from
-f (
A mB
and
if
if
mA
the value
A* formed
^
j
we have
it,
tii
*)Jn
'
V-^m-^n^
Ak
-n \C
,<
(A
V
2m7T B ^-l
B 2(m+n-p)7TB'/-l
^n = -^ E
B A B
-^m
from
137
BC
g{
; c p C
= **
-l
}'
TT,
y-i
m -")'rBV - 1
2(m+n-*-Z)rCV-l
>
lV - 1
2Cm- *) BC + 2 " c
^~
2t
very often
found
in
\ (-
1).
or A/1 or
But
reasoning, </a
<Ja is
it
^a be
y'a.y'a, we
uncommon
or i a >
last is true, if
indefinite.
and
are not
if
in
both the
first
- 1)
ground that it should be V(- 1 x
was hardly seen that, on this mode of
*J-\
and second
all cases.
For then
bound
factor,
then
And moreover
it
to use the
^a
this
same value
<Ja is
a,
4 a or -
in
a,
logometers
138
CHAPTER
VII.
THE
of logarithms
theory
and even
admits,
rithm
It
to
we
are
now
of
logarithm
to the loga-
base.
any
when
at a future time,
will,
ordinary Naperian
to
an
requires,
The loyometer
it.
a significant algebra
made
is
and
(a,
-f
of symbol.
meters,
it
2?r)
But even
will
be
at
in
present,
R may
R m may denote (r, p + 2i?r).
be the base
Let B or
cordingly
that relates to
all
logo-
while
(b, (B)
X or
it is
X
by the equation ,B*B = ^Y.
The logometer of the last chapter has (t, 0) for its base. De= \X, or
noting A _AT simply by \X, we have \ B X.\B
meter of
(x,
to
to be
The extension in page 48, supposes
be a symbol of the unit line, or = 2mr or (2
logo;
we have
That
XB
X = logx
(a + 6 y'-l)
log 6
log b
::
(e,
and
2m7r),
I)TT.
When
/3,
= log (base
b) x.
+ q
<J-1, a
propo-
sition collected
is
a real function
of a real
quantity
is
real
quantity.
For
is
MISCELLANEOUS REMARKS.
139
it,
the axis of direction, and also the positive and negative direc-
tions of revolution.
still
repre-
what they did before; but the lines which were a + b V~l
and p -f q */-!, are now a- b 1/-1, and p - q -/-I. Therefore, the
sent
(a
then
It
(a
+
-
y~l,
would seem as
cable result
what
a + b^/-l? or what
is
is
if
a'
b'
there
-/-I, &c.)
is
still
the angle a +
/3
=p
=p
left
+ q </-!,
q V~l-
*J-\ ?
what
is
the length
There
is
arises
in
= (V(a8 +
e-/
tan'
-+
a
a),
when
solution,
If the
MISCELLANEOUS REMARKS
140
we
when 6
have,
and when 6
is
is
still
not,
COS($V-1)~
1
Similarly sin"
an
Sin (^
'
V-l)-
V"l
Thus
intelligible signification.
&C
(a;
algebra
corrected in the
accession of
TT
and ?rV-l
to the angle,
roots
are
to the logometer.
Aconce advanced by %TT, the
at
The only
ously.
x= -
perfectly continuous
way
of passing from
x=+a
to TT, or from
by supposing 6 to change from
to - TT, in the formula x = a(cosO 4- sin#V~l)
an d the corresponding continuous passage from x = a to x = b is obtained
to
a,
is
f (a + 6)
In this change
many
in
+ | (a -
cosd
b)
-f-
all
calculus,
1 (a
b) sin0.
V-l-
change continuously. In
which are inexpli-
results
When
system,
that
in the
is,
if
But
V(&-a*-).V-l,
is
(b,
or
JV&,
0)
or
b,
tan"
and
their
sum
is
a,
for
AND APPLICATIONS.
141
is
0)
the diagonal.
entitled- to
that name,
arithmetically speaking
magnitude.
The following theorem, given by M, Cauchy for the determination of the number of imaginary roots of an equation, and
for the proof that every equation has as many roots as dimencan be established with clearness by the use of double
sions,
algebraical meanings.
of the extremity of Z.
z in (z,
or the coordinates
),
AZ n \ SZ n
'l
...
an integral
function of Z:
ployed.
Write x
where
and q are
4-
real,
(x + y^f-V) = p + q*J-l,
let
x and y and
x and y are such that
or unit-line, functions of
When
(x
?/V~l) = 0, let the point of which they are coordinates
be called a radical point, single, double, triple, &c., according
-)-
x + y^-1. Let
bounded
contour
whatsoever
any
the extremity of
traverse
As
it
7)
changes of sign in
at
is
through
0,
neg-
lecting the
at
Then
| (k
1) is
the
number
it
First, if the
as
indicates occurs.
For
if
all
these
is
divided,
it
external boundary,
will
is
true for
be described
twice,
in
except the
two opposite
- or from -
to +,
MISCELLANEOUS REMARKS
142
If then
it is
the same as
only.
p and
vanish, p v q
both
For if neither
q must vanish on that contour.
does not change sign at all, and k - I is but 0-0.
all
to
be reckoned as part of k or
If
I.
made when p
q
be counted,
or k = I,
there must be as many from + to - as from - to 4
=
k I 0. To give value to k I there remains only the case
only vanish,
and
if
4-
all
in
which
p and
and so on,
again,
been
at
it
that
first)
Now
q both vanish.
first
taken,
must be
only
those
if
smaller contours be
at last (whatever
contours
which
it
may have
have
radical
subdivide
it
perpetually,
p and
internal subdivisions,
sign.
We
may
pro-
extreme values of
y.
That
is,
the values of
we
x and y
for
which
or
0(# +
?/v'-l)
contour; which
is
ma y
absurd.
AND APPLICATIONS.
It
143
is,
and no
that
others,
we must look
for
symbol of OP.
be Z, and PQ,
H
=
=
0Z 0(^4 4 H) MR + NR'
0Z
because
We
It.
divisible
is
and
If be the
let
Let
by (Z
H)
or
+l
(A
OQ
let
..
If.
K) by
have then,
0Z = mr
cos(sp 4
/*)
4 nr
a*
cos{(s + 1) p
fl
p _m
cos (sp +
sin (sp
/<)
/LI)
+ nr"
4
p +
K}
sin{(s + 1) p +
w cos{(s 4
4 ,) 4
4-
...
} 4-
...
r cos{(s 4 1) p 4 "} +
...
1)
"}
...] <*/-!,
this expres-
is
revolutions.
from + to
number
-,
made up
sum
of the
subdivisions
no
since
Now we
whence
it
p
q
subdivision
when
az" cos(w
az" sin(ra
radius
of
radical
points
and
whole contour
is
anything except
yields
Z"' 1 +
many
it
units as that
+ q -/-I,
+ a) + bz"~ l cos{(w - 1)
a) 4- 6z" cos{(/t
1)
'
-t
all
yields as
it
for the
0Z = AZ"
have
I)
so
great
in
circle,
4 /3}
-f
...
...
'
/S}
length as to contain
all
its
the
MISCELLANEOUS REMARKS
144
The sign
as
of
before,
is
shown
is
others in which
Hence k =
to
2n changes from + to
yield
=n
which,
a),
-,
and no
passes through
ITT.
that
2n,
0,
is,
I)
every integral
th
expression of the n
degree has neither more nor less than n
:
roots.
The equation x^ =
symbols.
significant
dependently of x,
seems we
may
by
c (-
xf
is
is
in-
satisfied
into - x, which
Change x
c (- l)i
now
identical,
it
and we
a;)
arithmetical symbol,
we have
2
which
is
satisfied
by
ktr\
0,
or (x,
into - x,
we may,
k'
is
satisfied
(A;
*'
c as before.
&'
Multiply
we have
'
and k and
k,
change x
an odd number,
say,
like,
being also
=
which
we
if
When we
k' is
Un-
doubtedly, then,
(?
a;)
k and
k'
4m + 1,
4m
3.
AND APPLICATIONS.
We
on both
then k +
k' is in either
145
4m
'2,
But
sides.
therefore'
ancl
which
is
always satisfied by
= -
1.
IT
>
The same
may be made
of which
But the
first
is
satisfied
<px
\x I}
x,
we add
root.
= c<px,
(- x)
all
m th
its
equations
c(px, &c.,
to appear to require
<?
1,
as above.
by
= xm
if (- l)'"
= c;
x = (log*),
And
if
(-
1)'"
c.
the explanation
As long
of b less
follows.
as
AC OB
=
on the limit line.
the diagram), and take
From O
draw a tangent to the circle having centre
and radius AC;
let
=
part of the unit line
b
is
OP.
P, and take
Then
OQ is
8
2
of greater length than a, V(a - 5 )
on the
axis of direction
is
now
OQ
+ V(
is
All this
of
is
modern geometry
is
on the
- &2
)-
positive
But when
within the
circle,
OR
and
if
the
parts
is
MISCELLANEOUS REMARKS.
146
investigate
for
is
positive,
and those
in
which
it is
negative.
147
CHAPTER
VIII.
THE
an intermediate
of
plete,
when algebra
character
made com-
is
between the
quantitative
-.
may be
Thus
is
[1,
we find
number
They
(1)"
),
I
(p.
is
No
of w th parts of a revolution.
(1)"
!_
by
restore +
n performances of
its
opera-
tion
and by
change +
(-)" a sign of
into -
after
(+)"
and
(-)",
and
i^
and -
for particular
\_
cases.
are abso-
and
(- 1)" x
of the
first.
* The
only point in which I differ from the view taken by my
deceased friend, the late D. F. Gregory, one of the most profound
thinkers who has ever attended to the subject, lies hi this, that
he advocated
as
is
settled
148
The proand
of
perties
these
established
are
roots
on the
definition
and
to the
forms are
and
may
it
common
Accordingly,
</- 3).
\ (1
3,
-f, might
= signifying identity of directive meanconsider the roots of + 1.
"
be expressed by
I first
ing.
-t-
LEMMA.
If
and n be integers prime to one another,
- na =
Turn
can
be
1.
found, a and b, such that mb
integers
m -f n into a continued fraction, and let the approximation preceding the final restoration be a -f b. Then, by the property of
mb - na
Every
1.
th
root
The
root
first
1T
is
For
integers whatsoever.
or
1, is
n m
(a ) =
(a'")"
1,
"
that
so
root,
root
is
an
is
an
also
th
'"
1,
n -
kri,
1,
an mth root be an w th
root: for
m' and
n'
w th root
as before,
and
8*
it
is
also a
and
k.
be both
Let
a~*
1,
or a* =
??z th
1.
and
For
?z th
& th
(x
"*
1,
(except 1)
where
m = km',
Let m'b-n'a=
root
instance,
and 40 th roots
mb
then a
1,
'
we see from
we now see
32 nd and
roots.
5.
if
root,
Let
n.
that the 8 th roots are the only ones which are both
40*
"=l.
This holds
root.
of
root,
common measure
mb -na =
then
1,
or o
1,
the greatest
is
root.
a" =
If
4.
M*
an
n
)
m th
1.
then (a
!,
or
m th
Every power of an
2.
an (?nn)
"'
=
if
th
+1
either
is
a) (x
/3)...a, (3
being
all
th
the roots.
roots.
As soon
For xn -
is
as n separate
is
nx
6.
If
tl ~ l
or
a,
&c.
/3,
0.
a,
than
less
k~ l
Z,
its
a'
up"/
a'/3Y>
But 7P = 7* =
root.
/3'
p'"^
1,
therefore
-f-
4-
7 -
and
if
roots, &rc..
instance,
m th
take
roots,
and because
an (wm) th
p and
7' is
a jth root, or
is
7'
7' is
rest,
are
a'
/j""-/"",
h
= 7""", therefore
/3"" are n' roots, 7'""
and
the
two w th
For an
a'(B'~/'...
that
follows
it
all
both a
_pth
an d an (?n) th
root,
If
8.
prime
factors,
root,
And
all
7 any
root,
the
n th
n
7),
Pp Q
Pp P***
since
*h
root,
its
Pp th
*s
&c., a/37...
an nth
and no more.
since n is a multiple
Therefore 0/37... t's an n'h root.
no two such products can give the same th root,
Next, (by
P, Q, R, &c. be
if a be any
Then
let
. .
Q3th
any
ft
root.
are
is
=
impossible that 0/37...
of Pp
but n
If
7.
and
/)th root.
a and
is
we have a
numbers except
a (k -
/3"
this
1.
1, o,
being
it
And
then
all
149
1,
Ixlxl...,
&c.
th
is
Pp Qq
...
or
n.
combi-
Therefore
all
all
Accordingly the whole question of finding roots has been reduced to that of prime orders and power-of-prime orders. All
the 360 th roots, for instance, are found whence the 2 3 h 3 3th and
t
5 th
order.
03
150
the roots
Pp P
n be of the form
If
being prime,
p~
lh root of a lower order than n must be
of
the P
any n
(7)
except
(all
1).
'
order:
for,
measure of
1.
there
are
where a
is
must give
1,
(a/ty...)'"
a'" =
and '" being a
(/3-y. ..)""',
1
last is
(Q
P^
11
&c.,
cannot be
less
than
it
may be
{3'"
'"
-l
Pp Q
there
M^
is
&c.
1,
root, so
Now
&c.
root,
Pp
has
For
be not =
are
...
m =
since a
among
its
1,
But
(/*/...)""'.
prime
and
1,
factors;
has
n.
'\.. x
(P
an n ih
1)
(Q
that
(Arithmetic, p. 196)
is,
w th
roots.
Then
there
less
For
if
1,
a,
a"
*,
it,
root,
'
be
are
all
which k
divided
by
n,
all
and
different,
k, 2k,
...
(n
we
in
its
Thus,
if
we
if
('
select
a*,
series in a different
1)
same remainder
But if Ik = I'n + r, aft =
gives the
(Arithmetic, p. 195).
* I
1,
for
1, 2, 7, 11.
is
order.
12 th roots:
principal
we have
and
be called prin-
roots,
2
prime to n, then 1, a*, a *,
ferent, and embrace the whole of the first
in
is
Qq R
and PP and
1,
if a'"
every number
for
ft'"
P^h
root,
and no lower
1,
since
th
..)
Therefore
to each other.
is
q R'.
no lower
th
an
m
a =
...
is
this
are of no
cifi-/...
no
in
ar
the
two
cases
and therefore,
first
series with
a be a principal 12 th root,
would have said primitive nth roots, but Gauss has used
word in connexion with the subject of roots. Moreover,
this last
it
is
much
as that
12 th roots are
the principal
a,
and
",
whenever
we form
if
it
a*
5
a7
a*
a"
a"
a"
10.
the
we have
occurs,
all
12
151
if
Thus,
the cycle
n being
number sub-multiple
ro.ot, we have
in
is
a~ l
thus
of
a6
12, a be a sixth
a"" 1 , a' 2
same
only the
are
a"" 2 ,
n.
for
If,
1,
instance,
a*
&c.
a*,
c.
we
a"
and
',
12 roots into
2
or a and er a
6
a, not a and
lastly,
being a principal
Thus,
cycle.
the
distribute
a3
The
<T 4
a"
a",
~4
and
12"'
5
;
root,
"'
and
or
and
''';
and
6
,
and -
to couple + 1
1.
1.
in their succession.
thus:
and
~3
and
for
"*,
1,
a and a"
1
,
7
or -1, a and a"1
and
a"
which
a and
is
a"
th roots run
cycles of 12
3
a"
and
a4
and
a8
a"
a5
4
,
and
and
which
"
5
,
is
and a 4 &c.
,
[Hitherto
principal
the roots
(page 45) we see one pair of roots, both principal, and principal
among principals. They are the ones which have the smallest
angles in the
'2-
cos
first
sm
and negative
revolution, positive
27T
/
.
J-l
and cos
--
27T\
\
-.
2?:-
contained in
cos
+ sin
2w
sin
namely,
--
27T\
-/-I,
n
1,
(2w\
short of
the
w*i
is
an equivalent of
(1,
0).
152
from
all
by their powers,
furnish the simplest forms of all the other roots, namely, with
angles in the
We
11.
first
we show
and negative.
half-revolutions, positive
be called radical n th
to
ought
They
roots.]
all
mode
results 0, 1, 2,
Thus,
11, in any order whatever.
beginning with any number, and proceeding by additions of 1,
the
or 5, or
in
we
or 11,
7,
obtain
Can we now do
(9).
the succession 0,
all
by successive
this
1, ... 11,
as
multiplications f
in
number.
With
succeed:
2,
for
13,
choose 6 as
7,
venient,
,
Of
o!
we have
aK
and
its
5
,
1,
for the
this cycle
other, as a
11.
shall
a9
ins'ance,
6,
it
a*,
',
4,
11,
&c.
1,
6,
is
a 4 , a", a, &c.
it
Beginning with
and we
arises,
1,
12, 7, 3, 5,
most con-
as
only
made
That
is,
if for
a we write any
Thus
5
&c., are a
as
10, 8, 9, 2,
is
the cycle
5 8
5
,
5 10
we have a method
5 8
,
(a
of arrang-
+ AJI +
A^? +
...
A^a"'
is
made, so
that
th
ap /39 7r
of the form
is
powers of
a,
which
an+1 =
a" =
a, (3,
...,
7,
/3,
153
...
7,
being
in terms of a
...
is
&c.
A A
,
13.
the
roots,
is
1 or + 1,
according as n is
n
the structure of x - 1, and the theory of equations.
is
m th
where m
14.
always
0,
except
or negative, and then
l
If TO
side
is
not =
be
n,
and
15.
a"'"
S,
Any
real, is
real
= \
1
is
-f
positive
a""*
-am
it,
the
first
...
sum be
aW
it,
if it
are suspicious.
the
roots of unity
n or a multiple of
For
m
+ a + a*"+... +
obviously
Better thus,
is
n.
it is
th
powers of the
1'"
we have then
If
l.
th
roots, otherwise
symmetrical function of the n w
for every such symmetrical function is a real func-
16.
If in
\'
^ C,
B,
&c.,
we multiply
n th
th
. . .
For example, ^x +
&c.
of unity, let
1,
a,
(V*+Vy) (-V*fvV)
is
2
,
-Jy
and -
(V*^
?/)
are
A, B,
C,
Then
I say that
(-Vx+a*fyy)
rational
same value,
th
function
if for
root of unity.
^A
of
is
known by
be substituted in
it
its
presenting the
a V-4,
being any
154
"/
of V.4, a v
^4,
substitute a k
4+1
V^,
"/
a"' l
yA
&c....a"
vA,
we have
for V-4>
+i ~ 1
of the
If a, ft 7,
17.
</>(a, ft
* (a,
is
rest.
into
we
ference.
a symmetrical function
is
Ap +
ft y,
..)
be
...
or
all
be a function of
y, ...)
A^a
...
2
,
1' 1
-,
a, ft y,
is
th
some of the
- x3
y~
and
roots,
if
capable of expansion
...
then
2
,
example
...)+...
(a"'
y-
/S"",
1
,
...)
= nA v
if
product
we
mm'
that of rm'.
is
and then
get above p,
If then
we take
a8
a,
...
until
the remainder
r, go on with ra,
and
again,
proceed as before, we
ra*, ...
until
we
get above
successive powers of a.
Thus, if we want to know the
remainders of the powers of 2 divided by 11, we have but to
the
form the
series
2,
4,
8,
5,
9,
&c.
if
Now
it is
numbers
less
than n
should always
exist, is
enough
so
but, in truth,
bers primitive.*
this
it
is
the numbers
19* root
is,
when
18, are
1, 2, 3, ...
a be a principal
18
taking 14, 14 , 14 ... 14
divided by 19; so that all
1
That
15.
14,
13,
10,
3,
2,
155
among
If then
those remainders.
1,
and no one
twice.
write another,
14
Let
P=a
+ a
-f
let
w be one
of them.
.,
or
......
Remember
of n.
is
Hi""
w
+ a
that
u>"~
=l.
cation by
so on.
iv
for a.
will
3
ployed be called 0w. Do this for each root 1, w, w ...w"'*,
and let a^ a 2 a 3 ... be the
iv being a principal (n-l)th root:
successive w th roots a"', ... We have then, taking the obvious
,
equation
when
0w =
Oj
0a>
2
00)"-
From
al
1) a,
- 1)
(n
af
4-
ttj+
fl
-f
f/X
'2
w*^ +
+ a
(n- !)! =
(n
used for w,
is
-!+
we
find
0a- +
z
+ w"" 0'1 + t^ (n -^w +
=-
= -
0f
w"- 0w
2
:<
'
+
+ W8(n
0w
-
2)
156
Whence
it
when n
appears that
is
when
and are
of the preceding
th roots when n is a
only of finding the w
prime number, and
th
the (n
roots are known, I shall content myself with giving
l)
number and
5
is
2;
az + a4 w +
aW +
w =
w =
that
1,
aw 3
tv,
is
Hence, a being a
1.
2, 4, 3,
5 being a prime
primitive subordinate of
independent of
fifth
root,
Now, remembering
a.
4
(a + a + 2) + 2
is
and w a fourth
1,
One
3
+ a) w + (a +
z
+ 2) w + 2
a*
(n
2
)
w3
+ a + a*
a 3 + a 4 = 0,
-f
and
and
lt
uLet tc v w v
4
&c. the values of the preceding.
4
VQj = a* + a a>j + a?u<* + ait>*,
If
we have Q! = - 15 + 20 V-l,
w l = V~l a 2 = '
25,
Q3 =
li
be the fourth
Then we have
w s = ~ V-l,
- 15 - 20
V-l,
H-\
1,
1.
is
determined
V^ 4 must be - 1 for a* + a 4 4 a3 + a = - 1.
by the question
Hence the form of Vl required is that of a principal fourth
root moved through an odd number of right angles. Now in
:
is
of
a principal form
a square root.
And
to
for
no
a + I V~l
one
4-
of
all
q V~l and
the
these fourth
cor-
q V-l, sym-
157
Take
metrically disposed with respect to the axis of length.
such a pair at pleasure, and move them in the same direction
through an odd number of right angles, and we have a pair
such as - p + q V~l and p + q V~l> which are symmetrically disposed with respect to the axis of direction and such is the
pair which must be chosen.
Now if we extract the fourth roots of - 15 20
the
:
V~l hy
formula
-i
we
shall find
them
all
contained in
pq V-!>
using like signs in the
signs for
- 15 - 20
(f
and
two terms
V-L And
q V-l)
for
V-l>
-15 +
VM
Choosing a pair symmetrical with respect to the axis of direction, we form the following equations:
-p
p
Sum
cation
We
8
+ q V~l = a + * V~l - aa - a V"1|
- V<5 = a* - a4 + a3 - a,
+ q V-l =
- 1 =
a*
a*
a*
-f
a + a3
-f
a V~l,
a.
3
V~l - a +
1,
1,
1,
V"
after multipli-
1.
-1 - /-!
1.
thus obtain
2
= - i (V5 + 1) + I q V-l,
= -i(V5 + l)-i?v/-l,
a4 = i (V5 - 1) +
=i(V5-l)~
fifth roots.
i^ V~l-
W-l,
Changes of sign
have no other effect except different apportionment of the above expressions among the roots a, a*, a3 a4 .
The extraction of the square root of a + 6 V~l i s an operation
in p, or q, or both,
is
competent;
it
bisection of an angle,
-J
n- 1
is
a power of
2,
-f-
is
Euclid mastered
* This is the
discovery of Gauss, and is the most remarkable
addition to the power of construction which the ancient geometry
has received since the time of Euclid.
158
the
n -
cases
3,
is
n =
17,
n = 257.
roots of - 1
xn = -
of +
a:
it
1,
2"
Since
1.
is
is
1
a2 ""
1 only, we have
Speaking now of roots of
the following theorems, answering to some of those in page 148.
The student may make a complete list of analogous theorems.
th root is an
Every
{m(2n + l)}th root. Every odd power of
in a,
...
m
m th root is an m* root.
th root
another, no m
(except
an
If
1, if
only a"
is
And
1.
n* h
roots of
-1.
a3
are
...
all
a2
"" 1
are
root of -
M*
Let a be a principal
a,
Nor
different.
is
as
if
is
Among
if
a" = a2n
as
(*-'^
many
1, and no more.
wth roots of - 1 is always
The
a- k ,
2w th roots of +
a multiple of w.
we have
first
au = a2W ,
except where k
Then
1.
,
The sum
or 2n th root of +
principal
1,
8
4
2"
multiply each by a, and a a ... a
can any one of the first set be the same
all different
it
series a*
-f
a3* +
..
-f
0,
at 2"- 1 )*
except
a multiple of n.
If
it
when
a- k
1,
be an even
an odd multiple, it is - n.
may be made of the roots of unity,
ft,
through
0,
1,2,...,
1,
n th roots of
&c.,
Sz
-f
1.
Then
changes through
I,
as
x changes
0,0, ...1,0,...
a,
which
is
This
of payment.
-
&
v,
after
is
- 2) - + cos(2# - 4)
cos(:e
<^
it
159
- +
cos(3x
6)
- +
cos(4a;
8)
^ JI
^-
sum
of powers.
a
4
This
is
+ COSTTX - cos
TTX
-
Again, a/i x + a ln x_ l +
a./i j .. z
...
1,
. . .
- cos 37rx\
- 2 /
a^n^^
of
cycle
+ A^x 4
... a,
an ex-
as
n.
1,
Aj?
...
is
them
av
0# be
n-
represents
values a
changes through n, n + 1,
is the remainder in the division of x by
If n be formed from the w th roots of -
all
formed by changing
and so on.
finite
A m + A nMlx + A nMtnx* +
First,
suppose in < n
for
write ax,
......
/* th
m
Do the same for
1, and multiply by """', forming a"" 0az.
each root and add the results. The theorem on the sums of
roots of
(hax
Divide by x
obtained.
f*.' 11
* T
as
For
nt+n
x +
T
I
^
/^''"
-"
L
nH--in
find
A^x
+A
result
a^
/t+;1
is
+...
...
instance, let
it
my
,>."*"*
\j x for x,
of the
* In
-"wj+ji 3'
m-pn + k(k<n);
say
many
m and write
Ifm>n,
and subtract
be required to find
x3
x*
6?L8!9
6.7...12J3
Differential
Calculus,
6.777.16.17
gave this as
(to
me) new,
160
Write
x*
for
and multiply by
x,
a?
and we have
1.2.3.4.5,
xh
series
-f-
1.2.3.4.5.
from
HIV 4 (- D
Whence
is
3 *-*
+ (V-i)
^'
+ (- V-i)
^-
},
1.2.3.4.5
sponding roots,
it
will
of the form
that
from that
nVrn
...
4-
is
required,
a = cos# + sin0
we have
(ax)
(1
out,
pair.
A mxm + A x*n
sum
(f)x
being <
(1
n.
+ x) 4 and
,
If
-/-I,
n m
or by a" ", then change the sign of 0,
Multiply this by a
~
and add, and we have for the part of ~S,an m(pax which depends
'
(1
in cos#
4 2x cose + s?Y
sin#.'/-l,
2 cos
|&
tan'
^^
m0j
161
CHAPTER
IX.
A+B
of
and
AxB
is
a very natural,
A B
A3
to
appears destitute of sufficient obligation to previous sugThis chapter, which is above most elementary student^,
gestion.
is
mode
of transition, and to
show
that
the
the
terms,
A B
4-
take the
and
hint
to
denote
we
and we
convertible
thus
operation
AB,
by a
symbol
A*B, might
denote
Again, we
and a connexion
It.
namely,
Let us continue on
this
keep them
and provide a notation indicative of the degrnas we retain the terms square and cube, ami
of ascent, just
A"B,
indicate
the
successive
steps
of
162
AxB = BxA,
A"'(BxC) =
1x1 = 1
(A'"B)x(A'"C)
O 3"'O 3 = Q
Q '"Q = Q
'"C) = (A"B)'"(A"'C)
'"C) = (A
t'
B)
llf
(A*
(7)
&c.
&c.
Again, in
of which
A+B
it is
and
AxB
initial
symbol
symbols
1x1 =
is
used,
1,
and
that
when
nothing but
by obvious extension.
us denominate by the
let
initial
= 0,
Now
we have
the property, as in
&c.
name
of scalar function or
operation the function which has this property, that its performance on the compound is equivalent to the next lower
of its performance on the separate terms: so that,
'
(n
be
the symbol of the scalar function connecting
X^ liH
M B, we have
and
compound
if
l}
It
might
at first
is
no commencement.
in truth
A B or A + B AB, satisfying
A + (BC) = (At B)(A +
l
precedes
is
C).
A
The
initial
(B
symbols
<-
C) = (A B)
may be
<-"
(A
in
an alge-
C), &c.
represented by
Q^,
fi^, &c.
163
The system of operations is then interminable in both direcLet X be the symbol of the scalar function, and let \
so that \\A = \\A = A, for one
represent its inverse function
tions.
one form;
struct a
so that \\.A
It
\A
to express the
In this
\ and X
trunk-system, \ve
one form;
one form.
may
consider
as
all
are given
and
we have
that
m
y (\A !)) = \\A =
= \D.
for
Om
and
this
A"
is
\Q nt whence
by which
accidents
Ax
We
A +B
AB, and
and
not in-
X being used
nary language,
......
X3 (V
"
X(Xa + X6)
X
The
(\ a +
initial
&6
or
"
v*(\*a +
or ab,
\3b)
X2 (e
),
for log.,
**
symbols are
+
X
\ &c
e* ),
2
X(e
6) or e
-1-
XaA *
a +
e ),
or a
Xi
b,
or 6
Xa
X30, X2 0,
XO, 0,
1,
e,
&c.
* So that
first
164
AE
Accordingly, in
there
is
The
origin of
A B is
in the following.
connected
at
Looking
AVith a
notion which
and
not as the
is
developed
initial
symbols
and
and the
Y->
TH^
That
is,
let
1)=0(TM,
3).
1)
= .80-4
+ B,
(j)A
B^.
l) =
AB,
.....
B\
&c.
finite
representation
01 =
02 =
a,
03 =
jg*
J5
CBaj
,
&c.
to
the better.
Any two
x and y,
convertible functions of
being given, as
(x,
y) and ty (x, y)
V' (*.
=)}
must
\yr
A.
(x,
be"
y)
x y)
>
V-^
(x, =)},
determined from
(A*, Ay),
Every solution of
this
of an algebra, in which,
system
(x, y)
is
being denoted by
y
by xy, and \ (\x, Ay) by x^ or y
ordinary algebra remain good.
YT (x, y}
all
its
is
\R
= (m
-f
n V-l) log r +
(/*
"V" 1 )
e>
+ y and
the laws
of
most general
the condition
0)
= log
And
will
it
which
r,
165
is
m = l,
n=
Q.
is
of
no
common
effect
lj
algebra
instead of
for a base
e"*'
of
angular exponentials.
If a moment's hesitation should arise on the retrograde symbols
of the scale, the reader
may
ABC=(A + B)(A +
A 4 log (6 B
When
if
fined as
distribu-
the next
tive character,
one,
C),
A+B
Atc
C
+ 6
+ 6 ) = log (6
).
\ (\A
Thus,
A '"B
if
be de-
we have
x \B),
-f
4-
A'"(B xC) =
and so on
When
\C).
that
= A'"S x A'"C,
X(7)
the inverse
function
scalar
is
used,
the
regressive
with
Let
as
A nB
And
B - A.
for
A,B and
AB
tl
use
A-B
A- B.
and
If
any one of
the inverse signs follow the rule of signs (p. 103), so does the
next.
That
we have
is,
if
for
instance
Q^(Q^A) = QfA
- A.
A)
give
Q^'A
or
A,
For
A
=
or
XQ
X (A^B) = \A
4///
\,
M)
(XQ 4//
= \A, by hypothesis,
" On
* The
complete investigation will be found in a paper
the foundation of Algebra, Part in." in vol. viii. of the Cambridge
Philosophical Transactions.
166
or
,(Q i/y A)
Q 4/K-4
An
And
A.
is
t/l
true for
it is
of signs be
true for
Q a ,,A.
damental basis.
Two
that
-f
and
A + B, A x B, convertible, so
A x B = B x A, and having the second
first as in (B + C) x A = B x A + Cx A.
consecutive operations,
A B = B+A
scalar operation,
\A
X (A x B) =
One
+ \B.
its
own
operation,
so that
An
= A,
A - B,
0,
and giving
(0
A) = A.
Strictly speaking, one operation
and
function
scalar
its
thus
\ (\A + \JB) is
the whole system of
inverse,
to
sufficient
and
are
its
for
Ax B.
express
and
scalar functions
and the
inverse,
sufficient
be deduced.
(A-B) + B = A;
so that
expression
And
hence
starting symbols
may
operations, followed
by
unsymmetrical
pression,
to
easy to
one practised
stands.
it
means of ex-
in
rich
is
symmetry
is
is
1,
Let
0,,
=
=
n,
e,
E",
O,,,
n =
/t
Ov =
s ",
and
distributive
is +,,
x, is
-},
4-,,,
+,,
+,
&c.
properties remaining,
or
&c.,
or n k =
&c.
;i
= \"0.
n.
&c. and
b)
x,,
(a +
6)
= a
x,,
6 +
we have
2,, x,,
x, x,, x,,,
theorems of
common
x,,
-f,,
x,,
is
placed
in ordinary language.
The
first
side
167
is
e
the second side
is
serve to
by the
it
may be done
notation.
THE EXD.
>!etcalf<
and Palmer,
Printers,
Cambridge.
University of California
JUN 2 6
1991
LIBRARY
R ECEIPT
U
,.,
A 000165638
STACK
JBL7P'