Three Dimensional Geometry

Pre-requisites: Set Theory, Integer Arithmetic.

Remember your high school geometry class, where you studied points, lines, and triangles through the use of straightedges (rulers), compasses, and axioms? Well, we are going to do a quick review of all that right now, and while we are at it, we'll throw in planes and polyhedra and all the other three dimensional stuff.

Geometry is based on three primitive notions: containment, congruence, and segment. Containment is the same as the set theory notation of "is a subset of", and the following all mean the same thing: A contains x, x is a subset of A, x lies on A, A goes through x. In all that follows, all our variables and formula will refer to sets, thought of as subsets of three dimensional space. We assume that A always contains A (we say "properly contains" if we want to avoid this), that two sets with the same subsets are equal, that we can take the union and intersection of two sets, etc.

Definition A set that contains only itself and the empty set is called a point.

Definition Two sets intersect if they have a point in common.

Luckily, there is more to geometry than just points. There are also segments. Given any two distinct points P and Q, we can draw the segment (which we call segment(P,Q) ) using our straight edge.

Axiom 0. For every two points A and B, segment(A,B) contains A and B.

Axiom 1. segment(A,B) equals segment(C,D) if and only if {A,B} = {C,D}.

Axiom 2. If you have two segments segment(A,B) and segment(C,D), and if the intersection of segment(A,B) and segment(C,D) contains segment(B,C), then segment(A,D) equals the union of segment(A,C), segment(C,B), and segment(B,D).

Axiom 3. If A,B, and C are three distinct points such that B is contained in segment(A,C), then segment(B,C) is properly contained in segment(A,C).

Axiom 4. There are an infinite number of different points on every segment.

Using segments, we can define lines.

Definition A set of points is called bounded colinear if there is some segment which contains them all.

Definition Given any two distinct points A and B, the set of all points C such that {A,B,C} is bounded colinear is called the line through A and B and is denoted line(A,B).

Definition A set of points is called colinear if there is some line which contains them all.

We can also define planes.

Definition If the points A,B, and C are not colinear, then the set of all points contained on segments of the form segment(A,D), where D is a point on the segment(B,C) is called triangle(A,B,C).

Definition A set of points is called bounded coplanar if there is some triangle which contains them all.

Definition Given any three non-colinear points A,B, and C, then the set of all points D such that {A,B,C,D} is bounded coplanar is called the plane through A, B, and C and is denoted plane(A,B,C).

Definition A set of points is called coplanar if there is some plane which contains them all.

Axiom 5. If two planes intersect, their intersection contains at least two points.

Axiom 6. There are an infinite number of points NOT contained in any finite set of planes.

