Classical theorems on hyperbolic triangles from a projective point of view

Save this PDF as:

Size: px
Start display at page:

Download "Classical theorems on hyperbolic triangles from a projective point of view"

Transcription

1 tmcs-szilasi 2012/3/1 0:14 page 175 #1 10/1 (2012), Classical theorems on hyperbolic triangles from a projective point of view Zoltán Szilasi Abstract. Using the Cayley-Klein model of hyperbolic geometry and the tools of projective geometry, we present elementary proofs for the hyperbolic versions of some classical theorems on triangles. We show, in particular, that hyperbolic triangles have no Euler line. Key words and phrases: Cayley-Klein plane, hyperbolic triangles, Euler line. ZDM Subject Classification: G Introduction In the training of the prospective mathematics teachers hyperbolic geometry plays (or should play) an important role. Historically, it is a counterexample for Euclidean geometry, and has an equally rich structure. This richness makes hyperbolic geometry also an active area of contemporary mathematics. Pedagogically, it suggests very efficiently that mathematical thinking relies only on axioms and deduction rules, and it is independent of what we see - sometimes it contradicts our view. It was a great challenge also for the greatest mathematicians to find out and prove that the axiom of parallels is not necesserily true in the Euclidean way, and a meaningful geometry can be built from its negation as well. For the students, the Cayley-Klein model very convincingly demonstrates an absolute geometry where the Euclidean axiom of parallels does not hold. Copyright c 2012 by University of Debrecen

2 tmcs-szilasi 2012/3/1 0:14 page 176 #2 176 Zoltán Szilasi In this paper we present an elementary exposition of some classical theorems of hyperbolic geometry assuming a solid knowledge of projective geometry. It turns out that in hyperbolic geometry a useful method of solving problems is to translate them into the language of projective geometry. Our theorems also give an opportunity for comparing Euclidean and hyperbolic geometry, since most of them are true in the Euclidean plane as well, but our last theorem concerning the Euler line indicates an interesting difference between Euclidean and hyperbolic triangles. 2. Preliminaries Let a nondegenerate conic be given in the real projective plane. We call this conic the absolute conic. The inner points of the conic are called hyperbolic points, and the subsets of the projective lines consisting of hyperbolic points are the hyperbolic lines. The original projective line is called the projective line corresponding to the hyperbolic line. Let the isometries be the restrictions of the automorphisms of the given conic to the set of hyperbolic points. Thus we obtain an absolute plane, called the Cayley-Klein plane. It can be shown that every hyperbolic plane is isomorphic to the Cayley-Klein plane. We say that a set of hyperbolic lines forms a pencil if the corresponding projective lines are concurrent. If their common point is a hyperbolic point, then the hyperbolic lines are concurrent. Otherwise, if their common point is on the absolute conic, they are called asymptotically parallel lines, and if their common point is an outer point of the absolute conic, they are called ultraparallel lines. Concerning the preliminaries on projective geometry we refer to [2] or [4]. The following theorem of Chasles plays an important role in our considerations, so we formulate it explicitly: Theorem 1 (Chasles). Suppose that a triangle is different from the triangle formed by the polars of its vertices with respect to a given conic (i.e. its polar triangle). Then the triangle is perspective to its polar triangle. Since the only involutory collineations of the real projective plane are the harmonic homologies, and a harmonic homology is an automorphism of a given conic if and only if its centre is the pole of its axis, it follows that the reflection with respect to a hyperbolic line t is the restriction of the harmonic homology

3 tmcs-szilasi 2012/3/1 0:14 page 177 #3 Classical theorems on hyperbolic triangles from a projective point of view 177 whose axis is the projective line corresponding t, and whose centre is the pole of t with respect to the absolute conic. Figure 1. Reflection with respect to t in the Cayley-Klein plane Since a line is perpendicular to t if and only if it is a non-pointwise fixed invariant line of the reflection with respect to t, the lines perpendicular to t are just the lines whose corresponding projective lines pass through the pole of t. This means that two hyperbolic lines are perpendicular if and only if their corresponding projective lines are conjugate with respect to the absolute conic. A point M is the midpoint of the segment AB if and only if there is a reflection whose axis passes through M, and that sends A to B. Let the centre of the harmonic homology corresponding to this reflection be M 1. Then M and M 1 are conjugate with respect to the absolute conic and they are harmonic conjugate with respect to A and B. This means that the quadruples (ABMM 1 ) and (XY MM 1 ), where X and Y are the intersections of the absolute conic and the projective line corresponding to AB (i.e. the ends of AB), are harmonic. Using some elementary facts of projective geometry, the following observations can easily be proved. For every quadruple of distinct collinear points A, B, X, Y, where (AB) does not seperate (XY ), there is exactly one pair of points (M, M 1 ) such that both (ABMM 1 ) and (XY MM 1 ) are harmonic. If A and B are hyperbolic points, X and Y are the ends of AB, then only one member of the pair is inside the absolute conic. This point is the midpoint of the segment

