Plane Geometry - Bruce E. Shapiro
Plane Geometry - Bruce E. Shapiro Plane Geometry - Bruce E. Shapiro
258 SECTION 45. EUCLIDEAN CONSTRUCTIONSFigure 45.8: Construction 45.7, construction of a parallel line through apoint that is not on the line.2. Find the midpoint M of AC.3. Construct circle γ = C(M, AM).4. Construct a line l through B that is perpendicular to AC.5. γ intersects l at two points. Name one of these points D. (It doesnot matter which one).6. Let c = BD. Then c = √ a.Theorem 45.13 All constructible numbers are algebraic numbers, i.e., everyconstructible number is a root of the algebraic equationwhere a 0 , a 1 , ..., a n are integers.a n x n + a n−1 x n−1 + ... + a 0 = 0A number is not algebraic is said to be transcendental. Since π is transcendental1 , we have the following result.Theorem 45.14 π is not constructible.Corollary 45.15 The construction of squaring the circle with a straightedgeand a compass is impossible.Theorem 45.16 The general construction of trisecting an angle cannot beperformed with a straight-edge an compass alone.1 This result was proven by T. Lindemann in 1882.« CC BY-NC-ND 3.0. Revised: 18 Nov 2012
SECTION 45. EUCLIDEAN CONSTRUCTIONS 259Figure 45.9: Construction 45.8, the division of a segment into n equal lengthsub-segments, illustrated for n = 3.Proof. Otherwise, we would be able to construct a segment of length π.Proof. (outline) Suppose we can trisect the angle 60 into thirds.cos 60 = 1/2, using the trigonometric identitySincecos 3θ = 4 cos 3 θ − 3 cos θif we set x = cos θ then8x 3 − 6x − 1 = 0Then one must show that (a) there are no rational solutions 2 ; and (b)if there is any solution of the form a + b √ c as a solution, we obtain acontradiction. 3Other ResultsTheorem 45.17 (Poncelet-Steiner Theorem) All constructions thatcan be performed with the straight-edge and compass can be performedwith a straight-edge alone, given a single circle and its center.2 Assume p/q is a solution; plug it in and you get that q must be a factor of 8. Byexhaustive checking one eliminates all possibilities.3 Since a + b √ c is a solution, so is a − b √ c as well as a third solution r; the sum of thesethree solutions must be zero. We add them up and solve for r and obtain the resultthat r = 2a is a solution, which contradicts the assumption that a + b √ c represents theleast-inclusive extension field of solutions.Revised: 18 Nov 2012 « CC BY-NC-ND 3.0.
- Page 212 and 213: 208 SECTION 39. CIRCLESTheorem 39.1
- Page 214 and 215: 210 SECTION 39. CIRCLESLet D be the
- Page 216 and 217: 212 SECTION 39. CIRCLES« CC BY-NC-
- Page 218 and 219: 214 SECTION 40. CIRCLES AND TRIANGL
- Page 220 and 221: 216 SECTION 40. CIRCLES AND TRIANGL
- Page 222 and 223: 218 SECTION 40. CIRCLES AND TRIANGL
- Page 224 and 225: 220 SECTION 41. EUCLIDEAN CIRCLESFi
- Page 226 and 227: 222 SECTION 41. EUCLIDEAN CIRCLESFi
- Page 228 and 229: 224 SECTION 41. EUCLIDEAN CIRCLESFi
- Page 230 and 231: 226 SECTION 41. EUCLIDEAN CIRCLESFi
- Page 232 and 233: 228 SECTION 41. EUCLIDEAN CIRCLESBy
- Page 234 and 235: 230 SECTION 42. AREA AND CIRCUMFERE
- Page 236 and 237: 232 SECTION 42. AREA AND CIRCUMFERE
- Page 238 and 239: 234 SECTION 42. AREA AND CIRCUMFERE
- Page 240 and 241: 236 SECTION 42. AREA AND CIRCUMFERE
- Page 242 and 243: 238 SECTION 43. INDIANA BILL 246the
- Page 244 and 245: 240 SECTION 44. ESTIMATING πFigure
- Page 246 and 247: 242 SECTION 44. ESTIMATING πso tha
- Page 248 and 249: 244 SECTION 44. ESTIMATING πn π n
- Page 250 and 251: 246 SECTION 44. ESTIMATING πTable
- Page 252 and 253: 248 SECTION 44. ESTIMATING πnums =
- Page 254 and 255: 250 SECTION 44. ESTIMATING π« CC
- Page 256 and 257: 252 SECTION 45. EUCLIDEAN CONSTRUCT
- Page 258 and 259: 254 SECTION 45. EUCLIDEAN CONSTRUCT
- Page 260 and 261: 256 SECTION 45. EUCLIDEAN CONSTRUCT
- Page 264 and 265: 260 SECTION 45. EUCLIDEAN CONSTRUCT
- Page 266 and 267: 262 SECTION 45. EUCLIDEAN CONSTRUCT
- Page 268 and 269: 264 SECTION 46. HYPERBOLIC GEOMETRY
- Page 270 and 271: 266 SECTION 46. HYPERBOLIC GEOMETRY
- Page 272 and 273: 268 SECTION 46. HYPERBOLIC GEOMETRY
- Page 274 and 275: 270 SECTION 46. HYPERBOLIC GEOMETRY
- Page 276 and 277: 272SECTION 47.PERPENDICULAR LINES I
- Page 278 and 279: 274SECTION 47.PERPENDICULAR LINES I
- Page 280 and 281: 276 SECTION 48. PARALLEL LINES IN H
- Page 282 and 283: 278 SECTION 48. PARALLEL LINES IN H
- Page 284 and 285: 280 SECTION 48. PARALLEL LINES IN H
- Page 286 and 287: 282 SECTION 48. PARALLEL LINES IN H
- Page 288 and 289: 284 SECTION 49. TRIANGLES IN HYPERB
- Page 290 and 291: 286 SECTION 49. TRIANGLES IN HYPERB
- Page 292 and 293: 288 SECTION 49. TRIANGLES IN HYPERB
- Page 294 and 295: 290 SECTION 50. AREA IN HYPERBOLIC
- Page 296 and 297: 292 SECTION 50. AREA IN HYPERBOLIC
- Page 298 and 299: 294 SECTION 50. AREA IN HYPERBOLIC
- Page 300 and 301: 296 SECTION 50. AREA IN HYPERBOLIC
- Page 302 and 303: 298 SECTION 51. THE POINCARE DISK M
- Page 304 and 305: 300 SECTION 51. THE POINCARE DISK M
- Page 306 and 307: 302 SECTION 51. THE POINCARE DISK M
- Page 308 and 309: 304 SECTION 51. THE POINCARE DISK M
- Page 310 and 311: 306 SECTION 52. ARC LENGTHAs we see
SECTION 45. EUCLIDEAN CONSTRUCTIONS 259Figure 45.9: Construction 45.8, the division of a segment into n equal lengthsub-segments, illustrated for n = 3.Proof. Otherwise, we would be able to construct a segment of length π.Proof. (outline) Suppose we can trisect the angle 60 into thirds.cos 60 = 1/2, using the trigonometric identitySincecos 3θ = 4 cos 3 θ − 3 cos θif we set x = cos θ then8x 3 − 6x − 1 = 0Then one must show that (a) there are no rational solutions 2 ; and (b)if there is any solution of the form a + b √ c as a solution, we obtain acontradiction. 3Other ResultsTheorem 45.17 (Poncelet-Steiner Theorem) All constructions thatcan be performed with the straight-edge and compass can be performedwith a straight-edge alone, given a single circle and its center.2 Assume p/q is a solution; plug it in and you get that q must be a factor of 8. Byexhaustive checking one eliminates all possibilities.3 Since a + b √ c is a solution, so is a − b √ c as well as a third solution r; the sum of thesethree solutions must be zero. We add them up and solve for r and obtain the resultthat r = 2a is a solution, which contradicts the assumption that a + b √ c represents theleast-inclusive extension field of solutions.Revised: 18 Nov 2012 « CC BY-NC-ND 3.0.