Axiom 7. (Pasch's Axiom): If you have a plane plane(A,B,C) and a coplanar line(D,E) which doesn't contain A, B, or C, but does intersect segment(A,B), then line(D,E) must intersect segment(B,C) or segment(A,C).

Finally, there is the primitive notion of congruence. Intuitively, two segments are congruent if they have the same length. Congruence obeys the following axioms:

Axiom 8. If segment(A,B) is congruent to segment(C,D), and segment(C,D) is congruent to segment(E,F), then segment(A,B) is congruent to segment(E,F).

Axiom 9. If segment(A,B) properly contains segment(C,D), then they are not congruent.

Axiom 10. For every two segments, segment(A,B) and segment(C,D), then either segment(A,B) is congruent to segment segment(C,E) for some E on segment(C,D) or segment(C,D) is congruent to segment(A,F) for some F on segment(A,B).

Definition The halfplane(A,B,C) is the set of all points D on the plane(A,B,C) such that the segment(C,D) does not intersect the line(A,B).

Axiom 11. Given six distinct points A,B,C,D,E,F such that segment(A,B) and segment(D,E) are congruent, then there exists an unique point G such that (a) segment(A,C) and segment(D,G) are congruent, (b) segment(B,C) and segment(E,G) are congruent, and (c) G is contained by the halfplane(D,E,F).

Definition Two sets of points A and B are congruent if there is a one-to-one and onto transformation f from A to B such that for every two points x and y in A, segment(x,y) and segment(f(x),f(y)) are congruent. Such a transformation is called a rigid motion.

Definition The ray(A,B) is the set of all points C on the line(A,B) such that segment(C,B) does not properly contain A.

Definition The angle ABC is the union of ray(B,A) and ray(B,C).

Lemma The two angles angle(ABC) and angle(DEF) are congruent if there exists a point G on ray(E,D) and a point H on ray(E,F) such that segment(B,A) and segment(E,G) are congruent, segment(B,C) and segment(E,H) are congruent, and segment(A,C) and segment(G,H) are congruent.

Definition The angle(ABC) is a right angle if there is a point D on line(B,A) but not on ray(B,A) such that angle(ABC) and angle(DBC) are congruent.

Definition The projection of a point P onto a line line(A,B) is a point D contained on line(A,B) such that The angle(PDA) is right. Similarly, the projection of P onto the plane(A,B,C) is a D contained on plane(A,B,C) such that The angle(PDA) is right.

Theorem The projection of a point onto a line or a plane always exists and is unique.

The proof of this theorem depends on the following famous axiom.

Axiom 12. (Parallel Axiom). For every line line(A,B) and every point C not on line(A,B) there is an unique line(C,D) contained on plane(A,B,C) that does not intersect line(A,B).

The parallel axiom is famous because for a long time, mathematicians tried to show that you didn't need to assume it was an axiom: they tried to show it could be proven from the previous axioms. (Try it!) In the nineteenth century, several mathematicians (Gauss, Bolyai, Lobachevsky) showed that the parallel axiom was in fact independent from the other axioms. They did this by showing the consistency of non-Euclidean geometries in which the parallel axiom is false. For example, in some non-Euclidean geometries there are no parallel lines (spherical geometries) and in others there are several lines parallel to a given going through a given point (hyperbolic geometries). These non-Euclidean geometries came of age when Einstein realized that his theory of general relativity implied that the large scale structure of space time doesn't necessarily obey the parallel axiom.

We still assume the parallel axiom, though, because it is an excellent approximation for the small scale structure of space time (including all the lines and planes you ever likely to draw!).

The following two axioms are almost never used, but are necessary for completeness:

Axiom 13. (Archimedes' Axiom). For every two segments segment(A,B) and segment(C,D), there exist a finite number of points A1, ... An on line(A,B) such that segment(C,D) is congruent to segment(A,A1) is congruent to segment(A1,A2), is congruent to segment(A2,A3), ... is congruent to segment(An-1,An) AND such that segment(A,An) contains B.

[Stripped of the geometric language, Archimedes' axiom just says that for every two positive real numbers a and b, there is a positive integer n such that n a > b.]

Axiom 14. (Limit Axiom). Let A1, A2, ... be an infinite sequence of points all contained on the segment(C,D) such that segment(C,An) contains segment(C,Am) whenever n > m. Then there is a point A such that (1) segment(C,D) contains segment(C,A), (2) segment(C,A) contains segment(C,Ai) for every i, and (3) there is no point B properly contained by segment(C,A) which contains segment(C,Ai) for every i.

[Again, this axiom has a very simple non-geometric meaning: an increasing and bounded sequence of real numbers has a limit.]

Exercises:

  1. Prove that every line contains an infinite number of points.
  2. Prove that given any line, there are an infinite number of points not on that line.
  3. Let A and B be two points on the line line(C,D). We say A and B are on the same side of C if segment(A,B) does not contain C. Prove that
    1. If A and B are on the same side of C, and B and D are on the same side of C, then A and D are on the same side of C.
    2. If A and B are not on the same side of C, and B and D are not on the same side of C, then A and D are on the same side of C.
    3. Every point on the line line(C,D) is either on the same side of C as D, not on the same side of C as D, or is C.
  4. Prove that triangle(A,B,C) = triangle(B,A,C).
  5. Prove that plane(A,B,C) contains line(A,B).
  6. Prove that if two planes intersect, they intersect in at least a line.
  7. Prove that angle(ABC) is congruent to angle(CBA).
  8. How would you change the above axioms to axiomiatize just two dimensional geometry?
    Solutions to Exercises | Vector Calculus Index | World Web Math Main Page


    thomasc@athena.mit.edu
    Last Modified 25 Juen 1997