4 tmcs-szilasi 2012/3/1 0:14 page 178 #4 178 Zoltán Szilasi AB. The other point of the pair is called the outer point corresponding to the midpoint. 3. Triangle geometry in the Cayley-Klein plane In the following we are going to prove some famous theorems concerning the geometry of hyperbolic triangles. Since every hyperbolic plane is isomorphic to the Cayley-Klein plane, we may restrict ourselves to the Cayley-Klein plane. Figure 2. The altitudes of a hyperbolic triangle form a pencil. Theorem 2. The altitudes of every hyperbolic triangle form a pencil. Proof. Let ABC be a hyperbolic triangle. Let the poles of the projective lines corresponding to BC, CA and AB be A, B and C, respectively. Then the projective lines corresponding to the altitudes of ABC are AA, BB and CC. By our construction the polar triangle of the projective triangle A B C is ABC,

5 tmcs-szilasi 2012/3/1 0:14 page 179 #5 Classical theorems on hyperbolic triangles from a projective point of view 179 and by the theorem of Chasles these triangles are perspective, therefore AA, BB and CC are concurrent projective lines. The previous proof can be found in [2]. In the next theorems we use similar techniques to deduce further important results. The key of our reasoning is the following observation. Key Lemma. The outer points corresponding to the midpoints of the sides of a hyperbolic triangle are collinear. Figure 3. The outer points corresponding to the midpoints of the sides of a hyperbolic triangle are collinear. Proof. Let the given hyperbolic triangle be ABC. Denote the midpoints of its sides by A 0, B 0, C 0, and the corresponding outer points by A 1, B 1, C 1. One of the diagonal points of the complete quadrangle C 1 B 1 B 0 C 0 is A. The other two diagonal points are incident to the line BC, since (C 0 C 1 AB) and (B 0 B 1 AC) are both harmonic tetrads. Let these diagonal points be {A 0} := B 0 C 1 C 0 B 1 and {A 1 } := B 0 C 0 B 1 C 1. We prove that A 0 and A 1 are conjugate with respect to the absolute conic. From this our Lemma follows, since by the harmonic property of the complete quadrangles A 0 and A 1 are harmonic conjugates with respect to B and C, so in this case A 0 = A 0 and A 1 = A 1.

6 tmcs-szilasi 2012/3/1 0:14 page 180 #6 180 Zoltán Szilasi We apply the theorem of Chasles to the triangle A 0B 0 C 0. The polar of C 0 intersects the line A 0 B 0 at C 1, since C 1 and C 0 are conjugates with respect to the absolute conic. The polar of B 0 intersects the line A 0 C 0 at B 1, since B 1 and B 0 are also conjugates with respect to the absolute conic. This means that the intersection of B 0 C 0 and the polar of A 0 must be on the line B 1 C 1, so A 1 is on the polar of A 0. So it follows that A 0 and A 1 are conjugates with respect to the absolute conic, as was to be shown. Theorem 3. The perpendicular bisectors of the sides of a hyperbolic triangle form a pencil. Proof. We use the notations of the previous Lemma. The perpendicular bisectors of the sides of the triangle ABC are the polars of A 1, B 1 and C 1. Since A 1, B 1 and C 1 are collinear, their polars are concurrent. This proves our assertion. Theorem 4. The midlines of every hyperbolic triangle form a pencil. Proof. Again, we use the notations of the Key Lemma. Since the triangles ABC and A 0 B 0 C 0 are axially perspective (with respect to the line passing through A 1, B 1 and C 1 ), by the theorem of Desargues they are also centrally perspective. This means that the projective lines corresponding to the midlines of any hyperbolic triangle are concurrent. As it is well-known, the previous theorems are true in Euclidean geometry as well. In the Euclidean case the common points of altitudes, perpendicular bisectors and midlines always exist; they are called orthocentre, circumcentre and centroid, respectively. It is also true in the Euclidean geometry that these points are collinear (if the points do not coincide), their common line is called the Euler line of the triangle. Now we find, however, an essential difference between the Euclidean and the hyperbolic case. In [3] J. R. Klus studied some concrete examples and conjectured that in hyperbolic geometry the only triangles with collinear orthocentre, circumcentre and centroid are the isosceles triangles. Applying our methods, we prove this assertion, thus we give an essentially simpler new proof of a theorem of R. Baldus [1]. Theorem 5. The orthocentre, circumcentre and centroid of a hyperbolic triangle are collinear if and only if the triangle is isosceles.

