Plane Geometry - Bruce E. Shapiro
Plane Geometry - Bruce E. Shapiro Plane Geometry - Bruce E. Shapiro
36 SECTION 8. HILBERT’S AXIOMS« CC BY-NC-ND 3.0. Revised: 18 Nov 2012
Section 9Birkhoff/MacLaneAxiomsGeroge Birkhoff (1884-1944) is bestknown for his works on differential equations,taught at Univ. of Wisconsin,Princeton, and Harvard. In 1932 he proposeda very compact set of axioms whichallow you to use a ruler (a straight edgewith marks on it) and a protractor. Hispurpose was to make geometry more understandableto high school students. 1Birkhoff (left); MacLane (right)Saunders MacLane (1909-2005) was afriend (and professional collaborator) of George Birkhoff’s son Garrett, andworked primarily at Harvard (where he met the Birkhoffs) and the Univ.of Chicago. 2 In 1959 [MacLane, 1959] proposed an extension of Birkhoff’sAxioms that included a distance measure thereby making the system somewhatmore intuitive than Hilbert’s. MacLane introduced the concept ofdistance metrics into the axioms, and added an axiom of continuity.1 The system was published in the paper ”A Set of Postulate for Plane Geometry basedon a Scale and Protractor,” in Annals of Mathematics, 33:329-345 (1932).2 he photo is by Konrad Jacobs (CCASA license) and from Wikimedia).37
- Page 1: Foundations of GeometryLecture Note
- 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 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 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
Section 9Birkhoff/MacLaneAxiomsGeroge Birkhoff (1884-1944) is bestknown for his works on differential equations,taught at Univ. of Wisconsin,Princeton, and Harvard. In 1932 he proposeda very compact set of axioms whichallow you to use a ruler (a straight edgewith marks on it) and a protractor. Hispurpose was to make geometry more understandableto high school students. 1Birkhoff (left); MacLane (right)Saunders MacLane (1909-2005) was afriend (and professional collaborator) of George Birkhoff’s son Garrett, andworked primarily at Harvard (where he met the Birkhoffs) and the Univ.of Chicago. 2 In 1959 [MacLane, 1959] proposed an extension of Birkhoff’sAxioms that included a distance measure thereby making the system somewhatmore intuitive than Hilbert’s. MacLane introduced the concept ofdistance metrics into the axioms, and added an axiom of continuity.1 The system was published in the paper ”A Set of Postulate for <strong>Plane</strong> <strong>Geometry</strong> basedon a Scale and Protractor,” in Annals of Mathematics, 33:329-345 (1932).2 he photo is by Konrad Jacobs (CCASA license) and from Wikimedia).37