Geometry Foundations and Proofs
Geometry Foundations and Proofs
Farhad Riahi
August, 2018
TO THE ARDENT CALLIGRAPHER
ii
Contents
1 On Symbolic Logic 3
1.1 Preamble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 First Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 The Symbols of Logic . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 Tautologies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.5 Implication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.6 Converse, Inverse, Contrapositive . . . . . . . . . . . . . . . . . . 15
1.7 Quantifiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.8 Quantifiers and Mathematics . . . . . . . . . . . . . . . . . . . . 19
4 On Neutral Geometry I 69
4.1 Congruence of Triangles . . . . . . . . . . . . . . . . . . . . . . . 71
4.2 Theorems on Perpendiculars in a Plane . . . . . . . . . . . . . . 74
4.3 Fundamentals of Spatial Geometry . . . . . . . . . . . . . . . . . 78
5 On Neutral Geometry II 89
5.1 Geometric Inequalities . . . . . . . . . . . . . . . . . . . . . . . . 89
5.2 Perpendicular Lines and Planes . . . . . . . . . . . . . . . . . . . 95
iii
iv CONTENTS
7 On Area 137
8 On Similarity 155
15 Trigonometry 289
15.1 Right Triangle Trigonometry . . . . . . . . . . . . . . . . . . . . 289
15.2 The Unit Circle and (Plane) Trigonometric Functions . . . . . . 293
15.3 The Law of Sines, The Law of Cosines, and All That . . . . . . . 299
1
2 CONTENTS
On Symbolic Logic
1.1 Preamble
Aristotle deserves full credit as the founder of formal (or verbal) logic, that
is, a set of laws regulating human reasoning. Even though he restricted his
consideration almost exclusively to the syllogism, the most famous of which
is: “All men are mortal; all heroes are men; therefore all heroes are mortal,”
the Greek philosopher exerted a profound influence on all scientific thought for
more than two millennia. He set forth 14 such syllogisms and believed that
they summed up most of the operations of reasoning. During the Middle Ages,
theologians added five more syllogisms to Aristotles’s 14, and for hundreds of
years these 19 syllogisms were the foundation of the teaching of logic.
As a challenging warm-up, consider this syllogism taken from a textbook
on logic by Lewis Carroll, the mathematician author of Alice’s Adventures in
Wonderland:
One, and only one logical conclusion can be deduced from this set of state-
ments. To deduce this answer, reword and rearrange the statements as follows:
3
4 CHAPTER 1. ON SYMBOLIC LOGIC
The single conclusion is thus that green-eyed kittens will not play with a
gorilla.
These rewording and rearrangements of the original statements have been
carried in accordance with the Rules of logic, and it is the purpose of this
chapter to formulate and develop these Rules. We shall, however, not follow the
Aristotelian, that is, verbal, approach. Rather, we will introduce and study the
fundamental elements of the mathematical discipline known as symbolic logic
which is a modern, expanded version of classical (Aristotelian) logic.
With the rapid advancement and diversification of human knowledge and
the development of technology and business operations, problems of increasing
complexity arose which could no longer be solved by the conventional methods
of verbal logic. Although all the basic facts were clearly spelled out, their in-
terrelationships were so intricate that the human brain could hardly organize
them logically, that is, analyze them with words. A big turning point came in
1847 when George Boole (1815–1864) published a pamphlet entitled The Math-
ematical Analysis of Logic—Being an Essay Towards a Calculus of Deductive
Reasoning.
This title says it all. Boole’s fundamental contribution was to produce a
first operational framework for handling algebraic symbols representing classes
of objects or ideas and deducing more complex statements about them through
algebraic operations. Thus, Boole can be considered as the inventor of sym-
bolic logic which shall occupy us in this chapter. Today, the term Boolean
Algebra refers to an uninterpreted abstract algebraic structure that can be ax-
iomatized in all kinds of ways. “Uninterpreted” means that no concrete mean-
ings whatever—in logic, mathematics or the physical world—are assigned to the
structures, symbols and operations.
Until modern times, logic was considered a discipline of philosophy, but since
its birth, symbolic logic has enjoyed a steadily widening field of applications
with the major part of the work being in mathematics. In fact, the influence of
this tool on mathematics has been so great that many mathematicians consider
mathematics as only a branch of (symbolic) logic.
Modern logicians have rejected four of the 19 syllogisms formulated by Aris-
totle and his medieval followers, and reduced the remaining 15 to just five the-
orems. They have worked out the formal structure of logic algebra in the same
way that mathematicians have elaborated the formal structure of number alge-
bra and other mathematical disciplines through adoption of certain definitions
and postulates from which new results (theorems) are obtained through well-
defined operational Rules. Attempts have also been made to widen the scope
of Aristotelian logic through abandoning one of Aristotles most fundamental
Rules of logic, namely the Law of the Excluded Middle which requires that a
(logical) statement must be either true or false. In a new, multivalued logical
system, a statement may have, say, three values: true, false, or indeterminate.
1.2. FIRST DEFINITIONS 5
The first statement is generally agreed to be true while the second is known
to be false. In two-valued logic, statements can only be either true or false. Any
statement which is simultaneously both true and false cannot be dealt with in
this logic and should be discarded. Truth and falsity are called the two truth
values of a statement. Thus, the truth value of the first statement above is true,
and that of the second statement is false. Unlike statements, many sentences
cannot be said to be either true or false. Questions, suggestions, commands, or
exclamations such as
- By Jove!
6 CHAPTER 1. ON SYMBOLIC LOGIC
are not usually classified as statements and do not appear in logical cogitation.
In all that precedes, we have implicitly observed two of the basic require-
ments of logic, namely:
Requirement 1. In any logical discourse, a mutual understanding of the mean-
ings of words and symbols used in the discourse should be taken for granted.
Requirement 2. In any logical discourse, agreement on how and when one
statement “follows logically” from another (or agreement on certain Rules of
reasoning) should be taken for granted.
The Rules of reasoning referred to in Requirement 2 should obviously be
spelled out at the outset of the discourse, but to discuss them thoroughly and
exhaustively would be tantamount to changing the content of this textbook from
Geometry to Symbolic Logic. Instead, we will limit ourselves to the enumeration
of a few basic Rules of reasoning which have particular relevance to the context
of Geometry and are essential for an adequate appreciation of the material of
this chapter. This being said, the above two general requirements should be
borne in mind constantly in order to prevent the discourse from degenerating
into an undesirable argument of the kind mentioned above.
We now formulate the first Rule of our framework:
Rule 1. A statement is either true or false. No statement is both true and
false.
This Rule combines the Aristotelian Law of the Excluded Middle and the
Law of Non-Contradiction.
Statements, also called logical variables, will be denoted with lower case
Latin letters p, q, t, . . .
Thus, the value that any logical variable can take is either true or false.
A simple statement is one that does not contain any other statement as a
component. Here are some examples:
- The Earth orbits the Sun.
- The Boston Public Library is in Chicago.
- I hate school.
A compound statement is one that contains at least one simple statement as
a component. Here are some examples:
- It is not the case that President Lincoln wrote the Bible.
- The Boston Symphony Orchestra will perform Mozart and the Cleveland
Symphony Orchestra will play Beethoven.
- If you score at least a B in Calculus then you will be allowed to enroll in
Theoretical Calculus.
- It will rain or snow today.
- A triangle with sidelengths a, b, c where c > b > a is a right triangle if
and only if c2 = a2 + b2 .
1.3. THE SYMBOLS OF LOGIC 7
you hear “I must vote for him or lose my job” followed by “That’s not true,”
does the second speaker mean “You don’t have to vote for him or you don’t
have to lose your job” or “You don’t have to vote for him and you don’t have to
lose your job” or something different from both of these? The question is easily
answered if one uses “or” in the logical sense described above. Make up a truth
table, letting p stand for “I must vote for him” and q for “I must lose my job,”
and list the truth values of p ∨ q. Then fill the −(p ∨ q) column using Rule 3:
p q p ∨ q −(p ∨ q)
1 1 1 0
1 0 1 0
0 1 1 0
0 0 0 1
We see that −(p ∨ q) is true only when p and q are both false and the
required negation is therefore (−p and −q) “You don’t have to vote for him
and you don’t have to lose your job.”
In order to codify—and, hence, simplify—the syntax of logical statements,
we introduce the following definition:
Definition. When the truth tables of any two statements p and q are identical,
these statements are called logically equivalent and denoted with p = q.
The proof of Equation (1.2) is similar to that of Equation (1.1) and is left as
an exercise. According to the second De Morgan’s Law, the negation of “Either
I will score an A in English or a B in Calculus” is “I will not score an A in
English and I will not score a B in Calculus.”
1.4 Tautologies
Some compound statements made up of variables p, q, . . . with the connectives
“and,” “or,” and “not” turn out to be true for all possible values of the logical
variables. Such propositions are called tautologies. As a first example, consider
the compound statement (p ∨ q) ∨ [(−p) + (−q)]. Its truth table is:
p q p ∨ q −p −q (−p) + (−q) (p ∨ q) ∨ [(−p) + (−q)]
1 1 1 0 0 0 1
1 0 1 0 1 0 1
0 1 1 1 0 0 1
0 0 0 1 1 1 1
Similarly, De Morgan’s Laws (1.1) and (1.2) hold for all values of p and q,
and are hence tautologies.
At the other end of the truth spectrum are compound statements which are
false in all cases. They are called inconsistent or contradictory. For example,
the statement p + (−p) is inconsistent, as shown by its truth table:
p −p p + (−p)
1 0 0
0 1 0
Most of the compound statements in ordinary use fall between the two
extremes of tautologies and inconsistent propositions. Compound statements
which are sometimes true and sometimes false are called consistent.
Finally, it is worthwhile mentioning an example for certain verbal paradoxes
which have no solution in a two-valued logical framework. Consider the state-
ment “All Rules have exceptions.” This statement denies itself, since by its own
assertion the statement must have exceptions and therefore cannot be true. Such
indeterminate statements are usually banned from the realms of conventional
logic because they violate Rule 1.
We have already seen that the logical operators of conjunction and disjunc-
tion are commutative. It is evident from their truth tables, i.e. from their very
definitions, that p ∨ q and q ∨ p, and similarly p + q and q + p, have the same
logical content and are, hence, equivalent. Using truth tables, it is easy to verify
that the associative law holds equally for both conjunction and disjunction:
p + (q + r) = (p + q) + r
p ∨ (q ∨ r) = (p ∨ q) ∨ r
In the algebra of numbers, multiplication is distributive over addition, that is
a(b+c) = ab+ac, but addition is not distributive over multiplication: a+(bc) 6=
1.5. IMPLICATION 11
(a + b)(a + c). In logic, however, it can be proved via truth tables that each of
the operations of conjunction and disjunction is distributive over the other:
p + (q ∨ r) = (p + q) ∨ (p + r) and p ∨ (q + r) = (p ∨ q) + (p ∨ r)
1.5 Implication
All mathematical theorems are conditional (compound) statements of the “if-
then” form:
In other terms, such a conditional statement says that one statement (the
hypothesis) implies another (the conclusion). More generally, compound state-
ments of the form “If p is true, then q is true” are called implications and are
denoted p → q (read “p implies q”). The following examples are only a few of
the numerous instances where implications occur in daily human affairs and in
the communication of ideas of all kinds:
- If (a − b)(a + b) = c, then a2 − b2 = c.
All these compound statements are in the “if-then” form, but note that an
implication p → q does not necessarily assert the truth of p or of q; it only
asserts that p and q are related in a certain way. Thus, the second example
above does not assert that “You will enter my office once more” nor does it
assert that “I will give you a beating.” In some of the examples above, the
validity of the implication can be established by logical reasoning alone while
in others, such as the last example, outside knowledge or experimentation must
be called on to verify the validity of the assertion made. We will return to this
point subsequently.
Now, part of the logical content of the implication p → q can be expressed
by stating that whenever we know that p implies q, and also know that p is
true, then we know that q is true. But this is not a complete definition because
we have not specified whether we will consider p → q to be true when p itself is
false. In fact, out of the four possible cases, only the one where the premise is
true and the conclusion is false is considered to be an invalid implication. Thus,
we are led to formulate
[(p → q) + (q → r)] → (p → r)
This property can be readily proved by a truth table.
We mentioned earlier that some implications can be shown to be valid by
logic alone. Such implications are, in fact, tautologies. Consider the example
“If it is not true that she has not eaten and not slept, then she has either eaten
or she has slept.” Let p stand for “She has eaten” and q for “She has slept.”
Then the statement becomes:
−[(−p) + (−q)] → (p ∨ q)
Comparison of the truth tables for the statements in the left and right hand
sides of this expression shows that these statements are indeed logically equiv-
alent, so that whenever the “if” part of the implication is true, the “then” part
must also be true, regardless of the meaning of p and q. Implications that are
not tautologies cannot be proved by logic alone but are nonetheless useful in
organizing information and drawing logical conclusions. In general, when the
truth of an implication p → q is known, then as soon as the truth of p is estab-
lished, the truth of q is established. One should not forget, however, that the
primary purpose of the statement “p implies q” is to express knowledge about
the relationship between p and q when we do not know yet whether p or
q individually is true or false.
This section on implication began with the statement that mathematical
theorems are statements of the form “if . . . then,” hence, implications. We
elaborate somewhat on this assertion by adding that in a given mathematical
system the only statements which are called theorems—from the ancient Greek
theorein, to look at, to observe—or sometimes propositions, corollaries, lemmas
are those for which a proof has been supplied. This leads us to present here a
preliminary definition of the concept of “proof” in mathematics. By definition, a
proof is a sequence of statements (i.e. an argument), together with a justification
1.5. IMPLICATION 13
for each, ending up with the desired conclusion. Only six types of justifications
are allowed in a proof:
1. “By hypothesis . . . ”
5. “By definition . . . ”
The concepts of definition and axiom (or postulate) will be introduced and
discussed in detail in the next chapter, but for now and in light of the preced-
ing remarks on the concept of what we have called mathematical proof, it is
imperative to introduce
Note that this does not mean that an argument is invalid if its premises
have not been established as true—merely that the conclusion of the argument
may be false, and so the assumption should not be used.
Last, and most importantly, it should be borne in mind that there is no rote
method for proving or disproving every statement in mathematics. This truth
will become increasingly evident as we progress in this course.
We may now use what we have learned so far to test arguments. As men-
tioned earlier, there are usually two ingredients in an argument: first, we must
prove that a set of assumptions or premises is true and then prove that these
premises imply the conclusion. We illustrate this process with the following
argument:
If the Headmaster coaches the School’s soccer teams, Ignaz will be assigned
to teach math. (Symbolize this by h → i).
If Ignaz teaches math, students will not score high in the SAT 1. (Symbolize
this by i → −s).
Therefore, if students score high in the SAT1, the Headmaster does not coach
the School’s soccer teams. (Symbolize by s → −h).
The word “therefore” is used to indicate the belief that the last statement
(s → −h) is a logical consequence of the preceding ones, and to test the validity
of this argument we must examine whether or not this is indeed the case. Hence,
we must verify the validity of the implication:
(p → q) = (−p) ∨ q
(mentioned earlier as one alternative definition for p → q) so that:
(h → −s) = (s → −h)
and therefore
p ∨ (q ∨ r) = (p ∨ q) ∨ r
p + (q + r) = (p + q) + r
p + (q ∨ r) = (p + q) ∨ (p + r)
p ∨ (q + r) = (p ∨ q) + (p ∨ r)
[(p → q) + (q → r)] → [p → r]
It should be emphasized once more that the validity of an argument does not
establish the truth of the premises nor the truth of the conclusion. To prove
that a conclusion is true, one must prove that the argument leading to that
conclusion is logically valid, and also that the premises are true. The reason
for clearly distinguishing the premises of an argument from the conclusion is
that one may judge the validity of the argument without being prejudiced by a
belief in the truth or falsity of the premises or conclusion. Thus, the argument:
1.6. CONVERSE, INVERSE, CONTRAPOSITIVE 15
“If I am the richest man in the world, then I can speak all the world languages.
If I can speak all the world languages, then I will never die. Therefore, if I am
the richest man in the world, I will never die.” is a perfectly valid argument
although both its premises and conclusions are obviously false.
- Its converse: q → p
- Its inverse: −p → −q
One of the most frequent mistakes in applying logic is the assumption that
if a given implication is valid, then its converse must also be valid. Regrettably,
this human weakness is often exploited by advertisers, politicians, and other
“persuaders” to advance their agenda. For a trivial example, consider the im-
plication “A universal health coverage plan costs money” and its converse “If a
health coverage plan costs money, then it must be universal.”
The following truth table should clarify the relationship between an impli-
cation and the three variations derived from it:
p q −p −q p → q q → p −p → −q −q → −p
1 1 0 0 1 1 1 1
1 0 0 1 0 1 1 0
0 1 1 0 1 0 0 1
0 0 1 1 1 1 1 1
Since the truth table does not contain any reference to the nature of the
statements p and q other than their truth or falsity, the conclusion we draw from
it will be correct for all possible examples of p and q . This table shows that
the contrapositive agrees in all four of its values with the corresponding values
of the original implication. Hence, the contrapositive is logically equivalent to
the original statement. The table also shows that the inverse and converse are
also logically equivalent to each other, but not to the original implication.
1.7 Quantifiers
So far, we have considered statements (simple or compound) as building blocks
from which arbitrarily complex composite statements can be constructed. Log-
ical deductions were made either by showing that the statement to be deduced
is a tautology, or by showing that it is the consequent (conclusion) of an impli-
cation whose antecedent (premises) is known to be true. Unfortunately, many
simple logical propositions, though valid, cannot be deduced by this procedure.
For instance, the intuitively acceptable statement “There is at least one math
16 CHAPTER 1. ON SYMBOLIC LOGIC
teacher. If all math teachers are vertebrates, then some math teacher at Com-
monwealth School is a vertebrate” cannot be proved to be valid by the methods
used heretofore (Try to prove it!). The reason is that, so far, a statement was
either true or false, whereas the premise and the conclusion of this implica-
tion are actually statements which relate to two different classes or categories
(vertebrates and teachers) and include all of one class and only part (some) of
the other. Such statements are called categorical statements. The classes in a
categorical statement are called the subject term and the predicate term, and
the statement asserts that either all or part of the class denoted by the subject
term is included in or excluded from the class denoted by the predicate term.
Here are some categorical statements:
The first statement asserts that the entire category (all) of light rays is
included in the category of things that move at a fixed speed in vacuum, the
second that the entire class (all) of fundamentalist persons is excluded (not)
from the category of persons with whom it is easy to argue, the third that part
of the class of drug addicts (some) is included in the class of persons who die
from overdose. The fourth statement asserts that part of the class of human
beings (not all) is excluded from the class of diabetics, and the fifth that the
single individual denoted by the name “Arnold Schwarzenegger” is included
in the class of actors who acted in the movie “The Terminator.” Since any
categorical statement asserts that either all or part of the class denoted by the
subject term is included in or excluded from the class denoted by the predicate
term, it follows that here are exactly four types of categorical statements: if S
denotes the subject term and P denotes the predicate term, then
- All S are P
- No S are P
- Some S are P
- Some S are not P
The earlier mentioned implication with categorical premise (from the first
paragraph of this section) “There is at least one math teacher. If all math
18 CHAPTER 1. ON SYMBOLIC LOGIC
Let A stand for the category of alumni, R for the class of people who are
rich, and F for that of famous people. Record the fact that every alumnus is
either rich or famous by shading the part of A which is neither in R nor in F .
Record the fact that some alumni are not rich by placing an X in the part of
A that is not in R and has not been previously shaded. This X then shows
that there exist famous people who are not rich, that is in F but not in R, and
justifies the required conclusion:
The three circles are labeled I, F , and M to represent things that interest
me, my father, and my mother. The first and second premises are indicated by
horizontal and vertical hatching respectively. We see that the claimed conclusion
is not valid, because circles I and M have only a “small” area in common and
“large” disjoint areas.
Sometimes it is necessary to vary the technique slightly. Consider the argu-
ment: “All living beings are either vertebrates or invertebrates. Human beings
are not invertebrates, therefore human beings are vertebrates.”
Here, we have to begin with the class L of all living beings, and insert the
three overlapping circles representing human beings (H), vertebrates (V ), and
invertebrates (I) inside the larger area L, as shown. Then, we record the first
premise by hatching (horizontally) all the area in L which is outside of both
the V and I circles. The second premise is recorded by slanted hatching. The
conclusion is seen to be valid.
- “For any x . . . ”
- “For every x . . . ”
- “For all x . . . ”
- “Given any x . . . ”
- “If x is any . . . ”
- “For some x . . . ”
- “There exists an x . . . ”
- “There is an x . . . ”
- “There are x . . . ”
Exercises
1. Given that a means “I finished my work” and b means “I found my coat”
and c means “I went home,” state the following statements in words (in
as simple language as possible):
(a) a + b + c.
(b) −[a + (−b)].
(c) −[(−a) ∨ (−b) ∨ (−c)].
2. If p means “John quit watching TV” and q means “John’s math grade
improved,” rewrite the following statements as logical functions of p and
q:
8. Prove p + (p ∨ q) = p ∨ (p + q) = p.
11. Show by means of a truth table that p → q is equivalent to: −[p + (−q)].
13. Fill the blanks in the truth table below and determine whether (p + q) →
(p ∨ q) is a tautology:
p q p+q p∨q (p + q) → (p ∨ q)
1 1
0 1
1 0
0 0
14. Test the validity of the following argument either by means of truth table
or by analysis:
“If it is not true that he has refused to study and has refused to take the
exam, then he has either consented to study or he has consented to take
the exam.”
15. State the converse, the contrapositive, and the inverse of each of the fol-
lowing implications:
16. State the converse of the converse of an implication. Also state the con-
verse of the contrapositive of an implication, and the inverse of that con-
verse.
(a) p → q.
(b) (p → q) → (−q → −p).
(a) If it rains, we will get wet. Therefore, if it does not rain, we will not
get wet.
(b) If x is even, then 2x is even. Therefore, if 2x is even, x is even.
(c) If x2 = y 2 , then x = y. Therefore, if x 6= y, x2 6= y 2 .
“In that direction,” the Cat said, “lives a Hatter; and in that
direction lives a March Hare. . . They’re both mad.”
“But I don’t want to go among mad people,” Alice remarked.
“Oh, you can’t help that,” said the Cat, “we’re all mad here.
I’m mad. You’re mad.”
“How do you know that I’m mad?” said Alice.
“You must be,” said the cat, “or you wouldn’t have come here.”
22. Draw a Venn diagram to determine the validity of the following argument:
“People who like yellow do not like purple, and some people who like purple
also like red. Therefore, some people who like red do not like yellow.”
23. (*) Introduce a new logical operator denoted by a vertical bar “|” as
follows:
If p and q are statements, then p|q means that p and q are not both true
and reads “p is incompatible with q.”
Having carried out the proofs of the preceding steps, and bearing in mind
that implication and equivalence have already been defined in terms of
negation and conjunction, one may now conclude that the entire edifice of
symbolic logic can be built with only one single basic logical operator!
Chapter 2
On Formal Axiomatic
Systems
25
26 CHAPTER 2. ON FORMAL AXIOMATIC SYSTEMS
- All other technical terms of the discourse (the defined terms) are defined
explicitly by means of the primitive terms and the axioms.
- All other statements of the discourse (the theorems) are logically de-
duced from the postulates.
The first and most elusive of the desired properties which has ever since
been the major preoccupation of (pure) mathematicians is that of “elegance.”
In many instances, mathematical elegance is synonymous with simplicity, econ-
omy, or ingenuity, all equally difficult to explain precisely. For instance, the
fewer primitive terms and the fewer postulates enunciated for a nontrivial (i.e.
with a “rich theorem content”) formal axiomatic system, the more “elegant”
this system. There are obvious limits to this reduction of the basic constituents
of a formal axiomatic system: a system with “too few” primitive terms serving
as building blocks and “too few” axioms to operate with these blocks can easily
turn out to be a sterile realm with a sparse implicational power (“meager the-
orem content”). Thus, a certain minimal richness (or complexity) of structure
is necessary in order for the formal axiomatic system to be worth the effort of
mathematicians. We shall return to this desired property later on.
The next, and most important, required property that a formal axiomatic
system should possess is that of consistency. A set of axioms is said to be con-
sistent if contradictory statements are not implied by the set. How can one be
sure that a given set of postulates will never lead to a contradiction? The short
answer is that, in general, one cannot. The only method devised so far for test-
ing the consistency of an axiom set is to try to construct a concrete model for
it. As mentioned earlier, such a model is obtained by identifying the primitive
terms of the formal axiomatic system in question with concrete objects in such
a way that the postulates of the system become true statements relating these
concrete entities. In this fashion, one may test the absolute consistency of
a formal axiomatic system, for if contradictory statements were implied by the
axioms, these would in turn reflect contradictory statements about concrete ob-
jects of the real world which is inadmissible. Unfortunately, it is rarely possible
to design such a concrete model for an arbitrary formal axiomatic system. The
best that one can hope to achieve is then to test the relative consistency of
the system by assigning to the primitive terms of the original formal axiomatic
system concepts of some other formal axiomatic system which one knows or
assumes to be consistent, in such a way that the interpretations of the postu-
lates of the original system become logical consequences of the postulates of the
model system. Thus, all one can say is that the formal axiomatic system A
is (relatively) consistent if the axiom set of the model system B is consistent.
The (relative) consistency of non-Euclidean Geometry has been established by
constructing a Euclidean model for it and by assuming that Euclidean Geome-
try itself is consistent. But the consistency of Euclidean Geometry deserves an
independent proof for its own sake.
Another property that is often required of a formal axiomatic system is
that of independence. An axiom is said to be independent if it is not a logical
consequence of the other axioms of the set. The entire axiom set is then called
independent if each axiom of the set is independent. The most famous case of
questionable independence is that of Euclid’s Fifth or Parallel Postulate: for
almost a millennium, mathematicians attempted to prove that this axiom is a
consequence of the other postulates. All such attempts were in vain, and all
proofs of the dependence of the Parallel Postulate on the other postulates were
2.1. DEFINITIONS AND BASIC CONCEPTS 29
flawed for they all relied on some subtle hidden extra assumption. With the
discovery (or invention?) of non-Euclidean Geometries and the proof of their
relative consistency with respect to Euclidean Geometry, the question of the
independence of the Fifth Postulate was definitely settled in the affirmative.
In this connection, we recall that it was the mathematicians’ obsession with
the question of the independence of Euclid’s Parallel Postulate that led to the
development of non-Euclidean Geometry and initiated the study of the structure
and properties of axiomatic systems which, in turn, shaped much of the modern
approach to mathematics.
The independence of an axiom can be tested by finding an interpretation
(model) of the primitive terms which verifies all the axioms of the set except
the axiom concerned. If such a model is found, then that particular axiom can-
not be a logical consequence of the other axioms because if it were, then the
model which converts all the other axioms into verifiable propositions should
convert this axiom too into a true proposition. It goes without saying that such
a test of the independence of an entire axiom set can be a rather lengthy proce-
dure but, in principle at least, it can be carried out. We hurry to say, however,
that the verification of the independence of an axiom set is by no means neces-
sary to the logical development of the mathematical discourse: a set of axioms
that are not independent can be qualified as being redundant in that it con-
tains statement(s) which can be treated as theorems instead of as axioms. To
cite such an example, after David Hilbert (1862–1943), the prominent German
mathematician of the early twentieth century, published his axiom set for Eu-
clidean Geometry, it was shown that two of these axioms were, in fact, implied
by the others. These two dependent axioms were removed from the axiom set
and re-baptized as theorems, and this issue did not invalidate Hilbert’s entire
axiomatic system. One may also point out that the mathematician’s concern
for the independence of an axiom set is related to the earlier mentioned desired
“elegance” (or “minimality”) for a set of axioms and primitive terms, because
mathematicians always want to elaborate their theories with a minimum number
of fundamental assumptions.
The last property that is sometimes required of an axiom set is that of com-
pleteness. In the same fashion that independence of an axiom set insures that
the set does not assume redundant axioms, the property of completeness assures
that it is impossible to add a new independent axiom which is also consistent
with the original axiom set (assumed to be already consistent) and which does
not introduce a new primitive term. In other words, any proposition expressed
in terms of the original system must be either provable or disprovable if the
system is complete. For instance, the original system of Euclid was incomplete
because it contained—as we shall see in the next chapters—statements which
could neither be proved nor disproved. To determine whether a set of axioms
is complete, one might try over and over again to find new independent and
consistent axiom(s), and failing to do so, conclude that the system might be
complete. This is obviously no proof of completeness for a given axiom set, be-
sides being a truly demanding exercise. Models, however, can be invoked once
more to investigate the completeness of an axiomatic system. Two models for
30 CHAPTER 2. ON FORMAL AXIOMATIC SYSTEMS
the same formal axiomatic system are called isomorphic if there is a one-to-one
correspondence between the basic objects (elements and relations) of one model
and those of the other such that when a proposition involving the basic objects
of one model is true (or false), the corresponding proposition in terms of the
corresponding basic objects of the other model is equally true (or false). If an
axiomatic system is such that any two models for it are isomorphic, the system
is called categorical. It can be shown that categorical axiomatic systems are
complete. It should be clear that such a categorical axiom system possesses
essentially one model only, and that all other models for this system are mere
“avatars” of (i.e., are isomorphic to) that single one. In other words, categorical
axiomatic systems yield only one mathematical discourse. It can be proved that
the modern axiomatic frameworks of Euclidean and non-Euclidean Geometries
constitute categorical systems. In this sense, it may be argued that Euclid et
al. were not too remote from mathematical rigor when they used diagrams to
support their arguments since any other model for the Euclidean system would
have been isomorphic to these conventional figures made out of dots, straight
lines, circles, etc. In practice, categorical systems do not have a wide range
of applicability: they describe essentially one and only one “thing.” On the
other hand, mathematicians have often discovered that an incomplete formal
axiomatic system formulated with one particular model in mind has found ap-
plication to totally different realms of scientific investigation that they had not
thought of. For instance, one formal axiomatic system called Group Theory can
be applied to the solution of algebraic equations, to the classification of crystal
types, to the description of the interactions between elementary particles, and
much more.
We have seen that although the independence and completeness of an ax-
iomatic system may be aesthetically satisfying (and render the system more “el-
egant”), they are by no means necessary from the viewpoint of practicality. On
the other hand, definitions formulated in an axiomatic system should be both
independent and complete. For example, the definition of an equilateral triangle
as a triangle with three congruent (equal) sides AND three congruent (equal)
angles is not acceptable because these two properties are not independent, and
the definition of a square as a quadrilateral with four congruent (equal) sides is
not acceptable either because this property does not define a square completely
(visualize the rhombus).
2.2 Examples
We now illustrate the preceding concepts with a few, necessarily simple, exam-
ples of formal axiomatic systems. We begin with an example3 that shows how
theorems are proved.
3 Adapted from The Nature and Power of Mathematics, by Donald M. Davis, Princeton
Axiom I.2. For any two distinct lorks, there is exactly one pflug that fraxes
both of them.
Axiom I.4. For every pflug, there is at least one lork which it does not frax.
The words “pflug,” “lork,” and “to frax” do not exist in the English vo-
cabulary, and, as such, make no sense (“We don’t know what we’re talking
about . . . ”) but the axioms tell everything one needs to know about the prim-
itive terms in order to operate with them. In particular, pflugs and lorks are
“things”, and fraxing is “something” that pflugs do to lorks. Note that Axiom
I.1 allows that there might be several pflugs, and that Axiom I.2 does not guar-
antee that there are two distinct lorks. Axiom I.2 also permits the same pflug
to frax two different pairs of distinct lorks. We now prove:
Proof. By Axiom I.1, there is at least one pflug. By Axiom I.3, there are at
least two lorks that it fraxes. By Axiom I.4, there must be another lork that is
not fraxed by the pflug in question. Hence, there are at least three lorks.
Note that dropping Axiom I.1 while retaining the other three axioms might
lead to a vacuous system: no pflugs to frax any lork.
To formulate and subsequently prove more complicated theorems, it is use-
ful to devise a model for this axiomatic system in order to be able to picture
pflugs, lorks and relations between them, much in the same way that one draws
diagrams of triangles, circles, etc. in Euclidean Geometry to visualize these
objects; and in the same way as with geometrical figures, our model cannot
constitute a part of the proof of a theorem. We represent pflugs by the symbols
Pi , lorks by the symbol Lj , where the different values of the subscripts i, j, . . .
are 1, 2, 3, . . . and identify the distinct pflugs and lorks. We further represent
fraxing by an arrow connecting a pflug to a lork. We must now verify that
Axioms I.1 through I.4 become true properties under our interpretation of the
primitive terms. By Theorem I.1, we know that there must be at least three
lorks L1 , L2 , and L3 . By Axiom I.2, there is one and only one pflug P12 which
fraxes L1 and L2 , exactly one pflug P13 which fraxes L1 and L3 , and exactly
one pflug P23 which fraxes L2 and L3 . However, at this stage, we dont know
whether P12 and, say, P23 are distinct. This question leads to the formulation,
and subsequent proof of the following theorem:
32 CHAPTER 2. ON FORMAL AXIOMATIC SYSTEMS
Theorem I.2. If there are only three lorks, then there are exactly three distinct
pflugs.
Proof. We know that P12 exists. Axiom I.2 does not prohibit P12 to frax L3
too, but Axiom I.4 does, since there are no more (nor less) than three lorks.
Therefore, the pair of lorks L2 and L3 must be fraxed by a pflug different from
P12 , namely P23 . Similarly, Axiom I.4 implies the existence of a third, different
pflug P13 . Thus, we have at least three distinct pflugs. But there cannot be a
fourth distinct pflug because if there were, it would have to frax at least two
lorks by Axiom I.3. But then there would be two distinct pflugs fraxing the
same pair of lorks, in contradiction to Axiom I.2 . This completes the proof of
Theorem I.2.
We note in passing that the second half of the proof of Theorem I.2 is a
typical RAA argument: we assume that there is a fourth pflug and derive a
contradiction with one of the hypotheses of the theorem. It is also noteworthy
that models can equally serve as guides for avoiding false statements, for a
proposition that is false in some model of an axiomatic system cannot be a true
theorem of that system. But, on the other hand, a proposition that is true
in a model for an axiomatic system does not necessarily correspond to a true
theorem of that system. For instance, we can certainly consider a 3-lorks-model
for axiomatic System I consisting of exactly three lorks. The proposition “There
are exactly three lorks,” however, is not a valid theorem of System I as seen
from a 4-lorks-model: it is easily checked that all four Axioms I.1 through I.4
are fulfilled so that the 4-lorks-model contradicts the above proposition.
2.2. EXAMPLES 33
This axiomatic system is inconsistent. For instance, Axioms II.1, II.3 and
II.4 imply that there are at least four Y ’s, thus contradicting Axiom II.2 which
is thus both true (as an axiom) and false (as a consequence of the other axioms).
In the same fashion, each of the axioms of System II can be proved to be false
using the other three axioms.
Thus, it is sometimes easy to prove that an axiomatic system is inconsistent
by using logic alone. On the other hand, we saw that the consistency of an
axiomatic system can also be established through a real world model. The
following example illustrates this method once more:
Axiom III. 2. For any two distinct hydrants, there is exactly one dog that
marks them.
Axiom III. 4. Given any dog D and any hydrant H that this dog does not
mark, there exists exactly one dog that marks the given hydrant H but does
not mark any of the same hydrants as dog D.
two more dogs, D13 and D23 , to mark the distinct hydrant pairs {H1 , H3 } and
{H2 , H3 }. So far, Axioms III.1 through III.3 are satisfied in our model. To fulfill
Axiom III.4, we are forced to introduce a dog D3x that marks H3 but does not
mark either of the hydrants H1 and H2 , and similarly another dog D2x which
marks H2 but does not mark H1 and H3 , and a last dog D1x that marks H1
but does not mark H2 and H3 . Yet, our model is not completed because Axiom
III.4 is not fulfilled for dog D3x and for hydrant H2 , since there are two dogs
(D12 and D2x ) that mark H2 but do not mark any of the hydrants marked by
dog D3x . Thus, we are forced to introduce hydrant H4 , and let dogs D3x and
D2x mark it, thereby identifying dogs D34 and D24 .
But dog D34 and hydrant H1 still cause a problem because of Axiom III.4,
since hydrant H1 is marked by dogs D12 and D1x , neither of which marks any
of the same hydrants as dog D34 . Therefore, we must ask dog D1x to mark
hydrant H4 , as shown. Now, our model is completed, i.e. all axioms are verified
as “realizable” properties of a real life model of six distinct dogs and four distinct
hydrants. We may then conclude that Axiomatic System III is consistent.
Theorem IV.2. If l1 and l2 are distinct lines that are not parallel, then l1 and
l2 have a unique point in common.
Theorem IV.3. For every line there is at least one point not lying on it.
Theorem IV.4. For every point there is at least one line not passing through
it.
Theorem IV.5. For every point there exist at least two distinct lines passing
through it.
Definition IV.3. Three distinct lines are called concurrent if they contain one
point in common.
Theorem IV.5 bis. For every point there are exactly two distinct lines pass-
ing through it.
A moment of reflection, however, will show that we have devised a partic-
ular model containing exactly three “points” whereas the axioms guarantee
only the existence of at least three points. In this model, Theorem IV.5 bis will
be true, but we might equally have considered a model containing exactly four
letters (“points”) with the same interpretations of the primitive terms, and then
Theorem IV.5 bis would turn out to be NOT true, as can be seen easily. This
example reminds us that if one can find one model in which the interpretation
of a presumed valid theorem translates into an incorrect statement, then one
can be assured that no proof of that theorem is possible. This fact should be
compared with another one that is the source of the most common error among
early students of Geometry: one may intuitively test the validity of geometric
statements by drawing figures, but just because a drawing makes a statement
appear valid is not a proof for the correctness of that statement (“Believing
should not rely on seeing”). We have seen that the advantage of having several
models for a given formal axiomatic system resides in the fact that a statement
found correct in one model may very well fail to remain valid in another. Thus
models are useful operational tools (“laboratories”) for experimenting with for-
mal axiomatic systems.
To continue with the illustration of the properties of formal axiomatic sys-
tems and the preceding remarks, we observe that Incidence Geometry, as for-
mulated in System IV, is not a categorical (or complete) system, since it allows
for (at least) two non-isomorphic models, namely the “3-letters” model and the
“4-letters” model. We may, however, turn System IV into a categorical system
by adding one extra axiom (independent and consistent), for example:
Extra Axiom. There are at most three distinct points.
Then, along with Axiom IV.3, this system will contain exactly (no more, no
less) three points, and all its models will be isomorphic to the “3-letters” model
described above.
We may experiment further with models. One most instructive example
arises when we add the following axiom to those of Incidence Geometry:
Axiom IV.4. For every given line and every given point not lying on that line,
there exists a unique line passing through the given point that is parallel to the
given line.
This is the so-called Playfair version (after the 18th century British mathe-
matician John Playfair) of the already mentioned notorious Parallel Postulate
(or Fifth Postulate) of Euclid. In our “3-letters” model, it is immediately appar-
ent that no parallel lines exist at all. One says that this model has the elliptic
property. Thus, we conclude that no proof of the Euclidean Parallel Postulate
(i.e. Axiom IV.4) using the other axioms of Incidence Geometry is possible. In
the same vein, the converse statement “Any two lines contain a point in com-
mon” cannot be proved either from the axioms of Incidence Geometry alone,
38 CHAPTER 2. ON FORMAL AXIOMATIC SYSTEMS
because if one could prove it, it would reflect in a valid property of the model.
These considerations lead further to the conclusion that Axiom IV.4 is indeed
independent of the other axioms of Incidence Geometry, because it is impossible
to prove or to disprove it from the other three axioms. We have already seen
that Axiom IV.4 is not valid in the “3-letters” model. But if we consider now
the “4-letters” model introduced earlier, with exactly four letters A, B, C, and
D, and exactly six “lines,” namely the pairs {A, B}, {A, C}, {A, D}, {B, C},
{B, D} and {C, D}, then one can easily verify that the Euclidean Parallel Pos-
tulate (Axiom IV.4) does hold.
On the other hand, if one devises a “5-letters” model for Incidence Geometry
which contains exactly five “points” with the same interpretations of primitive
terms as the “3-letters” and “4-letters” models, then it can be verified that the
following statement about parallel lines will hold:
Axiom IV.4 bis. For every given line and every point not lying on that line,
there exist at least two lines containing the point and parallel to the given line.
One says that the “5-letters” model of Incidence Geometry has the hyperbolic
property.
In conclusion, Incidence Geometry can be extended to potentially very differ-
ent, more complex formal axiomatic systems by the addition of new independent
(and consistent) axiom(s), such as the parallel axiom of the Euclidean, elliptic
or hyperbolic types. Chapter Thirteen covers these matters in greater detail.
Finally, it is not too difficult to construct a model for each pair of the three
axioms of Incidence Geometry in which two of the axioms are verified but the
third is not. This establishes the independence of these axioms because it is
impossible to prove any one of them from the other two.
We conclude this chapter with a brief excursion into the realms of so-called
Finite Geometries. Incidence Geometry, as defined by the formal axiomatic
system IV, is called a Finite Geometry if its axiom set is complemented by an
additional axiom stating that the number of distinct points in the system is
equal to some finite integer. These “miniature” Geometries are instructive to
study because of their rather simple structures, in contrast to, say, Euclidean
Geometry which contains an “infinitude” of points and lines.
We have already implicitly encountered the 3-point Geometry as represented
categorically by our earlier “3-letters” model. Let us first consider the Four-Line
Geometry which is defined as an Incidence Geometry with exactly four “lines.”
The axioms are then:
Axiom 4-L.1. There exist exactly four lines.
Axiom 4-L.2. Any two distinct lines have exactly one point in common.
Axiom 4-L.3. Every point is on exactly two lines.
One can then prove that the Four-Line Geometry contains exactly six dis-
tinct points, and that each line passes through exactly three distinct points.
A new set of axioms can be formally generated from the axioms of the Four-
Line Geometry by substituting the word “point” for “line” and vice-versa, and
2.2. EXAMPLES 39
by carrying out the necessary changes in the English syntax. This procedure,
called plane dualization, yields the so-called Four-Point Geometry, and is defined
by the axioms:
Axiom 4-P.1. There exist exactly four points.
Axiom 4-P.2. Any two distinct points lie on exactly one line.
Axiom 4-P.3. Every line passes through exactly two points.
The plane duals of the theorems mentioned for the Four-Line Geometry
would then read: “The Four-Point Geometry contains exactly six distinct lines”
and “Each point of the Four-Point Geometry lies on exactly three lines”. There-
fore, there exist lines in the Four-Point Geometry that do not have one of the
four points in common. Hence, such lines are parallel. A simple model consist-
ing of dots to represent “points” and (not necessarily straight) lines connecting
such dots to represent “lines” shows that the Euclidean Parallel Postulate is
valid in the Four-Point Geometry, while the elliptic Parallel Postulate holds in
the Four-Line Geometry, as seen on the diagrams.
Although none of these axioms restricts explicitly the number of points (or
lines), we will nonetheless prove that Fano’s Geometry is finite. To this end,
and to illustrate once more the RAA method of proof described in Chapter One,
we begin with proving:
Theorem F.1. Every two lines have exactly one point in common.
Proof. By Axiom F.5, every two lines have at least one point in common. Sup-
pose that a given pair of lines has two distinct points in common (RAA hy-
pothesis). This assumption, however, violates Axiom F.4 because the two dis-
tinct common points would lie on two distinct lines. This establishes Theorem
F.1.
Next, we prove:
Theorem F.2. Fano’s Geometry contains exactly seven points and seven lines.
Proof. From Axioms F.1 and F.2, there are at least three points, while Axiom
F.3 requires the existence of at least one fourth point non-collinear with the
other three. To illustrate the further reasoning, it is convenient (although not
necessary) to have recourse to diagrams with dots representing “points” con-
nected together by “lines.” Thus, diagram (a) represents our current state of
knowledge. Now, by Axiom F.4, there must be lines containing this fourth point
and each of the other existing three, while Axiom F.3 requires the existence of
further points 5,6, and 7 on the lines containing points 1 and 4, 2 and 4, and
3 and 4, respectively, as shown on diagram (b). Finally, Axioms F.4 and F.5
require the existence of lines passing through points 1,6,7, and points 3,6,5,
and points 5,2,7, as represented on diagram (c). Thus, Fano’s Geometry must
contain at least seven points and seven lines.
To prove that this Geometry does not contain more than seven points and
seven lines, we revert once more to an RAA argument:
Assume there is an eighth point (RAA hypothesis), and consider, for in-
stance, the intersection of the unique line containing points 1 and 8 with the
line containing the points 3, 7, and 4, as indicated on the diagram. By Axiom
F.5, these two lines must have at least one point in common. This common
point, however, cannot be point 3, point 7 or point 4, since that would violate
Axiom F.4. Hence, that common point must be a ninth point, but that violates
2.2. EXAMPLES 41
Axiom F.2. Thus, the assumption of the existence of an eighth point leads to
a violation of the axioms, and must be rejected. The proof of Theorem F.2 is
now complete.
The foundations are now laid for the introduction of THE formal axiomatic
system par excellence, namely the system of Euclidean Geometry, and for the
systematic development of its superstructure.
42 CHAPTER 2. ON FORMAL AXIOMATIC SYSTEMS
Exercises
1. If p, q, r are statements, prove that the following set of four axioms is
inconsistent:
Axiom 2. Any two distinct hives have one and only one bee in common.
3. For the formal axiomatic system of Exercise 2, prove the following theo-
rems:
Theorem 3. For each bee there is exactly one other bee not in the same
hive.
4. Prove that Axioms II.1, II.3 and II.4 of formal axiomatic system II are
inconsistent with Axiom II.2.
6. Show that the Euclidean Parallel Postulate (Axiom IV.4 of Incidence Ge-
ometry) is a correct statement in the 4-point model for Incidence Geom-
etry.
7. Show that the hyperbolic Parallel Postulate (Axiom IV.4 bis) is a correct
statement in the 5-point model for Incidence Geometry.
Models for this formal axiomatic system can be devised by interpreting the
four flugs as the four integers 1, 2, 3 and 4, and the statement “a scorples
b” as the inequality a < b. Another model is obtained by interpreting the
four flugs as a man, his father, his father’s father, and his father’s father’s
father, and “a scorples b” would then mean “a is an ancestor of b.”
9. Invent/design your own Finite Geometry according to the following guide-
lines:
On the Foundations of
Euclidean Geometry
45
46 CHAPTER 3. ON THE FOUNDATIONS OF EUCLIDEAN GEOMETRY
Since the end of the 19th century, several modern axiom sets for a logi-
cally rigorous framework for Euclidean Geometry have been proposed by math-
ematicians such as Moritz Pasch, Giuseppi Peano, Oswald Veblen, and Garrett
Birkhoff, among others. The postulational treatment which has received the
widest acceptance was first proposed by David Hilbert in 18992 . Hilbert used
six primitive terms, namely “point,” “line,” “plane,” “incident on,” “between,”
and “congruent,” and grouped his axioms in five categories such that each cat-
egory addressed a class of logical flaws observed in Euclid’s arguments. For
instance, Hilbert’s axioms of congruence circumvent problems stemming from
Euclid’s questionable method of superposing figures to examine their congru-
ence. Consequently, Hilbert’s axiom set contains many more axioms than Eu-
clid’s. To illustrate this unavoidable increase in the number of axioms, consider
Euclid’s First Postulate which asserts, in essence, that “It is possible to draw
a straight line from any point to any point.” In order not to leave anything as
intuitively evident, Hilbert had to substitute three axioms for this single pos-
tulate to ensure the existence and the uniqueness of a line passing through
two points.
In general, the modern axiom sets proposed for a rigorous treatment of
Euclidean Geometry are far more abstract than Euclid’s original set, and it is not
appropriate to edify the entire Euclidean Geometry on such a purely geometrical
foundation in an introductory course at the high school level, even for inquisitive
students. The difficulty resides in having to invoke rather subtle and involved
arguments for proving the very first, painfully “evident” theorems—it is a fact
that theorems whose truth appears obvious are often quite arduous to prove.
Moreover, this approach might, in turn, obscure a vision of the “forest” for the
benefit of individual “trees.” In this course, instead, we will use an axiom set
which combines the ideas of Hilbert and Birkhoff, thereby making extensive
use of the properties of real numbers while providing a rigorous but simple
enough structure for use at the secondary school level. It should be noted
that it can be proved—but the proof is rather intricate—that Birkhoff’s two
basic axioms (the so-called Ruler-and-Protractor Axioms) although different in
their algebraic nature from the purely geometric Hilbert’s axioms, are actually
theorems of Hilbert’s formal axiomatic system3 . Thus, Birkhoff’s axioms and
Hilbert’s axioms lead to the same Geometry.
We proceed now with the step by step introduction of the primitive terms,
the set of axioms, first definitions and basic theorems which will constitute
the framework of our discourse4 . Since real numbers, their properties, and
the operations with them will be extensively used, it is imperative that the
reader maintains a solid command of the algebra of real numbers throughout
this course. This algebra is described in Appendix C. Throughout this text, the
end of a proof shall be indicated with the sign “ .”
2 Hilbert’saxioms are listed in Appendix B.
3 See,for example, Euclidean and Non-Euclidean Geometries, by Martin J. Greenberg,
W.H. Freeman & Co., New York, 1980, p. 99
4 Our axioms are a modified version of those proposed by the School Mathematics Study
The primitive terms are point, line, plane, and incidence. Congruence will
become a defined term.
The Axioms will be introduced gradually. We begin with the axioms of
plane Euclidean Geometry and will introduce those relevant to three-dimensional
space in later chapters.
Axiom 1. For any two distinct points there is exactly one line that is incident
with (also contains, passes through) both of them.
If P and Q are distinct points, the unique line that contains them will be
←→
denoted by P Q or sometimes by some other symbol such as l or L.
Definition 1. The distance between two points is the unique positive number
postulated by Axiom 2.
For the sake of convenience, we agree that the distance between a point and
itself is equal to zero. Notice that the notion of distance is defined for a pair of
points independently of their ordering, that is, of the order in which these two
points are mentioned. The distance between points P and Q will be denoted by
P Q or QP .
Axiom 3 (Ruler Axiom). For any line, there exists a one-to-one correspondence
(isomorphism) f between the points of that line and the real numbers such that:
(i) to every point P on the line there corresponds exactly one real number
f (P ),
(ii) to every real number r there corresponds exactly one point P on the line
with r = f (P ),
(iii) the distance between two points P and Q on the line is equal to the absolute
value of the difference of the real numbers r and s corresponding to the
two points: if f (P ) = r and f (Q) = s, then P Q = |r − s| = |s − r|.
While Axiom 1 implies the existence of a line if there are at least two points,
Axiom 3 guarantees that there are infinitely many points on every line. Axiom 2
allows for the choice of a unit for measuring distances between points according
to Axiom 3: select any two distinct points on any line and let their distance
be arbitrarily equal to one unit. Thus, Axioms 1, 2 and 3 together imply the
existence of a (straight) ruler with markings on it indicating the number scale.
(i) A, B, C are distinct points incident with the same line, and
(ii) AB + BC = AC.
Theorem 1. Let P , Q, R be three distinct points on the same line, and let
p = f (P ), q = f (Q), and r = f (R) be the real numbers associated with these
three points. If p < q < r, then Q is between P and R.
Proof. The hypothesis p < q < r ensures that the real numbers q − p = f (Q) −
f (P ), r − q = f (R) − f (Q) and r − p = f (R) − f (P ) are positive. By definition
of absolute value: P Q = |f (Q) − f (P )| = |q − p| = q − p, QR = |f (R) −
f (Q)| = |r − q| = r − q, and P R = |f (R) − f (P )| = |r − p| = r − p so that
P R = (r − q) + (q − p) = QR + P Q, and that by Definition 2, Q is between P
and R.
The content of this first theorem is sharpened with the following theorem:
3.2. AXIOMS OF BETWEENNESS 49
Theorem 2. Given three distinct points incident with the same line, then
exactly one of these points is between the other two.
Proof. We only sketch the proof and leave the details to the reader as a straight-
forward exercise. First we show that one of the three points must lie be-
tween the other two by examining all six possibilities for ordering the three
real numbers p = f (P ), q = f (Q) and r = f (R) in increasing order, such
as p < r < q or r < q < p, etc., and applying Theorem 1 to each possibil-
ity. To prove the uniqueness of the point between the other two, we use an
RAA argument: suppose Q is between P and R and P is between Q and R.
Then by Definition 2, P Q + QR = P R and QP + P R = QR. The distances
P Q, QR, and P R being positive numbers, we have: P Q = P R − QR and
P Q = QR − P R = −(P R − QR) = −P Q. Since a real number cannot be both
positive and negative, it follows that P Q must be zero, implying that P and Q
are the same point. This conclusion, however, contradicts the hypothesis of the
theorem which requires three distinct points.
These admittedly elementary theorems clarify the notion of betweenness
rigorously and lead to
Definition 3. For any two distinct points P and Q, the segment P Q consists
of all points, including P and Q, that are between P and Q. The points P and
Q are called the endpoints of the segment P Q.
One remark is eminently important here: the segment P Q (a geometrical
object) and the distance P Q between its endpoints (an algebraic quantity) are
NOT the same entity, although they are related. Such careful distinctions will
be necessary throughout our discourse in order to avoid pitfalls similar to those
encountered in Euclid’s.
The preceding remark entails:
Definition 4. The length of segment P Q is the distance between its endpoints.
Next, we introduce the concept of ray which will be needed for the definition
of angles:
←→ −−→
Definition 5. Given two distinct points P and Q on line P Q, the ray P Q
←→
contains the segment P Q and all points R on line P Q for which it is true that
−−→
Q is between P and R. The point P of ray P Q is called the endpoint of the ray.
−−→
Definition 6. If point P is between points Q and R, then the rays P Q and
−→
P R are called opposite rays.
−−→
Theorem 3 (Point Plotting Theorem). Given ray P Q and the positive number
−−→
r, there exists exactly one point R on P Q such that P R = r.
Proof. By Axiom 4, we may assign the number zero to the endpoint P of ray
−−→
P Q and some positive number f (Q) to point Q. By Axiom 3(ii), there exists a
←→
unique point R on line P Q such that f (R) = r. Then P R = |f (R) − f (P )| =
|r − 0| = |r| = r since r is positive.
50 CHAPTER 3. ON THE FOUNDATIONS OF EUCLIDEAN GEOMETRY
So far, we have been applying the first few axioms to discover the properties
of lines and relationships between points incident with one given line, but there
is no reason yet to accept that there are distinct lines in our Geometry. To
ensure that our Geometry is not linear (or one-dimensional), we must use the
primitive term “plane.” To begin with, and in compliance with Requirement 1
of Logic, we agree to define space as follows:
Definition 10. Points P , Q, R, . . . are called collinear if they are all incident
with the same line.
Definition 11. Points P , Q, R, . . . are called coplanar if they are all incident
with the same plane.
To ensure that planes contain points (and hence, lines) and that space con-
tains planes (and hence, points and lines), we state:
Axiom 5.
This axiom entails immediately that our Geometry contains at least three
distinct lines and, since lines contain an infinitude of points, Axiom 1 ensures
that the plane containing the three non-collinear points contains an infinitude
of lines. In the same fashion, we shall conclude later that space contains an
infinitude of points, lines, and planes. For the time being, however, we must
clarify the relationship between the primitive terms “plane” and “line” and
“incidence of lines with a plane” with a new axiom:
3.2. AXIOMS OF BETWEENNESS 51
Axiom 6. If two distinct points are incident with a plane, then the line incident
with these two points is incident with that plane.
Intuitively, Axiom 6 ensures that if a segment of a line is contained in a
plane, then the entire line is contained in that plane and does not “wobble in
and out” of the plane.
In the same way that Axiom 1 states that two distinct points determine a
unique line and relates two primitive terms (point and line) together, the next
two axioms fulfill the same purpose for planes, lines and points:
Axiom 7. Any three distinct points are coplanar and any three non-collinear
points are incident with (determine) a unique plane.
Definition 12. Let l be a line, A and B distinct points that are not incident
with l. If segment AB contains no point incident with l, we say that A and B
are on the same side of l, and if segment CD intersects l, we say that C and
D are on opposite sides of l.
Note that the Law of the Excluded Middle (our former Rule 1 of Logic),
along with Theorem 5, imply that two distinct points are either on the same or
on opposite sides of a line, unless they are both incident with that line.
We may state now:
Axiom 9 (Plane Separation Axiom). For every line l and any three distinct
points A, B, C not incident with l, all lying in the same plane as l:
(i) if A and B are on the same side of l and B and C are on the same side
of l, then A and C are on the same side of l.
(ii) if A and B are on opposite sides of l and B and C are on opposite sides
of l, then A and C are on the same side of l.
Theorem 6. Every line bounds exactly two half-planes and these half-planes
have no point in common.
Proof. For every line l, there exists a point A not incident with l (Axiom 5(i)).
There exists a point O lying on l (Axiom 3). Points A and O determine a unique
←→ ←→
line OA (Axiom 1). There exists point B on line OA such that O is between A
3.2. AXIOMS OF BETWEENNESS 53
We have gone through the various steps of the argument leading to the
conclusion of Theorem 6 in detail, citing the reason which justifies each such
step, in order to exhibit the standard format of a rigorous proof. In most
textbooks, proofs are arranged in two columns with each numbered step in the
left-hand column and its justification in the right-hand column. Such a format
makes the analysis easier and, in particular, allows for a quick detection of errors
which might have crept in the argument sequence.
As a Corollary of Theorem 6, we may state that if two points lie in the
same half-plane determined by a given line, then the segment between these
two points lies entirely in the same half-plane and never intersects the line,
whereas if each point lies in a different half-plane, then the segment with these
two points for endpoints must intersect the given line.
We prove now the very important
Proof. Either C is incident with l or it is not. If it is, then the Theorem holds:
line l intersects segments AC and BC at their endpoint C. Suppose now that
C is not incident with l. Since l intersects segment AB (hypothesis), then A
and B are on opposite sides of l (Definition 12). Since l has two sides (Theorem
6), point C must lie either on the same side of l as A or on the same side of l as
B (Axiom 9). If C is on the same side of l as A, then it is on the opposite side
from B and, consequently, l must intersect segment BC and does not intersect
segment AC. A similar argument holds when C is on the same side of l as B.
This completes the proof of Pasch’s Theorem.
54 CHAPTER 3. ON THE FOUNDATIONS OF EUCLIDEAN GEOMETRY
−−→ −→
The angle formed by the non-opposite rays AB and AC with vertex A will
be denoted ]BAC or ]CAB or simply ]A. First notice that an angle ]BAC
can be equally defined by its vertex A and any two points D and E on its legs
−→ −−→ −→ −−→
AC and AB respectively, because by Definition 5, rays AC and AD are identical
−−→ −→
and so are rays AB and AE. Next, it is important to realize that an angle is
a “plane” object, entirely contained in a well-defined plane, namely the plane
determined by the three non-collinear points consisting in the angle vertex and
any two points incident with each of the two sides of the angle. This is an
immediate consequence of Axioms 7 and 6. Finally, it should be pointed out
that “straight” and “zero” angles are excluded from Definition 13.
−−→
Definition 14. If two angles ]BAD and ]CAD have a common leg AD and
−−→ −→
their other two legs AB and AC form opposite rays, these two angles are a
linear pair.
by the vertices (by virtue of Axioms 6 and 7). Furthermore, a triangle 4ABC
determines three angles ]BAC, ]CBA, and ]BCA which are called the angles
of the triangle 4ABC.
The concept of “betweenness” induces an order among points on a line. In
an analogous manner, points in a plane can be “ordered” as lying “inside” or
“outside” a closed plane figure, in particular, a triangle. The general definition
of the interior of a plane closed curve is quite intricate but that of an angle or
of a triangle is relatively straightforward:
←→
Proof. Suppose P on line AC is between A and C. Then by Theorem 8 applied
−→ ←→
to ray AC with line AB playing the role of line l, it follows that P and C are
←→ ←→
on the same side of BA. Similarly, P and A are on the same side of BC. By
Definition 16, P is in the interior of angle ]ABC.
←→
Conversely, suppose point P on line AC is in the interior of angle ]ABC.
←→
Then, by Definition 16, P and A are on the same side of line BC so C is not
←→
between A and P , and P and C are on the same side of line AB so A is not
between P and C. Therefore, P must be between A and C.
Theorem 10. Given angle ]ABC, let point D be between A and C and E be
−−→
a point on ray BC such that C is between E and B. Then each point F on ray
−−→
BD such that D is between B and F is in the interior of angle ]ACE.
←→
Proof. Let E be a point on line AB such that B is between A and E (i.e. E
−−→
is on the opposite ray of BA). Let Π1 and Π2 be the two half-planes bounded
←→
by line BC. Since D is in the interior of angle ]ABC, then A and D are on
←→
the same side of BC, say, in the half plane Π1 . By Axiom 9, E is then in the
−−→
half-plane Π2 . By Theorem 8, each point of ray BD, except the endpoint B,
lies in Π1 , but no point of segment CE does. Hence, segment CE does not
−−→ ←→
intersect ray BD, since B is not incident with EC. On the other hand, each
←→
point of segment EC, except point E, lies on the same side of line AB as points
−−→
C and D, but each point of the ray opposite to ray BD, except point B, lies on
←→ −−→
the opposite side of AB. Hence, the ray opposite to ray BD fails to intersect
segment EC too. However, Pasch’s Theorem (Theorem 7) applied to points A,
←→
E, C asserts that line BD must intersect either segment AC or segment EC.
←→
Consequently, line BD must intersect segment AC. Notice that each point of
←→
segment AC other than A lies on the same side of line AB as points C and
−−→
D (Theorem 8 and Axiom 9), but each point of the ray opposite to ray BD,
←→
except for point B, lies on the other side of AB. Hence, the ray opposite to ray
−−→
BD fails to intersect segment AC. The proof of the Crossbar Theorem is now
complete.
Definition 17. A point lies in the interior of a triangle if it lies in the interior
of each angle of the triangle. A point in the plane of the triangle but not lying
in the interior of the triangle nor on any of its sides is said to be lying in the
exterior of the triangle.
Clearly, Theorems 9, 10, and 11 can be adapted to express the relationships
between a line and a triangle as well. We shall use such versions of these
theorems frequently as we proceed.
be measured with a protractor in the same way that lengths of segments can be
measured with a marked straightedge (ruler). Using a protractor, the measure
of an angle is the number of degrees (and fractions of degree) indicated by the
protractor. But protractors are concrete, material objects which do not have an
immediate bearing with our abstract definition of angles in terms of rays which
are, in the last analysis, defined in terms of primitive terms that have no obvious
concrete reality. Therefore, we must introduce further axioms concerning the
measurement of angles. Hence:
Definition 19. Two angles are supplementary if the sum of their measures is
180.
Axiom 13 (Angle Supplement Axiom). If two angles form a linear pair, then
they are supplementary.
Definition 20. A right angle is an angle with measure 90. Angles with measure
less (greater) than 90 are called acute (obtuse).
Definition 21. Two lines l and m are called perpendicular if they intersect at
−−→ −→
point P and if there is a ray P Q that is part of l and a ray P R that is part of
m such that ]QP R is a right angle.
Definition 22. If the sum of the measures of two angles is 90, then the angles
are called complementary, and each is called a complement of the other.
In the diagram, the angle pairs ]1 and ]3, and ]2 and ]4, are pairs of
opposite angles.
Theorem 21. Vertical angles are congruent.
Proof. Consider, say the vertical angles ]CAB and ]DAE. By Definition 24,
−→ −→ −−→ −−→
rays AC and AE are opposite and rays AB and AD are opposite. Then angles
]DAE and ]CAD are supplementary and so are angles ]DAE and ]BAE.
By Theorem 13, angle ]DAE is congruent to itself, and by Theorem 19, angles
]CAD and ]BAE are congruent, and thus have congruent supplements. It
follows then that angles ]DAE and ]CAB are congruent.
angles. Triangles (see Definition 15) are the simplest constructs made from these
building elements, and we are naturally led to examine relationships between
such objects.
To begin with, since the definition of triangle involves segments, it is neces-
sary to introduce the notion of congruence of segments:
Definition 25. Two segments are congruent if they have the same length.
If segments AB and A0 B 0 have the same length, that is, if AB = A0 B 0 , then
the congruence of segments is denoted by AB ∼ = A0 B 0 .
It should be stressed once more that equality of geometric entities (here,
segments and angles) means that these objects are exactly the same. Otherwise,
one must revert to the notion of congruence which, in turn, is defined in terms
of equality of measurements of these entities. One immediate consequence of
the definition above is:
Theorem 22 (Reflexivity of Congruence). Every segment is congruent to itself.
Proof. Left as an exercise in semantics.
Equally “trivial” are:
Theorem 23 (Symmetry of Congruence). If AB ∼ = CD, then CD ∼
= AB.
∼ CD and CD ∼
Theorem 24 (Transitivity of Congruence). If AB = = EF , then
∼ EF .
AB =
Consider now two triangles 4ABC and 4XY Z. In order to relate/compare
these two triangles, it is natural to try to match up their vertices in order to
establish a correspondence between their sides and angles which will allow to
compare the triangles with the help of earlier axioms. Thus, the matching-up of,
say, vertices A ↔ Y , B ↔ Z, and C ↔ X leads to unambiguous correspondences
between the angles and sides of the two triangles: ]A ↔ ]Y , ]B ↔ ]Z, ]C ↔
]X, and AB ↔ Y Z, AC ↔ Y X, BC ↔ ZX. Needless to say, each different
match-up of vertices leads to different correspondences among the angles and
sides of the triangles concerned. We may now define the congruence of two
triangles:
Definition 26. Two triangles are said to be congruent if there exists a match-
ing of their vertices such that every pair of corresponding angles and every
pair of corresponding sides are congruent. We say 4ABC ∼ = 4XY Z if the
correspondence is such that A ↔ X, B ↔ Y , and C ↔ Z
Notice that congruence of two triangles implies six congruences between geo-
metric objects—three pairs of sides and angles—and, equivalently, six equalities
between algebraic quantities—lengths and angle measures. It is straightforward
to see that the properties of reflexivity, symmetry, and transitivity which hold
for the congruence of segments and angles are automatically transferred to the
congruence of triangles.
Now, according to Definition 26, to examine if two triangles are congruent
requires finding a matching-up of vertices which leads to the above-mentioned
six congruences. The following axiom simplifies this search considerably:
62 CHAPTER 3. ON THE FOUNDATIONS OF EUCLIDEAN GEOMETRY
←→
and Y Z are equipped with isomorphisms f and g respectively which assign
different lengths to the segments BC and Y Z (see Axioms 2, 3, and 4). It
would then follow that sides BC and Y Z of the congruent triangles 4ABC and
4XY Z would not be congruent (see Definition 25), that is a contradiction with
Axiom 14 and Definition 26. We may therefore conclude that (plane) Euclidean
Geometry as laid out by means of Axioms 1 through 14 allows for essentially—
that is, up to the choice of the unit or scale—one single distance measurement
between points. In the same vein, we may assert that angle measurements are
equally uniquely determined up to the choice of the unit for angle measure: one
can equally restate Axiom 10 by requiring that the measure of angle be a real
number between zero and 200 or between zero and the number π = 3.14159 . . .
without creating a contradiction with the accepted axioms or proven theorems.
We close this chapter with the conclusion that allowing the distance and
angle measurements to depend on the “location” of points and lines in space
opens the door to a wealth of new geometries, but that is the realm of Differential
Geometry, and is of no concern to us here.
3.6. CONGRUENCE OF TRIANGLES 65
Exercises
1. Let f be an isomorphism between the points on a line and the real num-
bers, as required by Axiom 3, so each point P on line l corresponds the
unique real number f (P ). Let g be another isomorphism, defined by
g(P ) = −f (P ) + 3. Show that if Axiom 3 is valid with the isomorphism
f , it is equally valid with the isomorphism g.
3. Towns A, B and C are collinear but not necessarily in this order. A and
B are 16 miles away from one another and B and C are distant 25 miles.
4. Points A, B, C are fixed collinear points. Three different sets of real num-
bers are assigned to these points by three different functions f satisfying
Axiom 3: with one function, f1 (A) = −6 and f1 (B) = −2; with a second
function, f2 (A) = 4 and f2 (C) = −3; with a third function, f3 (B) = 4 and
f3 (C) = 7. Which point is between the other two? Evaluate the length
AB + BC + AC.
6. Prove Theorem 5
8. Consider the points on a line to which the following sets of real numbers
x correspond:
(a) x < 3
(b) x = 1
(c) x > 2
(d) x ≤ 1
(e) x = −3
(f) |x| ≤ 3
(g) |x| > 2
(h) |x| ≥ 0
66 CHAPTER 3. ON THE FOUNDATIONS OF EUCLIDEAN GEOMETRY
10. Can a point be in the interior of an angle of a triangle and in the exterior
of the triangle? Can a point be in the exterior of a triangle and not in the
interior of any angle of the triangle?
11. Given 4ABC, and a point P in the interior of angle ]BAC and also in
the interior of angle ]ACB. What can one conclude about point P ?
12. Consider a triangle 4ABC and a point P . P and A are on the same side
←→ ←→
of line BC, and P and B are on the same side of line AC.
←→ ←→
14. Is the following statement always true? “If two lines AB and CD intersect
at point O, then ]AOC ∼ = ]BOD”?
17. Given two triangles 4ABC and 4P QR. Suppose that the triangles are
congruent under the following two different correspondences between their
vertices: A ↔ P , B ↔ Q, C ↔ R and A ↔ P , B ↔ R, C ↔ Q. What
can be said of triangle 4ABC?
18. If one of two supplementary angles has a measure of 50 more than the
measure of the other, what are the measures of these angles? (Write an
equation and then solve.)
19. The measure of an angle is five times that of its complement. What is the
measure of this angle? (Be sure to write an equation for this one, too.)
20. Is there a point in the plane of a triangle such that the point is neither in
the exterior nor the interior of the triangle and neither in the interior nor
the exterior of any of its angles?
3.6. CONGRUENCE OF TRIANGLES 67
On Neutral Geometry I
Definition 28. A triangle whose three sides are congruent is called equilateral.
A triangle whose three angles are congruent is called equiangular. A triangle
69
70 CHAPTER 4. ON NEUTRAL GEOMETRY I
−−→
Clearly, if AD bisects angle ]BAC, then m ]BAD = m ]CAD = 12 m ]BAC.
Proof. Given angle ]A, points B and C can be determined on each leg in such
a way that AB = AC (by virtue of Theorem 3). Let D be the midpoint of
segment BC: DB = DC (by virtue of Theorem 4). From Theorem 25, it
follows that ]ABD ∼ = ]ACD. The triangles 4ABD and 4ACD are then
→
−
congruent (S.A.S.), so that ]BAD ∼ = ]CAD, and ray A D bisects angle ]A.
This establishes the existence of an angle bisector. To prove its uniqueness, we
−→ −−→
use an RAA argument. Suppose there exists ray AE distinct from AD which
1
equally bisects angle ]A. Then we have: m ]EAB = m ]DAB = 2 m ]A. By
Axiom 11 (Angle Construction Axiom) applied in the half-plane of angle ]A
←→ −−→ −→
with line AB as edge, it follows that rays AD and AE must be one and the
same ray. The proof is now complete.
It is easily recognized that each angle bisector and each median of a triangle
is entirely contained in the interior of the triangle.
Proof. Given two triangles 4ABC and 4DEF such that ]A ∼ = ]D, ]B ∼ = ]E,
and AB ∼= DE. For a change, we present the RAA argument in the two-column
format as follows:
72 CHAPTER 4. ON NEUTRAL GEOMETRY I
Statements Reasons
1. If AC ∼
= DF , then 4ABC ∼ = S.A.S. (Axiom 14)
4DEF
2. Suppose AC 6= DF RAA hypothesis
3. There is a unique point X on Theorem 3
−−→
DF such that DX = AC
4. 4ABC ∼ = 4DEX S.A.S. (Axiom 14)
5. ]ABC ∼= ]DEX Corresponding parts of congruent
triangles
6. ]ABC ∼ = ]DEF Given
7. ]DEX ∼ = ]DEF Steps 5 and 6
−−→ −−→
8. Rays EF and EX are the same Step 7 and Axiom 11
←→
9. Point X and F are the same Theorem 5 applied to lines EF and
←→
DF
10. 4ABC ∼
= 4DEF Steps 4 and 9.
Theorem 28. If two angles of a triangle are congruent, the triangle is isosceles,
with the two sides opposite the congruent angles congruent.
Proof. Given 4ABC with, say, ]B ∼ = ]C. Consider again the congruence
A ↔ A, B ↔ C, and C ↔ B. Now, BC = CB (identity) and ]B ∼ = ]C
(given). Hence, 4ABC ∼ = 4ACB by Theorem 27 (A.S.A.) and it follows that
AB ∼= AC as corresponding parts of congruent triangles.
Theorem 29. Every equiangular triangle is equilateral.
Proof. Given triangle 4ABC with ]A ∼ = ]B ∼ = ]C. The sides opposite angles
]B and ]C are congruent by Theorem 28: BC ∼ = AC. Another application of
Theorem 28 to another pair of congruent angles leads to the congruence of their
opposite sides. Thus the triangle is equilateral.
The next criterion for congruence of two triangles is the following:
Theorem 30 (The S.S.S. Theorem). Given two triangles, if there is a cor-
respondence between their vertices such that all three pairs of corresponding
sides are congruent, then the triangles are congruent (the correspondence is a
congruence).
4.1. CONGRUENCE OF TRIANGLES 73
Proof.
Statements Reasons
−→
1. There exists ray AG such that Axiom 11 and Axiom 9
]CAG ∼ = ]EDF and B and G are
←→
on opposite sides of line AC
2. There exists a point E 0 on ray Theorem 3
−→
AG such that AE 0 ∼ = DE
3. 4DEF ∼ = 4AE 0 C S.A.S.
Note: So far, we have only “duplicated” triangle 4DEF on the other side
←→
of line AC, using the S.A.S. Axiom.
4. AB ∼= AE 0 Hypothesis and Step 2
∼
5. BC = CE 0 Hypothesis and Step 3
←→
6. Segment BE 0 intersects line AC Step 1 and Separation Axiom 9
in a unique point H
There are now four possibilities: point H may lie between A and C, or
coincide with A, or coincide with C, or A comes to lie between H and C (or C
comes to lie between H and A).
Suppose H is between A and C, as shown above. We then proceed:
7. ]ABH ∼ = ]AE 0 H Step 4 and Theorem 25
8. ]CBH ∼ = ]CE 0 H Step 5 and Theorem 25
9. m ]ABH + m ]CBH = Axiom 12
m ]ABC
10. m ]AE 0 H + m ]CE 0 H = Axiom 12
m ]CE 0 A
11. ]ABC ∼ = ]AE 0 C Steps 7, 8, 9, and 10
12. ]ABC ∼ = ]DEF Steps 3 and 11
13. 4ABC ∼ = 4DEF Hypothesis and S.A.S.
If H = A, then ]B ∼ = ]E 0
by Step 5 and Theorem 25. Therefore,]B ∼ = ]E
by Step 3, and it follows that 4ABC ∼ = 4AE 0
C ∼
= 4DEF by the S.A.S. Axiom
and Step 3. The same argument applies if H = C. Suppose now that A comes
to lie between H and C, as shown. Then m ]ABC = m ]HBC − m ]HBA by
virtue of Axiom 12, and similarly, m ]AE 0 C = m ]HE 0 C − m ]HE 0 A.
Then, ]ABC ∼ = ]AE 0 C ∼ = ]DEF by Steps 7, 8, 11, and 12 above, and the
proof is completed similarly.
74 CHAPTER 4. ON NEUTRAL GEOMETRY I
Theorem 31. Given a line l and a point P on l in a given plane Π, there exists
in Π one and only one line m through P and perpendicular to l.
Proof. We have to prove the existence and the uniqueness of line m. Let
plane Π be identified with the plane of the illustrative drawing.
To prove the uniqueness of line m, we show that there is at most one line
perpendicular to l through P . Suppose there were two lines m1 and m2 through
P and both perpendicular to l. Let Q be a point distinct from P on l, and
−−→
consider the rays P R1 and P R2 having common vertex at P lying in the same
half-plane Π1 with l for boundary (edge), and determined by the points R1 and
R2 on m1 and m2 , respectively. Then, by definition of perpendicularity, one of
the angles determined by l and m1 is a right angle, so that we may consider, say,
m ]QP R1 = 90. In an entirely similar fashion, we may write: m ]QP R2 = 90.
But this contradicts Axiom 11 which ensures the uniqueness of a ray in a given
half-plane and creating an angle of prescribed measure (here, 90) with a given
ray. Hence, the assumption that there are two perpendiculars m1 and m2 to
line l through P is false.
4.2. THEOREMS ON PERPENDICULARS IN A PLANE 75
It should be noticed that the condition stated in Theorem 31 that the line
m perpendicular to line l through point P must lie in a prescribed plane Π is
essential for the uniqueness of line m: if one allows line m to lie in an arbitrary
plane, it is easily visualized that there are more than one such line. We have thus
an example of an existence theorem with no corresponding uniqueness theorem.
The inverse situation, i.e. a uniqueness theorem with no corresponding existence
theorem can also occur, as provided by the following example: “Two distinct
lines intersect in at most one point.”
←−→
its midpoint M . Therefore, P M is the perpendicular bisector of segment AB
←−→
in the given plane Π. By Theorem 31, P M is equal to m, and P lies on m.
Theorem 33. Given a line l and a point P not lying on l, there exists at most
one line through P perpendicular to l.
Proof. Suppose there were two distinct lines m1 and m2 containing P and per-
pendicular to l. Let Q1 and Q2 be the feet of m1 and m2 , respectively, on l. Since
m1 and m2 are distinct, it follows that Q1 and Q2 are different points (Why?).
−−→
On the ray opposite to, say, ray Q1 P , choose point R such that Q1 P ∼ = Q1 R
(Theorem 3). Then Q1 Q2 ∼ = Q1 Q2 , Q1 P ∼
= Q1 R and ]P Q1 Q2 ∼ = ]RQ1 Q2 (by
hypothesis), so that 4P Q1 Q2 ∼ = 4RQ1 Q2 by virtue of the S.A.S. Axiom. It
follows then that ]RQ2 Q1 ∼ = ]P Q2 Q1 and that ]RQ2 Q1 is a right angle, since
]P Q2 Q1 is a right angle (by hypothesis). But this contradicts Theorem 31 and,
therefore, there exists at most one line m1 (or m2 ) through P perpendicular to
l (in the plane determined by P and l).
Theorem 34. Given a line l and a point P not lying on l, there exists at least
one line through P perpendicular to l.
4.2. THEOREMS ON PERPENDICULARS IN A PLANE 77
Notice that the diagram accompanying the above proof corresponds to one
of three possible cases, the other two being when point A lies between points B
and Y or when point A is identical with point Y . These two latter cases can
be dealt with in a manner entirely similar to those occurring in the proof of the
Theorem 30 (S.S.S. Theorem) and, therefore, should be left as exercises.
Theorems 33 and 34 can now be merged into a single statement as follows:
Theorem 33/34. For any given line and any given point not lying on that line,
there exists a unique line through the given point perpendicular to the given
line.
78 CHAPTER 4. ON NEUTRAL GEOMETRY I
Proof. Let line l be not contained in plane Π and let l intersect Π at point P .
Suppose there is a second point Q—distinct from P —lying on l and contained
in Π. By Axiom 6, the line determined by points P and Q which are incident
with plane Π is entirely contained in Π. But this line must be identical with
line l (Axiom 1) thereby contradicting the hypothesis which states that l is not
contained in Π.
For the sake of completeness, we formulate and prove the following theorem
which we have already used implicitly (where?):
4.3. FUNDAMENTALS OF SPATIAL GEOMETRY 79
Theorem 36. A line and a point not incident with that line determine a unique
plane.
Proof. The existence and uniqueness of the plane are guaranteed by the fact
that the line contains (at least) two distinct points which, together with the
given point, constitute a triplet of non-collinear points which in turn, by virtue
of Axiom 7, determine a unique plane.
Theorem 37. Any two intersecting lines determine a unique plane.
Proof. Let lines l1 and l2 intersect at the unique point P . There exists point
Q1 distinct from P on line l1 (Axiom 3). Then, Q1 is not incident with l2
(Theorem 5). By Theorem 36, Q1 and l2 determine a unique plane Π. Since
plane Π contains points P and Q1 , it contains the entire line l1 (Axiom 6).
So far, we have proved the existence of at least one plane containing both
intersecting lines l1 and l2 . Suppose now that there is another plane Π0 , distinct
from plane Π0 , which also contains lines l1 and l2 . Then, planes Π and Π0 both
contain point Q1 and line l2 which is in contradiction with Theorem 36. Hence,
Π = Π0 .
Recall from Axiom 8 that if two planes intersect then their intersection is a
line. Combine this with Axiom 6 and we can deduce that if two distinct planes
contain two distinct points in common, then they contain the line determined
by those two points in common.
Spatial separation is entirely similar to the separation of a plane into two
half-planes by a line contained in that plane. We first define the different sides
of a plane:
Definition 34. Let Π be any plane and A and B any two distinct points not
incident with Π. If segment AB contains no point in common with Π, we say
that A and B are on the same side of Π, and if segment AB intersects plane
Π, we say that A and B are on opposite sides of Π.
The collection of all points not contained in a plane and located on the same
side of that plane is called a half-space. That any arbitrary plane separates
(three-dimensional) space into two disjoint half-spaces bounded by that plane
is established by the following spatial analog of the Plane Separation Axiom
(Axiom 9). Note that the proof of this theorem is somewhat complicated. The
reader can, instead, choose to take the theorem as an axiom and omit the proof.
Of course, the existence of the proof demonstrates that if taken as an axiom,
the axiom must be redundant.
Theorem 38 (Space Separation Theorem). For every plane Π and any three
points A, B, C not incident with Π:
(i) if A and B as well as B and C are in the same half-space, then A and C
are in the same half-space;
(ii) if A and B as well as B and C are in opposite half-spaces, then A and C
are in the same half-space.
80 CHAPTER 4. ON NEUTRAL GEOMETRY I
Proof. First, we assume the opposite of assertion (i), that A and B as well as
B and C are in the same half-space and that A and C are in opposite half-
spaces. Thus, by Definition 34, we know that segment AC intersects plane Π,
say at point P . Consider a plane Π1 containing the three given points (Axiom
7). Point P is also in Π1 (Axiom 6), and thus the two planes intersect and the
intersection is a line (Axiom 8), say l, which contains P . Thus, in Π1 , A and
C are on opposite sides of l. However, neither segment AB nor segment BC
intersect Π (Definition 34), so neither segment can intersect l, and thus in Π1
both A and B as well as B and C are on the same side on l. This contradicts
the Plane Separation Axiom (Axiom 9) as we’ve already established that A and
C are on opposite sides of l.
To prove assertion (ii), assume that A and B as well as B and C are in
opposite half-spaces of Π. Again, let Π1 be a plane containing A, B and C.
Since segment AB intersects plane Π (Definition 34) and this intersection must
be in plane Π1 (Axiom 6), the two planes must intersect and their intersection
is a line (Axiom 8). Again, call this line l. Since segments AB and BC both
intersect Π (Definition 34) and since these entire segments lie in plane Π1 (Axiom
6), both segments must intersect Π at points also in Π1 and thus must intersect
line l. So, in plane Π1 , we have A and B as well as B and C on opposite sides
of line l (Definition 12), and therefore, by Axiom 9, A and C are on same sides
of l in Π1 . Finally, by Definitions 12 and 34 and the fact that l is incident with
Π, A and C are on same half-planes of Π.
Note that if two points lie in different half-spaces determined by a given
plane, the segment determined by those two points must intersect the plane in
a (unique) point. It is also worthwhile mentioning that in three dimensions while
a plane is the boundary of exactly two half-spaces, a line is on the boundary of
infinitely many half-spaces.
4.3. FUNDAMENTALS OF SPATIAL GEOMETRY 81
Exercises
Present your proofs in the double-column format unless stated otherwise.
2. Prove that in the diagram shown, if the line segments AD and BC bisect
each other at E, then AB ∼= CD and AC ∼ = BD.
Prove AB ∼
= XY .
82 CHAPTER 4. ON NEUTRAL GEOMETRY I
−→ −−→
11. Given ]AOB with OA ∼ = OB and points P and Q on rays OA and OB,
respectively, such that AQ ∼
= P B.
“In an isosceles triangle, the angle bisector of the angle opposite to the
triangle base is perpendicular to this base.”
Prove: RX ∼
= RY .
84 CHAPTER 4. ON NEUTRAL GEOMETRY I
14. Prove that the median from the vertex of an isosceles triangle to the
triangle’s base is the bisector of the vertex angle.
15. Prove that if in a triangle the median and the angle bisector from the
same vertex coincide, the triangle is isosceles.
16. A circular argument is camouflaged in the proof of the following theorem.
Can you unmask it?
Theorem. The base angles of an isosceles triangle are congruent.
18. In triangle 4HAF , points B and W are on sides AF and AH, respectively,
and F W ⊥ AH, HB ⊥ AF , and AW ∼ = AB.
Prove: F W = HB.
19. In triangles 4ABC and 4HRW , the medians AF and HQ are congruent
and AC ∼ = HW , AB ∼
= HR.
Prove that these two triangles are congruent.
20. Prove that the bisectors of a pair of corresponding angles of two congruent
triangles are congruent.
AQ ⊥ RS, RQ ∼
= SQ, and RC ∼
= SC.
Prove: ]RCA ∼
= ]SCA.
24. The congruent triangles 4P AB and 4QAB lie in different planes but
have the side AB in common.
25. Prove that the bisector of any angle of a scalene triangle cannot be per-
pendicular to the opposite side.
28. Points P and Q are on opposite sides of plane Π . Let M be the intersection
of segment P Q with Π. Determine whether the following statements are
true or false. JUSTIFY their truth by referring to appropriate theorem(s)
or their falsity by supplying a counterexample.
(d) P and Q are on opposite sides of any plane containing point M but
←→
not containing line P Q.
Chapter 5
On Neutral Geometry II
−→
Definition 35. If point D is on ray AC of triangle 4ABC such that vertex C
is between A and D, then the angle ]BCD is an exterior angle of 4ABC.
Clearly, each triangle has six exterior angles which are grouped in three pairs
of opposite, hence, congruent angles, as shown.
Definition 36. The angles ]A and ]B of triangle 4ABC are called the remote
interior angles of the exterior angles ]BCD and ]ACE.
89
90 CHAPTER 5. ON NEUTRAL GEOMETRY II
Proof.
Statements Reasons
1. Let point E be the midpoint of By Theorem 4 there is such a mid-
BC point
−→
2. Let F be a point on ray AE Theorem 3
such that E is between A and F
and AE = EF
3. ]BEA ∼ = ]F EC Opposite angles (Theorem 21)
4. 4BEA ∼ = 4CEF Steps 1, 2, 3 and S.A.S.
5. m ]B = m ]ECF Corresponding parts of congruent
triangles
6. m ]BCD = m ]ECF + Axiom 12 (Angle Addition Axiom)
m ]F CD
7. m ]BCD = m ]B + m ]F CD Steps 5 and 6
8. m ]BCD > m ]B Step 7 and algebra
In a similar fashion, m ]ACX > m ]A (Proof left as an exercise). Since
]ACX ∼= ]BCD, it follows that m ]BCD is greater than m ]A and m ]B.
Proof. If m ]A = 90◦ , then m ]BCD > 90◦ . Since m ]BCA+m ]BCD = 180◦
(Axiom 13), it follows that m ]BCA = 180◦ − m ]BCD, so that m ]BCA <
90◦ . In a similar fashion, one proves that m ]CBA < 90◦ .
Statements Reasons
−−→
1. On ray AB, let X be a point so Point Plotting Theorem
that AX = DE
2. 4AXC ∼ = 4DEF S.A.S.
3. m ]AXC = m ]DEF Corresponding parts
4. m ]AXC = m ]ABC Step 3 and hypothesis
5. Suppose point X is the same as Assumption
point B
6. AB ∼ = DE Steps 5 and 6
7. 4ABC ∼ = 4DEF A.S.A.
8. Suppose X 6= B and X is be- Step 5, Law of the Excluded Mid-
tween A and B or B is between A dle
and X
9. In either case, one of ]AXC Definitions 35 and 36, Theorem 3
and ]ABC is an exterior angle of
4BXC and the other is a remote
interior angle.
10. m ]AXC 6= m ]ABC Theorem 39
11. Contradiction Steps 9 and 4
12. X = B
13. 4ABC ∼ = 4DEF Steps 12 and 2
gruent to the corresponding parts of the other triangle, then the correspondence
is a congruence.
Proof. The right triangles 4ABC and 4DEF are given with BA ∼ = ED and
∼ −−→
BC = EF . On the ray opposite to DF , select point Q such that DQ = AC.
Then 4EDQ ∼ = 4BAC by the S.A.S. Axiom, and hence EQ = BC. In the
isosceles triangle 4EQF , ]EQD ∼
= ]EF D. Therefore, in the right triangles
4DEF and 4DEQ, we have EQ ∼ = EF , ]EQD ∼ = ]EF D and also ]EDQ ∼ =
]EDF . Hence, by Theorem 40 (S.A.A.), 4EDQ ∼ = 4EDF ∼ = 4ABC.
Theorem 42. If two sides of a triangle are not congruent, the angles opposite
these sides are not congruent, and the larger angle is opposite the longer side.
Proof. In triangle 4ABC, suppose AB > AC. Using the Point Plotting The-
−→
orem, select point D on ray AC such that AD = AB. Then in the isosceles
triangle 4ABD: m ]ADB = m ]ABD. Since C is between A and D (The-
orem 1), it follows from Theorem 9 that C is in the interior of angle ]ABD,
so that BC is in the interior of ]ABD, and by the Angle Addition Axiom
we have: m ]ABC + m ]CBD = m ]ABD. Since m ]CBD > 0, it follows
that m ]ABD is larger than m ]ABC. Therefore: m ]ADB > m ]ABC
(Theorem 25). Now, ]ACB is an exterior angle of 4BCD, and by Theo-
rem 39, m ]ACB > m ]ADB. Hence, m ]ACB > m ]ADB > m ]ABC, i.e.
m ]C > m ]B, which was to be proved.
Theorem 43. If two angles of a triangle are not congruent, then the sides
opposite these angles are not congruent, and the larger angle is opposite the
longer side.
5.1. GEOMETRIC INEQUALITIES 93
Proof. In triangle 4ABC, assume that m ]B < m ]C. Then there are three
possibilities for the lengths of the sides AB and AC: either AB > AC or
AB < AC or AB = AC. If AB = AC, then 4ABC is isosceles and by
Theorem 25, ]B ∼ = ]C which contradicts the hypothesis. If AB < AC, then by
Theorem 42, m ]C < m ]B which also contradicts the hypothesis. Therefore,
the only remaining possibility is AB > AC which was to be proved.
Theorem 44. Given line l and point P not lying on l, the shortest segment
with one endpoint at P and the other on l is the perpendicular segment through
P to l.
Definition 37. The distance of a point not lying on a line to that line is the
length of the perpendicular segment from that point to the line. The distance
between a line and a point lying on it is defined to be zero.
Theorem 45 (The Triangle Inequality). The sum of the lengths of any two
sides of a triangle is larger than the length of the third side.
−−→
Proof. Take point D on ray CB such that B is between D and C and DB = BA.
Then, CD = CB + BD = AB + CB. Furthermore, since B is in the interior of
angle ]CAD, it follows that m ]DAB < m ]DAC (Why?). On the other hand,
in the isosceles triangle 4BDA, m ]BDA = m ]BAD. Hence, m ]BDA <
m ]DAC, and by Theorem 43, we have AC < DC, that is, AC < CD or
AC < AB + BC, which was to be proved.
94 CHAPTER 5. ON NEUTRAL GEOMETRY II
Proof. Consider the two triangles 4ABC and 4DEF with AB = DE and
AC = DF and m ]BAC > m ]EDF . Use Axiom 11 (Angle Construction
−→ ←→
Axiom) to construct ray AQ with Q on the same side of line AC as vertex B of
4ABC, such that m ]QAC = m ]EDF . On ray AQ, use the Point Plotting
Theorem to determine point K such that AK = DE. Construct triangle 4AKC
in the interior of ]BAC. Then, by S.A.S., 4AKC ∼= 4DEF . Now, bisect angle
]BAK and let this angle bisector intersect segment BC at M (Justify this
intersection!). Then 4ABM ∼ = 4AKM (S.A.S.), so that BM = M K. The
Triangle Inequality (Theorem 45) applied to triangle 4CKM yields: CK <
KM + M C or CK < CM + BM i.e. CK < BC. Since CK = EF , it follows
that EF < BC which was to be proved.
Every triangle has three altitudes. Notice that the foot of an altitude does
not necessarily lie between the two other triangle vertices, and that the length
of an altitude from a triangle vertex is always shorter than the lengths of the
two triangle sides meeting at that vertex (Theorem 44).
Proof. Let l1 and l2 be two lines intersecting at point A and let Π be the plane
determined by these two lines. Let line l be perpendicular to each of l1 and l2
at A, and let l3 be any line contained in Π through A. Choose an arbitrary
point P on l and let point Q be the point of l on the opposite side of Π from
P and such that AP = AQ (Justify the existence of point Q). Let points B1 ,
B2 , B3 be on lines l1 , l2 , l3 respectively. Then, in the plane determined by lines
l and l1 , l1 is the perpendicular bisector of segment P Q (Definition 32). By
Theorem 32, B1 is equidistant from P and Q. In a similar way, B2 is shown
to be equidistant from P and Q, and point A is evidently equidistant from P
and Q. By the second Lemma, it follows that point B3 is also equidistant from
P and Q, and so are all points of line l3 . Now, in the plane determined by l
and l3 , Theorem 32 asserts that l3 is the perpendicular bisector of segment P Q
and, hence, l3 is perpendicular to l. Since l3 was chosen arbitrarily, it follows
that l is perpendicular to all lines contained in Π through A. Therefore, l is
perpendicular to plane Π, which was to be proved.
Now, in analogy with plane Euclidean Geometry in which there exists a
unique line through a given point perpendicular to a given line, we prove that
there exists a unique plane through a given point perpendicular to a given line.
As in the two-dimensional case, we begin with the simpler case and proceed to
the general case.
Theorem 49. Given a line and a point on that line, there exists (at least) a
plane through the given point perpendicular to the given line.
The next theorem ensures that all lines perpendicular to l at P are contained
in the plane perpendicular to l at P whose existence is guaranteed by Theorem
49:
Theorem 50. If a plane and a line are perpendicular, then the plane contains
all lines perpendicular to the given line at its intersection with the given plane.
Proof. Let line l and plane Π be perpendicular at P , and let m be a line perpen-
dicular to l at P . Then m and l determine the plane Π0 which intersects plane
Π along line n (Axiom 8). Since n is contained in Π, n is perpendicular to l at
P . On the other hand, both lines m and n lie in Π0 and both are perpendicular
to l at P . By Theorem 31, m and n must be the same line. Since n lies in Π,
it follows that m is contained in Π.
Theorem 51. Through a given point on a given line, there exists at most a
plane perpendicular to the given line.
Proof. By Theorem 50, all lines perpendicular to the given line at the given
point are contained in a plane through that point and perpendicular to the
line. If there were another plane through the point and perpendicular to the
line, then the intersection of these two different perpendicular planes would be
a single line and the second plane would not contain all lines perpendicular to
the given line at the given point. This contradicts Theorem 50 and, thus, the
two perpendicular planes are the same.
Theorem 52. Given a line l and a point P not on l, there exists a unique plane
through P perpendicular to l.
5.2. PERPENDICULAR LINES AND PLANES 99
Proof. We reduce this case to the previous one by considering the (unique) plane
Π determined by the line l and point P (Theorem 36). In plane Π, Theorem 33
and 34 guarantee the existence of a unique line through P and perpendicular to
l. Let H be the foot of this perpendicular. Theorems 49, 50, and 51 guarantee
the existence and uniqueness of a plane through H and perpendicular to l, which
←→
necessarily contains line HP and, hence, point P.
The next theorem is the three-dimensional analog of Theorem 32, and its
proof is left as an exercise:
The following four theorems guarantee the existence and uniqueness of a line
through a given point and perpendicular to a given plane:
Theorem 55. Through a given point in a given plane, there exists (at least)
one line perpendicular to the plane.
100 CHAPTER 5. ON NEUTRAL GEOMETRY II
Proof. Let Π be a plane and P a point in Π. By Axiom 5(i), there exists point
←→
Q in Π, and line P Q is entirely contained in Π (Axiom 6). Let Π0 be the
←→
(unique) plane perpendicular to line P Q at P (Theorems 49 and 51). Planes
Π and Π intersect along line m containing P (Axiom 8). In plane Π0 , there
0
Theorem 56. Through a given point in a given plane, there is at most one line
perpendicular to the given plane.
Proof. Suppose there were two distinct lines l1 and l2 perpendicular to the
given plane Π at point P in Π. Then l1 and l2 determine a unique plane Π0
(Theorem 37) which intersects plane Π in a unique line m containing P (Axiom
8). In Π0 , we would then have two different lines perpendicular at P to m, thus
contradicting Theorem 31.
Similar existence and uniqueness theorems hold for the perpendicular line
to a given plane through a point not contained in that plane:
Theorem 57. Through a given point not contained in a given plane, there
exists (at least) one line perpendicular to that plane.
5.2. PERPENDICULAR LINES AND PLANES 101
Exercises
1. The figure shown illustrates the following statement:
An exterior angle of a quadrilateral is greater than each of the remote
interior angles.
Is this a valid statement? Explain.
6. If in the figure shown, AF is the shortest side and CB is the longest side
of the quadrilateral ABCF , prove that m ]F > m ]B.
8. Prove that the sum of the lengths of the diagonals of the quadrilateral
shown below is less than the perimeter of the quadrilateral.
104 CHAPTER 5. ON NEUTRAL GEOMETRY II
XA + XB + XC + XD > P A + P B + P C + P D
5.2. PERPENDICULAR LINES AND PLANES 105
12. Given a line m and two points P and Q on the same side of m, find the
point R on m for which P R + RQ is as small as possible.
15. In 4ABC, BC > AC and Q is the midpoint of side AB. Is ]CQA acute
or obtuse? Justify your answer.
17. Given 4ABC with AB > AC and F C = DB, as shown below, prove that
F B > CD.
The length of the longest side of any triangle is less than half its perimeter.
20. In the triangle shown below, ]C is a right angle and m ]B = 2(m ]A).
Prove: AB = 2CB
5.2. PERPENDICULAR LINES AND PLANES 107
111
112 CHAPTER 6. THE PARALLEL AXIOM
A legitimate question which one must ask is whether parallel lines exist at
all. It is well known that a flying elephant can be defined as an elephant with
two (large) wings on its back, but it is an entirely different matter to provide
an example for the beast that one has just defined. In the context of parallel
lines, suppose we have a line l and a point P not lying on l. There are infinitely
many lines incident with P and lying in the (unique) plane determined by P
and l. How many do not intersect l? The following important existence theorem
guarantees that there is at least one such line:
Theorem 60. Given line l and point P not incident with l, there exists at least
one line through P parallel to l.
Proof. By Theorems 33 and 34, there exists a unique line m through P perpen-
dicular to l. By Theorem 31, there exists—in the plane determined by P and
l—a unique line n through P perpendicular to m. Then, Theorem 59 asserts
that the coplanar lines n and l are parallel.
Definition 42. Given two coplanar lines, a transversal of these lines is a line
which intersects them in two distinct points.
It should be pointed out that in the definition of transversal, the two coplanar
lines that the transversal intersects may or may not be parallel, and that if those
two coplanar lines intersect, the transversal cannot be concurrent with them.
Definition 43. Given (coplanar) lines l1 and l2 and a transversal l intersecting
l1 and l2 at P and Q, respectively, let A be a point on l1 and B a point on l2 on
the opposite side of l than point A. Then angles ]AP Q and ]BQP are a pair
of alternate interior angles formed by the transversal and the lines l1 and l2 .
Proof. Let l be a transversal of the two coplanar lines l1 and l2 , intersecting them
at P and Q, respectively. Let a pair of alternate interior angles be congruent.
There are then two possibilities: either l1 and l2 are parallel, which is what we
wanted to prove, or l1 and l2 intersect at point R. Choose point S on, say, l1
on the opposite side of l from R. Then ]SP Q is an exterior angle of triangle
4P QR, and ]P QR is one of its remote interior angles. By Theorem 39, we
conclude m ]SP Q > m ]P QR. But by hypothesis, one pair of alternate interior
angles is congruent, and Theorem 61 asserts that the other pair of alternate
interior angles must also be congruent. Thus, m ]SP Q = m ]P QR which
contradicts the previous inequality. Therefore l1 and l2 cannot intersect.
Definition 44. When two (coplanar) lines l1 and l2 are cut by a transversal l,
if angles ]a and ]b are a pair of alternate interior angles and if angles ]b and
]c are opposite (vertical) angles, then angles ]c and ]a constitute a pair of
corresponding angles.
Clearly, when two lines are cut by a transversal, four pairs of corresponding
angles are formed. The following two theorems are often useful and their proofs
are left as exercises:
Theorem 63. If two (coplanar) lines are cut by a transversal and if one pair
of corresponding angles are congruent, the other three pairs of corresponding
angles are also congruent.
Theorem 64. If two (coplanar) lines are cut by a transversal and if a pair of
congruent corresponding angles is formed, then the two lines are parallel.
Theorem 65. If two parallel lines are cut by a transversal, then each pair of
alternate interior angles are congruent.
Proof. Let lines l1 and l2 be cut by the transversal l3 at points P and Q, respec-
tively. Assume that angles ]a and ]b are not congruent (RAA hypothesis).
Then, by the Angle Construction Axiom (Axiom 11), there exists a (unique)
line l through P such that pairs of alternate interior angles formed between l, l2
and l3 are congruent (see Theorem 61 too). Since by hypothesis angles ]b and
]c are not congruent, l1 6= l. On the other hand, l1 and l2 are parallel and by
Theorem 62, l and l2 are also parallel. Therefore, there are two distinct lines
through P which are parallel to line l2 , a contradiction with Axiom 15. Hence,
]a ∼= ]b which was to be proved.
In an entirely similar manner, one proves the following useful theorems whose
proofs are left as exercises:
Theorem 66. If two parallel lines are cut by a transversal, then each pair of
corresponding angles are congruent.
Theorem 67. If two parallel lines are cut by a transversal, then pairs of interior
angles (e.g. ]a and ]b or ]c and ]d) on the same side of the transversal are
supplementary.
Theorem 68. If two lines are cut by a transversal and a pair of interior angles
on the same side of the transversal are supplementary, then the two lines are
parallel.
116 CHAPTER 6. THE PARALLEL AXIOM
Theorem 69. In a plane, two lines parallel to the same line are parallel.
Theorem 70. If a line in the plane of two parallel lines is perpendicular to one
of them, it is also perpendicular to the other.
Suppose line m and point P not incident with m are given. Assume further
that distinct lines l1 and l2 pass through P and that l1 is parallel to line m. We
prove that l2 cannot be parallel to m, a result which will restrict the number of
lines through P parallel to m to a single line. Let t be the line through P per-
pendicular to m (Theorems 33 and 34). By Theorem 70, line t is perpendicular
to line l1 . Suppose now that l2 is also parallel to line m. Then line t will be
equally perpendicular to l2 . Since both l1 and l2 cannot be perpendicular at the
same point P to line t (see Theorem 31), it follows that either l2 is not parallel
to m or that l1 and l2 cannot be distinct, which is what we set out to prove.
The first major consequence of the Parallel Axiom is the following theorem:
Theorem 71. The sum of the measures of the angles of a triangle is 180◦ .
Proof. Given triangle 4ABC, let l be the line through vertex B parallel to
side AC. Let angle ]x, ]y, ]z, ]x0 , ]y 0 be as shown, and let D be a point
←→ ←→ ←→
on l on the same side of line AB as vertex C. Since AC is parallel to BD,
←→
A is on the same side of BD as C. Hence, point C is in the interior of angle
]ABD (see Definition 16 for the interior of an angle!). Therefore, by the Angle
Addition Axiom (Axiom 12): m ]ABD = m ]z + m ]y 0 . Moreover, by Axiom
13 (Angle Supplement Axiom): m ]x0 + m ]ABD = 180◦ . Hence, we have:
m ]x0 +m ]z+m ]y 0 = 180◦ . But from Theorem 63 we know that m ]x = m ]x0
and also m ]y = m ]y 0 for the pairs of alternate interior angles formed by the
←→ ←→ ←→
parallel lines AC and l with the transversals AB and BC, respectively. By
substitution, we obtain:
6.2. QUADRILATERALS 117
m ]x + m ]y + m ]z = 180◦
which was to be proved.
Three important corollaries follow from Theorem 71:
Corollary. Given a correspondence between two triangles, if two pairs of cor-
responding angles are congruent, then the third pair of corresponding angles are
also congruent.
6.2 Quadrilaterals
So far, we have been dealing mostly with triangles. In the following, we define
the next more evolved species of plane objects.
Definition 45. Let A1 , A2 , A3 , A4 be four coplanar points such that no three
of them are collinear and such that the segments A1 A2 , A2 A3 , A3 A4 and A4 A1
intersect only in their endpoints. Then the set of these four points (vertices)
and four segments (sides) is called a quadrilateral and denoted A1 A2 A3 A4 .
118 CHAPTER 6. THE PARALLEL AXIOM
Note that the order in which the vertices of a quadrilateral are labeled is
essential. For instance, ABCD does not denote a quadrilateral in the sense of
Definition 45 because the segments BC and AD intersect in a point which is not
an endpoint of either segment. The same four points, however, constitute a bona
fide quadrilateral when written in the order ABDC, as shown. Moreover, notice
that figure P QRS does form a bona fide quadrilateral according to Definition
45.
These considerations lead us to a further classification of quadrilaterals but
before doing so a few definitions concerning the elements of a quadrilateral are
necessary:
Definition 46. In a quadrilateral:
Opposite sides are two sides that do not intersect.
Opposite angles are two angles which do not share a common side.
Consecutive sides share a vertex as a common endpoint.
Consecutive angles share a side.
Diagonals are segments with two nonconsecutive vertices for endpoints.
Definition 47. Quadrilateral ABCD is called convex if each pair of its opposite
sides, e.g. AB and CD (and equally BC and DA), is such that CD is contained
←→
in one of the half-planes bounded by the line AB and AB is contained in one
←→
of the half-planes bounded by the line CD.
According to Definition 47, quadrilateral P QRS is not convex since, for
instance, side SP is not contained in one of the half-planes bounded by the line
←→
QR containing its opposite side QR. We shall be exclusively concerned with
convex quadrilaterals. A few “obvious” properties of convex quadrilaterals are
enumerated below:
Definition 48. A point lies in the interior of a quadrilateral if it lies in the
interior of each angle (see Definition 16) of the quadrilateral.
Theorem 72. The diagonals of a convex quadrilateral are contained in its
interior and intersect each other.
6.2. QUADRILATERALS 119
Theorem 82. The segment joining the midpoints of two sides of a triangle is
parallel to the third side and half as long as the third side.
Another important theorem concerns the sum of the measures of the angles
of a (convex) quadrilateral:
Theorem 83. The sum of the measures of the angles of a convex quadrilateral
is equal to 360◦ .
−−→
Similarly, we pick point Y on ray BC such that vertex C is between Y and B
and obtain : m ]Y CD = 180◦ − m ]C = m ]B2 + m ]D2 . Adding these two
relations yields: 360◦ − m ]A − m ]C = m ]B + m ]D (Angle Addition Axiom)
or m ]A + m ]B + m ]C + m ]D = 360◦ which was to be proved.
Theorem 83 can be generalized to an arbitrary convex polygon. A convex
polygon can be defined in a manner entirely similar to the definition of a convex
quadrilateral (or tetragon). It can then be proved that the measures of the
angles of a convex n-gon (polygon with n vertices or sides or angles) add up to
(n − 2)180◦ . A rigorous proof of this generalization of Theorem 83 relies on the
method of mathematical induction and will be omitted for the sake of brevity.
It is interesting to note in passing that weaker versions of Theorems 71
and 83 can be proved without using the Parallel Axiom, that is, in the
framework of Neutral Geometry: the Saccheri-Legendre Theorem (see Chapter
Thirteen) asserts that the sum of the measures of the angles of any triangle is
less than or equal to 180◦ . Consequently, by an argument similar to the one used
in the proof of Theorem 83, the sum of the measures of the angles of a convex
quadrilateral can be proved to be at most equal to 360◦ . We shall return to these
considerations when we examine the foundations of Non-Euclidean Geometry.
Before proceeding with the study of parallel lines cut by transversals, we
state one more theorem. The proof is left to the reader.
Theorem 84. If lines l1 and l2 are parallel and if P and Q are any two points
of l1 , then the distances of P and Q from l2 (see Definition 37) are equal.
This theorem justifies the following:
Definition 50. The distance between two parallel lines is the distance of any
point on one line from the other line.
Theorem 86. The medians of a triangle are concurrent at a point (called the
centroid of the triangle) whose distance from a triangle vertex is two-thirds the
length of the median from that vertex.
6.4. PARALLELISM IN SPACE 123
Definition 51. A line and a plane or two planes which do not intersect are
called parallel.
124 CHAPTER 6. THE PARALLEL AXIOM
Theorem 87. If a plane intersects two parallel planes, then it intersects them
in two parallel lines.
Proof. Let plane Π intersect the parallel planes Π1 and Π2 along lines l1 and l2
(Axiom 8), which lie in the same plane Π. But lines l1 and l2 cannot intersect
because they are lying in the parallel planes Π1 and Π2 , respectively. Therefore,
l1 and l2 are parallel.
Theorem 89. Two planes perpendicular to the same line are parallel.
Corollary. If each of two planes is parallel to a third plane, they are parallel
to each other.
Proof. Let plane Π1 be parallel to plane Π and plane Π2 be also parallel to
plane Π. Consider a line l perpendicular to plane Π. By Theorem 88, l is
perpendicular to both planes Π1 and Π2 , and by Theorem 89, planes Π1 and
Π2 must be parallel.
Theorem 90. Two lines perpendicular to the same plane are parallel.
Proof. By Theorem 54, two lines perpendicular to the same plane are coplanar.
If their intersections with the given plane are points P and Q, then the two
←→
(coplanar) lines would be perpendicular to the same line P Q and, hence, be
parallel (Theorem 59).
Two corollaries follow from this theorem:
Corollary. A plane perpendicular to one of two parallel lines is also perpen-
dicular to the other.
Proof. Consider the parallel lines l1 and l2 with, say, l1 perpendicular to plane
Π. Let A be any point on l2 not contained in plane Π and let l3 be the line
through A perpendicular to Π (Theorems 57 and 58). Then by Theorem 90, l1
and l3 are parallel. Hence, by the Parallel Axiom (Axiom 15), l3 = l2 and so, l2
is perpendicular to plane Π.
Corollary. If each of two lines are parallel to a third line, they are parallel to
each other.
Proof. Let l1 be parallel to l2 and l1 be parallel to l3 . Let Π be a plane perpen-
dicular to l1 . Then, by the first corollary, Π is perpendicular to both l2 and l3
and, hence, by Theorem 90, l2 and l3 are parallel.
This second corollary ensures the full (i.e. three-dimensional) transitivity of
line parallelism.
6.4. PARALLELISM IN SPACE 127
Proof. We have to show that the lengths of all segments perpendicular to the
two planes and having each of their endpoints in one of the planes are equal.
Let P Q and RS be two segments perpendicular to the parallel planes Π1 and
Π2 , as shown. Theorem 90 asserts that P Q and RS are parallel and, hence,
coplanar. Let Π be the plane determined by these two parallel lines. Then,
by Theorem 87, the intersections of Π with Π1 and Π2 are parallel lines which
means that the quadrilateral P QRS is a parallelogram (in fact, a rectangle).
Therefore, P Q = RS (Theorem 73), which was to be proved.
We close this chapter with two definitions which are frequently used in three-
dimensional Geometry:
Definition 52. Two non-coplanar half-planes intersecting along a line form a
dihedral angle. The line common to the half-planes is called the edge and the
two half-planes are called the faces or sides of the dihedral angle.
Definition 53. The measure of a dihedral angle is the measure of the angle ob-
tained by intersecting the dihedral angle with a plane perpendicular to its edge.
The measure of the angle between two half-planes is the measure of the dihedral
angle determined by the two half-planes. Planes that form right dihedral angles
are called perpendicular.
Corollary. If two planes are perpendicular, then any line in one of them per-
pendicular to the line of intersection of these two planes is perpendicular to the
other plane.
Finally, we define the (measure of the) angle between a line and and a plane.
To that end, we first introduce the following definitions:
Definition 54. The projection of a point onto a plane is the foot of the per-
pendicular from the point to the given plane.
Note that by Theorems 57 and 58 this projection is a unique point.
6.4. PARALLELISM IN SPACE 129
Definition 55. The projection of a line onto a plane is the set of points in the
plane which are the projections of the points of the given line onto the given
plane.
Theorem 92. If a line is not perpendicular to a plane, its projection onto the
given plane is a line.
Definition 56. The angle between a line and a plane is the angle between the
line and its projection onto the plane.
130 CHAPTER 6. THE PARALLEL AXIOM
Exercises
1. Give an indirect proof of each of the following statements:
4. In the figure shown below, triangle 4ABC is a right triangle with m ]CAB =
90◦ and QB = QA.
6.4. PARALLELISM IN SPACE 131
Prove: QB = QC.
10. The median of a trapezoid is the segment whose endpoints are the mid-
points of the non-parallel sides of the trapezoid. Prove that the median of
a trapezoid is parallel to the bases and its length is equal to half the sum
of the lengths of the bases.
6.4. PARALLELISM IN SPACE 133
←→ ←→
Hint: Draw line DQ meeting line AB at point R.
Hint: Draw P Q perpendicular to, say, the altitude BT from vertex B and
show that P X + P Y is equal to BT .
13. Prove that the sum of the lengths of the perpendiculars drawn from any
point in the interior of an equilateral triangle to the three sides is constant
and independent of the choice of the point.
Hint: Consider a triangle altitude, draw a segment perpendicular to this
altitude from the interior point, and use Problem 12.
(j) If two lines are parallel, every line intersecting one of them intersects
the other.
(k) If two planes are parallel, any line incident with one of them is parallel
to the other.
(l) If two planes are parallel, any line incident with one of them is parallel
to any line in the other.
(m) If a plane and a line not incident with the plane are both perpendic-
ular to the same line, they are parallel to each other.
(n) If a plane and a line not incident with the plane are both parallel to
the same line, they are parallel to each other.
(o) If two planes are parallel to the same line, they are parallel to each
other.
(p) Two planes perpendicular to the same plane are parallel to each
other.
(q) Two lines perpendicular to the same line at the same point are per-
pendicular to each other.
(r) A plane perpendicular to one of two intersecting planes must intersect
the other.
20. Show how to determine a plane containing one of two skew lines and
parallel to the other.
JUSTIFY your construction!
21. Given two skew lines, show how to construct a line perpendicular to both
of them. JUSTIFY your construction!
−→
22. Plane Π and point A contained in Π are given. Ray AQ is not incident
−→ −→ −→
with Π. Let ray AR be the projection of ray AQ onto Π and let AP be
any ray with vertex A and contained in Π.
Prove: m ]QAR < m ]QAP .
−→
Hint: Let Q0 be the projection of Q onto Π. On ray AP choose X such
0
that AX = AQ .
Chapter 7
On Area
137
138 CHAPTER 7. ON AREA
It goes without saying that polygonal regions need not to be convex and that
although they constitute a fairly large class of plane shapes, there are simple
and important plane regions which are not polygonal: an example is provided
by the region formed by a circle together with its interior points. Moreover, it
is also intuitively evident that, quite generally, a given polygonal region can be
triangulated in the sense of Definition 57 in several—in fact, infinitely many—
different ways. Finally, it can be shown that the intersection and the union of
any two (coplanar) polygonal regions are again polygonal regions. We are now
ready for an axiomatic definition of the area of a polygonal region:
Axiom 16 (Area Measure). There exists a function α defined on triangular
regions with the following properties:
(i) To each triangular region ∆, α assigns a strictly positive real number α(∆)
called the area of the triangular region ∆.
(ii) If two triangular regions ∆1 and ∆2 are congruent, then their areas are
equal: α(∆1 ) = α(∆2 ).
(iii) If two triangular regions ∆1 and ∆2 do not overlap, then:
Axiom 16 guarantees the existence of one area function. It can be shown that
there is, in fact, essentially only one such function, as stated in the following
highly nontrivial theorem:
Proof. We omit the proof of this theorem too because it is rather difficult and
lies partly in the domain of real analysis2 .
The net upshot of Theorem 94 is that, as was the case with the length of
a segment or the measure of an angle, the “unit of area measurement” can be
specified at will. It is customary to choose this unit in association with the
unit chosen for length measurement: whatever unit of length we choose, we use
the corresponding “square unit” to measure areas. But this convention does
not yet provide an operational method for actually calculating the value of the
area function for a given triangular—and, subsequently, polygonal—region. We
therefore introduce another axiom to “fix” the area measurement procedure:
Axiom 17 (Unit of Area). The area of a rectangle is the product of the length
of its base by the length of its altitude.
Theorem 95. The area of a right triangle is one-half the product of its legs.
Theorem 96. The area of a triangle is one-half the product of any side by the
altitude to that side.
Proof. Let ∆ be an arbitrary triangle. Choose one of its sides and let b and
h be the lengths of that side and of the corresponding altitude. If the foot of
the altitude coincides with an endpoint of the side considered, triangle ∆ is a
right triangle and Theorem 95 determines its area α(∆) = 12 bh. If the foot of
the altitude lies between the endpoints of the side considered, then this altitude
triangulates ∆ into two (non-overlapping) right triangles ∆1 and ∆2 with a
common leg h and respective legs b1 and b2 with b1 + b2 = b, as shown. By
Theorem 95, α(∆1 ) = 12 b1 h, α(∆2 ) = 21 b2 h and by Axiom 16, we can write:
α(∆) = α(∆1 ) + α(∆2 ) = 12 (b1 + b2 )h = 21 bh. Finally, if the foot of the altitude
falls “outside” the base considered, a similar argument using Theorem 95 and
Axiom 16 leads to the desired result. The details of this proof are left as a
straightforward exercise.
141
From the proof of Theorem 96 it should be clear that the three possible half
products of bases by corresponding altitudes, that is the three numbers 12 b1 h1 ,
1 1
2 b2 h2 , 2 b3 h3 are equal because each of them expresses the area of the triangle
considered. The following corollary is readily proved:
Corollary. If two triangles have equal altitudes and equal bases, they have
equal areas. If two triangles have equal altitudes, the ratio of their areas is
equal to the ratio of their bases. If two triangles have equal bases, the ratio of
their areas is equal to the ratio of their altitudes.
The area of a polygonal region can now be calculated: by Definition 57, this
region can be somehow triangulated into a finite number of non-overlapping
triangular regions whose areas can be calculated by Theorem 96. Theorem
93 ensures that the area calculated for this polygonal region via Axiom 16 and
Theorem 96 does not depend on the particular triangulation used. In particular,
we can easily prove the following simple result:
Theorem 97. The area of a parallelogram is the product of any side (base)
and the corresponding altitude.
Notice that if we had drawn the altitude to the chosen base from vertex
R instead of from vertex S, or if we had considered another side b0 and its
corresponding altitude h0 , as shown, the area of the parallelogram would still
be equal to bh = b0 h0 (justify!)
Theorem 98. The area of a trapezoid is one-half the product of its altitude
and the sum of its bases.
Proof. Divide the trapezoid by a diagonal into two triangles, as shown. The
altitudes of these triangles are equal to h (why?) and their areas are 21 b1 h and
1 1
2 b2 h. Axiom 16 and Theorem 93 then yield: α(trapezoid) = 2 (b1 + b2 )h.
The theory of area developed so far leads to the proof of the best-known
theorem of Euclidean Geometry, namely the Pythagorean Theorem. There are
numerous proofs for this most famous theorem—among others, Napoleon the
First and General James A. Garfield each proposed a new proof thereof—but
we prefer to reproduce an original Greek proof:
Theorem 99. In a right triangle, the square of the hypotenuse is equal to the
sum of the squares of the legs.
143
Proof. Consider a right triangle ∆ with side lengths a, b, c with, say, a < b < c.
Construct a square ABCD with side length a + b (prove that this construction
is possible!) and consider four congruent right triangles (S.A.S.) with legs a and
b, as shown. Each of these four triangles is itself congruent to the original right
triangle (why?) and their hypotenuses are equal to c. Then, the quadrilateral
P QRS is a square with side length c (why?). Hence, by Axioms 16 and 17
and Theorem 95, we have: α(ABCD) = α(P QRS) + 4α(∆), or, equivalently,
(a + b)2 = c2 + 4( 21 ab) or a2 + 2ab + b2 = c2 + 2ab. Therefore, a2 + b2 = c2 which
was to be proved.
Theorem 100. In a triangle, if the square of one side is equal to the sum of
the squares of the other two sides, then the triangle is a right triangle with the
first side for hypotenuse.
Two (convex) polygons with the same number of vertices are called congruent
if there is a one-to-one correspondence between their vertices such that corre-
sponding angles are congruent and corresponding sides are congruent. Using
triangulation and Theorem 93, it is then easily proved that congruent polygons
have equal areas.
146 CHAPTER 7. ON AREA
Exercises
1. Prove that a median of a triangle divides the triangle into two triangu-
lar regions each having an area equal to one-half the area of the initial
triangular region.
3. If ABCD is a square with side length s, calculate the area of the star-
shaped polygonal region shown in terms of s and b. The sides (and the
vertex angles) of this polygonal region are congruent.
9. A line cuts a rectangular region into two regions of equal area. Prove that
this line must contain the intersection of the diagonals of the rectangle.
10. With right angles and segments as marked in the figure, find AY , AZ and
AB. If this construction pattern is pursued with BC = 1 and m ]CBA =
90◦ , what would be the length of AC? If this construction is continued in
the same manner, what emerging pattern can one identify?
14. If the lengths of the legs of a right triangle 4ABC are a and b, as shown,
calculate the length of the altitude h to the hypotenuse in terms of a and
b.
150 CHAPTER 7. ON AREA
17. The four faces of the regular “pyramid” (tetrahedron) ABCD are congru-
ent equilateral triangles with side length equal to 2. If R and S are the
midpoints of sides AB and CD, respectively, prove that segment RS is
perpendicular to both AB and CD.
151
√
19. In triangle 4ABC, m ]A = 30◦ , AC = 4, AB = 3 3. Calculate the
length of side BC and determine whether 4ABC is a right triangle.
√
21. The area of an equilateral triangle is 9 3. Find the length of its side and
of its altitude.
152 CHAPTER 7. ON AREA
22. The figure shown represents a cube. Consider the plane determined by the
vertices A, C and F . If the length of the side of the cube is 9, determine
the length of AC, the measure of angle ]F AC and the area of 4F AC.
23. The figure shown represents a regular tetrahedron: its faces are congruent
equilateral triangles with side length equal to e. Segment N M joins the
midpoints N and M of sides AB and CD, respectively and is perpendicu-
lar to both of these sides (see Problem #17). Calculate the length of N M
and of the altitude AH of the tetrahedron.
24. Given any two arbitrary coplanar rectangles, how can a single line be
drawn which will separate each rectangular region into two regions of
equal area?
25. ABXY is a square with side length 6 in the plane Π. Rectangle ABCD
is the projection of the square ABXY onto plane Π0 . The measure of
the angle between planes Π and Π0 is 60◦ . What is the area of rectangle
ABCD?
153
26. Square ABCD is given with points E and F as shown so that EC is per-
pendicular to F C. If α(4CEF ) = 200 and α(ABCD) = 256, determine
BE.
28. Two (convex) polygons with the same number of vertices are called congru-
154 CHAPTER 7. ON AREA
On Similarity
The notion of similarity is a familiar one: two shapes are similar if they look
“alike” but do not have the same size. For example, two segments, two circles,
or two equilateral triangles look similar. But two, say, isosceles triangles or
two rectangles are not necessarily similar. Thus, similar figures are related to
one another by certain specific relationships. As usual, the precise definition
of similarity will be given first for the simplest of all geometric shapes, namely
triangles, and then generalized to more complex figures.
155
156 CHAPTER 8. ON SIMILARITY
The ratio of the lengths of two corresponding sides of two similar triangles
is called their ratio of similarity (or similitude). Notice that both requirements
stated in Definition 58 are necessary in order to extend the concept of similarity
to polygonal shapes. The following examples show that two figures satisfying
only one of the above conditions may be very dissimilar:
For triangles, however, we shall see shortly that only one of the two re-
quirements of Definition 58 is sufficient to guarantee the similarity of the two
triangles.
The study of similarity begins with the following theorem:
Theorem 102. If a line parallel to one side of a triangle intersects the other
two sides (or their extensions) in distinct points, then it cuts off segments whose
lengths are proportional to the lengths of the corresponding sides.
Proof. We prove the theorem only for the case where the intersections of the
parallel to one side with the other two sides lie between triangle vertices, and
leave the other case as a straightforward exercise.
Consider triangle 4ABC and let points D and E be on sides AB and AC
←→
such that DE is parallel to BC. In triangles 4ADE and 4BDE consider AD
and BD as the bases and the perpendicular from E to AB as their common al-
titude. By the Corollary to Theorem 96, we can write: α(4BDE)/α(4ADE) =
157
BD
AD . Repeat with triangle 4AED and 4CED to obtain α(4CED)/α(4ADE) =
CE ←→ ←→
AE . Now, since DE and BC are parallel, points B and C are equidistant from
←→
DE and, hence, the altitudes of triangles 4BDE and 4CDE from vertices
B and C, respectively, to their common base ED are congruent, so that by
the Corollary to Theorem 96, α(4BDE) = α(4CDE). It then follows that
BD CE AB AC
AD = AE , and consequently, (BD + AD)/AD = (CE + EA)/AE or AD = AE ,
which was to be proved.
The converse of Theorem 102 is also true:
Theorem 103. If a line intersects two sides of a triangle (or their extensions)
and cuts off segments whose lengths are proportional to the lengths of the cor-
responding sides, then this line is parallel to the third side of the triangle.
Notice that the A.A.A. Similarity Theorem should be called the A.A. Sim-
ilarity Theorem since by Theorem 71, the angle sum of a triangle is 180◦ , and
the congruence of two pairs of angles of two triangles entails the congruence of
the third pair. Furthermore, it is easy to show that if a line parallel to a side
of a triangle intersects the other two sides in distinct points, then it cuts off a
triangle similar to the given triangle.
AB AC
Proof. Assume that in the two triangles 4ABC and 4DEF , DE = DF = BC
EF .
0 0 −−→ −→ 0
Once more, choose points E and F on rays AB and AC such that AE = DE
←− → ←→
and AF 0 = DF . Then AE AB AC
0 = AF 0 , so that by Theorem 99, E F
0 0
and BC are
parallel, and hence, ]AF 0 E 0 ∼ = ]C. Therefore, triangles 4ABC and 4AE 0 F 0
are similar and E 0 F 0 = AE 0 . It then follows from the hypothesis that E 0 F 0 =
BC AB
Note that if 4ABC is isosceles with AB = AC, then the bisector of the
external angle at vertex A is parallel to the opposite side BC and the above
theorem becomes empty.
Proof. We prove the second assertion first. From vertex B construct the line
parallel to the external bisector AD0 of angle ]A meeting side AC at F . Then,
by the remark following the proof of Theorem 100, 4CF B ∼ 4CAD0 , so that
CA CD 0 0 AF BD 0
CF = CB and hence, (CA − CF )/CF = (CD − CB)/CB or CF = CB . On
the other hand, ]AF B ∼ = ]EAD0 (corresponding angles), ]EAD0 ∼ = ]BAD0
0
(AD is the bisector of the external angle at vertex A), and by transitivity,
]AF B ∼ = ]ABF and0 triangle 4AF B is isosceles with AB = AF . Now, the
AF 0 0
proportion CF = BD
CB is equivalent with the proportion BD /(BD + CB) =
BD 0 AF AB
AF/(AF + F C) i.e. CD0 = AC = AC . To prove the first assertion, we consider
the parallel through vertex B to the internal bisector AD of angle ]A and prove
CD AC AC
in the same manner that DB = AE = AB .
160 CHAPTER 8. ON SIMILARITY
Theorem 108. In any right triangle, the altitude to the hypotenuse divides
the triangle into two right triangles which are similar to one another as well as
to the original right triangle.
Proof. In triangle 4ABC with right angle at vertex C, let CD be the altitude
to the hypotenuse AB. Using the notation of the figure for brevity, we have:
m ]a + m ]b = 90◦ and m ]a + m ]b0 = 90◦ , so that ]b ∼ = ]b0 . Moreover,
m ]C = m ]d = 90◦ . Therefore, by the A.A.A. Similarity Theorem, 4ACD ∼
4ABC. The other half of the theorem is proved in the same manner.
Definition 59.
√ Given two positive real numbers a and b, the geometric mean
of a and b is ab.
Theorem 109. The ratio of the areas of two similar triangles is the square of
the ratio of any two corresponding sides, i.e. of their similarity ratio.
161
0 0
Proof. Let 4ABC ∼ 4A0 B 0 C 0 . Then, with reference to the figure, aa = bb =
c0
c = k with the positive number k being the ratio of similarity of these tri-
angles. Then, a0 = ka, b0 = kb, and c0 = kc. Let BD with BD = h be
the altitude from B to AC and, similarly, let B 0 D0 be the altitude from B 0
to A0 C 0 with B 0 D0 = h0 . Since 4ABD and 4A0 B 0 D0 are right triangles and
0 0
]A ∼= ]A0 by hypothesis, then 4ABD ∼ 4A0 B 0 D0 and hh = bb = k. Then:
α(4ABD) = 21 bh and α(4A0 B 0 D0 ) = 12 b0 h0 = 12 (kb)(kh) = k 2 [ 21 bh]. Therefore,
α(4A0 B 0 D0 )/α(4ABD) = k 2 , which was to be proved.
Definition 58 can be extended to polygons in a natural way:
Definition 60. Two polygons with the same number of vertices are similar
if there is a one-to-one correspondence between their vertices such that
It is not difficult to prove that Theorem 109 remains valid for similar poly-
gons.
Many of the theorems that we have enunciated and proved so far were more
or less known to ancient Greek geometers. We conclude this chapter with a
theorem that is a relatively recent addition to the corpus of Euclidean theorems
and is due to the Italian mathematician Giovanni Ceva (around 1678 A.D.).
This theorem is worth mentioning both for its simplicity and for the elegance
of some proofs which can be produced with its help.
Definition 61. A cevian of a given triangle is any segment which connects a
triangle vertex to an arbitrary point on its opposite side.
Theorem 110 (Ceva’s Theorem). In a triangle 4ABC, three cevians AY , BZ,
AX BY CZ
CX are concurrent if and only if XB Y C ZA = 1.
Proof. Suppose that the three cevians AY , BZ, CX are concurrent at point P .
Through vertices, say, B and C draw lines parallel to AY meeting BZ and CX at
162 CHAPTER 8. ON SIMILARITY
To prove the converse, suppose that in triangle 4ABC, the three cevians
AX BY CZ
AY , BZ, CX satisfy XB Y C ZA = 1. Let point P be the intersection of the
←→
cevians CX and BZ. Consider line AP and let its intersection with BC be Y 0 .
If Y 0 and Y are the same point, then we are done. Suppose that Y and Y 0 are
AX BY 0 CZ
distinct points. Then by the preceding argument, XB Y 0 C ZA = 1. Hence, using
0
AX BY CZ AX BY CZ BY BY 0
the hypothesis, XB Y C ZA = XB Y 0 C ZA , that is: Y C = Y 0 C and consequently,
Y C = Y 0 C. It follows from the Ruler Axiom (Axiom 3), that Y and Y 0 are
the same point and, hence, AY and AY 0 are the same line. Therefore, the
three cevians AY , BZ, CX are concurrent. This completes the proof of Ceva’s
Theorem.
One immediate corollary to Theorem 110 is that the medians of a triangle
are concurrent (why?). Another application of Ceva’s Theorem is the elegant
proof of the concurrence of the internal bisectors of the angles of a triangle:
Theorem 111. The internal bisectors of the angles of a triangle are concurrent
at a point called the incenter of the triangle.
AZ CA BX AB CY BC
write: ZB = CB , XC = CA and YA = AB . Multiplying these three proportions
together yields:
AZ BX CY CA AB CB
= =1
ZB XC Y A CB CA AB
Therfore, Ceva’s Theorem ensures that the three cevians AX, BY , CZ are
concurrent.
164 CHAPTER 8. ON SIMILARITY
Exercises
1. Prove that the triangle whose vertices are the midpoints of the sides of a
given triangle is similar to the given triangle.
2. Three lots extend from Packard Street to State Street, as shown. The
side lines make right angles with State Street, and the total frontage on
Packard Street is 3600 . Find the frontage of each lot on Packard Street.
10. It is known that a S.S.A. congruence criterion is in general not valid for
triangles. Is the following statement true or false? Explain.
If a correspondence exists between the vertices of two triangles such that
the lengths of two sides of one triangle are proportional to the lengths of
the corresponding two sides of the other, and the angles opposite a pair
of corresponding sides are congruent, then the triangles are similar.
13. How long must a side of an equilateral triangle be in order that its area
shall be twice that of an equilateral triangle whose side is 10 cm?
167
14. If similar triangles are drawn on the side and on the altitude of an equi-
lateral triangle, so that the side and altitude are corresponding sides of
the triangles, prove that their areas are in the ratio of 4/3 to each other.
15. In the right triangle 4ABC, CH is the altitude to the hypotenuse AB.
If α1 , α2 , α3 represent the areas of triangles 4ABC, 4ACH, 4BCH,
respectively, then α1 = α2 + α3 or aa12 + aa31 = 1. Use this relation and the
similarity of those triangles to concoct another proof of the Pythagorean
Theorem.
16. A triangular lot 4ABC has sides with lengths 130 ft., 140 ft. and 150 ft.
The length of the altitude from C is 120 ft., as shown. A fence (shown as
a dashed line) is to be erected perpendicular to AB so that the area of the
lot is equally divided. How far from A along side AB should this fence be
set?
18. Let ma be the length of the median to the side BC of triangle 4ABC, and
let BC = a, AC = b, AB = c. Prove that m2a = 12 (b2 + c2 − 12 a2 ). Next,
let mb and mc be the lengths of the other two medians of the triangle.
Use the previous relation to prove:
3 2
m2a + m2b + m2c = (a + b2 + c2 )
4
19. In the right triangle 4ABC with CF the altitude to the hypotenuse and
lengths as indicated in the figure, find the values of x, y, and w.
20. Join the vertices of 4ABC to a point R outside the triangle. Through an
←→ ←→
arbitrary point X on AR, draw line XY parallel to AB meeting BR at Y .
←→ ←→
Draw line Y Z parallel to BC meeting RC at Z. Prove: 4ABC ∼ 4XY Z.
21. The perimeter of 4ABC is 15 cm. The bisector of ]A meets BC at X,
and the bisector of ]C meets AB at Z. If BX = 3 cm and CX = 2 cm,
find AZ.
Chapter 9
Definition 62. A sphere is the set of all points in space whose distance from
a given point, called the center, is equal to a given positive number, called
the radius of the sphere. A circle is the set of all points in a given plane whose
distance from a given point, called the center, is equal to a given positive number
called the radius of the circle. Spheres or circles which share a common center
are called concentric.
Definition 63. If P and Q are any two points of a sphere/circle, then the
segment P Q is a chord of the sphere/circle, and the line containing a chord
is called a secant of the sphere/circle. A diameter is a chord containing the
center of the sphere/circle and its length is twice the radius. The interior of a
sphere/circle is the set of all points in space/plane of the sphere/circle whose
169
170 CHAPTER 9. ON CIRCLES AND SPHERES
distance from the center is less than the radius. The exterior of a sphere/circle
is defined accordingly.
Definition 64. Given a circle and a line in the same plane, if the line and the
circle have one and only one point in common, then the line is called a tangent
to the circle and the common point is called the point of tangency or point of
contact.
Consider a circle with center P and a line l in the plane of the circle. Let F
be the foot of the perpendicular from P to l. It is apparent that if F is in the
exterior of the circle, then so are all points of l, and that if F is in the interior
of the circle, then l is a secant with some points in the interior and others in the
exterior of the circle. Finally, if F is on the circle, then the line l is a tangent to
the circle. These intuitively evident observations lead to the statement of the
following theorem:
3. F is in the interior of the circle and l intersects the circle in exactly two
points which are equidistant from F .
9.1. TANGENT LINES AND PLANES 171
Proof. We first show that if F is outside the circle, then (1) holds. In this case,
P F > r and by Theorem 44, P F is the shortest segment joining P to l. If Q is
any other point on l, then P Q > P F , so that P Q > r and Q is in the exterior
of the circle.
Next, if F is on the circle, then P F = r. Let Q be another point of l. By
Theorem 44, P Q > r and Q is in the exterior of the circle. Thus, line l and the
circle (are coplanar and) have only the point F in common, and by Definition
64, l is tangent to the circle at F . This proves (2).
Finally, suppose that F is in the interior of the circle and let P F = s. Then
s < r. If Q is both on l and on the circle, then triangle 4P F Q is a right
√ triangle,
and by the Pythagorean Theorem: r2 = s2 + F Q2 . Hence, F Q = r2 − s2 and
any point Q common to l and the circle must satisfy this relation. Conversely,
if any point Q on l satisfies the previous relation, it will be at distance r from
P (why?). Now r2 − s2 > 0 because r > s. By the Euclidean Completeness
2 2
Axiom √ (see Appendix III), the positive number r − s has a positive square
2 2
root r − s . By the Point Plotting Theorem, there are exactly two points on
l, one on each of the two rays along l emanating from F and, by the preceding
argument, these are the only two points common to l and the circle. Note that
if l passes through the center P of the circle, then P and F are the same point
and P Q = F Q = r, so that l contains a diameter of the circle and there are
again two points common to l and the circle, as before.
Definition 67. If a given sphere and a given plane have exactly one point in
common, then the plane is called a tangent plane and the common point is called
the point of tangency or point of contact. If the plane intersects the sphere in
more than one point, it is called a secant plane.
Theorem 114. Given a sphere with center P and radius r and a plane Π, let
F be the foot of the perpendicular from P onto Π. Then either
3. F is inside the sphere and Π intersects the sphere in a circle with center
at F .
Proof. The proof of (1) follows almost word for word the corresponding proof
of Part (1) in Theorem 112, using an obvious consequence of Exercise 29 of
Chapter Five instead of Theorem 44. The proof of (2) is also almost identical
(with a similar adjustment) to that of Part (2) in Theorem 112, and is left as
an exercise. Lastly, if F falls in the interior of the sphere, let the distance of
P from Π, i.e. the length of segment P F , be x. Then x < r and there exists
(at least) one point Q in Π which is at distance r from P (why?). Hence, Q
is a point common to both Π and the sphere. Since every line in Π through F
←→
is perpendicular to line P F , triangle√4P F Q has a right angle at F , and the
Pythagorean Theorem yields F Q = r2 − x2 and F Q is a positive number by
virtue of the Euclidean Completeness Axiom. Since Q is any point common to
Π and the sphere, then every other point common to Π and the sphere must
satisfy the same relation as point Q does.√ Therefore, such points must lie on
the circle in Π centered at F with radius r2 − x2 . We still have to show that
all points common to the plane and the sphere lie on this same circle, since one
might conceive points on the circle that are not common to the plane and the
sphere. To settle this issue,
√ suppose that point Q lies on the circle in plane Π
with center F and radius r2 − x2 . Then, as before, m ]P F Q = 90◦ , so that
P Q2 = x2 + (r2 − x2 ) = r2 and P Q = r. Therefore, Q lies on the sphere and
every point of the circle is indeed both in Π and on the sphere.
Definition 68. In a given circle, a central angle is an angle whose vertex is the
center of the circle.
Let A and B be the points where the sides of the angle intersect the circle
with center P so that the central angle is ]AP B.
Definition 69. The minor arc AB ˜ is the set consisting of points A and B
together with all points of the circle that lie in the interior of angle ]AP B. The
major arc AB˜ is the set consisting of A and B together with all points of the
circle that lie in the exterior of angle ]AP B. If A and B are the endpoints of
9.2. ARCS, ANGLES, SECANTS 175
a diameter AB of the circle, then the two arcs AB ˜ consisting of points A and
←→
B together with all points of the circle that lie on a given side of line AB are
called semicircles. In all cases, A and B are called the endpoints of the arc.
Thus, an arc is either a minor arc or a major arc or a semicircle. But an arc
with endpoints A and B and denoted AB ˜ is always ambiguous, for even on one
and the same circle there are always two arcs with endpoints A and B. In an
intuitive sense, a major arc is “bigger” than a minor arc. Whenever necessary,
one may resolve this ambiguity by taking an arbitrary third point X of the arc
considered and denote that arc by AXB.
˘ In the diagram, AXB ˘ is a minor arc,
AY
˘ B is its corresponding major arc, and CAB
˘ and CY ˘ B are semicircles.
The relation between minor and major arcs is quantified in the next defini-
tion.
1. If AXB
˘ is a minor arc, then m AXB
˘ is the measure of the corresponding
central angle ]AP B.
2. If AXB ˘ = 180◦ .
˘ is a semicircle, then m AXB
Theorem 115. If AB
˜ and BC ˜ are arcs of the same circle, having only the point
B is common, and if their union is an arc AC,
˜ then m AB ˜ + m BC ˜ = m ABC.˘
Proof. There are five cases to consider and the proof of each case is easy.
1. If arc ABC
˘ is a minor arc, then the theorem follows from the Angle
Addition Axiom.
2. If ABC
˘ is a semicircle, then the theorem follows from the Angle Supple-
ment Axiom.
3. If ABC
˘ is a major arc and the endpoints A and C are on opposite sides
of the diameter containing the endpoint B, then with reference to the
diagram: m AB
˙ 0 C = m AB
¯0 + m B¯ 0 C = u◦ + t◦ by case (1), and m B¯0C +
m CB
˜ = mB ˙0 CB = t◦ +s◦ = 180◦ by case (2). Similarly, m B
¯ 0 A+m AB
˜=
m B AB = u + r = 180 . Hence, s = 180 − t and r = 180 − u◦ .
˙0 ◦ ◦ ◦ ◦ ◦ ◦ ◦ ◦
˘ = 360◦ −m ]AP C = 360◦ −(u◦ +t◦ ) = 180◦ −u◦ +180◦ −t◦ = s◦ +r◦ = m BC+m
m ABC ˜ AB,
˜
4. ABC
˘ is a major arc and the endpoints A and C are on the same side
of the diameter that contains the endpoint B. The proof of this case is
similar to that of case (3) and is left as an exercise.
5. ABC
˘ is a major arc, and one of the arcs AB,
˜ AC
˜ is a semicircle. Suppose
AB is a semicircle, as shown. Then: m ABC = 360◦ − t◦ = 180◦ + 180◦ −
˜ ˘
t◦ = 180◦ + s◦ = m AB˜ + m BC.˜ This completes the proof of Theorem
115.
1. each of the two endpoints of the arc lie on one of the two rays of the angle,
and
2. the vertex of the angle is a point, but not an endpoint, of the arc.
In the third case, the angle intercepts the dotted arc and arc AXB.
˘
The precise definition of the idea conveyed by the figures above is as follows:
2. each side of the angle contains at least one endpoint of the arc, and
3. except for its endpoints, the arc lies in the interior of the angle.
With this definition at hand, we may state the next important theorem:
Theorem 116. The measure of an inscribed angle is half the measure of its
intercepted arc.
3. Finally, suppose that B and C are on the same side of the diameter
through vertex A. With reference to the figure, we have: m ]BAC =
y ◦ = m ]BAD − m ]CAD = z ◦ − x◦ = 21 m BD ˜ − 1 m CD
2
˜ by case (1).
1
Therefore, m ]A = 2 m BC.
˜
The proofs of these two corollaries are rather straightforward. For instance,
in the figure, the three inscribed angles ]x, ]y, and ]z are congruent because
they intercept the same arc BC.
˜
Theorem 117. Two chords in the same circle or in congruent circles are con-
gruent if and only if the corresponding minor (or major) arcs have the same
measure.
Proof. Consider two congruent circles with centers P and P 0 and radius r. Let
AB and A0 B 0 be two congruent chords. Triangles 4P AB and 4P 0 A0 B 0 are
congruent (S.S.S.) and so ]AP B ∼ = ]A0 P 0 B 0 . Consequently, m AB
˜ = mA ˘0B0
by virtue of definition 70. The converse statement is equally easy to prove and
is left as an exercise.
Theorem 118. If an angle has its vertex on a circle with one side a secant ray
and the other side a tangent ray, then the measure of the angle is one half the
measure of the intercepted arc.
9.2. ARCS, ANGLES, SECANTS 181
Proof. Consider angle ]RQS with vertex Q on a circle with center P and side
−→ −−→
QS tangent to the circle while side QR is a secant. Assume that ]RQS is acute
(the case where the angle is obtuse is treated in a similar manner), and the
angle measures x◦ , y ◦ , z ◦ are as indicated in the figure. In the isosceles triangle
4P QR, z ◦ = 180◦ − 2y ◦ so that z ◦ = m ]QP R = m QR ˜ = 180◦ − 2y ◦ . By
the first corollary to Theorem 112, m ]P QS = 90 and, hence, x◦ = 90◦ − y ◦ .
◦
rigorous proof for the existence of exactly two tangents to a given circle from a
given point outside the circle is the content of the following theorem:
Theorem 119 (The Two-Circle Theorem). Let C and C 0 be coplanar circles of
radius a and b, respectively, and let c be the distance between their centers. If
each of the three positive numbers a, b, c is less than the sum of the other two,
then the circles intersect in two points and these common points lie on opposite
sides of the line of circle centers.
Proof. The proof of this theorem is lengthy and, hence, relegated to Appendix
E.
Let us then apply the Two-Circle Theorem to our problem at hand. In the
preceding figure, let the radius of the given circle C be a and the radius of circle
C 0 be b. Then the distance between the centers of C and C 0 is M P = c = b.
Since Q is in the exterior of circle C, P Q > a, so that a < 2b. Then b + c = 2b
and thus, a < b + c. Furthermore, b < a + c because b = c and a > 0. Therefore,
Theorem 119 applies and C and C 0 intersect in two points A and B, and there
are at least two tangents to circle C from the exterior point Q. We still have to
prove that there are exactly two such tangents. To that end, suppose that the
two different circles C and C 0 intersect at three distinct points U , V , and W
and consider the triangle 4U V W which is inscribed in both circles C and C 0 .
Hence, its vertices are equidistant from the centers P and P 0 of these circles. By
Theorem 32, both P and P 0 must then lie on the perpendicular bisectors of, say,
sides U V and V W of triangle 4U V W . But these two perpendicular bisectors
intersect at a unique point and, consequently, P = P 0 which contradicts the
hypothesis that circles C and C 0 are different.
We may now summarize the preceding argument based on the Two-Circle
Theorem in the following theorem:
Theorem 120. From a given point in the exterior of a given circle, there are
exactly two tangent lines to the circle.
The length of the segment joining the given external point to the point
of tangency on the given circle is the tangent segment from that point to the
circle. Similarly, a secant line through an external point intersects a given circle
in two points and the lengths of the segments joining the external point to these
intersections on the circle are called the secant segments from the point.
Theorem 121. The two tangent segments to a circle from an external point
are congruent and form congruent angles with the line joining the external point
to the circle center.
9.2. ARCS, ANGLES, SECANTS 183
Theorem 122. If two secant lines through an external point Q intersect a given
circle at points R, S and T , U , respectively, then the products of the lengths of
corresponding secant segments are equal: QR · QS = QU · QT
Notice that Theorem 122 implies that once the product QS ·QR is calculated
for one secant through an external point Q to a given circle, then any other
secant through that point to the same circle would yield the same product of
secant lengths. This constant product of secant segment lengths is called the
power of point Q with respect to the given circle, and plays an important role
in more elaborate studies of the relationships between points, lines, and circles.
Exercises
1. In a circle with center P a chord AB is parallel to a tangent and intersects
the radius to the point of tangency at its midpoint. If AB = 12, determine
the radius.
3. Prove that the line of centers of two tangent circles contains the point of
tangency.
←→
5. AB is a diameter of a circle with center O. Line CD is tangent to the
←→ ←→
circle at T . Lines AC and BD are perpendiculars from A and B to the
←→
tangent CD.
Prove: CO = DO.
6. Prove that the intersections of a sphere with planes equidistant from the
center of the sphere are congruent circles.
10. Two great circles are said to be perpendicular if they lie in perpendicular
planes. Show that, given any two great circles, there is one other great
circle perpendicular to both.
9.2. ARCS, ANGLES, SECANTS 187
11. The center of an arc is the center of the circle of which the arc is a part.
Show how to determine the center of a given arc.
12. Given a sphere and three points on it, can one always determine the center
and the radius of the sphere? How many points would one need? Why?
˜ and m ]C = 45◦ .
13. In the figure shown, P is the center of arc AC,
Prove that BP is perpendicular to AP .
15. In the figure shown, the two circles are tangent at A and the inner circle
passes through the center O of the outer circle. Prove that any chord of
the outer circle with one endpoint at A is bisected by the inner circle.
188 CHAPTER 9. ON CIRCLES AND SPHERES
Sets of points lying on a circle are called concyclic points. Three non-
collinear points are always concyclic (why?). If the vertices of a quadrilat-
eral lie on a circle (i.e. the quadrilateral is inscribed in a circle), then these
four points are concyclic. The next problem states a necessary condition
for four (coplanar) points to be concyclic:
16. Prove that the opposite angles of an inscribed quadrilateral are supple-
mentary.
A sufficient condition for four (coplanar) points to be concyclic is the
subject of the following problem:
19. XY is the common chord of two intersecting circles. AB and DC are two
segments cutting the circles as shown in the figure and containing points
X and Y , respectively.
9.2. ARCS, ANGLES, SECANTS 189
←→ ←→
22. In the figure shown below, CP and AQ are tangents and P Q is a diameter
of the circle. If m P
˜ B = 120◦ and the radius of the circle is 3, determine
the length of AP .
190 CHAPTER 9. ON CIRCLES AND SPHERES
23. Two circles are tangent, either externally or internally, at point H. Let u
be any line through H meeting the circles again at M and N . Prove that
the tangents at M and N are parallel.
←→ ←→
24. P T and P R are a tangent and a secant of a circle, respectively. B is the
midpoint of arc P
˜ R.
←→ ←→
Prove that B is equidistant from lines P T and P R.
27. Verify that the theorem of problem 26 remains valid if the words “two
secants” are replaced by “a secant and a tangent” or by “two tangents”.
←→
29. Line AD is tangent to a circle at A and secant BD intersects the circle at
B and C.
192 CHAPTER 9. ON CIRCLES AND SPHERES
Prove: BD · CD = AD2
32. Show that is not possible for the lengths of the segments of two intersecting
chords to be four consecutive integers.
9.2. ARCS, ANGLES, SECANTS 193
33. Prove that if two circles intersect, the common secant bisects either com-
mon tangent segment.
In symbols, prove: AM = M B and CN = N D.
34. Prove that the common internal tangents of two circles and the line de-
termined by their centers are concurrent and that the common tangent
segments of the common internal tangents are congruent.
194 CHAPTER 9. ON CIRCLES AND SPHERES
35. The radii of two circles have lengths 22 and 8, respectively, and the dis-
tance between their centers is 50. Determine the length of their common
external tangent segment.
−→
36. In the figure shown, AP is tangent to the circle at A. If AP = P X = XY ,
P Q = 1 and QZ = 8, determine AX.
10.1 Loci
As indicated by its title, this chapter covers rather disparate topics in Euclidean
Geometry. Its purpose is to demonstrate the wealth of the mathematical struc-
ture we have developed so far, and to suggest that more striking theorems
pertaining to this apparently “elementary” mathematical discipline may still
remain to be discovered.
We begin with the concept of a locus (plural: loci). The question asked
under this rubric is to characterize and/or to describe the set of all points
which share a certain property or are subject to a specific condition or set of
conditions. Consider, for instance, the question of determining the locus (set) of
all points in a given plane which are equidistant from two given points A and B
incident with that plane. We answered this question first in Theorem 31 where
we proved that a point on the perpendicular bisector of segment AB in the
given plane is equidistant from A and B AND that any point in the given plane
and equidistant from A and B must lie on this perpendicular bisector. Both
arguments were required to determine uniquely and categorically the desired
locus. In order to further clarify the concept of locus, consider that any arc of a
circle of given radius r and center P contains points “at distance r from P ” but
does not contain all points sharing the property of being at a prescribed distance
r from a given point P : such points, if not restricted by further conditions, lie
on the surface of a sphere of radius r and center P . We summarize these ideas
in the following definition:
Definition 73. The locus of a condition (or set of conditions) is a set of points
such that every point in that set satisfies the condition (or set of conditions)
195
196 CHAPTER 10. LOCI, CONSTRUCTIONS, AND A MEDLEY . . .
AND every point which meets the condition (or set of conditions) belongs to
this set.
- A sphere is the locus of all points which are at a given distance from a
given point.
- A circle with diameter AB is the locus of the vertices of all right angles
each of whose legs contains one of the two points A and B as an endpoint.
Theorem 125. The bisector of an angle, except its vertex, is the locus of points
in the interior of the angle equidistant from the angle legs.
−−→ −−→
Proof. Given angle ]BAC, let AD be its bisector. If P is on AD and distinct
from A, P is in the interior of angle ]BAC. Let P M and P N be the (unique)
←→ ←→
perpendiculars from P to AB and AC, respectively. Then 4P M A ∼ = 4P N A
(S.A.A.) and, hence, P M = P N as corresponding parts. Conversely, let P be
in interior of angle ]BAC such that P M and P N are the perpendiculars from
P to AB and AC, respectively, with P M = P N . Then, P 6= A (definition
of the interior of an angle) and 4P M A ∼
= 4P N A (Hypotenuse-Leg Theorem).
Therefore, ]P AM ∼ = ]P AN as corresponding parts, and, by definition, P must
−−→
lie on the bisector AD of angle ]BAC.
Theorem 126. The perpendicular bisectors of the sides of a triangle are con-
current at a point called the circumcenter of the triangle.
10.1. LOCI 197
Another issue which was examined in the preceding chapter (Theorem 119)
and in Appendix E can now be recast in the following corollary:
Proof. If the two distinct circles had three points in common, then these points
would be either collinear or non-collinear. If these points were collinear, then
the line containing them would have to intersect either circle in three points,
which contradicts the Line-Circle Theorem (Theorem 112). If the three points
were non-collinear, then there would be two distinct circles through them in
contradiction with the preceding corollary.
A famous early nontrivial locus is the circle of Apollonius named after the
Greek mathematician Apollonius of Perga (ca. 260–190 B.C.) who wrote a
treatise on conic sections, and is given credit for naming these curves ellipse,
hyperbola and parabola.
The problem consists in determining the locus of all points in a given plane
whose distances from two given points is in a given ratio.
Let A and A0 be two given (fixed) points and let P be any point such that
0
PA 0
P A = k or P A = kP A where k is the given ratio. When k = 1, the locus is
clearly the perpendicular bisector of the segment AA0 . Suppose k 6= 1. Let the
←−→
internal and external bisectors of angle ]AP A0 meet line AA0 in A1 and A2 ,
respectively. Through A0 draw the parallel A0 E to A1 P and the parallel A0 F to
A2 P , respectively. Then, as in the proof of Theorem 107, F P = P A0 = EP , and
198 CHAPTER 10. LOCI, CONSTRUCTIONS, AND A MEDLEY . . .
AA1 AP AP AA2 AP AP
A0 A1 = EP = A0 P , A0 A2 = FP =
so that A1 and A2 divide the segment
A0 P
←−→
AA0 internally and externally in the ratio k1 and their location on line AA0 is
independent of the position of P . Since angle ]A1 P A2 is a right angle
(why?), it follows that P must lie on the circle with diameter A1 A2 . Thus, all
points P satisfying P A0 = kP A lie on this circle which is called the Apollonius
circle. ←−→
Conversely, if A1 and A2 are determined on line AA0 by their property of
dividing segment AA0 internally and externally in the ratio k1 , and P is a point
on the Apollonius circle, we have: EP AP
= AAA0A
1
1
= k1 = AAA0A
2
2
AP
= F P . Hence,
EP = F P and, P being the midpoint of segment F E, is the circumcenter of
the right-angled triangle 4EF A0 (why?). Therefore, A0 P = EP and AAP 0P =
AP 1 0
EP = k , i.e. the distances from A and A of any point of the Apollonius circle
satisfy the prescribed ratio P A0 = kP A. This completes the determination of
the desired locus.
Theorem 127. The three altitudes of a triangle are concurrent at a point called
the orthocenter of the triangle.
Proof. Triangle 4ABC is given. Through each of its vertices draw a line parallel
to the opposite side to determine the triangle 4DEF , as shown. Then, in the
parallelograms ACBD and ABCE, BC = AD = AE, and the altitude from A
of triangle 4ABC is the perpendicular bisector of side DE of triangle 4DEF .
By the same argument, the other two perpendicular bisectors of the sides of
triangle 4DEF are the altitudes of triangle 4ABC from vertices B and C. By
Theorem 126, these perpendicular bisectors are concurrent and, therefore, the
altitudes of triangle 4ABC are equally concurrent.
interior of the triangle which is tangent to its sides. Similarly, an excenter is the
center of an excircle in the exterior of a triangle and tangent to one side and to
the extensions of the other two.
10.2 Constructions
We next proceed with a summary excursion into the realms of constructions with
ruler and compass. The Greek mathematicians investigated at length which ge-
ometric objects and figures could be constructed by means of two ideal instru-
ments, namely the unmarked ruler and the collapsible compass. We should not
fail to observe that our axiomatic treatment of neutral geometry has also been
essentially based on two ideal instruments: an ideal ruler which is marked on its
edge so that one can measure the lengths of arbitrary segments exactly, and an
ideal protractor which allows equally exact angle measurements (see Axioms 2,
3, 4, 10, 11). Greek geometers, however, were not interested in the actual mea-
surement process and considered that geometric objects should be constructed
exclusively in terms of equally purely geometric simpler elements, such as angles
and segments. We shall review only a few of such standard constructions, and
propose a few more in the Exercises, in order to stress the difference between
our approach to Geometry and that of the founders of this discipline. Before
doing so, a couple of remarks are necessary:
200 CHAPTER 10. LOCI, CONSTRUCTIONS, AND A MEDLEY . . .
- The ruler and compass at hand are ideal in the sense that they allow for
ideal lines and circles to be drawn.
- The ruler is unmarked and all one can do with it is to draw a line through
two given points. One cannot use this ruler to measure or even compare
two segments.
- The compass is collapsible and all one can do with it is to draw a circle
with given center and passing through one given point. In other words,
one cannot use the compass as a divider, and “as soon as one lifts the
spike off the paper, the compass collapses”
Line L and point X on it are given. Let P be any point on L, and draw
the circle with center at X containing P . This circle intersects L in exactly
one other point Q (why?), and X is the midpoint of segment P Q. Next, use
Construction 1 to construct the perpendicular bisector of segment P Q which
will provide the desired perpendicular to L through X.
Construction 3. Given three points P , Q, R, to construct a rectangle P QST
such that P T = P R.
←→
Construct the perpendicular L1 to P Q at P (Construction 2). Draw the
circle with center P , containing R and intersecting L1 at T and T 0 . Next,
←→
construct L2 perpendicular to P Q at Q and L3 perpendicular to L1 at, say, T
(Construction 2). Lines L2 and L3 intersect at S (why?). Now, each pair of
opposite sides of the quadrilateral P QST are parallel, and three of its angles
are right angles. Therefore, P QST is the desired rectangle with P T = P R.
Construction 4. To construct a point on a given ray such that the segment
with endpoints at this point and at the ray vertex is congruent to a given
segment.
202 CHAPTER 10. LOCI, CONSTRUCTIONS, AND A MEDLEY . . .
−−→
Let segment P Q and ray AB be given. Construct rectangle P AT U with
P U = P Q (Construction 3). Then AT = P Q. Draw the circle with center A,
−−→
containing point T . This circle will intersect ray AB in a (unique) point C with
AC = P Q, as required.
Construction 4 allows us to “carry over” any given segment onto a given
ray and is thus equivalent with our Point Plotting Theorem. This Construc-
tion, moreover, eliminates all difficulties stemming from the collapsibility of the
Greek compass, and shows that a ruler and a collapsible compass provide in com-
bination an effective pair of dividers. We may, therefore, use a non-collapsible
compass freely without sacrificing the rigor of the original Greek intentions, as
we will from now on.
Draw an arbitrary (arc of) circle with center at the vertex A of the given
angle, intersecting its legs at B and C. Construct circles with centers at B and
C and radius r > 12 BC. By the Two-Circle Theorem, these circles intersect in
10.2. CONSTRUCTIONS 203
←→
exactly two points, one on each side of line BC. Let P be the intersection on
−→
the side opposite to A and construct ray AP . Then 4BAP ∼ = 4CAP (S.S.S.)
and ]BAP ∼ = ]CAP as corresponding parts.
Draw a line through the given point P to an arbitrary point Q on the given
line L. Construct angle ]QP S congruent to angle ]P QR (Construction 5) with
←→ ←→
points R and S on opposite sides of P Q. Line P S is the desired parallel to L.
The justification of this construction is straightforward and left as an exercise.
We now show how to carry out all of the elementary algebraic operations
in the Greek spirit, that is, with ruler and compass. In other words, if two
segments with lengths a √ and b are given, we show how segments whose lengths
are a + b, a1 , ab, ab , and a can be constructed with our ideal instruments. In
order to execute these constructions, either a segment with unit length should
be provided or an arbitrary segment should be chosen as unit segment.
The construction of a segment with length a + b is trivial: on any line, use
the (non-collapsible) compass to lay off a segment P Q with length a and then
a segment QR with length b such that Q is between P and R. A segment with
length a − b is obtained when segment QR with length b is laid off as before but
with endpoint R between P and Q.
1
Construction 8. To construct a segment with length a
the side of a regular 17-gon inscribed in a circle of unit radius whose length
equals
√ √ √ √ √
q p » p p
34 − 17 − 34 − 2 17 − 2 17 + 3 17 + 170 − 26 17 − 4 34 + 2 17
4
There are, however, many—in fact, an infinitude—of segments which are
not constructible. One famous example is the problem of the duplication of
a cube with given edge of length a, that is, to construct a segment b such
that the volume of a cube with edge length b equals a3 . It turns out that it
is impossible to construct with unmarked ruler and compass, a segment √ of
length b such that b3 = 2a3 . In other words, a segment of length ab = 3 2—or,
equivalently, ( ab )3 = 2—is not constructible. Two other equally “impossible”
and equally notorious construction problems were the squaring of the circle, i.e.
the construction of a square whose area is exactly equal to the area of a given
circle, and the trisection of an angle. Of course, some angles—such as a right
angle—can be trisected with unmarked ruler and compass, but it can be proved
that it is not possible to divide with our instruments an arbitrary angle—in
particular, an angle with measure 60◦ —into three congruent angles by rays in
its interior. For some two thousand years, these three problems preoccupied
the best minds until it was mathematically proved in the late 19th and early
20th centuries that ruler-and-compass solutions of these problems did not exist.
The proof of these impossibilities requires some knowledge of advanced algebra
and would take us too far afield1 . Instead we include a method for trisecting
an arbitrary angle with a marked ruler and compass. For our purpose, it is
sufficient that the ruler carries only two marks on its edge.
Let an angle with vertex B be given. Draw the circle with center at B and
radius equal to the distance between the two marks on the ruler. This circle
intersects the legs of the given angle at A and C, as shown. Next, place the
ruler so that its edge passes through C, and slide and rotate it until one marked
point lies on the circle at Q and the other marked point comes to lie at P on
−−→
the ray opposite to ray BA. In terms of the angle measures indicated on the
figure, we have: v ◦ = u◦ so that w◦ = 2u◦ = x◦ . Therefore, z ◦ = x◦ + u◦ = 3u◦ .
Thus, angle ]BP C = 13 m ]ABC. Two applications of Construction 5 in the
1 The interested reader may consult, for example, Elementary Geometry from an Advanced
interior of angle ]ABC yields two rays emanating from B and trisecting the
given angle.
Needless to say, ruler-and-compass construction problems vary greatly in
difficulty and some may require considerable experience and ingenuity for their
solution. A few interesting (and amenable) construction problems are suggested
in the Exercises to this chapter.
Another intractable—albeit less famous—construction problem which at-
tracted the attention and the efforts of mathematicians from antiquity to the
19th century was the problem of dividing a circle into a given number, say n,
of congruent arcs, end to end.
endpoint at a vertex of the n-gon and the other endpoint at these subdivision
points generate a regular, inscribed 2n-gon.
To carry out such a partition of the unit segment, construct two perpendic-
ular diameters AA0 and EE 0 in the unit circle. With the midpoint C of radius
OA0 as center, draw a circle with radius CE intersecting radius OA √
at point
D. Then, CE 2 = OE 2 + OC 2 , i.e. CE 2 = 1 + 41 = 54 or CE = 25 = CD.
√ √
Consequently, OD = CD − OC = 5−1 and ED2 = OE 2 + OD2 = 5−2 5 .
2 √
It is easily verified that a segment with length 5 can be constructed, since
√
5 is the length of the hypotenuse of √a right triangle with side lengths 1 and
2, and that the constructible number 5−1 2 satisfies the equation x2 = 1 − x.
Hence, OD is the side of a regular inscribed decagon and a regular decagon is
constructible. By joining every other vertex of this regular decagon, a regular
inscribed pentagon is constructed. It is not difficult to show that the intersec-
tion B of a circle with center at D and radius DO with the unit circle yields
an isosceles triangle 4OAB with BD the bisector of angle ]ABO which is the
36◦ − 72◦ − 72◦ triangle we started from.
natural numbers, then there are integers (positive, negative, or zero) k and p
such that this greatest common divisor can be written as the sum km + pn. If
the natural numbers m and n are relatively prime, i.e. have no common divisor
except one, then there exist integers k and p such that km + pn = 1. Therefore,
if regular polygons of n and m sides can be constructed, and if m and n are
◦
relatively prime, then an arc with measure 360 mn can be constructed, leading
to the constructibility of a regular inscribed polygon with nm sides. Thus a
3 · 5-gon = 15-gon can be constructed.
But what about other regular n-gons, in particular the missing heptagon?
The short answer is contained in a remarkable result, (essentially) due to Gauss,
which states as a sufficient condition that a regular n-gon is constructible if n is a
prime number of the form 2µ + 1 where µ = 2m for some positive integer m ≥ 0.
For m = 0 and m = 1, one obtains the equilateral triangle and the regular
pentagon, respectively. The case m = 2 leads to the regular 17-gon which was
proved by Gauss in 1796 to be constructible. The regular heptagon, however, is
not constructible, although endowed with a prime number of sides, because the
natural number seven is not of the requisite form 2µ + 1 with µ = 2m . It was
conjectured by the first-rank French mathematician Pierre de Fermat (1601-
1665) that all numbers of this particular form are prime, and therefore such
numbers are called Fermat numbers which have turned up on many unrelated
occasions in the history of mathematics. For m = 3 and m = 4, the Fermat
numbers are 257 and 65,537 which are indeed prime and, consequently, the 257-
gon and the 65,537-gon are constructible. For m = 5, however, Euler showed
that the number 232 + 1 has 641 as a divisor, and is thus not prime. Fermat
numbers with m = 6, 7, 8, and 9 are known to be not prime.
At any rate, on the basis of the foregoing, it can be asserted that a sufficient
0
condition for the constructibility of a regular n-gon is that n = 2s · (p1 )r · (p2 )r ·
00
(p3 )r · · · where s ≥ 1 is a natural number, the exponents r, r0 , r00 , . . . take on
the values 0 or 1, and p1 , p2 , . . . are distinct primes of the form 2µ + 1 with
µ = 2m , m ≥ 0. It is not established that this condition for the constructibility
of a regular n-gon is also necessary.
210 CHAPTER 10. LOCI, CONSTRUCTIONS, AND A MEDLEY . . .
The line on which these three points lie is called a Simson Line of the trian-
gle, after the British mathematician Robert Simson (1687–1768) who discovered
it.
Theorem 129. The centroid, the circumcenter and the orthocenter of a triangle
are collinear, and the centroid trisects the segment joining the circumcenter to
the orthocenter.
The line containing these three points is called the Euler Line of the triangle
after the Swiss mathematician and physicist Leonhard Euler (1717–1783) who
proved the above theorem.
10.3. SOME NEWER THEOREMS 211
Another significant theorem which dates back to 1822 and was discovered
independently by the German Karl Feuerbach (1800–1834) and the two French-
men Charles Brianchon (1785–1864) and Jean-Victor Poncelet (1788–1867) is
the so-called Nine-Point Circle Theorem:
Theorem 130. The midpoints of the sides of a triangle, the feet of its altitudes,
and the midpoints of the segments joining its orthocenter to its vertices lie on
a circle.
212 CHAPTER 10. LOCI, CONSTRUCTIONS, AND A MEDLEY . . .
The Nine-Point Circle has several interesting properties, some of which are
enumerated here without their proofs—which are not particularly involved—for
the sake of brevity:
- The center of the Nine-Point Circle bisects the segment joining the ortho-
center and the circumcenter of the triangle. Thus, surprisingly, the center
of the Nine-Point Circle lies on the Euler Line of the triangle.
- The radius of the Nine-Point Circle is half the radius of the circumcircle
of the triangle.
In the same vein, we may mention the little-known Spieker Circle which
is the incircle of the triangle formed by the midpoints of the sides of a given
triangle. It can be shown that the Gergonne point, the incenter, and the center
of the Spieker Circle of a triangle are collinear.
Our last entry in the list of post-Euclidean theorems is a result due to the
Anglo-American mathematician Frank Morley (1860–1937) who published it in
1899:
In the diagram shown, triangle 4ABC is given. The adjacent trisectors AR0
and CP 0 of angles ]A and ]C of this triangle meet at Q, and similarly, those
for angles ]C and ]B, and those for angles ]B and ]A meet at P and R,
respectively. Morley’s Theorem asserts that triangle 4P QR is equilateral.
Proof. The proof of this theorem is broken down into several steps and proposed
in the Exercises to this chapter.
214 CHAPTER 10. LOCI, CONSTRUCTIONS, AND A MEDLEY . . .
Exercises
1. Describe the set of points at a given distance from
8. Given the three lines determined by the sides of a triangle, prove that
there are exactly four points in the plane of the triangle each of which is
equidistant from all three lines.
9. If the vertices of a quadrilateral are concyclic (i.e. lie on a circle), the
quadrilateral is called cyclic. Prove that the perpendicular bisectors of the
four sides and of the two diagonals of a cyclic quadrilateral are concurrent.
10. On a circular lake, there are three docks, A, B, C. Draw a diagram indi-
cating the locus of the points on the lake which are closer to A than to B
or C.
11. A and B are fixed points in a plane Π. C and D are any points in Π such
that ABCD is a parallelogram with BC = 21 AB. Determine the locus of
the midpoint M of side CD.
12. A and B are fixed points in a plane Π and l is any line in Π through A. P
is a point in Π such that l is the perpendicular bisector of segment BP .
What is the locus of P as line l takes all possible positions?
In the following construction problems, justify your construction, deter-
mine whether the desired construction is always possible, and discuss the
number of distinct solutions, if any.
13. Construct a triangle 4ABC, given the lengths of two sides AB and AC,
and the length of the median from vertex A to side BC. (This one is
trickier than it seems.)
14. Construct a triangle, given the length of one side, and the lengths of the
altitude and of the median to that side.
15. Construct a rectangle, given the lengths of one side and of one diagonal.
16. Construct a triangle, given the measure of one angle, the length of an
adjacent side, and the length of the altitude to that side.
17. Construct a triangle, given the length of one side and the lengths of the
medians to the other two sides.
216 CHAPTER 10. LOCI, CONSTRUCTIONS, AND A MEDLEY . . .
18. Given a circle and a point in its exterior, construct the tangents from that
point to the circle.
19. Construct a triangle, given the length of one side, the circumradius, and
the length of the altitude to a second side.
20. Construct a circle with given radius and tangent to two given intersecting
lines.
21. Construct a circle with given radius, tangent to a given line and tangent
to a given circle.
22. Construct a triangle, given the measure of one angle, the length of the
internal bisector of that angle, and the radius of the incircle.
23. A segment of length a is given as the median to one of the two congru-
ent sides of an isosceles triangle in which the medians to these sides are
perpendicular to each other. Construct the triangle.
26. Given a triangle 4ABC in which each angle has measure less than 120◦ ,
construct a point P in the interior of the triangle such that m ]AP B =
m ]BP C = m ]AP C.
27. Given two parallel lines l and m at distance d from each other. Determine
the set of all points P in the plane of these lines such that the distance
from P to l is k times the distance of P from m, where k is a given positive
number.
28. Given square ABCD with M and N the midpoints of sides BC and CD.
If AM and AN meet the diagonal BD at P and Q, prove that P and Q
trisect BD, but that m ]BAM 6= 30◦ .
10.3. SOME NEWER THEOREMS 217
30. Given two parallel lines l and m and a transversal n, are there any points
which are equidistant from l, m, and n? Justify your answer.
31. Describe the location of the Simson Line if the point on the circumcircle
is a vertex of the triangle.
32. Examine the Simson Line for a right triangle. Repeat for an equilateral
triangle.
So far, we have introduced the measure of an arc of circle and examined the
relationship between this measure and that of the corresponding central or in-
scribed angles, but we have not yet a mathematical definition for the length
of an arc of circle in analogy with the length associated with a line segment.
In our axiomatic approach, we postulated that a unique positive real number
is associated with every line segment and called that number the length of the
segment. It would be quite expeditious to proceed similarly with arcs of circle,
and to postulate that a certain positive real number which would be called the
arc length can be attributed to each such arc. This correspondence between
arcs of circle (i.e. purely geometric entities) and their lengths (i.e. purely alge-
braic quantities) should then possess certain intuitively desirable properties: it
should be one-to-one, that is each given arc should have a unique length, and it
should be additive in the sense that the length of the union of two arcs of the
same circle having only one endpoint in common should be equal to the sum of
the lengths of those arcs. Finally, the length of an arc of circle should evidently
depend on the arc radius and on the measure of its central angle. The crucial
problem with this approach is that we have no mathematical definition for the
circumference of a circle. We must, therefore, adopt a different and more subtle
approach which exploits the well-known geometry of line segments and allows
for a precise definition of the concept of arc length with the stated properties.
219
220 CHAPTER 11. ON ARC LENGTHS AND SECTOR AREAS
Given arc AB
˜ of a circle C, let A0 = A, A1 , . . . , An = B be a sequence of
points on this arc in the order from A to B. For each pair of consecutive points
Ai−1 and Ai , draw the line segment Ai−1 Ai , as shown. The union of these line
segments constitutes an inscribed broken line Bn with n vertices, and the sum
sn = A0 A1 + A1 A2 + . . . + An−1 An of the lengths of these segments is denoted
sn and called the length of the inscribed broken line Bn . Note that the arcs
A
˚ i−1 Ai and, consequently, the chords Ai−1 Ai need not be congruent. It is now
intuitively evident that as the number n of points on arc AB ˜ is increased, the
lengths of each chord Ai−1 Ai decreases while the length sn of Bn increases and
the inscribed broken line becomes increasingly “close” to the actual arc AB. ˜
Thus, sn provides an approximation of the length of the arc AB and this ap-
˜
proximation is “better and better” as the number n of vertices of Bn increases.
These considerations suggest only an idea and are not precise enough to consti-
tute a definition, because they involve non-mathematical notions, notably the
notions of “close” and “better and better.” To cast this idea in rigorous terms,
we need some elements of Calculus for which, however, we have no room in this
elementary treatment of Geometry. We shall therefore accept the mathematical
facts and results presented below without justification and proof, and use them
freely. Needless to say, our presentation will nonetheless remain at best sketchy,
but, we hope, sufficient for our purpose.
We consider sets of real numbers which contain infinitely many elements.
The precise definition of an infinite set will not be given, but one may consider
the set of all natural numbers or the set of all real numbers between zero and
one as typical examples of infinite sets.
A set S of positive real numbers is said to be bounded above if there is a
positive real number b, called an upper bound for S, such that every element of
S is less than or possibly equal to b. Clearly, if b is an upper bound for S then
any real number larger than b is also an upper bound for S. Now, one of the
fundamental concepts of Calculus is that of the least upper bound or supremum
(abbreviated: sup) of a set that is bounded above: it is conceivable that for
a given set S of positive real numbers that is bounded above, there exists,
among the myriad of such upper bounds, an upper bound which is smaller than
all. The Completeness Axiom for real numbers—which has already manifested
itself in a weaker form in this course, namely in the content of the Euclidean
Completeness Axiom—asserts that every set of real numbers that is bounded
above has indeed a unique least upper bound. It should be mentioned in
11.1. ARC LENGTH 221
passing that these concepts and facts are also valid for sets of real numbers
that are bounded below : if a set of real numbers is bounded below, i.e. if every
member of the set is larger than some real number, then the set has a unique
greatest lower bound or infimum (abbreviated: inf). Note that depending on
the bounded set S, its least upper/greatest lower bound may or may not belong
to S. For instance, if N is the set of all natural numbers, then N is bounded
below by 1 but is not bounded above. Therefore, sup(N) does not exist but
inf(N) = 1. If S is the set of all real numbers x satisfying 0 < x < 1, then S is
bounded both below and above and inf(S) = 0, sup(S) = 1 and neither inf(S)
nor sup(S) belongs to S, whereas if S 0 is the set of all real numbers satisfying,
say, 0 < x ≤ 1, then sup(S 0 ) belongs to S 0 and inf(S 0 ) does not.
If S is a set of positive real numbers that is bounded above and if k is some
positive real number, let kS be the set of positive real numbers obtained by
multiplying every element of S by the number k. Clearly, the set kS is equally
bounded above. It can be proved that sup(kS) = k sup(S), a result that will be
used subsequently.
We are now prepared for a precise definition of the length of an arc of circle
and, ipso facto, of the circumference of a circle. The following preliminary
Lemma is needed:
Proof. We may assume without loss of generality that P S < P T , as shown. Let
−→
U be the point on ray P R such that U is between R and T and SU is parallel to
SU
QR. Then 4P RQ ∼ 4P U S so that QR = PP Q
S
> 1, and therefore SU > QR.
Since ]1 is a base angle of the isosceles triangle 4P U S, ]1 is acute and, hence,
]2 is obtuse. Therefore, m ]3 < m ]2 and by Theorem 43, ST > SU .
Proof. Consider any square containing the entire circle of which AB ˜ is an arc,
in its interior, as shown. Let D be the center of this circle. Let A = A0 ,
A1 , A2 , . . . , An = B be an arbitrary sequence of points on AB ˜ in the order
0 −−→
from A to B. Let Ai be the (unique) intersection of ray DAi with the square.
Then, for each i, 1 ≤ i ≤ n, triangle 4DAi−1 Ai is isosceles, and by the first
Lemma, Ai−1 Ai < A0i−1 A0i . Thus, the length sn of the broken line inscribed in
arc AB
˜ with vertices A0 = A, A1 , . . . , An = B is always less than the length
A0 A01 + A01 A02 + . . . + A0n−1 B 0 which is a finite number because it is a fraction
of the perimeter of the square. Clearly, this argument does not depend on the
radius of the circle nor on the side length of the square, and remains valid for
any value of n, no matter how large. Therefore, the set S of all sn is bounded
above.
We may now define the length of an arc of circle in terms of the mathematical
concepts introduced above in relation to the given arc AB:
˜
That this definition is not vacuous is guaranteed by the second Lemma which
ascertains that the set of the lengths of all possible broken lines which can be
inscribed in arc AB
˜ is bounded above and by the Completeness Axiom which
asserts that this set has a unique least upper bound.
The circumference of a circle can now be defined rigorously by inscribing an
n-gon with vertices A0 , A1 , . . . , An−1 , A0 in the given circle and by considering
the perimeter pn of this n-gon, that is, pn = A0 A1 + A1 A2 + . . . + An−1 A0 . Let
P be the set of the perimeters of all possible inscribed polygons. Then it is easy
to see that the set P is again bounded above by the perimeter of the square
used in the second Lemma. Then the following definition is justified:
Proof. We omit the proof of this theorem because of its rather technical nature.
We can now prove the theorem which establishes the existence of the famous
real number π which is defined as the ratio of the circumference p of a circle of
radius r to its diameter 2r:
Theorem 133. Let C and C 0 be circles with radii r and r0 and circumferences
0 p p0
p and p , respectively. Then 2r = 2r0 .
Proof. Without loss of generality, we may assume that circles C and C 0 are
concentric with common center D, as shown. Let Ai−1 Ai be the ith side of
a polygon inscribed in C. To each such polygon, there corresponds a similar
−−−−→ −−→
polygon inscribed in C 0 whose vertices are the intersections of rays DAi−1 , DAi
with circle C 0 , as i runs through the vertices of the original polygon. Then
A0i−1 A0i DA0i r0
4DAi−1 Ai ∼ 4DA0i−1 A0i and therefore, we can write: Ai−1 Ai = DAi = r .
p0 0
Hence, if the perimeters of these polygons are pn and p0n , then pnn = rr . Now,
let P be the set of the perimeters of all polygons inscribed in C and P 0 be
0
defined similarly. Then, with our previous notation, P 0 = rr P , and by the
0 0
result mentioned earlier (using k = rr ), it follows that sup(P 0 ) = rr sup(P ) or
0 p0 p
p0 = rr p i.e. 2r 0 = 2r , which was to be proved.
Theorem 133 shows that the ratio of the circumference to the diameter is the
same for all circles and can, justifiably, be designated by a “universal” symbol
π. The immediate corollary to Theorem 133 is the well-known formula p = 2πr
for the circumference of a circle with radius r.
224 CHAPTER 11. ON ARC LENGTHS AND SECTOR AREAS
The number π was long suspected to be irrational, but the proof thereof had
to wait until 1761 when the German mathematician Johann Heinrich Lambert
(1728–1777) produced the first rigorous proof for the irrationality of π. Some
rational approximations which have been used for π throughout the ages are 3,
3.14, 22/7, 3.1416, 355/113.
In analogy with the proof of Theorem 133, one may prove the following
theorem:
Theorem 134. Let AB ˜ and A ˘0 B 0 be arcs of the same degree measure, in circles
0
of radii r and r and with lengths s and s0 , respectively. Then rs = rs0 .
0
Let arc AB
˜ with center C and radius r be given. Inscribe a broken line
Bn in arc AB such that all the n chords constituting Bn are congruent with
˜
common length bn (see Chapter Ten for the possibility of inscribing regular
polygons in a circle). Let again A0 = A, A1 , . . . , An = B be the vertices
of Bn . All the isosceles triangles 4CAi−1 Ai are congruent, so their altitudes
from the circle center to the chords Ai−1 Ai are equally congruent. Let an be
the length of this common altitude (called apothem of the regular inscribed
polygon). Then, the area of each of these n triangles is 21 an bn , and the area
α(Kn ) of the union Kn of these n triangular regions is 21 nan bn . Let s be the
length of arc AB.
˜ We want to know what happens to bn , an , and α(Kn ) as the
number n of vertices of Bn increases without bound and becomes “as large as
one pleases”. Now, nbn is the length sn of the inscribed broken line Bn and
by Definition 70, sn is always less than the length s of arc AB,
˜ i.e. nbn < s
or bn < ns . Thus, as the number n of vertices of Bn increases, bn decreases
and can be made as small as one “pleases” by letting n become “sufficiently”
large. For instance, if the arc length s is equal to, say, 10 units and we want
226 CHAPTER 11. ON ARC LENGTHS AND SECTOR AREAS
bn to be, say, smaller than 10−10 = 1/1010 unit, that is, if we want bn < 10−10 ,
−10
then take n so large that 10 n < 10 i.e. let n > 109 . This procedure can be
−50
repeated to make bn smaller than 10 or smaller than 10−1001 and so on by
taking a large enough value for n. In other words, by increasing n we can make
bn as small as we wish. On the other hand, it is reasonable to accept that as
n increases, the length sn of Bn approaches the arc length s. Finally, in the
isosceles triangle 4CAi−1 Ai , the triangle inequality yields: r < an + 21 bn or
r − 12 bn < an . Since an < r for all values of n, we have the string of inequalities:
r − 12 bn < an < r, and it is intuitively acceptable that as the number n of the
vertices of Bn becomes increasingly large, then bn becomes increasingly small
and so the difference r − 21 bn gets closer to r, while an remains “sandwiched”
between r and a number that becomes closer and closer to r. Hence, an must
approach r as n increases. Therefore, the area α(Kn ) = 21 nbn an will approach
the value 12 sr. All these heuristic considerations can be made perfectly rigorous
with the tools of Calculus, and lead to the following theorem which we enunciate
without its proof:
Theorem 135. The area of a circular sector with radius r and boundary arc
of length s is equal to 21 sr.
An immediate consequence of Theorem 135 is that the area of a disk of
radius r (that is, when s = 2πr) is given by the well-known formula πr2 . If the
length s of the boundary arc of the circular sector is expressed in terms of the
radian measure φ of the central angle which intercepts it, then the area of the
circular sector reads 21 r2 φ. Similarly, if the degree measure of the central angle
which intercepts the boundary arc of the sector is q ◦ , the area of the sector is
π ◦ 2
360◦ q r .
11.2. SECTOR AREA 227
Exercises
1. Determine the radian measure of a central angle whose degree measure is:
60◦ ; 120◦ ; 135◦ ; 40◦ ; 36◦ ; 15◦ .
Give your answers in rational multiples of π.
2. Determine the degree measure of a central angle whose radian measure is:
π π π 7π 2π
4 ; 6 ; 2 ; 12 ; 5 .
8. Given a square whose side is 10 inches long, what is the area enclosed
between its circumscribed and inscribed circles?
9. An equilateral triangle is inscribed in a circle. If the side of the triangle
is 12 ft long, what is the radius of the circle?
10. Two concentric circles with common center P and radii r and R with
r < R are given. AC is a chord of the larger circle and is tangent to the
smaller circle at B. Determine the area of the shaded annulus (ring) in
terms of AC.
11. In a sphere whose radius is 10 cm, sections are made by planes whose
distances from the center are 3 cm and 5 cm. Which section will have the
larger area? Justify your answer.
11.2. SECTOR AREA 229
12. In the figure shown, ABCD is a square in which E, F , G, are the midpoints
of segments AD, AC, CB, respectively. AF ˜ and F ˜ C are circular arcs with
centers E and G, respectively. If the length of the side of the square is s,
determine the area of the shaded region.
14. In the figure shown below, semicircles are drawn with each side of the
right triangle 4ABC as diameter. The area of each region is indicated by
a lower case letter. Prove: r + s = t.
230 CHAPTER 11. ON ARC LENGTHS AND SECTOR AREAS
15. A continuous belt runs around two wheels of radii 6 and 30 cm. The
centers of the wheels are 48 cm apart. Determine the length of the belt.
16. In the figure shown, ABCD is a square whose side is 8 inches long. With
the midpoints of the sides of the square as centers, arcs of circle are drawn
tangent to the diagonals. Find the area enclosed by the four arcs.
Chapter 12
Definition 78. Let Π1 and Π2 be two parallel planes, L a line which intersects
Π1 in one point, and K a convex (bounded) set in Π1 which does not intersect
L. For each point P in K, let P P 0 be the line segment parallel to L with P 0 in
Π2 . If the set K is a (convex) polygonal region/circular region (disk) D in Π1 ,
then the union of all such line segments P P 0 is called a prism/circular cylinder
with directrix L. The polygonal region/disk D in Π1 is the (lower) base of the
prism or circular cylinder while the set of all points P 0 in Π2 is called its upper
base. The distance h between Π1 and Π2 is the altitude of the prism/circular
cylinder. If L is perpendicular to Π1 , then the prism/circular cylinder is called
a right prism or circular cylinder.
231
232 CHAPTER 12. ON SOLIDS AND THEIR VOLUMES
Since only cones with disks for bases will be considered, (circular) cones shall
be abbreviated to just cones, while pyramids will be classified according to the
shape of their bases: triangular pyramids, etc.
12.1. PRISMS AND CYLINDERS, PYRAMIDS AND CONES 233
Proof. Let the triangular region 4ABC be the base of a prism with directrix L
and let a plane parallel to the plane of 4ABC intersect AA0 , BB 0 , CC 0 in D, E,
F , respectively. By Definition 78, AD and BE are parallel hence coplanar, and
←→ ←→
by Theorem 87, the intersections DE and AB of two parallel planes by a third
plane are parallel. Therefore, ABED is a parallelogram, so that AB = DE.
Similarly, AC = DF and BC = EF . Hence, 4DEF ∼ = 4ABC (S.S.S.).
The following terms are commonly used in relation to prisms and we merely
enumerate them below for the sake of completeness, using the notations of
Definition 78:
A lateral edge of a prism is a line segment AA0 where A is a vertex of the
prism base. A lateral face of a prism is the union of all line segments P P 0 where
P is a point of a given side of the prism base. The lateral surface of a prism is
the union of all its lateral faces. The total surface of a prism is the union of its
lateral surface and its bases. A formal proof that the lateral faces of a prism
are parallelograms (or rectangles, in the case of a right prism) requires a careful
examination of separation properties and is both long and involved. We shall
therefore accept this fact without proof.
Two more analogues of the Prism Cross-Section and Cylinder Cross-Section
Theorems (Theorems 137 and 138) for cones and pyramids are next:
Proof. Consider a cone with vertex V , circular base D with radius r and center
C in plane Π, and altitude h. Let Πk be a plane parallel to Π, on the same
side of Π as V , at distance k < h from Π. Let A and A0 be the feet of the
perpendicular from V onto Π and Πk , respectively. Let C 0 be the intersection
of segment V C with plane Πk , as shown. Finally, let B be any point on the
boundary circle of the base disk D and B 0 be the intersection of V B with Πk .
Since Π and Πk are parallel, any plane that intersects Π and Πk intersects
them in two parallel lines. Hence, A0 B 0 is parallel to AB and B 0 C 0 is parallel
12.2. VOLUMES OF SOLIDS 235
VA =
h−k
h = VV BB = CCBB
, so that we have C 0 B 0 = h−k
h CB. Therefore, if
0 0 h−k
CB ≤ r, then C B ≤ h r, and conversely. It follows that the cross-section
Dk of the cone with plane Πk is a disk of radius r0 = h−k
h r.
Thus, the ratio of the area of the cross-section at altitude k to the base area
of a (circular) cone with altitude h is equal to ( h−k 2
h ) .
In the figure shown, the two “solids” K and K 0 are elements of V and Π
is a “horizontal” plane. Property (v) asserts that if every cross-section D of K
and cross-section D0 of K 0 by the same horizontal plane have equal areas, i.e.
α(D) = α(D0 ), then v(K) = v(K 0 ). Cavalieri’s Principle is the key to the actual
calculation of volumes. Clearly, if v is a volume measure satisfying properties
(i), (ii), (iii), then multiplying v by a positive constant yields another volume
measure. Thus, property (iv) serves to define a “unit of volume” in the same
manner that Axiom 17 fixed a unit of area measure. It should be stressed that
the existence of a volume measure with the properties (i) through (iii) listed
in Axiom 18 can be proved from our axioms of Euclidean Geometry but this
proof is technically very difficult and requires advanced mathematics, and that
properties (iv) and (v) will nonetheless have to retain their status of independent
necessary axioms.
Before proceeding with the computation of the volume of some fundamental
solids, we need a preliminary result:
Theorem 140. If M is a convex, bounded set contained in a plane, then
v(M ) = 0.
Proof. First notice that being bounded, M is contained in the interior of some
rectangular region R in the same plane that contains M . Let α(R) = ab (Axiom
17) where a and b are the lengths of the sides of this rectangle. Then, for any
positive real number h, the bounded set M is contained in the interior of a
rectangular parallelepiped K with v(K) = abh (Axiom 18(iv)). Now, the height
h of K, along with v(K), can be made as small as one pleases: given any positive
number (no matter how small), v(K) can be made yet smaller than this by
12.2. VOLUMES OF SOLIDS 237
choosing h < ab . Therefore, for every > 0, v(M ) ≤ v(K) < (Axiom 18(iii)).
Since v(M ) ≥ 0 (Axiom 18(i)), it follows that v(M ) must necessarily be equal
to zero.
Theorem 141. Let K be a right triangular prism with altitude h and the right
triangular region T for base. Then v(K) = hα(T ).
Proof. Construct another right prism K 0 with a right triangular base T 0 in such
a way that the union T ∪ T 0 is a rectangular region and the union K ∪ K 0 is a
rectangular parallelepiped with v(K ∪ K 0 ) = abh (Axiom 18(iv)) where a and
b are the lengths of the sides of the right triangular region T , as shown. By
construction and by virtue of the Cavalieri’s Principle, v(K) = v(K 0 ). On the
other hand, Theorem 140 implies that v(K ∩K 0 ) = 0 because K and K 0 intersect
each other in a plane rectangular set only. Hence, v(K ∪ K 0 ) = v(K) + v(K 0 ) =
2v(K) (Axiom 18(iii)). Consequently, v(K) = 12 abh = hα(T ), which was to be
proved.
Theorem 142. Let K be a right prism with altitude h and a (convex) polygonal
region B as base. Then, v(K) = hα(B).
238 CHAPTER 12. ON SOLIDS AND THEIR VOLUMES
Proof. The base B of the prism can be triangulated into the union of a finite
number n of triangular regions Ti , i = 1, 2, . . . , n. Consequently, the prism K
is the union of n triangular right prisms K1 , . . . , Kn , each with a triangular
base Ti and the same altitude h. By Theorem 141 and the remark following
the proof of that Theorem, v(Ki ) = hα(Ti ) for each i, i = 1, . . . , n. Since each
prism Ki intersects the others in plane bounded regions, Theorem 140 implies:
v(K) = v(K1 )+v(K2 )+. . .+v(Kn ) = hα(T1 )+hα(T2 )+. . .+hα(Tn ). Therefore,
v(K) = h[α(T1 ) + α(T2 ) + . . . + α(Tn )] = hα(B) by virtue of the additivity of
the area measure (see Chapter Seven).
Theorem 143. The volume of any prism is the product of its altitude and its
base area.
Proof. Let K 0 be a right prism with the same base area and the same altitude
h as the given prism K. By Theorem 142: v(K 0 ) = hα(B 0 ) = hα(B), where B
and B 0 are the bases of K and K 0 , respectively, as shown. Then, by Theorem
137 and the Cavalieri’s Principle, it follows that v(K) = v(K 0 ) = hα(B).
Theorem 144. The volume of a cylinder with altitude h whose base is a disk
of radius r is equal to πr2 h.
Proof. Let K be the given cylinder, and let L be any prism with base in the
same plane as the base of the cylinder, with the same base area πr2 , and the
same altitude h as K. Then, by Theorem 143, v(L) = πr2 h. By Theorem 138
(Cylinder Cross-Section Theorem), all same altitude cross-sections of K and L
have the same area. Then, by Cavalieri’s Principle, v(K) = v(L) = πr2 h.
We now turn to the calculation of volumes of pyramids and cones, and begin
with a preliminary result on triangular pyramids:
Theorem 145. Two pyramids with the same base area and the same altitude
have the same volume.
12.2. VOLUMES OF SOLIDS 239
Proof. Let the common altitude and the common base area of the two pyramids
be h and a, respectively. By the Pyramid Cross-Section Theorem (i.e. the
“pyramid version” of Theorem 139), the cross-sections at altitude k of these
pyramids have equal areas, and by Cavalieri’s Principle, the two pyramids have
equal volumes.
Theorem 146. The volume of a pyramid is one-third the product of its base
area and its altitude.
Proof. We first prove the theorem for a triangular pyramid L with base area a
and altitude h. Consider a right triangular prism K with the same base area
and the same altitude as L, and cut up this prism into three triangular pyramids
K1 , K2 , and K3 , one of them being the original one. as shown below:
Let K3 be the triangular pyramid with the same base and altitude as L
and having the edge AD perpendicular to the triangular base 4DEF of the
right prism K. Now, 4BCF ∼ = 4BEF (why?). If we construe K1 and K2 as
triangular pyramids with vertex A as “top vertex,” then K1 and K2 have equal
240 CHAPTER 12. ON SOLIDS AND THEIR VOLUMES
base area and the same altitude, because the altitude of each of them is the
perpendicular distance from A to the plane of the four vertices B, C, F , and E.
Hence, by Theorem 145, we have v(K1 ) = v(K2 ). Next, regard K2 and K3 as
triangular pyramids with vertex F as “top vertex.” Since 4ABE ∼ = 4ADE and
K2 and K3 have the same altitude (distance of F from the plane of the vertices
A, B, D, and E), v(K2 ) = v(K3 ). Now, the three pyramids K1 , K2 , K3 intersect
each other only along bounded planar sets (namely 4ABF and 4AF E) which
have no volume (Theorem 140). Therefore, v(K) = v(K1 ) + v(K2 ) + v(K3 ) =
3v(K3 ) = 3v(L). Consequently, we obtain: v(L) = 31 v(K) = 13 ah. Next,
consider a pyramid P with a polygonal base of area a and altitude h. Let L be
a triangular pyramid with base area a and the same altitude h. By the Pyramid
Cross-Section Theorem, cross-sections at the same altitude of P and L have
the same area, and Cavalieri’s Principle asserts that v(P ) = v(L) = 31 ah. This
completes the proof of the theorem.
Theorem 147. The volume of a cone is one-third the product of its base area
and its altitude.
Proof. Given a cone with base area a = πr2 and altitude h, consider any pyramid
with its base in the same plane as the base of the cone, with the same base area
a, and the same altitude h. Then, the same-altitude cross-sections of the cone
and of the pyramid have the same area (why?), and by virtue of the Cavalieri’s
Principle, the cone and the pyramid have the same volume, that is 13 ah.
Our last application of the Cavalieri’s Principle is the calculation of the
volume of a sphere:
Theorem 148. The volume of a sphere of radius r is 43 πr3 .
12.2. VOLUMES OF SOLIDS 241
Proof. Let S be a sphere of radius r plus its interior, and let Π be a tangent
plane to the sphere. In Π take a circle of radius r and consider a right cylinder
C with this circle as base and altitude 2r, lying on the same side of Π as the
sphere and such that the perpendicular from the center of the sphere S onto
Π passes through the center of the cylinder base. Thus, sphere S is inscribed
in the interior of cylinder C. Let L be the set of points of C which do not
belong to S, that is, v(L ∩ S) = 0. Then, C = L ∪ S and v(C) = v(L) + v(S)
(Axiom 18(iii)) or v(S) = v(C) − v(L) = 2r(πr2 ) − v(L) or v(S) = 2πr3 − v(L)
(Theorem 144). Thus, the problem of calculating the volume v(S) is reduced
to the calculation of the volume v(L). To that end, we strive at finding a solid
whose volume we know and which has the same equal-altitude cross-sectional
areas as L, so that Cavalieri’s Principle can be applied.
Next, consider the circular double-cone L0 with the two bases of the cylinder
C as upper and lower bases and vertex at the center of the sphere. A “vertical”
cross-section of this double-cone is shown and a “horizontal” cross-section of L’
at altitude k above its vertex is a disk of radius k and has area πk 2 . Thus,
v(L) = v(L0 ). On the other hand, v(L0 ) = 2( 31 πr2 )r (Theorem 144), so that
242 CHAPTER 12. ON SOLIDS AND THEIR VOLUMES
v(L) = 23 πr3 . Therefore, we obtain: v(S) = 2πr3 − 23 πr3 = 43 πr3 , which was to
be proved.
For reference, we state—without proof—that the surface area of a sphere of
radius r is equal to 4πr2 , i.e. four times the area of a great circle of the sphere.
12.2. VOLUMES OF SOLIDS 243
Exercises
1. Prove that two non-adjacent lateral edges of a prism are coplanar, and
that the intersection of their plane with the prism is a parallelogram.
2. Prove that the area of the lateral surface of a right prism is the product
of the perimeter of its base and the length of a lateral edge.
√
3. The sides of a cross-section of a triangular prism have lengths 3 cm, 3 3
cm, and 6 cm. Determine the angle measures and the area of another
cross-section of this prism which is at altitude 1 cm higher than the given
cross-section.
5. Given are two pyramids, one triangular and the other hexagonal, with
equal base areas and the same altitude 6 inches. The area of the cross-
section of the triangular pyramid 2 inches above the base is equal to 25
square inches. What is the area of the same-altitude cross-section of the
hexagonal pyramid?
9. If one edge of the base of a large regular hexagonal pyramid is 12 feet and
the altitude of the pyramid is 9 feet, what is the area of the lateral surface
and the volume of this pyramid?
10. A plane bisects the altitude of a pyramid and is parallel to the plane of
the pyramid base. Determine the ratio of the volumes of the solids above
and below the plane.
11. A monument has the shape of an obelisk—a square pyramid cut off at a
certain height by a plane parallel to its base and capped with a second
square pyramid, as shown. The vertex of the second pyramid is 2 meters
above its base and 32 meters above ground level. If the original pyramid
had not been truncated, it would have been 60 meters tall. Find the
volume of the obelisk if each side of the base, at ground level, is 4 meters
long.
246 CHAPTER 12. ON SOLIDS AND THEIR VOLUMES
13. A drainage pipe is a cylindrical shell 16 feet long. The inner and outer
diameters of the pipe are 5 and 5.6 feet, respectively. Determine the
volume of clay necessary to manufacture this pipe.
14. A certain cone has a volume of 27 cubic centimeters. Its height is 5 cm.
A second cone is cut from the first by a plane parallel to its base and two
cm below its vertex, as shown.
15. In the figure shown, one is looking down upon a pyramid, whose base is
a square, inscribed in a right circular cone. The altitude of the cone (and
of the pyramid) is 36 inches and a base edge of the pyramid is 20 inches.
Find the ratio of the volume of the pyramid to that of the cone.
12.2. VOLUMES OF SOLIDS 247
16. A right circular cone stands inside a right circular cylinder with the same
base radius r and the same altitude h. In terms of r and h, find an
expression for the volume of the region enclosed between the cone and the
cylinder.
17. If a plane parallel to the base of a cone (or pyramid) cuts off another cone
(or pyramid), then the solid between the base and this plane is called a
frustum.
A frustum of a cone has lower radius 6 inches, upper radius 4 inches, and
a height of 8 inches, as shown. Find its volume.
18. An ice cream cone is 5 cm deep and has a top diameter of 2 cm. Two
hemispherical scoops of ice cream, each with a diameter of 2 cm, are placed
on top of the cone. If the ice cream melts entirely into the cone, will it
overflow?
19. In the figure shown, the sphere with radius r is inscribed in the interior of
the right circular cone. The measures of the angles between the altitude
of the cone and the sphere radii to the points of tangency are indicated.
Find the volume of the cone in terms of r.
248 CHAPTER 12. ON SOLIDS AND THEIR VOLUMES
20. Half the air is let out of a spherical rubber balloon. If the balloon retains
its spherical shape, how does its final radius compare with its original
radius?
21. The city engineer who is six feet tall walked up to inspect the new spherical
water tank. When he had walked to a spot 18 feet from the point where
the tank rested on the ground, he bumped his head on the tank. If the
city uses 10,000 cubic feet of water per hour, determine how many hours
one full tank would last.
22. A cylindrical container with radius 12 cm and height 20 cm is full of water.
If a sphere of radius 10 cm is lowered into the container and then removed,
what volume of water will remain in the container?
23. Find a method for calculating the area of the lateral surface of a right
circular cylinder with base radius r and height h.
24. The altitude of a right circular cone is 15 inches and the radius of its base
is 8 inches. A cylindrical hole of diameter 6 inches whose axis coincides
with the altitude of the cone is drilled through the cone, leaving a solid
shown in the figure. What is the volume of this solid?
Chapter 13
Introduction to
Non-Euclidean Geometry
249
250 CHAPTER 13. INTRODUCTION TO NON-EUCLIDEAN GEOMETRY
chapter, we will restrict our attention to the particular Geometry invented (or
discovered?) by Gauss, Bolyai, and Lobachevsky, which is called Hyperbolic Ge-
ometry. Specifically, Hyperbolic Geometry is defined by the axiomatic system of
(plane) Neutral Geometry augmented by the negation of the Euclidean Parallel
Postulate (Axiom 15). Needless to say, following the work of the German math-
ematician G. F. Bernhard Riemann (1826-1866), many other Non-Euclidean
Geometries were introduced and studied, and some of them play a fundamental
role in contemporary theoretical physics1 .
To begin with, we introduce a few nontrivial theorems from Neutral Geom-
etry which were mostly proved by the Italian priest Girolamo Saccheri (1667-
1733) in his fruitless efforts to prove that Euclidean Geometry is the only logi-
cally possible consistent Geometry. In his little opus entitled Euclides ab omni
Naevo Vindicatus (Euclid Freed of Every Flaw), Saccheri made what he thought
were some false assumptions concerning a certain quadrilateral, and by reason-
ing indirectly from these assumptions, he tried to develop contradictions which
could, in turn, be used to prove Euclid’s Parallel Postulate. Instead of this,
Saccheri ended up laying the foundations on which Hyperbolic Geometry would
be later edified.
In the sequel, definitions, theorems, lemmas and corollaries that specifically
pertain to Hyperbolic Geometry will be preceded by the letter H in order to
stress their Non-Euclidean, that is, hyperbolic character.
The first important and insufficiently known property concerning the sum
of the measures of the angles (hereinafter, “angle sum” for short) of a triangle
in Neutral Geometry is contained in the following Lemma:
Lemma. Given a triangle 4ABC, there exists a triangle 4A1 B1 C1 which has
the same angle sum as 4ABC and in which, say, m ]A1 ≤ 21 m ]A.
Note: Needless to say, corresponding angles ]A and ]A1 are not special in
any way.
Proof. Let E be the midpoint of side BC and let point F be chosen on ray
−→
AE such that AE = EF and E is between A and F (Point Plotting Theorem).
Then, 4BEA ∼ = 4CEF (S.A.S.) and hence, their corresponding angles are
congruent. We show that 4AF C is the triangle 4A1 B1 C1 we are seeking. We
have: m ]A2 = m ]AF C, m ]F CB = m ]B, and
1 A very readable first article on this subject is The Curvature of Space, by P. Le Corbeiller,
reprinted in Mathematics in the Modern World, Readings from Scientific American, W.H.
Freeman & Co., 1968
13.1. ON NEUTRAL GEOMETRY III 251
Thus, 4ABC and 4AF C have the same angle sum. Now, observe: m ]A =
m ]A1 + m ]AF C. In this equation, one of the terms on the right-hand side,
i.e. m ]A1 or m ]AF C must be less than or equal to 21 m ]A on the left-hand
side. If it happens that m ]A1 ≤ 12 m ]A, we are done, and if not, just re-label
the other two vertices of 4AF C as B1 and C1 .
Intuitively speaking, this first Lemma states that we can replace a given tri-
angle by a “slender” one without altering its angle sum. Moreover, the nontrivial
content of this lemma cannot be stressed enough, because in Neutral Geometry
we cannot assume that the angle sum is constant for all triangles: this is a Eu-
clidean theorem whose proof depends heavily on the Euclidean Parallel Axiom
(Axiom 15).
It can be now anticipated that starting with a given triangle, we can con-
struct a sequence of non-congruent triangles, all having the same angle sum as
the initial triangle, and having an angle with arbitrarily small measure. This is
the message of the Saccheri-Legendre Theorem, but we need yet another lemma:
Lemma. The sum of the measures of any two angles of a triangle is less than
180◦ .
Proof. Consider triangle 4ABC and select, say, angles ]A and ]B. Consider
−−→
ray CB and select point D on it such that B is between C and D. Then,
]ABD is an exterior angle of 4ABC, and by the Exterior Angle Theorem
(Theorem 39), m ]ABD > m ]A. But m ]ABD = 180◦ − m ]B (why?), so
that by substitution, we obtain 180◦ − m ]B > m ]A or 180◦ > m ]A + m ]B,
which proves the Lemma for the angles considered. Clearly, one can repeat this
argument for any other pair of angles of the given triangle.
Theorem 149 (Saccheri-Legendre). The angle sum of any triangle is less than
or equal to 180◦ .
Proof. Suppose the contrary (RAA argument). Then there exists a triangle
4ABC with angle sum 180◦ + p◦ , where p is some positive real number. Ap-
plying the first Lemma, there exists a triangle 4A1 B1 C1 with the same angle
252 CHAPTER 13. INTRODUCTION TO NON-EUCLIDEAN GEOMETRY
sum (that is, 180◦ + p◦ ) as 4ABC and such that m ]A1 ≤ 12 m ]A. By ap-
plying the first Lemma to 4A1 B1 C1 , one obtains a second triangle 4A2 B2 C2
with the same angle sum 180◦ + p◦ and such that m ]A2 ≤ 21 m ]A1 ≤ 14 m ]A.
Continuing in this fashion, one constructs a sequence of triangles 4A1 B1 C1 ,
4A2 B2 C2 , . . . , 4An Bn Cn , each with the same angle measure 180◦ + p◦ as
4ABC, and such that m ]An ≤ 21n m ]A. Clearly, we can choose the natural
number n as large as we wish, in particular, so large that m ]An ≤ p◦ . Since
m ]An + m ]Bn + m ]Cn = 180◦ + p◦ , it follows that m ]Bn + m ]Cn ≥ 180◦ .
This, however, contradicts the second Lemma and concludes the proof of the
theorem.
Corollary. The sum of the measures of two angles of a triangle is less than or
equal to the measure of their remote exterior angle.
Definition 80. The defect of a triangle is equal to 180◦ minus the angle sum
of the triangle. The defect of a triangle ∆ shall be denoted δ(∆).
−−→
Proof. Since ray CD is in the interior of ]ACB (Theorem 9), m ]ACB =
m ]ACD + m ]DCB (Angle Addition Axiom). Since ]ADC and ]BDC
are supplementary, δ(4ACD) = 180◦ − m ]A − m ]ADC − m ]ACD, and
δ(4BDC) = 180◦ − m ]B − m ]BDC − m ]DCB. Adding these two equations
yields:
Corollary. The angle sum of 4ABC is equal to 180◦ if and only if the angle
sums of each 4ACD and 4BCD are equal to 180◦ .
Theorem 151. If a triangle exists whose angle sum is 180◦ , then a rectangle
exists. If a rectangle exists, then every triangle has angle sum 180◦ .
Let 4ABC be the given triangle with zero defect. If 4ABC is a right
triangle, we are done. So, assume that 4ABC is not a right triangle. By
the second Lemma, at least two angles of this triangle, say, angles ]A
and ]B, must be acute (why?). Let CD be the altitude from vertex C
(Theorem 33 and 34). The foot D of this altitude is between vertices A
and B. For, assume the contrary, that is, assume that, say, vertex A lies
between D and B. Then, in triangle 4CDA, the measure of the exterior
angle ]CAB would be less than the measure (90◦ ) of the remote interior
angle ]CDA, contradicting the Exterior Angle Theorem (Theorem 39).
In a similar fashion, one excludes the possibility that B lies between A
and D. Hence, D lies between vertices A and B. It follows then from
the Corollary to Theorem 147 that each of the right triangles 4ADC and
4ADB has zero defect.
Step 2. From a right triangle with zero defect we construct a rectangle as
follows:
Let 4CDB be a right triangle with zero defect and right angle at vertex
D. By Axiom 11 (Angle Construction Axiom), there exists a unique ray
−−→ ←→
CX on the opposite side of line CB from vertex D such that m ]DBC =
m ]BCX, and by the Point Plotting Theorem (Theorem 3), there exists
−−→
a unique point E on ray CX such that CE = BD. Then, 4CDB ∼ =
4BEC (S.A.S.) and hence, 4BCE is also a right triangle with zero defect
and right angle at vertex E. Furthermore, by hypothesis, m ]DBC +
m ]DCB = 90◦ so that, by substitution: m ]ECB + m ]BCD = 90◦
and m ]DBC + m ]EBC = 90◦ . Then, the Alternate Interior Angle
←→ ←→
Theorem (Theorem 62) implies that lines CE and DB are parallel and so
←→ ←→
are lines CD and BE. Therefore, points D and B are on the same side of
←→
line CE so that point B is in the interior of angle ]ECD, and similarly,
point C is in the interior of angle ]DBE. Hence, by Axiom 12 (Angle
Addition Axiom), we conclude that m ]ECD = m ]EBD = 90◦ and the
quadrilateral CDBE is a rectangle.
Step 3. From one rectangle we construct arbitrarily large rectangles:
13.1. ON NEUTRAL GEOMETRY III 255
Step 4. If one rectangle exists, then there exists a rectangle with two adjacent
sides congruent to pre-assigned segments XY and ZW :
and if m ]P Q0 R0 < 90◦ , then m ]QQ0 R0 > 90◦ and the angle sum of
quadrilateral QQ0 R0 R would exceed 360◦ which is again impossible. Thus,
m ]P Q0 R0 = 90◦ and P Q0 R0 S is indeed a rectangle. In the same way,
−→
there is a point S 0 on ray P S such that S 0 is between P and S and
P S = ZW . Drop the perpendicular from S 0 onto line Q0 R0 with foot R00 .
0
Then the preceding argument can be used to show that the quadrilateral
P Q0 R00 S 0 is the rectangle desired.
Step 5. We now prove that if a rectangle exists, then all right triangles have
zero defect:
Thus, if one triangle exists with angle sum 180◦ , then every triangle has
angle sum 180◦ . We may also prove the following corollary:
Corollary. If one triangle has an angle sum which is less than 180◦ , then the
angle sum of every triangle is less than 180◦ .
Proof. Suppose the angle sum of triangle 4ABC is less than 180◦ , and let
4P QR be an arbitrary triangle. By the Saccheri-Legendre Theorem, the angle
sum of 4P QR cannot exceed 180◦ . If the angle sum of triangle 4P QR equals
180◦ , then by Theorem 151, the angle sum of triangle 4ABC must also equal
180◦ , in contradiction with our hypothesis. Therefore, the angle sum of triangle
of 4P QR must be less than 180◦ , which was to be proved.
13.1. ON NEUTRAL GEOMETRY III 257
Proof. Let JOEL be a Saccheri quadrilateral with base LE. Draw JE and
LO. Then, 4LJE ∼ = 4LOE (S.A.S.). Hence, JE = LO and 4JLO ∼= 4JOE
(S.S.S.). Therefore, ]LJO ∼
= ]JOE as corresponding parts.
Theorem 153. If the base angles of a quadrilateral are right angles and its legs
have unequal lengths, then the measures of the summit angles of the quadrilat-
eral are unequal and the larger angle is opposite the longer side.
258 CHAPTER 13. INTRODUCTION TO NON-EUCLIDEAN GEOMETRY
Theorem 154. If the base angles of a quadrilateral are right angles and the
measures of its summit angles are unequal, then the legs of the quadrilateral
have unequal lengths and the longer leg is opposite the larger angle.
Proof. By H-Axiom 1, there exist a line l and a point P not on l such that (at
least) two parallels m and n to l pass through P . Lines m and n separate the
plane into four disjoint regions, namely the interiors of angles ]AP B, ]AP B 0 ,
]BP A0 , and ]A0 P B 0 , where P is between point A and A0 on m and between
points B and B 0 on n. Let Q be any point on l. Since l does not intersect m
and n, Q cannot be incident with m or n. Thus Q is in the interior of one of the
−−→
four angles cited, say, angle ]BP A0 . Since l does not intersect the legs P B and
−−→0
P A of this angle and one of its points is in the interior of the angle, it follows
that l is entirely contained in the interior of angle ]BP A0 .
H-Corollary. If H-Axiom 1 applies to line l and point P , then there are in-
finitely many lines parallel to l through P .
Proof. Using the diagram of H-Theorem 1, let R be any point in the interior
←→
of angle ]AP B. Then, line P R (excluding point P ) is wholly contained in the
interiors of angles ]AP B and ]A0 P B 0 and cannot intersect l which is entirely
contained in the interior of angle ]A0 P B. Since P is not incident with l by
260 CHAPTER 13. INTRODUCTION TO NON-EUCLIDEAN GEOMETRY
←→
hypothesis, it follows that line P R is parallel to l. Since point R was arbitrary,
the H-Corollary is proved.
Lemma. Let l be a line and P a point not incident with l and Q a point on l.
←→
Then, on each side of line P Q and for any positive real number , there exists
a point R on l such that m ]P RQ < .
Proof. Let > 0 be any positive real number, no matter how small. Choose
←→
one side, say, the right-hand side of line P Q and let R1 be a point on l on
←→
the chosen side of P Q such that QR1 = P Q (Point Plotting Theorem). Then
triangle 4P QR1 is isosceles and m ]QP R1 = m ]QR1 P = b1 . Then, in tri-
angle 4P QR1 , by the Corollary to the Saccheri-Legendre Theorem, we have:
m ]QP R1 + m ]QR1 P = 2b1 ≤ m ]P QS. Thus, b1 ≤ 21 m ]P QS. Next,
construct the isosceles triangle 4P R1 R2 with R1 R2 = P R1 by the same pro-
cedure as for 4P QR1 , and conclude similarly that if b2 = m ]R1 P R2 =
m ]P R2 R1 = m ]P R2 Q, then b2 ≤ 21 b1 ≤ 14 m ]P QS. By repeating this
←→
process n times, we obtain a point Rn on l on the chosen side of line P Q such
that bn = m ]P Rn Q ≤ 21n m ]P QS. We may now choose n so large that
1
2n m ]P QS < , and the proof of the Lemma is complete.
H-Theorem 2. There exists a triangle whose angle sum is less than 180◦ .
13.2. THE HYPERBOLIC AXIOM 261
Proof. By H-Theorem 2, there exists a triangle with angle sum less than 180◦ .
By the Corollary to Theorem 151, it then follows that the angle sum of every
triangle is less than 180◦ .
In contrast with Euclidean Geometry, it can be shown2 with the help of some
elementary tools from Calculus, that there exists an “H-triangle” whose angle
sum is any number between 0◦ and 180◦ .
H-Corollary. The angle sum of every (convex) quadrilateral is less than 360◦ .
function.
262 CHAPTER 13. INTRODUCTION TO NON-EUCLIDEAN GEOMETRY
The proofs of these two H-corollaries are straightforward and left as exercises.
Using H-Theorem 2, we can “universalize” H-Axiom 1. The Parallel Axiom
of Euclidean Geometry (Axiom 15) asserts that for every line and every point
not on that line, the uniqueness of parallel lines holds. Its logical negation,
the H-Axiom 1, states that for some line and some point not on that line,
uniqueness of parallels fails to hold. Thus, it is legitimate to ask whether the
H-Axiom holds for some line(s) and some point(s) not on those lines but fails for
other lines and other points not incident with those lines. In the next theorem,
we show that this definitely embarrassing circumstance cannot occur. In fact,
Hyperbolic Geometry acquires a logically consistent and non-trivial structure
on the same footing as Euclidean Geometry through the following theorem:
Proof. Let l be any line and P any point not on l. Construct the by-now
familiar line m parallel to l through P as the perpendicular through P to the
←→
perpendicular line P Q from P to l. Let R be any other point of l different
from Q. Erect the perpendicular t to l through R (Theorem 31) and drop the
←→
perpendicular P S from P to t (Theorem 33 and 34). Now, line P S is parallel
←→ ←→
to l since both l and P S are perpendicular to t. We claim that m and P S are
distinct lines. Assume, on the contrary, that S lies on m. Then the quadrilateral
P QRS is a rectangle. But this contradicts the second corollary to H-Theorem
3, and establishes the validity of H-Axiom 1 for the arbitrary line l and point P
not on l, provided that the hyperbolic parallel postulate holds for one particular
line and one particular point not on that line.
Proof. Assume on the contrary that there exist triangles 4ABC and 4A0 B 0 C 0
which are similar but not congruent: ]A ∼ = ]A0 , ]B ∼ = ]B 0 , ]C ∼ = ]C 0
0 0 0 0 0 0
but AB 6= A B , AC 6= A C and BC 6= B C . Now consider the triples
{AB, AC, BC} and {A0 B 0 , A0 C 0 , B 0 C 0 } of sides of these two triangles. One of
these two triples must contain two segments whose lengths are greater than
those of the two corresponding segments of the other triple. Without loss of
generality, we may assume that AB > A0 B 0 and AC > A0 C 0 . Then there exist
points B 00 on AB and C 00 on AC such that AB 00 = A0 B 0 and AC 00 = A0 C 0 .
Consequently, 4AB 00 C 00 ∼
= 4A0 B 0 C 0 , so that ]AB 00 C 00 ∼= ]B 0 ∼= ]B and also
00 00 ∼ 0 ∼ ←→
]AC B = ]C = ]C, by hypothesis. This implies that BC is parallel to
←− −→
B 00 C 00 by Theorem 64 (congruence of corresponding angles of two lines cut by
a transversal). Therefore, the quadrilateral BB 00 C 00 C is convex (why?) and
m ]B + m ]BB 00 C 00 = m ]C + m ]CC 00 B 00 = 180◦ . Consequently, the angle
sum of the quadrilateral BB 00 C 00 C equals 360◦ . This, however, contradicts the
already cited consequence of the Saccheri-Legendre Theorem and completes the
proof of the theorem.
The previous H-theorem implies that at most two points at a time on l can
be equidistant from l0 . It does not forbid the possibility that pairs of points
(A, B), (C, D), . . . exist on l such that each pair is equidistant from l0 . For
instance, the pairs of points (A, B) and (C, D) on l are equidistant from l0 but
AA0 is not congruent to CC 0 . It is important to realize that H-Theorem 6 allows
for another possibility, namely that there is no pair of points on l equidistant
from l0 .
13.2. THE HYPERBOLIC AXIOM 265
A diagram for this possibility might look as shown: the points on l are
at different distances from the parallel l0 , i.e. l “moves away” from l0 in one
direction and “approaches” l’ in the other direction without meeting it. These
preliminary considerations show that in Hyperbolic Geometry, different pairs of
parallel lines behave quite differently: given two hyperbolic parallel lines, either
there exist two points on one line equidistant from the other line, or no two
points on one line are equidistant from the other line. We now examine these
two cases in some detail.
H-Theorem 7. In Hyperbolic Geometry, consider a pair of points A and B
equidistant from line l0 and on the same side of l0 . If l is the line determined by
A and B, then l and l0 have a common perpendicular segment whose length is
the shortest distance between l and l0 .
Proof. The Alternate Interior Angle Theorem (Theorem 62) guarantees that l
and l0 are parallel. Now, if l and l0 had another common perpendicular seg-
ment N N 0 other than M M 0 , then quadrilateral M 0 N 0 N M would be a rectangle
which cannot exist in Hyperbolic Geometry. Next, let M be the midpoint of
segment AB on l. Drop the perpendiculars AA0 , BB 0 onto l0 . Then, 4AM 0 M ∼ =
4BM 0 M (S.A.S.), and hence, AM 0 ∼ = BM 0 and ]AM 0 M ∼ = ]BM 0 M . It fol-
lows that ]A0 M 0 A ∼ = ]B 0 M 0 B (Angle Addition Axiom) and, consequently,
0 0 ∼
4AA M = 4BB M 0 (A.A.S.). Therefore, AA0 ∼
0
= BB 0 as corresponding
parts.
−−→ −→
and P Q. Some of these rays, such as P R, will intersect l and others, such
−−→ −−→
as P Y will not. Then, P Y will be parallel to l and ]QP Y will be acute
←→
(why?). Let point R on l be on the same side of P Q as point Y and view
←→
P R as a “generic intersector” of l through P . Now let R recede endlessly on
l from Q. Then, ]QP R will increase endlessly while remaining acute, since
m ]QP R < m ]QP Y . The Completeness Axiom for the field of real numbers
(Rule R14 of Appendix III) then guarantees that m ]QP R will approach a
−−→
certain limiting value and, thus, determine a certain limiting ray, say P X that
−−→
does not intersect l in the following precise sense: any ray between P X and
−−→ −−→ −−→ −−→
P Q intersects l, whereas any other ray P Y such that P X is between P Y and
−−→ ←→ −−→
P Q does not intersect l, so that P Y is a parallel through P to l. The ray P X is
called a left limiting (or asymptotic) parallel ray to l through P . Similarly, there
exists a right limiting (or asymptotic) ray parallel to l through P on the opposite
←→
side of P Q. These heuristic considerations are made precise in the following H-
theorem whose proof requires a continuity argument using the aforementioned
Completeness Axiom—hence, some fundamentals of Calculus—and is omitted
for the sake of brevity3 :
H-Theorem 9. For every line l and every point P not on l, let Q be the foot of
−−→ −−→
the perpendicular from P onto l. Then, there are two unique rays P X and P X 0
←→
on opposite sides of P Q that do not meet l and have the property that a ray
−−→ −−→
emanating from P intersects l if and only if it is between P X and P X 0 . These
limiting rays are symmetrical with respect to P Q, that is ]QP X ∼ = ]QP X 0 .
Either of the congruent angles ]QP X and ]QP X 0 is called the angle of
parallelism at point P with respect to l. Clearly, this angle is always acute,
for if it were right, it would follow that there is a unique parallel through P
to l, thus contradicting the Universal Hyperbolic Theorem (H-Theorem 4). It
can be shown that as P varies, the measure of the angle of parallelism takes on
all possible values between 0◦ and 90◦ . The formula discovered independently
by Bolyai and Lobachevsky for the measure φ of the angle of parallelism at
a point P at distance d from a given line l is mentioned here for the sake
of completeness, but first we need another remarkable result from Hyperbolic
Geometry. It can be proved that the area of a H-triangle is proportional to
π 2
its defect, with proportionality constant ( 180◦ )k where k is a positive constant
which depends on the unit of area measure, i.e. on whichever H-triangle is
3 For a proof, consult, e.g., The Non-Euclidean Revolution, by Richard Trudeau, Birkhäuser
chosen to have area equal to one. This surprising result shows that in Hyperbolic
Geometry, there is an upper limit to the possible area a H-triangle can have, even
though there is no upper limit to the lengths of the triangle sides. In fact, since
the angle sum of triangle cannot be negative, it follows from H-Theorem 3 that
the defect of an H-triangle is a positive number that cannot exceed 180◦ . Thus,
the area of an H-triangle is at most equal to πk 2 . Now, the Bolyai-Lobachevsky
d
formula for the measure of the angle of parallelism reads: tan( φ2 ) = e− k where
π ◦
φ is measured in radians, i.e. φ = ( 180 ◦ )φ , k is the already mentioned constant
whose square relates the area of a hyperbolic triangle to its angle defect, and
e ≈ 2.718 . . . is the base of the natural logarithms.
To sum up, it can be proved that in Hyperbolic Geometry, there are exactly
two kinds of parallels to a given line through a point not incident with the given
line l. The first type consists of parallels m such that l and m have a common
perpendicular, and the parallel m diverges from l on both sides of this common
perpendicular. The second kind of parallels consist in lines m that approach l
asymptotically in one direction and diverge away from l in the opposite direction.
Such parallels have no common perpendicular. There are exactly two limiting
parallel rays to l through P and infinitely many lines through P that do not
enter the region between the limiting rays and l and are, hence, parallels of the
first kind to l. Each such line is divergently parallel to l and admits a unique
common perpendicular with l: for one of these lines the common perpendicular
will pass through P , but for all other lines, the common perpendicular will pass
through points other than P .
Exercises
Which of the following statements are correct?
1. The negation of Euclid’s Parallel Axiom states that for every line l and
every point P not on l there exist more than one line through P parallel
to l.
3. The Crossbar Theorem implies that a ray emanating from the vertex A of
triangle 4ABC and interior to ]A must intersect the opposite side BC
of the triangle.
10. In Hyperbolic Geometry, some triangles have angle sums less than 180◦
and some triangles have angle sums equal to 180◦ .
11. In Hyperbolic Geometry, if l and m are parallel lines, then there exist at
least three points on m that are equidistant from l.
12. In Hyperbolic Geometry, if m is any line parallel to line l, then there exist
two points on m that are equidistant from l.
13. In Hyperbolic Geometry, if P is a point not lying on line l, then there are
exactly two lines through P parallel to l.
14. In Hyperbolic Geometry, if P is a point not lying on line l, then there are
exactly two lines through P perpendicular to l.
18. In Hyperbolic Geometry, if line m does not contain a limiting parallel ray
to line l, and m and l have no common perpendicular, then m intersects
l.
19. In Hyperbolic Geometry, the summit angles of a Saccheri quadrilateral
are right angles.
20. Every valid theorem of Neutral Geometry is also valid in Hyperbolic Ge-
ometry.
21. In Hyperbolic Geometry, opposite sides of any parallelogram are congruent
to each other.
22. In Hyperbolic Geometry, there exists an angle and there exists a line that
lies entirely within the interior of that angle.
23. Prove that in Hyperbolic Geometry, the summit angles of Saccheri quadri-
lateral are acute.
Since the angle sum of any triangle does not exceed 180◦ , let 4ABC be
a triangle whose angle sum is greatest. If there are several such triangles,
choose one at random. Let this greatest angle sum be denoted σ. Thus,
the angle sum of any triangle will be less than or equal to σ. Now, using
the notation of the figure shown, we have: m ]1 + m ]2 + m ]6 ≤ σ and
m ]3 + m ]4 + m ]5 ≤ σ, so that m ]1 + m ]2 + m ]3 + m ]4 + m ]5 +
m ]6 ≤ 2σ. But by assumption, m ]1 + m ]2 + m ]3 + m ]4 = σ, and
moreover, m ]5 + m ]6 = 180◦ . Consequently, σ + 180◦ ≤ 2σ or σ ≥ 180◦ .
Since σ cannot be greater than 180◦ , it follows that σ = 180◦ .
Can you detect the flaw in this “proof”?
Chapter 14
On Regular Polyhedra
275
276 CHAPTER 14. ON REGULAR POLYHEDRA
stays flat. The next regular polygon is the square. Since the minimum number
of faces that can meet at a polyhedron vertex is three, then three congruent
square faces at each vertex yield a face angle sum of 270◦ which corresponds
to the cube. Adding a fourth square brings this angle sum to 360◦ and again
no polyhedron is obtained. With regular pentagons, the minimum number of
three faces meeting at each vertex yields a face angle sum of 324◦ (why?),
corresponding to the regular dodecahedron (twelve faces) and four pentagonal
faces would make the face angle sum at a vertex to exceed 360◦ . Finally, with
regular hexagons, the required minimum number of three faces meeting at each
vertex is already too many (why?). Hence, no regular polyhedron exists with
only regular hexagons for faces and, a fortiori, the same holds true when the faces
are congruent polygons with more than six sides. These heuristic considerations
show that the number of regular (convex) polyhedra in 3-space is limited to
apparently five, in sharp contradistinction to the plane where regular polygons
of an arbitrary number of sides exist.
The regular polyhedra were known as the five “Platonic” solids, and there
is a tradition which assigns their knowledge to the Pythagoreans (5th century
B.C.). The reference to Plato (427–347 B.C.) stems from the dialogue Timaeus,
where Plato incorporates his knowledge of the five regular polyhedra in his philo-
sophical system. It should be mentioned, however, that man-made dodecahedral
objects have been unearthed which date back to well before Pythagorean times.
In addition to the five Platonic solids, Archimedes (ca. 287–212 B.C.) is said to
have described in a manuscript that is now lost, what we today call the 13 semi-
regular or Archimedian solids. A semi-regular polyhedron is one all of whose
faces are regular (convex) polygons, though not necessarily of the same type,
which meet in the same order at all vertices of the polyhedron (i.e. the polyhe-
dron vertices are “alike”). By some miracle, Pappus (who flourished in the 4th
century A.D.) gave an account of the lost book of Archimedes and described
explicitly these 13 semi-regular solids in terms of their various polygonal faces
and the number of edges meeting at a vertex. We shall examine these solids
briefly later on. Polyhedra were well-known to Euclid, and in Book XIII of his
Elements, he shows how to construct the five Platonic solids and even claims
that there are no others.
The study of polyhedra went into sleep for some 15 centuries until the Renais-
sance when the renewed interest in Plato resuscitated them: Albrecht Duerer,
Leonardo da Vinci, Simon Stevin, Luca Pacioli, and many other artists, archi-
tects, or scholars discovered and rediscovered the regular and semi-regular solids,
as well as other polyhedral forms. Johannes Kepler (1571–1630) was the first
to prove in his Harmonices Mundi that the species of semi-regular polyhedra
consists of the 13 Archimedian solids plus the two infinite families of so-called
semi-regular prisms and anti-prisms: in a semi-regular prism, the bases
are regular n-gons and the lateral faces are squares, whereas in a semi-regular
anti-prism, the bases are regular n-gons while the lateral faces are 2n equilat-
eral triangles. Since there are infinitely many regular n-gons, these two families
contain an infinite number of members.
277
(i) Each edge of one face is an edge of exactly one other face
(ii) The family of polygons is connected, that is, for any two edges E and E 0
of P , there exists a chain E = E0 , F1 , E1 , F2 , E3 , . . . , Fn , En = E 0 of edges
Ej and faces Fj−1 of P in which each face Fj is incident with the edges
Ej−1 and Ej .
- Polyhedral surfaces where more than two faces meet at one edge. For
instance, two pyramids which share a common edge, as shown: edge SC
is common to the triangular faces 4SAC, 4SF C, 4SBC and 4SCE.
278 CHAPTER 14. ON REGULAR POLYHEDRA
- Polyhedral surfaces which are not connected, in the sense that they contain
faces which meet at one vertex and have no edge in common. In the
example shown, one cannot move from a point on, say, face 4SAB to a
point on, say face 4SEF without passing through the common vertex at
S.
This further restriction eliminates all polyhedral surfaces which contain “cav-
ities” or “tunnels.” A cube containing another cube entirely in its interior, or a
“picture frame”, is an example of this category of unwanted polyhedral surfaces.
It should be noted that a convex polyhedron can be deformed continuously, i.e.
without tearing or puncturing, into the surface of a sphere, whereas a toroidal
polyhedron, like the “picture frame” or a “cavernous” polyhedron cannot.
Definition 84. A regular polyhedron has faces which are regular congruent
polygons and vertices where the same number of faces (or edges) meet.
number V of vertices of any polyhedron less the number E of its edges plus the
number F of its faces equals two: V − E + F = 2. This is the famous polyhedral
formula which carries Euler’s name although its discoverer could not prove it.
The first proof of this formula is due to the French mathematician Adrien-Marie
Legendre (1752–1833) whom we have already met in collaboration with Saccheri
(Theorem 146), and a better known proof thereof, using graph-theoretical ideas,
belongs to another French mathematician, Augustin-Louis Cauchy (1789–1857).
Since then, many mathematicians have contributed to the theory of polyhedra.
One generalization led to the theory of polytopes which are the analogues of
3-dimensional polyhedra in higher dimensions, and the French mathematician
Henri Poincare (1854–1912) extended Euler’s formula to n-dimensional (Eu-
clidean) convex polytopes: instead of points, edges, and faces, one defines el-
ements with zero dimension, one dimension, two dimensions, and so on up to
(n − 1)-dimensional elements. Denoting the numbers of such elements for a
convex n-dimensional (Euclidean) polytope by N0 , N1 , N2 , . . . , Nn−1 , Poincare
proved the formula: N0 − N1 + N2 − N3 + . . . + (−1)n−1 Nn−1 = 1 − (−1)n
which reduces to Euler’s formula for n = 3. For n = 2, a convex 2-dimensional
polytope is just a convex polygon the number N1 of whose sides is equal to the
number N0 of vertices, hence N0 − N1 = 0 as predicted by the formula, and for
n = 1, one obtains a segment for which N0 = 2 (two endpoints) and N1 = 1
with N0 − N1 = 1.
It turns out that in (Euclidean) spaces of five or more dimensions, there are
only three types of regular convex polytopes, namely the higher-dimensional
analogues of the tetrahedron, the cube, and the octahedron. But in (Euclidean)
four-dimensional space, there are six kinds of regular convex polytopes:
These six polytopes are difficult to visualize in 3-dimensional space, but com-
puter graphics can provide a great deal of information about their appearance.
We proceed next with the proof of Euler’s formula V − E + F = 2 for
convex (Euclidean) 3-dimensional polyhedra. We shall use some tools from
graph theory, and begin with the following definition:
280 CHAPTER 14. ON REGULAR POLYHEDRA
4. The only points which can be common to two line segments are nodes.
6. The regions are exactly the parts into which the line segments divide the
surface.
In the example shown, the points A, A1 , A2 , . . . , A9 are the nodes of the net-
work, the lines a1 , a2 , . . . , a14 are its line segments, and the regions Q1 , Q2 , . . . , Q6
are its regions. Note that in this example, we have not restricted the line seg-
ments of a network to be “straight” line segments. Also, the surface carrying
a network may equally be “flat”, i.e. a Euclidean plane, or “curved” (without
holes and cusps), such as the surface of a sphere.
A polyhedron provides a natural example of a network: its vertices are
the nodes, its edges are the line segments, and its faces are the regions of the
network. A closed n-gon is another example of a network consisting in n nodes
(the vertices of the n-gon), n line segments (the sides of the n-gon), and two
regions, namely the interior and the exterior of the closed n-gon.
In the examples above, all networks are connected, and in the first example,
node A is 4 steps away from node A9 .
We shall prove Euler’s formula for networks on convex surfaces and then
apply it to the classification of regular convex polyhedra.
Let n denote the number of nodes of a network, s the number of its line
segment, and r the number of its regions. For the network of the first example
above, n = 10, r = 6, and s = 14, so that, indeed, 10 − 14 + 6 = 2. For the
polygonal network provided by a convex k-gon: n = s = k and r = 2, and again,
k + 2 − k = 2. In particular, for a prime network: n = 1, s = 0 and r = 1 so
that the formula n − s + r = 2 is equally valid.
Definition 88. For any network with n nodes, s line segments, and r regions,
the number n − s + r is called the Euler characteristic of the network.
Lemma. Augmentations of the first or second kind do not alter the Euler
characteristic of a connected network on a convex surface.
282 CHAPTER 14. ON REGULAR POLYHEDRA
Next, we prove:
Lemma. Any connected network on a convex surface arises from a prime net-
work by means of successive augmentations of the first and/or second kind.
Proof. Let K be some connected network on a convex surface and let A be one
of its nodes. Denote by K0 the prime network formed by A. Consider all line
segments of the network K emanating from A, i.e. the line segments a1 , a2 , a3 ,
a4 . We obtain a1 , a2 , a3 from K0 through successive augmentations of the first
kind and a4 through an augmentation of the second kind. One obtains a new
network K1 with nodes A, A1 , A2 , A3 and line segments a1 , a2 , a3 , a4 , and the
nodes of K1 other than A are each one step away from A. Next, we carry out
another sequence of augmentations of the first and second kind by adding to K1
those line segments of the network K for which one or both endpoints are nodes
of K1 but which themselves do not belong to K1 : a new connected network K2
is obtained from K1 containing the new lines a5 , a6 , a7 , a8 and the nodes of
K2 which do not belong to K1 are those nodes of the original network K which
are two steps away from A. Through a third sequence of augmentations of both
kinds, we add to K2 those line segments of the network K which do not belong
to K2 but have one or both endpoints belonging to K2 (line segments a9 , a10 ,
a11 ) and obtain the connected network K3 , and the nodes of K3 , which were
not already contained in K2 , are three steps away from A. Thus, by means
of successive augmentations of the first and second kind, one generates a chain
of connected networks K4 , K5 , . . . which contain all nodes of the network K
which are 4, 5, . . . steps away from the initial node A. Now, if K contains s line
segments, then all nodes of K are at most (i.e. within) s steps away from A.
Hence, by repeating the above procedure at most s + 1 times, one obtains the
entire network K, and the lemma is proved.
Euler’s formula for the natural network of a convex polyhedron is a special
case of the following theorem:
Theorem 155. The Euler characteristic of any connected network on a convex
surface is 2.
Proof. The Euler characteristic of a prime network is 2. The second Lemma
guarantees that any connected network K on a convex surface can be obtained
from a prime network by a finite number of successive augmentations of the first
283
and second kind, none of which alters the Euler characteristic of the preceding
connected network. Therefore, the Euler characteristic of the final network is
also equal to 2, which was to be proved.
It should be stressed that the requirement of convexity is essential for the
proof of Euler’s formula for connected networks: this proof relies on the two
Lemmas which are valid for connected networks on convex surfaces only.
We now apply Theorem 155 to the identification of all possible regular convex
polyhedra in 3-space.
We have already seen that the “natural” network of vertices, edges, and faces
of a convex polyhedron constitutes a connected network on a convex surface.
Thus Euler’s formula is valid for this particular network and n − s + r = 2 is
true provided that we identify n with the number of vertices of the polyhedron,
s with the number of its edges, and r with the number of its faces. Since we are
restricting ourselves to regular polyhedra, every face of such a polyhedron has
the same number, say p, of edges and every vertex has the same number, say
q, of edges emanating from it. We note in passing that every convex uniform
polyhedron is characterized by its so-called Schlaefli symbol {p, q}. If a uniform
polyhedron is regular, then every edge has the same length.
The equation n − s + r = 2 is a typical Diophantine (after the Greek math-
ematician Diophantus of Alexandria who flourished around 250 AD) equation,
whose solutions are only natural numbers.
Since every edge has two vertices, then nq = 2s. Since every edge is common
to exactly two faces, then rp = 2s. Substitution into Euler’s formula yields
s[ p2 + 2q − 1] = 2 or equivalently, p2 + 2q − 1 = 2s . We must now determine all
natural numbers p, q, s which satisfy this equation.
Clearly, for a polyhedron in 3-space, p ≥ 3 and q ≥ 3 (why?). Next, observe
that p ≤ 5, for if p ≥ 6 while q ≥ 3, then p2 + 2q − 1 ≤ 13 + 23 − 1 = 0 which
contradicts the relation p2 + 2q − 1 = 2s . Hence, p can take on the values 3, 4 and
5 only. If p = 3, then it is easily seen that the requirement 2s > 0 leads to q < 6,
so that q too can only assume the values 3, 4 and 5. Similarly, one shows that if
p = 4 or p = 5, then q can only take on the value 3. p2 + 2q −1 ≤ 1/2+1/2−1 = 0.
It is also easily seen that for q = 4 or q = 5, one has p = 3.
There are therefore only five possible cases:
1. p = 3, q = 5. Then, 2s = 25 + 23 − 1 = 15
1
i.e. s = 30. Then, n = 2s 60
p = 5 =
12 and r = 2s 60
q = 3 = 20. This is the case of the icosahedron: twenty
congruent equilateral triangular faces.
2. p = 3, q = 4. Then, one calculates: s = 12, n = 6 and r = 8. This is the
case of the octahedron which has eight congruent equilateral triangular
faces.
3. p = 3, q = 3. Then s = 6, n = 4 and r = 4 which corresponds to the
tetrahedron with four congruent equilateral triangular faces.
4. p = 4, q = 3. This choice yields the cube with s = 12, n = 8, and r = 6.
284 CHAPTER 14. ON REGULAR POLYHEDRA
Exercises
1. The figure shown represents a 3-dimensional solid that has six equilateral
triangles for its face.
4. One way of constructing new polyhedra out of given ones consists in cut-
ting off corners as shown in the case of a cube.
(a) Does Euler’s formula apply to this “mutilated” cube? Justify your
answer.
(b) Suppose Euler’s formula applies to a given polyhedron before one
corner with n edges meeting at it is cut off. Show that Euler’s formula
also applies to the polyhedron thus obtained.
that the new faces are again regular polygons while the portions of the
former faces that are left also form new regular polygons.
For instance, the sequence of the polyhedra shown above begins with a
cube and ends with a regular octahedron while passing through a semi-
regular truncated octahedron with 14 faces, 6 of which are congruent
squares and 8 are congruent regular hexagons.
5. Another way of constructing new polyhedra is to “roof over” faces of a
given polyhedron, as shown for the “roofed over” cube where a pyramid
with square basis has been added to one of the cube faces.
(a) Show that Euler’s formula applies to this “roofed over” cube.
(b) Determine the f-vector of the polyhedron obtained by “roofing over”
one face of a polyhedron with f-vector (V, E, F ).
(c) What happens if two different faces of a polyhedron with f-vector
(V, E, F ) are “roofed over”?
Trigonometry
289
290 CHAPTER 15. TRIGONOMETRY
Definition 90. The cosine of the measure of angle ]C is the ratio ab of the
length of the triangle side adjacent to angle ]C to the length of the hypotenuse,
and is denoted cos C. Similarly, cos B is the ratio ac of the length of the triangle
side adjacent to angle ]B to the length of the hypotenuse.
Theorem 156. For any acute angle with measure α, sin2 α + cos2 α = 1, where
sin2 α and cos2 α stand for (sin a)2 and (cos a)2 , respectively.
Proof. Construct a right triangle 4ABC with right angle at vertex A and,
say, m ]B = α. Then, by definition, sin B = ab and cos B = ac . Hence,
2 2 2 2
(sin B)2 + (cos B)2 = ab 2 + ac 2 = b a+c
2 = 1 by virtue of the Pythagorean Theo-
rem. Similarly, (sin C)2 + (cos C)2 = 1.
Definition 91. The tangent of (the measure of) angle ]C is the ratio of the
length of the triangle side opposite angle ]C to the length of its adjacent triangle
side, and is denoted tan C. Thus, tan C = cb = (c/a) sin C
(b/a) = cos C . Similarly,
b sin B
tan B = c = cos B .
15.1. RIGHT TRIANGLE TRIGONOMETRY 291
The cotangent, secant, and cosecant of the acute angle ]B (or ]C) in the
right triangle 4ABC, are defined by cot B = tan1 B , sec B = cos1 B , and csc B =
1
sin B , respectively, with similar relations for angle ]C.
Clearly, all these trigonometric quantities are again unitless positive num-
bers. In particular, the tangent and cotangent of acute angles can take on any
positive value (in contradistinction with their sines and cosines which are al-
ways less than one), since in a right triangle, the legs of the right angle can have
any length independently from one another. On the other hand, the secant and
cosecant of an acute angle are always larger than one.
Theorem 157. For any acute angle with measure α: 1 + (tan α)2 = (sec α)2
and 1 + (cot α)2 = (csc α)2 .
2 2 2
sin α 2 sin α cos α+sin α
Proof. From Definition 91 : 1+(tan α)2 = 1+( cos α ) = 1+ cos2 α = cos2 α =
1
cos2 α by virtue of Theorem 156. The second identity is proved in an entirely
similar manner.
Note that we have again adhered to conventional notation and written tan2 α
or csc2 α in lieu of (tan α)2 or (csc α)2 .
In order to apply trigonometric techniques to the determination of angle
measures or lengths in triangles (that is, in order to “solve” triangles in common
parlance), one needs the values of the trigonometric quantities associated with
all acute angles according to Definitions 89, 90 and 91. Now, Theorem 156 and
Definition 91 show that the knowledge of one trigonometric quantity for a given
acute angle is sufficient for the determination of the values of all other quantities
pertaining to that same angle. For instance, if the measure of an acute angle is a
and,
√ say, cos α is known, then one can calculate sin α via Theorem 156: sin α =
1 − cos2 α where the positive square root is considered. Note that the quantity
1−cos2 α is always positive since cos α is always less than one for an acute angle.
sin α
It is then easy to calculate tan α as the ratio cos α , etc. Thus, for practical
calculations, it is necessary to know the value of one trigonometric quantity
for all acute angles. Before the widespread availability of hand-held scientific
calculators, the values of, say, the sine of acute angles were tabulated at small
intervals. Nowadays, the scientific calculator provides such values conveniently
and with a high degree of accuracy. It should be noted, however, that scientific
calculators use decimal degrees to denote fractional parts of degrees, whereas
historically, fractions of degrees were expressed in sexagesimal base as minutes
of arc and seconds of arc, using the prime and the double prime notation,
respectively. Thus, one minute of arc, i.e. 10 , equals 60 1
of one degree and one
00 1 1
second of arc, that is 1 , equals 60 of one minute of arc or 3600 of one degree.
For example, an acute angle with measure 37 degrees and 13 minutes and 54
seconds is written 37◦ 130 5400 . To convert this angle measure into the decimal
degree form used on a scientific calculator, consider that 130 = (13)( 60 1
) degree
◦ ◦
and 5400 = (54)( 3600 ) degree so that 37◦ 130 5400 = 37◦ + 60 + 3600 ≈ 37.23167◦ .
1 13 54
Solution. Drop the altitude AH from vertex A onto side BC to create two
right triangles 4ABH and 4ACH. Clearly, m ]C = 180◦ −(54◦ 400 +34◦ 230 1000 )
i.e. m ]C = 180◦ − (92◦ 630 1000 ) = 180◦ − (93◦ 30 1000 ) or m ]C = 86◦ 560 5000
(why?). Furthermore, m ]B = 34◦ 230 1000 ≈ 34.3861◦ and m ]C = 86◦ 560 5000 ≈
86.9472◦ . Then, in the right triangle 4ABH: sin B = AH c or AH = c sin B =
(8)(sin 34.3861◦ ) ≈ (8)(0.564767) ≈ 4.51813 i.e. AH ≈ 4.520 cm. And, in
the right triangle 4ACH: sin C = AH AH 4.520
b so that b = sin C or b ≈ sin 86.9472◦ ≈
4.520 BH
0.99858 ≈ 4.526 cm. Finally, cos B = c or BH = c cos B so that BH ≈
(8)(cos 34.3861◦ ) ≈ 6.602 cm and cos C = CH b or CH ≈ (4.526)(cos 86.9472 )
◦
Solution. Let SABC be a regular tetrahedron: its four faces are congruent
15.2. THE UNIT CIRCLE AND (PLANE) TRIGONOMETRIC FUNCTIONS293
equilateral triangles (see Chapter 14). Let s be the length of an edge of the
tetrahedron and SO the altitude from vertex S onto face 4ABC: O is the
centroid of the equilateral triangle 4ABC. The angle between an edge, say,
SC and face 4ABC is then the angle ]SCO (see Definition 56). Now, in the √
equilateral triangle 4ABC, the length of the median (and altitude) CM is s 2 3
√
(why?), so that CO = 23 CM and CO = s 3 3 . On the other hand, in the right
2 2
» √
triangle 4SOC, SO2 = SC 2 −OC 2 = s2 − s3 = 2s3 , so that SO = s 23 = s √23 .
SO
Hence, in the right triangle 4SOC, we can write either: tan ]SCO = OC i.e.
√ √ √ √ √
tan ]SOC = s√32 + s 33 = 2, or sin ]SCO = SO SC =
s√ 2
3
+s = √2 , or
3
√ √
cos ]SCO = OC s 3
SC = 3 + s = 3 .
3
the rays that determine the directed angle be non-collinear. Directed angles
that have the same initial leg and the same terminal leg are called coterminal
directed angles. When the initial leg of a directed angle is placed along the
positive x-axis and its vertex at the origin of a Cartesian coordinate system, the
directed angle is said to be in standard position. Henceforth, we shall consider
directed angles in standard position only, and drop the adjective “directed” for
the sake of brevity.
dian measure of an angle into degrees, one must multiply that radian measure
◦
by the factor 180
p degree. Needless to say, the radian measure of angle, being
15.2. THE UNIT CIRCLE AND (PLANE) TRIGONOMETRIC FUNCTIONS295
the ratio of two lengths, is also a unitless quantity. Henceforth, the measure of
angle α will be denoted α if measured in radians, and α◦ if measured in degrees.
Thus sin 1 is the sine of an angle with measure 1 radian whereas tan 47◦ is the
tangent of an angle whose measure is 47◦ . In general, when no scale of angle
measurement is specified, radian measure is implied.
Definition 92. Consider an angle with measure θ in standard position and let
u and v be the coordinates of the intersection of its terminal leg with the unit
sin θ u
circle. Then: sin θ = v and cos θ = u. Furthermore, tan θ = cos θ = v.
Thus, −1 ≤ sin θ ≤ 1, −1 ≤ cos θ ≤ 1, and the value of tan θ can be any real
number (why?).
This definition allows for a convenient pictorial depiction of trigonometric
quantities. To this end, we introduce the (unconventional) concept of “directed”
segments in standard position in analogy with directed angles in standard po-
sition according to the following (somewhat lengthy) definition:
With these conventions in mind, it is easily recognized that the sine and
cosine of an angle, as defined in Definition 92, can be pictured by the “directed”
segments P Q and OQ, respectively.
π p π
sin( ) = 1, cos( ) = 0, but tan( ) is undefined (why?);
2 2 2
3π 3π
sin( ) = −1, cos( ) = 0, but tan(3p/2) is undefined (why?);
2 2
To begin with, it is easily seen that as the measure θ of the central angle increases
from 0 to π2 , sin θ increases from 0 to 1, while cos θ decreases from 1 to 0, and
tan θ increases without bound from 0 to arbitrarily large positive values. As θ
continues to increase from π2 to π, sin θ decreases from 1 to 0, cos θ decreases
further from 0 to -1, and tan θ increases from arbitrarily small negative values
to 0. For θ between π and 3π 2 , sin θ decreases further from 0 to -1, cos θ increases
from -1 to 0, and tan θ continues to increase without bound from 0 to arbitrarily
large values. Finally, when θ takes on values from 3π 2 to 2π, sin θ increases
from -1 to 0, cos θ increases from 0 to 1, while tan θ increases from arbitrarily
small negative values to 0. The values of the sine, cosine, and tangent of some
important acute angles can be calculated readily using elementary Geometry:
In a 30◦ − 60◦ − 90◦ triangle, it is well-known that the shorter leg of the right
√
angle is half as long as the hypotenuse, and the longer leg of the right angle is 23
times as long as the hypotenuse. In this case,√either Definition 89 or 92 yields: √
sin 30◦
sin 30◦ = cos 60◦ = 12 and cos 30◦ = sin 60◦ = 23 , so that tan 30◦ = cos ◦ = 3
3
◦ sin 60◦
√ 30
and tan 60 = cos 60◦ = 3.
√
Similarly, the legs of an isosceles right triangle have each a length equal to 22
√
times the length of the hypotenuse, so that sin π4 = cos π4 = 22 and tan π4 = 1.
Next, the following fundamental identities can be readily established through
inspection of the unit circle representations of sine and cosine via “directed”
segments: for any angle with measure θ such that 0 ≤ θ ≤ π:
π π
sin( − θ) = cos θ, cos( − θ) = sin θ
2 2
π π
sin( + θ) = cos θ, cos( + θ) = − sin θ
2 2
For example, consider the acute angle θ and its supplementary obtuse an-
gle π − θ. Since 4OP 0 Q0 ∼ = 4OP Q (why?), the “values” of both “directed”
segments P 0 Q0 and P Q will be the same positive number equal to the com-
mon length of segments P 0 Q0 and P Q, and consequently, sin(π − θ) = sin θ.
Similarly, the “directed” segments OQ0 and OQ will have equal and opposite
“values,” thus leading to cos(π − θ) = − cos θ.
The verification of the other identities listed above can be carried out equally
easily by similar methods, and is left as exercises.
Finally, it should be borne in mind that there are always two distinct angles
with measures between 0 and 2π whose sine, or cosine, or tangent have the same
value. To illustrate this fact, suppose we want to determine the measure θ of
the angle(s) whose, say, tangent has the value 0.6 : tan θ = 0.6. The scientific
calculator’s short answer is tan−1 0.6 ≈ 30.96376◦ . The unit circle represen-
tation, however, shows that there are two angles having a tangent equal to
0.6: an acute angle with measure 30.96376◦ and and obtuse angle with measure
180◦ + 30.96376◦ = 210.96376◦ .
The same holds true when the sine or the cosine of an angle is specified.
The scientific calculator always supplies the smallest angle measure whose sine,
cosine or tangent has a prescribed value.
Proof. Let CH be the altitude from, say, vertex C onto side AB of the arbitrary
triangle 4ABC. Let CH = h. Then in triangle 4ACH: sin A = hb or h =
1 First proved in generality by the Persian mathematician al-Biruni (973–1048)
300 CHAPTER 15. TRIGONOMETRY
Theorem 159 (Law of Cosines). In any triangle 4ABC with sides of lengths
a, b, c, the following relations are valid: a2 = b2 + c2 − 2bc cos A, b2 = a2 + c2 −
2ac cos B, and c2 = a2 + b2 − 2ab cos C. 2
Proof. We prove only the first of the three relations stated in the theorem. Let
triangle 4ABC be given with an acute angle at, say, vertex A. If one of the
angles of the triangle is obtuse, then both other angles are necessarily acute,
and we can choose any one of them as being angle ]A. Let CH be the altitude
from vertex C onto side AB, as shown. Then, in triangle 4ACH: AH = b cos A
and CH 2 = b2 − AH 2 = b2 − b2 cos2 A. In the same fashion, in triangle 4CHB:
CH 2 = a2 −HB 2 = a2 −(c−AH)2 = a2 −c2 −b2 cos2 A+2bc cos A. Consequently,
b2 − b2 cos2 A = a2 − c2 − b2 cos2 A + 2bc cos A or a2 = b2 + c2 − 2bc cos A, which
was to be proved. The other two relations can be proved in exactly the same
manner.
Notice that if m ]A = 90◦ , then cos A = 0 and the Law of Cosines becomes
a = b2 + c2 which is the Pythagorean Theorem applied to a right triangle with
2
right angle at vertex A. Thus, the Pythagorean Theorem is a special case of the
more general Law of Cosines.
The Law of Sines can be used to prove the so-called important Addition
Formulae:
Theorem 160 (Addition Formula for Sines). For any pair of angles with mea-
sures α and β with 0 ≤ α ≤ π and 0 ≤ β ≤ π: sin(α + β) = sin α cos β +
cos α sin β.
2 First proved by al-Battani (ca. 858–929) who also produced tables of tangents at 1◦
intervals.
15.3. THE LAW OF SINES, THE LAW OF COSINES, AND ALL THAT301
Proof. First consider the case of two acute angles α and β, such that 0 ≤ α+β ≤
−−→
π. Construct angle ]X with measure α + β. On ray XW , choose point H such
that XH = 1 unit and construct the perpendicular at H to XW meeting the
legs of ]X at Z and Y , as shown. Then, m ]XZH = π2 − α and since XH = 1,
we have 1 = XH = ZX sin[ π2 − α] = ZX cos α. Thus, ZX = sec α. In the same
ZH
fashion, one shows Y X = sec β. On the other hand, tan α = XH = ZH and also
YH
tan β = XH = Y H. Now, the Law of Sines applied to triangle 4XY Z yields:
ZY XY ZH+HY sec β tan α+tan β
sin(α+β) = sin( π −a) , that is, sin(α+β) = cos α , or equivalently,
2 sin(α+β) =
1
cos α cos β .
Hence, we obtain: sin(α + β) = (tan α + tan β)(cos α cos β) which
gives sin(α + β) = sin α cos β + cos α sin β.
When the angle measures α and β are each obtuse, then the preceding
construction can still be carried out with XH 0 = 1 and leads to the triangle
4XY 0 Z 0 shown. Now, however, m ]XZ 0 H 0 = π2 − (π − α) = −( π2 − a), so
that XH 0 = 1 = XZ 0 sin[−( π2 ) − a)] = XZ 0 [− sin( π2 − a)] = −XZ 0 cos α and
XZ 0 = − sec α. Notice that since α > π2 , both cos α and sec α are negative,
and in the end, − sec α is in fact a positive number expressing the length XZ 0 .
Similarly: XY 0 = − sec β. On the other hand, in triangle 4XZ 0 H 0 : Z 0 H 0 =
sin(π−α)
XH 0 tan(π − α). But tan(π − α) = cos(π−α) = −sin α 0 0
cos α = − tan α, so that Z H =
π
− tan α. Again, tan α itself is negative because α > 2 , and consequently, − tan α
is a positive real number. In the same manner: Y 0 H 0 = − tan β. The application
of the Law of Sines to triangle 4XY 0 Z 0 then yields:
Z 0Y 0 XY 0 XY 0 − sec β
= π = =
sin[(2π) − (α + β)] sin[−( 2 − a)] − cos α − cos α
Moreover, Z 0 Y 0 = −(tan α + tan β) and sin[(2π) − (α + β)] = − sin(α + β).
302 CHAPTER 15. TRIGONOMETRY
Therefore, all negative signs cancel out and one obtains anew sin(α + β) =
sin α cos β + cos α sin β. Thus, the Addition Formula for Sines is proved for all
angles α and β with measures between 0 and π.
Corollary (Subtraction Formula for Sines). For any pair of angles with mea-
sures α and β with 0 ≤ α ≤ π and 0 ≤ β ≤ π: sin(α − β) = sin α cos β −
cos α sin β.
Proof. Apply the Addition Formula to the angles α and −β and use the iden-
tities sin(−β) = − sin βand cos(−β) = cos β.
Theorem 161 (Addition Formula for Cosines). For any pair of angles with
measures α and β with 0 ≤ α ≤ π and 0 ≤ β ≤ π: cos(α + β) = cos αcosβ −
sin α sin β.
Proof. Use the Subtraction Formula for Sines applied to the angles with mea-
sures π2 − α and β: since cos(α + β) = sin[ π2 − (α + β)] = sin[( π2 − a) − b], we
can write: cos(α + β) = sin( π2 − a) cos(−β) − cos( π2 − a) sin(−β) = cos α cos β −
sin α sin β, because of the identities sin(−β) = − sin β and cos(−β) = cos β.
Corollary (Subtraction Formula for Cosines). For any pair of (acute) angles α
and β: cos(α − β) = cos α cos β + sin α sin β.
Proof. The proof is entirely similar to the proof of the preceding Corollary to
Theorem 157, and is left as an exercise.
Theorem 162 (Addition Formula for Tangents). For any pair of acute angles
tan α+tan β
α and β: tan(α ± β) = 1∓tan α tan β .
1
sin α cos β = [sin(α + β) + sin(α − β)]
2
and
α+β α−β
sin α + sin β = 2 sin( ) cos( )
2 2
α+β α−β
sin α − sin β = 2 cos( ) sin( )
2 2
α+β α−β
cos α + cos β = 2 cos( ) cos( )
2 2
α+β α−β
cos α − cos β = −2 sin( ) sin( )
2 2
The proofs of all these relations involve straightforward algebraic manipula-
tions of the Addition Formulae and are left as exercises.
304 CHAPTER 15. TRIGONOMETRY
Exercises
1. If the hypotenuse of a right triangle is 42 cm and the measure of one acute
angle is 37◦ 100 , what are the lengths of the other two sides of this triangle?
2. Determine the measures of the acute angles of a right triangle with sides
5 inches, 12 inches, and 13 inches.
3. A boy is flying a kite and has let out 300 ft of string. If the string makes
an angle of 35◦ with the ground, how high is the kite?
4. Calculate the area of a regular pentagon inscribed in a circle of radius 12
cms.
5. The longer base of a trapezoid is 21 mm long, and the other three sides
are each 12 mm long.
Determine the measures of the angles of this trapezoid.
6. In isosceles trapezoid ABCD, the longer base CD is three times longer
than the shorter base AB. Let DB be a diagonal and m ]CDB = 30◦ .
Determine the measure of angle ]CDA.
7. A square pyramid has base edges 8 cm long and lateral edges each 12 cm
long. Determine the angle between a lateral face and the base.
8. In the figure shown, the angles of elevation to the top of the lighthouse
from boat A and B are 10.2◦ and 11.3◦ , respectively. If the two boats are
exactly 15 meters apart, how tall is the lighthouse?
14. Find the values of the following trigonometric quantities without the help
of a calculator:
(a) sin( 7π
4 )
(b) cos(− 5π
6 )
(c) tan(−210◦ )
(d) tan 135◦
15. If cos A = 32 , determine the values of sin A and tan A without a calculator.
sin2 A
16. Prove that for any angle ]A: cos A + 1+cosA =1
18. Solve the following two equations and give their solutions in radians (no
calculator allowed!).
(a) tan2 x = 3
(b) 2 sin2 u + sin u = 1
20. Solve the following five equations and give their solutions in radians (no
calculator allowed!).
24. Prove the Product-to-Sum Formula: sin α + sin β = 2 sin( α+β α−β
2 ) cos( 2 )
Appendix A
Euclid’s Axioms of
Geometry
Definitions
1. A point is that which has no part.
4. A straight line is a line which lies evenly with the points on itself.
7. A plane surface is a surface which lies evenly with straight lines on itself.
9. And when the lines containing the angle are straight, the angle is called
rectilinear.
10. When a straight line set up on a straight line makes the adjacent angles
equal to one another, each of the equal angles is right, and the straight
line standing on the other is called a perpendicular to that on which it
stands.
307
308 APPENDIX A. EUCLID’S AXIOMS
15. A circle is a plane figure contained by one line such that all the straight
lines falling upon it from one point among those lying within the figure
are all equal to one another;
17. A diameter of the circle is any straight line drawn through the center and
terminated in both directions by the circumference of the circle, and such
a straight line also bisects the circle.
18. A semicircle is the figure contained by the diameter and the circumference
cut off by it. And the center of the semicircle is the same as that of the
circle.
19. Rectilinear figures are those which are contained by straight lines, trilateral
figures being those contained by three, quadrilateral those contained by
four, and multilateral those contained by more than four straight lines.
20. Of trilateral figures, an equilateral triangle is that which has its three sides
equal, an isoceles triangle that which has two of its sides alone equal, and
a scalene triangle that which has its three sides unequal.
23. Parallel straight lines are straight lines which, when being in the same
plane and being produced indefinitely in both directions, do not meet one
another in either direction.
Postulates
Let the following be postulated:
Common Notions
1. Things which are equal to the same thing are also equal to one another.
2. If equals be added to equals, the wholes are equal.
3. If equals be subtracted from equals, the remainders are equal.
4. Things which coincide with one another are equal to one another.
311
312 APPENDIX B. HILBERT’S AXIOMS
Incidence Axiom 2. For every line l there exist at least two distinct points
incident with l.
This axiom ensures that lines contain at least two points.
Incidence Axiom 3. There exist three distinct points with the property that
no line is incident with all three of them.
Incidence Axiom 3 asserts that there are at least three points.
Betweenness Axiom 1. If point B lies between points A and C, then A, B,
C are three distinct points lying on the same line and B is between A and C.
Betweenness Axiom 2. Given two distinct points B and D, there exist points
A, C, and E lying on the same line through B and D such that B lies between
A and D, C lies between B and D and D lies between B and E.
This Axiom ensures that the line incident with two points contains other
points and does not end at either of those two points.
(i) If A and B are on the same side of l and B and C are on the same side of
l, then A and C are on the same side of l.
(ii) If A and B are on opposite sides of l and B and C are on opposite sides
of l, then A and C are on the same side of l.
This is the Separation Axiom introduced in the main text as Axiom 9 and
guarantees that the geometry determined by these axioms is two-dimensional.
The next axiom group uses the primitive term “congruence”:
Congruence Axiom 1. If A and B are distinct points and if P is any point,
then for each ray emanating from P there is a unique point Q distinct from P
such that AB ∼= P Q.
This Axiom asserts that one can “move” segment AB to superimpose it on
segment P Q.
Congruence Axiom 2. If AB ∼ = CD and AB ∼ = EF , then CD ∼
= EF and
moreover every segment is congruent to itself.
This Axiom replaces two “Common Notions” of Euclid, namely that seg-
ments congruent to the same segment are congruent to each other and that
segments that coincide are congruent.
313
- The Circular Continuity Principle which asserts that if a circle has one
point inside and one point outside another circle, then the circles intersect
in two points.
Euclid’s Fifth Postulate asserts, in addition, that at least one line through
P is parallel to l. However, this “at least” statement can be proved from the
other axioms, therefore, Hilbert used the “at most” in his formulation of the
Parallel Axiom.
This completes our presentation of Hilbert’s axioms for plane Euclidean
Geometry.
Appendix C
The purpose of this Appendix is to provide the reader with the bare mini-
mal knowledge of the real numbers and their properties that is necessary for a
proper appreciation and application and application of the axioms underlying
our approach to Euclidean Geometry, as laid out in the main text. Thus, this
excursion into the realms of the algebra of real numbers must remain cursory,
with almost no proofs for assertions made and a few precise definitions. The
subject matter of this Appendix is alaborated in Algebra 2 and developed in
full rigor in Theoretical Calculus. We shall take for granted a sound knowledge
of the algebra of integers, that is the set of positive and negative whole numbers
and zero and of the operations of addition, subtraction, multiplication, and divi-
sion of these numbers, along with the properties pertaining to these operations
and the ordering of integers (inequalities).
A rational number is a quotient m n of two integers m and n where n is not
zero. Clearly, rational numbers can be positive, negative, or zero, e.g. 23 or
− 11
7 . Since there are infinitely many integers, there are infinitely many rational
numbers. This notion of “infinitude” should be accepted on an intuitive basis
and will not be explored here. Notice that integers are themselves rational
numbers with one for a denominator. Operations with rational numbers are
also assumed to be well-known: one may freely add, subtract, multiply and
divide two rational numbers—again, with the exception of division by zero—
and obtain new rational numbers. The natural ordering of integers induces, in
p
turn, an ordering of rational numbers: given two rational numbers m n and q ,
p p
the inequality m m
n > q means (in case of integers) that the difference n − q is a
positive rational number.
One important observation is the fact that there is always a rational number
p
between any two rational numbers, no matter how close: let m n and q be two
m p m p
positive rational numbers and suppose that n is less than q : n < q (which is
the same as pq > m n ). We construct the number
1 mp (mq + np)
[ ]=
2 nq 2nq
315
316 APPENDIX C. THE FIELD OF REAL NUMBERS
p
and claim that this is a rational number between m n and q . The rationality of
this number follows from the observation that the numbers mq and np are inte-
gers, and hence their sum is an integer, and that 2nq is another integer not equal
to zero, so that the ratio of mq + np and 2nq is indeed a rational number. Next,
p
consider the original inequality m n < q : cross-multiplication yields: mq < np.
Multiplying both sides by the positive number q gives: mq 2 < npq and adding
the integer npq to both sides of this inequality gives: mq 2 + npq < 2npq which
can be written as the cross-product of the inequality: (mq+np) 2nq < pq . But this
1 mp p
last inequality is exactly 2 [ n q ] < q which shows that our constructed num-
ber is indeed less than pq . The proof that our number satisfies the inequality
1 mp m
2 [ n q ] > n is similar, and we have constructed a rational number between
two given rational numbers. The case where the rational numbers considered
are both negative can be dealt with along the same lines. Finally, the rational
number zero is trivially between any negative and any positive rational number.
This construction of a rational number between two given arbitrarily close ra-
tional numbers shows that there are, in fact, infinitely many rational numbers
between any two given rational numbers: one can continue dividing each such
intermediary rational number by two ad infinitum and obtain an infinitude of
intermediary rational numbers.
There are, however, numbers that are not rational in the above sense. In
order to show the existence of such “irrational” numbers, let us recall the def-
inition of the square root of a positive rational number: √ if N is a positive
rational
√ number, then the square root of N , denoted N , is a number such
that ( N )2 = N , i.e. such that the square of that square root√is equal to the
original number. With this definition in mind, we prove that 2 cannot be a
rational number. The
√ proof reproduced below is credited to Euclid. One begins
by assuming that 2 is a rational number, that is that it can be expressed as
the quotient of two integers, and then, by showing that this assumption leads
to a contradiction, one concludes that the initial assumption is untenable. This
is the method of indirect proof or proof
√ by contradiction, also known as RAA
(see Chapter 1). Assume then that 2 = ab where a and b are integers. If a and
b have any common factors, they can be divided out so that the quotient ab is
reduced to its lowest term which we shall write as pq : p and q are again integers
which have no common factor (are relatively prime). Then we have ( pq )2 = 2.
If we square out the left-hand side and multiply out, we obtain: p2 = 2q 2 . The
right-hand side of this equation is an even number (because it contains the factor
2), therefore the left-hand side must also be an even number. But you cannot
get an even number by squaring an odd number (why?), therefore p itself must
be an even integer. It is hence possible to write p in the form p = 2r where r
is another integer. Substituting this value of p in the preceding equation yields
4r2 = 2q 2 or 2r2 = q 2 . Since the left-hand side is an even number, q 2 and thus
q itself must be an even number. But then both p and q will have the common
factor 2, which
√ contradicts our assumption that p and q have no common factor.
Therefore, 2 is not a rational number which was to be proved.
317
Thus, there is at least one irrational number. It does not take much reflection
to convinve oneself that there are, actually, many more: the product of any
rational number with this irrational number is itself irrational, and, in general,
the sum and product of two such irrational numbers are, in general, again
irrational and so on. It can also be proved that the square root of a positive
integer is either an integer or an irrational number. The cube root of, say,
100 and the well-known number π are other examples of irrational numbers.
In fact, the set of irrational numbers is infinite, and in a vague sense, there
are “more” irrational numbers than rational numbers. With a mathematically
precise definition of irrational numbers at hand, it can be proved that between
any two rational numbers, no matter how close, there is always an irrational
number, and, in turn, between any two irrational numbers, no matter how close,
there is always a rational number. One such abstract and rigorous definition of
an irrational number is sketched here—without much elaboration—for the sake
of its very close connection with one of Hilbert’s Axioms, namely Dedekind’s
Continuity Axiom1 :
We know that there are rational and irrational numbers, the latter being
temporarily defined negatively as non-rational numbers. Suppose the universe
of numbers is partitioned in two distinct classes L (for “low”) and H (for “high”)
by means of a cut, so that every rational number in L is less than every rational
number in H, and no number may belong to both L and H. Suppose further that
there is a unique number which can achieve this partition. If L has a largest
rational number or if H has a smallest rational number, the cut is that rational
number. If L has no largest rational number and H has no smallest rational
number, the cut is an irrational number. The set of all rational and irrational
numbers constitutes the set of real numbers. In view of the preceding remark
and definition of an irrational number, the set of real numbers constitutes a
continuum in which there is a real number as close as one wishes to any other
real number, either smaller or larger than it. In figurative language, the set
of real numbers contains no “holes” or “gaps” in the same way that points on
a line are “packed so tightly that there is no room between adjacent points”
(whatever this statement means!).
We now introduce the rules governing operations with real numbers. Real
numbers can be added, subtracted, multiplied, and divided—as usual with the
exception of division by 0—and the results are again real numbers. This is
usually stated as the closure of the set of real numbers under these operations.
Operations with real numbers are subject to the following rules (axioms):
R 1. Addition of real numbers is associative: if a, b, and c are real numbers,
then a + (b + c) = (a + b) + c.
R 2. There is a unique real number 0 (zero) such that for any real number a:
a + 0 = a.
R 3. For every real number a there is a real number −a such that a + (−a) =
(−a) + a = 0.
1 See Appendix B.
318 APPENDIX C. THE FIELD OF REAL NUMBERS
R 6. There is a unique number 1 (one) such that for any real number a: 1a =
a1 = a. Moreover, 1 6= 0.
R 7. For every non-zero real number a, there exists a real number a−1 (or 1
a)
such that aa−1 = a−1 a = 1.
R 9. For any real numbers a, b, and c, the distributive law holds: a(b + c) =
ab + ac.
Rules R1 through R9 define the field of real numbers equipped with the
operations of addition and multiplication. Notice that subtraction of two real
numbers a and b is actually defined through addition: a−b = a+(−b). Similarly,
division is defined through multiplication: the division of real number a by the
real number b 6= 0 is actually ab = ab−1 .
The field of real numbers is furthermore endowed with an order inherited
from the natural ordering of the integers (and, ipso facto, of rational numbers):
there is a relation, denoted by the symbol > (or, equivalently <), between pairs
of real numbers with the following rules (axioms):
R 10 (Law of Trichotomy). For every pair of real numbers a and b, exactly one
of the three relations is true: either a > b, or b > a, or a = b.
R 13. For any real numbers a and b, and for any real number c > 0, if a > b,
then ac > bc.
We conclude this Appendix with a brief review of the concept of the absolute
value of a real number:
Definition. For any real number a, the absolute value of a is denoted by |a|
and defined by: |a| = a if a > 0, |a| = −a if a < 0, and |a| = 0 if a = 0.
Clearly, the absolute value is a short hand notation for “converting a real
number into a positive real number with the same magnitude.” Thus, |2| = 2
and | − π| = π but |a + b| is generally NOT equal to |a| + |b|, as asserted by the
“Grand Daddy” of all inequalities, namely the important Triangle Inequality,
which we state without proof:
Theorem. For any real numbers a and b: |a+b| ≤ |a|+|b| with equality holding
when a and b are both positive or negative or when one of them is zero, and
with the strict inequality holding when a and b have opposite signs.
In practice, the absolute value of the difference of two real numbers is the
magnitude of their separation, i.e. their “distance”.
320 APPENDIX C. THE FIELD OF REAL NUMBERS
Appendix D
Before expounding the details of the proof of this theorem, let us state clearly
B0 C 0
that ratios segment lengths such as BCAB , A0 B 0 , etc., are no longer required to
be rational numbers, as is usually assumed in elementary proofs of the Basic
Similarity Theorem: these ratios can be rational as well as irrational numbers.
For the proof, we shall need an already mentioned result which follows from
the Completeness Axiom (see Appendix C) and will be stated as the first lemma
(without proof), and two simple lemmata:
Lemma. Between between any two real numbers, there is at least one rational
number.
321
322 APPENDIX D. THE BASIC SIMILARITY THEOREM
Lemma. Let two parallel lines L1 and L2 be cut by distinct transversals T and
T 0 at points A, B and A0 , B 0 , as shown. Let P be a point on T between A and
B and m be the parallel through P to L1 (and L2 ) intersecting T 0 at P 0 . Then
P 0 is between A0 and B 0 .
←−→
Proof. Points A and A0 are on the same side of m (since AA0 is parallel to
m) and similarly, points B and B 0 are on the same side of m. By hypothesis,
A and B are on opposite sides of m (since segment AB intersects m at P ).
Hence, A and B 0 are on opposite sides of m, as are A0 and B. By the Plane
Separation Axiom, A0 and B 0 must be on opposite sides of m. It follows that
←− →
A0 B 0 must intersect m in a unique point X which is exactly P 0 . Consequently,
P 0 is between A0 and B 0 .
Then x = y.
We may now proceed with the proof of the Basic Similarity Theorem.
323
0 0
Proof. For the sake of brevity, let BC B C
AB = x and A0 B 0 = y. Let p and q be two
positive integers. First divide segment AB into q congruent segments, end to
end, as shown. In other words, use the Point Plotting Theorem to select points
−−→
A0 = A, A1 , . . . , Aq = B in this order on ray AB such that the length of each
−−→
segment Ai Ai+1 is AB q . Next, lay off on ray BC a sequence of p segments,
each with the same length AB q . Let the end points of these segments be in
order B0 = B, B1 , . . . , Bp . Then, use the Parallel Axiom to draw lines parallel
to, say, L1 through points A1 , A2 , . . . , Aq , B1 , B2 , . . . , Bp . Let the intersections
of these parallel lines with the transversal T 0 be A01 , A02 , . . . , A0q , B10 , B20 , . . . , Bp0 .
BB
By construction, A1 Ai+1 = Bj Bj+1 so that ABp = pq . By Theorem 81, we also
B0 B0 p
have A0 BP0 = p/q. Now, suppose BC AB
AB = x > q . Then, p · q < BC. Therefore,
BBp < BC and BP lies between B and C, as shown, and by the second lemma,
0 0
Bp0 lies between B 0 and C 0 . Therefore, B 0 Bp0 < B 0 C 0 and hence, p · A qB < B 0 C 0
0 0p p
or B C BC
A0 B 0 > q (we have reversed the steps which led from q < AB for Bp lying
p p
between B and C). Consequently, if q < x, then q < y. In an exactly similar
fashion one shows that if pq < y, then pq <. It then follows from the third lemma
that x = y, which was to be proved.
324 APPENDIX D. THE BASIC SIMILARITY THEOREM
Appendix E
In Chapter 9 we stated and used the Two-Circle Theorem (Theorem 115) with-
out proof. In this Appendix, we provide a rigorous proof of this intuitively
“evident” theorem.
325
326 APPENDIX E. THE TWO-CIRCLE THEOREM
Proof. We may always arrange the given three positive numbers in decreasing
order, say, a ≥ b ≥ c. Let BC be a segment with length BC = a. We must
determine a point A such that AB = c and AC = b. Let us first try to figure out
the location of a point which fulfills our requirements. Thus, suppose 4ABC
is found with the prescribed side lengths, and let D be the foot of the altitude
from A. Then D is between B and C because we have assumed that BC is the
longest side of this triangle. Let BD = x so that CD = a − x, and let AD = y.
Then the Pythagorean Theorem yields: y 2 = c2 − x2 and also y 2 = b2 − (a − x)2 .
Therefore, we may write: c2 − x2 = b2 − (a − x)2 or a2 + c2 − b2 = 2ax. Hence,
2 2 2
x = a +c2a−b . Note that x > 0 because by assumption a ≥ b, i.e. a2 ≥ b2 and
p
c2 > 0. Consequently, y = (c2 − x2 ) which we know to exist by the Euclidean
Completeness Axiom (see Appendix III) since x < c (why?). Thus, if x and y
2 2 2
satisfy the relations y 2 = c2 − x2 and y 2 = b2 − (a − x)2 , then x = a +c2a−b and
p p
y = (c2 − x2 ). The converse of this statement is also true: if y = (c2 − x2 ),
2 2 2
then trivially y 2 = c2 − x2 , and if x = a +c2a−b , then 2ax = a2 + c2 − b2 or
equivalently 2ax − x2 = a2 + c2 − b2 − x2 or
c2 − x2 = b2 − a2 + 2ax − x2 = b2 − (a − x)2
so that y 2 = b2 − (a − x)2 . Now that we have acquired a better insight into what
sort of triangle we have to look for, let us start all over again. Three positive
numbers a, b, c with a ≥ b ≥ c are given and each of them is less than the sum
2 2 2
of the other two. Let x = a +c2a−b . Then again, x > 0. With this choice of x,
the number c − x is positive, i.e. c > x because:
a2 + c2 − b2
c−x=c−
2a
2ac − a2 − c2 + b2
=
2a
b2 − (a − c)2
=
2a
and since a < b + c, that is, a − c < b, it follows that b2 > (a − c)2 .
We can now construct the desired triangle:
327
With this Lemma at hand, the proof of the Two-Circle Theorem becomes
quite easy:
Proof. We are given circle C with center P and radius a and a second circle
C 0 with center M and radius b. The distance P M between the centers is c,
and each of the three positive numbers a, b, and c is less than the sum of the
other two. By virtue of the Lemma, there exists a triangle 4RST with RS = a,
ST = b, and RT = c. Let A be a point in the plane of circles C and C 0 on
←−→
one side of line P M such that ]AP M ∼ = ]R (Angle Construction Axiom) and
AP = a = RS (Point Plotting Theorem). Then, 4RST ∼ = 4P AM (S.A.S.),
so that AM = ST = b. Thus, A is on both circles C and C 0 . Now let B be a
←−→
point in the plane of the two circles on the opposite side of line P M from A,
such that ]BP M ∼ = ]R and BP = a = RS. Then 4RST ∼ = 4P BM (S.A.S)
and B is also on both circles. Consequently, circles C and C 0 intersect in at
least two points A and B on opposite sides of their center line. That these
two circles cannot intersect in more than two points has already been shown in
Chapter 9, but in light of the preceding argument, we may supply an alternative
328 APPENDIX E. THE TWO-CIRCLE THEOREM
proof thereof: the center line of two circles divides the plane of the circles into
two disjoint half-planes (Plane Separation Axiom). Hence, if there were a third
point X common C and C 0 , then X would have to lie in one of these two half-
−−→ −→ −−→ −−→
planes, and either rays P X and P A or rays P X and P B would be the same by
virtue of the Angle Contruction Axiom. Next, since P X = P A = P B (Point
Plotting Theorem), this implies that either points X and A or points X and B
must be the same, and there cannot be a third point on both circles C and C 0 .
This completes the proof of the Two-Circle Theorem.
Appendix F
329
330 APPENDIX F. ADDITIONAL EXERCISES
←→
9. P is a point on line AK. Segments AQ and KR are perpendicular to
AK and AQ = P K and AP = KR. Prove that triangle 4P QR is right
isoceles.
11. Triangle 4ABC is isoceles with AB = AC. M is the midpoint of side BC.
M X is the perpendicular from M onto AB, and M Y is the perpendicular
frm M onto AC. Prove that XY is parallel to BC.
12. Triangle 4XY Z is isoceles with XY = XZ. The altitude from X meets
side Y Z at A, and a line through A parallel to XY meets XZ at B. Prove
that B is the midpoint of side XZ.
13. ABCD is a quadrilateral with AD = BC, and the angles at the vertices
A and C are right angles. Prove that AD is parallel to BC and that AB
is parallel to DC.
14. In triangle 4ABC, the perpendicular bisector of side BC and the bisec-
tor of angle ]A meet at point P . M is the midpoint of BC. From P
←→ ←→
perpendicular lines are dropped onto lines AB and AC meeting them at
points Y and X, respectively, as shown.
Prove that CX = BY .
15. Perpendiculars are drawn from the vertices B and D of the parallelogram
ABCD to the diagonal AC, meeting it at E and F , respectively. Prove
that the quadrilateral BEDF is a parallelogram.
332 APPENDIX F. ADDITIONAL EXERCISES
(p) Through a given point not in a given plane, there is one and only one
plane parallel to the given plane.
(q) If two lines intersect and each one is parallel to a given plane, then
the plane determined by the two lines is parallel to the given plane.
(r) Two intersecting lines cannot both be perpendicular to a given plane.
(s) If a given line meets a plane Π at point P and makes congruent angles
with each of two lines contained in Π and passing through P , then
the given line is perpendicular to the plane Π.
(t) If a given line meets a plane Π and is not perpendicular to Π, there
is no line in Π which is perpendicular to the given line.
334 APPENDIX F. ADDITIONAL EXERCISES
12. Triangle 4ABC has a right angle at vertex C. The bisector of angle ]C
meets side AB at D, and DE is the perpendicular from D to side AC.
1 1 1
Prove that BC + AC = DE .
335
cos2 x
9. (1−sin x)2 = (sec x + tan x)2
cot x+csc y
10. tan x+tan x sec y = cot x cot y
1−csc u
11. sin u−1 = csc u
1. If the measures of angles B and A are 165◦ and 75◦ , respectively, calculate
the exact value of sin A + sin B and cos A − cos B.
4. A vertical tree stands on a slope that is inclined at 10◦ with the horizontal.
When the angle of elevation of the sun measures 25◦ , the shadow of the
tree down the slope is 40 meters long. How tall is this tree?
10. One side of a parallelogram has length 40 units. An adjacent side of length
22 units makes an angle of 46◦ with one of the diagonals. Find the length
of this diagonal.
b2 sin A sin C
11. Prove that the area of triangle 4ABC is given by 2 sin B .
14. From two points 6,000 meters apart in the plane of the base of a hill, the
angles of elevation of the summit measure 19◦ 100 and 20◦ 300 . If the points
are on opposite sides of the hill but in the same vertical plane with the
summit, what is the height of this hill?
338 APPENDIX F. ADDITIONAL EXERCISES
15. If the hypotenuse of a right triangle is 42 units and the measure of one
acute angle is 37◦ 100 , what are the lengths of the other two sides of this
triangle?
16. Determine the measures of the acute angles of a right triangle with sides
5 units, 12 units, and 13 units.
17. A boy is flying a kite and has let out 300 ft of string. If the string makes
an angle of 35◦ with the ground, how high is the kite?
18. A quadrilateral has sides a = 72 units, b = 58 units, c = 69 units, and
d = 82 units. Determine the lengths of the diagonals of this quadrilateral
if the measure of the angle between the sides with lengths a and b is 68◦ .
Determine the measure of the other angles of this quadrilateral.
1. tan2 x = 3
2. 2 sin2 u + sin u = 1
3. sin2 t + 2 sin t − 1 = 0
4. sin y + cos y = 0
5. 4 sin2 x tan x = tan x
6. sin x = sec x
7. 2 tan 3w = sec2 3w
Appendix G
A Potpourri of Nontrivial
Problems
3. Prove that the sum of the measures of the angles of a triangle is less than
270◦ . Assume that one of the angles of the triangle is obtuse.
4. In 4ABC, AC > AB. Prove that the length of any segment from vertex
A to a point D on side BC between vertices B and C is shorter than AC.
←→ ←→
5. Lines P R and QS are parallel. The bisectors of angles ]RP Q and ]P QS
meet at T . Prove that angle ]P T Q is a right angle.
339
340 APPENDIX G. A POTPOURRI OF NONTRIVIAL PROBLEMS
12. The equilateral triangles 4ABX and 4BCY are constructed on sides AB
and BC of triangle 4ABC, respectively. If AY meets CX at point P ,
prove that m ]AP X = 60◦ .
14. In triangle 4ABC, the measure of angle ]A is 60◦ and angle ]B is right.
The bisector of angle ]A meets side BC at X. The altitude from vertex
B meets side AC at Y and AX at E. Prove that XE = 2EY .
18. P and Q are the midpoints of the sides AB and BC, respectively, of the
parallelogram ABCD. P Q meets DB at point X. Prove that DB = 4XB.
19. Triangle 4ABC has a right angle at vertex C. M is the midpoint of side
AB. A line through C parallel to AB meets the line through A parallel
to M C at K. Prove that M K is the perpendicular bisector of AC.
20. The line drawn through vertex B of triangle 4ABC parallel to the bisector
of angle ]C meets AC extended at X. The line through vertex B parallel
to the bisector of angle ]A meets CA extended at Y . Prove that XY is
equal to the perimeter of 4ABC.
22. A regular tetrahedron is a solid whose faces are four congruent equilateral
triangles. Prove that the perpendiculars from the vertices to the opposite
faces of the tetrahedron are coplanar.
24. In triangle 4ABC, AB = AC, and P and Q are the midpoints of sides
AB and AC, respectively. BC is extended to point D such that CD = BC
and P D meets AC at R. Prove that QR = AC 6 .
26. The median P S of the trapezoid ABCD meets the diagonals of the trape-
zoid at Q and R. Prove that P Q = RS and that QR is equal to one-half
the difference of the lengths of the trapezoid bases AB and CD.
32. * Triangle 4ABC has a right angle at vertex A and AB > AC. Let
AH and AM be the altitude and the median, respectively, from A to the
hypotenuse BC. Prove that m ]M AH = m ]C − m ]B. Use this result
to show how to construct a right triangle 4ABC, given the length of its
hypotenuse BC and the difference of the measures of its two acute angles.
33. Triangle 4XY Z has a right angle at vertex Z. A is a point on side
XY and B is a point on side Y Z. Points M and N are the feet of the
perpendiculars from A and B to side XY , respectively.
Prove that AM · BN = XM · Y N .
34. D is a point on the base BC of triangle 4ABC. A line through B parallel
to DA meets CA extended at F , and a line through C parallel to DA meets
◦
BA extended at E. If BA 3
AE = 2 , AD = DC = 6 units, and m ]ACB = 60 ,
calculate the lengths BD, F A and EC.
35. P QRS is a parallelogram with P Q > P S. The bisector of angle ]P meets
QS at A and RS at B.
Prove that P S · P A = P Q · AB.
AP
36. P is a point on side AB of triangle 4ABC such that AB = 13 . Q is a
CQ 1
point on side BC such that CB = 3 . AQ and CP intersect at X. Prove
that AX 3
AQ = 5 .
343
41. * Triangle 4ABC has a right angle at vertex C. The bisector of angle ]C
meets side AB at D, and DE is the perpendicular from D to side AC.
1 1 1
Prove that BC + AC = DE .
43. Triangle 4ABC has a right angle at vertex B and AB > BC. Show how
to find a point P on side AB such that (AP )2 − (BP )2 = (BC)2
44. A cube has edges of length 8 units and stands with its face ABCD in a
horizontal plane. If M is the midpoint of an edge of the other horizontal
face of the cube, find the distance of M to side BD.
45. A triangular pyramid in which all the edges are congruent (and all faces
are congruent equilateral triangles) is called a regular tetrahedron. The
perpendicular from any vertex of the tetrahedron to the opposite face is
called an altitude of the tetrahedron.
49. Prove that the lines joining the midpoints of opposite sides of a convex
quadrilateral bisect each other.
51. The medians BE and CF of triangle 4ABC meet at point G and are
perpendicular to each other. Prove that AG = BG.
−−→ −−→
52. In the diagram shown, BN is perpendicular to both rays AX and BY .
−−→ ←→
Point Q is on ray BY and point P is chosen on line AQ between A and
Q such that P Q = 2AB.
Prove that m ]QBA = 3m ]QAX.
53. D, E, F are the midpoints of sides BC, CA, AB of triangle 4ABC, and
G is its centroid. EF meets AD at point M . What fraction of AD is
M G?
58. A, B, C are points on a circle such that AB = AC. P and Q are points
on arc AC
˜ such that CP = P Q, and the extensions of BP and AQ meet
at point R. Prove that AB = AR.
345
59. Two circles are externally tangent at A. A common external tangent meets
the circles at P and Q. Let QR be a diameter. Prove that the points P ,
A, and R are collinear.
62. The inscribed circle of triangle 4ABC is tangent to the sides AB, BC, AC
at points X, Y , Z, respectively. Another circle is tangent to AB extended
at U , to BC at V , and to AC extended at W . Prove: BV = CY .
63. In the diagram shown, A is a point on the tangent at T to the circle such
that T A = 15 units. The perpendicular at A to this tangent meets the
circle first at point B. If AB = 9 units, determine the radius of the circle.
←−−→
64. In the diagram shown, XP Y is a tangent to the left-hand circle, and
←−−−→ ←−−−→
P CDA and P EF B are straight lines such that AB is parallel to line
←−−→
XP Y .
Prove that CE and F D are parallel.
346 APPENDIX G. A POTPOURRI OF NONTRIVIAL PROBLEMS
65. Triangle 4ABC has a fixed side AB. If BC < AC, what is the locus of
vertex C?
66. Show how to find a point which is equidistant from two given parallel lines
←→ ←→ ←→
P Q and RS and lies on a given third line AB. Is it always possible to find
such a point?
67. A, B, C are fixed collinear points with B between A and C, and AB = 2
units. A point P is such that m ]P BC = 2m ]P AB. What is the locus
of P ?
68. AB is a fixed diameter of a circle with radius 3 units. C is an arbitrary
point on the circle. Find the locus of the point of the centroid of triangle
4ABC as C moves round the circle.
−−→ −−→
69. Rays OX and OY are perpendicular. A segment AB with length 6 units
−−→ −−→
has its endpoints A and B on rays OY and OX, respectively. Find the
−−→
locus of the midpoint of segment AB as its endpoints move on OX and
−−→
OY .
70. The fixed point O is at distance 3 units from the fixed plane Π. What is
the locus of all points which are at distance 4 units from O and at distance
1 unit from Π?
71. P is a fixed point in the exterior of a fixed sphere with center O. The
segment OP meets the circle at point A. If C is any point on the sphere
other than A, show that P A < P C.
72. Line l is parallel to plane Π and at distance 5 units from it. What is the
locus of all points which are at distance 6 units from l and at distance 1
units from Π?
73. A and B are fixed points in the fixed plane Π. Points C and D are any
points in Π such that ABCD is a parallelogram with BC = 21 AB. What
is the locus of the midpoint P of CD?
74. A and B are fixed points in the fixed plane Π, and l is any line in Π
containing point A. P is a point in Π such that l is the perpendicular
bisector of segment BP . What is the locus of P as l takes all possible
positions in Π?
75. In triangle 4ABC, AB > AC. Show that there is exactly one point in
the interior of angle ]A which is equidistant from vertices B and C and
←→ ←→
also from the lines AB and AC. Is it possible for this point to lie in the
interior of triangle 4ABC?
−−→ −→ −−→ −→
76. AB and AC are fixed rays. P and Q are arbitrary points on AB and AC,
respectively. The bisectors of the angles ]BP Q and ]CQP meet at R.
What is the locus of R as P and Q take all possible positions?
Appendix H
Mathematical Induction
347
348 APPENDIX H. MATHEMATICAL INDUCTION
natural number (induction step). From this pattern, one concludes that the
assertion is true for all natural numbers.
The idea of mathematical induction can be illustrated in many ways. For
instance, imagine a row of standing dominos, numbered consecutively starting
from 1, that extends, say, to the right with without end. Suppose the dominos
are closely arranged, so that if one of them, say the one labeled k, falls to the
right, it will knock over the next one, labeled k + 1. Then anyone can visualize
what would happen if domino 1 were toppled to the right. It is also clear that
if a farther domino, say the one numbered j, were knocked over to the right,
then all dominos to its right, labeled j + 1, j + 2, . . . would equally fall.
Let us apply this method to the proof of the assertion A2 (n): 12 + 22 + 32 +
3
. . . + n2 > n3 .
3
First, A2 (1) is evidently true, since 12 > 13 . Next, assume A2 (j) is true for
3
some natural number j > 1: 12 + 22 + 32 + . . . + j 2 = j3 (induction assumption).
Then, adding (j + 1)2 to both sides of the previous inequality yields:
j3
12 + 22 + 32 + . . . + j 2 + (j + 1)2 > + (j + 1)2
3
j3
= + j 2 + 2j + 1
3
1
= (j 3 + 3j 2 + 6j + 3)
3
But (j +1)3 = j 3 +3j 2 +3j +1 and clearly j 3 +3j 2 +6j +3 > j 3 +3j 2 +3j 2 +1,
so that we can write: 12 +22 +. . .+j 2 +(j +1)2 > 31 (j 3 +3j 2 +6j +3) > 31 (j +1)3 ,
implying that A2 (j + 1) is true (induction step). Hence, A2 (n) must be true for
all natural numbers.
We now prove by mathematical induction that the number Dn of distinct
diagonals of a convex n-gon is given by the formula: Dn = n(n−3) 2 , for n ≥ 3.
For n = 3 (a “convex” triangle), the formula yields D3 = 0 which is true
since a triangle has no diagonal. We can even verify that for n = 4 (convex
quadrilateral), the formula gives D4 = 2 which is the correct number of diagonals
of a convex quadrilateral. Assume next that the number of distinct diagonals of
a convex k-gon is Dk = n(n−3)2 (induction assumption). We then prove below
that under this assumption, the number of distinct diagonals of a convex
(k + 1)-gon is given by Dk+1 = (k+1)[(k+1)−3]
2 . To this end, consider a convex
k-gon, and pick an arbitrary point in the exterior of this convex k-gon. Note
that the Plane Separation Axiom and the definition of convexity determine
the interior and exterior of a convex polygon unambiguously. Label this point
as the (k + 1)st vertex of a convex (k + 1)-gon obtained by augmenting the
number of vertices of the original convex k-gon by one vertex. We now focus on
this (new) (k + 1)st vertex: connecting it to its two nearest neighboring (old)
vertices yields two sides of the (k + 1)-gon whereas connecting it to the other
remaining k − 2 (old) vertices creates (k − 2) new diagonals that did not exist
in the original k-gon. Furthermore, connecting those mentioned two nearest
349
neighboring (old) vertices together also creates a new diagonal for the (k + 1)-
gon. Thus, the correct number of new diagonals in the convex (k + 1)-gon is in
fact (k − 2) + 1 = k − 1, and the total number of diagonals of this (k + 1)-gon
becomes:
k(k − 3)
Dk+1 = Dk + k − 1 = +k−1
2
k 2 − 3k + 2k − 2 k2 − k − 2
= =
2 2
(k + 1)(k − 2)
=
2
Independence and minimality of axioms are emphasized to ensure that the system does not have redundant axioms, which could instead be derived as theorems, resulting in a more elegant and efficient framework. A minimal set of independent fundamental assumptions allows for clearer understanding and development of theories with less complexity and potential contradictions .
Diagrams hold significance in Euclidean geometry due to their role in illustrating and supporting geometric concepts. Despite the categorical nature of the axiomatic system in Euclidean geometry, where the system has essentially one model and is complete, diagrams help in visualizing and comprehending geometric principles . They provide a concrete representation of abstract concepts, aiding in mental visualization and understanding . While diagrams in rigorous proofs must not be the basis for logical arguments due to potential inaccuracies or reliance on particular instances , their intuitive appeal makes them an invaluable tool for pedagogy, allowing students and mathematicians alike to grasp complex relationships more easily . Thus, diagrams serve as a bridge between abstract axiomatic assertions and tangible geometric understanding.
The example of using terms like 'pflug' and 'lork' illustrates that axioms provide the necessary propositions or rules to define primitive terms, even if the terms themselves have no inherent or known meaning outside the axiomatic framework. The axioms entirely dictate how these primitive terms interact, emphasizing that the validity and operation of a formal system do not depend on external meanings but on internal consistency and relationship as prescribed by its axioms .
Completeness in axiomatic systems ensures that no additional independent and consistent axioms can be added without altering the system, thereby making every proposition either provable or disprovable. However, this property does not guarantee versatility or practical applicability across different contexts or fields. Completeness pertains to the internal logic and structure, not its adaptability or usefulness in modeling complex, real-world phenomena .
The notion of relative consistency between Euclidean and non-Euclidean geometry establishes Euclidean geometry's foundational role by demonstrating that the logical structure of Euclidean geometry provides a basis for the development of consistent alternative geometries. Non-Euclidean geometries, such as hyperbolic and elliptic, emerged from the recognition that Euclid’s Parallel Postulate could not be proven from the other axioms, indicating its independence . This led to the conception of new geometrical systems where the Parallel Postulate was replaced with alternative axioms, like in hyperbolic geometry, where it is replaced by its negation . Gauss, Bolyai, and Lobachevsky’s development of hyperbolic geometry showed that perfectly consistent geometrical systems different from Euclidean geometry could be created, thus initiating a new understanding of geometry as a logical discourse rather than a mere reflection of physical space . This suggests that Euclidean geometry serves as a foundational model from which consistent alternative geometries can be validated through their relative consistency to Euclidean principles . However, each geometry remains valid in its own right without necessarily describing the physical world, underscoring Euclid's geometry's critical role in the axiomatic approach to mathematics .
Perpendicular lines and planes are crucial concepts in understanding 3D geometry. A line is perpendicular to a plane if it intersects the plane at a point and all lines in the plane through this point are perpendicular to the line . If a line is perpendicular to a given plane, any plane containing this line is also perpendicular to the given plane . An important theorem states that through a given point not on a line, there exists a unique plane perpendicular to that line, establishing that perpendicular constructs are unique in 3D space . Additionally, two perpendicular lines to a given plane are coplanar in another plane, reinforcing their geometric relationships . These theorems and definitions form the foundation for analyzing spatial relationships and understanding the structuring of spatial environments in three-dimensional geometry.
The independence of Euclid's Fifth Postulate, or the Parallel Postulate, was crucial in the development of non-Euclidean geometry as it marked the realization that this postulate could not be derived from Euclid's other axioms, which are known collectively as Neutral Geometry . This independence sparked mathematicians' interest in exploring geometric systems where the Fifth Postulate does not hold, leading to the emergence of hyperbolic and elliptic geometries, where the logical structure remains consistent even when the Parallel Postulate is replaced or negated . The pursuit to prove the Fifth Postulate's independence not only led to the creation of non-Euclidean geometry but also necessitated a review of the foundations of mathematical systems and the formal structure of axiomatic systems in general, ushering in a new perspective on the role and nature of mathematics .
The concept of categoricity in an axiomatic system indicates that the system has essentially one model, and all other models are isomorphic to it, meaning they share the same structure. This quality ensures that the axioms describe only one mathematical structure up to isomorphism, which implies completeness. A categorical system is thus complete because any proposition expressible in the system is either provable or disprovable, as there cannot be an alternative non-isomorphic interpretation to suggest otherwise . In a categorical system, the completeness ensures that no new independent axioms can be added without introducing inconsistency, as all true statements within the system's language can already be deduced from the existing axioms .
An isomorphism between models directly impacts the categoricity and completeness of an axiomatic system. A formal axiomatic system is categorical if all models of it are isomorphic, meaning there exists a one-to-one correspondence between their elements such that propositions true in one model are also true in the others. This condition implies that a categorical system is complete because it cannot have additional independent axioms that remain within the original system without becoming redundant. Thus, when a system is categorical, indicating all models are isomorphic, it yields a single mathematical discourse, ensuring completeness . However, completeness is not necessary for practical applications, as incomplete systems like Group Theory can be quite applicable across diverse fields . In conclusion, isomorphism between models indicates that an axiomatic system is both categorical and complete because it implies there is essentially one unique model that every other model replicates as "avatars" ."}
The development of group theory illustrates the utility of incomplete axiomatic systems in various scientific fields by demonstrating how such systems can be adapted beyond their original scope. Group theory, while not a complete axiomatic system, has found applications across diverse areas such as algebra, crystallography, and particle physics, highlighting its adaptability in modeling different realms of scientific inquiry . Although the independence and completeness of an axiomatic system may improve its theoretical elegance, they are not strictly necessary for practical applications. This flexibility allows for broader applicability, as seen with group theory's extensive use in mathematics and science . According to formal axiomatic principles, a practical system does not need to be complete to be useful; rather, its definitions and postulates should be suitably modelled, allowing it to address complex phenomena across various disciplines ."}