7 tmcs-szilasi 2012/3/1 0:14 page 181 #7 Classical theorems on hyperbolic triangles from a projective point of view 181 Proof. We keep our previous notations: the given triangle is ABC, the midpoints of the corresponding sides are A 0, B 0 and C 0, and the poles of the projective lines corresponding to the sides are A, B and C. Then the orthocentre of the triangle is AA BB, the circumcentre is A 0 A B 0 B, and the centroid is AA 0 BB 0. Suppose that the triangle ABC is not isosceles. Then A, A, A 0 and B, B, B 0 are not collinear triples of points. In this case, the orthocentre, the circumcentre and the centroid are collinear if and only if the triangles AA A 0 and BB B 0 are axially perspective. By the theorem of Desargues, it holds if and only if they are centrally perspective, i.e., if AB, A B and A 0 B 0 are concurrent. Here, by our Key Lemma, AB A 0 B 0 is C 1, the outer point corresponding to the midpoint C 0. C 0 is incident with A B if and only if the polar of C 0 is incident with the intersection of the polars of A and B. The latter point is C, while the polar of C 0 is the perpendicular bisector of AB. If C is on this line, then the perpendicular bisector, the altitude and the midline corresponding to C coincide. This contradicts our assumption that the triangle is not isosceles. Conversely, if ABC is isosceles, and - for example - BC is the base of this triangle, then AA 0 is the perpendicular bisector, altitude and midline of this triangle at the same time. Thus the orthocentre, the circumcentre and the centroid are incident with this line as well, so in this case the three points are collinear. References [1] R. Baldus, Über Eulers Dreieckssatz in der Absoluten Geometrie, Sitzungsberichte der Heidelberger Akademie der Wissenschaften, Math.-naturw. Kl. 11 (1929). [2] H. S. M. Coxeter, Non-Euclidean Geometry, Sixth edition, Mathematical Association of America, [3] J. R. Klus, The Euler Line in Hyperbolic Geometry, SUNY Geneseo Journal of Science and Mathematics 1, no. 1 (2000), [4] J. Richter-Gebert, Perspectives on Projective Geometry, Springer-Verlag, Berlin, ZOLTÁN SZILASI INSTITUTE OF MATHEMATICS UNIVERSITY OF DEBRECEN H-4010 DEBRECEN HUNGARY (Received June, 2011)

DEFINITIONS. Perpendicular Two lines are called perpendicular if they form a right angle.

DEFINITIONS Degree A degree is the 1 th part of a straight angle. 180 Right Angle A 90 angle is called a right angle. Perpendicular Two lines are called perpendicular if they form a right angle. Congruent

INCIDENCE-BETWEENNESS GEOMETRY

INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full

Curriculum Map by Block Geometry Mapping for Math Block Testing 2007-2008. August 20 to August 24 Review concepts from previous grades.

Curriculum Map by Geometry Mapping for Math Testing 2007-2008 Pre- s 1 August 20 to August 24 Review concepts from previous grades. August 27 to September 28 (Assessment to be completed by September 28)

INTRODUCTION TO EUCLID S GEOMETRY

78 MATHEMATICS INTRODUCTION TO EUCLID S GEOMETRY CHAPTER 5 5.1 Introduction The word geometry comes form the Greek words geo, meaning the earth, and metrein, meaning to measure. Geometry appears to have

Chapter 3.1 Angles. Geometry. Objectives: Define what an angle is. Define the parts of an angle.

Chapter 3.1 Angles Define what an angle is. Define the parts of an angle. Recall our definition for a ray. A ray is a line segment with a definite starting point and extends into infinity in only one direction.

1. A student followed the given steps below to complete a construction. Which type of construction is best represented by the steps given above?

1. A student followed the given steps below to complete a construction. Step 1: Place the compass on one endpoint of the line segment. Step 2: Extend the compass from the chosen endpoint so that the width

Incenter Circumcenter

TRIANGLE: Centers: Incenter Incenter is the center of the inscribed circle (incircle) of the triangle, it is the point of intersection of the angle bisectors of the triangle. The radius of incircle is

Geometry: Unit 1 Vocabulary TERM DEFINITION GEOMETRIC FIGURE. Cannot be defined by using other figures.

Geometry: Unit 1 Vocabulary 1.1 Undefined terms Cannot be defined by using other figures. Point A specific location. It has no dimension and is represented by a dot. Line Plane A connected straight path.

Notes from February 11

