Axioms for Euclidean Geometry Axioms of Incidence 1. For every two points A and B, there exists a unique line that contains both of them. X 2. There are at least two points on any line. 3. There exist at least three points that do not all lie on a line. Axioms of Order 1. If A * B * C , then the points A, B, C are three distinct points of a line, and C * B * A. A B C 2. For two points B and D, there are points A, C , and E, such that A * B * D B * C * D B * D * E A B C D E 3. Of any three points on a line, there exists no more than one that lies between the other two. A B C X 4. (Plane Separation Postulate) For every line and points A, B, and C not on : (i) If A and B are on the same side of and B and C are on the same side of , then A and C are on the same side of . A B C (ii) If A and B are on opposite sides of and B and C are on opposite sides of , then A and C are on the same side of . A B C Axioms of Congruence 1. (Segment construction) If A and B are dis- tinct poionts and if A is any point, then for each ray r emanating from A , there is a unique point B on r such that AB A B . A' A B r B' 2. If AB CD and AB EF , then CD
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Axioms for Euclidean Geometry
Axioms of Incidence
1. For every two points A and B, there existsa unique line ` that contains both of them.
X
2. There are at least two points on any line.
3. There exist at least three points that do notall lie on a line.
Axioms of Order
1. If A ∗ B ∗ C, then the points A, B, C arethree distinct points of a line, and C ∗B ∗A.
A B C
2. For two points B and D, there are pointsA, C, and E, such that
A ∗B ∗D B ∗ C ∗D B ∗D ∗ E
AB
C DE
3. Of any three points on a line, there existsno more than one that lies between the othertwo.
AB
C
X
4. (Plane Separation Postulate) For every line` and points A, B, and C not on `:(i) If A and B are on the same side of ` and Band C are on the same side of `, then A andC are on the same side of `.
ABC
(ii) If A and B are on opposite sides of ` andB and C are on opposite sides of `, then A andC are on the same side of `.
AB
C
Axioms of Congruence
1. (Segment construction) If A and B are dis-tinct poionts and if A′ is any point, then foreach ray r emanating from A′, there is a uniquepoint B′ on r such that AB ' A′B′.
A'
AB
rB'
2. If AB ' CD and AB ' EF , then CD '
EF . Every segment is congruent to itself.
A B
C
D
EF
'
'
'
3. (Segment addition) If A ∗ B ∗ C and A′ ∗B′ ∗ C ′, and if AB ' A′B′ and BC ' B′C ′,then AC ' A′C ′.
AB
C
A' B' C'
4. (Angle construction) Given ∠BAC and anyray
−−→A′B′, there is a unique ray
−−→A′C ′ on a given
side of A′B′ such that ∠BAC ' ∠B′A′C ′.
A B
C
A'
B'
C'
C'
5. If ∠A ' ∠B and ∠A ' ∠C, then ∠B '∠C. Every angle is congruent to itself.
C
'
'
'
A
B
6. (SAS) If two sides and the included angleof one triangle are congruent respectively totwo sides and the included angle of anothertriangle, then the two triangles are congruent.
'
Axioms of Continuity
1. (Archimedes’ axiom) If AB and CD are anytwo segments, there is some number n suchthat n copies of CD constructed contiguouslyfrom A along the ray −−→AB will pass beyond B.
A
BC D
2. (Dedekind’s axiom) Suppose that all pointson line ` are the union of two nonempty setΣ1 ∪ Σ2 such that no point of Σ1 is betweentwo points of Σ2 and vice versa. Then there isa unique point O on ` such that P1 ∗O ∗P2 forany point P1 ∈ Σ1 and P2 ∈ Σ2.
) )
OÍ Í1
2
The Axiom on Parallels
1. (Playfair’s postulate) For any line ` andpoint P not on `, there is exactly one linethrough P parallel to `.