DOCSLIB.ORG

The Foundations of Geometry Second Edition

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Foundations of Geometry Second Edition i i i For use by the Norwegian University of Science and Technology i The Foundations of Geometry Second Edition Gerard A. Venema Department of Mathematics and Statistics Calvin College Upper Saddle River, New Jersey 07458 Copyright Pearson. All Rights Reserved. i i i i i i i For use by the Norwegian University of Science and Technology i Library of Congress Cataloging-in-Publication Data Venema, Gerard. The foundations of geometry / Gerard A. Venema. -- 2nd ed. p. cm. Includes bibliographical references index. ISBN 0-13-602058-5 1. Geometry--Foundations--Textbooks. I. Title. QA445.V455 2012 2012 514--dc22 2011002700 CIP Acquisitions Editor: Marnie Greenhut Assistant Editor: Elle Driska Senior Managing Editor: Karen Wernholm Production Project Manager: Beth Houston Marketing Manager: Roxanne McCarley Marketing Assistant: Caitlin Crane Senior Author Support/Technology Specialist: Joe Vetere Senior Manufacturing Buyer: Carol Melville Design Manager: Andrea Nix Senior Design Specialist: Heather Scott Cover Image Credit: Science and Society/Superstock 2012, 2006 Pearson Education, Inc. Pearson Prentice Hall Pearson Education, Inc. Upper Saddle River, New Jersey 07458 All rights reserved. No part of this book may be reproduced, in any form or by any means, without permission in writing from the publisher. Pearson Prentice HallTM is a trademark of Pearson Education, Inc. Printed in the United States of America 10 9 8 7 6 5 4 3 2 1 ISBN 0-13-602058-5 Pearson Education LTD., London Pearson Education Australia PTY, Limited, Sydney Pearson Education Singapore, Pte. Ltd Pearson Education North Asia Ltd, Hong Kong Pearson Education Canada, Ltd., Toronto Pearson Educacion de Mexico, S.A. de C.V. Pearson Education - Japan, Tokyo Pearson Education Malaysia, Pte. Ltd Copyright Pearson. All Rights Reserved. i i i i i i i For use by the Norwegian University of Science and Technology i To my family: Patricia, Sara, Emily, Daniel, David, Christian, and Ian. Copyright Pearson. All Rights Reserved. i i i i i i i For use by the Norwegian University of Science and Technology i Copyright Pearson. All Rights Reserved. i i i i i i i For use by the Norwegian University of Science and Technology i Contents Preface ix 1 Prologue: Euclid’s Elements 1 1.1 Geometry before Euclid . 1 1.2 The logical structure of Euclid’s Elements ................... 2 1.3 The historical significance of Euclid’s Elements ................ 3 1.4 A look at Book I of the Elements ........................ 4 1.5 A critique of Euclid’s Elements ......................... 7 1.6 Final observations about the Elements ..................... 9 2 Axiomatic Systems and Incidence Geometry 14 2.1 The structure of an axiomatic system . 14 2.2 An example: Incidence geometry . 16 2.3 The parallel postulates in incidence geometry . 20 2.4 Axiomatic systems and the real world . 22 2.5 Theorems, proofs, and logic . 24 2.6 Some theorems from incidence geometry . 32 3 Axioms for Plane Geometry 35 3.1 The undefined terms and two fundamental axioms . 36 3.2 Distance and the Ruler Postulate . 37 3.3 Plane separation . 46 3.4 Angle measure and the Protractor Postulate . 51 3.5 The Crossbar Theorem and the Linear Pair Theorem . 55 3.6 The Side-Angle-Side Postulate . 62 3.7 The parallel postulates and models . 66 4 Neutral Geometry 69 4.1 The Exterior Angle Theorem and existence of perpendiculars . 70 4.2 Triangle congruence conditions . 74 4.3 Three inequalities for triangles . 77 4.4 The Alternate Interior Angles Theorem . 82 4.5 The Saccheri-Legendre Theorem . 84 4.6 Quadrilaterals . 88 4.7 Statements equivalent to the Euclidean Parallel Postulate . 91 4.8 Rectangles and defect . 97 4.9 The Universal Hyperbolic Theorem . 104 5 Euclidean Geometry 106 5.1 Basic theorems of Euclidean geometry . 107 5.2 The Parallel Projection Theorem . 110 5.3 Similar triangles . 112 5.4 The Pythagorean Theorem . 114 5.5 Trigonometry . 116 5.6 Exploring the Euclidean geometry of the triangle . 118 v Copyright Pearson. All Rights Reserved. i i i i i i i For use by the Norwegian University of Science and Technology i vi Contents 6 Hyperbolic Geometry 131 6.1 Basic theorems of hyperbolic geometry . 133 6.2 Common perpendiculars . 138 6.3 The angle of parallelism . 140 6.4 Limiting parallel rays . 144 6.5 Asymptotic triangles . 149 6.6 The classification of parallels . 152 6.7 Properties of the critical function . 155 6.8 The defect of a triangle . 160 6.9 Is the real world hyperbolic? . 164 7 Area 167 7.1 The Neutral Area Postulate . 167 7.2 Area in Euclidean geometry . 173 7.3 Dissection theory . 180 7.4 Proof of the dissection theorem in Euclidean geometry . 181 7.5 The associated Saccheri quadrilateral . 185 7.6 Area and defect in hyperbolic geometry . 190 8 Circles 195 8.1 Circles and lines in neutral geometry . 195 8.2 Circles and triangles in neutral geometry . 200 8.3 Circles in Euclidean geometry . 206 8.4 Circular continuity . 212 8.5 Circumference and area of Euclidean circles . 215 8.6 Exploring Euclidean circles . 222 9 Constructions 228 9.1 Compass and straightedge constructions . 228 9.2 Neutral constructions . 231 9.3 Euclidean constructions . 234 9.4 Construction of regular polygons . 235 9.5 Area constructions . 239 9.6 Three impossible constructions . 242 10 Transformations 245 10.1 Properties of isometries . 246 10.2 Rotations, translations, and glide reflections . 252 10.3 Classification of Euclidean motions . 260 10.4 Classification of hyperbolic motions . 263 10.5 A transformational approach to the foundations . 265 10.6 Similarity transformations in Euclidean geometry . 270 10.7 Euclidean inversions in circles . 275 11 Models 287 11.1 The Cartesian model for Euclidean geometry . 289 11.2 The Poincare´ disk model for hyperbolic geometry . 290 11.3 Other models for hyperbolic geometry . 296 11.4 Models for elliptic geometry . 301 12 Polygonal Models and the Geometry of Space 303 12.1 Curved surfaces . 304 Copyright Pearson. All Rights Reserved. i i i i i i i For use by the Norwegian University of Science and Technology i Contents vii 12.2 Approximate models for the hyperbolic plane . 315 12.3 Geometric surfaces . 321 12.4 The geometry of the universe . 326 12.5 Conclusion . 331 12.6 Further study . 331 12.7 Templates . 336 APPENDICES A Euclid’s Book I 344 A.1 Definitions . 344 A.2 Postulates . 346 A.3 Common Notions . 346 A.4 Propositions . 346 B Systems of Axioms for Geometry 350 B.1 Hilbert’s axioms . 351 B.2 Birkhoff’s axioms . 353 B.3 MacLane’s axioms . 354 B.4 SMSG axioms . 355 B.5 UCSMP axioms . 357 C The Postulates Used in this Book 360 C.1 Criteria used in selecting the postulates . 360 C.2 Statements of the postulates . 362 C.3 Logical relationships . 363 D The van Hiele Model 365 E Set Notation and the Real Numbers 366 E.1 Some elementary set theory . 366 E.2 Axioms for the real numbers . 367 E.3 Properties of the real numbers . 368 E.4 One-to-one and onto functions . 370 E.5 Continuous functions . 371 F Hints for Selected Exercises 372 Bibliography 379 Copyright Pearson. All Rights Reserved. i i i i i i i For use by the Norwegian University of Science and Technology i Copyright Pearson. All Rights Reserved. i i i i i i i For use by the Norwegian University of Science and Technology i Preface This is a textbook for an undergraduate course in axiomatic geometry. The text is targeted at mathematics students who have completed the calculus sequence and perhaps a first course in linear algebra, but who have not yet encountered such upper-level mathematics courses as real analysis and abstract algebra. A course based on this book will enrich the education of all mathematics majors and will ease their transition into more advanced mathematics courses. The book also includes emphases that make it especially appropriate as the textbook for a geometry course taken by future high school mathematics teachers. WHAT’S NEW IN THE SECOND EDITION? For the benefit of those who have used the first edition of this book, here is a quick summary of what has changed.
Load more