Notes from February 11 Math 130 Course web site: www.courses.fas.harvard.edu/5811 Two lemmas Before proving the theorem which was stated at the end of class on February 8, we begin with two lemmas. The

@12 @1. G5 definition s. G1 Little devils. G3 false proofs. G2 sketches. G1 Little devils. G3 definition s. G5 examples and counters

Class #31 @12 @1 G1 Little devils G2 False proofs G3 definition s G4 sketches G5 examples and counters G1 Little devils G2 sketches G3 false proofs G4 examples and counters G5 definition s Jacob Amanda

Inversion. Chapter 7. 7.1 Constructing The Inverse of a Point: If P is inside the circle of inversion: (See Figure 7.1)

Chapter 7 Inversion Goal: In this chapter we define inversion, give constructions for inverses of points both inside and outside the circle of inversion, and show how inversion could be done using Geometer

Show all work for credit. Attach paper as needed to keep work neat & organized.

Geometry Semester 1 Review Part 2 Name Show all work for credit. Attach paper as needed to keep work neat & organized. Determine the reflectional (# of lines and draw them in) and rotational symmetry (order

THREE DIMENSIONAL GEOMETRY

Chapter 8 THREE DIMENSIONAL GEOMETRY 8.1 Introduction In this chapter we present a vector algebra approach to three dimensional geometry. The aim is to present standard properties of lines and planes,

Mathematics Geometry Unit 1 (SAMPLE)

Review the Geometry sample year-long scope and sequence associated with this unit plan. Mathematics Possible time frame: Unit 1: Introduction to Geometric Concepts, Construction, and Proof 14 days This

A Correlation of Pearson Texas Geometry Digital, 2015

A Correlation of Pearson Texas Geometry Digital, 2015 To the Texas Essential Knowledge and Skills (TEKS) for Geometry, High School, and the Texas English Language Proficiency Standards (ELPS) Correlations

Chapter 3. Inversion and Applications to Ptolemy and Euler

Chapter 3. Inversion and Applications to Ptolemy and Euler 2 Power of a point with respect to a circle Let A be a point and C a circle (Figure 1). If A is outside C and T is a point of contact of a tangent

15. Appendix 1: List of Definitions

page 321 15. Appendix 1: List of Definitions Definition 1: Interpretation of an axiom system (page 12) Suppose that an axiom system consists of the following four things an undefined object of one type,

Cevians, Symmedians, and Excircles. MA 341 Topics in Geometry Lecture 16

Cevians, Symmedians, and Excircles MA 341 Topics in Geometry Lecture 16 Cevian A cevian is a line segment which joins a vertex of a triangle with a point on the opposite side (or its extension). B cevian

Elements of Plane Geometry by LK

Elements of Plane Geometry by LK These are notes indicating just some bare essentials of plane geometry and some problems to think about. We give a modified version of the axioms for Euclidean Geometry

The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION GEOMETRY. Thursday, August 13, 2015 8:30 to 11:30 a.m., only.

GEOMETRY The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION GEOMETRY Thursday, August 13, 2015 8:30 to 11:30 a.m., only Student Name: School Name: The possession or use of any communications

Notes on the representational possibilities of projective quadrics in four dimensions

bacso 2006/6/22 18:13 page 167 #1 4/1 (2006), 167 177 tmcs@inf.unideb.hu http://tmcs.math.klte.hu Notes on the representational possibilities of projective quadrics in four dimensions Sándor Bácsó and

MA 408 Computer Lab Two The Poincaré Disk Model of Hyperbolic Geometry. Figure 1: Lines in the Poincaré Disk Model

MA 408 Computer Lab Two The Poincaré Disk Model of Hyperbolic Geometry Put your name here: Score: Instructions: For this lab you will be using the applet, NonEuclid, created by Castellanos, Austin, Darnell,

Quadrilaterals / Mathematics Unit: 11 Lesson: 01 Duration: 7 days Lesson Synopsis: In this lesson students explore properties of quadrilaterals in a variety of ways including concrete modeling, patty paper

C relative to O being abc,, respectively, then b a c.

2 EP-Program - Strisuksa School - Roi-et Math : Vectors Dr.Wattana Toutip - Department of Mathematics Khon Kaen University 200 :Wattana Toutip wattou@kku.ac.th http://home.kku.ac.th/wattou 2. Vectors A

Lecture 4 DISCRETE SUBGROUPS OF THE ISOMETRY GROUP OF THE PLANE AND TILINGS

1 Lecture 4 DISCRETE SUBGROUPS OF THE ISOMETRY GROUP OF THE PLANE AND TILINGS This lecture, just as the previous one, deals with a classification of objects, the original interest in which was perhaps

Linear Algebra I. Ronald van Luijk, 2012

Linear Algebra I Ronald van Luijk, 2012 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents 1. Vector spaces 3 1.1. Examples 3 1.2. Fields 4 1.3. The field of complex numbers. 6 1.4.

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2

CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us

1 Symmetries of regular polyhedra

1230, notes 5 1 Symmetries of regular polyhedra Symmetry groups Recall: Group axioms: Suppose that (G, ) is a group and a, b, c are elements of G. Then (i) a b G (ii) (a b) c = a (b c) (iii) There is an

Geometry - Semester 2. Mrs. Day-Blattner 1/20/2016

Geometry - Semester 2 Mrs. Day-Blattner 1/20/2016 Agenda 1/20/2016 1) 20 Question Quiz - 20 minutes 2) Jan 15 homework - self-corrections 3) Spot check sheet Thales Theorem - add to your response 4) Finding

