Plane Geometry - Bruce E. Shapiro
Plane Geometry - Bruce E. Shapiro Plane Geometry - Bruce E. Shapiro
54 SECTION 13. INCIDENCE GEOMETRYFigure 13.1: Graph diagram illustrating three-point geometry. Parallel linesdo not exist in this geometry.There are three possible lines in this geometry:{A, B}, {B, C}, {A, C}We will describe finite geometries with graph-diagrams consisting of nodesand line segments (figure 13.1). The nodes represent the points, and theline segments connecting the nodes represent the sets that represent lines.This is a representation of a finite geometry, not a picture of the points oflines in the usual sense. In other words, the 3-point geometry does not looklike a triangle; we just represent it by a graph that looks like a triangle.Example 13.2 Four-point Geometry. Here we define (see figure 13.2):ˆ A point is an element of the set {A, B, C, D}ˆ A line is a pair of points such as l = {A, B}ˆ A point P lies on a line l if P ∈ l.There are six lines in this example: {A, B}, {A, C}, {A, D}, {B, C}, {B, D},and {C, D}.Example 13.3 Fano’s Geometry. Here we have seven points given bythe set {A, B, C, D, E, F, G} and we define lines as any of the followingseven specific subsets:as illustrated in figure 13.3{A, B, C}, {C, D, E}, {E, F, A}, {A, G, D},{C, G, F }, {E, G, B}, {B, D, F }« CC BY-NC-ND 3.0. Revised: 18 Nov 2012
SECTION 13. INCIDENCE GEOMETRY 55Figure 13.2: Graph diagram illustrating four-point geometry. Every linehas precisely one other line that is parallel to it, and and there is preciselyone parallel line through each point that is not on a given line, and hencefour point geometry obeys the Euclidean parallel postulate.Figure 13.3: Graph diagram illustrating Fano’s geometry. Each line segmentand the circle represents a line in this geometry.Revised: 18 Nov 2012 « CC BY-NC-ND 3.0.
- 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 54 and 55: 50 SECTION 12. VENEMA’S AXIOMS3.
- Page 56 and 57: 52 SECTION 12. VENEMA’S AXIOMS«
- 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
- Page 104 and 105: 100 SECTION 20. THE CONTINUITY AXIO
- Page 106 and 107: 102 SECTION 20. THE CONTINUITY AXIO
SECTION 13. INCIDENCE GEOMETRY 55Figure 13.2: Graph diagram illustrating four-point geometry. Every linehas precisely one other line that is parallel to it, and and there is preciselyone parallel line through each point that is not on a given line, and hencefour point geometry obeys the Euclidean parallel postulate.Figure 13.3: Graph diagram illustrating Fano’s geometry. Each line segmentand the circle represents a line in this geometry.Revised: 18 Nov 2012 « CC BY-NC-ND 3.0.