Professional Documents
Culture Documents
WORK
EUCLID’S GEOMETRY
INTRODUCTION
Euclidean geometry is a mathematical system attributed
to the Greek mathematician Euclid of Alexandria.
Euclid's Elements is the earliest known systematic
discussion of geometry. It has been one of the most
influential books in history, as much for its method as for
its mathematical content. The method consists of
assuming a small set of intuitively appealing axioms, and
then proving many other propositions (theorems) from
those axioms. Although many of Euclid's results had been
stated by earlier Greek mathematicians, Euclid was the
first to show how these propositions could be fit together
into a comprehensive deductive and logical system.The
Elements begin with plane geometry, still taught in
secondary school as the first axiomatic system and the
first examples of formal proof. The Elements goes on to
.Much of the Elements states results of what is
now called number theory, proved using
geometrical methods. For over two thousand years,
the adjective "Euclidean" was unnecessary because
no other sort of geometry had been conceived.
Euclid's axioms seemed so intuitively obvious that
any theorem proved from them was deemed true in
an absolute sense. Today, however, many other
self-consistent non-Euclidean geometries are
known, the first ones having been discovered in
the early 19th century. It also is no longer taken
for granted that Euclidean geometry describes
physical space. An implication of Einstein's theory
of general relativity is that Euclidean geometry is a
good approximation to the properties of physical
space only if the gravitational field is not too
AXIOMATIC APPROACH
Euclidean geometry is an axiomatic system, in which all
theorems ("true statements") are derived from a finite
number of axioms. Near the beginning of the first book of
the Elements, Euclid gives five postulates (axioms):
Any two points can be joined by a straight line.
Any straight line segment can be extended indefinitely in a
straight line.
Given any straight line segment, a circle can be drawn having
the segment as radius and one endpoint as center.
All right angles are congruent.
Parallel postulate. If two lines intersect a third in such a way
that the sum of the inner angles on one side is less than
two right angles, then the two lines inevitably must
intersect each other on that side if extended far enough.
A proof from Euclid's elements that, given a line segment, an
equilateral triangle exists that includes the segment as one
of its sides. The proof is by construction: an equilateral
triangle ΑΒΓ is made by drawing circles Δ and Ε centered
on the points Α and Β, and taking one intersection of the
circles as the third vertex of the triangle.
These axioms invoke the following concepts: point, straight line
segment and line, side of a line, circle with radius and center, right
angle, congruence, inner and right angles, sum. The following verbs
appear: join, extend, draw, intersect. The circle described in
postulate 3 is tacitly unique. Postulates 3 and 5 hold only for plane
geometry; in three dimensions, postulate 3 defines a sphere.
Postulate 5 leads to the same geometry as the following statement,
known as Playfair's axiom, which also holds only in the plane:
Through a point not on a given straight line, one and only one line
can be drawn that never meets the given line.
Postulates 1, 2, 3, and 5 assert the existence and uniqueness of
certain geometric figures, and these assertions are of a constructive
nature: that is, we are not only told that certain things exist, but are
also given methods for creating them with no more than a
compass and an unmarked straightedge. In this sense, Euclidean
geometry is more concrete than many modern axiomatic systems
such as set theory, which often assert the existence of objects
without saying how to construct them, or even assert the existence
of objects that cannot be constructed within the theory. Strictly
speaking, the constructs of lines on paper etc are models of the
objects defined within the formal system, rather than instances of
those objects. For example a Euclidean straight line has no width,
but any real drawn line will.The Elements also include the following
five "common notions":
Things that equal the same thing also equal one another.
If equals are added to equals, then the wholes are equal.
If equals are subtracted from equals, then the remainders are
equal.
Things that coincide with one another equal one another.
The whole is greater than the part. Euclid also invoked other
properties pertaining to magnitudes.
1 is the only part of the underlying logic that Euclid explicitly
articulated. 2 and 3 are "arithmetical" principles; note that
the meanings of "add" and "subtract" in this purely
geometric context are taken as given. 1 through 4
operationally define equality, which can also be taken as
part of the underlying logic or as an equivalence relation
requiring, like "coincide," careful prior definition. 5 is a
principle of mereology. "Whole", "part", and "remainder"
beg for precise definitions. In the 19th century, it was
realized that Euclid's ten axioms and common notions do
not suffice to prove all of theorems stated in the Elements.
For example, Euclid assumed implicitly that any line
contains at least two points, but this assumption cannot be
proved from the other axioms, and therefore needs to be
an axiom itself.
The very first geometric proof in the Elements, shown in the
figure on the right, is that any line segment is part of a
triangle; Euclid constructs this in the usual way, by drawing
circles around both endpoints and taking their intersection as
the third vertex. His axioms, however, do not guarantee that
the circles actually intersect, because they are consistent
with discrete, rather than continuous, space. Starting with
Moritz Pasch in 1882, many improved axiomatic systems for
geometry have been proposed, the best known being those of
Hilbert, George Birkhoff, and Tarski.To be fair to Euclid, the
first formal logic capable of supporting his geometry was that
of Frege's 1879 Begriffsschrift, little read until the 1950s. We
now see that Euclidean geometry should be embedded in
first-order logic with identity, a formal system first set out in
Hilbert and Wilhelm Ackermann's 1928
Principles of Theoretical Logic. Formal mereology began only
in 1916, with the work of Lesniewski and A. N. Whitehead.
Tarski and his students did major work on the
foundations of elementary geometry as recently as between
1959 and his death in 1983.
THE PARALLEL POSTULATE
To the ancients, the parallel postulate seemed less obvious than the
others; verifying it physically would require us to inspect two lines
to check that they never intersected, even at some very distant
point, and this inspection could potentially take an infinite amount
of time.[1] Euclid himself seems to have considered it as being
qualitatively different from the others, as evidenced by the
organization of the Elements: the first 28 propositions he presents
are those that can be proved without it. Many geometers tried in
vain to prove the fifth postulate from the first four. By 1763 at least
28 different proofs had been published, but all were found to be
incorrect.[2] In fact the parallel postulate cannot be proved from the
other four: this was shown in the 19th century by the construction of
alternative (non-Euclidean) systems of geometry where the other
axioms are still true but the parallel postulate is replaced by a
conflicting axiom. One distinguishing aspect of these systems is that
the three angles of a triangle do not add to 180°: in
hyperbolic geometry the sum of the three angles is always less than
180° and can approach zero, while in elliptic geometry it is greater
than 180°. If the parallel postulate is dropped from the list of axioms
without replacement, the result is the more general geometry called
absolute geometry.
TREATMENT USING
ANALYTIC GEOMETRY
CLASS – IX-C