Unit 6 Trigonometric Identities, Equations, and Applications

Accelerated Mathematics III Frameworks Student Edition Unit 6 Trigonometric Identities, Equations, and Applications nd Edition Unit 6: Page of 3 Table of Contents Introduction:... 3 Discovering the Pythagorean

2014 Chapter Competition Solutions

2014 Chapter Competition Solutions Are you wondering how we could have possibly thought that a Mathlete would be able to answer a particular Sprint Round problem without a calculator? Are you wondering

Lesson 2: Circles, Chords, Diameters, and Their Relationships

Circles, Chords, Diameters, and Their Relationships Student Outcomes Identify the relationships between the diameters of a circle and other chords of the circle. Lesson Notes Students are asked to construct

Triangle Centers MOP 2007, Black Group

Triangle Centers MOP 2007, Black Group Zachary Abel June 21, 2007 1 A Few Useful Centers 1.1 Symmedian / Lemmoine Point The Symmedian point K is defined as the isogonal conjugate of the centroid G. Problem

Section 1.1. Introduction to R n

The Calculus of Functions of Several Variables Section. Introduction to R n Calculus is the study of functional relationships and how related quantities change with each other. In your first exposure to

December 4, 2013 MATH 171 BASIC LINEAR ALGEBRA B. KITCHENS

December 4, 2013 MATH 171 BASIC LINEAR ALGEBRA B KITCHENS The equation 1 Lines in two-dimensional space (1) 2x y = 3 describes a line in two-dimensional space The coefficients of x and y in the equation

k, then n = p2α 1 1 pα k

Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square

PRIMARY CONTENT MODULE Algebra I -Linear Equations & Inequalities T-71. Applications. F = mc + b.

PRIMARY CONTENT MODULE Algebra I -Linear Equations & Inequalities T-71 Applications The formula y = mx + b sometimes appears with different symbols. For example, instead of x, we could use the letter C.

Independence of Parallel Postulate

Independence of arallel ostulate May 14, 013 1 Consistency of hyperbolic geometry For thousands of years people believe and continue to believe that there is no contradiction in Euclidean geometry, that

Tutorial 1: The Freehand Tools

UNC Charlotte Tutorial 1: The Freehand Tools In this tutorial you ll learn how to draw and construct geometric figures using Sketchpad s freehand construction tools. You ll also learn how to undo your

MA 323 Geometric Modelling Course Notes: Day 02 Model Construction Problem

MA 323 Geometric Modelling Course Notes: Day 02 Model Construction Problem David L. Finn November 30th, 2004 In the next few days, we will introduce some of the basic problems in geometric modelling, and

Baltic Way 1995. Västerås (Sweden), November 12, 1995. Problems and solutions

Baltic Way 995 Västerås (Sweden), November, 995 Problems and solutions. Find all triples (x, y, z) of positive integers satisfying the system of equations { x = (y + z) x 6 = y 6 + z 6 + 3(y + z ). Solution.

Final Review Geometry A Fall Semester

Final Review Geometry Fall Semester Multiple Response Identify one or more choices that best complete the statement or answer the question. 1. Which graph shows a triangle and its reflection image over

GeoGebra Workshop for the Initial Teacher Training in Primary Education

GeoGebra Workshop for the Initial Teacher Training in Primary Education N. Ruiz natalia.ruiz@uam.es Facultad de Formación de Profesorado y Educación (Faculty of Education) Universidad Autónoma de Madrid

Guidelines for Mathematics Laboratory in Schools Class IX

Guidelines for Mathematics Laboratory in Schools Class IX Central Board of Secondary Education Preet Vihar, Delhi 110092. 1 1. Introduction 1.1 Rationale Mathematics is erroneously regarded as a difficult

NON-EUCLIDEAN GEOMETRIES

Chapter 3 NON-EUCLIDEN GEOMETRIES In the previous chapter we began by adding Euclid s Fifth Postulate to his five common notions and first four postulates. This produced the familiar geometry of the Euclidean

TImath.com. Geometry. Points on a Perpendicular Bisector

Points on a Perpendicular Bisector ID: 8868 Time required 40 minutes Activity Overview In this activity, students will explore the relationship between a line segment and its perpendicular bisector. Once

3. Mathematical Induction

3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)