Recommended publications
  • Projective Geometry: a Short Introduction
    Projective Geometry: A Short Introduction Lecture Notes Edmond Boyer Master MOSIG Introduction to Projective Geometry Contents 1 Introduction 2 1.1 Objective . .2 1.2 Historical Background . .3 1.3 Bibliography . .4 2 Projective Spaces 5 2.1 Definitions . .5 2.2 Properties . .8 2.3 The hyperplane at infinity . 12 3 The projective line 13 3.1 Introduction . 13 3.2 Projective transformation of P1 ................... 14 3.3 The cross-ratio . 14 4 The projective plane 17 4.1 Points and lines . 17 4.2 Line at infinity . 18 4.3 Homographies . 19 4.4 Conics . 20 4.5 Affine transformations . 22 4.6 Euclidean transformations . 22 4.7 Particular transformations . 24 4.8 Transformation hierarchy . 25 Grenoble Universities 1 Master MOSIG Introduction to Projective Geometry Chapter 1 Introduction 1.1 Objective The objective of this course is to give basic notions and intuitions on projective geometry. The interest of projective geometry arises in several visual comput- ing domains, in particular computer vision modelling and computer graphics. It provides a mathematical formalism to describe the geometry of cameras and the associated transformations, hence enabling the design of computational ap- proaches that manipulates 2D projections of 3D objects. In that respect, a fundamental aspect is the fact that objects at infinity can be represented and manipulated with projective geometry and this in contrast to the Euclidean geometry. This allows perspective deformations to be represented as projective transformations. Figure 1.1: Example of perspective deformation or 2D projective transforma- tion. Another argument is that Euclidean geometry is sometimes difficult to use in algorithms, with particular cases arising from non-generic situations (e.g.
    [Show full text]
  • Robot Vision: Projective Geometry
    Robot Vision: Projective Geometry Ass.Prof. Friedrich Fraundorfer SS 2018 1 Learning goals . Understand homogeneous coordinates . Understand points, line, plane parameters and interpret them geometrically . Understand point, line, plane interactions geometrically . Analytical calculations with lines, points and planes . Understand the difference between Euclidean and projective space . Understand the properties of parallel lines and planes in projective space . Understand the concept of the line and plane at infinity 2 Outline . 1D projective geometry . 2D projective geometry ▫ Homogeneous coordinates ▫ Points, Lines ▫ Duality . 3D projective geometry ▫ Points, Lines, Planes ▫ Duality ▫ Plane at infinity 3 Literature . Multiple View Geometry in Computer Vision. Richard Hartley and Andrew Zisserman. Cambridge University Press, March 2004. Mundy, J.L. and Zisserman, A., Geometric Invariance in Computer Vision, Appendix: Projective Geometry for Machine Vision, MIT Press, Cambridge, MA, 1992 . Available online: www.cs.cmu.edu/~ph/869/papers/zisser-mundy.pdf 4 Motivation – Image formation [Source: Charles Gunn] 5 Motivation – Parallel lines [Source: Flickr] 6 Motivation – Epipolar constraint X world point epipolar plane x x’ x‘TEx=0 C T C’ R 7 Euclidean geometry vs. projective geometry Definitions: . Geometry is the teaching of points, lines, planes and their relationships and properties (angles) . Geometries are defined based on invariances (what is changing if you transform a configuration of points, lines etc.) . Geometric transformations
    [Show full text]
  • Theorems and Postulates
    Theorems and Postulates JJJG Given AB and a number r between 0 and 180, there Postulate 1-A is exactly one JrayJJG with endpoint A , extending on Protractor Postulate either side of AB , such that the measure of the angle formed is r . ∠A is a right angle if mA∠ is 90. Definition of Right, Acute ∠A is an acute angle if mA∠ is less than 90. and Obtuse Angles ∠A is an obtuse angle if mA∠ is greater than 90 and less than 180. Postulate 1-B If R is in the interior of ∠PQS , then mPQRmRQSmPQS∠ +∠ =∠ . Angle Addition If mP∠+∠=∠QRmRQSmPQS, then R is in the interior of ∠PQS. Vertical angles are congruent. The sum of the measures of the angles in a linear pair is 180˚. The sum of the measures of complementary angles is 90˚. Two points on a line can be paired with real numbers so that, given Postulate 2-A any two points R and S on the line, R corresponds to zero, and S Ruler corresponds to a positive number. Point R could be paired with 0, and S could be paired with 10. R S -2 -1 0 1 2 3 4 5 6 7 8 0 1 2 3 4 5 6 7 8 9 10 Postulate 2-B If N is between M and P, then MN + NP = MP. Segment Addition Conversely, if MN + NP = MP, then N is between M and P. Theorem 2-A In a right triangle, the sum of the squares of the measures Pythagorean of the legs equals the square of the measure of the Theorem hypotenuse.
    [Show full text]
  • History of Mathematics
    Georgia Department of Education History of Mathematics K-12 Mathematics Introduction The Georgia Mathematics Curriculum focuses on actively engaging the students in the development of mathematical understanding by using manipulatives and a variety of representations, working independently and cooperatively to solve problems, estimating and computing efficiently, and conducting investigations and recording findings. There is a shift towards applying mathematical concepts and skills in the context of authentic problems and for the student to understand concepts rather than merely follow a sequence of procedures. In mathematics classrooms, students will learn to think critically in a mathematical way with an understanding that there are many different ways to a solution and sometimes more than one right answer in applied mathematics. Mathematics is the economy of information. The central idea of all mathematics is to discover how knowing some things well, via reasoning, permit students to know much else—without having to commit the information to memory as a separate fact. It is the reasoned, logical connections that make mathematics coherent. The implementation of the Georgia Standards of Excellence in Mathematics places a greater emphasis on sense making, problem solving, reasoning, representation, connections, and communication. History of Mathematics History of Mathematics is a one-semester elective course option for students who have completed AP Calculus or are taking AP Calculus concurrently. It traces the development of major branches of mathematics throughout history, specifically algebra, geometry, number theory, and methods of proofs, how that development was influenced by the needs of various cultures, and how the mathematics in turn influenced culture. The course extends the numbers and counting, algebra, geometry, and data analysis and probability strands from previous courses, and includes a new history strand.
    [Show full text]
  • Circle Theorems
    Circle theorems A LEVEL LINKS Scheme of work: 2b. Circles – equation of a circle, geometric problems on a grid Key points • A chord is a straight line joining two points on the circumference of a circle. So AB is a chord. • A tangent is a straight line that touches the circumference of a circle at only one point. The angle between a tangent and the radius is 90°. • Two tangents on a circle that meet at a point outside the circle are equal in length. So AC = BC. • The angle in a semicircle is a right angle. So angle ABC = 90°. • When two angles are subtended by the same arc, the angle at the centre of a circle is twice the angle at the circumference. So angle AOB = 2 × angle ACB. • Angles subtended by the same arc at the circumference are equal. This means that angles in the same segment are equal. So angle ACB = angle ADB and angle CAD = angle CBD. • A cyclic quadrilateral is a quadrilateral with all four vertices on the circumference of a circle. Opposite angles in a cyclic quadrilateral total 180°. So x + y = 180° and p + q = 180°. • The angle between a tangent and chord is equal to the angle in the alternate segment, this is known as the alternate segment theorem. So angle BAT = angle ACB. Examples Example 1 Work out the size of each angle marked with a letter. Give reasons for your answers. Angle a = 360° − 92° 1 The angles in a full turn total 360°. = 268° as the angles in a full turn total 360°.
    [Show full text]
  • Downloaded from Bookstore.Ams.Org 30-60-90 Triangle, 190, 233 36-72
    Index 30-60-90 triangle, 190, 233 intersects interior of a side, 144 36-72-72 triangle, 226 to the base of an isosceles triangle, 145 360 theorem, 96, 97 to the hypotenuse, 144 45-45-90 triangle, 190, 233 to the longest side, 144 60-60-60 triangle, 189 Amtrak model, 29 and (logical conjunction), 385 AA congruence theorem for asymptotic angle, 83 triangles, 353 acute, 88 AA similarity theorem, 216 included between two sides, 104 AAA congruence theorem in hyperbolic inscribed in a semicircle, 257 geometry, 338 inscribed in an arc, 257 AAA construction theorem, 191 obtuse, 88 AAASA congruence, 197, 354 of a polygon, 156 AAS congruence theorem, 119 of a triangle, 103 AASAS congruence, 179 of an asymptotic triangle, 351 ABCD property of rigid motions, 441 on a side of a line, 149 absolute value, 434 opposite a side, 104 acute angle, 88 proper, 84 acute triangle, 105 right, 88 adapted coordinate function, 72 straight, 84 adjacency lemma, 98 zero, 84 adjacent angles, 90, 91 angle addition theorem, 90 adjacent edges of a polygon, 156 angle bisector, 100, 147 adjacent interior angle, 113 angle bisector concurrence theorem, 268 admissible decomposition, 201 angle bisector proportion theorem, 219 algebraic number, 317 angle bisector theorem, 147 all-or-nothing theorem, 333 converse, 149 alternate interior angles, 150 angle construction theorem, 88 alternate interior angles postulate, 323 angle criterion for convexity, 160 alternate interior angles theorem, 150 angle measure, 54, 85 converse, 185, 323 between two lines, 357 altitude concurrence theorem,
    [Show full text]
  • David Hilbert's Contributions to Logical Theory
    David Hilbert’s contributions to logical theory CURTIS FRANKS 1. A mathematician’s cast of mind Charles Sanders Peirce famously declared that “no two things could be more directly opposite than the cast of mind of the logician and that of the mathematician” (Peirce 1976, p. 595), and one who would take his word for it could only ascribe to David Hilbert that mindset opposed to the thought of his contemporaries, Frege, Gentzen, Godel,¨ Heyting, Łukasiewicz, and Skolem. They were the logicians par excellence of a generation that saw Hilbert seated at the helm of German mathematical research. Of Hilbert’s numerous scientific achievements, not one properly belongs to the domain of logic. In fact several of the great logical discoveries of the 20th century revealed deep errors in Hilbert’s intuitions—exemplifying, one might say, Peirce’s bald generalization. Yet to Peirce’s addendum that “[i]t is almost inconceivable that a man should be great in both ways” (Ibid.), Hilbert stands as perhaps history’s principle counter-example. It is to Hilbert that we owe the fundamental ideas and goals (indeed, even the name) of proof theory, the first systematic development and application of the methods (even if the field would be named only half a century later) of model theory, and the statement of the first definitive problem in recursion theory. And he did more. Beyond giving shape to the various sub-disciplines of modern logic, Hilbert brought them each under the umbrella of mainstream mathematical activity, so that for the first time in history teams of researchers shared a common sense of logic’s open problems, key concepts, and central techniques.
    [Show full text]
  • Geometry Unit 4 Vocabulary Triangle Congruence
    Geometry Unit 4 Vocabulary Triangle Congruence Biconditional statement – A is a statement that contains the phrase “if and only if.” Writing a biconditional statement is equivalent to writing a conditional statement and its converse. Congruence Transformations–transformations that preserve distance, therefore, creating congruent figures Congruence – the same shape and the same size Corresponding Parts of Congruent Triangles are Congruent CPCTC – the angle made by two lines with a common vertex. (When two lines meet at a common point Included angle (vertex) the angle between them is called the included angle. The two lines define the angle.) Included side – the common side of two legs. (Usually found in triangles and other polygons, the included side is the one that links two angles together. Think of it as being “included” between 2 angles. Overlapping triangles – triangles lying on top of one another sharing some but not all sides. Theorems AAS Congruence Theorem – Triangles are congruent if two pairs of corresponding angles and a pair of opposite sides are equal in both triangles. ASA Congruence Theorem -Triangles are congruent if any two angles and their included side are equal in both triangles. SAS Congruence Theorem -Triangles are congruent if any pair of corresponding sides and their included angles are equal in both triangles. SAS SSS Congruence Theorem -Triangles are congruent if all three sides in one triangle are congruent to the corresponding sides in the other. Special congruence theorem for RIGHT TRIANGLES! .
    [Show full text]
  • A Congruence Problem for Polyhedra
    A congruence problem for polyhedra Alexander Borisov, Mark Dickinson, Stuart Hastings April 18, 2007 Abstract It is well known that to determine a triangle up to congruence requires 3 measurements: three sides, two sides and the included angle, or one side and two angles. We consider various generalizations of this fact to two and three dimensions. In particular we consider the following question: given a convex polyhedron P , how many measurements are required to determine P up to congruence? We show that in general the answer is that the number of measurements required is equal to the number of edges of the polyhedron. However, for many polyhedra fewer measurements suffice; in the case of the cube we show that nine carefully chosen measurements are enough. We also prove a number of analogous results for planar polygons. In particular we describe a variety of quadrilaterals, including all rhombi and all rectangles, that can be determined up to congruence with only four measurements, and we prove the existence of n-gons requiring only n measurements. Finally, we show that one cannot do better: for any ordered set of n distinct points in the plane one needs at least n measurements to determine this set up to congruence. An appendix by David Allwright shows that the set of twelve face-diagonals of the cube fails to determine the cube up to conjugacy. Allwright gives a classification of all hexahedra with all face- diagonals of equal length. 1 Introduction We discuss a class of problems about the congruence or similarity of three dimensional polyhedra.
    [Show full text]
  • Read Book Advanced Euclidean Geometry Ebook
    ADVANCED EUCLIDEAN GEOMETRY PDF, EPUB, EBOOK Roger A. Johnson | 336 pages | 30 Nov 2007 | Dover Publications Inc. | 9780486462370 | English | New York, United States Advanced Euclidean Geometry PDF Book As P approaches nearer to A , r passes through all values from one to zero; as P passes through A , and moves toward B, r becomes zero and then passes through all negative values, becoming —1 at the mid-point of AB. Uh-oh, it looks like your Internet Explorer is out of date. In Elements Angle bisector theorem Exterior angle theorem Euclidean algorithm Euclid's theorem Geometric mean theorem Greek geometric algebra Hinge theorem Inscribed angle theorem Intercept theorem Pons asinorum Pythagorean theorem Thales's theorem Theorem of the gnomon. It might also be so named because of the geometrical figure's resemblance to a steep bridge that only a sure-footed donkey could cross. Calculus Real analysis Complex analysis Differential equations Functional analysis Harmonic analysis. This article needs attention from an expert in mathematics. Facebook Twitter. On any line there is one and only one point at infinity. This may be formulated and proved algebraically:. When we have occasion to deal with a geometric quantity that may be regarded as measurable in either of two directions, it is often convenient to regard measurements in one of these directions as positive, the other as negative. Logical questions thus become completely independent of empirical or psychological questions For example, proposition I. This volume serves as an extension of high school-level studies of geometry and algebra, and He was formerly professor of mathematics education and dean of the School of Education at The City College of the City University of New York, where he spent the previous 40 years.
    [Show full text]
  • 20. Geometry of the Circle (SC)
    20. GEOMETRY OF THE CIRCLE PARTS OF THE CIRCLE Segments When we speak of a circle we may be referring to the plane figure itself or the boundary of the shape, called the circumference. In solving problems involving the circle, we must be familiar with several theorems. In order to understand these theorems, we review the names given to parts of a circle. Diameter and chord The region that is encompassed between an arc and a chord is called a segment. The region between the chord and the minor arc is called the minor segment. The region between the chord and the major arc is called the major segment. If the chord is a diameter, then both segments are equal and are called semi-circles. The straight line joining any two points on the circle is called a chord. Sectors A diameter is a chord that passes through the center of the circle. It is, therefore, the longest possible chord of a circle. In the diagram, O is the center of the circle, AB is a diameter and PQ is also a chord. Arcs The region that is enclosed by any two radii and an arc is called a sector. If the region is bounded by the two radii and a minor arc, then it is called the minor sector. www.faspassmaths.comIf the region is bounded by two radii and the major arc, it is called the major sector. An arc of a circle is the part of the circumference of the circle that is cut off by a chord.
    [Show full text]
  • Understand the Principles and Properties of Axiomatic (Synthetic
    Michael Bonomi Understand the principles and properties of axiomatic (synthetic) geometries (0016) Euclidean Geometry: To understand this part of the CST I decided to start off with the geometry we know the most and that is Euclidean: − Euclidean geometry is a geometry that is based on axioms and postulates − Axioms are accepted assumptions without proofs − In Euclidean geometry there are 5 axioms which the rest of geometry is based on − Everybody had no problems with them except for the 5 axiom the parallel postulate − This axiom was that there is only one unique line through a point that is parallel to another line − Most of the geometry can be proven without the parallel postulate − If you do not assume this postulate, then you can only prove that the angle measurements of right triangle are ≤ 180° Hyperbolic Geometry: − We will look at the Poincare model − This model consists of points on the interior of a circle with a radius of one − The lines consist of arcs and intersect our circle at 90° − Angles are defined by angles between the tangent lines drawn between the curves at the point of intersection − If two lines do not intersect within the circle, then they are parallel − Two points on a line in hyperbolic geometry is a line segment − The angle measure of a triangle in hyperbolic geometry < 180° Projective Geometry: − This is the geometry that deals with projecting images from one plane to another this can be like projecting a shadow − This picture shows the basics of Projective geometry − The geometry does not preserve length
    [Show full text]