Beruflich Dokumente
Kultur Dokumente
.-
.-
..
-.-,.
. - :-.
..
. -
. --. -. ...
.< -
.,
.:
- . -. - .-
..:,
I..
Geometry
Unit 16
Geometry
Teacher's Commentary, Part I1
Edwin C. Douglas
Donald E.Richmond
Charles E.Rickarr
Henry Swain
Robert J. Walker
publishers.
Below are listed t h e names of all those who p a r t i c i p a t e d i n any of the writing sessions
a t which the following SMSG t e x t s were prepared:
.
.
Contents
Page
255
Chapter 12
.........
OF POLYGONAL REQIONS . . . . . . .
SIMILARITY . . . . . . . . . , . . . . .
Chapter 13
329
Chapter 14
CHARACTERIZATION OF SETS.
Chapter 15
Chapter 16
VOLUMESOFSOLIDS
Chapter 17
Chapter 11
AREAS
..........
CONSTRUCTIONS
......
+
+ .
.......
TALKS TO TEACHRRS
.................
Congrmence. and Equivalence . . . . . . .
.............
Introduction to Non-Euclidean Oeometrg . . . . . . .
The Concept of Congruence
................
......................
Miniature Oeometries
h a . *
ix
293
371
411
433
459
Chapter 13
S e t 13-4a
Chapter 1 4
14-1
Chapter 15
15-1
15-2
15-3
15-4
15-5
Chapter 16
Set
16-1
16-2
16-3
16-4
16-5
Chapter 17
17-3
17-4
17- 5
17-6
17-7
17-8
17-9
17-10
17-12
17-13
17-14
C h a p t e r 11
AREAS
OF POLYGONAL REGIONS
317
Thus our d e f i n i t i o n allows a polygonal region t o be a disconnected portion of the plane, and the boundary of a polygonal region need not be a single polygon. T h i s causes no
trouble - it j u s t means t h a t our theory has somewhat broader
coverage than our intuition suggests
In light of t h i s you w i l l note that t h e idea o f polygon
is n o t emphasized as s t r o n g l y in o u r t e x t as in the conventional treatment. When the l a t t e r refers t o "area of a polygon" it means the area of the polygonal region c o n s i s t i n g of
t h e polygon and i t s Interior - which is n o t explicitly s t a t e d
or clarified. We avoid the d i f f i c u l t y by defining polygonal
region independently of polygon.
Note that in t h e figures on page 256 it is intuitively
319
c l e a r t h a t t h e areas o f the regions can be found by d i v i d i n g
them up into smaller triangular r e g i o n s , and that the area
of' the t o t a l region is Independent of the manner in which
the triangular regions are formed.
Sometimes in a mathematical d i s c u s s i o n we give an
explicit d e f i n i t i o n of area f o r a c e r t a i n t y p e of f i g u r e .
For example, the area of a rectangle is the number of unit
squares i n t o which the corresponding rectangular region can
be separated. This Zs a difficult thing to do in general
terms f o r a wide v a r i e t y of figures. Thus the suggested
d e f i n i t i o n of area of a rectangle (rectangular region) is
applicable only if the rectangle has sides whose l e n g t h s
a r e i n t e g e r s . Literally how many unit squares are contained
In a rectangular reglon whose dimensions a r e 1
and
The answer is none! C l e a r l y the suggested definition must
be modified f o r a rectangle with r a t i o n a l dimensions. To
formulate a suitable definition when the dimensions a r e
irrational numbers, say f i and
is still more cornplic a t e d and involves the concept of l i m i t s .
Incidentally,
even when this is done, it would not be trivial t o p r o v e
t h a t t h e area o f such a rectangle is given by the f a m i l i a r
formula. (FOP example, s e e t h e Talk on A r e a . )
Furthermore,
;?
n,
[pages 320-3221
Since we are introducing a block of postulates concerni n g area, t h i s may be a good time t o remind your atudents o f
the s i ~ i f i c a n c eand purpose of postulates. They are precise
formulations of the basic intuitive Judgments suggested by
experience, from which we derive more complex p r i n c i p l e s by
deductive reasoning.
To make P o s t u l a t e s 17, 18 and 19 s f g n i f i c a n t f o r t h e
students, discuss the measuring process f o r area concretely,
using sfmple figures lfke rectangles o r right t r i a n g l e s w i t h
integral o r rational dimensions. Have them subdivide regions
i n t o congruent unit squarea, so that the student gets the
idea that every "figure" has a uniquely determined area
number. Then present the postulates as simple properties
of the area number which are verifiable concretely i n
diagrams.
--
324 2.
3.
825square feet.
a.
b.
4.
1800 tilea.
5.
325 * 6 .
a.
b.
c.
True.
By Postulate 17.
d.
True.
By
Postulate 18.
e.
g.
h.
True.
7.
a.
4.
Since f i and
are irrational, the
base and altitude in each case do not have a
e. and f.
c.
d.
The computation is not affected, since t h e additional f o u r edges, three faces, and one vertex results
In zero being added to the t o t a l .
328
No change.
[pages 325-3281
Problem S e t 11-2
333
1.
a,
Area A A B C =
b.
84=$,-25h.
=84.
h = % . 18
2.
14.4
4,
and
P'.7-24
24.
A DQB,
s i n c e C Q = DQ and the triangles have the same altitude, the perpendicular segment
from B to CD. Area A AQC = Area A DQA, s i n c e
CQ = DQ and the triangles have the same a l t i t u d e , the
perpendicular aegnent from A to E. Adding, we have
Area
ABD.
Alternate Proof: Draw
ABC = Area
1kB
1 z.
and DF
Then A CEQ = A DFQ by A . A . S . , and CE = DF. S i n c e
A ABC and
ABD have 'the same base and t h e i r a1titudes
have equal lengths, the triangles have equal areas.
[pages 328-333
d.
1
9 s .
z.
a.
AE
[pages 334-3351
A BCE
(z) and
335
11. b.
336 1 2 .
(z
c.
The
FD)
1
1
p(area
A BCE) since FD = P
C and
the two triangles have equal altitudes. Therefore,
area parallelogram ABCD = 2(area A BCE)
= 4 (area A CFD) .
Area A CFD =
Area
A BCE
AGB = 30.
=
3%.1
13%
Given:
Figure
Prove:
A r e a of
w e have
AGECD,
square rods
ABCD
ABCD
with
1
=
The area of
136;.
- AC
1 DB.
+CmDB.
14.
l e n g t h s o f its diagonals.
15.
12.
16.
4 d 1 = 150 = bh = 12b;
2
area is
*17,
Yes,
150;
therefore
the l e n g t h o f a s i d e is
1
b = 12T.
The
l*
w i t h each
replaced by
"-" .
[pages 335-3361
area of the b i g t r i a n g i e ,
by Theorem 11-5.
19.
a.
Area A ABG
Area A BDG.
ing
=
b.
BAD
20.
C,
A3
c.
ABN
and
AD6
would
338 *22.
But
b = c
c)
d)
d,
.
so by s u b t r a c t i o n ,
be t h e p o l n t a t which
i n t e r s e c t s RS.
Then h ARM E h CSM by A . S . A . , so AM = CM. Therefore
M is the mid-point o f diagonal AC
Let
-.
339
Problem -S e t ll-3a
AC
Jm.
He is
miles from
h i s starting p o i n t .
( ~ e t w e e n 10.4 and
10.5 miles . )
[pages 3 38- 3 41 1
341
2.
serves our p u r p o s e
AACB
here .
(A%)
AB
m.
4[(7+
2
( 6 ) = 157.
= (11)
He is approximately 1 2 . 5
m i l e s from h i s s t a r t i n g
point.
3.
(612
(6)'
x2 .
7 2 = x2 .
6 f i = X,
He is approximately 8.5
miles f r o m h i s s t a r t i n g
point.
4.
In r i g h t
nc
AD
342
6.
1_
X
/
'
( ~ 0= )( 4~) '
i . In r i g h t
ABC,
m =4 f
169.
AD = 13,
in A ARE,
Or,
AE = 5. I n A AED,
=
2 = ( 4 ) 2 -t- ( 3 )2 = 16 4- 9 = 25.
(AD)' = (512 + (1212 = 25 + 144 = 169.
(AE)
13.
2
2 2
a.
It is sufficient t o show t h a t ( m - n )
+ (2m)2 = (rn 2 +4n2 ) 2 . (m2 - n 2 ) 2 + (-l2
4
= m4 - 2 m2n 2 + n + 4 m2n 2 = m + 2m2n2 + n
b.
m = 2,
m = 3
n
n
=
=
m = 3, n =
rn = 4, n =
m
m
- 4,
n 4, n
=
( 3 , 4,
5).
25,
( 9 , 1 2 , 15)
and (15, 2 0 ,
[pages 341-3421
b.
AC =
&.
2
hc2 = 13
x2
also
1 5 ~- (14
hc2
AY
3.
169 - x2;
x12
= 225
196
28x - x 2 .
Eliminating hc 2.
169 - x 2 = 29 + 2 8 ~ x 2
- .
14.12 = 15ha
1
l l y = ha
@
meet AB at D.
*lo.
Let
C )
CD
hc 2 = 1 4 ~- x2 = 196
2
h c 2 = 18 - ( 6
also
Eliminating
196
=
=
x12
x2
BD
= x.
x2,
=
324 - 36
12x
hc 2.
x 2 = 288
Let
12x
2
7-3.
(approximately
[pages 342-3431
11.71.)
x2
343
11.
pzJ
60
8
13.
AB = 13.
1
The area of A ABC = $.13h = 2*5-12.
60
Hence 13h = 5.12 and
h =
m =4.
344
14.
AB = 17.
1
1
The area of A ABC = =-lh
= 2*15*8.
120 T17. 1
Hence l 7 h c 15.8 and
h = T =
Hence,
1
ph,
and
A liBC'
h =
c =
and
A ABS
@PC
= Area
( ~ r e aA ABS
6n2
17. Since
4n2
&?*
4-
= 2n
ab
A AS&)
A
BAC =
2nfi
But L BAC I s
is complementary
ABC = 180, then
Area
plane BSA,
%. SB = SA
and % I
(they are corresponding
medians of congruent
equilateral
-
triangles)
SR is a median to the
base of i s o s c e l e s A SBA
and hence
im.
[pages 344-3451
A BED.
SALE.
CD
rnL EBD.
1
.
1
pb,
A A3C
is a median of i s o s c e l e s
E. In the same
way,
2n &)
ABC E ABEI),
ABC
h =
345 *18. a.
n2 .
6n2 .
Area
Area
1
2
F(rn4m)
= m .
But
Therefore,
1.
2
3.
4.
5.
*19.
By Pythagorean Theorern,
AC =
Given.
Definition o f mid-point
Pythagorean Theorem.
Definition o f mid-point.
Pythagorean Theorem.
n, T h e r e f o r e
0 and BD = 1 -t n. Hence,
AD)^ = 1 + (i + f i 1 2 = 4 + 2 f i
CD =
Since
=
AD = J4
Then
CD,
AC =
45.
Then
JF.
m l ADC =
rnL
CAD.
2 ( 4 ADC) = 4 5 ,
But
and
~LADC
4- mL CAD
ADC
24.
mi DAB = 67T.
346
Restatement:
Given
AB = c
A ABC
and
with mL C = 9 0 ,
BC = a.
(1) If rnL A = 30 and
rnL 9 = 6 0 , t h e n
c = 2a.
then
rnL B
mi
=
A = 30
and
60.
[pages 345-346
E,opposite
the
30 angle is t h e s h o r t e r l e g , s i n c e mL A < mL B. B u t
before we had proved this inequality t h e r e was s t i l l t h e
possibility that AC was t h e longer l e g .
Since we know t h a t AC > BC it seems n a t u r a l to derive
their exact r e l a t i o n s h i p . By t h e Pythagorean Theorem we have
2
2
2
(AC) = c - a ,
0
Theref o r e ,
AC
or
3 46
Theorem 11-10.
he Isosceles R i g h t Triangle he or em. )
A r i g h t t r i a n g l e is isosceles if and only if the hypotenuse
is f i times as long as a l e g .
Restatement: Given A ABC
w i t h mL C = 90, AB = c and
BC
= a.
(1)
(2)
/;;;;;;;;
If c = a f i , then
A A3C is i s o s c e l e s .
t h e nA ABC
If
c = a I s ias o s c e l e s , A
Proof:
(AC ) = a
AC
2,
a,
AB
the a l t i t u d e I s
z2 f i
F2 a .
--
2.
Draw
CD
1 E.
Then AD = DB
AB = 6 6
= 3
347
3.
Let
( 2 x 1 ~ x2 = 75.
3x2
-- 75.
=
5.
[pages 346-347 1
B
S i n c e the
By Theorem 11-9, AC =
since
(AC)~
h2 = s 2
s2
h2 = s 2 - T
m
from which
Since
Then
B = 60,
3; 2;
a.A
Yea.
200
$base = 10,
Area l a
9.
altitude = 1 0 6 .
9 a s e = 12,
h - 12.
b.
91a s e = 12,
h = 4fi.
inches
= 10fi
square Inches
a.
c.
10 f i inches long.
$base = 10 fi, a l t i t u d e
Area is
c.
side is
6
3,
Area is
b.
and DF = 23 .
then r n L D = 60,
AF =
a = 10
7.
(BC)* = (AB)2,
($1 +
we have,
5.
Area is
Area is
144
square inches.
4 8 a square
9 a s e = 12,
inches.
h = 1 2 n . Area is 1 4 4 6 square
11.
FB=3; HF=3fij
AH=6fi;
AF=3&;
mL ABF = 90;
ABH = 90; rnL H F B = 9 0 ;
mL BHA = m L BAH = 45.
rnL
*12.
rnL HBF
= 60;
CD be the altitude to
Let
E.
L e t AD = x, CH = h ,
BC = a, DB = y. In 30' 60'
right A ACD,
h = ?1* 4 = 2, x = 2 0 .
Therefore
=D. In
y = 3
NO,
2 f i
D
\
A DBC,
right
( n 1 ~ = 7 .
fl.
since
(412
3 f i
a 2 = h 2 + y* = 4 +
fi12
+ (3nlP.
[pages 348-3491
*13.
CD
be the perpendicular
C to AB. L e t CD = h,
BD = r, BC = a.
I n 45' - 45' - go0 A ACD,
Let
from
h = AD
= I n - 1 0= 5 G ,
r = AD - 3 = 5 f i - 3.
In right A BDC,
2
as = r c h2 = ( 5 f i - 312
= 50
=
109
3 0 a + 9
45O
-L-1
3
0
0
+ (5fi)2.
50
3 0 n .
BC
is approximately
1.
Aright
DFB and CFA
triangles.
are
1.
Given.
8 -2.
24.
2.
FD = FC.
DB = CA.
2.
Given.
3.
4.
5.
ARDBZAFCA.
3.
4.
Bypotenwe-Leg Theorem.
Corresponding parts.
Definition of isosceles
triangle.
FB
= FA.
FA3
I s isosceles
1.
2.
AE=BF.
EF
3.
AF
FE.
BE.
4.
DF
CE.
5.
A A P D and A BEC
are right triangles.
6.
AAFDZABEC.
5.
1.
2
3.
Given.
Identity.
Addition of Steps 1
and 2.
4.
5.
Given.
6,
7.
8.
Hypotenuse-Leg Theorem.
Corresponding parts.
Theorem4-5.
Olven.
350
h =
A,
?2
Substituting,
351
18. a.
19.
Area B ABC =
JT.
c.
b,
16a.
Let
g(5~5)= &-.
$0.
be the length of a s i d e
4JT = 9 n *
20.
Let
2
be the length of a s i d e .
$-A=
21.
16z.
Therefore h PAC
Area
FAC =
[pages 350-3511
351
23.
CE 11 K,
making
e q u i l a t e r a l A EBC wlth
s i d e of 8, The altitude
is 4
Since AB = 12,
AE-4
and D C = 4 .
Hence, area of trapezoid
Make
A.
ABCD = $ ( h a ) ( 1 6 ) =
24.
snn.
Draw a l t i t u d e s DE and
CF. Since C B = 4 , F B = 2
and CF = 2
then
45b/D
-/b
D E = 2&
and A E = 2 f i ,
2
5 E
s o AB = 7 + 2 6
Therefore, Area of AECD = $(26)(12
= 6 + 12JX
a,
352 "25.
1 plane
Since
4 CAG
45,
E,
CG = AG = 6 .
and
Also,
66
2
2 f i )
I&.
and CG
is an i s o s c e l e s right triangle,
then
s o ' A CAG
@X
AC =
6&.
In A ACD,
6&
DC = 4 f i
AD = 2&,
so by Pythagorean Theorem,
In A AGD, AG = 6 , AD = 2 6 , s o
1
DO = 2 n . Therefore DG = FC,
so mL DCG = 30,
and 4 CDG = 60. Hence, rnL F-AB-E = 60.
AC
+26. a.
In right P A D M ,
DM=%,
right A AMN,
Pythagoras ,
(NPl12 =
b.
AN
s.
so
A M = q e .
In
By the Theorem of
($a)*
- (Zl2.Hence,
NM = f i e.
by Hypotenuse-Leg, and t h e r e f o r e
HC = HD. Then H must l i e on t h e perpendicular
b i s e c t o r of
Since i n an equilateral triangle
AAHC EAAHD
z.
z.
[pages 351-3521
BH = ,
Hence
so
BH
AH)^
353
27.
YA 1
Hence,
But BM
= AM =
fl
-5 e .
Finally, in
(m12-
( B H ) =~
fi
3
FA1
f9
i e.
A ABH,
2
e
=$e2.
AH =
and
because of the given square and
rectangle. By d e f i n i t i o n
YAD is the p l a n e angle of
X-AB-E
and'hence 4 YAD = 6 0 . By definition of
projection YD
E and hence 4 ADY = 90. Then
AYD = 30 and AD = $ 4 ~ . Therefore area ABCD
-I
12
ayes
mn
18.
353
k = 4:
smaller squares,
we take one of them, and divide it i n t o 4 squares. Instead
of having 4 squares f r o m the f i r s t d i v i s i o n we have only
t h r e e , and now have 4 add1 tional ones g i v i n g a total of 7 .
Since we know that k = 6 , k = 7, and k = 8 a r e a c e p t able, and t h a t we can g e t k + 3 squares from any d i v i s i o n ,
we can form the following sequences:
A f t e r d i v i d i n g the o r i g i n a l square i n t o
Hence a l l
2 6 are acceptable.
Review Problems
four.
12. This may be found by f i r s t showing that the area
of t h e triangle is 36.
10 miles.
Then
(2n)'
n2
+ 62
and
n = 2 6 ,
so
2n
2n.
=
4a.
[pages 353-3541
b-a
1
T(b
;be.
3a)(c
'la).
13.
14.
( e r n 2 = 2e2.
w area
0,
the t ~ i m g l eis
e2,
Alternate solution:
The
five triangles in the
drawing are all congruent,
so by P o s t u l a t e 18 all
have t h e same area.
Therefore, by P o s t u l a t e 19,
area BCDE = 4 area A ABC
355 *15. L e t
ABC be t h e given
triangle and ABt C I t s
1.
=I 1LB'C,
TA
1.
and
55
2.
3.
4.
1Em
AABtBEACBrB.
AB4 and
A AB1C is i s o s c e l e s .
BX is an altitude of
CB1
A ABC;
B t X is
2.
3,
Definition of proj e c t i o n . D e f i n i t i o n of
a line perpendicular to
a plane.
Hypotenuse-Leg Theorem.
Corresponding p a r t s and
Definition of I s o s c e l e s .
4.
5.
7.
8.
Theorem 11-2.
an a l t i t u d e of
A AB'G.
5.
mLBXB1 = 6 0 ,
7.
B'X = $ 3 ~ .
8.
Area
=
bABtC
Area
A ABC.
E
\
B
-
+(AX)
= +(XB
AX= XB
Since XB
written
AX
AX
CD.
m.
*18,
AC = m
AG =
0 = 10n.
15.
-.-
1 .
2.
3.
I
A.S.A.
Corresponding parts
Given area of the
square.
4.
5.
Pythagorean Theorem.
b.
d.
There are
42
10 half squares
14 half squares
17
10*10= 50;
$-14-7 = 49.
A l e g of the f i r s t I s
I l l u s t r a t i v e T e a t Item f o r Chapter 11
7
A.
Area Formulas ,
-
1.
2.
n.
20.
Find I t s area.
Find I t s s i d e .
4.
5.
6.
In t h e f i g u r e
and
WZ = X Z .
and YZ
area of
7.
= 12.
WY
WX =
XY
8
Find t h e
WZXY.
RSTV is a parallelogram.
Tf the small l e t t e r s in
the drawing represent
lengths, give the area of:
a.
Parallelogram
b.
ASTU.
RSTV.
Quadrilateral VRUT.
8.
9.
c
R
c,
12,
r
U
B.
Given:
is a trapezoid.
AC and
ABCD
Diagonals
i n t e r s e c t at 0.
Prove: A r e a A AOD
2.
= Area
b BOC
In t h i s figure
PQRS is a
parallelogram with PT = TQ
a.
Parallelogram
SRQP
and
Parallelogram
A MTR.
A
e.
STR
A MTR
and
SPR.
and A RQT.
Pythagorean Theorem.
1.
2.
<-0
A
4.
/-
E.
.
n. Find
2,
its side.
3.
4.
Miscellaneous Problems.
1.
is a t r a p e z o i d .
CD = 1 and AB = 5.
What I s the area of
the trapezoid?
ABCD
2.
3,
ABCD
is a rhombus wl th
AC = 24
and
AB = 20.
a.
Compute its a r e a .
b.
Compute t h e length
of the a l t i t u d e to
DC
/mc
4.
ABCD
is a pa~allelogram
with altitude E. Find
the area of the parallelogram if:
a.
AB=+
b.
A B = 10, A D = 4,
m L A = 30.
and D E = % .
g",
12",
r
L
and
30'.
Answers
3.
ab
4.
Let
a(c
a),
or
ac
a(b
- a),
or
ab
ac
3a
a2.
the
3a2 = 147
a2 = 49
a
The altitude is
6.
7.
WP
7.
8.
a.
ad.
c.
+(a+c).
mh
tI
b,
9.
Area
Area
ABCD =
Area
ABCD = 13%.
165
+
+
1.
Area DFEC
B.
1
$(bl
34
13% 1
b2).
Area AGB
30
- Area CEB.
-
square rods.
2.
a.
DC
A BOC .
b.
A SW.
A MTR.
Area
A PNS
d.
Area
A STR
= Area
e.
Area
A MTR
34.
Area A
MTR .
A SPR.
4 Area h RQT.
C.
1.
20 feet.
2.
10 miles.
(see ffgure at r l g h t )
AC
20.
EC = 25.
AB
a.
25 and
CB
7.
6 n .
b.
12.
1.
30.
43.
(AC =13.)
a.
384.
( s e e figure at right)
b.
19.2
(384 i 20.)
54.
Chapter 12
SIMILARITY
5 =z.
--
Problem S e t 12-1
7a = 3b.
4x
b.
3.
6g=20.
c.
-32 -
C .
65 .
T
?*
dm
33
T
.
c.
a==.
d.
a
2 and T
a =T
x.
?;;='5
a
6
x
5
7 and b
9 and
5
7.
T.
6bc
22bd
a + b
+ 2
x + 3
=
1,
and
and
'5
7' 4 - /
3
7 4.
1, T
1,
and
c=4
b -+ a
a
and
7 4.
g?
a - b
-==.
21bd
12cd
=
~
2
x - 3
+y
= -*
a - c = -3
T*
b - a = -2
a
-5'
C
[pages 361-363 3
363
7.
10.
36411.
12.
and
d.
and
i.
and
1.
and
f.
and
h.
and
h.
and
e,
and
g.
and
g.
and
p=18;
are correct.
q = 24;
t=70.
a.
G.M. = 6 ,
(6.000);
A.M.
b.
G.M.=6fi
(8.484);
A.M.
=9.0.
c.
Q.M. = 4 f i
(8.944);
A.M.
= 9.0.
d.
G.M.
(6.928);
A.M.
13.0.
e.
G.M.
(2.449);
=6,
A.M.
2.5,
4fi
6.5.
[pages 363-3641
365
Notice
v e r t i c e s is
triangles:
fL@;ure, the
--
366
367
1.
2.
3.
AC
.DE
a.
AB=r.
b.
AB EF
B C = r *
c.
AC=
a.
A B DE-BC
= r .
e.
BC=-. AC EF
f.
AC=-.
BC DF
EF'
a,
b;
3 = 48 = 6f ; 2 .
~
a,
d;
3 = r42 = ,6.
g
b,
d; =,
g6
DF .AB
12
m.
2
1.6
7.5 = T*
h =
mqA*
6.
The height of the o b j e c t i n the enlargement is
4.
6 inches.
Yes.
(1)
L A = L A ~ L, B E L B I , L c P I L C I
(2)
-,
A'B'
A'C*
-.BICt
[pages 365-367 1
and
367
5.
Given: A ABC; D, E, F
t h e mid-points of the sides
- AB, BC, C A respectively.
P r o v e : A EFD - A ABC.
Proof: By Theorem 9-22,
1
ED
FD
= $B,
FE
and
1
+,
ED I ( E ,
DBEF a r e
parallelograms. By Theorem 9-16, L FDE 3 BCA ,
L DEF ZL CAB, 1 EFD % L ABC; s i n c e we have also
proved above that ED = FE = m,
FD A EFD A ABC by
FDEC,
ADEF,
.
I
d e f i n i t i o n of similarity.
368
Ipages
367-
369 1
he Parallel P r o j e c t i o n Theorem. )
Given two transversals TI and T2 intersecting three
parallel lines LI, L2, L3 in p o i n t s A, B, and C
and A , B ' , and C 1 respectively. If B is between
A and C then B 1 is between A 1 and C
[pages 369-3701
5.
372 7.
No.
a.
g #%.
m.
By Theorem 12-1, CA = CB
Then
CA - l = CCBp - 1 .
m
or
CA - CD
CB - CF
C D =CF
The refore
[pages 370-3721
372
b.
Then
'
or
CD+DA
DA
Theref ore,
CF-tFB
=r-
CA
CB
m = m*
c
By Theorem 12-1, CA
_- z
CB .
9.
m u s t be
8 or 11.
1.
Given.
2.
Theorem 12-1
3.
F r o m S t e p 2.
4.
Theorem 12-2.
373
Theorem 12-1,
from which
AC
CD
BC =
DG
AB
=
Similarly, in A DCF,
Hence,
z.
we
-7
UL
E
.
alternate method of
PI
proof might u s e an auxiliary
l i n e CW as shown at t h e
C*
@
right, or a line DR 11 AC
(An
-+--/-
\IF
\
as shown here .)
2 , b t I:
13.
Since
--
80 feet.
AB
Similarly,
1 1 ~
#
BC
Lot 11:
0 .A = OB
~ i5jl
160 f e e t .
h t 111: 120 f e e t .
m.
11
YZ
mplles
03
OC
rn
nz*
=
Hence,
by Theorem 12-2.
374 4 .
so
and x 2 = 1 8 .
The width of the card should be
3 fi inches.
z=3
a or
374-378
--
Problem S e t 12-3b
379 1.
a,
2.
The A . A . A .
c,
d.
No.
c.
No.
Yes.
d.
Yes.
. S .S .S .
Not similar.
A.A.A.
Similar.
S.S.S.
Similar.
A.A.
o r S.A.S.
[pages 374-3801
A.A.A.
or S . A . S .
380 5.
6.
8.
a.
LAXC
b.
LACX.
c.
AXC,
or
LBXC.
or
XG=T.
or
X C = F ,
CXB.
No.
c.
d.
ABC * d T S R .
A ABC
Since
382
9.
is between
BD = 3
BL
or
a.
b.
BD
DL
B
4
=.
and
= 5BL.
r x = s , x = - s.
r
x = mp.
e.
Part
b.
f.
Part
a.
g.
No.
L are
and D. From
at
[pages 380-3823
Then
D,
have
-.
DL+BL = 4 + 1
t h i s can be written
382
10.
OB
OX
Theref ore O,B,
=
rm'
OD
Therefore O~
OX
m.
OB
OD
O,B,=m-
ABC*ADRB,
ARSB-ADST.
383
e.
1.
ABRQ
is a parallelo-
1.
Given.
qBHF.
2.
3
Vertical angles.
Definition of a
parallelogram.
Alternate i n t e r i o r
angles.
gram,
2.
L Q3.A
AQII5.
A.A.
Definition of simllar
triangles.
Clearing of fractions
14.
a . and b. L e t a, 2a, ha
stand f o r the lengths
aa shown in the figure.
Then it can e a s i l y be
shown f o r each pair of
triangles mentioned that
t h e S .A .S Similarity
Theorem applies.
38 3
. L ADQ
C,
15.
C,
BE
Let
CD
=,
CA
then CD
CA
by substitution.
CD =
*17. a.
BY an exactly
CD'
CA
B.
Therefore
E be t h e p o i n t
on the ray opposite to
-3
AB such that AE = y.
Then A AEC ia equll a t e r a l , EC
y. In
the e lmilar triangles
ECB and Am,
EC - EB
Let
7m - BJ Or
x2 = = ,
f
Dividing by
y,
=l+S.
we get
1
-1Z = -Y1 + -,
X
b.
[pages 383-3841
Given.
2.
Given
and
are medians.
3.
S t e p s 1 and 2, and
6.
substitution.
S . S . S . Similarity.
Derinitlon of similar
triangles.
Step 1 and Theorem 12-4.
1.
RA 1 E ,
4.
5.
1.
2.
1y
is the complement of L x.
L y is the complement of
R.
2.
3.
.- -
angles
Given RH
AF, and
Corollary $-13-2.
Complements of the same
angle are congruent.
4.
LB=LRHA*
4.
R H L and
~ mlz.
5.
A HRA * A BAF.
-KR
= - HA
3A
BF'
5.
A.A.
6.
Definition of similar
6,
386 20.
L&
7.
HRoBF =BA*HA.
a.
No.
b.
B i s e c t XI,PB1,
mid-points
Corollary.
triangles
Clearing of fractions
an step 6,
etc.,
PA2
"'
m q = YPBp
B;
common to triangles
AIPBl and
2.
L AIPBl
A2PB2.
is
These
r a t i o as the o t h e r corresponding s i d e s .
( pages 385-386 ]
386
Not only
d.
and
s i d e s of triangles
the r a t i o
A A2B?*
Theorem.
2: 1
AIBI,
but o t h e r corresponding
are in
A AIBIDI-
. Similarity
e.
m,
m-
~FJ
RX
= QX
m e Therefore
SO
3~
.U
m,
TX
(a)'
(TX)*, and
since b o t h QX and TX a r e p o s i t i v e .
L XQR S i L XTS and L RXQ Cj: SXT ( d e f i n i t i o n of similar
t r i a n g l e s ) , so A Q X R = A TXS by A . S . A . Therefore
QR = TS.
QX =
TX,
mL
1.
AWL=.
II
is a square.
BFRQ
2.
LABQgLWELMFR.
3,
Let
mLA = a
rnL M
and
1.
Given.
2.
3.
4.
Thus, mL FRM = a
and mL AQB = m.
5.
Also,
4 WQR
= a
4.
Corollary 9-13-2.
5.
dWR&
m.
=
and
7.
A m p - A RFMcAQWR.16.
AB
AB
BQ
=
and =
8.
A B - W R = Q W * B Q and
6.
m.
A.A.A.
D e I i n l l i o n a f slmllar
triangles
Clearfng of fractions
A B d F M = RFmBQ.
23.
AF = AB
TI$
AAW
BF
m.
we know
LF
Q and
m ;F'B
FW
AF
Then
= = m = Q H 0
A130
A HXQ
by S . A . S .
Sfnce A
ABF
.v
h XWR
then
Lx
XR = X
- W T ( * m ~ A H P = ~ X e and
R
m
nW- E
P
by A . A ,
so
and
XQR-AAHF
n.
Then RQ = XR
A similar proof
388
25.
26.
389
27.
L e t A ABIC
False.
A E
=1
L A,
and A AB2C
CB1 = CB2,
The triangles
*28.
A7B'Cf
Construct
and
A AIBIC1
b ABIC.
s a t i s f y the statements
AB2C
2. A ABC
b.
False.
.,
i\B
m
= BCm
since
m~ B
+ m~
FDA.
hypothesis is true if X is e i t h e r E
The conclusion is f a l s e I f X is F.
390 * 2 9 .
AC = AC,
be such that
In similar
ACG
and
ABC
AEF,
and
EDC,
a
- =+ b
a
X
3
= E.
F.
3'
[pages 388-390 )
or
The
29'3"
from
390 *30,
A C E B - A AEF since A x YL y ( a l t e r n a t e i n t e r i o r
H
*
angle8 of parallel lines BC and AD) and
EF = FA
L PEA
BEC ( v e r t i c a l a n g l e s ) ; therefore EB BC
AE
=
A l s o , A CEG - A A E 9 s i n c e L ABE
L CGE
m.
CEG 2
L AEB
(vertical
EB S i n c e in each case we
angles); we g e t BA = AE = E.
have AE as one of t h e f r a c t i o n s , we also have EF
EB
*31.
Since
C,
AX
A DAX
Similarly, s i n c e
But
4+
CZ
-A
and
DBY
C,
11 BY, A
CEZ
DA
'EB
AX
m.
E'
- -
-6 BEY and EC
CZ .
W
*.
m * EB'
391 ' 3 2 .
a.
In rlght A A X E
FXC a
XAE
CXP,
AC
11
DE
%$
11 XZ.
and
L EXA,
L XCF (L a ) .
hence L
L a I s a complement of
L C . L b is a complement of L c . Hence
Hence
LaELbMLXAE.
A BFC
BP
Bier
b.
and
ADC
AD
E'
Since
BE
FE
BF
Case (1).
392
P r o o f : L e t CD be t h e altitude from C t o E, as in
Theorem 12-6. L e t x = AD and l e t y = DB, as in t h e
figure. The scheme o f t h e proof is s i m p l e . (1) First we
c a l c u l a t e x i n terms o f b and c , usFng similar triangles. ( 2 ) Then w e calculate y i n terns of a and c,
using similar triangles. ( 3 ) Then we add x and y, and
simplify the resulting equatl.on, using the fact that
c = x + y.
x
b
(1) S i n c e A ACD - A ABC, we have
= c'
b2
Therefore x = C
(2)
S i n c e b CBD
Therefore
(3)
Therefore
and
a2
A ABC,
we have
-2
5c '
y = 7 .
L;
Thus we have
Rut
y = a*
c = x + y .
2
c = a* + b
C
'
b 2,
395
- x.
X
men
= 85-* by Theorem
12-6 and d e f i n i t i o n of similar
triangles.
144 = 2 3 - x 2 .
2%+144=0.
(x
9) (x - 16) = 0. The segments of the hypotenuse are
9 and 16. If a is the length of the s h o r t e r leg,
x
[pages 393-395
c.
Let
DB
x,
then x(x
x2
DB
d.
J18'0=66
CD
a=
4 f i
Let
10) = 144.
lox
144.
8.
CA=
=
+
+
AD=x,
then x ( x + 1 2 ) = 6 4 .
x2 + 1 & - 6 4 = O .
(x
4)(x
16)= 0.
x = 4.
Problem S e t $2-5
7.
DE IIE,
Since
CA = 3
and
S = 10
11.
n-
so
AABC-A
DEC.
AreaA ABC
A rea
inches.
A E
g,
10
a.
+.
is
G C 0 .Then,
dZ
Area of t h e trianEle
Area o f the square
mn
4
F
=d2=
[pages 396-3971
397 12.
The area of
of
x = 3
The
~ required distance
79.4 f e e t .
is approximately
13.
By the
= 5400.
4200
and
(6l=2m,
4200.
Given: R i g h t A ABC,
C a right angle, and M the
mid-point of
Prove: MA = PIB = MC.
Proof: Let
be the perpendicular f r o m M to E,
meeting BC in K. Then
IIE, so CK = KB.
Therefore %? is the perpendicular b l s e c t o r of CB.
Hence MC = MB. Since MB = MA ( g i v e n ) , then
MA = MB = MC.
a.
398
14.
KC
4 KCB
60,
BC
15.
C
2,
By Problem 13,
=
4 KBC
= KI3 =
Therefore
60.
Therefore
ARs
L AHC U L CHB.
A C R .
Also
A 3 = c.
m L BKC
so
RC, 4 A = d
A l s o , since RC = RB,
m L B = mL BCR. L e t
mL A
rnL ACR = y and
mL B = rnL acR X .
Then in A ACB,
2x + 2y
Since
where
C
=
180,
and x
y = 90.
by S . A . S .
do2
Alternate solution.
u # v. Then
0
<-
and
-2pfl+
Let
F1 ( + ~AH),~
A PXR
A PRS
AWT
.Y
be p o s i t i v e numbers,
v.
A PYA,
therefore
PR = PX
PA
PY'
PAB,
therefore
PR
ABC,
therefore
Area
RST =
Area A A
B
r
Rs 2 ,
(m)
From t h e above:
Area A
RST
= (PX12
Area A A X
399 *18. 1.
2.
Division.
3.
Theorem 12-6.
4.
5.
MultiplScation.
. ~ * 1 9 .a 2 = h 2 + y2 = h 2 + ( c
In t h e similarity A ADC
x) 2
A WT,
x = bk.
Theref ore
I pages
t h a t 1s
398- 400I
19) .
RS
In t h e similarity
AM:
A R~T,
x = bk.
Therefore
a 2 = b 2 + c 2 +2bck.
ma
(11
"'a
a 2
- 2b($)k,
+ (H)
2
2
b + $ - abk.
= b2
ACB,
ma2 =
From p a r t ( a )
mb
='c
;b2+ p1 2 -
= 1F2 + 1p2
2 = ;a2 + ;b2
1 2
#3
1 2
-$,
+**
ma2 + m b 2 + r n c2 = $ a 2 + b
+ o
1.
Review Problems
FB = 22.
b.
n2 = m ' hence
FQ
g1 = r,
hence
C'
T =FQ
T , hence
I?&=%.
a*
'
d.
6
9
a.
Yes.
b.
G.M.
z,
= QB
hence
is
6,
6
FQ = 5.
QB = 8.
b.
AF
is
gfi.
A.M.
8.
FC=6.
-l5
-BC
3
BC
'
hence
- -
If DE ~ ( A B ,
x + 3
Ai7
V'
hence
= 3 G .
=
5
x + 5 '
and
x = 7.
AC =
402 7 ,
A ABE
.U
A CDE
(A .A. )
fore p r o p o r t i o n a l and
8.
Let e
angle.
angle is
(i)
a2=16*+8*;
~f x = 1 6 :
~f
a2=4*+8';
x=4:
y=l6;
a=8&
b = 4 6
y = 2 0 - x = 4 ;
(ii)
a - 4 6 ;
b=8&
a=8&,
b = 8
10.
b = 4 &
and
x = 4 ,
x = 16,
y=l6,
y = 4,
a = 4 6 ,
AABC-ADEF,
hence
AB
m
= AC
m =BCm .
11.
a.
AB = A C .
A A F Q - A W A X (A.A.).
therefore
b.
A AXW - A
hence
c.
Since
AB
AF-XW
FQA
Hence -AF
WA=
AQ
WX
and so
w &A
AX = -XW'
QFmXW = AX-QA.
A AXW - A
AW-FQ = FA-AX.
and
= AW-QA.
(A.A.)
FQA,
E = W , hence
AC
m=m
13.
3 = = ,9
g
9 &,
=
*14.
hence
y = 24.
hence
=
IIE, A
hence
XY
=
RYZ
-A
RBC,
RY = E
YZ. Hence
li$
YZ
Hence A XYZ
x.
A ABC
(S.A.S .)
We can be s u r e t h a t
L t is when the plane of
the triangle and the plane
of t h e film are parallel.
15. No.
Proof: Assuming t h a t t h e
planes of A ABC and
0
ADEF are parallel,
.'. A
A OAB,
A OEF * A OBC, A O F D * A OCA
EF = OE = ED = 5
DF
EF
BC
iOD
K
t h a t is, 875
ODE
Therefore
ru
A ABC
6@.
XY
YZ
18n.
hence
A DEF
by S . S . S .
ED = E.
DF
BA:
Similarity.
---
1.
In A A B C , if A D Z ~ ,
1
AB = 7 , AE = 72,
a.
EC = 3 , is
Explain.
3.
)I=?
In A ABC, if A D = 15,
AB = 25, AC = 3 3 , and
AE = 21, is DE IJBG?
Explain.
b.
2.
DE
a.
b.
4.
If ABCD is a trapezoid
with
(1 DC and lengths
of segnents as shown, give
numerical answers below:
AB
A
a.
I
m=?
b*
c
Area A AEB = ?
A r e a * CED
Area A ACD = ?
Area A BEC
5.
pvL
1 \
I n t h e fimre. ABCD is a
parallelogram with FG 11 DC.
DF = 4, DE = 6 , AB = 12,
KB = 2.m. Find AF, BC,
DH, KF and LF.
A
6.
In quadrilateral
in
the figure, segments have
KS
B.
1.
in t e r n of
KQRS
n.
K
Inthefigure, ABLE,
-
1z,
BH
3
X
and
CH
and with lengths
as indicated in the
figure, f i n d x, y, and
With
-
2.
D\*
3.
2.
In t h i s figure A ACB is
a right triangle
with
altitude
drawn t o the A
hypotenuse AB. Find
X, y,
and z.
AF
B&
are medians
of A ABH, as shown in
the figure. Prove
AABK .v A FQK. Write
three equal r i t i o a showi n g the proportionality
of t h e sides of these
t r i a n g l e s , and glve the
numerical value of the
ratios.
and
t h i s figure, BF = $KB
and BQ = $4B, Prove
the two t r i a n g l e s are
similar and wrlte three
equal r a t i o s showing
the proportionality of
t h e aides
E 11 AB
as shown in
the f i g u r e . Prove
AB*FQ = AQ-FH.
Answers
Yes,
Yes.
since
6
$ = 3 = 9.
73
B.
1.
x - 5'
2
3.
C.
1.
hence
2, hence
y = 3
hence
AK3
'L FKQ
Since
BF = 2
m
99
x = 2 6 .
hence
hence
z = 6.
5
=9,
Y
hence
y = 2 6 .
x = 5.
z = 3
y4 = qz ,
( v e r t l c a l angles)
and
(alternate i n t e r i o r a n g l e s ) ,
BQ.F E L QBA
FK = FQ = KQ = 7.
1
hence A AKB - A F'KQ ( A . A . )
1
2.
(s.A.s.)
3.
and
AABQ-AFHQ
AB-FQ = A&-EW.
and
L HBF ' L
I\BP, h HBF
n = BFm eHFm .
(A.A.)
and
m
AB = p
AQg ,
hence
ABQ
Chapter 13
C I R C L E S AND SPHERES
T h i s chapter falls I n t o two parts: the first studies
common properties of c i r c l e s and spheres relative t o I n t e r s e c t i o n w i t h lines and planes, the second deals with degree
measure of c i r c u l a r arcs and related properties of angles
and a r c s , chords, secants and tangents. The first part is
unusual s l n c e it t r e a t s c i r c l e s and spheres by unlform
methods and s t a t e s and proves the fundamental theorems on
the i n t e r s e c t i o n of line and circle (and sphere and plane)
with great precision. You will note that following the
fundamental theorems on c i r c l e a , there Is a corresponding
section concerning spheres, and probably nowhere else is
the analogy between plane and space geometry s o s t r o n g as
it Is here. Essentially t h e same proofs work f o r the sphere
as the c l r c l e , as relates to tangent and s e c a n t lines and
planes.
The thecrems and methods of proof in the second
part are, in the main, conventional but the basic ideas of
types of c i r c u l a r arc, angles Inscribed in an a r c , and a r c
intercepted by an angle a r e defined with unusual c a r e .
The convention of letting c i r c l e P mean the c i r c l e
with center P is followed in many of the problems f o r
convenience, where no ambiguity r e s u l t s . The t e x t , however,
follows the more precise notation, where a separate l e t t e r
denotes the c i r c l e . We can then t a l k c o n c i s e l y about
concentric c i r c l e s C and C 1 or about l i n e L i n t e r secting c i r c l e C.
Use concrete situations to illustrate the idea of clrcle
and sphere. For example, ask students to describe t h e
f i g m e composed of a l l p o l n t s which are six inches from a
given p o i n t of t h e blackboard - but don' t say " p o i n t s of the
blackboardn. Use models, c u t a ball i n half t o indicate
its c e n t e r and radius, and so o n . Refer to the e a r t h and
--
Problem S e t 13-1
411 1.
412
3.
a.
False.
e.
False.
b.
True.
f.
True.
c.
False.
g.
True.
d.
False.
h.
True.
a.
False.
e.
False.
b.
True.
f.
Falee.
c.
True.
g.
True.
d.
False.
h.
Falae.
a.
b.
4.
[pages 412-4153
F Is.
Since r
1s a definite positive
number, we see that there are only two possible p o s i t i o n s
on L f o r a pofnt common to L and C, namely the two
&.-
If a p o i n t is
Proofs of the C o r o l l a r i e s
Corollary 13-2-1. Any line tangent to C is p e r pendicular to t h e radius drawn to t h e p o i n t of contact.
L e t L be a tangent to C
at point S
Draw the radius
PS. Let Q be the foot of the
perpendicular from P to L.
If Q # S, then L intersects
C l m exactly 2 points and
t h f s c o n t r a d i c t s t h e hypothesis
that L is tangent t o C a t
S . Therefore the p o i n t Q must
be the point S, hence the
tangent L is perpendicular to
the radius drawn to the point
of c o n t a c t .
416
Given
pendicular
outer end,
c l r c l e C.
[page 4161
of
Consider a chord
of c i r c l e C -and the l i n e
containing
intersects
AB.
The 1Fne
C in t w o p o i n t s
Let Q be the
and B.
foot of the perpendicular from
P t o L, The intersection
cannot be Q alone. Hence,
by Theorem 13-2, A and B
A
416
Given chord
of c i r c l e
C and segment PS where P
is the center of c l r c l e C and
S is the mid-point of' chord
AB. ~ e t
B w i t h foot
Q. By C o r o l l a r y 13-2-3, Q is
the mid-point of AB. Since
the mid-point of
is unique
(Q = S) , PS is perpendicular
to the chord
ZJ
1
z.
A l t e r n a t e Proof:
us fng congruent t r i a n g l e s
[page 4161
416
417
417
obvioua r e s u l t .
The idea of congruent c i r c l e s gives you an excellent
opportunity to discuas the general Idea of congruence.
Point out that to say two figures are congruent means that
they can be made to "fit" or that one is an exact copy of
the o t h e r . B u t It is very d i f f i c u l t to give the student a
precise mathematical definition of the Idea until he knows
a f a i r amount of geometry ( s e e Appendix on Rigid ~otion).
Therefore we d e f i n e congruence piecemeal f o r segments,
angles, t r i a n g l e s , c i r c l e s , arca of c i r c l e s and so on. B u t
in each c a s e we frame the d e f i n i t i o n to ensure that the
figures are congruent, that i s , "can be made to fit". So
in the present case, we define c i r c l e s to be congruent if
they have congruent radii n o t because we consider t h i s
condition to be the basic idea, but because we are
intuitively c e r t a i n that I t guarantees that the circle can
be made to fit.
It might be well to remind the studenta o f what is
involved i n the concept of the distance between a point and
a line, including the case where the distance is z e r o ,
Note that In t h e proof of Theorem 1 3 - 3 we have assumed
t h a t t h e distance from each chord to the center I s n o t zero.
If it is z e r o , each chord is a diameter and the theorem
still holds.
AB
Given: Chords
equidistant from
and
m,
P.
- -
To prove : AB
Let
CD .
1 AB
and
as in the figure.
PF
Draw r a d i i PE and PD.
Then in r i g h t triangles
PEB and PFD we have:
PE
(3)
(4)
h PEB = A PFD.
EB = FD.
(1) Given.
(2) Radii of same or congruent
c i r c l e s are congruent.
( 3 ) Hypotenuse and Leg Theorem.
( 4 ) Corresponding p a r t s .
(5)
EB
( 5 ) Corollary 13-2-3.
(1) PE = PF.
(2)
PD.
PB =
(6)
(7)
= $4~.
,
=+$D.
=
&D.
AB = CD
or
AB
CD.
(6)
Subs t i t u t l o n .
(7)
Algebra.
AB
intersects
CD
Given: Chords
E.
P is t h e c e n t e r of the
circle.
where
as
PB
and
To prove: PE = PF
PE % and
i n the figure.
Draw radii
( 2 AB = CD.
(3)
+AB =
( 5 ) EB
(6)
;CD.
417
m.
A PEB % A PFD.
( 7 ) PE PF or PE
(4)
Corollary 13-2-3.
(5)
S t e p s 3 and 4.
Hypotenuse -Leg Theorem.
Corresponding p a r t s .
(6)
=
PF
(7)
--
Corollary 13-2-4.
e.
Corollary 13-2-2.
c.
C o r o l l a r y 13-2-6.
g.
C o r o l l a r y 13-2-3.
d.
Corollary 13-2-5.
h.
Theorem 13-4.
2.
(See
3.
4.
418 1.
Theorem 13-3.
Corollary 13-2-1.
circle.
419 5.
16.
6.
As in the figure,
CB = 15 and DC = 12.
Then DB = 9 , and
the chord is 18
Inches long.
[pages 418-419 1
3-4-5
is
e.
420
8.
C.
j.
D.
PT
Let
intemect
a t F. Then FB = 6.
A BFP is a 30 60
right triangle. Hence
PB = 4
420
9.
fi.
CD is tangent
3.
OC=OA=OB.
4.
5.
L A fuL ACO.
LACOGLCOD.
L COD E L B O D .
6.
7.
8.
OD=OD.
b OCD~AOBD.
12.
OBD = 90.
is tangent
at
Corresponding angles of
parallels.
Definition of c i r c l e .
Theorem 5-2.
Alternate i n t e r i o r angles.
Steps 2, 4, and 5 .
Identity.
S . A . S . and Steps 3 , 6, and
7
Definition of congruent
triangles.
Corollary 13-2-1.
Steps 9 and 10.
Corollary 13-2-2.
B.
[pages 419-420 1
11.
Draw
OR. %LAB,
by C o r o l l a r y 13-2-3.
*13.
Let
-
[pages 420-4211
422 "15.
16.
( S e e TeacherTs Commentary
AEP
Glven:
L DEP .
AB h! CD.
Prove:
Draw
- -
1CD.
and
Then A PGE
and A PKE: are right
triangles with
PK
rnL
17.
Since
RD = RE,
DA
1B and
F
DA
EC.
AB = BC
EC = 91 C
by Theorem 13-3.
But
w1m
AC
1 CD,
-
Definition of a circle.
*
BDLCD.
w llW*
- 11
CT Q TD.
mL CTO = mL DTO
= 90.
OT
OT.
A CTO
CO a DO.
DTO.
Corollary 13-2-1.
Given.
Theorem 9-2.
Theorem 9-26.
Perpendicular lines form
right angles.
Identl ty
S .A.S.
Corresponding parts
423
Jn.
Q ia
the
If
fmm P
is
(2')
Jn.
If a p o i n t is in E
la
then it La common to E and
Compare w i t h Case ( 3 ) of Theorem 13-2.
S.
426
Corollary 13-5-1. Everg plane tangent t o S i a perpendicular to the radLus drawn to the p o i n t of contact.
Given: Plane E tangent
t o S at p o i n t R.
To prove: Plane E perpendicular
to the radius drawn to the point
of contact.
[pages 423-1261
Given:
Plane E is
p e r p e n d i c u l a r to radius
PR a t X.
To prove: Plane E is
tangent t o S
Then R
t o a chord
AB
TO
prove:
PD 1AB.
in Corollary 13-5-3,
the plane PAB intersects
S in a great c i r c l e . Then
by C o r o l l a r y 13-2-4.
PD
As
--
Problem S e t 13-3
2.
3.
4.
[pages 426-4271
427 ' 5 .
I=.
equals
*6.
428 *7.
JT.
8.
C pages
427- 428 3
428
*9.
perpendicular.
*10. The i n t e r s e c t i o n of the spheres is a circle. This can
be shorn as follows : Let M and M'
be any p o i n t s of
the intersection. Then A AMB Si A AM'B by S . S . S .
If
MO and M t O '
are altitudes from M and MI,
AAMO 9 A AM'Ot
by A . A . S . ,
so that A 0 = AOi and
0 = 0'. Hence all points M l i e on a plane perpendicu@
l a r to AB a t 0 and on a c i r c l e with center 0 and
radius OM. S i n c e A and B are each eouidis t a n t
from M and N, then a l l points on AB are equiC,
d i s t a n t from M and N, by Theorem 8-1, and AB is
perpendicular to the plane of the i n t e r s e c t i o n , by the
argwnent above. By Theorem 11-10, we have M O = 5 in
A MOB. In A MOA, by Pythagorean Theorem, we get
A 0 = 12. But OB = 5 . Hence A 3 = 17.
430
[pages 420-4321
432
--
--
437
1.
2.
437
3.
mLA =
rnL AHK
d B by Corollary 13-7-2.
= mL BHP since the i n t e r c e p t e d a r c ? have
equal measure. Therefore A AHK w h BHF by t h e
A .A. Cbrollary
a.
ABFK,
b.
L HBF
438
4.
and
E.
Draw
We know that
is a diameter of t h e smaller
c i r c l e and therefore that 4 ARO = 90, by Corollary
13-7-1. men
I s b l s e c t e d by the smaller c i r c l e
at p o i n t R, by Corollary 13-2-3.
and BC and
draw the perpendicular
b i s e c t o r of each segment.
Sfnce the segments AB
and BC are not parallel
or collinear, the perpendicular bisectors are
A
not parallel and therefore
I
I n t e r s e c t in a p o i n t P.
This can be seen by using Theorem 9-12, Theorem 9 - 2 ,
and the P a r a l l e l P o s t u l a t e , in t h a t order. AP = BP,
and BP = CP by Theorem 6-2. Hence AP = BP = CP.
By definition of c i r c l e , A,B,C
must lie on a c i r c l e
with c e n t e r P.
Draw
~s^T=
k?=
80,
150,
= 95,
= 60,
~LT
4s
= 120.
439
8.
By Problem 6 ,
9.
E.
Draw radii
and
Since
AM = BM by
C o r o l l a r y 13-2-3.
APM 3 A BPM by S . S . S . (or S . A . S .
o r ~gpotenuse-Leg), s o that mL APC = rnL BPC. Also,
rnL APD = m L B P D by supplements of congruent angles.
Therefore r
d
? = &?and
= &, by the definition
c
of measure of an arc. Hence CD blsects ACB and
10.
11.
Since
By Theorem 13-7,
A = pBD
mBDC = 180, and
is a semi-circle.
n
d e f i n i t i o n , BAC is a semi-circle.
440*12.
4A
= 90,
then
Hence, by
%?=st
*13.
Since AC and
a r e tangent at the end-points of a
diameter, then AC 11 E. A l s o , AC and
are
segments of chords In the larger c i r c l e which a r e
congruent by Theorem 13-3. By Corollary 13-2-3, the
radii
bisect these chords, so that
- and
AC CS BD. Therefore quadrilateral ADBG I s a parallelogram, by Theorem 9-20. But the diagonals of a parallelogram b i s e c t each other, so t h a t
and 5 bisect
each o t h e r at some p o i n t , P. Now 0 I s the mid-point
of E, so P = 0, and C , 0, D are collinear,
making CD a diameter.
441
mt.
Since
= AlBl,
L P Pi L Pl, and by S.A.S. Postulate we
have d APE P: A A t B f PI
Therefore AB = A t B 1 , by corren
sponding parts. If
and A t B t are major arcs the same
concluslon holds. If t h e arcs are semi-circles then the
chorcds are diameters and are congruent.
442
1 SQR
Theorem 13-10 is m e d i a t e if
is a right angle,
since then the Intercepted a r c is a semi-circle.
4 SQR
= pQXR.
3.
QT
--+
180
1
- TQYR.
I1
1
1.
text.
2.
Supplement Postulate.
3.
Steps l a n d * .
5.
D e f i n i t i o n of measure of a
major a r c .
[pages 441-4421
443
Problem -S e t 13-4b
443
1.
2.
a.
S i n c e chords
b.
a
ia=m.
From a a
and
off congruent minor arcs
Theorem 13-6,
+ n@
n
=
mL
A =
AF
we g e t
s, and
so
by Theorem 13-9.
BFA by Corollary
by A . S . A .
HA = FB
= n@
4B
13-7-2.
3.
AB
is a s q u a r e , DA
a E , and therefore,
S
Z
by Theorem 13-8. Then 4 DEA =
AEB
= mL BEG s i n c e they are Inscribed angles which i n t e r cept congruent arcs in the same c i r c l e .
Since
ABCD
rnL
4.
a.
L BAC.
f,
LADC.
b.
LCAF.
g.
L DCA, L DBA.
h.
DAF.
d.
L ADB, L BAF.
L DAF.
1.
LEAL
e.
LDCB.
$.
L DBC.
c,
444
5.
Since
PQ
1E ,
rnL BPQ
so t h a t
right triangle.
by Theorem 13-10.
= 30. A APQ
AP = 4 n .
Hence,
1s a
30
60
"6.
*7.
Draw
E.
1-
By Theorem
13-10,
BPT =
But mk~= KB, so rnL BPE
= r n l 5PT.
i&mind
BE
by d r f i n l t i u n of
d i s t a n c e from a p o i n t t o a l i n e . PB = PB, so
d PBE S h PBF by A . A . S Theref o r e , BE = BF, which
was to be proved.
445
8.
Draw
E,
forming A BCE.
9.
Draw
E,
forming
10.
BCE.
Then,
Then, m L E
mL C +
m L ABC
mi B
- mi C
in each case.
11.
mL DEB
&=30.
n
mCD = 30.
=
rn&
25.
= 30.
mLBAD=30.
mL AGE = 70.
mL DGE = 110.
rnL ADK = 140.
[pages 444-4451
446
12.
~DT
= 88 and I&? = 122.
mL EDC = m L DBC = 31.
4 CMD = mL AMB = 4 ABC = 75.
= 105.
m L FDB
= 88.
4 ACB
mLCAB
~ D C
DEC
mL DFA
4 CAP
4 CDF
4 ACE
13.
4 CM3
= 4 DCB
mLDMA =
=
E~ B D =
E 92.
=
57.
48.
= 119.
149.
136.
a.
By Corollary 13-7-2,
ADP = 4 BCP and
m i DAP =
cBP. Hence A APD - A BPC by A . A .
b.
proportional,
have
4 .
44.
a.
AP
PC = PB
PD Clearing
F.
PD.
h?,
4 DAC =
and
= $&?. Therefore 4 DAC
By Theorem 13-10,
13-7,
4B
LD
of f r a c t i o n s we
by Theorem
=
4 B.
Since
is common to the triangles,
A A B D - A C A D byA.A.
b.
m.
m@
=
&+&=&+m@.
Now
4 PRQ
Therefore
+16.
Case I:
Case
mG$
+ a.Similarly,
i(m$
1
,{muc
L PRQ
working with
+ 116
=9
+(m@
) + m@ +
+ &) + ;(mG +
L b,
m?~)
a)
a.
P will have Q as i t s
o t h e r end-point, by Theorem 9-12 and Theorem
13-2. Then the two arcs are semi-circles
having equal measures, by d e f i n i t i o n .
450
SQU
A TQR
Theorem 13-12
W - Q S= QU0QT
SQU *
A TW
but since T = U
Q R q Q S = Q U 2 = W2 .
{pages 450-451j
SQU A T&R
Theorem 13-14
Q R m W= QUO QT
&R-QS = QU-QT
Since
we g e t
T U
QR QR = QT W
= S
and
m 2 = &2T .
Since &R and QT are
p o s i t i v e numbers we have
Theorem 13-11, &R = m.
QU- QT.
S i n c e Q = R = U then
QR = 0 and QU = 0 , hence
QR
o*&T
o = o
0-Q3 =
and t h i s is a t r i v i a l
result, but the pattern
W ' Q S = Q U * W still
holds.
--
Problem S e t 13-5
452
1.
t
,
I.
EH
are tangents at
3, D, and F
AC,
CE
and
1.
Given.
Theorem 13-11.
3.
Addition.
respectively.
2.
3.
CB
EF
CD.
ED.
CB+EF=GD+DE
=
2.
CE.
By Theorem 13-12,
x(x
x2
453
+ 13) = 4
+ 13x = 48.
3.
Let
4.
BK
= a.
12.
t
,
1.
AB and BC are
tangent a t A and
1 1.
Given.
C,
2.
respectively.
AAOB and h COB
2.
Corollary 13-2-1.
3.
4 ABO
4.
= 60.
1
AB=$IB;
5
6.
rnL CBO
3 .
mL
ABC = 120,
and
Theorem 13-11.
CB
1
+B.
A3
CE = OB.
4.
Theorem 11-9.
5.
Addition.
congruent ,
SN = SP,
NR = RM,
CL = CP,
DL DM.
(sn + m) +
SR
7.
(CL + DL)
CD = SC + RD.
= (SP
e CP) + (m + DM)# or
454 9.
- 64 = 36,
r = 10.
r.
Then by Theorem
454
11.
m2+3m=m2 +3m+2
0 = 2.
Since t h l s is impossible, the lengths of the segments
cannot be consecutive integers.
or
or
'12.
455
13.
internal,
a.
Four;
b.
One I n t e r n a l ,
c.
d.
e.
None.
two
AM^
= MB2
AM^
= MR
and
AM = MB.
two external.
t w o external.
and
455 *14.
Draw r a d i i
rnL A
angles.
RP
RR
suppose
NOW
QB*
meets
DC
.
RP' _ RA
v - a.
at p o i n t
RP'
RP
&P1=
P
' and
Hence
"15.
Q. Therefore
and
Pl
PI
are bothbetween
PI
P.
R&
Problem 14 assures us t h a t
and CD meet
the same point P. Therefore, by Theorem 13-11,
PA = PC and PB = PD. Addlng, we have
PA
456
and
PB
PC
PD,
or AB
at
CD.
4 *
5 1z.
In A PW, RQ =
PQ) - (PR)2 Hence
RQ = 48. But AB = RQ, sfnce RQBA is a rectangle.
Therefore, AB = 48.
16. Draw
17
Let
iv.Since
= 12 =
and
PQ = 20
@
I
(-)
16,
5280,
Hence,
By Theorem 13-13
d2
ap>roximately,
AI~.
be t h e required distance.
Now since
PE
d =
is roughly
2 A.
[pages 455-4563
= 1.23 f i .
[=I h
So
Review Problems
minor a r c .
a,
chord.
b.
diameter.
C.
secant.
g.
major arc.
d.
radius.
h.
inscribed angle.
e.
tangent.
i.
c e n t r a l angle.
f.
( a l s o chord.)
55 and 70.
mL AXB
= 90,
4 AXY
1 E.
a.
True.
f.
True.
b.
True.
g.
False.
c.
False.
h.
True.
d.
True.
i.
True.
e.
False.
j.
True.
Let
= r. Then
PCH = 90 - r,
NHC = 180 - (90 - r) or 90 -t- r. Then
N)IR =
NHC
90 = ( 9 0 + r)
90 = r.
Hence, I& = 4 NHR.
225 = (25
X)
15 = 25 x
10 = x
The depth is
10
inches
459 8.
A DOC,
r2 = ( r - 9 ) 2 + 1 22,
r2 = r2 - 18r
1 8=
~ 225,
r = 12.5.
81 + 144,
25
inches
long.
9.
*lo.
(4000)~
=
(4000
4000
(loo)*+
X
C"
(4000-x)~
x12 = 15,990,000.
= 1.25,
3,998-75.
approx.
460 11.
4000
AY = AP
AY = AX.
AP =
~p =
*12.
AX
AX = 4.
PC
= AP
+ PB.
6.
Illustrative Test
Items for Chapter 13
--A.
a c i r c l e b i s e c t s a chord of t h a t circle
which is n o t a d i a m e t e r , then the diameter is perpendicul a r to the chord.
2.
3.
4.
If
a diameter of
5.
45.
c i r c l e a r e congruent.
6.
7.
8.
9.
10.
mLC.
m L DAB.
In the f i g u r e , XY is
tangent to c i r c l e 0
at B. Find
C.
1.
3.
4.
5.
Given:
bisects
t
,
H. DE
FH = 3 ,
inches in length I s 12
Inches from the center of a cfrcle. Find the length of
the diameter.
Find:
Chord BP
chord
at
is a tangent.
BH = 12 and
AC
AC
and
DE.
10
E.
4-+
1.
Given: CA is tangent
to c i r c l e 0 at A .
Prove:
BAC =
0.
&
2.
3.
Given:
Prove:
AB
=a.
11 CD.
4.
Given: C i r c l e P with
w
C-,
AB, ,
and DE
tangent to t h e circle
as shown.
Prove: AB + ED = BD.
NO
is a radius of
sphere 0. A t 0,
plane F NO. A t
P between N and 0 ,
plane-E Z.PY
and OX a r e coplanar
r a d i i of the c i r c l e s
in which E and F
i n t e r s e c t sphere 0.
If
=
explain why PY = $ OX.
----
+a,
6.
False.
True.
7.
True.
False.
8.
False.
False.
9.
False.
False.
10.
False.
True
a.
26
60.
b,
100
inches.
10.
8 f l
(from
2 a ) .
20.
(use auxiliary
segment
or
RS
OB. )
4.
4 BAC =
4 0 = mA3.
h
Hence
mL
BAC =
+l 0.
AD.
Draw
Then rnL BAD = mL CDA since they i n t e r c e p t
congruent a r c s . AB )I
because of the congruent
a l t e r n a t e i n t e r i o r angles formed,
m,
Given: ABCD is a
parallelogram i n s c r i b e d
in c i r c l e 0 .
Prove: ABCD is a
rectangle.
3.
n n
ADC Z ABC,
@
LD
ABCD
and
I s a semi-circle.
is a right angle.
is a rectangle.
2.
3.
Opposite angles o f a
angle.
D e f i n i t i o n of rectangle
and Theorem 9-23.
4.
5.
Let
AX
b e a chordof
c i r c l e 0 which i n t e r sects c i r c l e P at Y.
Prove: AY = XY.
z.
Consider
L AYO
18 a right angle, because
it is inscribed in a semiA
c i r c l e . AY = XY because a line perpendicular t o a
chord and containing the center of the c i r c l e b i s e c t s
the chord. (Since OA and PA are perpendicular to a
common tangent at A , P must lie on
x.)
6.
since N b l ~at
-
NO
1F,and
P,
OPY
l a a right triangle.
Since
F at
NOX = 90, and
0,
rnL
F r o m properties of a
30 - 60 r i g h t triangle
PY = 1
But OY = OX.
p.
merefore,
PY = +OX.
Chapter 14
CHAWCTEBIZATION OF SETS.
CONSTRUCTIONS.
and compass c o n s t r u c t i o n s , and t h e treatment is mostly conventional. The only r e a l innovation is t h e use o f the term
tt
characterization of a set" rather than "locus" as explained
below,
The teacher may notice w i t h r e l i e f o r chagrin t h a t the
462
I d e n t i f y the set of points equid i s t a n t from two intersecting lines. Having drawn two
i n t e r s e c t i n g lines L1 and L2 as below, a student might
proceed to use t h e property t h a t each p o i n t of the bisector
of an angle is equidistant Prom the sldes of the angle and
conclude , t h a t L3 is the required set of points.
t h e following example';
--
Problem S e t 14-1
463 1.
and radFus
inches.
2.
The set of p o i n t s is a c i r c l e in
and radius 3 inches.
3.
with center
Solution Set
Given L i n e
4.
>
P
long)
a.
b.
0 and
443
c.
a.
C.
Hence,
L; CD 11 L; AD ( 1 M; BC 1 1 M. The
required s e t consists of the p o l n t s of the
parallelogram A3CD together with all i n t e r i o r
points.
11
a.
The s e t c o n s i s t s of t w o p o i n t s , the t h i r d v e r t i c e s
of the two equilateral triangles which have AB
a s one sfde.
b.
463
7.
c.
The mid-point of
d.
The empty s e t .
to and having the same length as AB and two semic i r c l e s with radius 1 inch and centers A and B
respectively, as shown.
--
464
1.
a.
b.
c.
d.
[pages 463- 4 4 4 )
e.
A cylindrical s u r f a c e ( s e e
two hemispheres
2.
k55
3.
above) capped by
a.
b.
c.
d.
a.
b.
given lines.
c.
d.
e.
4.
5.
a.
1.
true.
2.
false.
b.
1.
true.
2.
false.
45'
angles
The pole should be placed at t h e point where the perpendicular bisectors of two sides of t h e t r i a n g l e
intersect
[ pages 46 4- 465 1
46
6.
466
7.
8.
"9.
minus the
\
,
,
,
,
c,
1
I
*12.
'-
,
,
,
,
4
d= l
(Center of
square is part of
the se t 1
467
N o t e that p o i n t s A
and B a r e n o t i n the
set.
AB
469
and AC
L2. Hence
are perpendicular t o
C+
AB
L2,
1 Lp.
v, %?
470
perpendicular t o
471
s.)
(1)
i n t e r s e c t s A D This
is impossible s i n c e if their
p o i n t of Intersection were T,
the t r i a n g l e TAB would have
two angles the sum of whose
measures was more than 180.
b' "
+
( 2 ) BE' I n t e r s e c t s AD.
This is impossible, s i n c e the rays
l i e onopposite s i d e s of AB.
( 3 ) BE i n t e r s e c t s
This l a impossible for the same
reason as ( 2)
[page a 470-471 1
--*
-+
1.
The p o i n t is the i n t e r s e c t i o n o f
of L B .
2.
bisector of
LB
PQ and the b i s e c t o r
i d e n t i c a l with t h a t of
Theorem 14-4: If t h e
b i s e c t o r s of L BAC
and L DBC meet at P,
P is equidistant from
C,
AB and A C , and a l s o
frorn%8and%?
A
But ==%?,
hence,
P is equidistant from
C
e
CE and BC and lies
on the b i s e c t o r of L BCE
DC.
472
4.
6.
7.
[pages 472-4731
473
8.
P #B.
--
Problem S e t 14-3
474
1.
2.
The two p o i n t s P, PI
are the intersections
of t h e perpendicular
b i s e c t o r of
and
4~
Y
AB
'3.
1,
?
n are the
bisectors of E, E,
and BC respectively.
Each passes through the
n
center 0 of the c i r c l e .
Thus the p o i n t s i n t e r i o r
to the c i r c l e and to the
Y
left of 1 (shaded
horizontally) are nearer
to A than t o B.
S i m i l a r l y the points ins l d e the semi-circular
region shaded vertically are nearer to A than to C.
The required s e t is the i n t e r s e c t i o n of the i n t e r i o r s
of these two seml-circular regions (the interior of the
sector ODAE)
m,
475
4,
a.
Twopoints,the
intersections of
the c i r c l e w i t h
c e n t e r B and
radius 4, and
the c l r c le with
center C and
radius 3 .
Two p o i n t s , t h e
intersec t l o n s of
circles with
c e n t e r s B and
C and radius 10.
47 5
c.
Two p o i n t s , t h e
intersections of
t h e circle with
c e n t e r R and
radius 10, and
the perpendicular
b i s e c t o r of G.
d.
One p o i n t , the
intersection
-
of
BC and the c i r c l e
with center B and
radius 2, and t h e
circle with c e n t e r
C and radius 4.
475
47 6
477
479
intersect.
P~oblem-Set 14-5a
460
1.
Part
4.
a.
is n o t possible.
AB
I s c,
draw the c i r c l e s w i t h center A and radius c,
c e n t e r B and radlus c . Since c + c
c,
these
c f r c l e s intersect a t C and C 1 , say, and A ABC
and A ABCt are e q u i l a t e r a l .
>
b.
%,
48 1
482
--
C*
1.
Construct B C L A C .
Make % B: E.
A ABC is t h e requf red
triangle,
I
N
J
z,
[pages 480-4831
483
3.
Make F H S A B . Construct
the perpendicular bisect d
of E. w e Z SEE.
Bisect
Make
1
XR=XW=PQ.
FWHR is
the required rhombus
~ *
E&.
4.
On
QW
PQ=AB, QR=CD.
M is the mid-point
+
of E.
QT L
I PR.
---+
QT meets semi-circle
at S. QS is the
geometric mean of
AB and CD.
y-
/
1
d Q
I,
R
48 4
48 5
3,
-
Then
t*
m,
Probley Set
length FX as radius,
s t r i k e an arc and with
K aa center and length
as radius, strike
another a r c i n t e r s e c t ing the first a t X
E
on the opposlte aide
4+
of KE f r o m D. D E E is t h e required parallelogram.
(1f both pairs of opposite sides of a quadrilateral are
congruent, it is a parallelogram.)
7
486
2.
UsIng
OA
CI
[pages 485-4861
486
3.
Corresponding segments on
e qua 1 length.
-BD,
AC
- QM,
RL, SA
487 4.
Hence,
BX
XY
= ZA.
YZ
BP = 1 and BX
= XY.
are p a r a l l e l .
Similarly,
Divide
i n t o three congruent segments. Construct an
e q u i l a t e r a l triangle with one of theae segnents as s i d e .
5.
6.
7.
Uae S . A .S
Use one of
. and alternate i n t e r i o r
On an arbitrary ray
through A lay-off
segments AC and
x,
with C between A
and D, of lengths a
and b.- Through C
draw CX [I
A ACX
A
and A ADB are similar
AX
a
( A . A . ) and have ~8 = 6.
E.
[page 486-4871
487.8.
Construct a triangle
AR = 2m.
ARC
with
AC = b,
C R = c,
AR
Bisect
at T. On %? take B so t h a t CT = TB.
Then A ABC is the required t r i a n g l e for A ABT S A RCT
by S . A . S . , so AB = CR = c . C l e a r l y , AT is the median
and AT = m by construction,
488 +g
Construct
AB = x
segments.
A t
M
construct CE
is the required t r i a n g l e .
To prove that BA and CX
are medians, draw AX.
NDW,
EAX and ECB
are isosceles triangles
with congruent vertex
angles and so angles s
are all congruent.
Then
I [ CB and
A EAX A EBC w i t h
0
AX
E -- 2'
and DA
Also
=
1
7,
DAX
so
A DCB
is
C,
the mid-point.
If CA and BX were p a r a l l e l , AX
would have t o equal CB. T h i s we have shown is not
C--*
true, so 3 and BX must i n t e r s e c t .
m;
%?lm
x,
m=m=
Let c
be an a r c of 120'.
Then 4 AQC = 120 f o r
n
any p o s i t i o n o f Q on the a r c . S i m i l a r l y , l e t BRC
be an arc of 120'.
Hence, if P is t h e p o i n t of
i n t e r s e c t i o n (other than C) of the two a r c s , we have
APB = 120.
mL APC =
BFC = 120. It follows t h a t
( A complete analysis of t h i s problem, including the case
in which one angle has measure > 120, is v e r y
complicated. )
mL
rnL
*13.
By A . A . ,
Hence,
By A . A . ,
A BPM
A Q3M
NA
h QAN
Fiq
so t h a t
so t h a t
m=m.
Hence,
Thus the ratios
"
MC and
Theref o r e
and
MC
= MB.
a r e each equal to
ND
m.
499
500 3 .
d.
g o 0 + 45',
or
180'-
45'.
e.
60'
60,
or
180'
- 60.
f.
30+450,
or
90'-
g.
60+450,
or
90*+15O.
h.
2%'
is half of
45',
1
5
'
.
and
6 7 * 0 = 4 5 0 + 2 % lo
.
a.
Construct L B
congruent t o the
glven angle. Make
BC = a. Find t h e
mid-point D of
BC. U s e D as
center and m a as
r a d i u s to i n t e r +
s e c t BA at A .
There are cases in which the c o n s t r u c t i o n is
impossible and cases in which t h e r e are two
solutions,
b.
Construct
LACRZLX.
Then
ACB is t h e
third a n g l e of the
t r i a n g l e . Make
C A = b and CB B=+ aA. ,
' B/
---- R
500
c.
segment
RB perpendicular to
a "working l i n e " ,
XW, at any convenlent p o i n t and
Construct
-
make
Using
RB =
%.
as c e n t e r
X A
and a as radius,
c o n s t r u c t an arc
H
i n t e r s e c t i n g XW a t
C.
Construct LWAB
congruent to L A .
Construct i t s bis e c t o r , AX. F ~ k e
AB = c . Connect
B w i t h X. The
w
goint at which BX
w
meets AW is C.
solution, in c a s e
BX I I
)
e.
E.
constructing
AX
I=,
MC
= MB.
500
S t a r t by
-
constructing
(of length ha)
perpendicular to a
"working line", BC
S i n c e we are given
B and since
4 BXA = go,
m L B A X can be
B
eas ily cons t r u e t e d
AX
Similarly
L CAX
can be constructed.
Construct these two
angles at A .
Construct CX (of
length hc) perpendicular t o
U s e C as center
and t, AS
radius
=.
the b i s e c t o r of
L C, c o n s t r u c t
on each s i d e of
CY and angle
whose measure is
idc.
C o n s t r u c t an angle
congruent to L A
and make AC = b.
Using C as center
and tC as r a d i u s ,
c
find X. We now
have A XCA of measure 1
L XCB
L XCA.
4 C.
construct
500 4.
A BPM - A DPA,
and so
by A . A . A . ,
BP
Hence,
1 BD.
3
W =I 1 DB, so that P
are t h e trisection p o i n t s of BD.
In the right t r i a n g l e ABM, the r a t l o
2.
A similar argument shows
and
If
rnL BAM
hence,
= 30,
BAM
t h i s r a t i o would have to be
and
*go0.
D and E
will be
inslde the c i r c l e ,
because AD and
AE are each less
than the radius.
A
This can be shown
by considering a
segment joining A to t h e mid-point M of BC-,
AM
and D and E a r e nearer M than B
and C a r e .
If RE is drawn, area A BRD = area b EDR, hence,
area DRSE > area A BRD, and, by a d d i t i o n ,
area A ARS > area A ARB. But if L BAC were
trisected, we would have area A ARS = area A A R B .
L E
6.
BA
at 0 , anddrop A H I Q P . Then
A Q?IA 2 A QGA A QGB,
+
from which the d e s i r e d r e s u l t follows. Notice t h a t &A
+
and QG are t r i s e c t o r s of (L PQR.
Let
QD meet
Review Problems
2.
Divide
AB
angle.
1 AB f o r each s i d e of the rhombus,
3.
a.
Construct the c i r c l e on
c i r c l e minus A and B
b.
as diameter. The
is the set of points P.
4.
5.
6.
Let
Using any
square f i n d d r , t h e difference between the diagonal
and s i d e . In the p r o p o r t i o n d = ''
s will be the
s '
length of t h e side of the required square.
d
504 8.
9.
No, n o t If
A3
or
>
AB.
a
10.
>
e.
504 11.
1,
for Chapter
Illustrative Test Items Given
and p o l n t s
K and Q in vlane E.
Tell how t o locate a
p o i n t on W fiifh~ihis
equidistant from K
and Q.
A <
*B
'0
A.
Describe the set of points I n the plane which are equidistant from the sides of
ABC and at distance x
from B.
11.
12.
C.
Construct an i s o s c e l e s
triangle with base A 3
and base angles each
measuring 7 5 .
By c o n s t r u c t i o n locale
points a t distance d
from
and a t
d i s t a n c e h from Q.
I
3 y construction locate
points which are squi4
distant from AB and
4
BC and equidistant
from X and K, as
shown.
3.
%3 and W
intersect
at some inaccessible
point C *
By con~trmctLondetermine
the bisector of & ACF ,
F
4.
radius x tangent to
-%'and C.
Answers
w
Two l i n e s parallel
AB
*
AB
at
except p o l n t
and at the d i s t a n c e
A.
from
point.
1 d . The plane p a r a l l e l to b o t h given planes and midway
between them.
The i n t e r s e c t i o n of the sphere w i t h c e n t e r
radius
6. If
and
5,
A
A
and
and
B.
B.
If and only if t h e t r i a n g l e is e q u i l a t e r a l .
The b i s e c t o r of t h e angle minus the v e r t e x of the angle.
triangle.
B.
1.
Divide
i n t o 5 congruent s e p e n t s h he or em 14-11)
1
Use
AB as base and then using F AB as radius and
A and B as centers construct i n t e r s e c t i n g a r c s t o
l o c a t e a third vertex of t h e triangle.
2.
L e t B = a . L e t M bethemid-point
of AB. O n t h e
1
perpendicular b i s e c t o r of AB make QM = XM =
b.
Then AXBQ is the required rhombus.
1 ABC
2.
One p o i n t , t h e i n t e r s e c t i o n of the b i s e c t o r o f
and the perpendicular b i s e c t o r of XK
3.
C o n s t m c t llnes
and /
parallel to AB and F'H
e
at the same distance from
and FH. If / and
i n t e r s e c t at Q, the bisector of L Q w i l l be
the required b l s e c t o r slnce each of its p o i n t s is
equidistant f r o m
and
f,
4.
4+a
C*
&
s.
Chapter 15
--
508 1.
509
2.
It has
sides, but o n l y
5 vertices.
Yes. 1 2 2
All sides have the same length.
angles are r i g h t angles
All
"3.
a.
Alternatively:
The 3 m t e r ~ e c t i o nof the interiors of a l l the angles
of the polygon is the i n t e r i o r of the polygon.
b.
4.
a.
0, 2, 5, 9 , 5150,
w.
(*diagonal of an
n-gon can be drawn from each vertex t o all but
three o t h e r vertices. In doing t h i s , each diagonal
is counted twice.)
509 5.
6.
510
4 PleX
n '
By the P o i n t P l o t t l n g Theorem,
there is a p o i n t P2 on QX
such that &P2 = &PI. Then
n
the minor a r c P1P2 has measure
360
Now repeat the proceas
n
replacing F1 by P2 and halfplane HI by Hz, the halfplane opposite to P,I , w i t h
s
edge QP
This yields a minor
f
4
arc P2P3 of measure 7
360 which i n t e r s e c t s P ~ P * only in
P2. Continuing in t h i s way we g e t a sequence of p o i n t s
..., pn
such that successive minor
P1*
P%P3have measure 360 and
arcs PIP2,
P2P3,
' n - l nP
...,
[pages 509-5101
n
have in common only an end-point. Then the maJor arc
PIP,
n
1
has measure T4360
and t h e measure of the minor a r c
1
PIP, must be ,4360.
Thus the p o i n t s P1, PZ,
,
. ..
n' - 1,Pn
to end.
511
divide the c i r c l e i n t o
congruent a r c s , end
polygons to c i r c l e s .
512
[pages 510-5123
Problem S e t 15-2
b.
c.
3.
5.
No.
8.
b.
c.
d.
3.
measure of an i n t e r i o r angle.
Adding n of these we get
n 180 sum of the measures of t h e i n t e r i o r angles,
515
11.
"13.
n.
In the ffgure, s i d e
of a regular inscribed
octagon is 1 unit long.
Since A ADO is a right
isosceles triangle,
RD=DO=
B D = r -
5
r
A' In right
2
2
triangle AHD,
AD + BD = m2 oor
2
r 2
( L) + ( r - -)
= I, from which r
fi
J2c
or approximately
1.3,
then n = 4 yfelds an inscribed square and so on. We represent t h e I n f i n f t e sequence p, as pg, p4,
P,
and we t h i n k of these numbers as being approximations
to C which g e t better and b e t t e r as we run down the
sequence. As a simple analog consider the I n f i n i t e sequence
. 3 , .33, .333, .3333, ,33333,
which arises when we divide 1 by 3 and take the successive
decimal q u o t i e n t s . These numbers are approximations t o
which get better and better as we t r a v e l down t h e sequence
1
and we may say that t h i s sequence approaches f as a l i m i t .
Other examples are the two sequences
1 1
1
1, 2, q?
,-
...,
...
...
--.
an'
..
...
sequence anb,-abo
Property (I) says in e f f e c t that if t h e terms of a
sequence are g e t t i n g closer and c l o s e r t o a number a, they
can't, at the same time, be getting c l o s e r and c l o s e r to
another number b. As an llluatration of (IT) observe that
. 3 ? .33, , 3 3 3 ,
3
and that the sequence of "doubles" haa double the llmit:
2
.6, .66, .666,
+3'
To illustrate ( 111) consider
...
. ..
6 , 5.1,
5.01, 5.001,
...4
5 ,
and g e t
P"
+r'
Similarly,
pnl-C1
taking
yields
pn '
--T.
r
-1
P
C'
r
'F
518
7.
For a treatment of irrational numbers, see the f o r t h c a d n g book, Irrational Numbers, by Ivan Niven to be published by Random House and the Wesleyan University Press.
Problem S e t 15-3
a.
The r a d i u z of t h e c i r c l e
d.
T h e c i r c u m f e r e n c e of t h e c i r c l e .
C = 2m,
628 = 6.281.,
100 = r.
The radFus of t h e pond is a p p r o x i m a t e l y
22
7
100
yards.
is the c l o s e r approxlrnation.
C = 2 ~ =
r
l,5OG,OQO
miles.
. 10'
or
The r a d i u s of t h e i n s c r i b e d c i r c l e is 6 s o t h a t i t s
circumference is 2
The radius o f t h e circumscribed
c i r c l e is 6 f i so t h a t i t s c i r c u m f e r e n c e Ls 1 2 ~ 6 ,
The p e r i m e t e r o f
P&RS
o f the c i r c l e .
AD
and
XW
&?. Hence
PS
T h e perimeter of t h e s q u a r e is
2{2
The circumference of t h e c i r c l e is
The i n c r e a s e in circumference is
$(2
+ &).
+ f i ).
2 ~ .But
27r
+ fi >
in each c a s e .
-rr
520
By P r o p e r t y 111 ( s e e above)
p,-+C.
1
7
anpn + T
P r o p e r t y 11,
rC.
Since
anpndrC,
1
An =
a,p,,
and by
by
substitution we g e t
A n d F
rc.
S i n c e by P r o p e r t y I sequence
1
can have only one limit, A =
rC.
But we have
A, -A.
An
F r o b l e m S e t 15-4
3.
a.
b.
4.
9.4
No.
The a r e a of the f i r s t is
second.
A r e a of c i r c l e
ioo
Tr
= 32 approx.
= 4s = 20
s =
5.
lr,ches ,
square
52)
6.
~ ( 5 ~ 2 ) ~ - ~ ( 5 ) ~ = 2 5 7 ~ ,
The area is 2 5 ~square i n c h e s .
Radius = 4 f i inches.
Circumference = 8 fir
inches
Area
8.
487~square inches.
9.
10.
Therefore,
'3
rl
>
r.
524 +13.
a.
Note that
rl=OA=OR=BP
and
r2=OS = C P .
14.
6
A
I H I
y
2
525
and length of a r c .
526
527
528
3m
-7F
4,
5.
a.
in each c a s e .
Area of s e c t o r
90.
1.
-6
012 = 2 4 ~ .
Area of t r i a n g l e =
Area of segment
b.
= 3 6 6
= 248
3 6 f i or
= 3 T 6=!
Area
of sector
Area
of triangle = 1
L
Area of s e p e n t
6&
l27r
13.04.
12~.
3 = 9 n .
9 f i
or
22.11.
c.
a.
Area of
sector
1
8
Area of t r i a n g l e =
Area of segment
87r
28.
*8*
8a.
16 f i .
16&
b.
or
2.51.
T.
Draw
I F . Then GC = 6 , AG = 24. In t h e r i g h t
triangle A AGB, the length of t h e hypotenuse is twice
the length of one leg, so 4 ABG = 30:
BAG = 60,
and C E = GB = 2 4 n . The major a r c CD has the length
2
5(2r
30) = 4Olr and t h e minor a r c
has the length
$12 7 ~ . 6) = 4rr. Thus, the total length of t h e belt is
A
2(24a)
40a
4a
48A
-t
44~.
Review Problems
Thk f i r s t and t h i r d are polygons.
The t h i r d is a convex polygon.
a.
Yes.
b,
Yes.
108,
12.
120, 135,
c.
144.
No.
2).
This is
530 5.
a.
b.
perimeter.
and
Hence,
15.
1
A = 7 ap
2.
A =
n ( 9 )*+2,
4s and
$ r.
g3 of i t s circumference. i
n
by XOY and XPY.
The area of each of the
e a u i l a t e r a l trian~les
2
1s 6 .
The area of
each segment IS
2
im2-$n.
Then
t h e area in which t h e
woodchuck can s e t t l e is
any woodchuck b o w s .
18. Let
is
Hence,
4.
P
s,
But
SO t h a t ,
=a=q=
.:
The s l d e s also
2
have t h e ratio 3.
2.
3.
4.
A polygon
is a polygonal region.
In the same c i r c l e , the areas of t w o s e c t o r s a r e prop o r t i o n a l t o the aquares of the measures of t h e i r arcs.
The r a t i o of the area of a c i r c l e to the square of i t s
radius is w.
The length of an arc of a c i r c l e can be obtained by
d i v i d l n g its angle measure by a.
Doubling the radius of a c i r c l e doubles its area.
I n t o how many triangular regiom would a-convex polygonal region with 100 s i d e s be separated by drawing a l l
p o s s i b l e diagonals from a single vertex?
If the area of a c i r c l e is
8.
9.
50'
The angle
of a second s e c t o r of the same c i r c l e i s 100~. Find
t h e ratio of the l e n g t h of the a r c of the Simt s e c t o r
to t h a t of t h e second, and the ratio of t h e area of the
first a e c t o r to t h a t of the second.
whole number. )
10.
C.
1.
A
A
m.
is a regular hexagon
circumscribed about c i r c l e
0. If its perimeter l a 12,
find the circumference and
the area of the c i r c l e .
ABCDEF
True.
6.
True.
True.
7.
False.
False.
8.
True.
False.
9.
False.
True.
10.
False.
0.
Since
since
A =
1 to 2
= 2m,
rr2 ,
r =
s.
C;
A = (
in each case.
c2
C.
1.
9 n .
2.
3.
A.
.
square miles
2 = T,
Chapter 16
VOLUMES OF SOLIDS
535
535
536
537
I'
537
~f
I
l a t e r a l face F which
1s the union of all s e p e n t s
PPt , where P is in 3,
is a parallelogram region.
Remember that by definition
of a prism, PP1 ) ( L and
Consider
P 7 I s in 2.
E
AA'
and BB7 where
A A I 11 L, BBt 1 1 L and
At,
B1 are in E2. Then A3B1A1 is a parallelogram
and the l a t e r a l face F is the corresponding parallelogram
region. To prove t h i s , f i r a t show that every
p
PI is
- oint
on A ' B t , and in fact that A t B t is the s et of all such
points P i . men show that every p o l n t of PP' is on '
ABBrAf or is in its i n t e r i o r . Finally show that every
po-lnt on ABBIAt o r I n its i n t e r l o r lies in some segment
PPt
Thus, the segments PPf constitute the parallelogrm
region composed of ABBtA1 and its i n t e r i o r .
Problem -S e t 16-1
1.
.
.
538
FW 11
( D e f i n i t i o n of prism)
Hence, FK and 5
By d e f i n i t i o n the
determine a plane h he or em 9-11
upper and lower bases of a prism are parallel, hence,
FB )I HA h he or em 10-1) Hence, A3FH is a
parallelogram.
539
40
20 = 210.
2.
30
3.
3 ~ 8 ~ 1 0 + 8 ~ 4 f i = 2 4 0 + 3 2 6
The total surface area is 240 + 3 2 f i square inchea
4.
50
70
. ..
... .
A3 = S3e,
area,
But
base.
A =
S1
Sle
S2
Sle, A 2
= S2e,
... = ( s +~ S2 + Sg + ...) e .
... = p, t h e perimeter of the
S e +
2
+ S3 +
Therefore,
A1 =
A = p
e.
5b
542
to each of these.
--
Problem S e t 16-2
544 1.
2.
an equilateral triangle; 3.
square;
25 square inches.
Hence,
VA = VB.
Similarly,
definition, so
h AVB
h w c s A CVD
by S.S.S.
= ...
P , Q, R and S
the mid-pointa of Af3,
be
-
Let
AC,
respectively.
and
Then
and PQ are each
parallel to BC and equal in
length t o
3C. Therefore,
SR and PQ are p a r a l l e l ,
coplanar, and equal In length
making PQRS a parallelogram.
VB
-I
[pages 540-5441
544
5.
..,
545
6.
By Theorem 16-5,
7,
square inches
10
13) = 260.
The l a t e r a l area is
260 square i n c h e s .
If x is the area of the c r o s s - s e c t i o n
the base then
X
9 * =
m
=(=)
Hence, i t s area is
38.
3 inches f r o m
and x = 56.25.
Let
PS
=.
9
[pages 546-5471
5 49
552
1.
5 x 4 x v 3= 1 5 .
15 x 1728
2.
--
112 approx.
20 x 8 x 4.6 = 7 3 6 .
tank .
33
f i s h c a n be kept in the
tank.
[pages 549-552
552
4.
"2 ' 72
3 6 m .
Now,
V = $h,
or
5.
1836=$m(18)2*h. o r
h=17.
The height is
17 feet.
?.
<
553
--
554
555
(a)
Any point
lies on
(b)
PI
comon to
MI.
Any point
P1 of c i r c l e M1
surface and E.
Proof of (a): Let PI be comon to the lateral surface
and E. Then PI l i e s on an element E
l
where P I s on
circle M (by definition of l a t e r a l surface). Then
PP1 1 1 C C 1 , since any two elements of a cylinder are parallel.
And PICl 1 1 W by Theorem 10-1. Thus, PPICIC I s a
parallelogram and PICl = PC = r, That is PI lie^ on
c i r c l e MI.
ii;bl
-.
&
w1
(2)
(4)
557
1 1 PW
that A V&R
area of c i r c l e Q =
ape. o r c i r c l e P
A m . Then
2
(#)
2,
RPW
557
BO
Problem S e t 16-4
2.
80
( m e f a c t o r s of
= 265
231
are
- 7 .11.
By
3.
16r(2.812
16n(2.512
16~(2.8*- 2.5 2 )
or
161r(2.8 - 2.5)(2.8
2.5)
16~(.3)(5.3) = 80 approximately.
Approximately 80 cubic inches of clay will be needed,
=
4.
altitudes, so
Hence
558
5.
V2
.064 x 27
1.73
approx-
Volume of f i r s t can
m2h .
558
6.
202. 36
7
= 4800.
7.
20m*36
2400s = 7,536
Figure 1 is
rrzh
Figure 2 is
559 " 9 .
4'
=6
x = 16
from which
and x
8 = 24.
...,
,
'
...
,
'. * ' ' 9'
...,
...,
v2
that the sequence of quotients v1
. . . , Vn . .
1
will approach t h e f l x e d number S .
You may better appreciate t h i s method if we apply it in
a sampler case t o derlve the formula f o r the circumference
of a c i r c l e . Conslder a
circular ring with fixed
inner radius r , o u t e r
radius r + h and inner
circumference C
The area
A of the r i n g is approximately hC (it c a n be
flattened out to approximately a thin rectangle)
and A is approximately C . As the r i n g g e t s t h i n n e r and
thinner the approximation g e t s better and better, that is,
A
-h-C
as h-0.
But A = i r ( r + h ) 2 - a r 2 = * r h + r h 2
so that
A
r,
X'
%'
= 2m -t ?rh.
Now l e t
A
h-0.
approaches.
Then -A+ 2 n r .
Therefore,
But
hrr.
As
.I.
+ m).
v approaches the
limit
7TSR.
get very
small, and so
--
4~16.
Approximately
$~64.
Approximately
201.
268.
10,752 gallons.
gallons.
Volume of
T R ~ 2R =
2
3
$~TR ) =
cylinder is
2 r R3 ,
4
YR
which
4
S i n c e r = 1, the volume of the i c e cream I s TT
and
5
t h e volume of the cone Is
Therefore, the cone
If R and
4R
[pages 562-563
q3
y(4 R )
m.
= I
563
8.
rfi,
*9.
r be the radius of
Let
r2
18*
r2
324+ r2
- 6)*.
(r
12r + 3 6 .
12r = 360.
r = 30. The radius is
30 feet. Using
4 3
V = y , the volume
of the tank in cubic
4~ 303
feet is 7.
18
*lo.
Therefore,
3 -R~
Or
R
3fi
r=-.
Hence,
Since,
3fi is
r
approximately
is approximately
[page 563 I
1.6,
54 R.
563 "11.
Let
the
lateral area of the cylinder, and h the thickness of
vS
the shell. Then aa h gets smaller and
smaller. By Theorem 16-14 we know that
2
2
V = a ( r + h ) a - m a
Therefore,
Kv = m a + m.
Since,
h-0,
Hence ,
S =arm.
ha--+O
and E-2.ra.
Revlew Problems
1.
2.
a.
rhombus,
b.
8.
c.
61 approx.
3 2 n .
&*$-$-~-$r*l*l*ld
(4
3.
60.
120,
12
4 -8117 =
1) = y-
48 square inches.
$5
If
approx.
12 = 432.
5.
= 61.26
19 approx. + - 2 5 - h = 5 0 0 .
h = 60
a = 19
4.
108.
is the area of the cross-sectlon,
=
[pages 563-5643
564
6.
4872
approx.
4000
~ ( 2 8 8 0- -.)
565 "8.
4
~~144.20-y-1O010.10=
4640 rr = 4872 approximately.
=
T5=8
Hence,
y1 6 4 - 1 5 - (@
= 320a
9.
L
* 10.
45 .
h = B
and
7=
75
'45
.v,
a~
687.5
rg.
approx.
A diagonal of
In t h e rectangular
parallelepiped, diagonals
and % of rectangle
ABXW a r e congruent and
b i s e c t each o t h e r at 0 .
Sfmilarly , .diagonals KF
A
0
and HQ b i s e c t each o t h e r
a t Or
By conaidering
the intersection of KP and G, it is evident that
0 ' = 0 . Therefore, a l l f o u r diagonals b i s e c t each other
at 0 . S i n c e the diagonals are congruent, it follows
that 0 is equidistant from each of the v e r t i c e s , and
is t h e center of the required sphere.
AX
2.
A plane section of
3.
4.
5.
Two pyramids with the same base area and the same v o l m e
have congruent altitudes.
6,
7.
8.
p d
where
9.
i a I t s diameter.
rectangles.
10.
to t h e
base.
11.
12.
24 square
s quare
inches,
and altitude 6,
t h e area of a cross-section one-half inch from the base
In a c i r c u l a r cylinder w i t h radius
the
vertex I s
Answers
A.
B.
1.
T,
T,
11.
2.
T,
7.
T,
12.
3.
F,
8.
T,
13.
4.
FJ
9.
TJ
14.
5.
T,
10.
F,
15.
1.
32 pupils.
2.
48
3.
3 & z
inches.
22 x 26 x 12 = 32.3
200
1
T
.
1
g.
3fi.
Chapter 17
PLANE COORDINATE GEOMETRY
The inclusion of a chapter on a n a l y t i c geometry in a
[page 567 1
Algebra
Geometry
A point
in a plane
(X~Y)
The end-points of a segment
(xl,yl)
The slope of
The number
PIP2.
and
(x2,y2)
m =
Y2
X2
The dlstance
PIP2.
The mld-point of
.
Y1
X1'
I The number
X1
P1P2.
X2
.TIY1
Y2
A line.
The i n t e r s e c t i o n of two
lines.
Two n o n - v e r t i c a l lines
a r e parallel.
Two n o n - v e r t i c a l lines
are perpendicular.
568
I
I
m1 = m2*
mlmp = -l*
Problem Set
574
1.
I'
2.
(0,o).
3.
-3.
4.
The o r i g i n , or
5.
(2,l)
a.
IV.
c.
I.
b.
11.
d.
111.
7.
and
(0,~).
(2,0).
c.
IV.
d.
111.
[page 5741
0.
575 "12. a .
b.
1
I
ir
r
F
576
That is
'X2
* -- X1
- '*
X1 - X2
cannbt be used as
m = Y2
although rn =
is a l s o c o r r e c t . n o t i c e
X1 - X 2
t h a t in finding the s l o p e o f
it doesnTt matter which
point is labeled P1 and which one is l a b e l e d P2.
AB
578-579
RP:,
and
PIR
are
fraction
RP2
if the s l o p e is negative.
However, the
RP2
= yp
m<O,
y1
and
PIR
= x2
then m = -
0, then
xi.
y1
Y2
Yg
rn
X1
equivalent t o
Y2
2
Y1
X1'
RP2
V'
RP2
m =
and
PIR
which is
X2
if
x1
x2,
--
d.
e.
f.
No.
e.
x-coordfnate
f.
[pages 580-5811
"11.
f,
= (a
1,0).
Let
be p e r pendicular to the
x-axis. Neither
w
C )
PA nor PB is
perpendicular to
the x-axis, hence,
H
n e i t h e r PA nor
H
PB is parallel to
H
H
M
++
RS. L e t PA, PB i n t e r s e c t RS in Q, Q',
respectively, L e t Q = ( a + l , c ) , Qt
(a + 1,~')
==
12.
14.
a.
Yes.
Slope of
Point
AB
3
-?.
b.
ia
96
g-E;
is common.
1.
b.
No.
C.
a - b .
7
Slope of
Therefore
[pages 582-583
f,
AB
BC
and
Is
H
BC
100
= 1.
coincide.
583
15.
S l o p e of
A3
is
= 1;
slope of
H
CD is
1 = 1.
C*
E,
is on
e
AB
f o l l o w s that
16.
It
C*
583
m.
m,
and
L Q' PQ
Finally, we get
L Q' PR
fact that
that
a r i g h t angle by us i n g the
IS an exterior angle of A PQt R l and
L QPR = L P Q f R t .
Problern S e t 17-5
586
1.
Slope
3
AB = 2;
slope
M=%. slope
collinear.
Hence,
a#
Slopeof
AB=
3
CD = F;
hence, AB II CD or
-4
hence, A, B, C, are not
3'
Similarly, prove
2.
fX 1) AD.
)I E .
-
2
2
-T,
slope of C D - -3.
587
1 L3
~ n d L2
1 L4,
3-
L1
4.
respectively,
2
-5,
by Theorem 17-3.
2
3,
-
3, - 3-
parallelogram
-
AD
The f i r s t is not a
- - -
3-
Slope of
BC =
Slope of
AC = 0.
[ p a g e s 586-5187 1
CD and
b.
Slope of altitude to
Slope of altitude to
BC =
The altitude to
segment.
AC
5.
- 3.
has no slope; it is a v e r t i c a l
Both
and CD have t h e same a l o p e , -1; AC has
s l o p e 0. Therefore
11 E .
and BC have
d i f f e r e n t slopes. Therefore the figure is a trapezoid.
Diagonal AC I s horizontal since I t s slope is 0.
Diagonal BD is v e r t i c a l . A vertical and a horizontal
l i n e are perpendicular.
The s l o p e in each case is t h e same, ; 1
the a l o p e of
AB
AD
is
-,
- Q.
0. Hence, the
la
z.
E l z.
L
PQR
-
will be a r i g h t angle If
PQ will be perpendicular t o QR if their slopes are
negative reciprocals; that I s , if:
from which
Slope
If
*
PQ
PQ
b = -17.
-1
= -;
alope
RS
-1
= =
;slope
QS = 0.
m,
588
various
and
derive the distance formula
positions in the plane. In working with the d i ~ t a n c e
fomula, it does n o t matter in which order we t a k e PI and
P2 In as much as we will be squarhq the difference between
coordinates. The distance formula holds even when the
segnent PIP2 is horizontal or vertical.
-
Problem S e t 17-6
I
-
590
AD=4.5,
1.
and b. A B - 1 ,
AC=3,
BD = 3.5, CD = 7.5.
3.
a.
5.
e,
17.
b.
5.
f.
fi
c.
13.
g.
89.
d.
25.
h.
56.
a.
( y 2 - yl)
b.
4.
591 5.
-x2)
25.
By the distance
Since ST = RS
+ (xl
BC=4,
formula RS = 5,
R T = C and
the triangle I s isosceles.
S T - 5.
591
6.
a=
and
2 = 6&.
AC =
8 f i .
C.
Hence,
"10.
D E +
~ D F ~
= E F ~ . This is the case since
AB =
2 f i . BC =
Hence, AB + BC = AC,
Inequality, A , B, C,
from t h e d e f i n i t i o n of
A
a right
DF 2 = 4 5 and EF 2 = 5 0 .
DE 2 - 5 ,
7.
1D
WY
= XZ.
a.
b.
y2
592
Problem s e t 17-7
x = -31.
41.
The o t h e r end-point is at
4.
y =
- -
(-31,41).
-2.
594 5.
The mid-point
The mid-point
The mid-point
AB
X of'
Y of
2
and BZ
2 m ,
6.
(3,2).
(-1,3).
is
is
of CA is
CX
(I,o).
5.
themid-points o f
Byfo-la,
fi,
AY =
fi
E, BC, CD
or
and
7.
- m.
8.
A FlP2S,
Since
TU
and
3 P 1S.
PIR
and
TU = 1 W .
TV = P,S,
FIR
I
I
T1
In terms of coordinates
I
I
!U
x =
T1 ( ~ a XI)
IV
+ XI.
argument with
PIP2
x = 7.
x2
2X1 By a similar
+
Therefore the c o o r d i n a t e s of
595+9.
a.
1
Replacing 5 by
r + s
previous problem, if x2
r(xp
from which,
are
in t h e s o l u t i o n of the
>
XI,
we get
xl) +. xl(r
r + s
S)
>
595
ordinates.
A Y
AY
D (b,c)
c(a+ b,c)
~ ( -a,c)
b
A (opl
--
Problem S e t 17-8
Therefore,
2.
DB
= AC
A
~ ( 0 , b)
2
as shown.
By d e f i n i t i o n of midpoint PA
PB.
Therefore P = (a,b)
C(OPI
It must be shown that
PA = PC (or that
fB = PC). By the distance formula
PA = J(2a
3.
- a12 + ( 0 - b ) 2 =J=
and
~ ( 0 , b ) be any
Hence
IPCO.b)
PA = PB.
A(-0.0)
B(O,O)
599
4.
end-points A(-a,O)
B(~,o), and t h e y-axis
will be its perpendicular
his ec t a r . L e t ~ ( xy,)
be any p o i n t equidistant
from A and B. From
the distance formula
QA
Since
(x + a)*
+ y2
and
A(- o,O)
I
QB2 = (x
- a ) * + y 2.
w 2 = w 2 or
QA=QB,
(x + a)* + y2 = ( X
Simplif'ying, 4ax = 0.
x = 0, since
a12
y2.
0.
Hence Q must lie on the y-axis which is the perpendicular bisector of AB.
5.
The mid-point of
The mid-point of
AC = -)(, a + b c + O
BD
)-,(
a + b O + c
( aT ,+F )b. c
(aT ,+T b) . c
Since
Since
R S = b- -- tpa= - .d
D C = d - b
RS
b + a - d
AB=a.
DC) =
= $(AB
- DC)
Therefore +(AB
Hence,
and
*3
-.
RS
11
AB.
Mid-point of WS = ( a + d + b , e + c ) .
Mid-point of TR = (a I- b + d,c + e ) .
Therefore % and TR b i s e c t each o t h e r .
Area
Area
ABC =
area A ABC
XY
Slnce
a(t
s)
a.
(b
b(r
XR
a)*
cP
= (b2
Z Y ~= X Z +
~ XY2
Therefore
+
-
c(s
2
c )
a2
2XY
. XR.
t)
or
r)
b.
2ab,
indicated.
lies
C(2b.2C)
600
11.
MC* = ( a - b 1 2 + c 2 ,
Si n c e
(b2+ c2) + (4a2 4ab + b 2 + c 2)
Therefore
AC
+ BC'
= 2a 2
+ 2(a2 - 2ab + b 2+ c 2) ,
2
2
2
= 2 a + 2 [ ( a - b ) + c 1.
A B ~
2
= 7 + 2MC
Y
A
Y
4
15,O)
I-5 0 )
*X
(5,O)
0
t
t
la.
The v e r t i c a l line
through ( 5 , O )
lb.
[pages 600-6031
2a.
2b.
A l l p o i n t s between the
l i n e s y = 3 and y = -3.
A l l p o i n t s between the
4.
A l l p o i n t s wlthin or on
3.
5.
A 1 1 p o i n t s within,
or
6.
on the l o w e r boundary
of the i n d i c a t e d s t r i p .
A l l p o i n t s within the
second quadrant.
60 4
Y
7.
A l l p o i n t s w i t h i n Lndicated angle.
[pages 603-6041
A
e etc.
4
8a.
A 1 1 points on the
vertical lines
lndlcated.
Y
8b.
A 1 1 points on the
horizontal lines
indicated.
8c . The i n t e r s e c t i o n of the
aolutiona for ( 8 a ) and
(8b). 1 . e . , a l l points
Fn the f i r 6 t quadrant
with integral coordinates.
9.
All p o h t s in the i n t e r f o r
604 "15.
and
(0,513
(-510)
(0,-5).
--
[pages 604,6101
The graph is
the y - a x l e .
I
611
18. a .
The yz-plane.
The xy-plane.
c.
to the yz-plane, i n t e r s e c t i n g
x = 1.
t h e y-axfs at
611
x-axis.
A plane p a r a l l e l
t h e x-axis at
d.
y = 2.
[pages 610-6111
611
s l o p e then
"=P;R
"
=-v
RP2
Then, given one point on the graph and the s l o p e we can find
a second p o i n t by counting t h e units in t h e legs of the
right t r i a n g l e , Consider the example used by the t e x t ,
y = 3 x - 4. We see immediately that the y-intercept is -4
and that the s l o p e is 3. Since the slope is p o s i t i v e , the
graph w i l l r i s e t o the r i g h t . Hence, we can f i n d a second
p o i n t by s t a r t i n g at (0,-4)
and counting 1 unit to the
right and three units up t o t h e point ( 1 - We can check
to s e e t h a t we are c o r r e c t by a p p l y i n g the s l o p e formula to
these coordinates.
2
- ~x
c 3.
We see t h a t the p o i n t
(0,3)
lies on the
5.
7.
8.
xy-plane.
(0,O).
--
Problem S e t 17-13
The emptg a e t .
3.
4000 miles.
619
4.
a.
The i n t e r s e c t t o n is
point (2,4).
b.
The i n t e r s e c t i o n is
the ray shown with
end-point
I
I
I
(2,4)
(2,4)
It
c.
The intersection l a
the i n t e r i o r of
L ABC.
5.
d.
a.
The i n t e m e c t l o n is
the interior of the
triangle with vertices
(2,419
y<2x
and y < 4.
and
(-1,41
b.
x + y < 3 ,
x
>
>
0,
0.
11
619
6.
The mid-point
coordinates
has
B t5,8 1
4-
The slope of
8 - 4
n=
AB
is
so t h e
2,
1
l
--
I
(
"
4.
y - 6 = - ~ + 2 , 0 r
A (3.4)
---
slope of L is
and
i t s equation is L:
7 - 6 = - $(x
41,
2y = 16.
Alternate solution:
for which PA = PB.
which reduces to x
L is the s e t of points
Thls gives
~(x,y)
2y = 16.
3x
y = -3,
N: a -3 y = - 1 9 ,
The i n t e r s e c t i o n G o f L and M i s obtained by
solving their equations:
10 51
G = (7'7) Substltutlng in t h e thi& equation, we f i n d that G
lies on N a l s o .
620 *8.
w:
t
,
EM:
y = $(x
4).
w,
B:
m e line
X*
9m
Y2 = m*
\
has the equation,
620
X =
X1y2
y2
X2Y1
Yl
Now
620 *9.
AB,
C, perpendicular to the
base
i.e., it contains the altitude f r o m C. If
%$ where rn is its s l o p e , contalns the altitude
from A , 1t has the equation
The y-axls is a llne through
Y
SLnce
C+
AM
%Z= -
ao
7 ( +~4 ) .
8
y =
is
- -.
slope
n =
A M 1 BC,
~ u stl o p e
m(x + 41,
To f i n d the y-inlercept, l e t
0:
7 - 4 =T'
7
8
-,
- z1(x -
y =
7)
Letting
slope
slope
AM:
BC
AM
=-
C
b,
W = z,
80
- a),
b
y = -$x
and
ba
. ,-
the y-intercept is
S i m i l a r l y , slope
slope
w
BN:
$X
AC
so
- b),
the y-intercept i s
=--
and
ab
-. ,
a'
(0,s) on
620
621 *lo.
Let
A = (x1.y1).
( X ~ ~ Y ~ C) ,
= (x3,y3)
Then we have
The s l o p e of
If
G = (
X 1 f X 2 + X
t h e d o p e of AG
so
H
A I x,
w
AR is
, YI)
3 y1 + Y 2 + Y 3 )
then
is
is on t h e median
C,
AR.
BT is
[pages 620-6211
621
f--*
BG
is
Y1 + Y2 + Y3
- 72
rnZ1 = 3
Xl + X2 9- xX3
= m2,
3
- X2
so
The equatfon
3y
-k
1 = 0
is equivalent t o
3. - 5'
y = -
from
d =
[page 621 I
simultaneowly to
(1,2) to
-5 f i .
P by t h e
621 "12.
To f i n d
-
AB
and
ab
= (0,- T
=
).
a + b c
E:
Therefore,
Now
- bj2
a + b c2 + a b
of
621
= 2MD,
HD = 3MD,
HM+MD=HD.
H, M,
is between H and D,
and
and that
trisects
HD:
--
Problem S e t 17-14
626
1.
2.
a.
(11,
(31,
b.
(31,
(4).
c.
(1).
3.
a.
Center (0,O); r = 3 .
627 4 .
a.
Replacing
(41,
(6)
f.
(4,3);
6.
(x2
012 = g2*
The center of t h e c i r c l e is
is 5.
(X
(y
5.
c.
a.
b.
- 8= 4 - 4
16.
So the
eauation is
There would be another tangent c i r c l e of radius
The including c i r c l e l a x2
+ y2
= 100.
If 16 - 33rn2
intersection:
>
c.
IP
=16m , m = - +-
rn2
and
m*
are tangent to t h e c i r c l e .
If 16
33rn2
<
0,
there is no p o i n t of inter-
section.
628
9.
512 + (y
- 3)2 = 22.
The
Let
r.
and
where
(approx.)
( approx )
= 10
..
or
+ 6 (approx.
10
18.37)
and
[pages 627-6281
r2 = 337.3
r2 = 2.7
Review Problem
3E- The
a.
PT
(2a9a), U = (a,2a).
=J-=
4a
QU
Therefore
b.
-t-
aJ5;
PT = QU.
Theslopeof
The slope of
Since
a - 0
QU =
PT=-=?.
Ir
2a = -2.
1
T,
628
*c.
0 = $(x
PT is:
- 0)
or
y = p .
The equation of
QU
ia:
. The distance V9
2
J(%0) + ( $ -p e l 2 =
8a,
(77
-5
is then
2a = length
of side.
629 lo.
Y
A
[pagea 628-629)
Equation of
Equation of
13.
%? is
%8 I s
Lengths of parallel
sides are: l a l , Ib
Altltude is l c 1
y = x - 6.
y
3&.
Y
- dl.
2.
Review
Chaptem 13 to 17
26. 1.
2-7. 0.
28. 1.
29. 1.
30.
0,
31.
0.
32.
1.
33.
1.
34. 1.
35.
1.
36. 1.
37.
0.
38.
0,
39. 1.
40.
0.
41.
1.
42.
0.
43.
0.
44.
0.
45.
1.
46.
0.
47. 1.
48.
o.
49. 1.
50.
0.
[pages 630-6331
---
(5,0)
(0,0] and
(5,3).
d.
(-110)
b.
(1,4)
(4,8).
e.
(-2,-3) and
c.
and
and
(-33-2)-
(-2,3).
(1,4)
and
b.
(-1,0) and
(2,3).
(-9,15),
c.
(a,b)
and
(-a,-b) ,
D.
E.
2.
3.
The v e r t i c e s o f a trapezoid a r e
1.
A triangle has v e r t i c e s
3.
A right t r i a n g l e has
1.
(b,c)
and (d,c). What is t h e l e n g t h of t h e segment joining
mid-po i ~ t s
of its non-parallel s ides ?
(0,0), ( a , ~ ) ,
A(o,o),
~(12,0) and ~ ( 9 , 6 ) .
What i s the e q u a t i o n of the median to s i d e AB?
v e r t i c e s ( 0 , 0 ) , ( m , ~ ), (0,n).
What is t h e equatlon of the median which passes through
the origin?
the hypotenuse of a right triangle is equidistant from
the v e r t i c e s .
2.
3.
Answers
The o r i g i n .
e.
The altitude to
E.
b.
None.
c.
(ljand(3);
( 2 ) and ( 4 ) ;
d.
( 3 ) and (4).
(1)and(4);
( 3 ) and ( 4 ) .
Take a coordinate ~ y s t e m
as shown, wlth vertices
(o,o),
(a,@,(0,2n)
Then mld-point P of
hypotenuse haa coordinates
(m,n)
Distanoe of
f r o m each vertex l a
J-
(2)and13);
P
x
IO,OI
(em,01
2.
Slope
Slope
E = - l = s l o p e CD.
- 1
AD = P = slope BC
Hence,
I( 5.
so that
- 11 BC.
Likewise AD
Select a coordinate
system in such a way
that the vertices are
A(o,o),
Y
A
~(2a,0),
~ ( 2 b , 2 c ) . Let M
mid-point of AC,
be
MN I I E. Then
M = (b,c). Slope
MN=O.
Hence,
w
equatlon MN is y
w
Equation BC is y
~(20,o)
= c.
C
= =(x
Pa).
N
N
= (a
b, c )
is the mfd-point
FACTS AND
--
THEORIES
--
--
a previous stage.
What a r e the considerations that govern our choice of undefined elementa and relations and unproved p r o p o s i t i o n s (axioms,
postulates)? Certainly we want our system to be consistent: a
p r o p o s i t i o n and I t s contradfction should not both be provable in
the system. If we regard our axioms as inputs and our theorems as
outputs, then econonry and fruitfulness are desirable as increasing
output p e r unit input. Of course, this analogy is n o t t o be
taken t o o seriously, but it indicates why we should n o t p o s t u l a t e
everything. Unfortunately, some geometry t e x t s nowadays go t o
the extreme of setting down fifty or more postulates. There is
nothing logically wrong with this, but it militates against
economy, elegance, intuitiveness, slmplicfty, and ease of
--
verification i n a particular i n t e r p r e t a t i o n
properties that are
c e r t a i n l y desirable.
One property that we have not mentioned is that of bewg
c a t e g o r i c a l . This means that every two concrete I n t e r p r e t a t i o n s
(models) of the system w i l l be essentially the same: it is
p o s s l b l e t o s e t up a one-to-one correspondence between the elements
and r e l a t i o n s of the two i n t e r p r e t a t i o n s , so that they may be
regarded as identical except f o r t h e names assigned t o the elements
and r e l a t i o n s . The two models a r e then s a i d to be isomorphic. If
we start d t h a p a r t i c u l a r P-plane and wish to describe it completely by means of an axiom system, wlthout permitting any nonisomorphic models, then we try to make our system categorical.
This is the case with Euclidean geometry or t h e real number system,
Somethes we reap an unelcpected harvest from the construction
of a c a t e g o r i c a l system. We may find two apparently d i f f e r e n t
Fnterpretations, and c a n then conclude t h a t they are essentially
identical because the system is categorical. Any theorem which
holds in one model is then sure to hold in the other. A n example
is the p a i r of models %, consisting of the real numbers under
addition, and M2, consisting of the p o s i t i v e r e a l numbers under
m u l t i p l i c a t i o n . The one-to-one correspondence
is
established by the exponential function (from M1 t o m2) and t h e
logarithm (from M2 to M~). Another example is the pair of
physical processes, diffusion of a gas and heat-flow, b o t h being
governed by t h e same differential equation. S t i l l another example
1s t h e isomorphism of Euclidean plane geometry with the collection
of a l l peaf-number pairs, Thfs isomorphism allows us to s o l v e
geometrical problems by m e a n s of algebra, and v i c e versa.
A t o t h e r times, we find it more profitable t o make our
system non-categorical. This is true when we have several P-planes
which bear some resemblance t o each other. If t ~ ec a n construct, a
suitable C-plane so that each of the P-planes is an interpretation
of it, then anything we prove in the C-plane vcl12 hold Ln all of
i t s non-isomorphic models. This happens, f o r example, in the
case of group theory. It also happens when we s t a t e a few, but
not a l l of the axioms of Ehclidean geometry. In this case our
520
theorems, being provable, say, without the parallel postulate,
must hold a l s o f o r a l l geometrfes satisfying the stated axioms.
There I s no reason t o hide t h i s desirable state of affairs from
o w l students, f o r f e a r of violating t h e i r . T n t u i t i o n s about space.
Rather, we should regard such occasions as valuable opportunities
f o r teaching an important lesson.
Our discussion here has been f a r from exhaustive. We hope
t h a t it has served the purpose of pointing to a desirable and
sometimes neglected goal in education, and that it has indicated
how we, as teachers of mathematics, can approach t h i s goal.
EQUALITY, CONGRUENCE,
1.
& EQUIVALENCE
In Symbols
Old
New
Old
The angles
AA=LB
a r e equal,
congruent.
The segments
a r e equal.
The segments
a r e congruent.
AB =m
New
L A ~ L B
L A = rnL B)
* AB = CD
(or m
(or AB
CD)
These uses of
or
if they contain
n o t i c e t h a t the
is the word
the baslc idea
apparently
as,
It
Equivalence Relations.
".
denoted by
'I-".
4,
Classification
Functions.
...,
...,
..,
526
is hard to see how the simflarity relation, -, o r the congruence
relation, 2 , c a n be associated w i t h a f u n c t i o n . As a matter of
fact this can be done, but the methods involved are v e l l beyond
elementary mathematics, as w e l l as being h i g h l y artificial,
THE CONCEPT
-
CONGRUENCE
I.
of Con~ruenceand
- Conventional Theory The
Linear Measure
-----
---
t r a n s f o m a f i g u r e i n t o a congruent one.
Another S e f i n i t i o n . Consider a n d ' c r i t i c i z e a t h i r d
suggested " d e f i n i t i o n " :
Two ( p l a n e ) figures are congruent if a
copy of the f i r s t made on t r a c i n g paper can be made to coincide
with the second.
1-3.
--
aB
7
D.
of sements. What is
1-5. Basic p r o p e r t i e s of congruence the l o g i c a l s i g n i f i c a n c e of congruence o f segments in Euclid?
Actually it is taken to be an undefined term. More precisely,
- using the n o t a t i o n AB
CD, congruence I s a basic r e l a t i o n
between the segnents
and
which we do n o t attempt to
d e f i n e . We study it (as always in mathematics) in terns of its
AB
= z;
==.
o or
.. .
--
uv-
(2)
.
. ..
( A P ~ P ~ ) ,(p1p2p3
...
--
( ' n - ~
P n - lP n1 -
I s laid-off on
AB n times
in a glven direction but n o t e how very precisely and objectively
( I ) , ( 2 ) say this, avoiding the somewhat vague terns "laying-off"
and "directiun". From another viewpoint we are laying the basis
f o r a coordinate system on the line by l o c a t i n g p r e c i s e l y the
p o i n t s PI, P2, ..., P
,
which are to correspond t o the
integers 1, 2,
n,
Now what has this to do w i t h the measure of AB? Clearly we
must learn how B is r e l a t e d to the points PI, P2, P3, .. . .
In the simplest case one of these might coincide with 8, for
example, Pa = B. Then of course we deflne the measure of
to be 3 .
Intuitively (1) and ( 2 ) say t h a t
...,
...
... .
.....
..., 89,
1-8. The d e f i n i t i o n
oP
(I)
m(E)
r n ( ~ )~ 3f~
f and only if
A'B' -
that is,
congruent aewents and only congruent segments have equal meaaures;
If (ABC) then m ( E ) + m ( E )
measure 1s additive in a natural sense;
(2)
(3)
l a unity.
m(W) =
m(E) -
that is,
m)
ml
angle is
Summary:
are proportional.
What does t h i s mean f o r the development of the theory o f
measurement of segments? It says in effect that it doesn't matter
which measure function we choose, since making a d i f f e r e n t chofce
would only m u l t i p l y a l l measures by a constant, Thus, i n convent i o n a l geometrical theory, w e f i x a unit W a t t h e beginning,
determine a corresponding measure function, and t h e r e a f t e r use
t h i s measure f u n c t i o n as i f it were t h e only possible one. And
i n s t e a d of saying precisely the measure of AB ---i n terms of u n i t
W , we say simply the measure o f AB, and forget about W .
The s i t u a t i o n I n everyday life is q u i t e d i f f e r e n t - we employ
measure functions based on a v a r i e t y of units: inches, l i g h t
years, m i l l i m e t e r s , miles.
W
e close t h i s p a r t of our discussion by obseming t h a t the
distance between A and 3 is merely defined t o be t h e measure
of
Sometimes we want t o r e f e r t o the distance between A
and A i t s e l f . This we take to be zero. A separate definition
is required f o r this case since we may not r e f e r t o the segment
A 3 unless we know A # B.
z.
Was it necessary t o use the integer ten in t h e subdlvlsion process? Would others work? Could the process be
simplified by maklng a d i f f e r e n t choice?
Query.
11.
--
Postulate 2 .
h he Distance ~ o s t u l a t e . ) To every
p a i r of
d i f f e r e n t points there corresponds a unique p o s i t i v e number,
If the p o i n t s are P and Q , then the distance between P
as
Definition. L e t A , B, C be three c o l l i n e a r p o i n t s . If
AB a BC = AC we say B is between A and C, and we w r i t e
( A m .
Congrmence
or s,egrnents & D e f i n i t i o n .
Now it is
AB
and
CD
m(E)
m(z)
If and only if
a s m,
(2)
If
(3)
If
= CD
5 Z E;
then
and
CDsEF
then
ABEEF.
(1') AB = AB;
(2') If
AB = CD
( 3 t ) If
AB
then
CD
= AB;
CD and
F u r t h e r we have
( 5 ) Suppose
Then A C E
- - - AB
BC
A'Bt,
= BICt,
(ABC)
and
A'C'.
To prove t h l s we have
,
BICt ,
A 3 = A'B'
BC
so t h a t
AB
+ BC
= AC,
A'B'
(A'B~c').
and we get
AC = A ' G '
or
A C S A'C'.
"
Postulate 3 .
h he Ruler P o s t u l a t e . ) The points of a l i n e
can be placed i n correspondence with the r e a l numbera in such a
way t h a t
(1) To every p o i n t of the line there corresponds exactly
then
I ABC
L ABC;
(2) (Symmetry ~ a w )If L ABC a L PQR then L PQR GS L ABC;
(3) (~ransitive~ a w ) If L ABC 3 L PQR and 1 P&R = L XYZ
L ABC a L XYZ.
(1)
( ~ e f l e x i v eLaw)
(Angle h c a t i o n Postulate)
Let L XYZ be any angle and 3 be
a ray on the edge of half-plane H.
Then there is exactly one ray 3,
with P in H, such t h a t
PAB
L XYZ.
And the Additivity Postulate
Section 1-5 appears in the
form
<
c5),
(5)
c;
(~ngle-~dditivity
Po8 tulate)
Suppose L 3AD
L B 1A I D t ,
L DAC
D r A t C i , D is in the
i n t e r i o r of L BAC and Dt is
in the i n t e r i o r of L B ' A ' C!
A
; :<tA
Then L BAC P L B t A f C 1 .
Essentially on the baais of
theae postulates a measure process
c'
C
can be s e t up which assigns to each
angle a unique p o s i t i v e real number
called i t s measure In such a way t h a t a f i x e d preassigned angle
("unitn angle) haa measure 1 (aompare Sections 1-6 to 1-9).
Denoting the measure of L XYZ by 4 XKZ, we have as you
would expect from our discussion of measure of segments:
(1)
4 ABC
AiBtCt
If and only if
(2) If C Zs i n t e r i o r to
ABC + m L CBD = 4 ABD.
L ABD
then
L ABC a L A I B I C f ;
lD
--
h he
Postulate 11.
o or
in
and AC
DAC + m L DAB
If AB
180.
vertices
CAt--,CtA'
'
' BC-B'Cf
,
BWBr,
C-Cl
1
Congruence pf quadrilaterals. The main objection t o
t h e suggested d e f i n i t i o n is t h a t it doesnlt generalize in the
obvious way f o r polygons - n o t even for quadrilaterals.
T h l s is attested by t h e f a c t t h a t a
square and a rhombus can have s i d e s
o f t h e sane length and n o t be congruent. So to guarantee congruence
of q u a d r i l a t e r a l s i t is not s u f f i c i e n t
to r e q u i r e j u s t that corresponding
s i d e s be congruent, and it Is customary to supplement t h i s by
requiring the congruence o f corresponding a n g l e s . Thus the
conventional d e f i n i t i o n r e q u i r i n g congruence both of sides and
o f angles a p p l i e s equally well t o triangles and quadrilaterals.
However angles, though v e r y important, are r a t h e r strange
creatures compared to segments and it seems d e s i r a b l e , if p o s s l b l e ,
to characterize congruent quadrilaterals in terms o f congruent
segments, or e q u i v a l e n t l y , equal distances. This is not so hard.
Golng back to a t r i a n g l e we observe t h a t its t h r e e v e r t i c e s
taken two at a time y i e l d three segments or three distances and
that t h e f i g u r e is in a sense determined by these t h r e e d i s t a n c e s .
S i m i l a r l y the f o u r vertices of' a q u a d r i l a t e r a l yield n o t four,
but s i x segments ( t h e s i d e s a n d the d i a g o n a l s ) and s i x c o r r e s p o n d i n g distances, which s e r v e t o determine the q u a d r i l a t e r a l . This
suggests:
If we have a 1-1 correspondence
A-At,
B-Bl,
C-C4,
D-Dl
between t h e v e r t i c e s of t h e quadrilaterals ABCD, A t B t C I D 1 s u c h
t h a t corresponding distances a r e preserved, that is
AB,AC,AD,BC,BD,CD 1 A t B i , A 1 C ' , A ' D 1 , B I C ' ,BID+, C I D f
we call t h e correspondence a congruence and we write
ABCD
A t B I C t D i . It is n o t hard to show t h i s d e f i n i t i o n equivalent
to the more familiar one.
P&
------
Q-Q'
.,
You may say that the theory of rigid motions of lines, planes
Non-rigid
-
itself.
About one hundred and f i f t y years ago, a revolution in mathematical thoughtbegan w i t h the discovery of a geometrical theory
which d i f f e r e d from the classical theory of space formulated by
Euclid about 300 B,C. Euclidts Geometry Text, the Elements, was
the f i n e s t example of deductive t h i n k i n g the human race had known,
and had been so considered f o r t w o thousand years. It was b e l i e v e d
t o be a p e r f e c t l y a c c u r a t e description of physical s p a c e , and a t
the same time, the only way in which the human mind could conceive
space. It is no small wonder then t h a t the development of t h e o r i e s
o f non-Euclidean geometry had an impact on mathematical thought
comparable to that of Darwin in biology, Copernicus in astronomy
or E i n s t e l n in p h y s i c s .
How d i d t h i s revolutionary change come about? Strangely
enough it may be considered to have had i t s origin in Euclldls
t e x t . Although he lists h i s postulates at the beginning, he ref r a i n s from employing one of them until he can go no f a r t h e r
without it. This is t h e famous fifth p o s t u l a t e which we may s t a t e
in e q u i v a l e n t form as
is
1.
2.
180;
3.
4.
5.
6.
The f a m i l f a r t h e o r y of s f r n i l a r i t y ;
7.
It is hard t o
...,
astronomical t e l e s c o p e .
Our f i r s t theorem indicated how positional o r non-metrical
p r o p e r t i e s in a non-Euclidean geometry might differ from o u r
Euclidean expectattons. Now we show how m e t r i c a l p r o p e r t i e s s p e c i f i c a l l y t h e angle sm of a t r i a n g l e - are a l t e r e d when we
change the P a r a l l e l P o s t u l a t e .
Theorem 2 . L e t P be a p o l n t and L a line such t h a t t h e r e
are two l i n e s through P each o f which is p a r a l l e l t o L. Then
t h e r e e x i s t s a t l e a s t one triangle the sun of whose angle measures
Is less than 180,
We f i r s t prove a lemma.
Lemma. If the sum of the angle measures of a t r i a n g l e I s
greater than o r equal to 180 then t h e measure of an exterior
angle is less than or equal to the sum of the measures of the two
remote i n t e r i o r angles .
Proof:
Wehave
a + b + c >-1 8 0 . Hence
al
a1
and
al
Let
4 YPRl = bl.
Then
b
2al
90
45.
+ al
90,
so that
bl = 90
and
b1
<4 5
Moreover
bl
>
al
a.
&R1
So that
2a2
and
Let
a2
m L YPR2 = bg.
2 a1 2 45
2 45
T O
Then
b2
a2 = bl,
b2 = b l
since
bl ( 45
Mopeover
and
ag
we
b2
>
a*'
have
a.
-.. .
...
x,
a,
- 45, 9, ... so
L YPR2, . .. have measures at mast
of measures at least
L YPR1,
...
.. .
So
...
C,
+
PR1
and
PX are on t h e same s i d e
PR2,
.. . .
Neutral Geometry
We are using the term "neutral geometry" in g h l s p a r t t o
indicate t h a t we are assuming neither Euclidls Parallel P o s t u l a t e
nor i t s contradictory. We shall merely deduce consequences of
Euclidta Postulates o t h e r than the Parallel P o s t u l a t e , ( a p e c i f i c a l ly our dLscusaions are based on Postulates 1,
15 of the text).
O u r r e s u l t s then will hold in Euclidean Geometry and in the nonEuclidean geometry of Bolyai and Lobachevsky sfnce they a r e
deducible f r o m postulates which are common t o b o t h theories. Our
study is n e u t r a l also in the sense of avoiding controversy over
t h e Parallel Postulate. Actually its study helps us to accept
the idea of non-Euclidean geometry since it points up the f a c t
that mathematically we have a more basic geometrical theory which
can be definitized in either of two w a y s .
We proceed to derive some results in neutral geometsy. Since
you are Familiar with so many s t r i k i n g and Important theorems
which do depend on Euclid's Parallel Pbstulate you might t h i n k
that there are no i n t e r e s t i n g theorems in n e u t r a l geometry. However, t h i s is n o t s o . F i r s t we sketch the proof of a familiar
and important theorem of Euclidean geometry whose proof does n o t
depend on a parallel Postulate (see t e x t , Theorem 7-1).
11.
...,
Substituting
rnL B
for
rnL ECF
we have
r n l BCD = mL B +
nL FCD,
so that
on
L.
mL
Note that since we have not aasumed Euclidls P a r a l l e l Postul a t e we don't know that the angle measure sum I s constant f o r a l l
t r i a n g l e s . So the lenrma is a simificant result in that we can
c o n s t r u c t from a given t r i a n g l e a new one with the same angle
measure sum. In i n t u i t i v e terms we can replace a triangle by a
"slenderer" one without altering i t s angle measure sum. In effect
the ppoof shows t h i s by c u t t i n g off A ABE from A ABC
ing it back on as A FCE.
Now we can prove the following remarkable theorem.
and past-
Proof: Suppoae the contrary. Then there must e x i s t a triangle, A ABC, whose angle measure sum is 180 + p, where p is
a p o s l t i v e number. Now we apply the Lemma. It tella us t h a t there
exists a slenderer t r i a n g l e , A AIBIC1, whose angle measure sum
also I s
180
such t h a t
4 Al < & A.
= 1
+ 4 B1 + 4 C1
and
= 181
180
4 A2
+
+
B2
That is
C2 = 181 and
mL A n
4 A2
and
9.
9, ,
* * *
<
A B C
55 5
for which
P.
We have
m L As
r n l B5
+ 4 C5
181 and
rnL A s 4 -.25
Certainly
mL A s <
1,
but
m L Bs
by Corollary 1 to Theorem 3 .
+ 4 C5 <
180
111.
Do Rectangles Exist?
Theorem 5. If one p a r t i c u l a r rectangle exists then a r e c t angle exists with an arbitrarily large s i d e .
w.
AZ =
such
rn
nAD
>
x.
Theorem 6. If one particular rectangle exists then a r e c t angle exists with two adjacent sides of p r e a a s l p e d lengths x , y.
Proof:
Our method i~ that of a tailor: By the l a e t corollary
we get a rectangle PQRS such that PQ > x and PS y; then we
cut it dorm to fit.
>
s'
Ell
YP
Q'
Qt in
such t h a t POr = x . Drop a
perpendicular f r o m Q l to line Ciif with foot R 1 + Ye show
PQ' R' S is a rectangle. ft certainly ha8 rfg h t angles at P, S ,
R' . We show 1 P Q I R f alao is a pight angle. Suppose mL PQf R r
> 90. Then the sum of t h e angle measures of quadrilatergl
PQ'R'S is greater t h a n 360 contrary to the corollary of
Legendre' s Theorem (part 11) . Suppose m L P e t R t < 9 0 . Then
mL QQt R + > 90 and quadrilateral QQ1R' R has an angle measure
sum greater than 360. Thus the only posslbllity is m L PQIFtl = 90,
and PQrR 1S is a rectangle.
In the same way there is a p o i n t S t in PS such that
PS = y . Drop a perpendicular f r o m S
to line Q f R t with foot
R . Than as above PQ' R v IS1 I s a rectangle, and it has s l d e a
PQt and PS
o f lengths x and y
There is a pqint
are say
and
q.
Then
Now we put two isuch right triangles together to form a rectangle. Construct A AEB
A BDA with E on the opposite side
of lLne AB from D. Show ADBE is a rectangle.
sum
Proof:
By Theorems 10 and 8.
By Theorem 10 and 9.
IV
Lobachevskian Geometry
Now we introduce the non-Euclidean geometry of B o l y a i and
Lobachevsm as a formal theory based on its own poetulatea
We
c a l l t h e theory Lobachevskian geometry t o signalize the l i f e t i m e
of work which Lobachevsky devoted to the theory. To study
Lobachevskian geometry we merely assume the postulates of Euclidean geometry but replace Euclidfs Parallel Postulate by hbachevskyts Parallel Postulate: If p o i n t P is not on line L there
are a t least two lines through P which are parallel to L. In
other words we asswne the p o s t u l a t e s of n e u t r a l geometry ( ~ o s t u lates 1,
15 of the t e x t ) and adjoln Lobachevskyfs Parallel
Postulake. Conscqvently the theorems which we have already derived are valid in Lobachevskian geometry. In f a c t , by putting
together two e a r l i e r r e s u l t s we g e t the following important
theorem.
...,
Theorem 11.
than 180.
Now we show t h a t s i m i l a r triangles can*t e x i s t in Ubachevskfen geometry, except of course for the trivial case of congruent
triangles.
A'
mL
>
and AC > A t C t .
Then we can find B 1 $ on
such that A I B 1 = AB"
and
Ci
on AC such that A I C 1 = ACu
I t f o l l o w s that
AAB1lCrlrAAiB'C' sothat
mL A B I t C f 1 = m L B 1 = m L B .
Hence
BBt C 1
i s supplementary to L B. Similarly
C C 1 B"
is supplementary to L C . Therefore quadrilateral B B t l C t l C
has an angle measure sum of 360. This contradicts C o r o l l a r y 9
and o u r proof is complete.
We have here a s t r i k i n g c o n t r a s t with Euclidean geometry.
In
view of Theorem 12, in Lobachevskian geometry t h e r e cannot be a
theory of similar f i g u r e s based on the usual d e f i n i t i o n . For if
AB
A'Bt
p o s i t i v e real number;
2 )
T2
is
area :
Theorem 13.
Proof: Clearly (1) is satisfied s i n c e the d e f e c t of a triangle is a d e f i n i t e positive number. Property (2) holds since
congruent triangles have equal angle sums and so equal d e f e c t s .
which is t h e d e f e c t of A ABC.
Are there o t h e r area f'unctions besides t h e d e f e c t ? It is
easy to verif'y t h a t if we multiply the d e f e c t by any p o s i t i v e
constant k, we obtain an area function which s a t i s f i e s Properties
1 , ( 2 (3)
This is not as remarkable as I t m i g h t seem, since
the specific form of o u r definition of d e f e c t depends on our basic
agreement to measure angles in term of degrees. If we adopt a
different unit f o r the measure of angles and define "defect" in
the natural manner, we obtain a constant multiple of the defect
as we defined it. To be s p e c i f i c , suppose we change the u n i t of
angle measurement from degrees to minutes. This would entail two
simple changes in the above theory:
(a) each angle measure would
have to be multfplied by 60; (b) the key number 180 would
have to be replaced by 60 times 180. Thus the appropriate
d e f l n l t l o n of "defect" would be 60 t b e s the defect a s we
defined it.
Finally we note t h a t it can be proved that any area f'tmcticn
s a t i s f y i n g (I), ( 2 ) , ( 3 ) must be k times the defect ( o u r
definition) f o r some p o a l t l v e constant k. In view of t h i s it is
natural to define t h e area of a t r i a n g l e to be I t s defect.
1.
prove
We conclude t h i s part by observing that the familiar Euclldean p r o p e r t y - parallel lines are everywhere equidistant - faila
in Lobachevskian geometry. In fact t h e r e are parallel l i n e s of
two types. If two parallel l i n e s have a common perpendicular
they diverge continuously on both sides of t h i s perpendicular.
If two parallel l h e s don't have a common perpendicular they are
asymptotic - that is If a p o i n t on one recedes endlessly in the
proper directLon, its distance to the other will approach zero.
Conclusion
In I t s f u r t h e r development Lobachevskian geometry is at least
as complex as Euclidean geometry. There is a Lobachevskian s o l i d
geometry, a trigonometry and an analytic geometry - problems i n
mensuration of curves, surfaces and s o l i d s require the use of the
calculus.
You may object that t h e structure is grounded on sand - that
Lobachevskian geometry is inconsistent and eventually w i l l yield
contradictory theorem. This of course was the implicit belief
that led mathematicians f o r 2,000 years to try to prove Euclid's
Parallel Postulate. Actually we have no absolute test f o r the
consistency of any of the familiar branches of mathematics. But
it can be proved that the Euclidean and Lobachevskian geometries
stand or fall together on the question of consistency. That is,
if either is Inconsistent, so is t h e other.
Once t h e I c e had been broken by Bolyal and Lobachevskyls
successful challenge to Euclidfs Parallel Postulate, mathematicians
were stimulated to s e t up o t h e r non-Euclldean geometries - that is,
geometric theories which c o n t r a d i c t one or more of Euclid's
P o s t u l a t e s , or approach geometry i n an e s s e n t i a l l y different way.
The best known of these was proposed in 1854 by t h e German
mathematician Riemann (1826-1866). Riemann! s theory c o n t r a d i c t s
Euclid's Parallel Postulate by assuming there are no parallel
lfnes. T h i s required the abandonment of o t h e r postulates of
Euclid s i n c e we have proved the exlstence of parallel l i n e s without assuming any p a r a l l e l postulate (Corollary 3)
In Rlemannts
theory, in c o n t r a s t to those of Euclid and Lobachevsky, a l i n e
has f i n i t e length. Actually there are t w o types of non-Euclidean
geometry associated with Rlemannls name, one c a l l e d sfngle
e l l i p t i c geometry i n whlch any two l i n e s meet in j u s t one p o i n t ,
and a second, double e l l l p t l c geometry, In which any two lines
meet in two points. The second type of geometry can be pictured
in Euclidean space as t h e geometry of points and great c i r c l e s
on a sphere.
MINIATURE GEOMETRIES
1. Preamble. In a given s e t of postulates f o r a special
p a r t of mathematlcs, I t is hardly to be expected that t h e laws of
classical logic, the rules of grammar and a definition of a l l the
terms be Included. We recognize their need but assume them whenever used. We a l s o assume t h a t t h e reader is familiar w l t h the
usual laws of arithmetic and algebra that may be w e d . Indeed
there may be other needed l o g i c a l assumptions t h a t are overlooked
so t h a t the emphasls may be placed upon the particular t o p i c under
immediate discussion, and t h e postulates wlll be confined to those
that have an immediate geometric use.
2. Characteristics of-a postulate system. What postulates
should we make? There is no d e f i n i t e answer t o t h i s question.
The answer depends upon the audience and upon the purpose and the
preferences (or prejudices) of t h e individual. However, there
are some desfrable characteristics of a p o s t u l a t e system, which
we proceed to discuss. We may n o t be able to attain all of them,
and may have t o make some compromises.
( 1) Simplicity,* The p o s t u l a t e s should be s imple , t h a t is,
easily understood by the audience f o r which they a r e intended.
But sfrnple is a relative term, and depends upon the experience
of the audience.
Paucity. It may be d e s i r a b l e to have o n l y a few undef i n e d e n t i t i e s and r e l a t i o n s and t o make o n l y a few assumptions
about them. It may be necessary t o sacrifice t h e s e c h a r a c t e r l s tics t o gain simplicity of understanding. Most t e x t s on plane
geometry f o r beginning s t u d e n t s do s a c r i f i c e t h e s e characteristics, and some t e x t s over-do It to avoid p r o v i n g converses,
especially If the method of proof by c o n t r a d i c t i o n is needed.
This puts a high premium on f a c t u a l geometry as against logical
geometry. It 13 not my purpose here t o condemn o r commend t h i s
(2)
geometry is r e l a t i v e l y c o n s i s t e n t , we f i n d a model ( i n t e r p r e t a t i o n )
within Euclidean geometry f o r it and a f t e r that is done (it I s n o t
an easy task and is beyond our i n t e n t ) , we h o w non-Euc1idea.n
geometry is c o n s i s t e n t if Euclidean geometry is. This is n o t the
only way it can be done, for arithmetic (algebraic) rnethrLC.sare
also available.
( 4) Independent e , It may be desirable t o have a l l the
p o s t u l a t e s independent, especially if we are seeking m ~ d e l s By
t h a t we mean t h a t the postulate system i s such that no p o s t u l a t e
can be derived from t h e o t h e r s . The arguments present in (2)
above are again applicable. In a given postulate system, it may
be p o s s i b l e to prove that some of t h e assumptions could be derfved
from o t h e r s , but it may be s o d i f f i c u l t t h a t i t i s a task t o be
avoided. However, it is n o t really difficult to prove: "Two
distinct l i n e s cannot have more than one point in common" from
the assumption: "There i s one and only one l i n e t h a t contains two
d i s t i n c t p o i n t s " . The method of contradiction is used, and thTs
points out the essential importance of t h i s method of proof if we
wish to make good use of o u r assumptions of l o g l c . The independence of all the postulates of a system i s most r e a d i l y found i n
terms of models. If we can f i n d a model that s a t i s f i e s all but
one of t h e postulates and denies that one, then that particular
postulate is independent of the others. If we can do this for
each postulate I n turn, then the postulates form an independent
sys tern.
---
*See Felix Klein, Elementary Mathematics from an Advanced Standpoint; Meserve, The Foundations of Geometry, p . 230-231; Wilder,
~ounhationsof ~ a t h a i c s ,Chapter 1, 2.
3.
A three p o i n t
--
geometry.
Undefined: p o i n t , line, on.
P3.
P4.
n o t aeem to be any
direct contradiction. The r e l a t i v e consistency of the system is
accepted on the basis of any one of the following three isomorphic
models.
As f a r as consistency is concerned, there does
A
B
used
Theorem 2.
three lines.
Theorem 3 .
To
canmit t e
three
~ 3 '
the system
PI
- ~4
will be complete.
--
4.
A four
peometry. Again polnt, l i n e , and on are
undefhed. To d i s t i n g u i s h the poatulatea from those just used we
use the l e t t e r Q.
Ql.
Q2.
Q3.
(p2)
Proof:
qC2 = 4 * 3 =
(a)
and t h i s is t h e number of lines (Q2). These lines are a l l dist i n c t , ((23) Hence the theorem is proved.
Deffnition.
common.
The two-member
committee model is quite apparent. Each member is on three committ e e s but there is always a unique second committee that can meet
while t h i s member is engaged in committee business.
In order to p r e s e n t geometric models, we imagine the model t o
be embedded in o r d i n a r y Euclidean geometry and then a b s t r a c t from
the diagram those features t h a t are wanted. One such model is that
or a complete quadrangle (a term borrowed f r o m p r o j e c t i v e geometry)
which consists of f o u r points, no t h r e e collinear, and the six
l i n e s which they determine by pairs. Of course you must recognize
t h a t o u r l i n e is only a p o i n t - p a i r .
It is easy t o v e r f f y t h a t
P o s t u l a t e s Q l , Q2, Q3 are all s a t i s f i e d . Models Q 1 8 , Q2', Q3+,
needed to prove the postulates are independent, are more o r less
self-explanatory.
A
QI, Q2,Q3
.@3
4
QI '
S
~ 2 '
43'
If the model
Q5.
Undefined:
point, l i n e ,
on.
P2.
P3.
P4.
P5.
21
( C
p a i r s of p o i n t s
7 2
~ 6 7, .
6.
z,
s,
tf
II
Postulate A 1
There is a function A ( c a l l e d area) defined
for all bounded sets In t h e plane; t o each bounded s e t S, A
assigns a unique non-negative number A ( S )
Postulate A 3 .
A(S)
If S
is a bounded s e t and
= T,
then
ACT).
and S
A1
T,
then T
is bounded, and
S is bounded
A (T) exists by Postulate
to k.
A'
(s)
rI ; ~ ( ~ )
The statement may seem a l i t t l e s t r a n g e , but I t is s p e c i f i c a l l y designed t o y i e l d the type of result needed, namely that a
certain number is 0. For example, suppose t h a t we wish to prove
that a certain formula ylelds t h e c o r r e c t value f o r the area of a
given f i g u r e . Let t h e area be A and the number given by the
formula be B. Denote by a the absolute v a l u e o f t h e i r d i f f e r ence, (A-BI.
Then we wish to prove that a = 0 . We may be a b l e
to show t h a t no multlple of a exceeds 1. If so, then Theorem 1
assures us that a = 0 and therefore that A = B. Another way of
stating Theorem 1 is: There is no positive number which I s simul1
1
taneously < 1, q,
3,
,1
. S t i l l another way is: Every
p o s i t i v e real number is less than some p o s i t i v e integer. If we
regard t h i s l a s t statement as being a mown property of real
numbers, then t h e proof o f Theorem 1 is q u i t e easy. Suppose,
indeed, t h a t a s a t i s f les t h e hypotheses of t h e theorem, but
1 is a p o s i t i v e number, and there Is a p o s i t i v e
that a > 0. Then a
...
1
Integer n such that a
< n, by what we have j u s t said, For
t h i s n, 1 < na, contradicting the hypothesis na ( 1. Therefore
the assumption a > 0 is f a l s e . Since a > 0 or a = 0 by
hypothesis, and the first is f a l s e , the second must be true.
We can now prove some r a t h e r obvious r e s u l t s which are usually
assumed Implicitly in c u t o r n a r y treatments. They a r e , in fact,
somewhat less obvious than some of the theorems t h a t Euclid took
the trouble to prove ( e . g . , the theorem t h a t v e r t i c a l angles a r e
congruent). It is interesting to contemplate what the situation
m i g h t have been if Euclid had decided t h a t these were worthy of
statement and p r o o f . Perhaps school boys f o r centuries would
have studied and proved:
Theorem 2.
The area of a p o i n t I s
0.
..
. ..
...
I A(S) *
Substituting 1
for
A(T)
A(S)
and
4
In 'Ihearem 1, we may take
by Postulate A l .
Therefore
every p o i n t is congruent to
Po8 tulate A 3 .
~ A ( P ~ f) o r
( 1.
~
A(T),
we g e t
a = A ( P ~ ) , since
A ( P ~ ) Is non-negative
t h a t is, A ( P ~ )= 0. Since
a = 0,
P, A(P) = 0
for every p o i n t
P,
by
If T
Theorem 3.
is a subset of t h e bounded s e t
S,
then
A(S)
Proof:
Let
be the p a r t of S n o t In T. Then t h e
1 1s S , and S 1 and I a r e d i s j o i n t . By
S1
union of S T and
P o s t u l a t e A2,
~ ( s )= A(s~)+ ~ ( 1 ) .
A l s ~ ,the union of
disjoint.
S1
and
By P o s t u l a t e A2,
A(V) =
T is V,
A(S)
and
St
and
are
A(T).
Therefore
A(V) = A ( S )
= A(S)
Theorem 5 .
union, then
If
and
A{V)
A(I)
-I- A ( T )
A(T)
- ~(1).
is t h e i r
~ ( 12
) 0,
A(S,)
...,
+ A(s,)
S,
t
... + ~ ( s , ) .
7.
Proof:
Let
BC
0.
be a given segment, of l e n g t h
m.
k.
There is
-*
~[m)
..
~(5)
)l A@,)
+ ... + n(s,)
since
...,
MslL
Sl,
S,
= A(R)
Proof: L e t Ro be t h e region
removed, Then Ro is contained in
R. Therefore
(Am'
R
Rt
and
Rt
is contained in
1(
A(R) = A(RJ
+ A(@
= A(R~),
Postulate 19 of the t e x t now follows readily, since the overl a p of the two regions RI and R2 consists of a finite number of
p o i n t s and s e p e n t a , and the area of the overlap is 0. We s t a t e
Postulate 19 as a theorem, but omit the p r o o f .
Theorem 9 ,
and
S t a r t i n g a t K, l a y o f f p segments of l e n g t h 1 a l o n g ray KL
and q segments of length 1 along ray -+
KN. Then L I s on the
+
+
p - t h segment on KL and N is on the q-th segment on KPI.
The rectangular region R is now enclosed between two rectangular
regions S and T, where S has dimensions
and
n
T has dimensions
and
Therefore
u,
2,
I
A(R) 5
A(T)
= (P
- l)(q
1)A,,
= PW,,
SO
<
(P - l l ( q - l ) ~ , A(R) ( pqAn*
It remains to compute ,A
and then A ( R ) . But a u n l t square,
2
1
whose area is 1, can be s p l i t up i n t o n
squares of aide E,
2
1 = n An,
1
Therefore
(P -
l)h -
1)
-2 (
( Pq
1
3%.
and
q.
and
ab
q
n
b and
is appmxlmately 5
Since
a
is approximately n,
1
the r i g h t a i d e Is approximately E(a
+ b ) , which is very small If
n is l a r g e . A n application of Theorem I to the fixed non-negative
number
* .
1 < b.
n -
<
Then
and
<
so large that
0,
To
and
implies that
irnpllea that
Therefore
is 0, so
A ( R ) = ab.
n,
and t h e r e f o r e