Mathematics Notes for Class 12 chapter 10. Vector Algebra

1 P a g e Mathematics Notes for Class 12 chapter 10. Vector Algebra A vector has direction and magnitude both but scalar has only magnitude. Magnitude of a vector a is denoted by a or a. It is non-negative

Cabri Geometry Application User Guide

Cabri Geometry Application User Guide Preview of Geometry... 2 Learning the Basics... 3 Managing File Operations... 12 Setting Application Preferences... 14 Selecting and Moving Objects... 17 Deleting

ISOMETRIES OF R n KEITH CONRAD

ISOMETRIES OF R n KEITH CONRAD 1. Introduction An isometry of R n is a function h: R n R n that preserves the distance between vectors: h(v) h(w) = v w for all v and w in R n, where (x 1,..., x n ) = x

The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION GEOMETRY. Thursday, August 16, 2012 8:30 to 11:30 a.m.

GEOMETRY The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION GEOMETRY Thursday, August 16, 2012 8:30 to 11:30 a.m., only Student Name: School Name: Print your name and the name of your

1.1 Identify Points, Lines, and Planes

1.1 Identify Points, Lines, and Planes Objective: Name and sketch geometric figures. Key Vocabulary Undefined terms - These words do not have formal definitions, but there is agreement aboutwhat they mean.

Graphs without proper subgraphs of minimum degree 3 and short cycles

Graphs without proper subgraphs of minimum degree 3 and short cycles Lothar Narins, Alexey Pokrovskiy, Tibor Szabó Department of Mathematics, Freie Universität, Berlin, Germany. August 22, 2014 Abstract

arxiv:1203.1525v1 [math.co] 7 Mar 2012

Constructing subset partition graphs with strong adjacency and end-point count properties Nicolai Hähnle haehnle@math.tu-berlin.de arxiv:1203.1525v1 [math.co] 7 Mar 2012 March 8, 2012 Abstract Kim defined

Geometry Chapter 1. 1.1 Point (pt) 1.1 Coplanar (1.1) 1.1 Space (1.1) 1.2 Line Segment (seg) 1.2 Measure of a Segment

Geometry Chapter 1 Section Term 1.1 Point (pt) Definition A location. It is drawn as a dot, and named with a capital letter. It has no shape or size. undefined term 1.1 Line A line is made up of points

The Inversion Transformation

The Inversion Transformation A non-linear transformation The transformations of the Euclidean plane that we have studied so far have all had the property that lines have been mapped to lines. Transformations

CHAPTER 1. LINES AND PLANES IN SPACE

CHAPTER 1. LINES AND PLANES IN SPACE 1. Angles and distances between skew lines 1.1. Given cube ABCDA 1 B 1 C 1 D 1 with side a. Find the angle and the distance between lines A 1 B and AC 1. 1.2. Given

12. Finite figures. Example: Let F be the line segment determined by two points P and Q.

12. Finite figures We now look at examples of symmetry sets for some finite figures, F, in the plane. By finite we mean any figure that can be contained in some circle of finite radius. Since the symmetry

Lecture L3 - Vectors, Matrices and Coordinate Transformations

S. Widnall 16.07 Dynamics Fall 2009 Lecture notes based on J. Peraire Version 2.0 Lecture L3 - Vectors, Matrices and Coordinate Transformations By using vectors and defining appropriate operations between

The Geometry of Piles of Salt Thinking Deeply About Simple Things

