Plane Geometry - Bruce E. Shapiro
Plane Geometry - Bruce E. Shapiro Plane Geometry - Bruce E. Shapiro
24 SECTION 5. LOGIC AND PROOF“I ♥ Geometry!”« CC BY-NC-ND 3.0. Revised: 18 Nov 2012
Section 6The Real NumbersWe will take the terms set and element as undefined terms. We write aset as the list of elements surrounded by curly brackets:or by a rule{A, B, C, ...}{x|S(x)}where S(x) is some rule such as “x is even.”We use x ∈ S to represent “x is an element of the set S.”We denote the natural numbers bythe integers byand the positive integers byN = {1, 2, 3, . . . },Z = {. . . , −3, −2, −1, 0, 1, 2, 3, . . . },Z + = {0, 1, 2, ..}The union of two sets S and T is given byS ∪ T = {x|x ∈ S ∧ x ∈ T }0 This section is intended primarily as a review and hence is necessarily concise.25
- 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 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 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) >
Section 6The Real NumbersWe will take the terms set and element as undefined terms. We write aset as the list of elements surrounded by curly brackets:or by a rule{A, B, C, ...}{x|S(x)}where S(x) is some rule such as “x is even.”We use x ∈ S to represent “x is an element of the set S.”We denote the natural numbers bythe integers byand the positive integers byN = {1, 2, 3, . . . },Z = {. . . , −3, −2, −1, 0, 1, 2, 3, . . . },Z + = {0, 1, 2, ..}The union of two sets S and T is given byS ∪ T = {x|x ∈ S ∧ x ∈ T }0 This section is intended primarily as a review and hence is necessarily concise.25