Plane Geometry - Bruce E. Shapiro
Plane Geometry - Bruce E. Shapiro Plane Geometry - Bruce E. Shapiro
136 SECTION 29. TRANSVERSALSCorollary 29.9 (Existence of Parallel Line) If l is a line and P ∉ l isa point, then there is a line m ‖ l with P ∈ m.Proof. Drop a perpendicular from P to l (existence of perpendiculars, theorem21.5).Call the foot of the perpendicular Q and define t = ←→ P Q.By the protractor postulate (axiom 16.2), we can construct a line m ⊥ tthrough P .By the interior angle theorem, m ‖ l.Recall that the elliptic parallel postulate says that no parallel lines exist.Since we have just proven that parallel lines exist in neutral geometry, weknow that this postulate is false.Corollary 29.10 The elliptic parallel postulate is false in neutral geometry.« CC BY-NC-ND 3.0. Revised: 18 Nov 2012
Section 30Triangles in NeutralGeometryDefinition 30.1 The angle sum of △ABC is defined asσ(△ABC) =µ(∠CAB) + µ(∠ABC) + µ(∠BCA)Figure 30.1: Theorem 30.2 says that β + γ < 180.Theorem 30.2 The sum of the measure of any two angles in a triangle isless than 180: For any triangle △ABC,µ(∠CAB) + µ(∠ABC) < 180Proof. Let D ∈ ←→ AB such that A ∗ B ∗ D (see figure 30.1).By the linear pair theorem (thm. 18.4), α + β = 180.137
- 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
- Page 108 and 109: 104 SECTION 21. SIDE-ANGLE-SIDEBirk
- Page 110 and 111: 106 SECTION 21. SIDE-ANGLE-SIDEFigu
- Page 112 and 113: 108 SECTION 22. NEUTRAL GEOMETRYEll
- Page 114 and 115: 110 SECTION 22. NEUTRAL GEOMETRY«
- Page 116 and 117: 112 SECTION 23. ANGLE-SIDE-ANGLEFig
- Page 118 and 119: 114 SECTION 23. ANGLE-SIDE-ANGLE«
- Page 120 and 121: 116 SECTION 24. EXTERIOR ANGLESTheo
- Page 122 and 123: 118 SECTION 24. EXTERIOR ANGLES« C
- Page 124 and 125: 120 SECTION 25. ANGLE-ANGLE-SIDEBy
- Page 126 and 127: 122 SECTION 26. SIDE-SIDE-SIDECase
- Page 128 and 129: 124 SECTION 26. SIDE-SIDE-SIDEBy si
- Page 130 and 131: 126 SECTION 27. SCALENE AND TRIANGL
- Page 132 and 133: 128 SECTION 27. SCALENE AND TRIANGL
- Page 134 and 135: 130 SECTION 28. CHARACTERIZATION OF
- Page 136 and 137: 132 SECTION 28. CHARACTERIZATION OF
- Page 138 and 139: 134 SECTION 29. TRANSVERSALSFigure
- Page 142 and 143: 138 SECTION 30. TRIANGLES IN NEUTRA
- Page 144 and 145: 140 SECTION 30. TRIANGLES IN NEUTRA
- Page 146 and 147: 142 SECTION 30. TRIANGLES IN NEUTRA
- Page 148 and 149: 144 SECTION 30. TRIANGLES IN NEUTRA
- Page 150 and 151: 146 SECTION 31. QUADRILATERALS IN N
- Page 152 and 153: 148 SECTION 31. QUADRILATERALS IN N
- Page 154 and 155: 150 SECTION 31. QUADRILATERALS IN N
- Page 156 and 157: 152 SECTION 31. QUADRILATERALS IN N
- Page 158 and 159: 154 SECTION 31. QUADRILATERALS IN N
- Page 160 and 161: 156 SECTION 32. THE EUCLIDEAN PARAL
- Page 162 and 163: 158 SECTION 32. THE EUCLIDEAN PARAL
- Page 164 and 165: 160 SECTION 32. THE EUCLIDEAN PARAL
- Page 166 and 167: 162 SECTION 32. THE EUCLIDEAN PARAL
- Page 168 and 169: 164 SECTION 32. THE EUCLIDEAN PARAL
- Page 170 and 171: 166 SECTION 32. THE EUCLIDEAN PARAL
- Page 172 and 173: 168 SECTION 33. RECTANGLESLemma 33.
- Page 174 and 175: 170 SECTION 33. RECTANGLESFigure 33
- Page 176 and 177: 172 SECTION 33. RECTANGLES« CC BY-
- Page 178 and 179: 174 SECTION 34. THE PARALLEL PROJEC
- Page 180 and 181: 176 SECTION 34. THE PARALLEL PROJEC
- Page 182 and 183: 178 SECTION 35. SIMILAR TRIANGLESBy
- Page 184 and 185: 180 SECTION 35. SIMILAR TRIANGLESCo
- Page 186 and 187: 182 SECTION 36. TRIANGLE CENTERSFig
- Page 188 and 189: 184 SECTION 36. TRIANGLE CENTERSThe
136 SECTION 29. TRANSVERSALSCorollary 29.9 (Existence of Parallel Line) If l is a line and P ∉ l isa point, then there is a line m ‖ l with P ∈ m.Proof. Drop a perpendicular from P to l (existence of perpendiculars, theorem21.5).Call the foot of the perpendicular Q and define t = ←→ P Q.By the protractor postulate (axiom 16.2), we can construct a line m ⊥ tthrough P .By the interior angle theorem, m ‖ l.Recall that the elliptic parallel postulate says that no parallel lines exist.Since we have just proven that parallel lines exist in neutral geometry, weknow that this postulate is false.Corollary 29.10 The elliptic parallel postulate is false in neutral geometry.« CC BY-NC-ND 3.0. Revised: 18 Nov 2012