The Geometry of Piles of Salt Thinking Deeply About Simple Things PCMI SSTP Tuesday, July 15 th, 2008 By Troy Jones Willowcreek Middle School Important Terms (the word line may be replaced by the word

Subsets of Euclidean domains possessing a unique division algorithm

Subsets of Euclidean domains possessing a unique division algorithm Andrew D. Lewis 2009/03/16 Abstract Subsets of a Euclidean domain are characterised with the following objectives: (1) ensuring uniqueness

Handout NUMBER THEORY

Handout of NUMBER THEORY by Kus Prihantoso Krisnawan MATHEMATICS DEPARTMENT FACULTY OF MATHEMATICS AND NATURAL SCIENCES YOGYAKARTA STATE UNIVERSITY 2012 Contents Contents i 1 Some Preliminary Considerations

DEGREE OF NEGATION OF AN AXIOM

DEGREE OF NEGATION OF AN AXIOM Florentin Smarandache, Ph D Professor of Mathematics Chair of Department of Math & Sciences University of New Mexico 200 College Road Gallup, NM 87301, USA E-mail: smarand@unm.edu

University of Oslo MAT2 Project The Banach-Tarski Paradox Author: Fredrik Meyer Supervisor: Nadia S. Larsen Abstract In its weak form, the Banach-Tarski paradox states that for any ball in R, it is possible

Angles that are between parallel lines, but on opposite sides of a transversal.

GLOSSARY Appendix A Appendix A: Glossary Acute Angle An angle that measures less than 90. Acute Triangle Alternate Angles A triangle that has three acute angles. Angles that are between parallel lines,

Elements of Abstract Group Theory

Chapter 2 Elements of Abstract Group Theory Mathematics is a game played according to certain simple rules with meaningless marks on paper. David Hilbert The importance of symmetry in physics, and for

Lesson 33: Example 1 (5 minutes)

Student Outcomes Students understand that the Law of Sines can be used to find missing side lengths in a triangle when you know the measures of the angles and one side length. Students understand that

Factoring Patterns in the Gaussian Plane

Factoring Patterns in the Gaussian Plane Steve Phelps Introduction This paper describes discoveries made at the Park City Mathematics Institute, 00, as well as some proofs. Before the summer I understood

AUTOMATED PROOF OF GEOMETRY THEOREMS INVOLVING ORDER RELATION IN THE FRAME OF THE THEOREMA PROJECT

KNOWLEDGE ENGINEERING: PRINCIPLES AND TECHNIQUES Proceedings of the International Conference on Knowledge Engineering, Principles and Techniques, KEPT2007 Cluj-Napoca (Romania), June 6 8, 2007, pp. 307

Pigeonhole Principle Solutions

Pigeonhole Principle Solutions 1. Show that if we take n + 1 numbers from the set {1, 2,..., 2n}, then some pair of numbers will have no factors in common. Solution: Note that consecutive numbers (such

Square Roots and the Pythagorean Theorem

4.8 Square Roots and the Pythagorean Theorem 4.8 OBJECTIVES 1. Find the square root of a perfect square 2. Use the Pythagorean theorem to find the length of a missing side of a right triangle 3. Approximate

1.3. DOT PRODUCT 19. 6. If θ is the angle (between 0 and π) between two non-zero vectors u and v,

1.3. DOT PRODUCT 19 1.3 Dot Product 1.3.1 Definitions and Properties The dot product is the first way to multiply two vectors. The definition we will give below may appear arbitrary. But it is not. It

Binary Codes and Caps

Binary Codes and Caps Aiden A. Bruen, 1 Lucien Haddad, 2 David L. Wehlau 3 1 Dept. of Mathematics, University of Western Ontario, London, Ontario, Canada N6A 3K7 2 Dept. of Mathematics and Computer Science,

MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

Concepts in Calculus III

Concepts in Calculus III Beta Version UNIVERSITY PRESS OF FLORIDA Florida A&M University, Tallahassee Florida Atlantic University, Boca Raton Florida Gulf Coast University, Ft. Myers Florida International

RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES

RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES GAUTAM BHARALI AND INDRANIL BISWAS Abstract. In the study of holomorphic maps, the term rigidity refers to certain types of results that give us very specific

Section 8.8. 1. The given line has equations. x = 3 + t(13 3) = 3 + 10t, y = 2 + t(3 + 2) = 2 + 5t, z = 7 + t( 8 7) = 7 15t.

. The given line has equations Section 8.8 x + t( ) + 0t, y + t( + ) + t, z 7 + t( 8 7) 7 t. The line meets the plane y 0 in the point (x, 0, z), where 0 + t, or t /. The corresponding values for x and

GEOMETRY. Chapter 1: Foundations for Geometry. Name: Teacher: Pd:

GEOMETRY Chapter 1: Foundations for Geometry Name: Teacher: Pd: Table of Contents Lesson 1.1: SWBAT: Identify, name, and draw points, lines, segments, rays, and planes. Pgs: 1-4 Lesson 1.2: SWBAT: Use

COMPLEX NUMBERS. a bi c di a c b d i. a bi c di a c b d i For instance, 1 i 4 7i 1 4 1 7 i 5 6i

COMPLEX NUMBERS _4+i _-i FIGURE Complex numbers as points in the Arg plane i _i +i -i A complex number can be represented by an expression of the form a bi, where a b are real numbers i is a symbol with

LAKE ELSINORE UNIFIED SCHOOL DISTRICT

LAKE ELSINORE UNIFIED SCHOOL DISTRICT Title: PLATO Algebra 1-Semester 2 Grade Level: 10-12 Department: Mathematics Credit: 5 Prerequisite: Letter grade of F and/or N/C in Algebra 1, Semester 2 Course Description:

Mathematics Common Core Sample Questions

New York State Testing Program Mathematics Common Core Sample Questions Grade The materials contained herein are intended for use by New York State teachers. Permission is hereby granted to teachers and

Mathematical Induction

Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly

Vector Spaces. Chapter 2. 2.1 R 2 through R n

Chapter 2 Vector Spaces One of my favorite dictionaries (the one from Oxford) defines a vector as A quantity having direction as well as magnitude, denoted by a line drawn from its original to its final

PERIMETER AND AREA. In this unit, we will develop and apply the formulas for the perimeter and area of various two-dimensional figures.

PERIMETER AND AREA In this unit, we will develop and apply the formulas for the perimeter and area of various two-dimensional figures. Perimeter Perimeter The perimeter of a polygon, denoted by P, is the

Why do mathematicians make things so complicated?

Why do mathematicians make things so complicated? Zhiqin Lu, The Math Department March 9, 2010 Introduction What is Mathematics? Introduction What is Mathematics? 24,100,000 answers from Google. Introduction

Prime Numbers and Irreducible Polynomials

Prime Numbers and Irreducible Polynomials M. Ram Murty The similarity between prime numbers and irreducible polynomials has been a dominant theme in the development of number theory and algebraic geometry.

HIGH SCHOOL: GEOMETRY (Page 1 of 4)

HIGH SCHOOL: GEOMETRY (Page 1 of 4) Geometry is a complete college preparatory course of plane and solid geometry. It is recommended that there be a strand of algebra review woven throughout the course

HIGH SCHOOL GEOMETRY: COMPANY LOGO

HIGH SCHOOL GEOMETRY: COMPANY LOGO UNIT OVERVIEW This 3-4 week unit uses an investigation of rigid motions and geometric theorems to teach students how to verify congruence of plane figures and use the

AMC 10 Solutions Pamphlet TUESDAY, FEBRUARY 13, 2001 Sponsored by Mathematical Association of America University of Nebraska

OOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOO OOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOO AMERICAN MATHEMATICS COMPETITIONS nd Annual Mathematics Contest 10 AMC 10 Solutions Pamphlet TUESDAY, FEBRUARY 1, 001

Chapter 5: Distributed Forces; Centroids and Centers of Gravity

CE297-FA09-Ch5 Page 1 Wednesday, October 07, 2009 12:39 PM Chapter 5: Distributed Forces; Centroids and Centers of Gravity What are distributed forces? Forces that act on a body per unit length, area or

Kevin James. MTHSC 412 Section 2.4 Prime Factors and Greatest Comm

MTHSC 412 Section 2.4 Prime Factors and Greatest Common Divisor Greatest Common Divisor Definition Suppose that a, b Z. Then we say that d Z is a greatest common divisor (gcd) of a and b if the following

The positive minimum degree game on sparse graphs

The positive minimum degree game on sparse graphs József Balogh Department of Mathematical Sciences University of Illinois, USA jobal@math.uiuc.edu András Pluhár Department of Computer Science University

JUST THE MATHS UNIT NUMBER 8.5. VECTORS 5 (Vector equations of straight lines) A.J.Hobson

JUST THE MATHS UNIT NUMBER 8.5 VECTORS 5 (Vector equations of straight lines) by A.J.Hobson 8.5.1 Introduction 8.5. The straight line passing through a given point and parallel to a given vector 8.5.3

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

L 2 : x = s + 1, y = s, z = 4s + 4. 3. Suppose that C has coordinates (x, y, z). Then from the vector equality AC = BD, one has

The line L through the points A and B is parallel to the vector AB = 3, 2, and has parametric equations x = 3t + 2, y = 2t +, z = t Therefore, the intersection point of the line with the plane should satisfy:

INTRODUCTION TO TOPOLOGY OF REAL ALGEBRAIC VARIETIES

INTRODUCTION TO TOPOLOGY OF REAL ALGEBRAIC VARIETIES OLEG VIRO 1. The Early Topological Study of Real Algebraic Plane Curves 1.1. Basic Definitions and Problems. A curve (at least, an algebraic curve)

Labeling outerplanar graphs with maximum degree three

Labeling outerplanar graphs with maximum degree three Xiangwen Li 1 and Sanming Zhou 2 1 Department of Mathematics Huazhong Normal University, Wuhan 430079, China 2 Department of Mathematics and Statistics