Plane Geometry - Bruce E. Shapiro
Plane Geometry - Bruce E. Shapiro Plane Geometry - Bruce E. Shapiro
156 SECTION 32. THE EUCLIDEAN PARALLEL POSTULATEpostulate). By the linear pair theorem, then ɛ + δ = 180 and α + γ = 180.HenceFigure 32.1: Euclid’s Fifth postulates states that if α + β < 180 then lintersects m at a point C that is on the same of t as α and β.α + ɛ = 180 − δ + 180 − γ= 360 − (δ + γ)= 360 − 180= 180 (32.1)Thus both pairs of non-alternating interior angles formed by t sum to 180.By assumptionSubstituting equation 32.1 givesα + β < 180180 − ɛ + β < 180β < ɛIn particular, since β ≠ ɛ, then m ≠ n.Since δ = 180 − γ = α, n ‖ l (alternate interior angles theorem).Since m ≠ n this means m is not parallel to l (this is because we are assumingthe Euclidean parallel postulate, that there is only one line throughB that is parallel to l).Since m is not parallel to l, they intersect at some point C. Either thatpoint is on the same side of t as α and β or on the opposite side.« CC BY-NC-ND 3.0. Revised: 18 Nov 2012
SECTION 32. THE EUCLIDEAN PARALLEL POSTULATE 157Suppose they intersect on the opposite side. Then △P QC has exteriorangles α and β that form linear pairs with interior angles 180 − α and180 − β. PicK either linear pair, say the one formed with α. Then bythe exterior angle theorem α > 180 − β, which contradicts the fact thatα + β < 180. Hence the lines must intersect on the same side as α and β.This is Euclid’s 5th postulate.(⇐) (E5P ⇒ EPP). Assume that Euclid’s 5th postulate is true.Let l be a line and P be a point such that P ∉ l.Drop a perpendicular line from P to l, and call the foot of the line Q.Construct m through P such that m ⊥ ←→ P Q. By the alternate interior anglestheorem (theorem 29.4) l ‖ m.Assume n ≠ m is a second line through P such that n ‖ l.Then ←→ P Q is a transversal to n and l. Since n ≠ m, the interior anglesγ ≠ 90 and δ ≠ 90. Since they form a linear pair, γ + δ = 180.Hence one of γ, δ is less than 90 and the other is greater than 90.By Euclid’s fifth postulate, lines n and l meet on whichever side of ←→ P Q thesmaller of angles γ and δ lies (e.g., on the same side as δ in figure 32.2).Thus n ̸‖ l. Hence there is only one line through P that is parallel to l.Hence the Euclidean Parallel Postulate follows from Euclid’s Fifth Postulate.Figure 32.2: Euclid’s Fifth Postulate implies the Euclidean Parallel Postulate.Revised: 18 Nov 2012 « CC BY-NC-ND 3.0.
- 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 140 and 141: 136 SECTION 29. TRANSVERSALSCorolla
- 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 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
- Page 190 and 191: 186 SECTION 36. TRIANGLE CENTERSCen
- Page 192 and 193: 188 SECTION 37. AREADefinition 37.5
- Page 194 and 195: 190 SECTION 37. AREAToday’s Lesso
- Page 196 and 197: 192 SECTION 38. THE PYTHAGOREAN THE
- Page 198 and 199: 194 SECTION 38. THE PYTHAGOREAN THE
- Page 200 and 201: 196 SECTION 38. THE PYTHAGOREAN THE
- Page 202 and 203: 198 SECTION 38. THE PYTHAGOREAN THE
- Page 204 and 205: 200 SECTION 38. THE PYTHAGOREAN THE
- Page 206 and 207: 202 SECTION 39. CIRCLESFigure 39.1:
- Page 208 and 209: 204 SECTION 39. CIRCLESFigure 39.3:
156 SECTION 32. THE EUCLIDEAN PARALLEL POSTULATEpostulate). By the linear pair theorem, then ɛ + δ = 180 and α + γ = 180.HenceFigure 32.1: Euclid’s Fifth postulates states that if α + β < 180 then lintersects m at a point C that is on the same of t as α and β.α + ɛ = 180 − δ + 180 − γ= 360 − (δ + γ)= 360 − 180= 180 (32.1)Thus both pairs of non-alternating interior angles formed by t sum to 180.By assumptionSubstituting equation 32.1 givesα + β < 180180 − ɛ + β < 180β < ɛIn particular, since β ≠ ɛ, then m ≠ n.Since δ = 180 − γ = α, n ‖ l (alternate interior angles theorem).Since m ≠ n this means m is not parallel to l (this is because we are assumingthe Euclidean parallel postulate, that there is only one line throughB that is parallel to l).Since m is not parallel to l, they intersect at some point C. Either thatpoint is on the same side of t as α and β or on the opposite side.« CC BY-NC-ND 3.0. Revised: 18 Nov 2012