Introduction To Euclid'S Geometry: Hapter
Introduction To Euclid'S Geometry: Hapter
Introduction To Euclid'S Geometry: Hapter
CHAPTER 5
5.1 Introduction
The word ‘geometry’ comes form the Greek words ‘geo’, meaning the ‘earth’,
and ‘metrein’, meaning ‘to measure’. Geometry appears to have originated from
the need for measuring land. This branch of mathematics was studied in various
forms in every ancient civilisation, be it in Egypt, Babylonia, China, India, Greece,
the Incas, etc. The people of these civilisations faced several practical problems
which required the development of geometry in various ways.
For example, whenever the river Nile
overflowed, it wiped out the boundaries between
the adjoining fields of different land owners. After
such flooding, these boundaries had to be
redrawn. For this purpose, the Egyptians
developed a number of geometric techniques and
rules for calculating simple areas and also for
doing simple constructions. The knowledge of
geometry was also used by them for computing
volumes of granaries, and for constructing canals
and pyramids. They also knew the correct formula
to find the volume of a truncated pyramid (see
Fig. 5.1).You know that a pyramid is a solid figure,
the base of which is a triangle, or square, or some
other polygon, and its side faces are triangles Fig. 5.1 : A Truncated Pyramid
converging to a point at the top.
INTRODUCTION TO EUCLID’S GEOMETRY 79
some geometric terms undefined. However, we do have a intuitive feeling for the
geometric concept of a point than what the ‘definition’ above gives us. So, we represent
a point as a dot, even though a dot has some dimension.
A similar problem arises in Definition 2 above, since it refers to breadth and length,
neither of which has been defined. Because of this, a few terms are kept undefined
while developing any course of study. So, in geometry, we take a point, a line and a
plane (in Euclid‘s words a plane surface) as undefined terms. The only thing is
that we can represent them intuitively, or explain them with the help of ‘physical
models’.
Starting with his definitions, Euclid assumed certain properties, which were not to
be proved. These assumptions are actually ‘obvious universal truths’. He divided them
into two types: axioms and postulates. He used the term ‘postulate’ for the assumptions
that were specific to geometry. Common notions (often called axioms), on the other
hand, were assumptions used throughout mathematics and not specifically linked to
geometry. For details about axioms and postulates, refer to Appendix 1. Some of
Euclid’s axioms, not in his order, are given below :
(1) Things which are equal to the same thing are equal to one another.
(2) If equals are added to equals, the wholes are equal.
(3) If equals are subtracted from equals, the remainders are equal.
(4) Things which coincide with one another are equal to one another.
(5) The whole is greater than the part.
(6) Things which are double of the same things are equal to one another.
(7) Things which are halves of the same things are equal to one another.
These ‘common notions’ refer to magnitudes of some kind. The first common
notion could be applied to plane figures. For example, if an area of a triangle equals the
area of a rectangle and the area of the rectangle equals that of a square, then the area
of the triangle also equals the area of the square.
Magnitudes of the same kind can be compared and added, but magnitudes of
different kinds cannot be compared. For example, a line cannot be added to a rectangle,
nor can an angle be compared to a pentagon.
The 4th axiom given above seems to say that if two things are identical (that is,
they are the same), then they are equal. In other words, everything equals itself. It is
the justification of the principle of superposition. Axiom (5) gives us the definition of
‘greater than’. For example, if a quantity B is a part of another quantity A, then A can
be written as the sum of B and some third quantity C. Symbolically, A > B means that
there is some C such that A = B + C.
82 MATHEMATICS
Fig. 5.4
Fig. 5.5
Postulate 3 : A circle can be drawn with any centre and any radius.
Postulate 4 : All right angles are equal to one another.
Postulate 5 : If a straight line falling on two straight lines makes the interior
angles on the same side of it taken together less than two right angles, then the
two straight lines, if produced indefinitely, meet on that side on which the sum of
angles is less than two right angles.
INTRODUCTION TO EUCLID’S GEOMETRY 83
Fig. 5.6
A brief look at the five postulates brings to your notice that Postulate 5 is far more
complex than any other postulate. On the other hand, Postulates 1 through 4 are so
simple and obvious that these are taken as ‘self-evident truths’. However, it is not
possible to prove them. So, these statements are accepted without any proof
(see Appendix 1). Because of its complexity, the fifth postulate will be given more
attention in the next section.
Now-a-days, ‘postulates’ and ‘axioms’ are terms that are used interchangeably
and in the same sense. ‘Postulate’ is actually a verb. When we say “let us postulate”,
we mean, “let us make some statement based on the observed phenomenon in the
Universe”. Its truth/validity is checked afterwards. If it is true, then it is accepted as a
‘Postulate’.
A system of axioms is called consistent (see Appendix 1), if it is impossible to
deduce from these axioms a statement that contradicts any axiom or previously proved
statement. So, when any system of axioms is given, it needs to be ensured that the
system is consistent.
After Euclid stated his postulates and axioms, he used them to prove other results.
Then using these results, he proved some more results by applying deductive reasoning.
The statements that were proved are called propositions or theorems. Euclid
deduced 465 propositions in a logical chain using his axioms, postulates, definitions and
theorems proved earlier in the chain. In the next few chapters on geometry, you will
be using these axioms to prove some theorems.
Now, let us see in the following examples how Euclid used his axioms and postulates
for proving some of the results:
Example 1 : If A, B and C are three points on a line, and B lies between A and C
(see Fig. 5.7), then prove that AB + BC = AC.
Fig. 5.7
84 MATHEMATICS
Fig. 5.8
Here, you need to do some construction. Using Euclid’s Postulate 3, you can draw a
circle with point A as the centre and AB as the radius [see Fig. 5.8(ii)]. Similarly, draw
another circle with point B as the centre and BA as the radius. The two circles meet at
a point, say C. Now, draw the line segments AC and BC to form ∆ ABC
[see Fig. 5.8 (iii)].
So, you have to prove that this triangle is equilateral, i.e., AB = AC = BC.
Now, AB = AC, since they are the radii of the same circle (1)
Similarly, AB = BC (Radii of the same circle) (2)
From these two facts, and Euclid’s axiom that things which are equal to the same thing
are equal to one another, you can conclude that AB = BC = AC.
So, ∆ ABC is an equilateral triangle.
Note that here Euclid has assumed, without mentioning anywhere, that the two circles
drawn with centres A and B will meet each other at a point.
Now we prove a theorem, which is frequently used in different results:
INTRODUCTION TO EUCLID’S GEOMETRY 85
Theorem 5.1 : Two distinct lines cannot have more than one point in common.
Proof : Here we are given two lines l and m. We need to prove that they have only one
point in common.
For the time being, let us suppose that the two lines intersect in two distinct points,
say P and Q. So, you have two lines passing through two distinct points P and Q. But
this assumption clashes with the axiom that only one line can pass through two distinct
points. So, the assumption that we started with, that two lines can pass through two
distinct points is wrong.
From this, what can we conclude? We are forced to conclude that two distinct
lines cannot have more than one point in common.
EXERCISE 5.1
1. Which of the following statements are true and which are false? Give reasons for your
answers.
(i) Only one line can pass through a single point.
(ii) There are an infinite number of lines which pass through two distinct points.
(iii) A terminated line can be produced indefinitely on both the sides.
(iv) If two circles are equal, then their radii are equal.
(v) In Fig. 5.9, if AB = PQ and PQ = XY, then AB = XY.
Fig. 5.9
2. Give a definition for each of the following terms. Are there other terms that need to be
defined first? What are they, and how might you define them?
(i) parallel lines (ii) perpendicular lines (iii) line segment
(iv) radius of a circle (v) square
3. Consider two ‘postulates’ given below:
(i) Given any two distinct points A and B, there exists a third point C which is in
between A and B.
(ii) There exist at least three points that are not on the same line.
Do these postulates contain any undefined terms? Are these postulates consistent?
Do they follow from Euclid’s postulates? Explain.
86 MATHEMATICS
4. If a point C lies between two points A and B such that AC = BC, then prove that
1
AC = AB. Explain by drawing the figure.
2
5. In Question 4, point C is called a mid-point of line segment AB. Prove that every line
segment has one and only one mid-point.
6. In Fig. 5.10, if AC = BD, then prove that AB = CD.
Fig. 5.10
7. Why is Axiom 5, in the list of Euclid’s axioms, considered a ‘universal truth’? (Note that
the question is not about the fifth postulate.)
Fig. 5.11
This result can also be stated in the following form:
Two distinct intersecting lines cannot be parallel to the same line.
INTRODUCTION TO EUCLID’S GEOMETRY 87
Euclid did not require his fifth postulate to prove his first
28 theorems. Many mathematicians, including him, were
convinced that the fifth postulate is actually a theorem that
can be proved using just the first four postulates and other
axioms. However, all attempts to prove the fifth postulate as a
theorem have failed. But these efforts have led to a great
achievement – the creation of several other geometries. These
geometries are quite different from Euclidean geometry. They
are called non-Euclidean geometries. Their creation is
considered a landmark in the history of thought because till
then everyone had believed that Euclid’s was the only geometry Fig. 5.12
and the world itself was Euclidean. Now the geometry of the universe we live in has been
shown to be a non-Euclidean geometry. In fact, it is called spherical geometry. In spherical
geometry, lines are not straight. They are parts of great circles (i.e., circles obtained by
the intersection of a sphere and planes passing through the centre of the sphere).
In Fig. 5.12, the lines AN and BN (which are parts of great circles of a sphere) are
perpendicular to the same line AB. But they are meeting each other, though the sum of
the angles on the same side of line AB is not less than two right angles (in fact, it is 90°
+ 90° = 180°). Also, note that the sum of the angles of the triangle NAB is greater than
180°, as ∠ A + ∠ B = 180°. Thus, Euclidean geometry is valid only for the figures in the
plane. On the curved surfaces, it fails.
EXERCISE 5.2
1. How would you rewrite Euclid’s fifth postulate so that it would be easier to understand?
2. Does Euclid’s fifth postulate imply the existence of parallel lines? Explain.
5.4 Summary
In this chapter, you have studied the following points:
1. Though Euclid defined a point, a line, and a plane, the definitions are not accepted by
mathematicians. Therefore, these terms are now taken as undefined.
2. Axioms or postulates are the assumptions which are obvious universal truths. They are not
proved.
3. Theorems are statements which are proved, using definitions, axioms, previously proved
statements and deductive reasining.
4. Some of Euclid’s axioms were :
(1) Things which are equal to the same thing are equal to one another.
(2) If equals are added to equals, the wholes are equal.
(3) If equals are subtracted from equals, the remainders are equal.
(4) Things which coincide with one another are equal to one another.
(5) The whole is greater than the part.
(6) Things which are double of the same things are equal to one another.
(7) Things which are halves of the same things are equal to one another.
5. Euclid’s postulates were :
Postulate 1 : A straight line may be drawn from any one point to any other point.
Postulate 2 : A terminated line can be produced indefinitely.
Postulate 3 : A circle can be drawn with any centre and any radius.
Postulate 4 : All right angles are equal to one another.
Postulate 5 : If a straight line falling on two straight lines makes the interior angles on the
same side of it taken together less than two right angles, then the two straight lines, if
produced indefinitely, meet on that side on which the sum of angles is less than two right
angles.
6. Two equivalent versions of Euclid’s fifth postulate are:
(i) ‘For every line l and for every point P not lying on l, there exists a unique line m
passing through P and parallel to l’.
(ii) Two distinct intersecting lines cannot be parallel to the same line.
7. All the attempts to prove Euclid’s fifth postulate using the first 4 postulates failed. But they
led to the discovery of several other geometries, called non-Euclidean geometries.