Ideas in Geometry Distributing This Document
Total Page:16
File Type:pdf, Size:1020Kb
Ideas in Geometry Distributing this Document Copyright c 2009 Alison Ahlgren and Bart Snapp. This work is licensed under the Creative Commons Attribution-ShareAlike Li- cense. To view a copy of this license, visit http://creativecommons.org/licenses/by-sa/3.0/us/ or, send a letter to Creative Commons, 171 2nd Street, Suite 300, San Francisco, California, 94105, USA. This document was typeset on December 16, 2009. Preface The aim of these notes is to convey the spirit of mathematical thinking as demonstrated through topics mainly from geometry. The reader must be careful not to forget this emphasis on deduction and visual reasoning. To this end, many questions are asked in the text that follows. Sometimes these questions are answered, other times the questions are left for the reader to ponder. To let the reader know which questions are left for cogitation, a large question mark is displayed: ? The instructor of the course will address some of these questions. If a question is not discussed to the reader’s satisfaction, then I encourage the reader to put on a thinking-cap and think, think, think! If the question is still unresolved, go to the World Wide Web and search, search, search! This document is licensed under the Creative Commons Attribution-ShareAlike (CC BY-SA) License. Loosely speaking, this means that this document is avail- able for free. Anyone can get a free copy of this document (source or PDF) from the following site: http://www.math.uiuc.edu/Courses/math119/ Please report corrections, suggestions, gripes, complaints, and criticisms to: [email protected] or [email protected] Thanks and Acknowledgments This document is based on a set of lectures originally given by Bart Snapp at the University of Illinois at Urbana-Champaign in the Fall of 2005 and Spring of 2006. Each semester since, these notes have been revised and modified. A growing number of instructors have made contributions, including Tom Cooney, Melissa Dennison, Jesse Miller, and Bart Snapp. Thanks to Alison Ahlgren, the Quantitative Reasoning Coordinator at the University of Illinois at Urbana-Champaign, for developing this course and for working with me and all the other instructors during the continual development of this document. Also thanks to Harry Calkins for help with Mathematica graphics and acting as a sounding-board for some of the ideas expressed in this document. In 2009, Greg Williams, a Master of Arts in Teaching student at Coastal Car- olina University, worked with Bart Snapp to produce the chapter on geometric transformations. A number of students have also contributed to this document by either typing or suggesting problems. They are: Camille Brooks, Michelle Bruno, Marissa Colatosti, Katie Colby, Anthony ‘Tino’ Forneris, Amanda Genovise, Melissa Peterson, Nicole Petschenko, Jason Reczek, Christina Reincke, David Seo, Adam Shalzi, Allice Son, Katie Strle, Beth Vaughn. Contents 1 Beginnings, Axioms, and Viewpoints 1 1.1 Euclid and Beyond . 1 1.1.1 The Most Successful Textbook Ever Written . 1 1.1.2 The Parallel Postulate . 5 1.2 PointsofView ............................ 12 1.2.1 Synthetic Geometry . 13 1.2.2 Algebraic Geometry . 14 1.2.3 Analytic Geometry . 17 1.3 CityGeometry ............................ 23 1.3.1 GettingWorkDone ..................... 25 1.3.2 (Un)Common Structures . 28 2 Proof by Picture 38 2.1 BasicSetTheory ........................... 38 2.1.1 Union ............................. 39 2.1.2 Intersection .......................... 39 2.1.3 Complement ......................... 40 2.1.4 Putting Things Together . 41 2.2 Logic.................................. 45 2.3 Tessellations.............................. 51 2.3.1 Tessellations and Art . 52 2.4 ProofbyPicture ........................... 56 2.4.1 Proofs Involving Right Triangles . 56 2.4.2 Proofs Involving Boxy Things . 60 2.4.3 Proofs Involving Sums . 62 2.4.4 Proofs Involving Sequences . 66 2.4.5 Thinking Outside the Box . 67 3 Topics in Plane Geometry 81 3.1 Triangles ............................... 81 3.1.1 Centers in Triangles . 81 3.1.2 Theorems about Triangles . 85 3.2 Numbers................................ 91 3.2.1 Areas ............................. 91 3.2.2 Ratios............................. 92 3.2.3 Combining Areas and Ratios—Probability . 100 4 Compass and Straightedge Constructions 113 4.1 Constructions............................. 113 4.2 Trickier Constructions . 122 4.2.1 Challenge Constructions . 123 4.2.2 Problem Solving Strategies . 127 4.3 Constructible Numbers . 130 4.4 Impossibilities............................. 140 4.4.1 Doubling the Cube . 140 4.4.2 Squaring the Circle . 140 4.4.3 Trisecting the Angle . 141 5 Transformations 144 5.1 Basic Transformations . 144 5.1.1 Translations.......................... 145 5.1.2 Reflections . 147 5.1.3 Rotations ........................... 149 5.2 The Algebra of Transformations . 156 5.2.1 Matrix Multiplication . 156 5.2.2 Compositions of Transformations . 157 5.2.3 Mixing and Matching . 160 5.3 The Theory of Groups . 164 5.3.1 Groups of Reflections . 164 5.3.2 Groups of Rotations . 165 5.3.3 SymmetryGroups ...................... 166 6 Convex Sets 170 6.1 BasicDefinitions ........................... 170 6.1.1 An Application . 173 6.2 Convex Sets in Three Dimensions . 177 6.2.1 Analogies to Two Dimensions . 177 6.2.2 Platonic Solids . 177 6.3 Ideas Related to Convexity . 182 6.3.1 The Convex Hull . 182 6.3.2 Sets of Constant Width . 182 6.4 Advanced Theorems . 187 References and Further Reading 189 Index 191 Chapter 1 Beginnings, Axioms, and Viewpoints Since you are now studying geometry and trigonometry, I will give you a problem. A ship sails the ocean. It left Boston with a cargo of wool. It grosses 200 tons. It is bound for Le Havre. The mainmast is broken, the cabin boy is on deck, there are 12 passengers aboard, the wind is blowing East-North-East, the clock points to a quarter past three in the afternoon. It is the month of May. How old is the captain? —Gustave Flaubert 1.1 Euclid and Beyond 1.1.1 The Most Successful Textbook Ever Written Question Think of all the books that were ever written. What are some of the most influential of these? ? The Elements by the Greek mathematician Euclid of Alexandria should be high on this list. Euclid lived in Alexandria, Egypt, around 300 BC. His book, The Elements is an attempt to compile and write down everything that was known about geometry. This book is perhaps the most successful textbook ever written, having been used in nearly all universities up until the 20th century. Even today its heritage can be seen in scientific thought and writing. Here are three reasons this book is so important: (1) The Elements is of practical use. (2) The Elements contains powerful ideas. 1 1.1. EUCLID AND BEYOND (3) The Elements provides a playground for the development of logical thought. We’ll address each of these in turn. The Elements is of practical use. Any time something large is built, some geometry must be used. The roads we drive on every day, the buildings we live in, the malls we shop at, the stadiums our favorite sports teams compete in; in short, if it is bigger than a shack, then geometry must have been used at some point. Moreover, geometry is crucial to modern transportation—in fact, any large scale transportation. An airplane could never make it to its destination without geometry, nor could any ship at sea. People of the past were faced with the difficulties of geometry on a continuing basis. Euclid’s The Elements was their handbook to solve everyday problems. The Elements contains powerful ideas. Around 200 BC, the head librar- ian at the Great Library of Alexandria was a man by the name of Eratosthenes. Not only was Eratosthenes a great athlete, he was a scholar of astronomy, ethics, music, philosophy, poetry, theater, and important to this discussion, mathemat- ics. His nickname was Beta, the second letter in the Greek alphabet. This is because with so many interests and accomplishments, he seemed to be second best at everything in the world. It came to Eratosthenes that every year, on the longest day of the year, at noon, sunlight would shine down to the bottom of a deep well located in present day city of Aswan, Egypt. Eratosthenes reasoned that this meant that the sun was directly overhead Aswan at this time. However, Eratosthenes knew that the sun was not directly overhead in Alexandria. He realized that the situation must be something like this: Alexandria Sun’s rays Aswan center of the Earth Using ideas found in The Elements, Eratosthenes realized that if he drew imagi- nary lines from Alexandria and Aswan down to the center of the Earth, and if he could compute the angle between these lines, then to compute the circumference 2 CHAPTER 1. BEGINNINGS, AXIOMS, AND VIEWPOINTS of the Earth he would need only to solve the equation: total degrees in a circle circumference of the Earth = angle between the cities distance between the cities Thus Eratosthenes hired a man to pace the distance from Alexandria to Aswan. It was found to be about 5000 stadia. A stadia is an ancient unit of measurement which is the the length of a stadium. To measure the angle, he measured the angle of the shadow of a perpendicular stick in Alexandria, and found: Sun’s rays stick ground Where the lower left angle is about 83◦ and the upper right angle is about 7◦. Thus we have 360 x 360 = 5000 = x. 7 5000 ⇒ 7 · So we see that x, the circumference of the Earth is about 250000 stadia. Unfortunately, as you may realize, the length of a stadium can vary. If the length of the stadium is defined to be 157 meters, the length of an ancient Egyptian stadium, then it can be calculated that the circumference of the Earth is about 39250 kilometers.