Professional Documents
Culture Documents
Legendre PDF
Legendre PDF
'4'fe'i"ii?*
The
tine
original of
tliis
book
is in
restrictions in
http://www.archive.org/details/cu31924001166341
^'jments of geometry.
3 1924 001
166 341
ELEMEJSTTS
OP
aEOMETET.
BY
a^m:legendre.
ADDITIONS AND MODIFICATIONS
M.
ArBLANCHET,
"J
FRANCIS H.^MITH,
BnPEBIirrENPENT
A. M.,
IW THE VIBOIHIA
KELLY
BALTIMORE:
& PIET, PUBLISHEES,
174
Baltimokb Steeet.
1867.
By FRANCIS
TI.
SMITH,
Id the Clerk's Office of the District Court of thQ United States for TirpinlL
UiLT
t rirr,
fit
^ALTinMV
n>i|
TO
THE ALUMNI
OF
f lis max^
IS
APPECTIONATBLT INSCRIBED
THE TRANSLATOR.
PREFACE.
Pure Geometry may be
Some
acquaint-
its
-branches, leaves
little
room
for
the
cultivation
of the
mental
for
to
of academic instruction.
Geometry owes
its origin,
The demonstrations
left
by the
PREFACE.
11
Soon afterwards
supplied the 5th book of
Plane Loci.
Apollonius.
series of the
an inspection
of
the Arabic
manuscripts,
Dr. David
Euclid
is
as the
Greek Geometry.
Elements of Euclid,
He
first
is
is still
appears
have been
His
work on Geometry
Two
A
in
others
is
sup-
Oxford,
in
by Dr. Gregory.
books of Euclid
was published in Berlin, in Greek,- with a Latin translation, and copious notes forming a commentary on the text.
This edition was edited by Camerer.
first six
was published
first
into
English
by.
a second volume,
of the
thirteen
books of the
original.
PREFACE.
iil
The English
English octavo.
of the
first six
state of
wide
edition of
Simson
is
a digest
to
mathematical instruction.
time to time,
to
schools.
Many
The Elements of Geometry, by Thomas Simpand similar works in the French language, by Clai-
improved.
son,
Simpson^s volume
of Clairaut
is
is
still
and
is
The Geometry
ematical problems.
a higher position
is
of Legendre claims
in
It
was subsequently
trans-
The
present translation
is
from the
last
French edition
M. A.
di-
M.
"
PEEFAOE.
IV
the
measures of the
circle,
Valuable Appendices
are
cylinder,
and sphere.
embracing The
cone,
added,
also
the demonsti-ation of
Theorems and
in
the
solution of
Geometrical Problems.
Til is
translation
of Blanchet's
edition
of Legendre's
embraced
in this series,
High
Schools
and Academies.
Smiths Algebra.
Smiths Bios Analytical Geometry.
The Elements of Geometry will be immediately followed
by a translation of Lefebure de Fourcy's Trigonometry,
which will be published in the same volume with the
Elements, as well as separately.
VrRGIOTA MlLITAET INSTITUTE,
Lexington, Va., March
1,
1867.
ELEMENTS OF GEOMETRY.
BOOK
I.
DEFiisrmoisrs.
All bodies occupy in space a determinate position,
I.
which
it
called volume.
is
The surface
II.
oi a
body
is
The
locus, or place, in
bodies meet,
I"V.
is
A point
called a line.
is
and
name
of figures
is
lines.
VIII.
right line
shortest distance
the study
is
of
we
to another,
whole extent.
is
the
its points.
and
that, if
measurement of the
their properties.
It is evident that
one point
and
lines
coincide throughout
ELEMENTS OF GEOMETBT.
IX.
Irokm
line is a line
lines.
A plane
XI.
taken at
not a right
is
line,
nor a broken
curve line.
is
a surface, in which,
if
lie
wholly
in the surface.
XIII.
The
figure
The point
angle.
is
AB
and
AC
are
its
sides.
The angle
the letter
is
sometimes designated by
CAB,
letters,
BAC,
middle.
Two
angles,
and
a,
plied one to
tlie
other, they
if
ap-
may be made
rection
li!
ci
s/
c\
AC,
will coincide,
two angles
An
angle
is
contains,
between
its sides,
if it
two,
three, &c.,
angles equal to D.
Angles may, therefore, be compared with each other as other
magnitudes.
line,
SOOE
fiAC and BAD,
.
f.
be perpendiculaf
said to
AB
is
CD,
to the line
point
may
we
this
line,
XY. Two
be
parallel.,
definitely.
The
XVI.
A ^?awej/?p'Mre
is
lines
AB, CD,
are parallel.
a plane terminated by
If
lines.
the bounding lines are right lines, the space which they
enclose
is
form the
and the
contov/r, or
pe-
The
lines
together,
ABCDE.
XVII. The simplest
is
of
called a triangle.
five sides
XVIII.
When
polygons
a triangle has
It is
quadrilateral
one of
all
is
a pentagon,
etc., etc.
sides equal,
it
is
is
all
its
equal.
The
triangle
ABC is equilateral /
oho,
ELEMEXTS OF GEOMETRy.
db, ac equal, is isosceles, wliile the triangle def, all the sides
XIX. The
a scalene triangle.
is
is
one right angle. The side opposite the right angle is called the
hypothenuse
ABC
thus,
is
a right
XX. Among
quadrilaterals
we
distinguish
five the
The square
has
its
its
ABCD is
right
is
a square.
is
a quadrilateral, which
its
sides equal.
a rectangle.
lozenge or
equal, but
angles
ABCD
The parallelogram
The
and
rectangle
angles:
The
equal,
sides
its
is
its
is
ahcd
rhombus
is
is
its
op-
a parallelogram.
a quadrilateral whose sides are
BOOK
ABCD
is
t.
i)
a lozenge or rhombus.
is
which are
sides of
lel
abed
is
XXI.
paral-
a trapezium.
diagonal
is
two
of
vertices
angles
to
each other.
polygon
is
all its
angles equal.
first
one
side of the
equal to the
is
side of the
first
and
so
on.
The same
angular polygons.
definition applies
two equi-
to
sides, or
sides, or
the
the ho-
mologous angles.
XXIV.
A convex polygon
same
side of
The, polygon
its sides,
tliis
is
aU of the polygon
we
will lie on
right line.
ABODE
is
a convex polygon.
eter of a
for, if
perimeter
ABODE
at the points
cut
its
intermediate points
1*
IS",
would
ELEMENTS OF GEOMETRY.
lO
direction.
its
XXY. Any
two
plied,
N.
may
sur-
be ap-
In the four
is,
first
figures
books
we
drawn on a plane
surface.
An Axiom
is
Theorem,
is
a self-evident proposition.
a truth which becomes evident
by a pro-
Problem,
is
a question
which
is
requires a solution.
A Lemma is
is
employed
in
problem.
to theorems, problems,
A = B,
Thus,
and
-i-
and
represents the
AB
remains in taking
sum
of
two
quantities,
from A.
what
BOOK
The
11
I.
A bj
B.
thus,
rep-
we sometimes
as
A number placed
AB
is
we
AB
The
precise
line
AB
s/
is
meaning
The sign
indicates
a.
Through a point
and
to
AB
cube by
its
proper place.
^A
A x B,
or the
thus, y/2
represents
the
mean propor-
taken,
Theoeem.
I.
on a
perpendicular on this
fact, let
A and B.
Pboposition
In
written
root to be extracted
erect one
express that
AB
write JA.
of the
its
tional between
tlius, to
line,
and only
AM at
with
AC,
point
first
to turn
it
will
we may
one.
coinciding
around the
MAC, MAB, of
MAC, from being
jacent angles,
which one,
MAB,
at
ELEMENTS OF GEOMETRY.
12
greater
tirst
it
becomes
MAC,
than
constantly decrease
will
until
zero.
The angle
MAC,
from being smaller than MAB, bemoves, greater than this angle
AM
where these two angles will be equal, and it is evident there can be only one position where this equality
line,
can
exist.
Corollary.
perpendicular to
HG
AB, and
perpendicular to
the
might be erected
is
at
the
the
we
place
the line
EF
on C, Gil will
two perpendiculars
the same point on a right line, which
CD;
direction
EF;
DCB is equal to
angle HGF for, if
take
be
angle
^^
DC
Let
fall
otherwise
impossible.
Pkoposition II.^Theorem.
AB, makes
the point
angle
ECD
make a
Hence, the sum
together,
angles,
is
equal to the
must
also
sum
ACD
The
first
of
right angle;
and
BCD
right angle.
of
the
two
BCD, which
ACE, ECD, BCD,
and
BOOK
CoroUary
13
I.
ACD, BCD
I.
be
liglit,
Corollary II.
If the line
AB,
pendicular to
be perpendicular
For,
it
if
DE
to
DE.
be perpendicular
adjacent angle
DCB, and
a right angle,
its
adjacent angle
ACE = ACD,
Hence,
Corollary III.
The
AB
and
su
But,
ACE is also
is
m of the
ACD
be
to
DE.
BAG,
sum
is
for
BAC, CAF.
Theorem.
ACD, DCB,
if
prolongation of
ACE
BF,
Pkoposii'ion III.
the
if
a right angle.
perpendicular
adjacent angles
For,
that they
on the
their
and
AB,
equal
CAD, DAE,EAF,formed
same
angles,
to
is
consecutive angles,
is
If two adjacent
ACD
to its
DE be perAB will
reciprocally,
AC
being a right
of the angles
ACD
let
CE
be the
line,
and
the
DCE
sum
will
sum
of the angles
also
ACD + DCE.
angle
angle
of
these
equals, the
longation of
AC.
ELEMENTS OF GEOMETKT.
Theorem.
Pkoposition TV.
Jf two
right lines,
opposite angles,
formed
ACD, ACE,
the line
AB
is
DE
right, the
is
sum
of the angles
also equal to
of the
and since
ACE, BCE,
is
hence
_3
^-^ "
sum
is
BCE.
BCE.
opposite angle
ACE
equal to
is
its
opposite angle
BCD.
Scholium.
two right
two
other angles,
In general,
to
FCA,
be equal
C,
will
;
for, if
by means
right
two perpendiculars,
sum will
sum of the
evi-
suc-
and
&c.
Theokem.
when
AB
of
four
at the point
ACB, BCD,
to
we form
Pkoposition V.
Two
tive angles
angles
to
lines
sum
point C, the
cessive angles
tlie two
two right angles.
meet in a common
and
right angles,
if
ACE, BCE,
the angles
for,
be equal
and
the
side
AC.
to each.
to tlio
side
DE,the
BOOK
to the side
DF, and
15
1.
by the sides
and AC, be equal
to the angle D, included
by the sides DE and
AB
DF
ABC
angle
and
tri-
DEF
be equal.
For, these triangles
may be
placed,
exactly coincide.
Thus,
AB,
equal
the point
the side
DE
direction
AC.
point
if
DE on its
A, and the point E on
equal to the angle A, when
we
will fall on
is
is
Besides,
will fall
DF
is
BC
DEF
ABC.
Corollary.
gles,
When
the side
the angle
AC =
triangle
triaii-
A = D, the side AB =
BC =
Peoposition YI.
Two
will coincide
C = F,
EE,
side,
take the
hence the
therefore, tlie
DE, and
AC;
equal to
DF will
is,
that the
the angle
B = E,
EF.
Theoeem.
when
and
the
angles
to
the
and C, equal
side
EF,
in-
and
triangle
to
tlien will
DEF
tlie trian-^le
the
be equal
ABC,
ELEMENTS OF GEOMETBY.
16
For,
E
E
if
we place the
will fall
is
EF
side
on
its
on C.
ED
will
CA,
Corollary.
equal, viz.,
clude that the three other parts are also equal; that
AB=DE, AC = DF,
and
Theoeem.
Proposition VII.
In every
triangle,
any one
is,
A = D.
side is smaller
than the
sum
tance from
shorter than
"We
to
AB
-|-
difference
we
and hence
BC
is
AC.
may remark
side of a triangle
for if
is
is
sides,
by
and
c,
Proposition VIII.
Theorem.
AB
AC.
BOOK
BO
Produce
line
00
is
until it
17
I,
shorter than
OD + DC
AC
in
(Prop. VII.)
the right
Adding
AD;
adding
DC
to both sides,
we
BD + DC < BA + AC.
But we have just proved BO +
OC < BD + DC hence, for a greatBO + OC < BA + AC.
shall
have
er reason,
Thkokem.
PEOPOBrrioN IX.
line
MEFG
equalities
AB + BH < AL LE + EH.
CI < BH + HF + FI.
CD+DK<CI +IG -fGK.
DA + AL < DK + KM + ML.
-f-
BC +
Adding
these inequalities,
AB -H BC -f CD
"We might prove,
gonal line
is
less
-I-
DA < EF + FG -f GM
in like
than
-1-
two
ME.
anj'
Remark.
member
to the
is
only a particular
ELEMENTS OF GEOMETRY.
18
Theorem.
Pkoposition X.
aides
t]i,e
triangle
tlie
other-
and
the greater
which has
the greater
included angle.
Take the
triangles
AC = FH,
FG,
ABC, FGH,
which we
in
BAG >
Iiave
GFII
then will
BC be greater
the side
Make
GFH
CAD
AD =
take
C and D:
triangles
ACD,
GF, and
the
GH.
the angle
= GFH,
_
AB =
join
they have two sides and the included angle of the one
equal to two sides and the included angle of the other.
(Prop. VI.)
It
suffices
now
show that
to
BC
is
greater
than CD.
AE
BAD into
DE
fall
line'
BAC;
the
Tlien BE = ED.
But, in the triangle EDC, wo
CD < ED + EC. Keplacing ED by its equal BE,
we have CD < BE 4- EC, or CD < BC.
equal.
hnve
Reciprocally,
be equal
and
if,
to
if
the sides
side
BAC
will
For,
GFH,
if
CB
of the
GH of
BAC
first
triangle be
GFH.
CB
would
'
BOOK
be
less
have
GH, which
than
the angle
if
BAG
GB = GH
is
19
I.
is
GFH, we
and
should
hypothesis.
Theoeem.
Pkoi'Osition XI.
If two
of the
he equal.
A=
the angle
E, and
C = F.
the angle
^
D,
B=
For,
angle 'A
the
if
were greater
than
the
AB,
to each, it follows,
side
BG would
tlie
A cannot be
But
BC
to
niust be equal to
it
is
BC would be
EF there-
equal to
We
B = E,
like
in
equal
Hence,
are
be greater than
D.
AG
the sides
might pi'ove,
and the angle
c =r.
Scholiuih.
site
to
angles,
We
A and D,
Piti iposrrioN
In an
isosceles
XII.
lie
thus, the
oppoequal
BC, EF.
Tii k( iekm.
ELEMENTS OF GEOMETRY.
20
Let
tlie
AB = AC,
side
C=
From
mi'ddle point
of the base
ABD, ADC,
triangles
AD
BC
AD
common,
to
the
the
two
have
will
AB = AC
B.
the
that
is,
by hypothesis,
An
Corollary.
equilateral triangle
is,
at the
same time,
equiangular.
Scholium.
triangles
ABD, ACD,
right angles.
drawn from
the vertex
is
of an isosceles triangle to
perpendicular to the base, and divides the angle at the
In a triangle which
is
is
we
celes triangle,
not isosceles,
we
and then
its
take indifferently
while in an
not
sides.
XHI.
Proposition
isos-
is
Thkoeem.
and
tJie
sides opposite to
isosceles.
Let
the
ABC = ACB,
angle
AC
then
AB.
For,
uS suppose
angle
DBC
is,
"c Take
by hypothesis, equal
to
ACB;
BOOK
DB, BC,
AC and CB
are equal to
would be equal
ABC
Pboposition XIV.
sides
DBC
Of two
ACB.
to the triangle
21
I.
is
^Theoeem.
and
therefore isosceles.
is greater
which
lies
of a
1.
>
AB,
opposite
+ DC = AD+DB=AB.
2.
AB,
the side
AB > AC
AC.
it
would
follow, from
AB <
AC, which
C = B, we
should have
For,
if
were
less
than B,
AC
AB
Hence,
AC.
greater than
is
it
must
If
is
con-
AB =
less than,
nor equal
to,
be greater.
XV. TufeoKKM.
pendicular can
what
winnot be
Pboposition
From a
is
per-
ELEMENTS OF GEOMETET.
22
Let
lis
angle
line
AEB
A'EB,
is
AEB, A'EB,
the side
A'E, by construction
BE common. Hence,
;
ABE
EBA'; hut
the angle
EBA'
ABE
is
AE =
and the
the
side
angle
a right angle, by
But
two right angles,
the line ABA' must be a right line, and we shall then have
two right lines drawn between the points A and A',' which
is impossible.
Hence, only one perpendicular can be
drawn from A to CD.
supposition
if
therefore,
ABE
Pboposition
Iffrom a point
pendicular
EBA'=
XVI.
Theorem.
AB he drawn
is
-!-
(&o., to
to this line,
and
DE,
the per-
le
of this line
shorter than any oblique
line.
2.
sides
BE,
3'^
Any
different
BC,
will be equal.
Of
two oblique
lines,
AC
and AD, or
AD, drawn
at will, that
AE
and
which
is
AB
BOOK
23
t.
angle
side
AC.
and the
equal to
(Prop. V.)
But the right line ABF is shorter than the broken line
ACF; and AB, the half of ABF, is shorter than AC, the
half of
ACF.
Hence,
1, thqj
perpendicular
we suppose BE = BC,
we have AB common, the
2. If
for,
and BE = BC.
two oblique
2,
will
is
shorter
the triangle
right angle
ABE = ABC
ABE ABC,
AE AC, are
equal
and
be equal.
3"^.
less
AB
line.
In-
the triangle
DFA,
the
sum
of the lines
AC, CF
AC,
ADF
consequently,
3,
which
is
farthest
any oblique
From
same
we
it is
dis-
shorter than
line.
Corollary IT.
possible,
is
same
line
we cannot draw
;
for, if this
were
Pkoposition
which
is
impossible.
XYH. Theorem.
from
the
AB
and B.
For, 1, since
AC =CB,
AD,
DB
and are
ELEMENTS OF GEOMETRY.
24
therefore equal.
is
every
1,
equally
A and B.
I outside of the
we
perpendicular
if
DB = DA.
shorter than the broken line
ID
+ DA = lA
therefore,
IB
But the
+ DB,
ID
< lA
and
and hence,
is
IB
is
ID + DB =
2,
every
unequally distant
and B.
A geometrical locus
which possess a
right line
common
is
a line,
all
the points of
all
the
The
line
EF
is
PEOPOSiTicftj
Two
and B.
XVIII.
Theorem.
when
the hypothenuse
DE
The equality of
the third side
to the
hypoth-
if
AC = DF
they have
ABC be
AB =
equal to
DEF.
BC
is
Let us
BOOK
suppose,
BC
if possible,
the greater.
is
ABG is
triangle
25
I.
BG = EF,
Take
and join
DEF
AG. The
for,
the right
angles
AG (Prop. XVI.), since it is farther from the perAB therefore, is impossible that BC should
unequal to EF and hence, the triangle ABO is equal
equal to
pendicular
be
it
DEF.
to the triangle
'a'
XIX.
Peoposition
Two
^Thkoeem.
when
hypothenuse and an angle of the one equal to the hypothenuse and an angle of the other, each to each.
Let
AC = DF,
angle
coincide
AC.
D=
will take the direction
CB
with
Since
A, the
take
the
and
at the
equal
its
angle
the
line
DE
direction
will
AB,
FE
same time
otherwise,
will
Peoposition
1.
Every point
AD,
is
M taken
Theoekm.
XX.
is tlie
line
into
two
ELEMENTS OF GEOMETE^'.
26
2.
Every point
M taken in
the angle
AB, AD,
is
of that angle.
1. Draw, from the point M, the right lines
MC, respectively, perpend icnlar
AB
and
right-angled
the
MAD, MAO
MA
MAD, MAC
Hence,
esis.
2.
MAD, MAC
pothenuse
MA
AD
triangles
equal,
MD = MO.
MO
MD,
triangles
and
to
an hypothenuse
angles
MD
are
be
will
still
MO
MD,
equal,
MAD
= MAC.
Hence, the angle
There results from this, that any point taken in the angle
BAD, outside of the bisectrix AM, will be unequally distant from the two sides.
by hypothesis.
Scholium.
is
the geometrical
its
two
sides.
THEOEY OF PAEALLELS.
Proposition
Two
XXL
right
Theoeem.
lines,
are perpendicular
line,
IB
to
the
same right
are parallels.
For,
if
for example,
we
M,
BOOK
I.
27.
PROPOSITtON XXII.
ThKORKM.
to
From
draw
line.
AD
perpendicular to
AD
AB,
dicnlar to
We
place,
will be parallels.
admit, in
will
the second
an evident proposition,
as
Pkoposition XXIII.
If two right
line,
FH,
dicular
CD, AB,
perpendicular
to the other,
It is at first
we
lines.,
Theoeem.
one of them,
to
we can
line.
AB,
is
perpen-
CD.
evident that
FH
CD
CD
Finally,
FH;
lar to
CD were
is
for,
perpendicuthe line
if
oblique to
FH, we
we
point
H,
Two
AB, which
is
impossible.
PKOPOsmoN XXIV.
Theorem.
parallel to
right lines
AB, CD,
>
parallel
^
point
M,
to
are parallel
For,
if
a third
to
the
line,
EF,
each other.
lines
AB,
CD
a point M,
met each other
miglit draw two parHllcls
to tlie right line EF, thmugh
in
we
tlie
wliicli is iinpossible.
ELEMENTS OF GEOMETRY.
28
DEFINITIONS.
(1)
and
(5), sit-
secant, interior
(8)
and
(2),
same
situated on the
side of
the secant, one interior, the other exterior and not adjacent,
are called corresponding angles.
Finally, the angles (2) and
(6),
of the secant, exterior and not adjacent, are called alternateexterior angles.
Peoposition
XXY.Theoeem.
3.
i.
a transversal
sum
is
equal
secant,
to
whose
two
right
angles.
1.
AB,
From
of
lar to
AB
The right-angled
triangles
CD
GH.
EF, draw
OM
perpendicu-
MOE, ONF
are equal
for.
BOOK
the hypothenuse
construction
OE
vertical angles,
these triangles,
are
We see,
these
angles
are
MEO,
OFIST.
The
2.
that
the
equality of
the alternate-interior
are equal.
BEF, EFC,
angles
From
equal.
also
hypothennse OF, by
to ihe
MOE,
we conclude
MEO, OFN,
angles
29
I.
equal
is
;;;
GEB,
alternate-exterior angles
are equal
tor
supplements* of the
respectively the
CFH
are equal
for,
3.
GEB
4.
EFD
equal to
are equal
for
angles
for,
we have BEF
4-
AEF = EFD.
XXVI.
Peoposition
Theoeem.
is
equal
to
-^^
-^o^
^^^
-Lgi. ^jjg
j,jgj^j ^j^,gg
^^g^
if
the
alternate-interior
AEF, EFD
are equal,
be parallel
to
the point
is
angles
AB
will
CD. Otherwise,
line EI parallel to
;;
ELEMENTS OF GEOMETRY.
30
CD
but, in
case, the
tliis
AEF =EFD,
EFD, would be
angles lEF,
and
as, bj'
AEF = lEF,
wo should have
hypothesis,
which
is
ab-
surd.
2. If
AEF,
CFH are
GEB,
EFD
AB will be
CD.
GEB is
Hence, AB
is
4. If the
parallel to
sum
right angles, as
AEF
AEF, we
equal to
as
that
==
BEF,
BEF -f AEF =
EFD
have
EFD
equal to two
is
2 right angles,
AB is parallel
and hence,
GEB,
shall
CD.
of the angles
Proposition
Two
equal,
XXVII.
we conclude
to CD.
Theorem.
supplementary.
1.
Let
parallel
and lying
the
in
^A
jj
angles
DLC,
DEF
are equal, as
corresponding angles.
But, for
DLC = ABC;
ABC = DEF.
a like reason,
hence,
2.
MEN,
have their
and
ABC,
sides parallel,
MEN
3.
is
equal to
Finally,
sides parallel,
if
the
BA
DEF, and
DEF = ABC.
two angles
ABC,
DEM
have
their
direction,
direction,
feoot
DEM
ABC
Pkoposition
If two
DEM
and
the supplement of
is
SJ
f.
be supplementary;
DEF, and
XXYIII.
DEF = ABC.
^Theorem.
to
Let
angles,
whose
Draw through
point
AI
the
the line
perpendicular
AH
AB, and
to
perpendicular
to
AH,
AI,
will
be
respectively paralto
lel
lie in
to
DEF;
we have
but
If
we
FEG
is
XXIX.
three qngles
is
equal
right angle,
by the
right
BAC.
Pkoposition
right
angle
lAH
also equal to
the
lines
Theoehm.
of a triangle
is
equal to two
right angles.
Draw AE
parallel to
BC,
AC to D. The
angles ACB, EAB are equal,
and produce
ELEMENl'S OP GEOMETRf
32
BAE
triangle
is
equal to the
AC.
But
is
of these angles
sum
therefore, the
is
side
equal to
Corollary II.
Corollary III.
is
an obtuse angle.
gle, or
same
sum
is
Corollary I.
angle which
tlie
is
sum
When we know
may
two angles of a
fiiid
trian-
by
CBA, BCA..
Pkoposition
to
as
XXX.
many times
many
triangles
ing for a
A, and
two
for,
these
of the polygon,
triangles
the two
ABC, AGF,
extreme
containing,
each,
two
sum
The
fiook
33
i.
gles
IS
polygon
and
sum
as the
sum
is
gles, the
many times two right angles as there are triansum of the angles of the polygon will be equal to
many
equal to as
as
two.
less
If
the
2 X
- 2)
(tj,
XXXI.
Peoposition
The opposite
gram
and
sides
or 2
71
4.
^Theokem.
opposite angles
of a parallelo-
BD
have the common side BD
Draw
the diagonal
besides, since
allels,
ADB, DBG
AD, BC
the angle
XXVI.), and
(Prop.
are par-
ADB = DBG
because
(Prop. VI.)
AD is equal
ADB,
DBG
is
DC,
AB,
opposite
BG
In the second place, from the equality of the same trianangle A is equal to tlie angle C,
ADC,
also tlie
angle
Corollary
I.
Two
parallels,
parallels,
2*
34
ELEMENT^
Corollary II.
Two
OF*
GEOMETEY.
equidistant through-
parallels are
CD
For,
and
AB
being par-
perpendiculars IIF,
the
allel,
parallels.
Peoposition
XXXII.
ABCD,
any quadrilateral
so that we have
If, in
AB =
equal,
Theorem.
CD, and
and
AD BG,
the
a paral-
lelogram.
BDG
will
BD,
the angle
side
AB,
DBG,
is
side
manner,
ABCD
is
AB
is
parallel to
ADB
they
and
opposite the
GD, hence
like
ABD,
(Prop.
XXVI.)
AD is parallel to BG.
CD, and the
tho
Jn
quadrilateral
a parallelogram.
PEOPOsrrioN
XXXIII.
equal
ABCD
will
he
a parallelo-
gram.
Draw the
AB
is
diagonal
parallel to
ternate-interior
DB
CD,
angles
since
the
al-
ABD,
BOOK
EDO
DC,
the side
equal to
the side
quently
35
I.
is
AD
is
parallel to
figure
ABQD
is
parallelogram.
XXXIV.
Peoposition
'
^Theoeem.
DB of a parallelogram, divide
ADO, OOB, we
find the
OOB
hence, these
Scholium.
BO
ADO,
OBO
and
we have AO,
the
and we have
also
DO OB.
AOB =
AOB, OBO
AB,
the angle
(Prop. VI.);
ELEMENTS OF GEOMETRY.
36
BOOK
II.
The circumference of a
circle is a
curve
line, all
the
The
circumference.
Every right
II.
line
&c.,
such as
line,
called a radius ;
is
AB, which
passes
is
is
Hence, there
number
cle,
number
ako be equal, and each
infinite
will
HL An
arc
is
may
and there
will
be an
of radii in the
of diameters in the
cir-
called a diameter.
other
ter-
same
all
infinite
same
cir-
equal to each
may
be also an
circle,
and they
sucli as
FHG.
The chord of an arc is the right line FG, which contwo extremities of an arc, and subtends the arc.
IV. The segment is the surface or portion of the circle
embraced between the arc and the chord.
N. B. The same chord FG will always correspond to
nects the
two
arcs,
FHG, FEG,
but
ref-
BOOK
erence
37
II.
is
expressed.
Y.
A sector
DE
an arc
is
and the
radii
to the extremities
of this arc.
VI.
An
when
and
its
vertex
in the circumference,
is
ex-
its
its
An
when
AB.
its
ABC,
three angles in
circumference, and
its
are
sides
chords.
A secant
Til.
two points
VIII.
mon with
point
is
AB
is
is
a secant.
tangent
is
the circumference
CD
is
X.
polygon
is
we say
In the same
its
case,
38
ELEMENTS OF GEOMETRY.
N. B. In general, we call a tangent to any curve the
which a secant AB takes in turning
of intersection, B,
If the curve
is
B',
&c.,
A,
re-entrant, as the
evident that
is
when the
points of in-
But the
curve.
all
the
has the
it
to
advantage of
Peoposition
Every diameter
I.
AB divides
Theobem.
the circle
and
its
circum-
For,
to
line
AEB
must
AFB,
fall
other-
is
con-
BOOK
Proposition
Every chord
is
39
II.
Theokem.
II.
chord
at
if
AD, we draw
CD, we
shall
the radii
AC,
line
AD < AC + CD,
or
AD < AB.
is
Peoposition hi.
A right line
^Thkoeem.
two points.
For,
if it
we should
then have three equal right lines drawn from the same
point to the same right line, which
impossible (Book
is
I.,
Prop, xyi.)
Proposition IV.
'
In
the
same
circle or
Theoeem.
in equal
circles,
The radius
AC
a/rcs.
AMD
arc
ENG,
will
to
the arc
the chord
AD
be equal to the
^chord EG.
Foi",
AB
the diameter
semicircle
ENGF, and
AMDB
may
di-
be applied to
AMDB
will
id
ELEMENTS OF GEOMETRY.
ex:ietly eciiucide
AMD
the portion
sii|)[)osed
to
ENGF.
be equal
But we have
to
the portion
EG, we
shall also
AMD
ENG.
For, drawing the radii
CD, OG,
ACD,
EGG will have the three sides equal, each to each, to wit,'
AC = EG, CD = GG, and AD = EG hence, these triangles are equal (Book I., Prop. XL)
and the angle ACD =
;
EGG.
EGF,
radius
fall
on
But
ACD = EGG,
on
its
equal
Proposition Y.
is
ADB
it is
Thboeem.
less
than a sem,i-circufnference.
AH >
chords
the arc
AD, EG
ENG
will
be equal.
Draw
DC, CH;
the two sides AC,
CH, of the trithe radii
angle
ACH,
are
AC,
CD
of
the angle
side
is
greater than
is
the third
and
AH
EG.
Eeciprocally,
if
the chord
AH >
the chord
EG,
the arc
BOOK
41
II.
AMH
AMI!
AH
arc
AMH were
smaller than
EN6,
the chord
AH would
also contrary to
is
the hypothesis.
Soholium.
We
than a semi-circumference.
is,
the greater
and
less chords,
re-
ciprocally.
Theorem.
Pkoposition VI.
chord and
to
a chord
AGB,
subtended arc
its
AB,
divides
equal parts.
Draw
the radii
respect
to the perpendicular
hence
I.,
AD = DB.
Since AD = DB, CG
we have
2.
pendicular at
AB
is
equally distant
froiii
the
extremities
The point G is
But if the chord
AG = BG.
AG
AG
and
is
GB,
the arc
and
AB,
a per-
pendicular
XVII.)
is-
GB
(Prop. IV.)
equal parts at G.
Scholium.
The
right line
centre,
ELEMENTS OF GEOStETBY.
42
of
arc.
tlie
It
is
But
two of tliesc conditions are sufficient to determine the position of a right line
two of
tliese
line
fulfil
which
fultils
and so on.
Theorem.
Peoposition VII.
were
will
meet;
for,
if
they
perpendicularly
Now,
two
pendicular
and
'
lar
DE,
is
lines
the per-
hence,
three distances
tlie
as a centre,
and with
at the
same
right lines
Corollary
is
I.
AC,
DE
The perpendicular
point of
point
were
would be found,
and FG, and these two
can only intersect each other in one point.
will pass
BOOK
43
II.
of a triangle
of the sides
same point.
intersect in the
Peoposition VIII.
Theoeem.
1.
AB = DE.
two equal parts by the perpendiculars CF, CG, and draw the radii
CA, CD. The right-angled triangles
OAF, DCG have the hypothenuse
CA==CD.
the half of
DG,
AB,
the half of
is
DE
hence, these
I.,
chords
DE
Prop.
CF
is
two equal
therefore, 1, the
2.
will
AB,
CG
AF,
Take, on
chord
AB, and
let fall
on
this
ELEMENTS OF GEOMETRY.
Pkoposition IX.T/ie perpendicular
CA,
radius
is
^Theoeem.
BD, drawn
a tangent
to the
circumference.
CE
is at
CA
dicular
BD
A in
Hence,
For,
all
BD
is
the circumference.
a tangent.
Reciprocally.
BD,
is
at the point of
right line
BD, and
is
line
circle,
common with
and the
without the
CA
A, being
will be the
to the
this line.
Corollary.
Through a point
A taken
on a circumfer-
Pkoposition X.
Theorem.
equal arcs,
MN, PQ,
on the circumference.
There
may be
three cases.
1. If the
cants,
MP;
it
pendicular to
its
parallel
H will be,
NQ
at the
- HQ
that
is,
NH
MN = PQ.
MH
MH NH
BOOK
2". If
is
45
II.
is
CH
this
DE, by
the preced-
MP.
parallel
But, since
CH
the point
is
MP,
Ilvc
its
MHP.
AB, DE,
the parallels
are
equal.
3.
gents,
DE,
AB we
draw the
parallel secant
from
MH = HP, and MK =
KP and, therefore, the entire arc HMK HPK; and we
-what has just been demonstrated,
;
is
a semi-circumference.
Theorem.
Pkoposition XI.
A outside of
which connects
AB
be
equal,
lines equally
being
distant
oblique
from the
0-^
->C'
circle described
to
C, as a centre, with
dius, will pass
CB
Hence, the
We
CA
as a ra-
dius,
which
middle of the common chord.
line
is
intersect, the
perpendicular at the
ELEMENTS OF GEOMETEY.
46
Corollary II.
If
point of contact
is
and
tliey
Two
common,
They may be
may be tangent
may intersect.
they
they
Peoposition XII.
exteiior
exteriorly or interiorly
Theorem.
their
centres
greater
is
sum of the
than the
ra-
dii.
For,
CA +
Hence,
CC ^
we have
C'A'
AA'.
CC > CA +
CA'.
Proposition XIII.
Theorem.
For,
AA'.
we have CC'=
CC < CA Proposition
XIV.
C'A'
equal
to the
CA'.
Theorem.
CA -
Hence,
sum of the
radii.
fiooK
47
ii.
A, being on the
centres,
we
CC'
Proposition X"V
= GA + AC'.
Thkoeem.
cent/res is
If two circumferences
their centres will he, at the
and
to the dif-
on the
is
C'A.
Peoposition
the radii,
the distance
equal
CA -
line of the
have, evidently,
XVI.
Theorem.
intersect,
distance ietween
the
same time,
less
sum of
than the
A, we
section
will
form a
triangle, in
radii
three
seen
CA, C'A
sides.
that,
one side
is
in
will be
the
But we have
any triangle,
less
than the
sum
The
true,
For
less
ELEMENTS OF GEOMETRY.
48
than
tlie
tlieir differ-
if
they
Pkoposition XYII.
Theorem.
DE
1, if
ACB,
the angle
DCE will
ACB = DCE,
and
he also equal.
these angles
may be
evident
point
that
it
the
will fall on
-jT'^
on the
^^
if
these
DE
ai-c
two
for,
arcs did
which
angle
AB =DE,
DCE;
for, if
AB =DE;
ACB
the angle
will
is
impos-
be equal to the
ACB
sible.
ACB = DCE.
BOOK
Peoposition XYIII.
In
the
same
circle^
49
II.
Theorem.
tlie
sides.
ACB,
Let
DCE
circumferences. Suppose
that the
DE
AB
arcs
have
and
common
measure
times in
in
DE
ACB
will
DCE
If the
arcs
AB
two
two circumferences, we
see
will contain
times
will be \.
the angle
contained 7
is
AB, and 4
upon equal
arcs
and
The
arc
If,
we
DFE
the angle
ACB
also, therefore,
ratios of
ACB
and
contains 4
of these
mainder
"K
di-
divided
is
ratio of
DFE
is
Now,
|-.
ELEMENTS OF GEOMETRY.
60
10,100,1000... parts,
that these ratios are
numbers of
we have just proved that they are comprehended between numbers whose difference may be made
are equal, for
as small as
we
please.
Measure of Angles.
The measure
know
of
any magnitude
is
known, when we
is
But the preceding tlieorem shows, that we may substitwo angles at the centre, the ratio of
Thus, instead of
between
its
its sides.
To facilitate this comparison, we divide the circumference into 360 equal parts, called degrees, each degree into
60 minutes, and each minute into 60 seconds, &c.
If the arc included between the sides of an angle at the
centre contains 24 degrees, the measure of this angle will
bp ^i or -*-
Scholium.
Repeating,
taken in equal
by
literally,
the demonstration
we might prove
circles, are to
that
two
of
sectors,
their sides.
Pboposition XIX.'
An
inscribed angle
of the arc
BAD
BD included ly
Theorem.
has for
its sides.
its
BOOK
51
II.
BAD
radii
the
be situated
circle to
sum
ABC,
equal to
is
CAB, ABC.
But the
triangle
the angle
angle
angle
arc
BCE,
BE.
as
BAC will
By
BE.
like
measured by the
have for its measure
is
Hence,
the half
is,
BAD
C is
;
situated outside
BAE will
for its
angle
DAE,
the half of
their difference,
BAD,
BE
DE.
will
have
and the
Hence,
have
for its
ED
or the half of
Corollary
I.
is
BD.
its sides.
each
is
same arc
Corollary
II.
Every
angle
scribed in a semi-circumference
right angle
inis
measure
BAC
inscribed in a seg-
ELEMENTS OF GEOMETRY.
52
measure
is
is
BOC, which
less
is
its
than a
seuii-circumference.
Every angle inscribed in. a segment smaller than a semian obtuse angle for its measure is the half of the
arc BAG, which is greater than a semi-circumference.
circle, is
XX.
Proposition
The angle
BAG, formed
Theorem.
is
At
the point of
Prop. IX.)
It
is
measured by half
the semi-circumference
AMD
the
is
-f-
will
AMD
DG,
or the
AMDG.
GAE is measured
XXI.
Peoposition
The angle
whose vertex
BA C, formed
is
Theorem.
BE,
A C,
the
its sides
and
is
arcs included
the prolongation
of its
sides.
BAG,
exterior to the
triangle
the
b\
Yo
the arcs
BC
and DE.
BOOK
53
11.
Peoposition XXII.
Theorem.
A is equal
first
ence
and
same
the
circumfer-
demonstration
applies.
Corollary
I.
circle
BA
is the
For,
1,
2,
every angle
is
we produce
at
CMB
whose vertex
CM
N, and join
MNB = CDB.
CMB >
smaller than
is
in
for, if
the angle
CMB,
MNB, is greater
MNB
but the
Hence, we have
CDB.
"We might, in
that every angle CGB, whose vertex
3.
is
is
to the circumference
ISTB,
CDB
greater than
segment,
BAC
CDB
sides
C and B.
geometrical
CDB, whose
like
is
manner, show
exterior to
the
CDB.
Proposition XXIII.
Theokem.
ABCD,
the opposite
ELEMENTS OF GEOMETRY.
54
for
Eeciprocally,
if,
any quadrilateral,
in
three points A, D,
the angle
ADO is
ABC, which
the angle
AMC
arc
was on the
AMC.
To divide a
From
right line,
the points
AB,
and B,
I.
AB,
as
two
describe
each other in
D;
arcs, cutting
tiie
point
JSfD
Lay
off,
line
AB,
also,
Ve
will
the points D, E,
line
and B.
_R distant from
The
and B.
Through
draw the
line
DE will divide
the line
DE.
AB
iOOK
line
can be
line
made
DE
the line
AB
will
into
55
II.
at the point C.
PROBLEM
n.
line
SO,
to erect
a per-
to this line.
and C, belongs
AD
is
hence,
that perpendicular.
Scholium.
^The
a right angle,
line
to the per-
BC;
BAD,
BC.
PROBLEM
From a point
A taken outside
From
in.
of a right line
BD, to
suffi-
in the
let
line.
two points
and
BD
then,
and
are,
and
the line
BD,
at its
middle point.
AE
is
perpendicular to
^
ELEMENTS OF GEOMETRY.
56
PEOBLEM
At
to
the point
A, on
IV.
AB,to make an
the line
angle equal
a given angle K.
From
BO
o D
AB = KI,
tre,
DAB
they
be equal
are, therefore,
cutting
BO,
at
to the
chords
arc
arc
equal (Book
the
indefinite
D; draw AD;
given angle K.
radii
II.,
and equal
Prop. IV.)
BAD = IKL.
PROBLEM
V.
at the point E.
chord
AB
middle of
this
chord
AB into
2.
and
CD
it
at E.
is
C and D are,
A and B of the
perpendicular at the
AB
the arc
angle
the line
AB
ACB
into
into
CD, already
two equal
two equal
parts.
ELEMENTS OF GEOMETRY.
58
Draw
DEF
-'""'^
make two
PROBLEM
Ha/oing given two
sides,
make
I,
^^
at the point E,
for,
these
right angles.
vin.
A included
sides,
describe
to
hy these
the
tri-
angle.
Draw
make
the angle
EDF = A
GH DGH will
draw
at the point
DG = B, DH = C,
take
and
PEOBLEM
DE
line
IX.
and two
side
angles of a triangle, to
will
In the
angle,
by Prop. YII.
we
shall
Draw
DE
the points
DE
each
other
DF
From
H, and
at
lines
DEH
DF, EG,
will
will inter-
be the required
triangle.
PEOBLEM
The
three sides,
X.
A, B, C,of a
BOOK
Draw
DE
59
II.
From
the point E, as
to
scribe an arc
side B,
de-
radius
cutting the
DF,
EF DEF
:
will
F draw
first at
may be
possible,
it
is
neces-
and E,
DE
be
shall
than the
less
This requires
sum
of the two
(Book
II.,
Prop. XVI.)
PKOBLEM
XI.
A and B, of a
sides,
B,
triangle,
and
to describe the
triangle.
There
may be two
cases
the
C = a right
EDF equal to.
take DE = A
the angle
1, if
make
the angle
angle
the line
DEF
DF
will
at
F; draw EF:
quired.
It is
necessary, in the
first case,
than
for,
B be greater
the angle C,
of the triangle.
side opposite to
Hence, the
it
must
also
ELEMENTS OF GEOMETRY.
60
B >
A,
tlie
C be
angle
the
2. If
same construction
will apply,
and
and
acute,
DEF
is
the
triangle required.
But
if
the angle
B <
A, then the
EF =
DF
F
two
in
points,
and G, situated
DEG, which
on the line
B<
there will,
be two
triangles,
DEF,
problem.
The problem
Scholium.
therefore,
be
will
impossible,
in
let fall
all
from
DF.
PEOBLEM Xa.
in
circle,
points.
or of a
gwen
arc.
A, B, C, in the circumference,
right lines
AB,
two
them by the
BC
DE,
FG
which these
tersect,
the point
O, in
perpendiculars
be the
will
in-
centre re-
quired.
Scholium.
tion applies, if
it
were required to
and also
angle
to
draw a circumference
ABC. shall be
problem
AB,
BO
is
in
which the
sriven tri-
inscribed.
line,
the
will be parallel.
BOOK
PEOBLEM
61
II.
Xin.
A be
to
a given
CA; AD,
radius
circle.
perpendicular
CA,
tangent
(Bk.
II.,
to
the
be
will
required.
Prop. IX.)
If the point
be
the
join
the
circle,
line
CA
CA
without
point
centre
by the
equally, at
and the
right
from the
cir-
and
D AB
:
and
AD
the semicircle,
Hence,
AB
and
We
is
CBA,
or
CD A,
a right angle.
AD
(Book
II.,
Prop. XIX.)
CB
two
They
are equal, for the right-angled triangles CBA, CDA have
the hypothenuse CA common, and the side CB = CD.
see, that
equal tangents
when
may
the point
is
without the
circle,
CAB.
PEOBLEM
XIV.
these right
lines
intersect each
A and B
If,
ELEMENTS OF GEOMETRY.
62
let
fall
tlie
OD,
perpendiculars
sides of
diculars
A'
^^p'^^
OD
Remarli
the sides
hisectrices
MBG, BON,
their point of
circle
In like man-
produced outwards.
we may
ner,
of the two
other
tangent
circumfor-
drawn tangent
to three
given right
general,
be
lines.
PEOBLEM XV.
On a
Produce
it
C;
that
is,
all
jlT of
dius
will
OB,
describe
circle
ra-
AMB
'
For, since
BF
is
perpendicular at
fiooK
63
It.
angle
II.,
ABF
is
Prop. XX.)
measnrei'd
;
besides,
tlie
AMB is
Scholium.
If the
AMB
inscribed angle
is
also
AB
as a diameter.
PROBLEM
XTI.
Draw
Draw
CA,
the radii
The
AA'.
CA,
radii
being
C'A',
perpendicular
to
AA',
be'
will also
will
be
We
CB = CA
C'A'.
de-
scribe a circumference
a radius equal to
CA
B,
cumference
we have
CB
that there
CC > CA -
aj-e
is
two solutions of
tangents to the
cir-
CC = CA -
C'A',
or, in
ELEMENTS OF GEOMETER.
64
other words,
when
each other.
Let
2.
it
now be proposed
to
and
let
AM'
quired line
radii
1
be the
CA, CM',
to the
points of contact,
and
CB
par-
The
line
AM'
the
to
lar
AM'.
being perpendicu-
CA,
radii
CM',
re-
draw the
it
will
CB = CA + AB,
CA -f
To
CM'.
having
we
describe a circumference
as its centre,
a tangent
CB
we draw
to this circumference.
the
is
same
as in the
preceding case.
This problem also has two solutions
sible
when
when
CC > CA + CM,
or
and
only pos'
it is
= CA + CM
that
is,
riorly.
PEOBLEM xvn.
To find
lines
the greatest
The
greatest
common measure
their
numerical
common measure
to
01
JpHD
to
ratio.
two
CD
E equal to
lines
but
CD,
cannot be
it
would be
if this line
feooK
oP
65
li.
same
two
as that of the
lines
CD
AB = 20D + IB
AB and CD, is the
have
the greatest
and IB.
Indeed, every
CD,
will also
common measure
of
CD
and IB.
common measure
Eeciprocally, every
of
CD
and IB
two
lines
We
AB
and CD.
deduce from
AB = 8KD
CD is |.
3KD, and
AB
and
Remark.
"We
of operations
the
;
preceding
equalities
CD =
we have a remainder
in the series
equal to zero.
two
We will
this is
always
so, if
the
lines
For, let A,
B be
cessive remainders
tients.
j',
g",, q-i,
/"i, r-,,
q^, qi,
We shall have
A = Bg-i n
B = r^q2 + Ti
n = r^3 + n
^2 = nSi + ^i,
/-j,
r-^,
-I-
&c., &c.
ELEMENTS OF
66
But,
r, is less
than
than
if
and
We shall
We see
;for, ifB<^-j7-,
a fortiori^
B^^^, then,?'i=A B;
have
that
GEOME^TE'^.
if
is
hence,?*! ""CTo"*
^5
<;^
tence,
r^
<^ -.
r,
<^ -
hence,
r-,
<^
^-g,
&c., &c.
if
there
remainder equal
less
also,
is
to
remainders smaller
we
we
common measure, we shall have a
zero otherwise we should fall upon
than the common measure, which is
sequently,
ry
When
number
certain
we
might, after a
will give
the greatest
the ratio.
PKOBLEM
Two
angles,
and
JB,
XVIII.
and
/\
/
s
serve
common
arc
may be
arc, as
laid off on
a right line
obtain the
is
an
laid off
common measure
BOOK
67
II.
DAO will
if
DO
be the
common measure
II.,
Prop.
of the arcs,
incommensurable
also,
ratio.
ELEMENTS OF GEOMETRY.
68
BOOK
III.
that
The area
(if
the ratio of
is
its
magnitude to
Two
II.
of a figure
when they
Two
figures
very dissimisquare, or a
triangle to a rectangle.
two
circles
The
altitude of a parallelogram
j,
is
the perpendicu-
(3
iases.
is
the perpendicular
AD
of an
EC, taken
V. The
ezoid
is
as the hase.
altitude of a trap-
the perpendicular
EF,
paral-
BOOK
Proposition
69
III.
Theorem.
I.
'
and equal
alti-
AB be the common
ABCD, ABEF; since they
Let
^lO
altitude, tlie
same
line parallel to
But we
AB.
AD =
reason,
like
be equal.
It follows
from
this,
equal.
But,
if
ABED,
we
ADF from
CBE,
hence, the
ABEF
ABED, we
and
if,
ABCD
ABCD, ABEF,
which have
the same base and the same al-
parallelograms
titude,
equivalent.
are
Every
Corollary.
gram
ABCD
parallelo-
equivalent to the
has the
altitude.
Pkoposition
ABC is
Every triangle
which has
the
ABC,
ABCD,
is
ABEF, which
rectangle
XX XL)
the quadrilateral
II.
Theorem.
the half
of the iMrallelogram
the
same altitude.
(Book I., Prop.
ELEMENTS OF CliOMETuy,
.0
Corollary
The
I.
ABC
triangle
is
BCEF, which
D tude
AC
/ BCEF
for,
is
equivalent
to
the
ABCD.
parallelogram
Corollary
alti-
the rectangle
Triangles,
II.
Proposition
Two
rectangles
Theorem.
III.
to
each other as
their hases.
Let
ABCD, AEFD,
their
common
AD
altitude
AB, AE.
AE,
divide
AB
into
7 equal parts,
numbers 7 and
AE
first
AB,
and
If
4.
will contain i of
we
will
bases
these parts.
which
the
are commensurable,
we
that
same
shall thus
altitude.
The rectangle
ABCD
will
AEFD
tlie
will contain 4.
rectangle
AFED,
Hence the
rectangle
ABCD
AB
as 7 is to 4, or as the base
is
to
is to
BOOK
Let R,
r,
dimensions of the
second
base
we
as the
shall have,
Measure of a
rectangle.
-R'
To
member by member,
first ratio by R', we
measure a rectangle H,
r, which
a certain rectangle
shall
have
x2 =
=r
4.
Ordinarily,
we
con-
4 times.
R_ B xH
r
We
'
is
71
III.
is 1, is
how many
This
is
always
ELEMEl^TS OF GEOMETRY.
72
expressed, wlieri
we
its
base by
Pkoposition Y.
product of
is
equal
is
to the
For,
tlie
parallelogram
angle
ABEF, which
J'
its altitude.
Theoeem.
measure of a rectangle
is
ABCD
AB, and
the same
But the area of
the rectangle has for its measure
AB X BE hence the area of the
])Hrallelogram is equal to AB x
BE, that is, to its base multi
c altitude
BE.
;
plied
by
its altitude.
Corollary.
we
for
A, B, C, be-
have, generally,
A xC ^ A
~
B
X C
B"
*
Peoposition VI.
The area of a
Theoeem.
ABCE, which
ABC
is
AD. But
alti-
BC
ogram
is
Corollary.
bases,
Two
triangles
of
the
their altitudes.
Book
Theorem.
Proposition VII.
A BCD is
73
iti.
the
sum of
equal
to its altitude
parallel
its
lyases
AB.,
parallel to
(Book
parallel
E
are
(Book
equal.
ABCD
for its
is
B therefore
I.,
tlie
Prop. VI.)
Hence
measure
EF
XXV.);
IBL and ICK
Prop.
I.,
triangles
the trapezoid
ADKL,
and has
x AL.
Scholium.
we draw IH,
also
If
lelogram, as well as
parallel;
IL
we have
tlie
TTT
Ime HI
n-
by
EF
X HI;
that
is,
is
BC,
H will
point
AHIL
and Dil
BIL = CIK
DH.
remark that
tlie
a paral-
AH = IL,
We may
the middle of
DHIK,
then
I,
AB,
by the
4
IK.
therefore,
But
AH =
AT = AB+CD
= AL
^
may
also be expressed
ELEMENTS OF
74
aEOMETR'S'.
parallel.
Pkoposition YIII.
If a
line
AC he
Tiieokem.
AC
BC,
AB
that
BC
',
is,
or
(AB
1-
first,
ABIF,
AF = AB
is
the square on
the second,
AB,
IGDH,
since
is
the
AC =
AE, and AB = AF, the difference AC AB is equal to the difference AE AF,
BC = ,EF. But on account of the parallels,
squar.e
on
BC
for, since
we have
"'^
wliicli
gives
IG
square
<iii
AC,
Scholium.
&c., &c.
AC
and,
if
we suppose
theorem.
like
theorems.
<
BOOK
If the
line
on
Theorem.
That
we
is,
Aif
or
15
III.
Pkoposition IX.
the square
of
AB and BG.
shall have
(AB
Construct
tlie
parallel to BI,
EFKL.
GLED,
we
if
for its
measure
square
ACDE.
x BC;
ABILKEA,
whole figure
2
AB
AB + BC
which has
2
,
it is
AC,
&c.,
&c.
Scholium.
This proposition
algebraic formula
(a
hf a' +
b'^
2ab, as in
the
the pre-
ceding theorem.
Peoposition X.
The
rectangle on the
AB, BG,
is
That
(AB
Construct
equal
is,
we
^Theorem.
sum and
to the difference
difference
of two
lines
shall have
+ BC)
on AB
X (AB
and
AC
BC)
= AB' -
the squares
produce
AB
until
Bc'.
ABIF,
ACDE
BK =
BC, and
gle
altitude
the same
AE,
lines.
x (AB
is
the difference of
- BC).
But the
reetan-
ELEMENTS OF GEOMETRY.
7C
gle
is
BHLK is equal
= DE, and BK = EF.
BII
EDGF.
theiirems,
{a
(AB
V)
two preceding
{a \-h)
Proposition XI.
avgle
for
and
EDGF,
AKLE = ABHE +
Hence,
same proposition
The
rectangle
parts
DHIG,
+ BC)
(AB
Scholium:
the
to
the part
ABHE +BI1LK;
= a^ &l
Theorem.
on the hyjpothenuse of a right-angled triequal to the sum of the squares on the two sides.
xquar'e
is
ABC
Having
be right-angled at A.
fall
from the
potbenuse the
AD
to E,
diagonals
angle
ABE is
composed
and
ABC
CBF
angle
right
the angle
produce
of the angle
the
perpen-
AD;
dicular
CBH
is
com-
ABC
gle
angle
of
tiic
two including
for a like
an-
hence,
the
ABE = HBC.
But
sides in each
ABH;
(Book
I.,
Prop. Y.)
Tlie triangle
the
ABF
is
altitude
BDEF, having
BD.
(Book
II.,
BOOK
Prop.
II.)
AH
for,
The
77
III.
triangle
the angles
square
angles,
AC
to
HBC
AH, which
is
the rectangle
therefore,
ABF,
HBC.
pothenuse,
is
equal to the
that the
But, the
two rectangles
the square
BDEF,
is
square
sum
BCGF,
on the hy-
of the squares
A.BHL,
BC = AB + AC
The square
Corollary I.
right angle
is
side
that
is,
we have
Ab'=BC'- Ac'.
ABCD be a square, AC its diagonal
the triangle ABC being rectangular and
Let
Corollary II.
also isosceles,
we
shall
have
the square
of a square
square on
its
side
AB.
is
on the diagonal
AC
double
the
equal
to
ELEMENTS OF GEOMETRY.
78
Since
AO = -2
AB ^
,
we
AC ^v^2
AB ~ l'
Hence, the diagonal of a square
is
incommensurable with
its side.
Corollary
We have
HI.
shown
AH
is
BDEF;
tangle
in
consequence
the
common
but
of
altitude
the
to
BDEF
BC is
BD;
rectangle
as
the
base
to
the
base
then,
BC
AB
CB
2
BD
on.
the hypothenuse, is to
the square
the sides
IV.
Tlie rectangles
is
BDEF, DCGE
on one of
to the
having
their bases
to
BD,
the squares
_J2
AB AC
,
Hence,
AB
AC
BD
DC
Or, the squares on the two sides of the right angle are
to
BODE
111.
to
these sides.
DEFINITION.
The
projection
of
AB, on
CD, is the
por-
CD
com-
line
other line
anj'
of the
fall
from
and
Peoposition XII.
its
extremities
Theoekm.
angle
is
sides,
minus
Let
AD
we
shall
have
may
perpendicular
ABC, we
be two
falls
cases.
1. If the
shall have
and consequently,
BD = BC - CD,
- 2BC
X CD.
ELEMENTS OF GEOMETRY.
80
2- If the
perpendicular
AD
falls
ABO, we
BD = CD -
have
shall
III.,
Prop. IX.),
BD =lJD +BC -
2CD
Adding Ad'
X EC.
members, we
shall
x CD.
Theorem.
Pkoposition XIII.
In mery obtuse-angled
both
to
have
on the side
of the squares
rectangle of one of the
on
plus twice
the
other
upon
Let
AB
of the
it.
ABC
pendicular
draw
toBC
of the
AD
per-
then we shall
have
at E, for
cannot
perpendicular
ACE
x CD.
for, if
would have,
at
BD = BC + CD. From
Cd" + 2BC X CD. (Book II.,
have
this results,
Bd'
Prop. VHI.)
=^ +
Adding Ad'
Ab'
= Bc'+ AC + 2BC
X CD.
BOOK
Scholium.
in
81
III.
is
is
equal to
For,
sum
side
of their squares
;
by
if
and
if
is
the angle
the vertex
is
acute, the
obtuse,
Peoposition
Jf from
these sides
XIV.
third
Theorem.
of a tnangle
tlie
will be less.
it
ABC, we
dravi a line
line, togetlier
is,
we
have
shall
=AB +AC.
perpendicular AD on the
2AE +2BE
Let
fall
the
triangle
AEG
Prop. XII.),
BO;
the
(Book
II.,
base
will give
AG = AE + EC -
2EC xED.
The
E
triangle
AB = AE + EB + 2EB
Adding
ABE
by
x ED.
EB = EC, we
will give,
shall
remembering that
have
AB + AC = 2AE + 2EB
Peoposition
XV.
Theoeem.
82
ELEMENTS OF GEOMETRY.
dinqonalx, })luH
four times
the centres
ilie
of these diagonals.
Let AC,
BD
be the diagonals of
and G
the quadrilateral ABCD;
We have,
draw
tiieoJ
jj
= 2B0'+2A0, and in
2D0 + 2AO. Adding
ABC, AB + BC
ADC,
the triangle
AD+DO =
member
by member, we have
2(B0'
+ DO) + 4Ao!
we have
+ DO = 2 BG + 20G:.
Hence,
Ab'+ Bc'+ Ad'+ DC = 4BG + 40g'+ 4Ao';
and since AC = 4A0, aftd BD = 4BG, we have, finally,
A B + BC + AD + DC = 40G + BD + Ac!
"bo
Corollary.
right line
the.
of
GO
If the quadrilateral
be a parallelogram, the
in every parallelogram.,
The
of
its
sum
two diagonals.
is
also true.
If a
line be
drawn
^Theorem.
jparallel to one
of the sides of a
tri-
BOOK
Join
BE
DC;
and
DEC
BDE,
83
III.
the^two triangles
DE;
and
the base
allel to
are equivalent.
The
'^
and are
we have
tude,
to
ADE, BDE,
triangles
common
with the
AD,
DB
alti-
and
ADE _ AD
BDE ~ DB"
Th^
ADE, DEC,
triangles
have
also the
baSes
AE,
same
EC
altitude,
common
with the
and are
to
vertex D,
hence
ADE _ AE
DEC ~ EC
But the
common
triangle
Corollary I.
and
also.
BDE = DEC
ratio in these
From
AD
AE
DB
EC"
this results,
AD
AE
AD-t-DB
AEH-EC-
AD -H DB
DB
AE
or
-f EC
EC
AB
ELEMENTS OF GEOMETRY.
84
For,
let
AB, CD meet in the triangle OEF, the line AC being parallel to the base EF, we shall have
the lines
0E_ AE
OF ~
CF'
OGH, we
In the triangle
D have,
T,
1 M,
"
in like
manner,
common
ratio,
shall
OE GE
-=-= = ===.
we have
AE_GE
CF ~ FH"
We
might prove
in the
Peoposition XVII.
Reciprocally^ if the sides
AB,
'
jy^
Fur,
if
DE
AC of a
Miice,
triangle
so that
DE will he parallel
ABC
we have
to the hase
BC
is
be parallel
we
shall
then,
have
on the one
side, the
by the preceding
AD
AO
ED
OG
But, by Iiypothesis,
AO,
DE,
to
rem,
&c.
Theoeem.
AD = AE
= g^,
gp =
^^, which
antecedent
DE
g^;
AE
EC
is
is
DO
theo-
hence,
we
impossible,
greater th^n
is less
than
OC
AE
ELEMENTS OF GEOMETRY.
86
Draw CG
2.
AF
parallel to
have
in the triangle
BAF, we
BF_AB
FC ~ AG*
The
AGO is isosceles,
triangle
preceding reasoning
FC ~
Corollary.
manner
to
If the point
AB
D and
to
AC
to
be proved by the
and we have
AC
A moves
may
as
AG = AC,
BF_ AB
hence
is
constantly equal
BAG, EAC
F; since the
will
BF
T?T)
ratios pjp)-7rp
AD, AF,
the point A, in
follows
tances
That
be on
given points
a circumference of a
>the circumfer-
From which
as a diameter.
from two
ratio, is
FD
two
Hence,
bisectrices of the
ence described on
always
of jpoints
and
whose
it
dis-
are in a given
circle.
DEFINITION.
sides proportional.
lie
opposite to
equal angles.
BOOS:
Two
87
III;
XIX.
Pboposition
Theobem.
jproportional.
ABO, DEF
Let
viz.,
A=
then
B=
D,
C =F
E,
AB_AC_BC
'^
DE
AH =
AG =
DE,
AGH, DEF,
Take
DF~EF'
DF, and
join
GH;
the
trl^
will
AGH
B = AGH, and GH
Draw
HL parallel to AB
-j-^
;
we
is
parallel to
BC
xtt"
shall
AC_BC AC _ BC
AH BL'''aH~GH'
BL, GH are equal as parallels comprehended between parallels.
Comparing the last proportion with the preceding, we
for the right lines
deduce from
it,
on account of the
AB^AC^BC
AG AH
Corollary.
If
two
GH'
triangles
common
ratio,
AB^AC_BC
DE " DF ~ EF'
be similar,
angular.
Proposition
XX.
Theorem.
ELEMENTS OF GEOMETRY.
88
Let|^ = A? =^,
be
\.
equiangular,
to
Sence,
it
ABC, AGH,
proportion,
the
or,
'
'
what
is
.1
the
same
GH is parallel
AGH = ABC. The
follows that
triangles
having
and
AB AC
=r^ = =rrr;
DE DF
AB A O
-To~ira'
DEF
A = D, B = E, C = F.
Take AG = DE, AH = DF,
we have, byand join GH
hypothesis,
thing,
ABC,
being equiangular,
we
have,
by the
preceding theorem,
AB__
AC_
AG ~ AH ~
But, by hypothesis,
we have
AB AC
DE ^DF
And
since
BC
GH'
BC
^EF"
the triangles
AGH, DEF,
I.
We
the angle
eqvial angles of
two
Scholium II.
We
see,
by the
last
two
propositions,
sides,
This
is
and recipis
fulfilled,
more than three sidts for, in the case of quadwe may, without cb fging the angles, vary the
or, without varying the
proportion between the sid -
figures of
rilaterals,
BOOK
89
III.
We see,
for
example, that
lel to
AEFD
lateral
ABCD
sides is different
four sides
varying the
so, witliout
to approach to or recede
Scholium 111.
propositions,
which
the
hj'pothenuse,
all
are the
Taken
in geometry.
all
other figures.
Peoposition XXI.
Two
triangles^
Theokem.
A = D,
l)y projportional
^tt?
DJii
= T=rr^
Dr
ABC
Take
and
equal,
>
be
DEF.
parallel to
ij
F .triangle
AGH will
be equiangu-
ELEMENTS OF GEOMETRY.
90
AT)
lar with tlie triangle
ABC;
AG = DE
DEF,
hence,
= rTT"
and we
shall
and, by construction,
^y^
AH = DF.
have ttt
The two
triangles
AGH,
ABC:
ilar to
hence,
its
But the
triangle
DEF
equal
is
AGH
is
sim-
also similar to
ABC.
Proposition
Two
dicular
XXH. ^Theoeem.
to each,
are similar.
We
lel
C, the angles
know that two
mentary (Book
We can
potheses
1-
-I-
make one
A 4- A' = 2
2.
I.,
only then
=2
right angles,
B + B' = 2
right angles,
B + B' = 2
right angles,
right angles.
A + A' = 2
right angles,
C = C'.
3
A = A', B = B',
But, in the
first
and consequently, C
hypothesis, the
sum
C.
sum
BOOK
91
III.
Thkoekm.
Proposition XXIII.
second polygon
posed of
the
it
and
triangles,
these
For,
vertex
let
ABODE
BC, and cd
b,
draw be
CD,
parallel to
to
DE
the trian-
ABC, ACD,
E^'
number
&c., &c.
situated.
Peoposition
XXIV.
Theorem.
and
and
are
tri-
tlierffore similar.
angles
ABO,
BOA = bca
ACD,
gle
"ACD =
clude that
Besides,
acd: hence,
we
we
shall have,
on ac-
same
con-
triangles,
equal ratios
the
the
follov/ing
ELEMENTS OF GEOMETRY.
92
AB _ EC _ AC _ CD _ AD _ DE ^ AE_
~ be ~ ao
de,
ae
ad
cd
ah
'
therefore, the
Peoposition
XXV.
Theorem.
same number of
may
divided into
he
and
similarly situated.
In
other
the
FGHIK,
polygon,
draw, in like
diagonals
FH,
FI, to the
other angles.
FGH,
and the
FG
sides
and
GH
equal to
is
AB, BC,
sides
from
It follows
ABC
so 'that
this,
its
homologous angle
we have
AB = BC
y^^-j.
-=^^
Prop. XXI.)
lar,
But
we have
.
.,
are similar,
AC
^pTrr
BC
= prf
we have
BC
parts,
CD
Qg = -^T
,
!
^''=^'
AC
pJJ
==
CD
hT"
BOOK
But we have already
hence, the triangles
93
III.
AOD =
ACD, FHI,
have an angle
Fill
in each
We
Proposition
The
lines
AF, AO,
XXYI.
drawn from
dic.^
DF
Theorem.
the vertex
of a
-BC and
pr&portional
DI_J[K_KL
BF ~ EG ~ GH'
For, since
DI
is
parallel to
ABF,
BF, the
IK
ADI,
we have
triangles
-j-=j.
Likewise,
we have
common
^ = -rrpr
AF EG'
;
ratio,
DI
we
get
_ IK
BE ~ EG"
'
;>
ELEMENTS OF GEOMETRY.
94
We
in the
KL
grj
IK
might show,
DE
is
BC,
I,
K,
at the points F,
G, H.
Corollary.
points F, G,
If
H,
BC
I,
K, L.
XXVII.
Pboposition
from
DE
If.,
parts, at the
Theorem.
A of a right-am,gled triangle we
draw
2.
Each
AB, AC,
side,
mean proportional
will he a
1.
The
triangles
t^ the third
are, therefore,
We
the triangle
angle
and
BAG.
DAG
is
similar to the
tri-
similar.
small triangle
is
hotnologous to
hypothenuse
BA
of
tlie
tlie
BA
BAG
The
BD
in the large,
equal angles
small triangle
in the
because
BAD, BGA
is
the
homologous
to
Book
EG
the hypothenuse
We
of the large.
may,
therefore,
= -^^
we have
in like manner,'
96
in.
-r-r^
AG
-^fr^.
BC
AB,
AC is a mean pro-
3. Finally, the
their
homologous
sides, the
3, the perpendicular
Scholium.
AD
DC
ABD,
proportion -^jr
is
mean
ADC
give, for
= -=rp.
Hence,
proportional between
of the hypothenuse.
gives,
by placing
demonstration
AB, AC.
We have
thus a second
by a
process
and we
see
on
the hypothenuse
is
Corollary.
ference,
pendicular
'
AD
is
a mean propor-
ELEMENTS OF GEOMETRY.
06
BD,
diameter
the rectangle
DO ;
BD
The chord
2.
AB is a
We
also, in like
= BD
AC DC
Ab"
have
and
if
manner,
and
also,
triangles
with
BC
shall
which have
ratios
we
BC
Two
tJie
or,
AB
BC
Pkoposition
between
AB = BD x BC.
AC = CD x BC. Hence,
we compare
BO
BC
equal to
is
mean proportional
diameter
have
AD
other words,
or, iu
x DC.
XXYIII.
XL
III.
Theoeem.
equal, are to
ADE,
is,
the triangle
as the rectangle
AB
AD
X AE.
Draw BE
ABE,
common
>
^E
tude,
and are
bases
AB,
,.
VL)
ABE
Hence,
,.,
mhke
.
ADE
having the
AD
(Cor.,
Book
AB.
-^^^= -^
manner,
same
alti-
to
II.,
we
Prop.
,
have,
ABC AC
-j^ = -^
we have, omitting
^^^ ABC AB
monterm ABE,
^pg^
AC
^P^^^
the com-
BOOK
Pboposition
Two
of
their
XXIX.
homologous
97
III,
to
Theorem.
sides.
we
Since the
have,
by
the preced-
ing theorem,
ABC _ AB
DEF ~ DE
AC
X DF'
AC
DF'
But the two
,.
portion
we have
the
pro-
AC AB ^
^='jw- Hence,
ABC AB AB
DEF^ 'de^de
Pboposition
XXX.
AB
DE
Theorem.
AB
have
BP
CD
=^ = j^ttt = tjT
'
&c.,
we deduce, by
we
the composition
'ELEMENTS OF GEOMETRY.
98
AB + BC+CD+&C.
,,,
,.
of these equal ratios,
,
demonstrates the
2.
by
^
j^q^.qh +HI
first
,.,
"''
FGH
ABC,
the precedina;
^ theorem
similar triangles
AB
+&^ ^ FG'
ABP = AC
=
=v
FGH
FH
liave
from
the
we
are similar,
and,
sllso,
AGD_ AC
FHI
fg'
common
ABC _ ACD
FGH ~ FHI
In like manner,
we could show
that
ACD _ APE
FHI ~ FIK
and
From
this series of
number
'
of triangles.
equal ratios,
we have, by composition,
ABC ^
Ac"
FFt
yR
Ab'
=2-
FG
Peoposition
circle,
AO_CO
DO ~
OB'
XXXI.Theorem.
chords,
AB, CD,
which
intersect
that
is,
BOOK
Join
AC
99
III.
triangles
the angle
also,
is
the
equal;
D, being inscribed in the same segment (Book II., Prop. XIX.): for a
and the
like reason, the angle C = B
;
AOCO
DO~OB'
From
Corollary.
OB = DO
X CO,
from a point
secants OJS,
is
XXXII.
Theorem.
OC, terminated in
we draw
the
C,
the
segments ; that
For, joining
is,
we
shall have
AC, BD,
-p^
= ^=r^.
OAC, OBD,
the triangles
the angle
B=C
(Book
II.,
equiangular, and
and
their
having
homologous
similar;
proportion
OB_OD
OA
00
Corollary.
we deduce
From
OA
this
OB
==
proportion,
00
x OD.
and
its exterior
to
segment.
the
100
ELEMENTS OF GEOMETRY.
We may
SeJiolium.
AB, CD,
Pkoposption
XXXIII.
Theobem.
and we
For, joining
7=-=;.
OA OD
AD and AC,
O common
\v
yy^^\^"'-\
N.
AD, and
the angle
\\
measure.
Hence,
-^c
will be similar,
V\^ ^y
r
portion
OC
Scholium.
the
OAD = C
and
OAD,
'^
OAD, OAC
the triangles
OC OA ^
^2
^=r=r.
HencG, OA =
^y^
X OD.
This proposition
the
point 0.
FEOPosmoN XXXIV.
In every
A B, AC
is
triangle
equal
ABC,
X AD.
to the rectangle
CE
Theorem.
so that
AD
we
shall home
AB
AC =
BOOK
For, joining
AE,
101
III.
the triangles
ABD, AEG
angled, one
at
angle
the
Besides,
are
right-
D, the other
B =E
at
A.
hence,
give
AB
AD
-^ = -^.
..
^,
the
proportion
Hence,
AB
AC = CE
Corollary.
equal quantities
AB
AC
the
bj'
BC = CE
If
equal
multiply these
we
X AD.
ABC
(Book
II.,
Prop.
to the
circle.
for a reason
required.
Scholium.
We
angle is equal to
radius of
tlie
may show
its
trithe.
inscj^hed circle.
common
area of a
tlie
common
their
altitude, the
of
the
triangles
of the bases
AC,
by half
OD.
There-
the radius
fore, the
by
is
ABC, which
equal
to its
AB, BC,
multiplied
is
composed of
perimeter multiplied
ELEMENTS OF GEOMETRY.
102
XXXV.
Peofosition
If^ in
Theorem.
a triangle
AC will
"be
equal
of the third
we
shall have
BA
AC = Ad' + BD
AD ;
and
x DC.
produce
AD
to
circumference,
the
The
ilar;
triangles
for,
by
BAD, EAO,
f BAD = EAC.
B = E,
are sim-
the angle
Besides,
by half of the
arc
AC
measured
these
tri-
-^ -^-~ and wo
have BA X AC =^ AE X AD. But AE = AD
DE, and
multiplying both members by AD, we have AE x AD =
AD AD X DE besides, AD x DE = BD x DC.
Hence, finally, BA x AC = Ad" + BD x DC.
homologous
-f-
-I-
Proposition
XXXVI.
Theorem.
of
tlie
diagonals
AC,
BD
is
equal
A BCD,
to the
the rectangle
sum of the
rect-
we
have
AC
ylo
BD == AB
CD
-F
AD
X BC.
inscribed in the
same segment
BOOK
AOB;
proportion
ABD, IBC
The
for,
and
-^=j5^;
triangle
ABI
is
103
Hi.
ABD = OBI,
by
construction;,
AD x BO = CI x BD.
(1)
BDC
the angle
both,
we
the triangles
inscribed in the
DBC
AB = AI
AI x BD.
-^^
AB
and
CD =
(2)
Adding the equalities (1) and (2) together, and observing that AI X BD + CI x BD = (AI + CI) x BD = AC x
BD, we shall have AD x BC + AB x CD = AC x BD.
PEOPosmoN XXXVII.
Iti every quadrilateral
circle, the rectangle
the rectangles
^Thkoeem.
which cannot
of the diagonals
of the opposite
ie inscribed in
is less
sum of
than the
sides.
ABI = DBC,
D not being
BAC;
The
make
AC,
line
AI
since the
on the circumfer-
finally, join I
triangles
and C.
ABI, BDC,
equian-
The
= =^
triangles
hence,
AI x
BD = AB
x DC.
(1)
ELEMENTS OF GEOMETRY.
104
DBI,
DBG
AB
proportion
=j5-p-
^,7=;
the triangles
42 = IS
Adding
since
X (AI
ABD, IBC
the
have,
IC x
lience,
BD
And
sides
again,
we have
are similarj
RT
by proportional
have
ABD IBC
(2),
BD = AD
x BO.
we
(2)
we have
+ IC) = AB
DC + AD
X BC.
AI
Scholium.
We
conclude that
is
if,
X BC.
in a quadrilateral, the
sum
equal to the
of the rect-
may
be
inscribed in a circle.
Pboposition
XXXVIII.
Theoeem.
other as the
in their extremities.
The
quadrilateral
triangles
ABCD
ABC, ADC, by
may
the diagonal
nating by
Prop.
AB
but, desigcir-
we have (Book
XXXIV.),
cumscribed
III.,
AC;
BC X AC = 4K
X ABC,
AC = 4E
X ADC.
and
AD
Adding
AC
DC
these equalities,
(AB X BC + AD X DC)
= 4R
we have
ABCD.
BOOE m.
But,
if
105
into triangles,
by the
diagonal
BD
X (AB X AD + BC x DC)
= 4R x ABGD;
hence,
AC X (AB X BC + AD
X DC)
AC _ AB
AD + BC X DC
BD~ABxBC + ADxDC"
IH.
I.
to
lines.
Let
it
equal parts.
on AG.
AC,
AC five times
G with the
lay off
the line
-
GB,
AB, by
-M
oft'
For, since
CI
is pai-allel to
cnt proportionally at
But
AC
part of
is
and
GB,
I.
AG
(Book
;
AG,
the sides
II.,
hence,
AB
are
Prop. XVI.)
AI
is
the fifth
AB.
line
AB into parts
Through the
2.
Let
it
ELEMENTS OF G^EOMETRi^
AG, take AC = P,
CD=:Q, DE=R,join
tlie
extremities
B,
and
points C,
draw the
parallels CI,
EB;
E^*5
KB,
of the line
AB,
E and
through the
DK,
to
the intercepted
will be proportional to
DE
are
XVI.)
DK, EB
proportional
to
KB
AI, IK,
and, by construction,
AC, CD,
(Book
DE
AC, CD,
11.,
Prop.
are equal to
PROBLEM
n.
B, on
join
DF
draw
"g point B,
B/
\x
!c
allel to
the
is
DC = C
ilie
pai-
,.
DX
BX
since
AC, we have
the proportion
be
proportional
for
parallel to
,,
MX
AC DX will
fourth
required
^F
take
DA = DC
j^,
DB, DC,
is
are
the foui-!h
proportional to A, B, C.
Corollary.
B;
for
it
will be the
same
as the f<.nr;h
BOOK
107
III.
PEOBLEM
in.
A,B.
On the
indefinite line
on the whole
line
DF,
DF,
DE =: A,
take
and
EF = B
circumference
DGF
at the point
EG
on
proportional sought.
pendicular
tional
^'
EG
'
perpendicular to
circumference
^'
'
the line
OA will
PEOBLKM
IV.
ELEMENTS OF GEOMETEY.
108
may
and
of the angle,
he equal.
line sought.
AE being
1^ = ?^-
For,
^
therefore
have
CD, we
BE -
EC, and
But
AD
EC
parallel to
BA = AD.
PROBLEM
To make a square
V.
Let
AB
and
altitude,
its
Ti
the required
DE
the side of
we must
square:
have
X^
= AB
DE
AB_ X
^''
X "DEi
X
is a mean
Hence, the side
proportional between AB and
DE.
2.
We
see, in
like
manner,
is
mean
PEOBLEM
To make on
AD
altitude.
TI.
the line
shall he equivalent to
proportional
its
BOOK
Let
AX
be the unknown
ADEX:
109
III.
of the rectangle
altitude
AX
,,
the proportion
AD = AC
-^ -^
The required
line
AX,
is
therefore
lines
which
shall ie in the
same ratio
Let A,
C,
D, those
be chosen arbitrarily
the second line.
must have
Hence,
Therefore, the
One
let it
From
first
rectangle
be equal to A, and
let
may
X be
A xB _A
C xD X'
X A
CxD
X = C xD
B
A xB
required line X is a fourth proportional
we
to
PROBLEM
VIII.
To
C07i8truct
the prolongation
CF; and
the
AE
in F.
polygon
Join
ABCDE
ELEMENTS OF GEOMETRY.
110
will
ABCF. which
has one
CE
common
the
base
We
may,
stituting
for the
AGC, and
ABCF.
off the angle B,
manner, cut
in like
by sub-
triangle
thus the
an equivalent triangle
GCF.
We
Scholium.
This
; or, in
The problem
bo
we
rectilinear figure.
linear figure
may
so that
is
what
is
its
quadrature.
is
known.
PROBLEM
IX.
1.
Let
it
to the
sum
of these squares
indefinite lines
right
at
each
ED, EF,
angles to
other
take
ED=A, andEG =
B join DC DG
;
will
be the side of
fiOOS
DEG
DG
equal to the
is
2. If it
sum
be required
Ill
III.
of
tlie
ED
squares on
and EG.
to find a
dif-
FEH
angle
and
take
GE
as a centre,
Sclwlium.
of any
number
equal to the
sum
construction which
may be employed
reduce three to
to
The same
principle
would apply
FKOBLEM
To
construct a square
ABGD^
On
as the line
which
if it
sum
X.
shall he to
is to the line
EG, take
On EG
were required to
of the others.
a given square
N.
EF = M,
FG = N.
and
as a diameter,
describe a
F, erect a perpendicular
diameter.
'
the chords
take
From
HG,
FH
the point
HE
to the
H draw
on the
first,
K draw KI parallel
Ml
p.r.el,wehave
to
EG HI will
:
5L=^;
ELEMENTS OF GEOMETET.
112
from which
we
Hf
he'
HK
HG
get
EHG, we
have
also
XI.),
_ EF _ M
Sg fg n"
he'
Hence,
But
HK = AB
square on
AB
as
HI
HK
is
to
the side
gon similar
FO,
to the
is
to the
AB, to construct
ABCDJE.
a poly-
N.
PROBLEM
On
HI
homologmis
XI.
to
given polygon
AC,
"
make
'^-""''^^
AD
at
F,
point
the
the angle
GFH =
BAG,
FGH = ABC
the
GH,
will intersect
triangle similar to
AC,
ADE. The
AD,
polygon
and
Likewise, on
FI, homologous to
to
each other in
ABC.
FIH,
similar to
FGHIK will be
FH,
FGH will be
FH,
ADC, and
FIK,
on
similar
ABCDE.
same num-
liomologons to
lines
sit-
BOOK
PEOBLEM
Two
113
III.
XII.
to construct
to their
sum
a similar
or their differ-
ence.
homologous
sides,
^-%.
we
'
A^
have
^ P+Q
Hence,
B''
last proportions
shall
^^^ sibee
^'
A''
+ B^
X = P + Q, the two
is
B.
Knowing
problem
is
being
A and
reduced to the
preceding.
If the
polygon
X = P Q, we should
still
portions
P
Q
We
A^
^,.
B^"
Hence,
'"-^'
have, besides,
that a'
A^
P
p_Q
=P =: A^
A^
A^
B^"
- Bl
PEOBLEM Xni.
To
construct
which shall
a polygon similar
he to this
ELEMENTS OF GEOMETRY.
114
Let
sides
side
be
let
homologous
shall
to
A: we
p=
shall have,
of
its
t>
Hence,
by the conditions of
X=
have
-ri
We shall
A one
the problem,
we
tlie
a^
-to-
A^
PEOBLKM XIT.
to
To
construct
Q.
Let
a polygon similar
and since
Q,
we
must be equivalent
find
two squares
have
shall
M^
M'^
lines
line
P=
hence,
W = -r;
X^^
P=
^
X
A^
,2
X-
'
A^
^.
and N^ equivalent
A^
=rFr,
will then
we shall have
to ^, pr
'
The
equivalent
polygon X.
we
and
If
to
MA
N=
to
and
:ir=
83
M, N, A.
PROBLEM XV.
C,
line
distance from
From
a given square
AB.
On AB,
draw the
to
ED
it
AB, and
at a
tlie
parallel
BOOK
115
III.
EF AF
and
FB will
be
sum
For, their
and
equal to
is
AF
rectangle
their
AB
x FB,
is
angle
AD
is
square C.
Scholium.
B
that
AD
the distance
ble, that
construct a rectangle
and
ference
XVI.
the difference
On
AB.
PEOBLEM
square C,
necessary, in
is
is,
To
It
AB,
AB.
as a diameter, describe a circum-
draw
AD
gent
square
the centre
DE
and
the tan-
D and
DE
DF
or
EF,
AB.
2.
The rectangle
'
DE
DF
is
equal to
will
AD
PROBLEM
To
divide a line
AB
into
XVII.
mean and
c.rtr:me ratio
ELEMENTS OF GEOMETEY.
116
tltai is,
and
At
tlie
extremity
BC, equal
ular
of the line
to the half of
AB,
AB
a mean
ference
in
the
ting
circumference
AF =
AB will be
D, and take
AD
the line
AC
For, produce
until
the line
manner
required.
it
AB
being tangent,
we have
the proportion
AE AB
AE - AB AB - AD
or,
AB AD'
AB
AD
But AB = DE we have then, AE - AB = AD = AF
we have, also, AB - AD = AB AF = FB.
;
And,
finally,
we have
the proportion
AF_
~~
AB
Scholium.
Let
AB = a
FB
AF'
we have AF = AD = AC CD.
But,
AC =
CD
is
/Ab'+ BC
equal to 5-
Vd' "^4
therefore,
AF = Jv5--^ = ^(^^-l).
BOOZ
BOOK
EEGTJLAR POLYGONS,
THE
117
TV.
lY.
OIEOLE.
DEFi^riTioisrs.
I.
A regular jocHygon
equilateral
There
is
one which
is
at the
same time
and equiangular.
may be
if
we
number
of sides.
conceive a circumfer-
equal parts,
will
The
be formed.
sides of this
of equalarcs
'angles,
The
equilateral triangle
sides, the
is
and
so on.
Peoposction
Two
I.
Theokem.
similar figures.
ABCDEF,
ELEMENTS 07 GEOMETRY.
118
sum
dbcdef; the
of the angles
is
XXX.)
The angle
is
Prop.
the
one-
the angle a.
is
I.,
and so
CD,
AB, BG,
we
cd, &c.,
shall
tions
AB_BG_CD.
ab
be
cd
'
Hence, the two polygons have their angles equal, and their
homologous
sides proportional
The perimeter
the same number of sides are
ogous sides
and
their
Corollary.
of
homol-
other as the
Peoposition
II.
may
be circumscribed about
Let
ABODE
Theorem.
be inscribed in
circle,
or
it.
pass a circum-
let O be its
and OP the perpendicular
on the middle of the side
BO;
^r>
the quadrilateral
OPBA, may
be
for,
'E
BOOK
will coincide -with
on B.
its
119
IV.
will fall
OD is
the direction
fall
therefore equal to
AO, and
BA
on A, and the
The distance
consequently, the
cir-
we might show
that
the
circumference
they
the polygon
is
all
same
from the
BO, and
point of each;
about the
circle, or
middle
will be circumscribed
Scholium I. The point 0, the common centre of the inscribed and circumscribed circles, may be regarded as the
centre of the polygon and for this reason, we call the
;
drawn
number
polygon has
sides.
it is
many
only neces-
equal parts
ELEMENTS OF GEOMETRY.
120
Scholium III.
If in an arc
we
regular polygon.
is
a portion of a
of regular polygons
it
may
it
but
be
it
in-
only
by one of
its
sides is
an aliquot part of
the circumference.
Peoposition hi.
To
inscribe
Draw two
Pkoblem.
AC, ^D,
ABCD
the angles
equal,
AOB, BOG,
the chords
for,
&c., being
AB, BC,
&c.,
are equal.
Scholium.
The
triangle
we have (Book
II.,
BOG
isosceles,
Prop.
III.),
BC_2^.
BO
l'
Peoposition IV.
To
inscribe
triangle, in
Peoblem.
a given circumference.
also
an
equilateral
;.
BOOE
121
IV.
if
we draw
the triangle
let
AB be
the radii
AOB
will be equi-
lateral.
a side
AO, OB,
AOB is
and
unity,
we
shall
have AOB=|^=:f
to I
fore equilateral
hexagon
It
in
will
ABO
is
equal
is
be equal
a given circumference,
we have
by
right
ABCDEF,
being inscribed,
we
if
we
shall inscribe
an equilateral triangle.
also a
That
of the sides.
AC
-t-BO
Taking
3B0.
is,
BO
-+-A0
=4AB
=4:B0.
AO =
ELEMENTS OF QEOMETEf
122
Problem.
Peoposition V.
circle.
let
AB
AOB,
is
sum
of
OBA, OAB,
is
equal to -^ or to f
the two
be a side of
at the centre,
angles
the
equal to
OBA, OAB,
angle
the bisectrix
OBA;
MBA = f
and the
must necessarily be equal
Hence,
BO _ MO
BA~AM'
equal
to
AMB,
The
whose radius
is
XVn.,
AO _ OM
OM ~ AM-
AO
ratio,
is
seg-
Remarli.
Prob.
'^^^^^'
is
OM =
to |.
""^
therefore,
also isosceles
to |
is
MOB,
xym.),
We
is
of the
MOB
angles
the
and we have,
BAM
BAM
BM,
the triangle
since
isosceles,
OBM
is
f.
Draw
MB.
Hence, each
f , or equal to |.
R,
is
equal to
(Book HI.,
^^
Scho.)
Corollary I.
If
we
we form
tagon.
Corollary II.
AL be
AB
BL
let
will be,
BOOK
123
IV.
We
CL
is
the
Scholium.
the arcs
draw
regular
polygon
we bisect equally
subtended by its sides, and
being inscribed,
shall
CB.
tlie
if
we
of sides.
sides.
Having given
<&c., to
sides.
Peoblem.
polygon AJ3CD,
cir-
cumference.
At
the tangent
GH
it
will
AB, draw
be parallel to AB.
(Book XL,
Draw
tangents at
Prop. X.)
BO,
CD, &c.
gon.
first
O, B,
H are
in a right line
for
ELEMENTS OF GEOMETRY.
124
the triangles
OH, and
(Book
I.,
and the
TN
OTH,
the side
OHN have
the
OT = ON
Prop. XIX.)
line
OH
common hypothenuse
on the prolongation
is
parallel to
is
likewise,
AB, and HI
HIK = BCD,
to
&c.
we have
GH_OH
HI_OH
AB~OB'
B0~
GH
AB =
Hence,
But
AB = BC
HI = IK,
HI
BC"
GH = HI.
hence,
Hence, the
&c.
is
and similar
regular,
sides
gon
OB'
of the
circumscribed
Corollary 1.
scribed polygon
regular
to the vertices
OG, OH,
G, H,
I,
A,
B, C, &c.
gon.
we
We might
also,
we
form the required inscribed polyin the same case, join the points of
shall
by the chords
TN",
NP,
&c.
and
be similar
Corollary II.
given circle
all
We may
may be
in-
BOOK
125
IV.
Theorem.
Peoposition VII.
is
equal
its
to
perimeter
GH
measure
x iOT;
has for
HI
measure
its
iON;
we
other triangles,
of
sum
of the bases
GH, HI,
sum
all
IK, &c.
or,
measure the
its
the perimeter of
the polygon multiplied by 5OT, half the radius of the inscribed circle.
Scholium.
of the sides
The radius
OT,
is
the
perpendicular
let fall
of the polygon.
Pkoposftion
Vin.
^Theorem.
of sides are
to
or circumscribed circles;
of these radii.
Let
AB
given polygons,
will
its
centre
OA
AB,
OD,
perpendi-
again, if ab
be the side of a similar regular
polygon,
its
centre;
oa and od
'
ELEMENTS OF GEOMETRY.
126
and inscribed
circles.
The perimeters
AB
A and
sides
well
as
lar,
the right-angled
as
ABO,
and
ADO,
triangles
ado
therefore,
AB _ AO ^ DO
ab
do
ao
The
the radii
AO, ao,
DO, do,
to
each
also, as
AB,
ah
AO,
OD,
radii
od, of
in.scribed circles.
tiif
DEFINrnONS.
A variable
I.
quantity
is
A limit
II.
quantity
ble
reaching
III.
is
may approach
indefinitely
near,
without
it.
value
2m -
m
But,
if
4
2 right
angles
of the polygon to be
continually increase
the fraction
^j
maybe
and as
?,
may become
so large that
SOOK
12^
IV.
Again,
if
we
take
c,
And we
AB.
limit
^^'
0"
^
1
Ac, Ac',
Ac", &e., &c., will have for a
lines
trations.
lY.
niiddle of cB,
|B
li7nits
c,
of a pro-
circumference
corresponding
the arcs
is less
than the
Let us take on
arc.
of division F, G,
the chords
the
less
ence
draw
is
&c., points
H, E,
shall
&c., and
have inscribed
rimeter of the
first
polygon.
we
If
shall
The perimeter
may
if
the
we
num-
ber of sides of the polygon be suiBciently great, the difl:erence between the length of the circumference and the
perimeter of the polygon will be
quantity
or,
less
The
ELEMENTS OF GEOMETET.
128
We
may remark,
from
it
less
and
may become
ference
less
less
of the successive
less
all
and,
if
we admit
circle,
we
may
YI.
It result^
which belongs
to the
perimeter or area
of
ever be the
number
of
its sides, is
en-
veloping
we
may
the circumference
the
circumference,
is itself less
circumscribing polygon.
When we inscribe in a circle regular polygons, the number of sides of which continually increase, the apothegms
increase, since the sides of the poly-
more
distant
For, let
AB
be
gon,
OC
radius,
OB - OC <
its
we
apothegm, and
OB
the
BCO,
CB.
But CB, the half of AB, may become as small as we
please hence, a fortiori, OB OC may become less than
any assignable quantity.
;
BOOK
Peoposition IX.
The Gvrcwmferences of
1.
129
IV.
Theoeem.
circles are to
each other as
their radii.
2.
of
to
their radii.
1. Inscribe
OB
and CA.
Let P,
be the
and deOB and
jp
signate
ences;
we
shall
P^E
p r'
VIII.),
circumferences, and
2=
Let
2.
areas of
C,
c'
5. (1)
'
r
be the areas of the same circles ;
S,
we
s,
the
shall
have
')^'
And
we
shall
have
circles
C^_E^
c'
Scholium.
From
r"'
2R
we deduce
2r
its
diameter
is
the
ELEMENTS OF GEOMETRY.
130
This
designated by
rily
tt,
Le determined approximately.'
TT
"We
which
is
ordina-
value in decimals
Its
is
3.1415926535897932, &c.
an elementary method for calculating,
Knowing
ratio,
is
the value of
rr.
tt,
we
is
known
for,
Q
-
=
E=
Exam.ple.
value 3.14,
we deduce C
7r,
18.35
taking for
27rE.
-n,
the approximate
we have
2 X 3,14 X 18.35
115.2380
feet.
DEFINITIONS.
Similar arcs,
long
to
sectors,
and
Pboposition X.
1. Sim,ilar arcs
Similar
2.
tJieir
Theoeem.
of
radii.
Let
AB, DE, be
similar arcs
1.
We
AC, OD,
have (Book
arc
circ.
BA _
AC
II.,
the radii.
Prop.
angle
XVII 1.),
4 right angles"
Likewise,
<
DE
arc
circ.
OB
angle
BA _
DE ~
\
'
right angles'
angle O,
circ.
circ.
we have
AC _ AC
OD ~ OD"
BOOE
2.
We
131
IV.
ACB, DOE,
sect.
circ.
AGE ^
AC
angle
sect.
4 right angles'
circ.
DOE _
DO ~
angle
4 right angles"
Hence,
sect.
sect.
ACB _
DOE
AC _ CA
DO OD*
circ.
circ.
Peoposition XI.
The area of a
^Theoeem.
is
OA,
Let
polygon, S
cirmimference multi-
inscribe a regular
be the perimeter of
area
its
=P
we have
X ^OC.
number
of
indefinitely
whose
we
sides in-
shall
P X ^OC. Now, P
OA, and OC
have
circle, in seek-
has for
OA
therefore,
Area
circle
OA =
circumference
Eepresent by
MemarTc.
OA
x ^OA.
we
= tR.
= 3.1415
take
we
have
Area
Application.
of circle
Let
E=
= SttE
3
feet,
and
-^
tt
have
Corollary.
this sector
the arc of
ELEMENTS OF GEOMETRY.
132
ACB
to the
is
AMB
-^
is
circumference
the entire
to
AMB
^
of this arc,
X ^AO.
Let
Aj)plication.
AMB to
we have
But,
= ABD x 2 AO hence,
ACB has for its measure
the sector
or, as
AC 12 feet, and
To
contain 60.
the proportion
AMB _
arc
60
" 360'
2nR
Hence,
arc
We
27rE
AMB
60
tt
12
:47r.
square
7r
360
75.3960
feet.
Proposition XII.
Knowing the
and the radius
side
AB
Pkoblem.
OC of the
circle, to
AG
of sides.
Let
we
AB =
a,
00 = E,
and
AC =
draw
AD and AO
= 2E x
01 =: CO - 01 = E - OL
AO^
But,
CAD,
= CD X
01, or
c''
01.
Be-
we have
01
Hence,
= E - sjs? - ^.
BOOK
And
consequently,
= 2K x [R y'B? ).
we may
Eeciprocally,
and
c^
133
IV.
calculate a,
when
c is
it is
respect to
a; ;
we
known
(1)
g2
To make
(1)
with
c,
(^)
(1), let
us suppose
dodecagon,
To apply formula
(2),
Prop. V.),
v"^^"^)
;
Hence, we conclude,
5l(1:i1:^]4E^_]^::l^:^1
^,
a^=
Hence,
we have
^,
^=^(10-2 A).
E
Remark.
By
E='(6-2
"'"4
that
is, is
pentagon.
v^5)
we
sum
^ E^a0j-^2v^.
'
ELEMENTS OF GEOMETEY.
134
which
has,
for
Peoblem.
Peoposition XIII.
Let
AB = a,GA =
The
EF =
R, and
similarity
x.
the
of
triangles
EOF,
proportion
EF_CE
,
,, ,
But
we have
AB~OA"
CE
CM
= tvftalso
CA CD
,
-^^rr-
_EF^CM
AB CD
'"''
'
CD =V'CA
__R_
~ CD"
we have
^^
ACD, we have
also,
X
Hence,
ratio,
"^
|/r2_^;
4
and, consequently,
^
Peoposition
2aE
v^4R^
XIV.
a'
Peoblem.
SOOK
Let
AB = a, CA =E,
135
IV.
_ maV4:Bi'
We have a =
a'
- E^
S- BE/iE^
4
Remark.
a'.
Application.
agon.
= maX^-
CD = Vb,'-^ = ^V4R^ -
Hence
"We have
"We might
by means
also,
quantities,
SE'vT
same given
of the
calculate
the
area
of
2m
\^
Id
sides.
For, let
arc
S', is
M be the middle
of the
the area of
2m triangles
equal
ACM.
ACM = CM
But,
Hence,
Let us
S'
find, as
= 2ot
AD Exa
4
Xa
wEflS
inscribed dodecagon.
= E,
7?i
=6
hence, S' ,=
Proposition
Saving given
CA = r^of a
the radius
XV.
ia
:3E^
Problem.
CD = E*
regular polygon,
to
and
the apothegm,
R'
ELEMENTS OF GEOMETEt"
136
and
the
apothegm
r'
CA
apothegm
the centre
Produce
polygon.
this
until
the
meets the
it
circumscribing circumference at
ID
BID
I,
be the
will
polygon
If
ular
CK
the half of
polygon
^
But^ we
BD, and
IK
,
for,
now we
KE
= IC
Scholium.
the perpendic-
BD,
KE
will be
and
HI
lA CI + CA
^^
IH = -- =
-,
IK
BCD.
the half of
fall
let
parallel to
have
it is
or,
=U+r
E -v^irx7=\/Ex^-
It is
easy to
r' is
(1)
CKI, we have
X IH,
by the
see,
new
the apothegm.
(2)
figure, as well as
greater than
r,
and
that,
on
If
we
we
shall
BC - CA < BA,
or
less
than
E r < BA.
But BA is the half of the side of the polygon, and this side
smaller than any given quantity, by doubling
indefinitely the number of its sides.
Hence E r may
be made less than any assignable quantity.
may be made
BOOK
Peoposition XYII.
To find
137
IV.
Problem.
of the
eir-
We have, from
And
From
V=
'
(1)
^^p
(2)
the value of
the radius
2^.
tt
it
Formula
1.
tt.
when we know
Formula
when
the definition,
(1) also
enables us to calculate
(1)
the radius
is
known.
Formula
(2)
We will
in the
first
first
is 4.
its
perimeter will be
4.
^side of this
Let
R bo
the
we have
Now we may
gon, having the
(1)
and
same perimeter
we
j>,
We
'2,
ELEMENTS OF GEOMETRY.
138
we
should arrive at
4,
and
for
4, is
therefore com-
If the values of
is
evident the
E and
common
it
radius.
If
we
polygon of 8192
sides,
8192
sides.
No. OF SlDBS.
BOOK
'
139
IV.
equal to
"
= ^p
4, the
'
we
And
is
since
cir-
3.1415926.,.
to the diameter.
Peoposition XVII.
f-^-f
Peoblem.
P; and
sides of
each polygon.
eters of
chord
AM,
and
AM
and
2m
P'.
From Prop.
the
polygons of
Draw
at the points
VIII.,
we have
P _ CE _ CE
p " OA ~ CM
ELEMENTS OF GEOMETBT.
140
CP
and since
is
EOM, we have
also
FE_ CE
PM ~ CM'
Hence, from the
common
we have
ratio,
,T_ PE
^~PM'
From which, by
composition,
we
PM ^ EM
P+j9 _ PE +
2^
But the
P, P',
lines
2m
get
2PM
EM, PQ,
PQ*
Hence,
times.
2p
P'*
2Px^
F+p
To determine
PMN, MAjD,
p',
we
AM_ PM
AD
lines
AM, AD,
MJSr"
4m
>
proportion
But the
= P'
P'
Corollary.
and therefore^'
Formulae
(1)
Assume
and
tt.
(2)
vP' xp.
(2)
1,
The
BOOK
141
IV.
sides.
But we know
that in
will
circle,
approximation desired,
we
circumference.
number
*,
to
any degree of
we
shall
have
found.
ELEMENTS OF GEOMETRY.
143
EOOK
'"--
V.
.-
'
DEFINITIONS.
I.
a plane,
in the plane.
m- lien, it is
drawn through
pcrjpendlcular
is
the Uuti.
The foot
meet
of
Aright
tlie
line, \&
Two planes
be produced
ai'e
is
produced indefinitely.
said to
\>q
them
to give limits to
remembered,
both
if
cannot
/plane, y;]iQn it
indefinite!}^,
,,
par allelioM
III.
to.
foot
ii^
but
in figures,
it
must
we
are
be
alwa)',s
they must be
Pkoposition
IFe meiy
which
Theoeem.
I.
and
Let
AB,
AC
toe
inter-
AB
if,
now,
we move
around AB,
until
it
line
AC,
the
plane
this
two
of
in this plane,
plane will
Ik;
BDOE
Corollary
ti-i
angle
lis
V.
ABC,
not in
'tliu
A, B, 0,
or three points
same right
Two
Cor'oUahj II.
AB, CD,
"
A.^
'
'
two
and tWo
p'
"
'
'
'
'
'
must
contiiln-
cohtain
'
two points
is'to say,'tiiree'J)oi'n'ts
.B
"^
tib'n
'df
not
these
kndw
planes
lines,
catiflot
each
SlVlC'e'
point of CD';
thfesame"i'ight' line.
PkOPOSITJON II.TflEOKJEM-
that
pkn'e,
ill'the'fekilie
diffei'eilt'
ill'
parallels,
al'S6
thalt
'
fiad. three
which
is
......
If a
Theoeem.
Pkoposition
in.
.....
rigTitline
AP
'
two lines
he ferjjendicular to
PS^
Draw,
line
PQ,PC
AP,
in the
Be,
and
to the
will also he
plane.
produce
AP
until
PB,
PA'
and A'
lines
CA, CA'
are equal;
ELEMENTS OF GEOMETRY.
144
BA = BA'.
BOA'
BCA'
with
its
equal
BCA,
the point
A'
If
on
will fall
the point
QA.
Hence, since
QA'
PQ
has two of
P and Q, equally
AA', it is perpen-
its points,
dicular to
line
AA'
is
Pkoposition IY.
MN.
^Thkoeem.
may draw a per-
pendicular
1.
to this plane,
the plane
hut one.
to
be situated in
MN.
Take any
line whatever,
AB
line
.c
""^--^j,
AB,
at B.
preceding
line
AB
By
theorem,
will
the
the
be perpen-
BC, BD.
the point
the position
^
tion
CBD
is
this figure in
shall coincide
such a man-
falling
Move
let
to the
plane
MN.
figure
MN.
ABCD,
as before,
move
BOOK
it
BA
point F.
The
line
BCD
BA will
MN, only
one perpendicu-
lar can
ME".
so
MIST.
the plane
-C
2.
MIT
shall at the
145
V.
For,
as
OA,
lines
00
In like manner,
let
is
it
impossible to
fall
FA, FB were
the triangle
angles,
which
FAB
is
for, if
perpendiculars,
these
angles right
its
impossible.
Pkoposition v.
Theorem.
Through a given point we may draw a plane perpenand we can draw hut one.
1.
point
AB.
is
draw
dicular to
MD,
and CE,
CD
tlie line
and
CE
AB.
which contains
tlie
AB.
perpen-
The plane
lines
CD
ELE^fENTS QF GEOMETRY.
14(J
Xmv, any
otliei'
caiiDot be perpendicular to
AB
for,
and
MH,
two
in
it
it'
AB, would
right lines.
])a)-t
(\
Draw CD
AB.
AB, and
perpendicular to
AB.
01),
in a plane passing
DE
DE,
perpendicular to
be perpendicular to AB.
any other plane MP, passing
will
FiiialLv,
tln-diigh the
MP
diculars
in
a right line
CG
from
diffei'eiit
CD; we should then liBve two perpendrawn from C to AB, which is impossible.
Corollary.
perpendicular to
For,
lines
to
the
AB.
is
also
AB.
plane
BC, BD,
arc in
is
MN,
of
tlie
perpendicular
It is sufficient
then to
the line
AB, whiqh
is
ijnpossible.
BOOE
147
V.
Theorem.
Proposition VI.
If from
(t
to this plane
thepcYpcndicidarAP, and
MN,
we draw
AD,AC,AE
than any oblique line
1.
.,
3"".
from
the perpen-
3*^,
is
farther
from
the per-
The
1.
ti'iangle'
APC
is
right-angled
at
P; lieuce,
AC, oppogreater
2.
being right
if
we
the
tri-
angles,
suppose PC PD,
angles APC, APD
AP.
APD
will
be
AC =
AD.
,,
PE
is
AB < AE
Corollary.
&c.,
hence,
gi'eater
shall
PB =
But
PD,
AD < AE.
in
take
AB = AD.
than
have
as a centre.
outside
There-
of a plane, to
points
.,._._ J
ELEMENTS OF GEOMETRy.
14S
Thkokem.
Proposition VII.
-
Let
AP he
any perpendicular
MN^
plane
the
to
and
BC
PD
AD
DB = DC,
Take
DB = DC,
PB = PC
AC;
AP,
since
oblique
line
to the perpendicular
PB = PC,
AB = AC
Jn
the extremities
at the
the
AD
has two of
and
points
its
and C; therefore
AD
is
perpendicular
Corollary.
the plane
We
APD,
time, to the
since
two right
line
If the
DE
BC
BC
lines
Pkoposition
line
since
oblique line
the
is
is
perpendicular to
AD, PD.
VIIL
Theoeem.
parallel to
plane.
AP, DE,
its
intersec-
MN will
be PD in the plane MN draw
BC
join
PD, and
perpendicular to
AD.
By
ceding theorem,
BC
is
hence,
the
angle
perpen-
APDE
BDE is a
BOOK
right angle
AP
is
is
Corollary I.
DE
149
V.
EPD
is
PB, and
perpendicular to
is
;;
DE
is
if
MN,
AP
DE
AP,
if
AP
parallel to
for,
a parallel to
MN
the lines
A and B being
by the preceding
par-
hence,
other.
It is
Pkoposition IX.
drawn
Theorem.
CD.
CD, drawn through
For, a parallel to
the point A,
is
this point
we know
D
allel
line
CD
and
PjiOPOsmoN X.
If the
line
plane MN',
For,
if
^Theorem.
AB is parallel to the
it
line
CD, drawn in
the
the line
AB, which
is
in the
plane
ELEMENTS OF GEOMETEY.
150
plane MJf,
CD,
it
in
it
common
the
line
intersection
it.
it
is
Therefore,
it
Corollary
MN,
sect
MN"
the line
MN,
ABCD
CD
in the line
AB
which
is
AE
If a right line
I.
every plane
is
will inter-
AB.
met the
Corollary II.
If,
through a point
draw
CD
AB, we
parallel will
be in the plane
AB
MN.
drawn
parallel to
MN,
on a plane
CE
it.
parallel to a plane
parallel to
AB
but,
to a
given right
which
line,
impossible.
PKOPOsrrioN
Two planes,
line
AB,
For,
if
MN, PQ,
are parallel
to
they intersect,
^
-;^
XL
Thkoeem.
perpendioular
to the
same right
each other.
let
join
per-
""""
is
perpendicular to
this plane.
reason,
AB
is
the
its
MN,
line
foot
, ;
fioo V.
to
Bo
ulars
line,
PQ
therefore,
OA
OB
and
ISI
intersections
PQ,iy
MN
Proposition XII.
The
right
Thboeem.
a third plane
For,
in the
the lines
if
same
if
produced
PQ,
then,
which they
are situated, will also meet, and could
not, therefore, be parallel, which is
the planes MN",
in
Theorem.
Peofosition XIII.
MN
plane
MN
perpendicular to
be
AB
the plane
PQ will
MN.
parallel to
be a second plane,
A, and parany plane whatever drawn
such as
\jj allel to
through
-^
MIST,
PQ, AF,
lines
AG,
BD
parallel planes
AF passing through
MN,
AB
would
are parallel
by a
would be parallel
to
as
intersections
Bat the
of two
BD, which
is
absurd.
AE
ELEMENTS OP GEOMETRY.
152
Proposition XIV.
The
Theorem.
AB, perpendicular to the plane MN, is perpenthe plane PQ, parallel to MN.
line
dicular to
Draw any
line
!^N
^
line
PG
otherwise,
PQ
would be drawn.
BC
of the planes
AD
to the
BAD
and PQ,
will be
But
(Prop. XII.)
plane
MN,
is
the
perpendicular
is
it
The' intersection
AD.
parallel to
AB, perpendicular
BC.
We
line passing
AB
through
be perpendicular
will
in the plane
its foot
to
PQ
any right
and ia,
;
XV.
Proposition
Two
planes.
A, B, parallel
parallel
Draw
to
DF
this
Theorem.
to
each other.
perpendicular to the plane
line
is
perpendicular
the
to
planes
rem
same
right line.
i
Proposition XVI.
Theorem.
The parallels EG, FH, comprehended between two parallel planes MN', PQ, are equal.
BOOK
153
V.
EG,
H
FH
Corollary.
It
EG
if
MN, PQ,
FH
and
Take
and
DBF,
and
Theorem.
AG = BD, AE = BF,
EF.
parallel to
is
a parallelogram
EF
a like reason,
parallel
also
AB
to
CD
equal
ABCD
CD is
hence,
fore,
are per-
PsoposriioN XVII.
wiU
is
AB.
DF
and we have
and parallel
BDF
for,
there-
paral-
CAE,
lines
CD, EF,
to
BDF,
at points
to
plane
For
equal and
lel to
is
lel to
EGHF
EG = FH.
a parallelogram, and
hence,
CD = GD,
'
ELEMENTS OP GEOMETRY.
154
and
is
FH
EF, which
parallel to
BDF.
Corollary.
If
is
absurd
EABF,
MN, PQ
are
ACE
met by
CAE, BDF,
the angles
to
BF
CAE == DBF.
Thkokem.
Pkoposition XYIII.
Two
Suppose
PQ
KS,
at
tliat
planes in C, F,
Mr
lO
we shall
then
have
AE_
BE
CF ~ FD'
7^
the plane
ABD,
hence,
AE_AG
EB ~ GD
AG_
CF
GD
FD
common
ratio,
AE_
EB ~
'
we have
CF
FD"
parallel,
we
BOOK
156
V.
DEFINITIONS.
is
perpendicular let
fall
from
this
a, tn, h are
M, B, on
the plane
MN.
The
projection of a line
on a plane,
is
AMB
XIX.
Peoposition
From any
dicular
Aa
point
all
AMB.
A of
line
Theokem.
on a plane
the line
AB,
is
a right
line.
perpen-
lines
AB,
cut-
ES
in ah.
ifec,
line
AB,
M, N,
perpen-
Peoposition
The
its
acute angle
projection
Ba
XX.
Thkoeem.
on the plane
MM,
is less
ABD, formed
drawn through
its foot
Take
BD = Ba,
BD
in the plane.
and join
AD
ABa,
ELEMENTS OF GEOMETRY.
156
ABD,
AB
conmion: besides,
construction
of the
fii-st
third side
but the
triangle
AD
line
ri-lit
is
Aa
side
than the
less
since
MN,
and
the angle
the
tliird
AD
an oblique line
is
ABa
Ba = BD, by
less
is
than
ABD.
minimum
the
is
maximum.
Scholium II.
with
its
Peoposition
XXI.
Theokkm.
Having given two right lines AB, CD, not in the same
1, we may draw to them a common perpendicular ; 2^, we can only draw one perpendicular ; 3, this
plane,
perpendicular
is the shortest
A
7N
of
line
AL
CD
lines
the plane
lel to
parallel
MN,
From any
DH on the
plane
MN,
to
paral-
CD.
taken on
the perpendicular
AB,
draw
point D,
CD,
let fall
point
For,
FC
being parallel to
DH,
is
perpendicular to the
BOOK
plane
M'N
lar to
AB
2.
FC
is
(Prop. VIII.)
the only
it is,
common
167
V.
consequently, perpendicuto
CD
parallel to
perpendicular
FH.
for, if
IK
be perpendicular
DH,
parallel to
we
plane MIST.
to the
is
FC
3.
is
let fall
impossible.
is
draw IG
MN, and
parallel
will
to
DH,
it
will
AB
and CD.
If
we
be perpendicular to
But IG
= FC,
hence
FC < IK.
When
Mgure which
The
intersection of the
two planes
is
the diedral angle; and the two planes which form the
angle, are called the faces.
A diedral angle is
two
others.
II.
when
Two
The angle
be made to coincide.
NAP,
ELEMENTS OF GEOMETRY.
158
the edge
MA,
is
edral angle.
The plane
angle
CMB,
if,
is
at the point
M, we form
points
MA
situated in the
is also
all
the plane
When
a plane
PB meets another
it
plane MIS',
two adjacent
PABM,
PABK
forms with
it
diedral
angles,
If these
adja-
PB
is
MN
said to
be perpendicular
to
angles.
be demonstrated that
It will
all
right
line
AB,
Proposition XXII.
Thkorem.
p/
ular
to
MN;
we
perpendic-
iut one.
Corollary.
The
of
this
demonstration
Prop.
I.
It is left as
an ex-
Peoposition XXIIIi
Mery plane
Theorem.
it
to
BOOK
If one plane
Gorollai'y.
the second
is
159
V.
be perpendicnlar
to another,
(Book
first.
I.,
Prop, ni.)
XXIV. Theorem.
PEOPOsrrioN
GEFR
ABC
with
coincide
EFG, ABC
the angles
BC; and on
account
plane
angles,
the
cide with
angles,
a right angle.
For,
is
each other;
angles.
PfioPosnioN
Two
diedral angles
XXV.
Theobem.
OABD, OEFH
are
to
each other
CBD, GFH.
GEFH
in
dividing
CABD
CABD ^
GEFH ~
3
4'
we
shall
have
ELEMENTS OF GEOMETRY.
160
Draw
the planes
lar to tlie
edges
intermediate planes in
^C~---^
EC,
the lines
FE
FG, FP,
BM
.
I'e-
spectively perpendicular to
AB and EF:
MEN
.
'^
and
GFH
besides,
GFP,
PFR
responding angles
CPD
contains four
but
CBM,
of
we
have, therefore,
BOOK
MN,
plane
lines
EC,
be perpendicular
will
PD
PA, PD,
at the
to
APD,
perpendiculars
161
V.
is
Scholium.
When
DP
AP, BP,
are
is
XXYII.
Pboposition
Theokem.
AB
the
common
to the plane
For,
if in
intersection
PB,
PA
will he perpendicular
MN.
the plane
MN we
PB,
PD perpendicular to
APD will be a right
draw
the angle
Hence, the
line
AP
PD, and
is
therefore perpendicular to
Corollary.
ME",
AB, we
MN,
let fall
If the plane
AB
is
per-
A of
be
iu
the plane
AB
for, if
which
is
impossible.
ELEMENTS OF GEOMETRY.
162
XXVIII.
Proposition
If two planes
AB,
AD
Theorem.
are perpendicular to
MN,
plane
tersection AP will
dicular
For,
to this
he
in-
perpen-
third plane.
from
if
a third
common
their
point
A,
fall
MN,
AD.
Hence,
it is
on
must
perpendicular
''^
plane
this perpendicular
the
common
intersection of these
two planes.
DEFINITIONS.
I.
is
the figure
mon
point.
The
II.
triedral angle
is
plane angles.
with the
It
is
first.
new solid
first.
Neverthe-
BOOK
less,
163
V.
make
its
may
equal
coincide
D'SA'
the face
ASD,
for, if
we
coincide with
in an inverse order.
pEOPosrrioN
Two
XXIX.
Thkoebm.
Let
and
when
each.
to
SB
equal to the
di-
ASB
DTE
on
;
its
edral angles
TE
equal
SB and
plane
ETF may
be
BSC, and
TF
as the angles
ETF
and
SC
BSC
and be equal
two
triedral angles
were
in-
we might apply
anffle
on the symmetrical
led to the
same conclusion.
ELEMENTS OF GEOMTCTRY.
164
Peoposition
Two
XXX.
^Theorem.
when
and the included face of the
angles and the included face of
one equal
to
two diedral
Let
ASC = DTF,
SA =
diedral angle
B'
SC
TF.
Place thefaeeDTF
on
its
equal
ASC;
SA and TD are
diedral
angles
SO
pBOPOsniON
If two
XXXI.
^Theorem.
equal
opposite
to
faces
will
the
he
equal, also.
fETF.
Take the
six
BOOK
lines
triangles
SAB,
DTE
The
isosceles
sides,
equal
also exists
between the
SAC, TDF.
triangles,
165
V.
draw the
angles
triangles
Finally,
preceding construction.
The right-angled
they have tlie side
= GDK
also,
hence,
that
triangles
AMN, DGK
We see,
PAN, HDK,
having an
NP = KH.
is
hence,
K'GH, have
KGH,
NMP,
NMP,
Scholium.
If the
two
,'
if
PKOFOsrrioN
XXXII.
Theokem.
ABC
ABD
as the face
on the same side of the plane
; and
a perpendicular FE, on the same side of
to the face
ABD
ELEMENTS OF GEOMETRY.
166
plane
the
ABD
as the face
ABC,
EFG is the
the angle
the diedral
angle.
EF, FG,
AB, determine a
AB, "which
to
plane perpendicular to
two
FH,
also perpendicular to
the angle
IFH
the plane
FI,
and
being perpendicular
We
AB
FG
But
angle.
to
right lines
the
angle in
edral
have,
we have
hence,
EFG + IFH =
right angles, or
two
right angles.
Proposition
If, at the vertex
XXXIII.
Thkoeem.
SABC, we
of a triedral angle
erect
perpendicular
formed
Note.
the
to
Two
triedral
''I
1^
of the
Let
other.
SC
the face
be perpendicular to
ASB, on
"1
iinally, let
same
also,
as the
edge
SB perpendicular
to the
face
ASC, on
face
ASC
SA' be perpendicular
is
perpendicular
of this
as the
to the
The line SC
on the same side
1-
SC
ASB
of the plane
is
when
plane
CSB
on the
SA.
to
the plane
CSB
ASB, and
;
the line
BOOE
SA'
the
is
perpendicular to
same
is
tlie
situated on
is
ASB
hence, the
167
V.
angle C'SA'
CSB'
We
SB.
the angle
The
2.
CSB,
is
line
perpendicular to
CSA,
to the plane
SC
is
SABC.
SC
SC
perpendicular to
is
Besides,
SC
the
A'SC, and
we
is
see that
SB
is
perpendicular to the
this
plane as SB',
SABC
by means
of
SABC.
Hence
Proposition
If two
XXXIV.
SA'B'C.
^Thkoeem.
each
to ea^h,
T and
have
ELEMENTS OF GEOMETRY.
168
tlie
Finally,
Scholium.
two
triedral angles
by
fEOPOsiTioN
XXXV.
Theorem.
let
ASB
is
three
then
we
have
shall
ASB <
ASC + CSB.
ASB, make
In the plane
angle
right
SD,
"c"
The two
SC
the angle
BSD, BSC
BSD = BSC
are eqnal,
AB < AC + BC
join
AC, BC.
sides
two
to the
BD =
and
the
BC.
But,
sides
BS,
triangles
we have
BC
two
s-ides
AD
third side
angle
we
AS,
AD
ASD <
shall
SD
have
is less
ASC.
Adding
ASD + BSD,
Proposition
or
AS, SC
AC
the
hence, the
side,
XXXYT. Theoeem.
angle is always
BOOK
Intei-sect the solid
meet
all
the edges
101
V.
angle S by a plane
ABODE,
draw
to the vertices
so as to
in this plane,
A, B, C, D, E,
sum
Dumber
the
S,
of
AOB, BOG,
triangles
But
ABO, OBC,
vertex 0.
sum
of the
which,
taken
angles
equal to
is
together,
less
than the
sum
of the angles
the point C,
common
their
sum
than the
But
vertex at S
tlie
angles
angle S
sum
sum of
hence, the
is less
sum
1.
is
greater
In every
The
and
a, b, c
;
sum of the
three diedral
triedral angle
is
XXXYII. Theorem.
Let
1.
Pkopositiou
2-
sum of the
other two.
and
let
A, B,
8
ELEMENTS OF GEOMETRY.
170
=2
A,
C hence, by
addition, a + h-\-c = Q right angles (A + B + C).
Farther, the sum A + B + C is greater than o, and less
less than
than 4 right angles hence, the sum (a + & + c)
triedml angle,
]ilt'iiii;ntary
=2
B,
right angles
we have a
= 2 right
right angles
angles
is
i, c,
triedral
right angles
5,
+a + a
adding
angles,
we have
<
to
&
'2
In order
both
that the
angles,
that
sum of
and
a,
sides,
of
5 + 2 right angles c;
2 right angles
XXXVIII.
we may form a
plane faces,
o,
right angles
+c<
Proposition
three yiven
2 right angles
it is
+ a.
Theoebm.
necessary
and
it is siijficicnt
he
than 4 riyJU
less
than the
We
sary
have already seen that these conditions are necesto prove that they are sufficient
we have now
Let BSC,
ASB, DSC be
the three
BSC
From
and
be the greatest.
the point S, as
a centre,
with any radius SA, describe a ciicumference, and draw the perpendiculars
and
BC
HOOK
BA, CD
between
arcs
is
Besides,
we
171
V.
have, by hypothesis,
and, consequently,
BC < AB + CD.
Hence, since Ba
= BA, and Qd =
BC, on
the arc
Finally, the
CD,
the point a
is
on
the right of d.
sum
will
A in
the direction
The
point
ABC.
between
and a, and
hence, the chords Aa, D<Z
d and D;
we
the plane
BSC, and
erect a perpendicular
plane
in the
lOM
OM
the point
in
SBMC
M, and
join
AI
MS
OM to
triangles
MSK
and
Sclwlium.
DSK are
sides
To form a
MSK =
to
SK is
S A, are equal
DSK.
J, c, it is
we
angles
5,
2 right
angles c
tlie
hence,
a, 2 right
we may
diedral angles
(?,
also con5, c.
ELEMENTS OF GKOMETRT.
173
BOOK
VI.
POLYEDKONS.
DEFINITIONS.
I. A polyedron is a solid terminated by plane faces.
The plane faces are necessarily terminated by right lines.
The tetraedron is a polyedron oi four faces.
The hexaedron is a polyedron of six faces the dodecaethe icosaedron, one
dron, one which has twelve faces
;
wliicli
The tetraedron
is
the simplest of
all
plane
is
the polyedron.
The common
II.
polyedron
III.
is
polygons, and
its
equal regular
faces
we may form
number with
icosaedron.
have
j-ight angles,
edron or cuhe.
shall
We
2.
and we
triangles
not,
_y?we /
viz.,
we should
and could
might be com-
BOOK
Four angles of square
and cannot form a
angles,
S. Finally,
faces
thus
if
1Y3
VI.
equal to four
faces are
right
solid angle.
We
agons are equal to four right angles, and three of heptagons are greater.
thi-ee
formed
pentagons.
MN
The
polygons
prism.
and parallel
like
reason,
hence,
all
AEGF
is
ABODE, FGHIK
For,
a parallelogram.
ABODE, FGHIK
and
Tlie equal
is
equal
For a
are
equal, since
parallel.
FGHD,
EG are
AF,
prism ; the
ABODE, FGHIK
AFGE,
lateral faces
of the prism.
The
lines
AF, BK.
ELEMENTS OF GEOMETRY.
174
bases,
A prism
VII.
BK,
then each
In
is
all
is less
is
than
VIII.
A prism
is
IX.
oblique,
and the
altitude
is
edge.
base
its
is
a triangle, quadri-
When
base,
its
and
right
parallelopipedon
edges perpendicular to
its
has
base.
is
X.
Among
is
its
If the
a rec-
the parallelopipedon
it
called a parallelopipedon.
and
said to be rectangular.
important
t
I
is
which are
six
equal squares.
XI. Tlie pyramid is a solid formed by joining any point S with the
vertices of
any polygon
The polygon
ABODE.
S is
and the triangular faces
ASB, BSO, &c., taken together, form
its
vertex,
pyramid.
is
if
necessary.
BOOK
XlII. The pyramid,
according as
XIY.
its
base
is
18
175
Vl.
A pyramid
polygon, and
The
base.
the base
is
solid angles
a polyedron
two
is
that
if
polyedrons
aa-e
on one side of
Such
this plane.
Peoposition
I.
Thkoeem.
Two prisms are equal, when the three plane faces which
form a solid angle in one prism are equal to the three plane
faces which form a solid angle in the other, each to each,
and
ABODE
let
the parallelogram
ABGF
be equal
to the
parallelo-
gram
oibgf,
and
the parallelogram
BCHG
equal to
the parallelogram
hchg
then
the prism
will
ABCI
be equal to the
prism
alci.
solid angle
ABODE
on
its
equal abode,
EL-EMENTS OF GEOMETRY.
176
ariirl'^-
ahf, AB(.T
dbg,
and
5,
each to each,
GBC = ghc;
ABO
viz.,
BG
on
will fall
ABGF,
parallelograms
We
hg.
aigf are
its equal
gf, and GH will
Hence, the upper base FGHIK will
coincide with its equal fgMk, and the two solids will coincide throughout, and are therefore equal.
GF
fall
on
Two
Corollary.
and equal
= ab,
altitude
to the
rectangles
right j>ris7ns
and the
be equal
will fall on
equal gh.
its
bghc
AB
will
the rectangle
same
true of the
is
which form
Peoposition
In,
bases
ABGF
BG = JA,
BGHC,
Theorem.
II.
and parallel.
From
EFGH
lel
it
remains
the same
lateral
4/
L I
is
ABCD
like reason,
DAE
AE
is
is
now
BG,
is
AEHD,
equal and
a parallelogram
prove that
such as
Now AD
is
to
faces,
BFGG.
parallel to
angle
ABCD,
CBF
for a
Hence, the
In like manner,
ograms
ABFE,
we
DGGH are
BOOK
Corollai'y.
177
VI.
a solid com-
is
its
opposite ma}- be
Scholium.
AD,
Having given
AE,
may
construct on iliom a
It is only necessarj- to
line,
that
draw through
is,
DAE and through the point D, a plane paralBAE and through the point E, a plane parallel to
parallel to
lel to
BAD.
The mutual
form
Peoposition
Theorem.
III.
AG
be drawn
ogram.
and
AEGC
since
is
AE
is
a parallel-
EC
We
might prove,
manner,
in like
EC
and
DF
di-
Hence,
same
point,
parts, at
as the centre of
the parallelopipedon.
Peoposition IV.
eve^'y prism,
In
dec,
made
ABCI,
Theorem.
the sections
NOPQR, STVXY,
ELEMENTS OF GEOMETEY.
178
Fur, the sides
lels
NO, ST
For
ST.
PQ, QE,
NO =
hence,
OP,
NOPQR,
STVXY.
being at the
same time
first section,
tions
sides
parallel,
it fol-
NOP, OPQ,
&c.,
STY, T7X,
&c.,
sec-
of the second.
section
the
equal
the
of
&c.,
Besides,
NOPQR, STVXY
equal
are
polygons.
Corollary.
Pkoposition v.
by a plane
in a prism
Theoeem.
jpasses
the parallelopipedon
AG,
eiUji s
J^,
of
don into equivalent triangular prisms.
Through the vertices B and F, draw the planes Bar/f,
Yigh perpendicular to the edge BF, meetin[ the three
other edges
;f
the t^uine
for
The
e,
^/,
A, g, for the
Yehg will
They are
be equal parallelograms.
equal, because they are made by
planes perpendicular to the same right
line, and consequently parallel
they
othi'i'.
sections Bac?c,
planes
ABFE,
DCGH with
BOOK
For a
179
VI.
BaeF
BadcFehg.
is
Hence,
this solid is a
prism
BF
is
a parallelogram,
is
adhe of the
;
and
this
solid
prism
perpendicular to the
BA
ABDEFH
oBdeFh.
be
sufficient to
Since
two right
common
will
be equivalent
part,
ABDAeF,
BaADd, FeEHA,
ABFE, aBYe are
the solids
into
it
viz.,
are equivalent.
AE,
prism
We
prism
BADFEH
is
BadYeh
BDCFHG is 'equivalent
to the right
prism Bi^cFA^.
to
each other, since they have the same altitude BF, and
their bases Bad^ Bdc are halves of the same parallelogram.
Hence, the two triangular prisms BADFEH, BDCFHG
Corollary.
AG,
ABDHEF
is
the
AD, AE.
ELEMENTS OF GEOMETET.
180
Theorem.
Peoposiiion VI.
prism
BFKCGL.
prism
For,
of
parallelogram
same reason
for the
AI = BK:
finally, the
EAI,
angles
having
FBK,
their
parallel,
are
sides
equal.
EAI,
The parallelograms
AH, BG
faces of a parallelopipedon
are equal,
for EH = FG,
EI
FBK
are equal.
= FK,
GK
HEI =
GFK.
The
their
F:
situated,
BFKCGL
But,
if
equal.
each to each,
Hence,
the
and similarly
prisms
AEIDHM,
are equal.
the prism
AEM
be taken from
tlie
solid
AL,
take the
AEG.
same
solid
we
the parallelopipedon
edons AIL,
AEG are
equivalent to each
Peoposition YII.
otiier.
Theorem.
the
the
BOOK
Let
edons
ABCD be
AG, AL
;
upper bases
the
VI.
181
common base
EFGH, IKLM,
will
be
same
altitude, their
same
in the
plane.
EF
and
AB
eqnal and
lel,
as well as the
sides
IK and
hence,
and
are
paral-
AB
EF is equal
parallel to IK;
GF
is
equal and
parallel
to
LK.
HG, and
by
the sides
NOPQ;
dent that
bases
tliis
EFGH, IKLM.
as its
If,
are in
FN.
evi-
npper base,
YL),
it is
NOPQ
since,
be equivalent
to
the parallelopipedon
parallelopipedons
AL
the
PEOPosmoN
VIII.
be
Thkoeem.
changed into an equiva-
Let
AG be the given
A, B, C, D,
parallelopipedon
drawAL BK,
CL,
DM,
perpendicular to the
ELEMENTS OF GEOMETRY.
182
AL
we
shall thus
which
will
be rectangles.
a rectangle,
AL
will
faces of
is
AG.
But
ABCD
AO and BN
OQ and NP perpendicular
ABNOIKPQ will be formed, which
ABCD
if
If,
is
a solid
be a rectangular parallelopipedon
will
base
tion, the
ABNO,
for,
by
face,
construc-
IKPQ,
are
edges AI,
base
don.
OQ,
AP
is
a rectangular parallelopipe-
AO
parallelopipedon
an equivalent parallelopipedon
first
AL,
is
been changed
now
same
altitude AI,
into
converted into
AP, which
ABNO, ABCD
has
being
also equivalent.
Pkoposition IX.
Theoeem,
same iase
AE,
AL
ABCD,
the
SOOE
VI.
l83
ELEMENTS OF GEOMETRY.
18i
The parallelopipedous
dimensions a and
and
J,
and we have
c',
J__c_
P"
For a
like
c'
reason, we have
P^_^
P'
P'
We- know,
also, that
5'
c^
by P",
^^
V X
c'
c,
and
hence,
PBOPosrrioif XI.
Any two
Theorem.
P" be
altitude
,
and B'
for its
P"
B'*
SooE
The
P" and
pai-allelopipedons
185
VI.
P',
P"
^,
and we have
H
=
?-=?-^
We
know,
xi;
the products a
(1)
^'
B'xH'"
P'
hence,
BxH
_ axbx
B'xB.'~
a'
xb' X B''
axh
P
P'
X
xh' X H'
a'
(2)
is
to find
for unity.
(2)
S',
three others.
The
calculation
unit of volume
is
much
simplified if
the
is
we
are
P _
P'~
from which we
axlxR
1
'
ELEMENTS OF GEOMETEY.
l86
"VVe ina}'
xl
of the parallelopipedon
contains the
The measure
fore, also
of a rectangular parallelopipedon
its
base by
is,
there-
altitude;
its
and
on the same
unit.
Applications.
1.
Let a
= 2.51
feet, 5
= 3.25 feet, H =
2.
P=
2.51
Let
B=
25.51 square
3.25
X 2.45
feet,
19.985875 solid
and
H =12.5
feet.
linear feet,
P=
25.51 X 12, 5
Peoposition
= 318.875
solid feet.
XIL Theorem.
the
hase hy
its altitude.
equivalent to a rec-
is
base multiplied by
its altitude
hence, this measure
any parallelopipedon.
2. Every triangular prism is the half of the parallelopipedon which has the same altitude, and a base equivits
also applies to
(Book VL,
But the measure of the parallelopipedon is
the product of its base by its altitude hence, the
Prop. V.)
equal to
base (which
its altitude.
is
is
by
BOOK
3.
many
Any
VI.
may
prism whatever
187
be decomposed into as
we may
form triangles from the polygon which is its base. Eut the
measure of each of the triangular prisms is equal to the
product of
base by
its
is
all, it
its
altitude
sum
tial
all
the triangles
tude are to each other as their bases y and, for a like reason,
to
dli{-
tudes.
PBOPOsmosr XIII.
If avyram.id
its
base
10.
The
edges
SABCDE be
Theoeem.
SO,
and o ;
will be divided proportionately at a,b, c
2. The section abode will be a polygon similar to the
.
base
ABODE.
ABC,
sections
SAB,
AB,
db,
by a
will be parallel
Prop. XII.)
SAB, sah,
third plane
(Book V.,
the proportion
we have
ELEMENTS OF GEOMETRY.
188
And
Hence,
&c.
same proportion
have
the edges,
all}' at a, b, c,
The
at o
altitude
for,
BO
SB
Ho
ab'
SB
is
and bo are
S0_
"
SO
parallel,
and we
BOOE
For, the polygons
abode
Hen ce,
189
ABODE
But,
VI.
AB
ELEMENTS OF GEOMETRY.
190
TA
Let
be the
common
If
and
Ax
let
on the base
Divide the
of which
parts
made
in the
GHI
the sections
each
is
On
to ghi, &c.
DEF
the triangles
AD,'DG, GK,
equivalent to
Mm,
for
SA;
&c., taken
all
common altitude.
The sum of the exterior
their
is
is
the
sum
SABC
of the interior
sum
two pyramids.
Now, commencing with the bases ABC, abc, the second exterior prism DEFG is equivalent to the first interior prism
defa, since their bases are equivalent and they have the
same altitude Ic. For a like reason, the third exterior prism
GIIIK is equivalent to the second interior prism ghid, the
;
SABC,
first
ABCD,
has
its cor-
the prism
ABCD
is
BOOK
191
VI.
pyramids cannot
exist
and
therefore,
Pkoposition
XV.
Theoekm.
Every triangular pyrarmd is the third part of tlie tripnsm which has the same hose and the same
angular
altitude.
Let
SABC
SACDE,
which
may
be consid-
the diagonal
OE
the
its
ACDE;
draw
plane SCE, drawn
through CE, will divide the quadrangular pyramid into two triangular pyramids SACE, SDCE.
These two pyramids have for a common altitude the perpendicular let fall from the vertex S on the plane ACDE
;
they have equal bases, since the triangles ACE, DCE are
the halves of the same parallelogram ; tlierefore, the two
is
DES
hence, the
ELEMENTS OF GEOMETRY.
192
SACE,
ABD,
ABD is composed,
are equiv-
pyramid SABC is
which has the same base
Therefore, the
altitude.
Corollary.
is
its alti-
its alti-
tude.
XVI.
Peoposition
Theoeem.
ABODE
EB, EC, we
nals
will
divide the
SABCDE
polygonal pyramid
which
will all
titude
SO.
al-
pyramids
the bases
is
obtained by multiplying
sum
SABCDE,
the polygon
;
sum
of
or,
ABODE, multiplied
by
the triangles
therefore, every
the
^SO
the
pyramid has
Corollary
I.
BOOK
Two pyramids
Cm'ollary II.
193
VI.
We may
Scholium.
decomposition
sirnplest
may
methods
be made
is
into
it
pyramids
in several ways.
and
One
this
of the
we shall then have as many pyramids as there are faces in the polyedron, except those
which form the solid angle through which the planes are
the same solid angle
drawn.
by dividing
DEFINITION.
I.
truncated pyramid
cluded between
its
\s.
that part of a
pyramid
in-
made by a plane
When
is
pyramid.
n. The
is
called a
frustum of a
bases.
Peoposition XVII.
Theorem.
let
TFGH
9
be a triangular pyramid
ELEMENTS OF (JEOMETKY.
194
witli
pyramid
SABCDE.
plane ahd
will,
if
produced,
deter-
mine
trian-
gular
in the
pyramid
common
plane
fgh
as the base
same reason
SABCDE, TFGH
it is
also.
since
Tlie
tin;
pyramid.
cutting off
from
the frnstuin
its
base
and for
its
in
base fgh.
Taking
away
this
pyramid,
'
BOOK
galar pyramid
195
VI.
^AHF,
we have two
Thus,
is
its
vertex
composed.
is
in
we draw ^K
If
amid
to
base, the
F/H;
tices
fF, and
parallel to
be formed with
conceive a
pryamids/THK, g^f^
will
g and
mean
side equal,
hence, these
vertex at f, and
FHK, fgh
FK =fg-
We have also
But the
Its
it
will then
base
FKH
tlie triangles
pyr-
they will also have the same altitude, since the ver-
is
new
as its vertex,
for,
F f, and
We have, therefore,
FHK FH
fgh
fh-
FHG
FHK
FG
FK
similar tiiangles
FGH, fgh
FG
fg
give the proportion,
FG^FH
j
fg
Hence,
fh'
FGH _ FHK
j^gg ~ 'fyT'
FHK
ELEMENTS OF GEOMETRY.
196
Peoposition XVIII.
which
ABC,
is
D, E,
S,
pro-
Theorem.
mean
two bases.
be cut ly
ABGDES,
pyramids whose
base is
ABO.
prism
pyramid
for its
vertex the
point S,
and
base.
Eemoving
the pyramid
SABC,
for
its
base.
S, E, C,
SACDE, which
pyramid
vertex and
ACDE
has S
for its
the quadrangular
having
The
for,
pyramid
as
pyramid
SCDE may be
BOOK
Lave
also the
same
197
VI.
AE
altitude, since
is
parallel to the
SCD.
SCDE,
ABCD
equivalent to
ASCD,
is
also
base
ABC, and
D, E,
S.
If the edges
Corollary.
cated prism
CD
are perpendicular
^ABC x AE + ^ABC x BS +
which may be reduced to JABC X
may be
expressed by
-J-ABC X
CD;
(AE
AE, BS,
or
+ BS + CD).
SYMMETRY OF
Two
when
points are
this
plane
is
FIGUEES.
to a plane,
This plane
is
Two
when every
its
symmetrical
Pkoposition
right line
right line.
AB
XIX.
^Theorem.
ELEMENTS OF GEOMETKY.
198
tlieir
two points
line
and B, and
ducing these
AC, BD,
Draw A'B' and
equal to
distances
CD.
To show
AB
of the line
has
its
If
an
we
to
MN,
and produce
A'CD
and
like
it
until
angles,
01
CD
around
CA'
and
For a
on A'.
fall
AB
as
ACD,
since
meets A'B'.
it
ACBD
symmetdraw 01
CA will
per-
and pro-
perpendiculars,
respectively.
perpendicular
and
MN,
pendiculars on
will then
10'
as
Corqllwry.
AB, which
A and
which connects
PEOPOsrriON
B,
is
equal to the
XX.
right lines
Theokem.
AB,
angle
AG
is
equal
formed hy
to the
their
sym-
We
remark, in the
first
AC,
point,
the
AB,
symmetrical
the symmetrical of
must
BOOK
vr.
19
AB
The
triangles
to each
BAG = B'A'C
PROPOSITION
XXI.
Theorem.
two planes
symmetry.
these
AB
Let
form
plane of symmetry
MAB.
the plane
required
every point
P,
ABM,
has
plane
It
prove
to
of
its
is
that
the
sym-
ABM'.
Draw Yp perpendicular to ABC, and produce
metrical on
it
ABM' in
P'
then
draw^I
until
it
perpendicular to
PI, P'l.
The two
as
MABC, M'ABC.
AB
The
right-angled
tri-
angles PI^, P'lp, are therefore equal, since they have the
side \p
P'j9.
Therefore P'
RemarTc.
symmetry,
ABC, and
is
hence, P/?
symmetrical with P.
is
at the
it.
ELEMENTS OF GEOMETRY.
200
Proposition XXII.
is
Theoeem.
equal
A'B'D'.
We remark, in the first place, that the common interAB of the two planes ABC, ABD, has for its sym-
section
common
metrical the
section
inter-
A'B'C, A'B'D'.
At
plane
angle
CBD, which
Form
AB.
B', the
angle
symmetrical of B,
tlie
tlio
The
ABD,
will
have
for its
line
BD,
in the plane
symmetrical with
VI., Prop.
We
XX.)
CBD = C'B'D.
Proposition XXIII.
Two
Theorem.
luive, 1,
to
a plane,
Let A, B, C,
the polyedrons
C, D'
we know
are in the
same
plane.
BOOK
Further, the polygons
Vl.
201
for they
sides
(Book
VI., Pr9p. XX. and XIX.)
2. Two homologous solid
angles B and B' have their
,
each.
XX.) Their
each to each.
(Prop. XXII.)
now, we make the face
A'B'E' coincide with its equal
If,
ABE,
face,
we
fall
on
common
Hence, the
B'
solid angle
symmetrical
is
with B.
Corollary 1.
a single symmetrical.
P"
P has only
be two sym-
symmetry; the
faces
of these poly-
of the polyedron P.
may be
P"
throughout
edron.
Corollary II.
If
we decompose
a polj'edron
all for
into
common
tri-
vertex
one of the vertices of the polyedron, a symmetrical pyramid may be formed, in the symmetrical polyedron P',
which
will correspond
to
given polyedron.
9*
ELEMENTS OF GEOMETRY.
202
We
Scholium.
called symmetrical,
symmetry
that the
exists
proper
it is
to
remark,
the solids.
Homologous
Note.
tices are
XXIV.
Peoposition
Two
whose
ver-
symmetrical.
Theorem.
may
be decomposed
it
only
Let
SABC
construct
be a tetraedron
symmetrical, tak-
its
XXIIL,
Cor. L);
Two
points
'
'
which
A and
A
^
are equal.
to a
of
at the point O.
(Prop.
"
ABC
is
BOOK
Two
203
VI.
when every
symmetrical in the
its
othePi
These are
left as
Pkoposition
If the
edges
XXV.
Theoeem.
the ietraedron
fff}
fK
similar
ff^j
TFOE,
le
g, h,
to the first.
TFG
and the
in each equal,
sides includ-
T^A
to
is
similar to
TFH.
Besides,
FG
fgh
is
Prop,
FGH.
is
FGH,
similar to
(Book VI.,
xm.)
Finally,
the
two homologous
for,
solid angles G, g, are equal
are
angles
equal.
faces are similar, their plane
;
since
theii-
'
ELEMENTS OF GEOMETRY.
20i
eacli to each,
Wq
Scholium.
may remark
that
two similar
tetrae-
when two
for,
homologous
since they have their plane angles equal, each to each, and
similarly situated.
Peoposition
.Two tetraedrons
XXVl.
SABC,
Theoebm.
TDEF are
when
similar^
they
lyy
SB = TE
the triangle
similar to
SAB
TDE, and
solid angles
are
since they
equal,
have an
two equal
faces,
similarly
situated.
Hence, the
Further, since the triangles
and
also
SBC
angle
ASC-DTF.
ASB. and DTE are similar,
SB_ AS
TE ~ DT'
by
and
SB_SC.
TE ~ TF
BOOK
205
VI.
AS^SC
Hence,
The
triangles
DT ~ TF"
ASO, DTF are therefore
similar,
We
and
might
see, in like
ABC
is
similar to
DEF.
Fi-
having
sides.
are similar.
Peoposition
Two nmilar
XXVII.
polyedrons
may
Theorem.
ie
polyedron.
Decompose,
in like
required to show that these tetraedrons are respectively similar to those which form the iirst polyedron.
it is
ELEMENTS OF GEOMETET.
206
If
the
EDAS, edas
and
DA
is
CDAB,
cdab
are similar,
two polyedrons are equally inclined hence, the two tetraedrons SDCA, sdoa are similar, having a diedral angle
;
in each equal,
If
we
SDC,
similar tetraedrons
polygons
angles
SDCF,
the triangles
FDC
FEDC, fedc
FDCA,
diedral angles
is
we
see that
are similar.
SDCA,
by hypothesis
similarity of the
sdcf,
and the
tetraedrons
SDCA,
sdca
hence, the
Prop.
and
XXVI. ),
SDCF,
the tetraedrons
sdof
a,ve
similar;
Remarh I. "We remark that the preceding decomposimay be effected by beginning with any two homolo-
tion
gous vertices.
Remark
"We deduce from the theorem just demontwo similar polyedrons, two right lines A, a,
which join homologous vertices, are proportional to two
homologous edges B, i of the two polyedrons. We shall
II.
strated, that in
have, then,
=
a
homologous edges
we have
and
also,
finally,
= -^
CO
~~
T'
BOOK
vi.
XXVIII.
Proposition
Theokkm.
each
to each,
and
and
Let
The
1.
triangles
firet
teti-aedrons.
DCA, CAB
being in
the same plane, the triangles dca and cab are also in the
same
plane.
SCAD
SCAB
scab
SABC
sum
hence, the
similar,
angles
SCAD,
similar, as
of the
sum
first
is
equal to two
DCBA,
dcba are
We see,
BA, which
two
right angles.
2.
but the
angles
and
is
is
true with
the
sum
of
tlie
diedral angles
CSAD, CSAB,
ELEMENTS OF GEOMETRT.
208
is
equal
to
sum
of the diedral
Scholium.
made,
justifies
similar polyedrons
which
shall
for
be composed of
polyedrons
same number of
tjie
similar
SABDEFG into
pyramids,
lar
triangu-
having S for
polyedron
If
we
is
composed.
ginning at S, proportionally,
at the points a, 5,
c,
d, &c.,
be
will
respectively
SBDC,
situated
sum
their
SADB
XXV.)
to
be similarly
and
compose the second
will
will, therefore,
similar
first,
by the
pre-
ceding theorem.
This second polyedron might then be placed in any
.
position
first.
Peoposition
Two
their
XXIX.
homologous edges.
to
^Theoeem.
B00
209
VI.
we may
place the
common
solid angle
ABC
such
may have
S
will
and
the
tlien
be paral-
SA, SB, SC
points ,
5, c.
Draw SO
perpendicular to the
ABC.
ABC,
The
tri-
dibc
ABC^AB^
(1)
ahc
oh
We have also,
AB_SA
^^^'
sa^
ah
SO
common
ABC
by
3,
But
S5c.
SA
sa
ratio,
(1)
we have
and
(2),
and dividing
we have
X ISO
ahc X ASo
SABC
__
so
4?-(')
so
SO
AB
ah
ABC
Peoposition
Two
their
XXX.
Theorem.
homologous edges.
ELEMENTS OP GEOMETRY.
210
may
be decomposed
tetraedrons.
A"
t,
t',
t"
t, if,
t",
&c.
T
And
We
T',
homologous edges
shall have
in
A"
A"^
A'
V
T'
il
/3'
T"'
i'lZ
T", &c.
and
the tetraedrons
^"3' *-
are proportional,
we
shall
T _
T'
have
T"
t~ t'~ t'"
T + r + T", &c. _ P _ A'
BOOK
VII.
BOOK
211
YII.
THE SPHEEE.
DEFINITIONS.
L The
sphere
is
a solid terminated
all
by a curved
surface,
called
the
cent/re.
We
have
of
all
its
is
AH
radii of the
In like manner,
equal.
all
spheres, are
The diameter
is
double of
the radius.
it
point in
their surfaces
have
Peoposition
Every
Let
section
I.
^Theoeem.
is
circle.
the sphere
ELEMENTS OF GEOMETEY.
212
whose centre
C.
is
From
the point
CM, CE, CB
the several
to.
AMB which
ter-
The oblique
lines
Hence,
fore,
all
the lines
AMB is a circle,
the section
sphere.
its
are equal
having
CO.
and, there-
as its centre.
Corollary I.
the sphere,
OM, ON, OB
Circles
All other
All great
circles.
circles of the
circles of the
Two
Corollary II.
for, their
is
equal.
common
intersection, passing
a diameter.
and
its
surface into
Small
circles
Of small
circles
unequally
face of a sphere,
we may
at a
sur;
for
BOOK
213
VII.
the two given points and the centre of the sphere give
three points which fix the position of a plane.
If the two
given points were on the extremities of a diameter, these
an
them.
Corollary Yll.
surface of a sphere
of
its
circumference.
Peoposction
Theoeem.
II.
to
a radius of a sphere at
its
Let
FAG
extremity.
its
we
If
OA,
and join
OM
0AM will
hence,
and
OA.
M,
the angle
be a right angle
greater than
is,
AM,
OM
the distance
at
take any
and
be
will
Tlie point
and as
with every
therefore, tangent to
is,
it.
For,
plane,
if
we
OA
and
is
FAG
is
perpendicu-
OM will
that can
(Def. 3.)
OA
is,
OA,
perpendicular
this.
is
Corollary.
of
since
FAG,
to this plane.
ELEMEKTS OF GEOMETRY.
214
Proposition
The
which
and
Theorem.
III.
'perpendicular
the centre
of
to the line
the circle is
on
this line.
Through the line OC, which joins the centres of the two
This plane intersects
spheres, draw any plane whatever.
the two spheres in
great
circles
intersect
each
points
at the
'which
other
and
circles
OC
revolve around
OC.
DAE, GAH,
and
is all
AI
Further, in this
OC
its
magni-
hence, the
intersection of the
centre of which
is I,
as the
two
circles
DA A', GAA'
are
circles.
DEFINITIONS.
I.
The angle
'between
is
the die-
BOOK
dral angle formed
2l5
vir.
by the planes
The
of these circles.
arcs
of great circles are the sides of the angle, and the intersection of these arcs
II.
is
spherical triangle
sphere bounded
by
is
of which
ference.
of the triangle.
III.
spherical triangle
is
A spherical triangle
is
these
are such, that the plane of each side leaves the polygon
its
direction.
PEOPOsmoN IV.
In every
the
spherical triangle
sum of the
Let
Theorem.
ABC,
other two.
OB, OC.
COB
be supposed
to
OA,
AOB, AOC,
If the planes
be drawn through
form
at
a solid
angle,
COB
will
sides
solid angle
the
sum
sum
ABC
is less
than
hence either
is less
than
ELEMENTS OF GEOMETET.
216
PEOP<'>srrioN
Theoeem.
V.
AB, AC,
until
The
ACD
arcs
ABD,
will
BCD, we have
in the triangle
BC < BD + CD
the side
(Book
AB + AC to both members, we
have AB + AC + BC < ABD + ACD, which is less than
VII., Prop. IV.)
adding
a circumference.
Hernarh.
the
sum
it
is
necessary and
is
it
sufficient that
and that the greatest side be less than the sum of the other
two for, these are the conditions necessary to construct a
;
which have
for their
meas-
we
of the sphere, the faces of the solid angle will form on the
surface of the sphere the required spherical triangle.
Theorem.
Proposition VI.
is less
sides of a spherical
than a circumference
of a great circle.
Let ABCDE be a spherical polygon.
From
0, draw the
OE we
;
shall
radii
form at
OD
O a convex solid
BOOK
sum
&c.,
is less
hence, the
sum
have
But, the
AOB, AOC,
atigle, the
for their
217
is less
AB, BC,
of the arcs
than a circumference.
DEFINITIONS.
I.
The pole
is
the extremity of
Every
m.
poles.
parallel,
Theoeem.
Peoposition VII.
ference
two
we draw
FNG, and
from
the radii
the pole
of this
DF,
DG, the
DOF, DOl^,
DIST,
right-angled triangles
DOG,
circle.
in the circum-
DO
for they
common, and
as radii of tlie
DF = DN=DG.
We see, also, that the arcs of the
great circles
FD,
DIST,
DG
are
by equal
plane of this
DO,
whicii
is
all
perpendicular to the
circle.
FNG is
AMB
evidently ap;
but, in this
being at the
ELEMENTS OF GEOME'TET.
21S
DM, DB
DAE, DME,
DA,
are quadrants.
Scholium.
The properties
us to
It is evident that if
FNG.
If
we wished
know
PfiOPOsiTioN VIII.
Peoblem.
AC
de-
ence
ODE
points C, D,
mark the
on
tJiis
CE,
finally,
construct, on
a plane,
a triangle with
CD, DE,
Now,
circle
CDE.
ACBE to be passed
through
BOOK
the diameter
CO
AB, and
are drawn.
know
219
VII.
CAO, we
the hypothenuse
AC
CB
CO we
C'A'O' equal
to
A'C,
CAO
to
CA,
being perpendicular to
might
if
we
= AB will
Pkoposition IX.
To
trace
on
Problem.
the surface
From
the points
and B,
as
poles, with
two great
tersecting each
point
of
will
P;
the
great circle
the
circles, in-
other in
AB, and
will
Peoposition X.
From
a point
on
Problem.
the surface
of a sphere,
to
draw a
From
the point
as a pole,
CMD in
S.
circle
will be perpendicular to
AM
CMD.
ELEMENTS OF GEOMETRY.
220
Theoeem.
Proposition XI.
shortest path
The
from
the point
B on
point
to the
ABD
same circumference.
For, draw through the pole
the
PA, PB,
to the points
circumference
circleef
A and B of the
ABD;
and
PGB
let
to
the point B.
If the
hemisphere which
volved about
circle
circle
PAE,
PBEHA
PBE
Lemma
be
the
until
PBEHD
re-
great
AP,
therefore, equally
each
PB
the arc
PE
on the
is
PBE
to B,
PGB will
and
to
it
will,
A.
AO
Let AB,
he two arcs of great
II.
than a semi-drcumference; and let
circles.,
AC < AB,
less
the shortest
less
For,
from
AMB
and B.
from
describe
as
at a point I
CI
path from
than that
to
to
will he
B.
circumference
between
and
CM
AB
and
let
in a point
M, and
the line
AM will
BOOK
221
VII.
from
path from
A to M
since
Now,
let
AC = AM,
A to
AM < AB.
and
lemmas
to apply these
AB
A to B,
not be the
is
pothesis.
is
there were a
AMB would
B, which
to
if
for,
enunciated theorem,
to the
circle,
less
than a semi-
on the shortest
the
arcs
AC-f CB.
DB < BC.
from
shortest path
A to
and B. Draw
AC, BC, and take
between
of great circles
AD = AC.
We shall
remains
line
Lemma
But, by
A to D
the
is
same
the
I.,
as that
Lemma
C.
II.,
since
shortest distance
arc
AB
BC > BD.
between
A and B can
AB
is
Proposition XII.
The angle
^Theorem.
its
B C, described from
be outside of the
as a pole,
and
limited hy the
sides
of the angle.
For, draw the
the
arcs
radii OB, 00
AC, AB, being quad-
AOB, AOC,
be right angles
and
BOC
will
will
be
ELEMENTS OF GEOMETBT.
222
DBAC
BOO
by the
is
Thus,
easy to
make an
it
The opposite
Scholium.
angles
each
)|b
is
planes
vertical
for,
ABC,
OOK
arcs,
is
DEriNITIONS.
described,
these
second triangle
EF, FD,
arcs
will
DEE, which
DE be
form a
is
called
triangle
ABO.
The vertex homblogous to A, is
by the intersection of
determined
the
arcs
as poles.
tersect each other in
is,
These
and 0,
to take that
described from
which
is
SOOE
^%%
tti.
Thkoeem.
Pkoposition XIII.
If
triangle, reciprocally,
its
DEF.
For, the point
tance
AE is
a quadrant
DE,
arc
quadrant
the arc
the point
EF, the
CE
the distance
dis-
'also
at a
is
and
in
the
polar triangle of
We might show,
that D is the pole
like manner,,
arc
EC, and
of the arc
AB
therefore, the
it is,
AC.
hence,
the pole of
ABC
is
the
DEF.
Peoposition
XIV.
Theorem.
triangles
ABC, DEF,
the meas-
ure of an angle in either of these triangles will he a semicircumference, minus the side opposite to it in the other
triangle.
Produce,
meet
EF
in
if necessary,
and H.
the sides
AB, AC,
have
for its
is
until they
the pole of
will
GH.
GH,
the arc
the angle
AH,
and
hence,
ference
the arc
GH
EH
but
same thing
as
of
AG
the pole of
GF =^ semi-circum-
is
EH +
as
-f
GF
EF -f GH
is
is.the
hence,
equal to a
In like manner,
ELEMENTS OF GEOMETRY.
224
the angle
have
will
is
for
circf.
its
measure ^
circf.
DF,
DE.
Thus,
is described in the same manner, one by the other.
MI
but
arc
MI
+
the angle D has for its measure the
EC = MC + BI = ^ circf. hence, the arc MI, which measures the angle D ^ circf. BC. In like manner, the
measure of E will be ^ circf. AC, and that of F will be
;
circf.
- AB.
Scholium.
If
it
results
and reciprocally;
triedral angles
therefore, these
are supplementary.
DEFINITIONS.
Let
ABCD
C,
The
CD'.
solid angles
symmetrical
formed
at
consequently,
are
their
Hence,
A'B'C'D' have their parts
Still, these polygons cannot be placed one upon
gles are respectively equal.
the other
for, if
we
ABCD,
CD'
on
its
equal
CD,
CD,
two polygons
shall fall
on
and
in
at C,
fall
commencing
in-
verse order.
These spherical polygons are called symmetrical, whatever positions be given to them on the surface of the sphere.
Peoposition
Two
XY.^Theoeem.
and
and
AB =
BAG = FEG.
of
of the
EF, the
The
when
side
triangle
sides
angle
Then
the triangle
EFG will
ABC
shall
have
angle
ACB = EGF.
that
is,
each
the
equal.
parts
BC = FG,
of
two
ABC = EFG,
we
and the
were inversely
we might
the symmetrical of ABC, and we should
triangles
apply
EFG
to
result.
Proposition
Two
triangles,
XVI.
^1'heoeem.
wh^n
10*
spheres,
and
ELEMENTS OF GEOMETRY.
226
of the
one, equal to
two angles
and
tlie
its
(Book
I.,
Prop. VI.)
Peoposition XVII.
If two
triangles,
on
the
same
sphere, or
mch
to each, the
Theoeem.
on equal
to three sides
of
spJieres,
the other,
equal.
we
shall thus
of which
gles
being
respect-
ively equal.
But we
in
Hence,
two spherical
tri-
are
angles,
in the
Peoposition XVIII.
Jn every
Theoeem.
to the
AB AC
C = B.
For,
if
we shall have
from the vertex
the middle point
;
BOOK
and
AB = AC.
triangles will
227
VII.
DAG, and
BDA = ADC.
BAD =
BDA
Hence,
parts.
Scholium.
It follows,
from
this
is
qual to
it
by
superposition.
Pkoposition
Jf two angles of a
XIX.
Theokem.
AB is
B=G
AG = AB for, if the
let AB be the greater
take
then will
AG,
AC, and
not equal to
BO =
BO, BC
BC.
join
The two
OC.
sides
The angle
OBC
is
equal to
AC,
ACB.
AC.
Hence,
AB, AC,
are equal.
Peoposition
In every
XX.
^Teceoeem.
to the greater
angle i
and
;
:
ELEMENTS OF GEOMETRY.
228
have
BAD = B we
But AD +
DC is greater than AC
substituting DB for its
Let angle
1.
shall
angle
theorem.
AD, we
equal
or
BC > AC.
2.
we suppose
If
BC > AC,
BAC will
ABC.
be greater than
shall
DB + DC > AC
have
For,
if
BAC
angle
the
were equal
If two
triangles on the
same
Theokem.
have the three angles of the one equal to the three angles of
the other, each to each, the sides which lie opposite to the
equal angles will also he equal.
Let
given triangles,
and
polar triangles.
their
are
will
But
if
A and B will
Scholium.
triangles
also
for, in
plane triangles,
when
we can
BOOK
The reason
to each.
triangles
229
VII.
between rectilinear
and spherical triangles may be readily accounted
for this difference
for.
it
is expresslj'^
tri-
But
would be otherwise,
unequal spheres
if
Proposition XXII.
1.
The sum of
the angles
and
less
Theoeem.
of a spherical triangle
is
it,
then,
will
be
the
sum
Hence,
is less
than six
or three
A spherical triangle
ELEMEKTS OF GEOMETBY.
230
of
its
its
viz.,
a triangle
If the triangle has
all
is
three of
is
it
Each
angle.
triangle
MN
its
a quadrant.
is
is
When
AMN
a quadrant,
is
trl-rectangnlar triangle.
The
tri-rectangular triangle is
A<B
and
A, B, C be the angles
<
The
C.
B, 180
-C
180
Adding
sides of the
A, 180
be respectively 180
(Book VII., Prop. IV.) but we have
triangle will
polar
A +B +C
to
C.
we have
both members,
B + C<180 + A.
"With three angles A, B, C, which
for, these
fulfil
we may form
the conditions
a spherical
tri-
angles.
Scholium.
tri-
We may
triangles
some of the
sides of
For,
ACE,
if
we produce
BOOK
VIl.
231
the side
AC
an entire circumference
yf"
taking
^\
\
ABC,
triangle
is
/
AL__Jg
new
away the
triangle
and angles,
may
"We
the
tri-
the
hemisphere.
DEFmmONS.
1.
A lune
is
A spherical jpyramiid
in.
of the sphere
ELEMENTS OF GEOMETBY.
232
Theokem.
Proposition XXIII.
is to the
Let us suppose,
mensurable with
MNPQ,
and that
in
MN is com-
dividing the
cir-
MN
parts.
The
contains 5 of these
ratio of the arc
MN
Pass through
AB
diameter
the
a series of planes;
we
shall
sphere 48 lunes,
be contained
in
AMBN.
The
equal to
all
and 5 of these
MN
to the
be
-f-^,
luneS;
AMBN"
and will
circumference
MNPQ.
If the arc
ence,
we might
prove,
MN
is to
the circumference.
A
L
-=_,
Hence,
If,
therefore,
j-,
we wish
and
L'
g^
j,-
(1)
-.
= A'
BOOK
face of any lune
233
vii.
by comparing
it
it
we
see,
by the aboTe
is
E'
(1)
is
becomes
=r
(^)
its
If
we
is
equal
helice,
is
equal to
to its angle.
we
shall have,
by
substituting
is
2T
^ = ^.
2,
we conclude
that
L_2A
T~ 1
"Which shows that the ratio of the surface of a lune
of the tri-rectangular triangle,
is
to that
or, ia
double
its
when the
tri-
tri-rectangular
We
Scholium.
ungula
or, in
is to
the
its
is
half
the right ungula, and for the unit of angle the right ^nglj.
ELEMENTS OF GllOMETR'?.
S84
XXIV.
Pkoposition
Thkokem.
Let
metrical.
of the
cir-
ABC must be
sphere, for if
the
three
would be
were a great
it
sides
in the
circle,
The
its sides.
circles
are equal.
arcs of the
Draw the
great
diameter POP',
one equal
Hence, they
We
see,
each to each
be placed one
in like manner, that
the triangle
CPB
is
the triangle
APB
is
equal to A'P'B'.
ABC, which
is
is
the
sum
may
of the triangles
tliat
sum
of the triangles
Remark.
ABC, A'B'C
for their
Pkoposition
XXV.
Theorem.
BOOK
be
AOC, BOD
BOD for its angle.
loill
235
VII.
equivalent
OB,
]Sr,
to the
OD
until they
meet at
in
OBN
be a semi-circum-
will
ing
son,
DN
= CO, and
Hence, the two
AOC, BDIST have
we have
BD = AC.
triangles
sides
their
each
each
equal,
to
sym-
is
Scholium.
It is
BOD
will
which has
BOD.
AOC,
angle.
XXVI.
Pboposition
of the sum of
^Theorem.
triangle has
is
two spherical
for
its
measure
its
Let
ABC
be the given
triangle.
^^
ACj
'
circle
BC
until they
meet
the
arcs
this great
We have, evidently,
ABC + BCE = Lune A,
ABC-f ACD=LuneB;
circle.
ABC -h DOE ^
Lune
C.
ELEMENTS OF GEOMETRY.
286
Adding
these equations,
triangle
ABC, we
2ABC + ^
Hence, taking
2-, we have
shall
sphere
Dividing each
member by
we have
C.
h sphere
tri-
rectangular triangle,
-p
'
^ sphere
2T
A _A
^T ~ V
Lune
and
B Lune C
~2f
T'
~W~
i-^ =
2.
C
^'
^^^^^
Hence,
t^ = ^i+l+C_:i_?andABC = (A + B + C-2)xT.
Hence, a spherical triangle has
face the excess of the
angles multiplied
T=
1, is
sum
by the
of
for the
its
measure of
its sur-
tri-rectangular triangle; or
sum
of
its
when
angles above
is.
BOOK
we
have,
jfffff
g-,
by dividing
the
237
VII.
number by the
first
second,
therefore,
is,
We
Scholium
II.
excess of the
sum
right angle,
of the angles of
equal to the
it is
its
right angles.
Peoposition
XXYn.
Theorem.
meas-
its
ure the excess of the sum of its angles above two right
angles taken as many times as the polygon has sides less
two, multiplied iy the tri-rectangular trianyl
From
polygon
the vertex
ABODE
AD
many
the
triangles
But
is
sum
of
its
angles
sum
all
of
angles
polygon
is
and
triangle
is
it is
equal to the
sum
tri-
of the
sum
of
its
angles
above two right angles, taken as many times as the polygon has sides less two, multiplied by the tri-rectangular
triangle.
ELEMENTS OF GEOHETBY.
23S
Calling
angles,
its
sides,
measure,
p=
If
|S
2 (n
2)
= (S - 2n + 4) X T.
value of P becomes
X T
P = (S _ 2>t + 4).
239
:606k; viii.
BOOK
VIII.
A cytmder
a rectangle
is
ABCD
around one of
perpendicular to
its
by tke revQlutjon of
AB
sides
AD, EC
as
an
axis.
being constantly
CD
CD
is
line
AB
is
called tke
(^^
of the cylinder.
Every section KLM, made in the cylinby a plane perpendicular to itg axis,
der
is
for,
ABCD
revolves
IK
section
the axis,
is
PQGH
made by
a rectangle which
is
and
made by a plane
Every
de-
I.
rectangle.
II.
A cone
is
SAB
around one of
its
sides
SA
ELEMENTS OP GEOMETRY.
240
In
revolution, the
this
side
AB
BDCE, which
cone,
is
SB
The point S
of
the cone,
titde,
and
is
SA
SB
apothegm.
Every
section
HKFI made
by
SDE made by
celes triangle,
III. If
circle;
which
is
SGDB we
SFKH,
CBHF
is
called
may be
conceived to be gen-
and
ABHG, in
which
AG.
The fixed line AG is called the axis or altitude of t\i& frustum; the circles BDC, HFK are the bases; and BH is its
slant height or side.
IV.
Two
when
their
Y.
If,
in the circle
base of a cylinder,
ABODE,
and on
we
this
A CD, taken
as the
inscribe a polygon
polygon, as a base,
same
CH,
AF, BG,
BOOK vra.
241
We may
number
if
the
of a cylinder
is the limit
become
in other words,
or,
of the lateral
inG7'eases indefinitely.
We may
an
insc7'iied
ABCD
an inscribed polygon.
ABCD as
S
SD
pyramid
is
and
this
said to be inscribed in
We may
admit, as a self-evident
of the
lateral
surface
pyramid,
and also, that the volume of
limit of the volume of the same pyramids.
the
scribed
increased;
PeopositIon
I.
its altitude.
in^
Theorem.
of an
is indefinitely
its
measure the
pi'O'
ELEMENTS OF GEOMETRY.
242
Let
V its
prism,
B=
H = altitude
We have
volume, and
V=B
of
X H.
is
the
Vol. cylinder
x H.
area circle
Corollary I.
The volumes of
Corollary II.
diameters
and
are
as the altitudes
multiplied
by the
Scholium.
H=
be
volumes of the
Let
R = radius
H == ttE^H.
cylin-
its altitude,
ttR^,
altitudes, or the
ttE^
BOOK
Pboposition
The
2i3
VIII.
Theorem.
II.
lateral surface
the perimeter
is
equal to the
sum
of the rectangles
&c., of which
composed but the altitudes of these
it is
rectangles
their bases,
sum
Hence, the
by
its
is
base mul-
its altitude.
Corollary.
If
their bases.
PEOPosrrioN ILL
^Theoeem.
its base
multiplied by
its altitude.
P = the
= measure
of
Let
the
common
prism.
We
perimeter, S
But the
is
and
have
=P
X H.
..
ELEMENTS OF GEOMETEY.
2i4
number
shall
is
x H.
But the
is
constant
therefore,
may
the base,
be expressed
2:rR x
H.
Peoposition IV.
Thkokem.
measure
its
the product
of
tex.
polygon,
and
B area
of the inscribed
H = the
TT
we have
V =B
TT
is cono
Btant.
Hence,
TT
V = Vol.
Corollary.
of cone
A cone
= area of
base x
is
Hence,
it
follows:
BOOK
245
VIII.
1-
2.
to
each
3.
to each other
or as the
Let
Scholium.
H=
= radius
II
altitude, the
its
DP,
its
the
as the radii of
measure \-nOV
Let
TFGH
its iases,
(AO
x ^H, or
Theokem.
Peoposition Y.
The volume of
= ttR^
and
PO
+ DP + AO
its altitude,
AO,
has for
x DP).
altitude
FGH
is
base
equivalent to
to
be placed on
then
be at equal
dis-
plane
will
make
section
the section
IKL
is
IKL
EPD
in the pyramid.
produced
Now,
DE
for,
the
the
triangles
FGH, IKL
Hence, the
circles
FGH, IKL.
AB,
DE
are to each
ELEMENTS OF OEOMETEY,
246
circle
AB
DE.
triangle
triangle
IKL is
therefore, the
the
is
AO,
has for
its
measure
tt
AO
2
;
and we have
also for
rr
AO
tt
and
tt
tt
^OP
X (ttAo'+ttDP
same
thing,
^tt
OP
of
77
AO
x (Ao'
lateral surface
or,
+DP' + AO
Peoposition VI.
The
X DP),
measure
its
what
is
the
x DP).
Theorem.
regular pyramid
is
composed of
SOD,
But we have
SOD = CD
SI
2
The apothegm
of the Bides of
tjie
is
SBC = BC
SAB = AB
base,
fj-oift
SI
SI
,
&c.
BOOK
247
VIII.
Peoposition
The
lateral surface
circumference of
its
Vn.
^Theoeem.
height.
ABCD, and
construct on
Let
it,
as a
pyramid having
vertex.
we
apothegm;
height or
shall
have
But S has
P has
=P
EI may become
number of sides
ciently great.
Hence,
that
radius of
its
Let
base
L be
;
we
"
less
and
it is
SE - SI <
easy to
EI, and
of the polygon be
= circf. OE
suffi-
SE
R the
OE
quantity, if the
Scholium.
S^
we know
nE x
tlie
ELEMENTS OF GEOMETRT.
248
Theorem.
PROPOsrnoN VIII.
The
for
its
lateral surface
measure
SAB
draw
circumferences of
In the plane
AF
slant height
ADEB has
sum of the
draw
its
AO
DH parallel to AF.
SAO, SDC
AO
have
are
we
similar,
shall
SA
= "SD'
triangles SAF, SDH
AF _SA
D(5
DH
Hence,
by
DC.
Now, the
But,
are similar,
we
shall
SD"
AF _ AO circf. AO
DH~ DO circf. DC
construction, AF = circf. AO
hence, DH =
;
circf.
measure
AF x
SAB,
^SA, is
which has
triangle
measure
for its
SDH
SDE.
is
circf.
for its
AO
x|SA.
For a
like
249
fioofi viii.
frustum
ADEB is
ADHF.
-+
T)TT\
)
AD
multiplied
equivalent to the
measure
of the circumferences of
two bases.
its
two
bases.
Scholium.
in the
AD
.
or
AD
circf.
/circf.
X (-
AO + circf. DC \
),
IK, the lines AO, DO, IK being perpenfrom the extremities, and from the middle
of the line
For,
is
until they
OA
and
AD
DO
meet
is
in S, it
that of the
Hence, the
and
in the second,
DO = AO = IK.
11*
Elements
250
Geometry.
oi*
Peoposition IX.
^Theorem.
ABCD
FG,
regula/r polygon
has for
its
meas-
MQ
diameter
FG.
The point
FG
for the
AB,
generated by
Surface
AB = AB
AX
Draw
axis
circf.
parallel
the triangles
01
IK
therefore.
MN
circf.
01
circf.
IK'
IK = MN X
Surface
AB = MN
In like manner,
we
Surface
and,
_
"
circf.
AB X
Hence,
And
AB _ AB _
Surface
circf.
the
ABX, OIK
will
AX
to
IK.
Hence
01.
01.
circf.
shall have,
Hence, by addition,
Surface
MQ
Remarh
AC,
BC,
"We are
to
circf.
circf^
understand by surface
01
=:
01.
AB,
surface
Corollary.
number
If
we
FG passes
through two
BOOK
251
VIII.
generated by the
FACG,
will
multiplied
be equal to
by
of the inscribed
axis
FG
is,
its axis
the circumference
This
circle.
at the
same time,
DfiFTNITIONS.
I.
ji spherical sone
is
made by
tions
The
sec-
these planes on
may be
planes
sphere
and
One
of the
tangent to the
The
two bases.
While the semi-circumrevolving around the diameter DE, geneof
its
III.
ference
DAE,
EH,
revolving
PBOPosmON X.
The area of a
of a great
AB
^Theoeem.
circle.
MN.
AB
ELEMENTS OF GEOMETRY.
252
ADCB,
= circf.
But we may
01 X EF.
admit, as a self-evir
by
the arc
AB
the regular
number
of
polygon,
inscribed
whose
indefinitely.
the limit of
is
by a portion of
sides
is
Hence, we
the
increased
shall
have
by taking the
But
EF
is
circf.
01 has
Surface zone
I.
OM, and
01 X EF.
the factor
Hence,
constant.
Cmollary
limit of circf.
AB = circf. OM X
EF.
The
Cmollary II.
diameter
may be
is
re-
equal to the
Let
is
circles.
Corollary III.
'
The
we may
same unit
since
we have
already found, in
Book VH.,
which
BOOK
253
VIII.
XL
Pkoposition
Thkohkm.
Let us suppose,
CAB
CB.
The volume
generated by CAB is equivasides
its
lent to the
sum
of the cones
ADB
CAD,
triangles
we
have, therefore.
Vol.
CAB = ittAD
CD + iff
^ttAD X CB.
But
if
ad
DB =
(1)
AB = CB
AD
CG X
for these
CAB
substituting in equation
(1)
But ttAD
X AB
is
x AB.
lateral surface of
AB.
Hence,
Yol.
2.
CAB surface
AB X iCG.
Let us
now suppose
CAB
re-
CD
of
its
and
vertices
produce
AB
until
perpendicular
CE
it
passing through
one
on AB.
at
ELEMENTS OF GEOMETRY.
254
We shall
have
But
aDd
vol.
Hence,
and
finally,
3-
AB
CD
now examine
AE
BD
and
the axis
Draw
perpendicular to
AB we shall have,
CAB = vol. CAE + vol. ABDE - vol. CBD.
Itt X AE X CE.
vol. CAE
vol. ABDE
X AE X ED.
vol. CBD = in X Ae' X CD.
ular to
vol.
But
'
Adding
let us
the two
first
TT
we have
Bemark.
"We indicate bj
vol.
CAB,
vol.
x ED.
CAD, the
CAB,
Theorem.
Proposition XII.
If a polygonal
diameter
FG,
sector
A ODA
for
its
A BCD
an
axis, the
BOOK
255
VIlI.
AOD
sum
lent to the
is
equiva-
of the vol-
triangles
AOB,
vol.
vol.
Hence, by adding,
vol.
AOD =
Theorem
YIII.,
we have
01
(surf.
AB + BC -f CD)
surf.
ABCD.
^01 X
DEFINITIONS.
I.
A spherical sector
is
FCH
by
the revo-
DHE
generates the
sphere.
The
spherical sector
is
bounded by the
FH.
Peoposition
A spherical
forms
sector
^Theobem.
sphere.
Xni.
ELEMENTS OF GEOMETRY.
256
Let
AOB
spherical sector in
its
MN.
revolution around
AB a
ADCB
portion
arc
Inscribe in the
of a regular polygon
and
call
poly-
gonal sector
as a self-evident
that the
volume of the
proposition,
spherical
sector
the
is
limit
of the
sector,
of sides of
We
tor,
by taking the
^01
and
OM
but surface
is
ADCB
spherical sector
Scholium
I.
increased indefinitely.
has for
its
sec-
ADCB
x
AB,
Hence,
spherical sector
AB is
zone
AB
become equal
x ^OM.
to a semicircle, the
but
in
this
spherical
case
sector
tlie
sphere,
H the
volume of
the^ sphere,
we have
H=2R.
Hence, the
257
fiOOK VIII.
2E = AttEI
D
D
R =-^.
If
becomes
Hence, E'
D^
we have
= ^ttD'.
I^tt
Pkoposition
Tlie surface
XIV.
of the sphere
^Thkoekm.
is to the total
two
its
surface of the
hoses, as 2 is to
the
tlie
circumscribing square.
the
If
semicircle
PMQ,
and
The
is
altitude
AD
of this cylinder
PQ
the
is
the diameters
AB
and
MN
equal to the
are equal.
its
Hence,
measure the
circumference of the great circle multiplied by its diamBut this measure is the same as that of the surface
eter.
of the sphere (Book YIII., Prop. X.)
is
circumsci-ibing cylinder
is
If
we
ELEMENTS OP GEOMETRi?.
&58
add
to this
are equal to
two great
circles,
he equivalent
six
to
cir-
great
is
equal to a great
circle,
and
its
altitude to
by the diameter.
But
cles multiplied
Prop. XIII.)
by
-3-
by the
is
which reduces
to
of the sphere
as 2
is to
is
(Book VIIL,
Hence, the
ume
cir-
to that of the
vol-
circumscribing cylinder
Soholium.
If
we suppose
a polyedron
having
sidered as
all
of
its
might be con-
amids
will
the sphere
have
;
It is
for their
so that each
evident that
common
pyramid
be equal
its
all
of these pyr-
be equal
to the face
by
one-third of
tlie
We see
by
this,
polyedrons.
is
common
to
an
infinite
number
of other
bodies.
circle are to
BOOK
XV.
Proposition
The
259
VIII.
^Thkobem.
volving around
a diameter
A CG exterior
BM.D
to this
re-
segment,
has for its ineasure the sixth part of the circle which has
its radius the chord JBD of the segment, multiplied by
for
ihe projection
For,
vol.
But
And
vol.
CDMB
vol.
CDB
since surf.
we have
Taking equation
vol.
(2)
vol.
vol.
from
BMD =
|7T
hence,
vol.
Scholium.
is
CI
BD
EF is
to iTT
we
(1),
BD
27r
|7r
surf.
DB.
x CI x EF,
x~Cl' x EF. (2)
have,
EF (CB - CI ).
we
BD
or, as
have,
BD =
solid genei-ated
iCI X
CDB =
BMD = frr x EF
The
BD
=BI = -p
4
^ttxGB xEF(1)
DB =
CB -
by
Itt
BD
x EF.
the segment
BMD
EF is
to
BD.
ELEMENTS OF GEOMETRY.
260
Peoposition
XVI.
^Theorem.
Emry segment of a sphere included hetweeu two paralsum of its bases mullel planes has for a measure the half
ilplied hy its altitude,
ing theorem,
vol.
f
BMD =
We have also
vol.
Itt
X BD' X EF.
BDFE =
It:
BE X
EF X
(Be'
+ 151^ +
DF).
is
^TT
EF
X (2BE
But, drawing
BO
+ 2DF + 2BE x DF + BD
parallel to
EF, we
shall
).
have
BE + BE
also,
BD = BO +D0 = EF + DF - 2DF
Substituting this value of
segment,
we
BD
x BE
+ BE
the segment,
i77
EF X (3Be'+ 301^+
Ef'),
^77
EF
X (3Be'+ SDf")
or,
EF
( BE +
TT
one.
DF
)
BOOK
is
the half
sum
the segment
the other, ^n EF
theorem
is
261
VIII.
EF
by the
altitude of
Hence, the
proved.
Corollary.
If one
EF x
(-
IttEF
which
and
the
same
altitude,
this
ELEMENTS OF GEOMETBT.
262
The
figure
sides of a quadrilateral
2.
If
by right
lines, is
a parallelogram.
sum of these
Examine the theorem, when
is
is
constant.
If
tact
of
two tangent
circles
secants BE',
B'C
4.
are parallel.
In every quadrilateral
cumscribing a
sum
the
cir-
sum
of
true.
be tangent
If a circle
5.
two
to the
circle,
the tangent
BEG
to the
A, and
be drawn, termin-
AEG
is
constant, at what-
MEN
BOG
6.
be drawn
is
also constant.
three
alti-
in
which the
bi-
263
PeactiCal exercises.
The
?.
points of
inscribed in a circumference.
The
9.
sides of a quadrilateral
triangle perpendiculars be
circle circumscribing a
drawn
given
be in the same
right line.
11. If
we
angle
,,?-...
J.
*V
'
^^^\^
/C
e/ /
Ar~~
EF
/'^^^
^^
^"^v.^^^
-^
until they
meet
struct a parallelogram
with
the
adjacent
'h
on AC,
side
AGHC
parallelogram
12.
The three
common
13.
The
AG
will be
equivalent to the
in a
in
G'
and LD,
this
point.
lines
vertices of a triangle
common
point.
between the
two
last.
first
two points
is
ELEltElfTS OF GEOltii'fftr.
264
15. If
we draw
to a circle
two
se-
sum
of
When
17.
same
point.
p/
circumference.
\n
18.
When
at
common
19.
point.
The sum of
diagonals of a quadrilateral
is
20. If in a triangle
base,
and
also
Prove that
in
ference
fall
sides
is
to the other
sides.
22. If
is
equal to
sum
from
all
right line
sum
we
passing through
of the perpendiculars
PRACTICAL JEXMCISES.
which
fall
the perpendiculars
Prove that
24.
which
Pj]5
equal to the
is
sum
of
side.
if
point of the
first
right line.
25.
lines
vertices of a triangle with the opposite vertices of the equilateral triangles constructed
on the three
sides, intersect
let fall
on
ing circle
is
circle,
plus the
Prove
sum
of the diagonals
is
sum
equal to the
of the squares
Prove that
if,
in a triangle
ABC,
drawn from
'
vertices
we have
OD
OE
OF _
~
ad''"be ''bf
29.
Two
that the
sum
Two
'
80.
Inter-
sect
O,
')
the
quadrilaterals
is
are
equivalent
make equal
other.
12
to the extremities
constant.
when
their
ELEMESftS OS GiJOtfETEf
S()6
GEOMETRICAL
LOOT.
distances of each of
3.
circles
circle.
circle passing
7.
sides of a
tri-
line.
two right
lines shall
be in a given
ratio.
11.
circles, iind
to
be equal.
Draw
a right line
AM,
the circumference
terminating in
;
and divide
N, in such
PRACTICAL EXERCISES.
a manner that
we have
AM = m
A^
points N".
AM
AM
such that
x AN = K^ find the locus
N.
Solve the two preceding problems, substituting for the
line a point
of the points
line
AB
terminating
XT
be equal
AB, m
we have -r-p^ =
A(J
n
AC =
K^
shall
to a
or
AB
^ points C.
draw AO
BAC
that
when
XY is
replaced by a circum-
ference.
each other
formed.
17.
Having given an
sum
same point
the
tangents
BD, BC;
find
the
ELEMENTS OF GEOMETRY.
2fiS
The
locus
DE
a right line
is
per-
9.
AB
22. Let
be a diame-
BO
the secant
BCD, and
CD = BC.
take
-with
circle,
draw
the point
of the point
with
of intersec-
AC, OD.
From any point A
23.
BD
on the diameter
pro-
the perpendicular
AN
24.
of the
hypothenuse
right-angled
ABC,
DOE;
OBE,
OCD
two
BC
of
triangle
draw any
draw the
of the point
these
on
M.
Through a point
point
the
OM
secant
circles
in
which
circles meet.
PRACTICAL EXEECTSES.
26a
ELEMENTS OF aKOMETRT.
270
2.
3.
Tangent
1.
line.
to
two right
lines.
and oirclo.
Passing through a point and tangent to a circle.
6. Tangent to two circles.
Draw in a circle a right line through a given point,
Tangent
4-
to a right line
5-
7.
line.
Describe a
8.
eii'cle
tangent
to a circle
and a right
line
at a given point.
9.
to
point.
11.
intersect
MN,
that
Draw
MAN,
so
MAN,
so
AM = AN.
13.
MA = m
that
-.-Ti.
AiST
14.
be equal to a given
15.
line.
circles, find a
"
PRACTICAL EXERCISES.
2Yl
make a
given angle.
17.
arc
CD
we
shall
18.
have
OM =
PD, PC,
ON.
~p
of
the
angles
to
middle
the
perimeter.
21. Construct a triangle,
and the
ratio
knowing the
sides.
23.
Two
altitude,
mon
point of intersection.
24.
it
with
equivalent triangles.
25. Describe a circle passing
circles.
given
which
circles.
diagonals.
28.
struct
Having given three concentric circumferences, cona triangle similar to a given triangle, whose three
on these circumferences.
-point on an angle, draw a right
Ime so tliat the product of the segments comprised between
the point' and each of the sides of the angle shall be equal
Through a given
to a given square.
ELEMENTS OF GEOMETEY.
272
be
to
m to n.
line.
>
THEEE DIMENSIONS.
THEOREMS.
1.
If a right line
Two
make equal
same plane.
3. If,
in a triedral angle,
lies
opposite the
The three planes perpendicular to the faces of a tridrawn through the three bisectrices of the
plane angles of this triedral angle, intersect in the same
5.
edral angle,
right line.
6.
tri-
line.
triedral
If
Practical exercises.
dicnlar be
drawn
273
9.
two equal
10.
Two
parts.
faces.
tri- rectangular
solid angle,
sum
its
The perpendicular
same
let fall
point.
is
the
mean
inter-
propor-
tlie
two
elemejSTts of
274
When
20.
oeometeY.
tersect a sphere,
is
sum
constant.
we have
In plane geometry,
to
be a
we
satisfies
tions.
may be
a line on a surface.
is
sit-
and the
its
centre
all
given points.
2.
froin three
given points.
3.
given planes.
4.
given planes.
5. Find the locus of points in space equally distant from
two right lines situated on the same plane.
6. Find the locus of points in space equally distant
same plane.
Find the locus of points such that the sum of the
tances of each from two given planes shall be equal
given
dis-
to a
line.
9.
diflFerence of
PRACTICAL EXEEaSES.
275
10. If
two
by
sected
given
lines, find
m to
11.
intersec-
n.
is
of a circumscribing circle.
15.
has for
16.
58
its
The angles
18',
64
8',
82
4',
6 yards
is
The
yards and 5 yards, and its slant height 7 yards find the
convex surface of the frustum, and the volume of tlie frus;
tum.
ELEMENTS OF fi^OMETRT.
276
ArPENDIX TO BOOK
III.
THEOEY OF TRANSVERSALS.
A
of
Transversal
many
is
lines.
THEOREM
If
I.
of a
segments,
and
lie
product of the
to the
Let
ABC
the point
^ the side
it
lar ti-iangles
ADE, EGO,
transversal. Throuffli
C draw CG
AB, and
parallel to
jiroduce
it
until
The
simi-
AD which
= -QQ
gives
AE X GG = GE X AD. (1)
AE
-Qg
The
'
^"'^^'
CF
common
factor
AE
and
X BF.
BD = AD
GGF,
(2)
(2),
BF
X CE.
CG, we have
CF
BD = CG
(1)
similar triangles
FBD,
GF
QO
BF ^ BD
APPENDIX TO BOOK
THEOREM
277
III.
n.
of a
triangle, and, in
the
same right
line.
Let
ABC
and D, E,
taken, that
be the given
AD
we have
CE = BD X CF X AE.
Then
E,
DE
different
AD
X BF' X CE
factors,
(1)
(1)
D,
meet the
= BD X
by
x BF x
line
Dividing equation
mon
triangle,
(2),
BC
in a point F',
theorem,
last
CF' x AE.
(2)
we have
Hence,
a proposition which
is
Hemarl:.
LEMMA
Two
circumferences
I.
if two paral-
line
AM,
JSJV.
ELEMENTS OF GEOMETKr.
278
AMC, BNC
AC_AM
BC~
Hence,
AB,
hence
BN'
AC - BC _ AM -EN
BN
BO
and
But,
BO
AB
AM - BN
BO
BN
'
AM BN,
will also
is
AC = AM
"rn^'
section of the
exterior tangents.
II.
C,
which
radii
common
LEMMA
right line
'
AM, BN,
MN will meet
and , if we draw
in opposite directions, the
the line
of the
AM, BN.
AMC, BNC
tion
AC_AM
CB ~ BN'
APPENDIX TO BOOK
ill.
common
interior tangents.
THEOEEM m.
A,'
R", their
B,
radii
and
let
M, N,
taken
circles,
circles
R, R',
E'
taken two
and two. "We have
circles,
AM_E
BM ~ R"
BP_R'
CP R'"
CN_'Rr
Aisr
member by member, we
have
AM
Hence,
BM
AM
X
X
BP X CN
CP X AN
BP
X R' X R"
R" X R
R' X
ON .= BM
CP x AN.
ELEMENTS OP GEOMETRY.
280
But the
lines
ABC,
angle
extremity
same
AM, BP,
lo the tri-
having a common
are on the
its sides,
sides
the three
with respect
CIST are,
three segments of
first
segments
we conclude
same right
M, N, and
line.
THEOEEM
is
rV.
If the
sides
he intersected hy
product of
ABODE;
gon
let it
by the
mnpqr
transversal
then
An
't
Cm xDq xEt = Bn
X Br X
shall
x Cr x
diagonals to
all
and
be intersected
we
have
Dm
x Eq x At.
of the polygon
The
as cut
triangles
by the
ABC, ACD,
AED
considered separately,
transversal, give
An X Br X Gp = Bn
Ap X Cm xDs Qp
A X D^ X
'
Ei!
X Cr x Ap.
x Dm x As.
Ds X E^' X A;;.
mon
factors,
An X Br
we have
Cm
Dq
x Et
Bn
X Cr x
Dm
Eq
y At.
APPENDIX TO BOOK
THEOREM
281
III.
V.
AE, and
let ah,
AB,
CD
cd be these projections
DF
and
of
BH parallel
The
similar
CDF, ABEL
tlie
draw
to
Ew.
triangles
portion
DF_BH
DC ~ AB'
And
dc
since
= BH,
dc _ ah
DC~AB*
gives dc = DC
DF, and
la
dc
Tlien, if
=^ = m,
which
x m, we
shall
have.
-^ = m, and ah = AB
THEOEEM
x m.
VI.
If the
he cut
have
nx>t
a common
extremity
equal
of
will
he
to the product
all
tJie
others.
{A warped polygon
is
a polygon whose
saine plane.)
o,
p be
ELEMENTS OF GEOMETRY.
282
Project this
transversal plane.
Let
ABCD be
this projection,
and
let
SN
be the
inter-
transTersal
plane.
If
meet
until they
AExBLxCMxDE=:BExCLxDMxAK.
But
AE
and
BE
Im
(1)
same plane,
we
have,
AE = am
We have,
in like
X C
BE =
Jwi
C.
manner,
BL =
5n X
CM=
CO
DE =
<?^
GL = cnx C.
X C";
X C"
DM=
;
(?o
X C".
C".
AE ^ apx
am x
which was
to
in
"X-
CO
dividing both
X dp
= hm X en
members by
C,
C,
X do X ap ;
be demonstrated.
THEOEEM Vn.
ABC,
longations,
six
segments,
BD X CE of three
equal
to the product
AFx
FB, DO,
is
APPENDIX TO BOOK
283
III.
For,
the
ABD,
triangle
AF X EC X DO =
BF X DC X AO. (1)
Likewise,
ADC,
al
cut
Multiplying
AF
and
(1)
common
X
(2),
factors,
BD
triangle
transvers-
BE, gives
AO
OD
pressing
the
by th
X
X
X EC =
BC X AE. (2)
BD
we have
EC = BF
DC
X AE.
THEOEEM Vm.
Reciprocally, if three points F, D, E, in an uneven
number, on the sides of a given triangle ABC, and in an
even numier on their prolongations, are such that the product of the three segments which are not consecutive,
AFx
BD X EC, is equal
to the product
of the three
BC, AE,
right
the
which connect
with
the
For,
if
these points
opposite
wiU meet in
BE,
others,
the
vertices
same point.
the line
AD
does
mon
point of intersection
line
AO, meeting BC
We
shall liave,
by the
D ceding theorem,
AF X BG
But, by hypothesis,
EC = BF X GO X AE.
(1)
in G.
pre-
ELEMENTS OF GEOMETBY.
284
BD
X EC
(1)
and
(2),
AF
Dividing
= BF
DC
X AE.
(2)
]BG_GC
BD ~ DC
EG _BD
^'
DC
GC
G coincided
with D.
Corollm-y.
The
of a triangle
ABC
For
AD
bisectrices
of the angles
ED ^AB
= -r-^
DC AC'
=--=^
same
point.
BAG, we have
and we have,
in
like
manner,
AF
AC CE
AE
.
FB^ EC
Multiplying,
'
EC
AE-
member by member,
we have
BD X AF X CE = 1: or,
DO X FB X AE
BD X AF X CE = DC X FE X AE.
Hence, the bisectrices must meet in a common point.
We might prove, in like manner, that the three altitudes
of a triangle
meet
in a
common
point
and that
this is also
vertices of the
tri-
A line AE
is
and Q, when
II.
'
'
We deduce from
AP_AQ
PB
BQ
AP _ FB
AQ~BQ-
APPENDIX TO BOOE
And
points
the line
PQ
is
and
harmonioally
also divided
at the
A and B.
Q
285
III.
IV. If
we join
and Q.
the point S,
we
shall
have a
sys-
harmonic pencil.
It is evident that
every right
APBQ,
will
pencil.
THEOREM
Every right
SAPBQ,
is
line
IX.
have
MN
For,
through
draw aq
the
parallel to*
point
AQ
we
by the
B
aM x^5
aM.
hence,
tj-ansversal S/>,
X SN"
= MN
x apx^h;
pb
S5
The same
triangle
a'RxhqX^'E =
hence,
'
NR
:jnpY7
aq
NE
=
Sb
1.
x aqx^J,-^
(2)
^
^
ELEMENTS OF GEOMETRY.
286
Comparing
(1)
and
we have
(2),
oR x^lxSN
''l^R"aq" Sb'
But, the line ab being divided harmonically, at the
points J? and
hence,
q,
we have
J)b
_bq
op
aq
'
oM _ oR
DEFINITION.
If
we produce
until they
meet
right line
MN
diagonal
and
the
ABOD
the
opposite
a quadrilateral
sides of
in
is
of the
quadrilateral,
simple
quadrilateral
when united
quad-
to the
DMBIS^, which
rilateral
ABCD
and N, the
is
not
is
called a
complete quadrilateral.
THEOREM
I.
quadrilateral is divided
Let
ABCDMN
beacompleteqnadrilateral
AC,
let
BD, MN, be
its
the diagonal
MN,
example, be cut
harmonically
by
for
the
other
the points
two
at
and
APPENDIX TO BOOK
Q.
DMN,
cut
28T
111.
by the
transversal
ACQ,
gives
QM X NO X DA = QN X CD X AM;
QM^NC^DA
QN^CD^AM =
^'''''^
...
1-
(')
from the
vertices,
in
B, give
PM X NC X DA = PlSr X CD X AM
PM NC DA
,,
pj^^cD^AM^l- ^'^
,
hence,
Comparing
(1)
and
(2)
we
deduce,
PM_QM
PN "
We
onals
might prove, in
AC,
BD is
like
QN"
divided harmonically
GEOMETRY.
ELEMElSfTS OF
1>fi'^
XI.
PBA
OB
For, if we draw
OP, OQ, the figure
forms
cil.
an
the lines
OPBQA
harmonic
pen-
will
by the pencil
hence,
is
The right
line
P, with respect
OQ
is
to the
two right
THEOEEM
XII.
AfrPENBiX TO fiOOE
For,
let
III.
OBQA,
quadrilateral
plete
form an harmonic
the
line
OC
is
pencil, since
PB'C'A'
divided
is
But, every
OC
situated on
is
the point P, with respect to the two right lines Oy, Ox.
We
Scholium.
deduce from
this
Having given a
line, to
right line
AB, and
problem
a point P, on
this
with respect
to
AB.
For
any
as
S,
c/
^
line
SO
will intersect
results evidently
"
AB
This
demonstrated.
13
ELEMENTS OF GEOMETRT".
290
any
XIII.
PAB
secant
he
Q, of the point P, he
circle,
when
the secant
PAB is
is
of the point
to the circle,
is
P with respect
Draw
to
the diameter ah
pendicular to
OM
per-
AB.
PB^QB
PA
QA'
Hence,
-f PA _ QB + QA
PA ~
QA
QB -f QA = AB = PB - AP,
PBjI-PA ^ PBj-PA
PA ~
QA
PE
And,
since
And by
composition,
we have
PB-fPA ^
2PB
we have
PA
_ PA
PA-fQA PQ"
^^
APPENDIX TO BOOK
But, the point
291
III.
And
2PM
PA
2PB
PQ'
PM
PA
PB ~ PQ-
or.
'
Hence,
PQ
We
might prove, in
PM = PB
like
X PA.
P^ X PO = Pa X
P5.
But
PA
PB = Pa
X PJ.
Hence,
PQ
PM = P^
x PO.
PQ_ PO
Or,
P^
The two
~ PM"
triangles PQg',
PMO,
PMO
by
(2)
manner, that
the point
point
is
is
sides, will
is
P with
respect
to ab.
Corollary.
The
is
determined by
the equation
P^ X PO = Pa X
P5.
(2)
But,
P^
= PO -
O^.
(PO - 0^)
Or,
PO = Po'_ W;
PO X 0^ 3= Oa.
if
PO
become equal
to Oj-.
;;
ELEMENTS OF GEOMETRY
292
PO
two points
PO
if
a,
becomes equal
Oa,
to
Oq
it
also
will be equal to
and
also
PO
If
PO =
Oq becomes
O,
is
infinitely great.
THEOEEM
When a point
line
line
of this
ST.
XrV.
Draw
the line
OP, and
OQ X OP = OA
The
line
QN,
deter-
so that
.
perpendicular to OP,
since
We
shall
have then
And
we
since
shall
have
OP x OQ = OA^,
OM x ON" = OA.';
if the line
line will
I.
"We
ST revolve
always
Corollary II.
of two right
is
see,
le found
The
right line
which connects
the poles
APPENDIX TO BOOK
For, from Corollary
section.
]93
III.
I.,
at the
By
THEOREM XV.
If through a point P, taken in the 'plane of a
draio a secant PAB, and the tangents AM,
circle,
BM
points
and B,
we
at the
of the
AM
is
BM is
the tangent
of the point B.
r
It follows
point of intersection
tangents
is
that the
of the two
is
on the line
AB.
AB
point
M, taken without
the circle,
AB
The polar
I.
is
of a
point for
its
vertex.
Corollary II.
ABCD
cle,
line
the polygon
polygon
the
MXPG,
ed by joining the
points
If
circumscribe
cir-
form-
consecutive
gon
ABCD.
ELEMENTS OF GEOMETHY.
294
THEOREM
If,
PAB, PCD
secants
BD,
le
and
points
is
XVI.
N,
tlie
circle, the
AC,
BG, AD,
the lines
the lines
a right
line,
which
is the
Draw
AB
the line
and
reason
CD
MN,
a and
in
MANB,
AB, CD
will
first
CD,
the secants
~~~'"
t)
By
c.
complete quadrilateral
/'^^^'"cf^l^
cutting
at P, a,
the line ac
at P, c
the
therefore,
is,
But
the points
line; hence, the geometrical locus
is
Remark
tlie
point P.
I.
IST
be exterior
to
the
AD,
cir-
then
joining
it
that
tlie
point
i-eason, the
point
is
MN
PN.
MN, PN,
is
for a like
Hence,
the pole
PM.
Remark
MN
is
is
APPENDIX TO BOOK
angle whose vertex
with the
circle will
tangents which
is
at P.
The
295
III.
circumference through
the point P.
THEOEBM
XVII.
in the
same
Produce the three sides BC,
DF, AE, which are not conright line.
by
tri-
angle
the
DCN
we
have, therefore,
by
theorem of
the fundamental
X EM X
QA X KB X
QE
PF =EE x PM
PL = RA X PB
QNxEC xPD=ENxPC
x QF.
x QL.
x QD.
QE
wehave
QA = QF X QD, PF x PD
EB X BC = EE X EA,
PB
X PC,
which
is
are in the
same right
QEP.
ELEMENTS OE GEOMETRY.
296
RemavTc
II.
is
ot"
equal-
when
any of the sides of
the hexagon reduce to zero. But,
ly applicable
must be replaced
by tangents to the
circumference.
From this
many other
rems, which the pupil
We
may
may
result
theo-
If a triangle he inscribed in a
section of the tangents
drawn
same right
THEOEEM
circle, the
points of inter-
XVIII.
the diagonals
wJdch
Let
GHLMNO
join the
we
shall
form an
scribed hexagon
which
line of
is
in-
ABCDEF,
GHLMNO.
of the sides
AB,
designate
BOOK vin.
by R,
will
GM.
29ir
polar lines
point.
11, 'o
are in the
HN, GM, OL
same right
line
will desig-
hence, their
same
:
;
ELEMENTS OF GEOMETEY.
298
APPENDIX TO BOOK
IV.
DEFINITIONS.
I.
A maximum quantity h
same
of the
species
the greatest
minimum,
is
those
all
is
the
maximum among
is
among
the smallest.
minimum among
to a
given
right lines
all
line.
in
perimeter.
Pkoposition
Of
all
triangles
I.
Theoeem.
sides malcing
maximum
is that
side
BAC,
BAD
AC = AD
right
AB
BAC is a
BAC will
if
A
AB
BAD
AC.
DE
AD,
are fo
AC,
is
DE
shorter
or its equal
smaller than
in
BAC,
BAD,
acute or obtuse.
is
BAD
is
BAC.
1-
Pkoposition
The
circle is greater
equal perimeter.
ILTheoeem.
APPENDIX TO BOOK
1.
It
number
at
is,
first,
299
IV.
may be an
infinite
different forms
and
diflferent areas
but
we
There
are,
among
therefore,
may
eter,
2^.
Every
figure
given perimeter
For, let
be maximum.
maximum
which encloses a
area in a
convex.
is
AMBlSr be an enclosed
line not
convex
it
figure
AM'BlSr
rimeter as
if
we
the
greater area.
3-
Let
AMBN
be a
maximum
eter
also
AB
equivalent parts
ANB
tion
for, if
were
about
AB,
so
than
greater
two
the por-
revolves
that
tabes
it
AifEN
AMBN would
not, then,
be
maximum.
It follows, also,
be a
we
AB
maximum
figure,
AN'BN
said, that if
maximum
AMB!N"
also
and
the triangles
ANB, AN'B
not
is
I'ight
angles,
if
we might
so that
are equal.
ANB,
the angles
ANB,
AIST'B are
ELEMENTS OF GEOMETRY.
300
common
AB
But, by this
be augmented
base
variation,
AN, NB, AN', N'B, or the magAPN, NQB, AP'N"', N'Q'B; the
made
N'
the curve
ANB.
Hence,
curve
this
which
in the perimeter;
and
is
on
a semi-circumfer-
is
ence.
into
Pkoposition hi.
Theorem.
For,
if
is
A, had a
it
we
into a circle
B > A.
and a
less perimeter,
which
Theorem.
Peoposition IV.
Every polygon of
sides
AEDCFB
is
absurd.
is
maximum
which contains a
convex.
be a polygon of
m sides,
which con-
AED.
make
AED
around the
the
line
position
AE'DCFB
will
polygon
AD,
AE'D,
If
we
revolve
so that it takes
the
polygon
AEDCFB
the
cannot, therefore,
APPENDIX TO BOOK
maximum among
be
the same
number
all
those of the
Lemma.
ABODE which
Every polygon
may
of sides.
Peoposition V.
angle,
301
IV.
contains a re-entrant
if
he
join
all
line
sum BI
ID
will
We
+ ID =
ABIDE
I,
CD.
ABODE, which
less.
Theorem.
Peojposition VI.
Of all
therefore,
is,
where we have BI
a point
BC +
increase, continu-'
There
ouslj, to infinity.
number of
We
will
sides equal
its
imum among
ber of
1.
let
and
if
angles equal,
its
it
cannot be a max-
num-
sides.
AB <
BO.
Take on
BO
ABODE
the point
has
m sides;
and
M sufficiently near
C
BM.
to
AB'.
that
The
triangle
to the triangle
We
ABM
is
equal
AB'M.
conclude from
might substitute
this, that
for the
we
polygon
ELEMENTS
302
ABODE
-\-
being
and
sides,
only this
angle;
a re-entrant
besides,
BM, we have
than
less
GEOMETEY.
0.?
AB'MCDE,
the polygon
the angle
for,
AB
or
B'MA.
But
this
sides,
ABODE
Hence,
among
same numhei-
enough
greater
take
AB'
angle
also, the
MAB'
polygon
is
M near
MAH be
Take a point
B.
to
= MB,
of sides.
polygon AI^ODII of ?n
B that
than AMC.
Make,
)c
in the
A>
maximum polygon
be the
not
2sides,
could
the angle
angle
MAB' = AMB
equal to
AB'MCDH
for,
the
angles,
right
Peoposition VII.
Of
all the
Theorem.
For,
had a
if
an irregular polygon of
less
number
of sides,
an area
m sides, whose
area
is
A,
B>A
this
we might
polygon of to
transform
sides,
having
would then
APPENDIS TO BOOS:
iiave the
same number of
sides as the
Pjroposition YIII.
is
303
if.
first, witli
a less
absurd.
Thkoeem.
as
an
which
the sides IC, ID would make an
angle equal to two right angles
but this polygon is less than the
regular polygon of 7 sides, and of
irregular polygon of 7 sides, in
sides,
ELEMENTS OF GEOMETRY.
304
APPEiNDIX TO BOOKS
AND
VI.
VII.
REGULAE POLYEDRONS.
COJSrSTKUCTION OF
Peoposition
Peoblem.
I.
its edge, to
or
may be
solved
ABC
be the
successively.
1-
Let
At
edron.
perpendicular
OS
to the
ABC:
plane
AS = AB
the pyramid
and
SABC
be the
will
re-
quired tetraedron.
OA, OB, OC
For, since
SB,
SC
are equally
ABC.
fore the
2.
'Let
pyramid
Construction
ABCD
ABCD
base
is
and therc-
a regular tetraedron.
of the
hexaedron.
On
be a given square.
.
construct
having an altitude
AE
a right
equal to
are
equal squares,
and
AB.
prism
its
solid
other,
each
tliat
the
prism
;:
Appendix to books
and
vi.
S*^-
equilateral triaugle.
On AB
30S
vii.
Hence,
Let
prism
this
AMB be
a given
ABCD
square, erect
this
TS
pendicular
per-
tlie
to its plane,
this
that
T and
S,
OT = OS = AO
so
join,
SABCDT
will
quired.
the
as
AOS
AOD
triangle
right-angled at O, as well
is
the
edges
OD
are
Hence,
AS
AO, OS,
= AD.
we might prove
AOT, BOS, COT,
In like manner
angled triangles
triangle
AOD
&c.,
equal to each
other;
For,
angle
it is
is
DAC,
and
SATC
is
ABCD.
tlie
beino- a
ABCD
common
wi'l coincide
of the second
OB
of the
first
ELEMENTS OF GEOMETRY.
306
two p3'ramids
8
will be identical
SABCDT is
is
solid
a regular octoedron.
Scholium.
AC, BD, TS
are
their
given
Let
regular
ABP, CBP
ABODE
pentagon
be
let
equal to the
angle
ABO
with
angle B, and
inclination of
Form, in
like
K be the mutual
two of these planes.
manner, at the points
let
manner.
like
The plane
plane
BOG,
the plane
to
OBP
will
We
ABOD.
may, then,
&c.,
composed of
each inclined to
K.
its
in the plane
each of the
a convex
othei-
surf'iieo
BPF,
in
to
doing
make
may
the planes
BPF, BPO,
OPB,
is
But
is
at the
such as
is
same time
pf will
be ap-
APPENDIX TO BOOKS
plied to
solid
its
to
AND
VI.
PFG,
will
307
VII.
be found united
planes
PFG, efp^
the
already united
at P,
for,
other the
faces
will
mutually
ing a
Continuing
efp.
efg,
we
thus,
to
two
on
of
its
this
itself;
sur-
themselves
adjust
it
is
all its
each other.
ABC
Let
be one
Construction of the icosaedron.
it is necessarj', in the first place, to form a
faces
solid angle
B'C, equal
to
its
adjacent plane.
ABC, and
For
this pur-
tagon
perpendicular
erect
to
its
= B'C';
join
and the
five
be the required
oblique
hence
all
lines
is
solid angle.
A'B',
A'C,
For, the
&c.,
are
B'C;
',
ELEMENTS OF GEOMETEY.
308
adjacent;
its
&c.,
B',C',
for,
are
is
the
solid
equal
to
formed by
A', each to
Now,
equal each
face
adjacent plane.
its
we make,
if
DEFG,
at the points
to
we
A, B, C, solid angles
have a convex sur-
shall
&c.,
each inclined to
two
surfaces
to the surface
DEFG,
&c.
the inclination
by
this
surface
will
it
has
Proposition
To find
II.
Peoblem.
polyedron.
This inclination
is
deduced
directlj''
APPENDIX TO BOOKS
AND
VI.
tion
edrons
to -which
it is
descriptive geometry,
309
VII.
we determine the
make with each other.
Jn
the tetraedron.
Each
by
find,
it is
these planes
formed by three
solid angle is
therefore necessary to
to,
other
be the
inclination of
In
the
is
right angle.
In
the ootoedron.
Form
the inclination
will
In
In
the icosaedron.
Form
Peoposition
m.
Peoblem.
Having given
the radius
regular polyedron
also
the
may
first
may
ELEMENTS OF GEOMETRY.
310
Let AB be the
and
CD,
pendiculars
the
ED
AB
the per-
let fall
the edge
ad-
be the centres
meet
will
at
problem.
cedilla:
to
to
But,
perpendicular
EO
centre
of the second
first
DE
OA.
hypothenuse
DO
common,
CD,
OC
is
CDE,
the plane
CDE,
is
CDE,
or
CDE
to
the perpen-
CD,
CDE, ABC
ABC. For a
hence,
ABE
to
ABC is
CO,
besides,
the
AB
But,
the plane
ABC;
perpendicular to
pendiculars
ODE, and
CDO
dicular
the
.'if
is
CDE,
the plane
if in
common
CO
is
like reason,
in
in-
per-
EO
is
common
ABC
and
point,
ABE
the apothegm
CD
Let us
now suppose
will
CDO,
the half of
CDO
and
equal for
all
that
its
OC
CDE
CO
edge
hence,
as a radius,
be
from
will
therefore, if
we
de-
APPENDIX TO BOOKS
VI.
AND
311
VII.
ABE
ABC,
will
will
OA, OB
Join
OA, OB,
are equal
since
CA = CB,
two oblique
the
lines
this will
all
same edge
Therefore,
if
OA, we
from the
describe a
of
all
may be
culty,
effected without
as follows:
any
diffi-
Having given
apothegm.
Find,
CD
by the
be
pre-
two
edron, and
make
the angle
poly-
CDE
to
Take
DE
CD
and
point 0,
in the polyedron.
On
the prolongation of
DC,
take
CA
and
OA will
this polyedron.
Scholium.
tions
miny
consequences.
ELEMENTS OF GEOMETRY.
313
polyedron, which
is
at the
in-
The
solidity of a regular
surface multiplied
polyedron
is
equal to
its
in-
scribed sphere.
3.
Two
tional
and
name
are sim-
homologous dimensions are proporhence, the radii of the inscribed and circumscribed
ilar solids,
their
4. If
planes
many
edron has
faces.
THE END.