September 5

Introduction to Geometry:
Notation, Terms, and Proofs

Notation | Terms | Axioms | Proofs

The first step in establishing any system of thought is that the basic premises must be establish.

Terms

ttt

Euclid tried to define terms, but each definition ran into some problem.

Euclid defined a "point" as "that which has no part." This definition is uninformative. He defined a "straight line" to be "that which lies evenly with the points on it." This definition is also not helpful, especially in those geometries which have a finite number of points.

So, Euclidean Geometry has the following undefined terms of:

1) point
2) line
3) lie on (or "passes through point P") (or "is incident with") (or "meets") (or "intersects")

ttt

ttt

Axioms

ttt

Axioms are assumed statements. From these, the structure is slowly built using proofs, based on theses axioms and the other proven theorems. Euclid built his system on 5 axioms, which he called postulates . The first one was:

EUCLID'S POSTULATE 1: For every point P and for every point Q not equal to P, there exists a unique line that passes the P and Q. This postulate is sometimes stated as "two points determine a unique line."

However, this postulate makes the assumption that there exists a point on a given line . And none of Euclid's postulates determine whether or not there exits a point not lying on a given line .

Three axioms, which are called Incidence Axioms are needed:

1) For every point P and for every point Q not equal to P, there exists a unique line that passes the P and Q.

2) For every line , there exist at least two distinct points that lie on the line .

3) There exist three points with the property that no one line is incident with all three of them.

The first axiom is the same as Euclid's and forces all lines in Euclidean geometry to be straight lines. In other words, the following example of two lines passing through the same two points is impossible.

 

The second axiom asserts that there are points on a line, and the third example asserts that more than a line or space exists.

EUCLID'S POSTULATE II: For every segment AB and for every segment CD, there exists a unique point E such that B is between A and E and segment CD is congruent to segment BE.

This was his only congruence theorem which left out the congruence of triangles. So, another axiom, a Congruence Axiom, is needed:

If two sides and the included angle of one triangle are congruent respectively to two sides and the included angle of another triangle, then the two triangles are congruent.

ttt

ttt

Proofs

ttt

Many methods of proofs exists. An algebraic proof uses numbers and algebraic expression and equations. A geometric proof uses n numbers and only geometric concepts. A proof by contradiction assumes the opposite and reaches a conclusion that is impossible. Constructions allow insight into a problem, but they rarely can serve as a formal proof. The following problem shows first an algebraic proof and then a geometric one.

THE VERTICAL ANGLE THEOREM. Let lines and meet at a point P, as shown below. Then <APC <BPD and <APD <BPC.

ALGEBRAIC PROOF: <APC + <APD = 180o and <APD + <BPD = 180o

or < 1 + < 4 = 180o and < 4 + < 3 = 180o

Since equal equal to the same number are equal to each other, <1 + < 4 = < 4 + < 3 which means, by subtraction of equals, that < 1 < 3 or < APC <BPD.

The case of <APD <BPC. is proven similarly.

GEOMETRIC PROOF: <APC is a supplement of <APD, and <BPC is a supplement of <APD.

Therefore, since supplements of the same angle are congruent, < APC <BPD.

The case of <APD <BPC. is proven similarly.

Syllabus | Assignments | Home | Welcome | Bibliography | Class Links