Plane Geometry - Bruce E. Shapiro
Plane Geometry - Bruce E. Shapiro Plane Geometry - Bruce E. Shapiro
50 SECTION 12. VENEMA’S AXIOMS3. Ruler Postulate. For every pair of points P, Q there is a numberP Q called the distance from P to Q. For each line l there is a one-to-onemapping f : l ↦→ R such that if x = f(P ) and y = f(Q) then P Q = |x − y|.The Plane Separation Postulate says that a line has two sides; it is used todefine the concept of a half-plane.4. Plane Separation Postulate. For every line l the points that donot lie on l form two disjoint, convex non-empty sets H 1 and H 2 , calledhalf-planes, bounded by l such that if P ∈ H 1 and Q ∈ H 2 then P Qintersects l.The protractor postulate encapsulates our “common notions” (to use aEuclidean term) about angles: they can be measure, added, and ordered.5. Protractor Postulate. For every angle ∠BAC there is a realnumber µ(∠BAC) called the measure of ∠BAC such that1. 0 ≤ µ(∠BAC) < 1802. µ(∠BAC) = 0 ⇐⇒ −→ −→ AB = BC3. Angle Construction Postulate. ∀r ∈ R such that 0 < r < 180,and for every half-plane H bounded by ←→ AB, there exists a uniqueray −→ AE such that E ∈ H and µ(∠BAE) = r.4. Angle Addition Postulate. If the ray −→ AD is between the rays−→AB and −→ AC thenµ(∠BAD) + µ(∠DAC) = µ(∠BAC)As we shall see later in the discussion, the first five postulates are notsufficient to ensure that our common notions about triangle congruencewill hold (for example, the following postulate fails in taxi-cab geometry).6. SAS (Side Angle Side Postulate) If △ABC and △DEF are twotriangles such that AB ∼ = DE,BC ∼ = EF , and ∠ABC ∼ = ∠DEF then△ABC ∼ = △DEF .Parallel PostulatesThe combination of the first six postulates, when taken together, are knownas neutral geometry. They can be extended with one of three possible parallelpostulates. It turns out that the second of these – the elliptic parallelpostulate, is inconsistent with the plane separation postulate and the conceptof betweenness – but the other two postulates are each consistent withneutral geometry. In fact, it can be proven that they are mutually exclusive– if you accept either one of the Hyperbolic or Euclidean parallel postulates« CC BY-NC-ND 3.0. Revised: 18 Nov 2012
SECTION 12. VENEMA’S AXIOMS 51under neutral geometry, the other is provably false; and if either is takenas false, the other is provably true.Euclidean Parallel Postulate For every line l and for every externalpoint P , there is exactly one line m such that P lies on m and m ‖ lElliptic Parallel Postulate For every line l and for every external pointP , there is no line m such that P lies on m and m ‖ lHyperbolic Parallel Postulate For every line l and for every externalpoint P , there are at least two lines m and n such that P lies on bothm and m and m ‖ l and n ‖ l.Area PostulatesNeutral Area Postulate Associated with each polygonal region R thereis a nonnegative number α(R), called the area of R, such that:1. (Congruence) If two triangles are congruent, then their associate regionshave equal area; and2. (Additivity) If R = R 1 ∪ R 2 and R 1 and R 2 do not overlap, thenα(R) = α(R 1 ) + α(R 2 )Euclidean Area Postulate (Venema 9.2.2)α(R) = length(R) × width(R).If R is a rectangle, theReflectionThe Reflection Postulate (Venema 12.6.1) For every line l thereexists a transformation ρ l : P ↦→ P such that:1. If P ∈ l then ρ l (P ) = P2. If P ∉ l, then P and ρ l (P ) lie on opposite half planes of l.3. ρ l preserves distance, collinearity, and angle measure.Revised: 18 Nov 2012 « CC BY-NC-ND 3.0.
- Page 4 and 5: ivCONTENTS30 Triangles in Neutral G
- Page 6 and 7: 2 SECTION 1. PREFACEare enrolled in
- Page 8 and 9: 4 SECTION 1. PREFACEre-learning it
- Page 10 and 11: 6 SECTION 2. NCTM3. To guide in the
- Page 12 and 13: 8 SECTION 2. NCTMTechnology. Techno
- Page 14 and 15: 10 SECTION 2. NCTM« CC BY-NC-ND 3.
- Page 16 and 17: 12 SECTION 3. CA STANDARDIn 2005 Ca
- Page 18 and 19: 14 SECTION 3. CA STANDARDThe Califo
- Page 20 and 21: 16 SECTION 3. CA STANDARDCalifornia
- Page 22 and 23: 18 SECTION 4. COMMON COREAt all lev
- Page 24 and 25: 20 SECTION 5. LOGIC AND PROOFour th
- Page 26 and 27: 22 SECTION 5. LOGIC AND PROOFRene D
- Page 28 and 29: 24 SECTION 5. LOGIC AND PROOF“I
- Page 30 and 31: 26 SECTION 6. REAL NUMBERSThe inter
- Page 32 and 33: 28 SECTION 6. REAL NUMBERS“The Su
- Page 34 and 35: 30 SECTION 7. EUCLID’S ELEMENTSEu
- Page 36 and 37: 32 SECTION 7. EUCLID’S ELEMENTSFi
- Page 38 and 39: 34 SECTION 8. HILBERT’S AXIOMSiom
- Page 40 and 41: 36 SECTION 8. HILBERT’S AXIOMS«
- Page 42 and 43: 38 SECTION 9. BIRKHOFF/MACLANE AXIO
- Page 44 and 45: 40 SECTION 9. BIRKHOFF/MACLANE AXIO
- Page 46 and 47: 42 SECTION 10. THE SMSG AXIOMSP is
- Page 48 and 49: 44 SECTION 10. THE SMSG AXIOMS« CC
- Page 50 and 51: 46 SECTION 11. THE UCSMP AXIOMSin s
- Page 52 and 53: 48 SECTION 11. THE UCSMP AXIOMS« C
- Page 56 and 57: 52 SECTION 12. VENEMA’S AXIOMS«
- Page 58 and 59: 54 SECTION 13. INCIDENCE GEOMETRYFi
- Page 60 and 61: 56 SECTION 13. INCIDENCE GEOMETRYEx
- Page 62 and 63: 58 SECTION 13. INCIDENCE GEOMETRYFi
- Page 64 and 65: 60 SECTION 13. INCIDENCE GEOMETRY«
- Page 66 and 67: 62 SECTION 14. BETWEENNESSFigure 14
- Page 68 and 69: 64 SECTION 14. BETWEENNESSTheorem 1
- Page 70 and 71: 66 SECTION 14. BETWEENNESS(a) To sh
- Page 72 and 73: 68 SECTION 14. BETWEENNESSThe follo
- Page 74 and 75: 70 SECTION 14. BETWEENNESSExample 1
- Page 76 and 77: 72 SECTION 14. BETWEENNESSorf(A) >
- Page 78 and 79: 74 SECTION 14. BETWEENNESS« CC BY-
- Page 80 and 81: 76 SECTION 15. THE PLANE SEPARATION
- Page 82 and 83: 78 SECTION 15. THE PLANE SEPARATION
- Page 84 and 85: 80 SECTION 16. ANGLESFigure 16.1: T
- Page 86 and 87: 82 SECTION 16. ANGLESCorollary 16.6
- Page 88 and 89: 84 SECTION 16. ANGLESFigure 16.6: I
- Page 90 and 91: 86 SECTION 16. ANGLESD cannot be in
- Page 92 and 93: 88 SECTION 17. THE CROSSBAR THEOREM
- Page 94 and 95: 90 SECTION 17. THE CROSSBAR THEOREM
- Page 96 and 97: 92 SECTION 18. LINEAR PAIRSFigure 1
- Page 98 and 99: 94 SECTION 18. LINEAR PAIRSγ + ∠
- Page 100 and 101: 96 SECTION 19. ANGLE BISECTORSwith
- Page 102 and 103: 98 SECTION 19. ANGLE BISECTORSAngle
50 SECTION 12. VENEMA’S AXIOMS3. Ruler Postulate. For every pair of points P, Q there is a numberP Q called the distance from P to Q. For each line l there is a one-to-onemapping f : l ↦→ R such that if x = f(P ) and y = f(Q) then P Q = |x − y|.The <strong>Plane</strong> Separation Postulate says that a line has two sides; it is used todefine the concept of a half-plane.4. <strong>Plane</strong> Separation Postulate. For every line l the points that donot lie on l form two disjoint, convex non-empty sets H 1 and H 2 , calledhalf-planes, bounded by l such that if P ∈ H 1 and Q ∈ H 2 then P Qintersects l.The protractor postulate encapsulates our “common notions” (to use aEuclidean term) about angles: they can be measure, added, and ordered.5. Protractor Postulate. For every angle ∠BAC there is a realnumber µ(∠BAC) called the measure of ∠BAC such that1. 0 ≤ µ(∠BAC) < 1802. µ(∠BAC) = 0 ⇐⇒ −→ −→ AB = BC3. Angle Construction Postulate. ∀r ∈ R such that 0 < r < 180,and for every half-plane H bounded by ←→ AB, there exists a uniqueray −→ AE such that E ∈ H and µ(∠BAE) = r.4. Angle Addition Postulate. If the ray −→ AD is between the rays−→AB and −→ AC thenµ(∠BAD) + µ(∠DAC) = µ(∠BAC)As we shall see later in the discussion, the first five postulates are notsufficient to ensure that our common notions about triangle congruencewill hold (for example, the following postulate fails in taxi-cab geometry).6. SAS (Side Angle Side Postulate) If △ABC and △DEF are twotriangles such that AB ∼ = DE,BC ∼ = EF , and ∠ABC ∼ = ∠DEF then△ABC ∼ = △DEF .Parallel PostulatesThe combination of the first six postulates, when taken together, are knownas neutral geometry. They can be extended with one of three possible parallelpostulates. It turns out that the second of these – the elliptic parallelpostulate, is inconsistent with the plane separation postulate and the conceptof betweenness – but the other two postulates are each consistent withneutral geometry. In fact, it can be proven that they are mutually exclusive– if you accept either one of the Hyperbolic or Euclidean parallel postulates« CC BY-NC-ND 3.0. Revised: 18 Nov 2012