Isometries. Chapter Transformations of the Plane

Similar documents
Classification of Isometries

Congruence. Chapter The Three Points Theorem

1.1 Line Reflections and Point Reflections

4 Arithmetic of Segments Hilbert s Road from Geometry

chapter 1 vector geometry solutions V Consider the parallelogram shown alongside. Which of the following statements are true?

6. Vectors. Given two points, P 0 = (x 0, y 0 ) and P 1 = (x 1, y 1 ), a vector can be drawn with its foot at P 0 and

Exercises for Unit I I I (Basic Euclidean concepts and theorems)

Three-Dimensional Coordinate Systems. Three-Dimensional Coordinate Systems. Three-Dimensional Coordinate Systems. Three-Dimensional Coordinate Systems

0609ge. Geometry Regents Exam AB DE, A D, and B E.

Homework Assignments Math /02 Fall 2017

Homework Assignments Math /02 Fall 2014

DATE: MATH ANALYSIS 2 CHAPTER 12: VECTORS & DETERMINANTS

1 What is the solution of the system of equations graphed below? y = 2x + 1

6. Linear Transformations.

Section 8.4 Vector and Parametric Equations of a Plane

13 Spherical geometry

Chapter 5 Vocabulary:

Name: GEOMETRY: EXAM (A) A B C D E F G H D E. 1. How many non collinear points determine a plane?

QUESTION BANK ON STRAIGHT LINE AND CIRCLE

Geometry Midterm Exam Review 3. Square BERT is transformed to create the image B E R T, as shown.

CBSE Sample Paper-03 (Unsolved) SUMMATIVE ASSESSMENT II MATHEMATICS Class IX. Time allowed: 3 hours Maximum Marks: 90

MAT 3271: Selected solutions to problem set 7

14.1 INTRODUCTION. Nature. Architecture. Engineering. Compose a picture-album showing symmetry. Make some symmetrical paper-cut designs.

(A B) 2 + (A B) 2. and factor the result.

Midterm Review Packet. Geometry: Midterm Multiple Choice Practice

Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg ( )

Hyperbolic Transformations

Higher Geometry Problems

Stable periodic billiard paths in obtuse isosceles triangles

Geometry AIR Test. Mar 14-3:07 PM. coordinate/algebraic proofs, parallel and perpendicular lines, distance formula, midpoint formula.

9.4 Polar Coordinates

1966 IMO Shortlist. IMO Shortlist 1966

Exercises for Unit I I (Vector algebra and Euclidean geometry)

End of Course Review

7.7H The Arithmetic of Vectors A Solidify Understanding Task

CMA Geometry Unit 1 Introduction Week 2 Notes

Exercises for Unit V (Introduction to non Euclidean geometry)

This pre-publication material is for review purposes only. Any typographical or technical errors will be corrected prior to publication.

Examples of Groups

Theta Geometry. Answers: 14. D 22. E 3. B 4. D 25. A 6. C 17. C 8. C 9. D 10. C 11. C 12. C 13. A 15. B 16. D 18. D 19. A 20. B 21. B 23. A 24.

+2 u, 2s ) [D] ( r+ t + u, 2s )

7th GRADE ACCELERATED MATHEMATICS Year-at-a-Glance

Common Core Georgia Performance Standards Mathematics Grades Adopted Reason quantitatively and use units to solve problems.

Semester Exam Review. Multiple Choice Identify the choice that best completes the statement or answers the question.

Foundations of Neutral Geometry

Similarity of Triangle

Honors Geometry Review Exercises for the May Exam

Symmetry and Billiards: An Application

Geometry JWR. Monday September 29, 2003

Higher Geometry Problems

EUCLIDEAN SPACES AND VECTORS

Geometry in the Complex Plane

MA 460 Supplement: Analytic geometry

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory

POINTS, LINES, DISTANCES

can only hit 3 points in the codomain. Hence, f is not surjective. For another example, if n = 4

NC Common Core Middle School Math Compacted Curriculum 7 th Grade Model 1 (3:2)

P1 Chapter 11 :: Vectors

(x, y) = d(x, y) = x y.

Math II. Number and Quantity The Real Number System

Bonus Section II: Solving Trigonometric Equations

2005 Euclid Contest. Solutions

Exercise 2.1. Identify the error or errors in the proof that all triangles are isosceles.

Figure 76: A typical frieze pattern.

MA 460 Supplement on Analytic Geometry

hmhco.com Adaptive. Intuitive. Transformative. AGA Scope and Sequence

2008 Euclid Contest. Solutions. Canadian Mathematics Competition. Tuesday, April 15, c 2008 Centre for Education in Mathematics and Computing

A Series Transformations

Geometry Final Review. Chapter 1. Name: Per: Vocab. Example Problems

X- MATHS IMPORTANT FORMULAS SELF EVALUVATION 1. SETS AND FUNCTIONS. 1. Commutative property i ii. 2. Associative property i ii

Recognise the Equation of a Circle. Solve Problems about Circles Centred at O. Co-Ordinate Geometry of the Circle - Outcomes

CHAPTER 4. APPLICATIONS AND REVIEW IN TRIGONOMETRY

Sums of Squares (FNS 195-S) Fall 2014

Integrated Math 3 Math 3 Course Description:

TRIANGLES CHAPTER 7. (A) Main Concepts and Results. (B) Multiple Choice Questions

The Bridge to A level. Diagnosis Worked Solutions

SECTION 1.8 : x = f LEARNING OBJECTIVES

Structure of Materials Prof. Anandh Subramaniam Department of Material Science and Engineering Indian Institute of Technology, Kanpur

Archdiocese of Washington Catholic Schools Academic Standards Mathematics

Written test, 25 problems / 90 minutes

Correlation of 2012 Texas Essential Knowledge and Skills (TEKS) for Algebra I and Geometry to Moving with Math SUMS Moving with Math SUMS Algebra 1

HANDOUT AND SET THEORY. Ariyadi Wijaya

Ohio s State Tests ITEM RELEASE SPRING 2018 GEOMETRY

Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg

UNIT 1: SIMILARITY, CONGRUENCE, AND PROOFS. 1) Figure A'B'C'D'F' is a dilation of figure ABCDF by a scale factor of 1. 2 centered at ( 4, 1).

TOPICS IN GEOMETRY: THE GEOMETRY OF THE EUCLIDEAN PLANE. 1. Introduction

9.7 Extension: Writing and Graphing the Equations

Abstract & Applied Linear Algebra (Chapters 1-2) James A. Bernhard University of Puget Sound

Extra Problems for Math 2050 Linear Algebra I

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).

8 Systems of Linear Equations

Linear Geometry. Paul L. Bailey. Department of Mathematics, BASIS Scottsdale address: Date: February 26, 2019

BUILT. for. Regents Pathways

Ohio s State Tests PRACTICE TEST GEOMETRY. Student Name

Mathematics AKS

Chapter 8. Rigid transformations

Chapter 2 Study Guide and Review

Given that m A = 50 and m B = 100, what is m Z? A. 15 B. 25 C. 30 D. 50

VECTORS. 3-1 What is Physics? 3-2 Vectors and Scalars CHAPTER

ISOMETRIES OF THE PLANE AND COMPLEX NUMBERS. y in R 2 is (

Transcription:

Chapter 1 Isometries The first three chapters of this book are dedicated to the study of isometries and their properties. Isometries, which are distance-preserving transformations from the plane to itself, appear as reflections, translations, glide reflections, and rotations. The proof of this profound and remarkable fact will result from our work in this and the next two chapters. 1.1 Transformations of the Plane We denote points (resp. lines) in R 2 by upper (resp. lower) case letters such as (resp. ) Lower case Greek letters such as denote functions. Definition 1 Atransformationof the plane is a function : R 2 R 2 with domain R 2 Definition 2 A transformation : R 2 R 2 is injective (or one-to-one) if and only if the images of distinct points under are distinct, i.e., if and are distinct points in R 2 then ( ) 6= (). Example 3 The transformation 1 1 = 1 1 while 1 1 6= 1 1 ³ = 2 fails to be injective because ³ Example 4 The transformation = +2 2 is injective as the following argument (using the contrapositive of the implication in the definition) shows: Suppose that = Then μ +2 +2 μ = = = 2 2 1

2 CHAPTER 1. ISOMETRIES and by equating and coordinates we obtain +2 = +2 2 =2 A simple calculation now shows that = and = so that =. Definition 5 Atransformation : R 2 R 2 is surjective (or onto) if and only if every point lies in the image of i.e., given any point R 2 there is some point R 2 such that ( )= Example 6 The transformation ³ = 2 discussed in Example 3 fails to ³ = 1 be surjective because there is no point R 2 for which ³ Example 7 The transformation = +2 2 discussed in Example 4 is surjective as the following argument shows: Let = ³ be any point in the plane. Are there choices for and such that =? Equivalently, does +2 2 = for appropriate choices of and? Theanswerisyesifthe system +2 = 2 = has a solution, which indeed it does since the determinant 1 2 2 1 = 14 = 5 6= 0 By solving simultaneously for and in terms of and we find that = 1 5 + 2 5 = 2 5 1 5 ³ 1 5 Therefore + 2 5 2 = and is surjective by definition. 5 1 5 Definition 8 A bijective transformation is both injective and surjective. 1 Example 9 The transformation discussed in Examples 4 and 7 is bijective; the transformation discussed in Examples 3 and 6 is not. Distance-preserving transformations of the plane are fundamentally important in this course. The discussion below uses the following notation: If and are distinct points, the symbols and denote distance between and the line segment connecting and the line through and and the circle centered at through respectively.

1.1. TRANSFORMATIONS OF THE PLANE 3 Definition 10 An isometry is a distance-preserving transformation : R 2 R 2 i.e., for all R 2 if 0 = ( ) and 0 = () then = 0 0 Example 11 The identity transformation : R 2 R 2 defined by ( )= is an isometry Proposition 12 Isometries are injective. Proof. Let be an isometry and let and be distinct points. Then 0 = () and 0 = () are distinct since 0 0 = 0 Isometries are also surjective, but the proof requires the following lemma: Lemma 13 Three concurrent circles with non-collinear centers have a unique point of concurrency. Proof. We prove the contrapositive. Suppose that circles and are concurrent at two distinct points and Sinceallthreecirclessharechord their centers and are collinear since they lie on the perpendicular bisector of. Theorem 14 Isometries are surjective. Proof. Givenanisometry and an arbitrary point show there exists a point such that () = If () = then = and we re done, so assume that = 0 = () 6= Then 0 = () lies on circle since = 0 0 = 0 ( is an isometry). Again, if 0 = then = and we re done, so assume that 0 6=. Choose a point and note that 4 and 4 0 0 0 are equilateral ( is an isometry). Then 0 = () lies on since = = 0 0 = 0. Again, if 0 = then = and we re done, so assume that 0 6= and consider 4 0 0 whose vertices lie on By Lemma 13, is the unique point of concurrency for circles 0 0 and 0 (see Figure 1.1). Choose a point on such that 4 = 4 0 0 with = 0 0. I claim that 0 = () = Since 0 and lie on and is an isometry, 0 = = 0 0 and 0 lies on 0 Since corresponding parts of congruent triangles are congruent (CPCTC) and is an isometry, 0 = = 0 0 and 0 lies on 0 Since CPCTC and is an isometry, 0 = = 0 0 and 0 lies on 0 Therefore 0 is a point of concurrency for 0 0 and 0 We conclude that 0 = by uniqueness.

4 CHAPTER 1. ISOMETRIES A B=A' C' D C B' Figure 1.1. Definition 15 Let be an isometry, let be any point in the plane, and let be the unique point in the plane such that () = The function inverse to denoted by 1 is defined by 1 ( )= Proposition 16 Let and be an isometries. 1. The composition is an isometry. 2. = = i.e., the identity transformation acts as an identity element. 3. 1 is an isometry. Proof. The proof is left as an exercise for the reader. As we shall see, the isometries include reflections in a fixed line, rotations about a fixed point, translations, and glide reflections. We begin our study of isometries with a look at the reflections. One of the fundamental results of this course is that every isometry can be written as a composition of three of fewer reflections, but that s getting ahead of the story. We conclude this section with one additional fact about isometries. Definition 17 A collineation is a transformation that maps lines to lines. Proposition 18 Isometries are collineations.

1.1. TRANSFORMATIONS OF THE PLANE 5 Proof. The proof is left as an exercise for the reader. Exercises 1. Which of the following transformations are injective? Which are surjective? Which are bijective? ³ = ³ 3 = ³ cos sin = 3 ³ = ³ 2 3 = ³ +3 = 3 +2 ³ = ³ 3 = ³ = +2 2. Prove that the composition of transformations is a transformation. 3. Prove that the composition of isometries is an isometry. 4. Prove that the composition of functions is associative, i.e., if are functions, then ( ) =( ) (Hint: Show that [ ( )] ( )= [( ) ]( ) for every element in the domain.) 5. Prove that the identity transformation is an identity element for the set of all transformations with respect to composition, i.e., if is a transformation, then = = 6. Prove that the inverse of a bijective transformation is a bijective transformation. (Remark: Exercises 2,4,5 and 6 show that the set of all bijective transformations is a group under composition.) 7. Prove that the inverse of an isometry is an isometry (Remark: Exercises 3,4,5 and 7 show that the set of all isometries is a group under composition.) 3 8. Let and be bijective transformations. Prove that ( ) 1 = 1 1 i.e., the inverse of a composition is the composition of the inverses in reverse order. 9. Prove Proposition 18: Isometries are collineations. 10. Let be the line with equation + + =0. Show that each of the following transformations is a collineation by finding the equation of the image line 0 = () ³ a. =.

6 CHAPTER 1. ISOMETRIES b. c. d. ³ ³ ³ = = = 2 2 11. Which of the transformations in Exercise 1 are collineations? For each collineation in Exercise 1, find the equation of the image of the line with equation + + =0. ³ 12. Consider the collineation = 3 and the line 0 whose equation is 3 +2=0 Find the equation of the line such that () = 0 13. Find an example of a bijective transformation that is not a collineation. 1.2 Reflections Definition 19 Apoint is a fixed point for a transformation if and only if ( )= Definition 20 Let be a line. The reflection in line is the transformation : R 2 R 2 that satisfies the following two conditions: 1. Each point is a fixed point for and 2. If and 0 = ( ) then is the perpendicular bisector of 0 Theorem 21 Reflections are isometries. Proof. Let be any line and let be the reflection in line Let and be distinct points in the plane and let 0 = ( ) and 0 = () We shall consider several cases depending upon the position of and relative to Case 1: Suppose that and lie on Then 0 = and 0 = so 0 0 = as required. Case 2: Suppose that lies on and lies o of Then = 0 and is the bisector of 0 Subcase 2a: If then 0 lies on and is the midpoint of 0 so that = 0 = 0 0 as required. Subcase 2b: Otherwise, let be the point of intersection of with 0 Observe

1.2. REFLECTIONS 7 that 4 = 4 0 by where the angles considered here are the right angles (see Figure 1.2). Figure 1.2. ' Since corresponding parts of congruent triangles are congruent () we have = 0 = 0 0 as required. Case 3: Suppose that both and lie o and on the same side of Subcase 3a: If, let be the point of intersection of with If then = = 0 0 = 0 0 and similarly if Subcase 3b: Otherwise, let be the point of intersection of with 0 and let be the point of intersection of with 0 Then 4 = 4 0 by so that = 0 by (see Figure 1.3) ' ' Figure 1.3. Now 0 and 0 so 0 k 0. Lines and 0 are transversals so = = 0 = 0 0 Since = 0 we have 4 = 4 0 0 from which it follows that = 0 0 by. Case 4: Suppose that both and lie o andonoppositesidesof (Proofs of these subcases are left as exercises for the reader.) Subcase 4a: If let be the point of intersection of with Subcase 4b: Otherwise, let be the point of intersection of with 0,let be the point of intersection of with 0 and let be the point of intersection of with

8 CHAPTER 1. ISOMETRIES When R 2 comes equipped with a Cartesian system of coordinates, one can use analytic geometry to calculate the coordinates of 0 = ( ) from the equation of and the coordinates of. We now derive the formulas (called equations of )fordoingthis. Let be a line with equation + + =0with 2 + 2 0, and consider points = and 0 = 0 such that 0 = 0 ( ) Assume for the moment that is o By definition, 0 So if neither nor 0 is vertical, the product of their respective slopes is -1, i.e., or Cross-multiplying gives 0 0 = 1 0 0 = ( 0 ) =( 0 ) (1.1) Note that equation (1.1) holds when is vertical or horizontal as well. If is vertical, its equation is + =0 in which case =1and =0 But reflection in a vertical line preserves the -coordinate so that = 0 On the other hand, if is horizontal its equation is + =0 in which case =0and =1 But reflection in a horizontal line preserves the -coordinate so that = 0 But this is exactly what equation (1.1) gives in either case. Now the midpoint of and 0 has coordinates + 0 2 = + 0 2 Since lies on, its coordinates satisfy + + =0 which is the equation of line Therefore μ + 0 + 2 μ + 0 2 + =0 (1.2) Now rewrite equations (1.1) and (1.2) to obtain the following system of linear equations in 0 and 0 : ½ 0 0 = 0 + 0 = where = and = 2 Write this system in matrix form as 0 0 = (1.3) Since 2 + 2 0 the coecient matrix is invertible, we may solve for 0 and 0 obtain 0 0 = 1 1 = 2 + 2 = 1 2 + 2 +

1.2. REFLECTIONS 9 Substituting for and gives and similarly 0 = = = 1 2 [ ( )+ (2 )] (1.4) + 2 1 2 2 + 2 2 2 1 2 2 + 2 +( 2 2 ) 2 2 2 = 2 2 ( + + ) + 2 0 = 2 2 ( + + ) (1.5) + 2 Finally, if = is on then + + =0and equations (1.4) and (1.5) reduce to 0 = 0 = in which case is a fixed point as required by the definition of We have proved: Theorem 22 Let be a line with equation + + =0 where 2 + 2 0 The equations of (the reflection in line ) are: 2 0 = 2 + ( + + ) 2 0 = 2 2 + ( + + ) 2 (1.6) Remark 23 The equations of are not to be confused with the equation of line Exercises 1. Words such as MOM and RADAR that spell the same backward and forward, are called palindromes. a. When reflected in their vertical midlines, MOM remains MOM but the R s and D in RADAR appear backward. Find at least five other palindromes like MOM that are preserved under reflection in their vertical midlines. b. When reflected in their horizontal midlines, MOM becomes WOW, but BOB remains BOB. Find at least five other words like BOB that are preserved under reflection in their horizontal midlines.

10 CHAPTER 1. ISOMETRIES 2. What capital letters could be cut out of paper and given a single fold to produce the figure below? 3. The diagram below shows a par 2 hole on a miniature golf course. Use a MIRA to construct the path the ball must follow to score a hole-in-one after banking the ball o a. wall b. wall c. walls and d. walls and 4. Two cities, located at points and in the diagram below, need to pipe water from the river, represented by line. City is 2 miles north of the river; city is 10 miles downstream from and 3 miles north of the river. The State will build one pumping station along the river. a. Use a MIRA to locate the point along the river at which the pumping station should be built so that the minimum amount of pipe is used to

1.2. REFLECTIONS 11 connect city to and city to. 3 miles 2 miles 10 miles b. Having located point, provethatif is any point on distinct from then + +. 5. Given two parallel lines and in the diagram below, use a MIRA to construct the path of a ray of light issuing from and passing through after being reflected exactly twice in and once in 6. Use the fact that the path followed by a the ray of light traveling from point to point is the line segment to prove the following statement: When a ray of light is reflected by a flat mirror, the angle of incidence equals the angle of reflection. 7. A ray of light is reflected by two perpendicular flat mirrors. Prove that the emerging ray is parallel to the initial incoming ray as indicated in the diagram below.

12 CHAPTER 1. ISOMETRIES 8. The Smiths, who range in height from 170 cm to 182 cm, wish to purchase a flat wall mirror that allows each Smith to view the full length of his or her image. Use the fact that each Smith s eyes are 10 cm below the top of his or her head to determine the minimum length of such a mirror. 9. Graph the line with equation +2 6=0on graph paper. Plot the point = 5 3 and use a MIRA to locate and mark its image 0 Visually estimate the coordinates 0 of the image point 0 and record 0 your estimates. Using formulas (1.6), write down the equations for the reflection and use them to compute the coordinates of the image point 0 Compare these analytical calculations with your visual estimates of the coordinates. 10. Fill in the missing entry in each row of the following table: Equation of Point ( ) =0 =0 = = =2 = 3 2 3 4 1 2 3 Equation of Point ( ) = 3 =2 2 =3 +5 5 8 3 3 0 3 3 0 4 3 11. Horizontal lines and in the diagram have respective equations =0 and =5 a. Use a MIRA to construct the shortest path from point 0 3 to point 16 1 that first touches and then

1.3. TRANSLATIONS 13 b. Determine the coordinates of the point on and the point on touched by the path constructed in part a. c. Find the length of the path from to constructed in part a. 12. For each of the following pairs of points and 0, determine the equation of the reflecting line such that 0 = ( ) a. 1 1 0 1 1 b. 2 6 0 4 8 13. The equation of line is =2 5 Find the coordinates of the images of 0 0 1 3 2 1 and 2 4 under reflection in line 14. The equation of line is 2 +3=0 Find the coordinates of the images of 0 0 4 1 3 5 and 3 6 under reflection in line 15. The equation of line is 2 +3 +4 = 0; the equation of line is 2 +3=0 Find the equation of the line = () 16. Prove subcases 4a and 4b in the proof of Theorem 21. 17. For any line prove that 1 = 1.3 Translations A translation of the plane is an isometry whose eect is the same as sliding the plane in a direction parallel to some line for some finite distance. Definition 24 Let and be points. The translation from to is the transformation : R 2 R 2 with the following properties: 1. = ( ) 2. If =, then = 3. If 6= let be any point on and let be any point o ; let 0 = () and let 0 = (). Then quadrilaterals 0 and 0 0 areparallelograms(seefigure1.4).

14 CHAPTER 1. ISOMETRIES ' Figure 1.4. ' When 6= one can think of a translation in the following way: If is any point and is the line through parallel to then = () is the point on whose directed distance from is In the discussion below, the symbol denotes the ray from through Definition 25 Let and be distinct points. The vector PQ is the quantity with magnitude and direction. The vector PP called the zero vector, has magnitude 0 and arbitrary direction. If = and =, the quantities and are called the -component and -component of PQ respectively. Since a vector P = is uniquely determined by its components, we identify the vector P with the point = and write P = Definition 26 The vector sum of PQ = and RS = is the vector + PQ + RS = + Definition 27 Let and be points. transformation PQ : R 2 R 2 defined by The translation by vector PQ is the Vector PQ is called the vector of PQ PQ () =R + PQ The next theorem relates the two formulations of translation defined above; each has its advantages. Theorem 28 = PQ for all points and

1.3. TRANSLATIONS 15 Proof. If =, then = = PQ. So assume that 6= If is any point on and is any point o let 0 = () and 0 = () Then 0 and 0 are parallelograms by definition, in which case AA 0 = BB 0 = PQ Therefore, PQ () = A + PQ = A + AA 0 = A 0 = 0 = () and () =B + PQ = B + BB 0 = B 0 = 0 = () Corollary 29 If PQ () = then PQ = RS Proof. If = then PQ = and = ; hence RS = If 6= then PQ () = = () by Theorem 28. But is a parallelogram by definition of, hence PQ = RS and PQ = RS Corollary 29 tells us that a translation is uniquely determined by any point and its image. Consequently, we shall often refer to a general translation without specific reference to a point and its image ortoavectorpq When we need the vector of for example, we simply evaluate at any point and obtain the image point 0 ; the desired components are 0 and 0 0 Furthermore, given PQ = = 0 we immediately obtain the equations of 0 the translation by vector PQ: Proposition 30 Let PQ = The equations for the translation PQ are 0 = + 0 = + (1.7) Example 31 Let = 4 5 and = 1 3 Then PQ = 5 2 and the equations for PQ are 0 = 5 0 = 2 ³ In particular, 7 PQ 5 = 2 7 Theorem 32 Translations are isometries. Proof. Let be a translation, let and be arbitrary points, let 0 = ( ) and 0 = () If = then 0 = 0 and =0= 0 0 So assume that 6= Then 0 0 is a parallelogram by definition, in which case = 0 0 as required. The case of collinear points 0 0 is left as an exercise for the reader. Although function composition is not commutative in general, the composition of translations is commutative. Intuitively, this says that you will arrive at the same destination either by a move through directed distance 1 parallel to line 1 followed by a move through directed distance 2 parallel to line 2 or by

16 CHAPTER 1. ISOMETRIES a move through directed distance 2 parallel to 2 followed by a move through directed distance 1 parallel to 1 The paths to your destination follow the two routes along the edges a parallelogram from one vertex to its diagonal opposite. This fact is the second part of the next proposition, whose proof is left as an exercise. Proposition 33 Let and be arbitrary points. 1. The composition of translations is a translation. In fact, RS PQ = PQ+RS 2. The composition of translations commutative: RS PQ = PQ RS Exercises 1. A river with parallel banks and is to be spanned by a bridge at right angles to and. a. Using an overhead transparency to perform a translation and a MIRA, locate the bridge that minimizes the distance from city to city. b. Let denote the bridge at right angles to and constructedinpart a. Prove that if is any other bridge spanning river distinct from and parallel to then + + + +.

1.3. TRANSLATIONS 17 2. Let be the translation such that 1 3 = 5 2 a. Find the vector of b. Find the equations of c. Find 0 0 3 7 and 5 2. d. Find and such that = 0 0 3. Let be the translation such that 4 6 = 7 10 a. Find the vector of b. Find the equations of c. Find 0 0 1 2 and 3 4. d. Find and such that = 0 0 4. Let = 4 1 and = 3 5. a. Find the vector of b. Find the equations of c. Find 3 1 6 2 and 3 4. d. Let be the line with equation 2 +3 +4=0 Find the equation of the line 0 = () 5. Complete the proof of the statement in Theorem 32: Let be a translation, let and be distinct points, let 0 = ( ) and let 0 = () If 0 and 0 are collinear, prove that = 0 0 6. Prove that the composition of translations is a translation. 7. Prove the composition of translations is commutative. 8. Let be a line containing distinct points and Prove that () = 9. Let and be points. Prove that 1 AB = BA 10. Let and be the lines with respective equations + 2=0and + +8=0 a. Compose the equations of and and show that the composition is a translation. b. Compare the norm of the vector of with the distance between and.

18 CHAPTER 1. ISOMETRIES 1.4 Glide Reflections In this section we introduce glide reflections, which are certain compositions of reflections with translations. In exercise 3 of Section 1 above, you proved that the composition of isometries is an isometry. Thus glide reflections are automatically isometries. Before we begin, let s consider an example of reflection composed with a translation that fails to be a glide reflection in the sense defined below. Example 34 Consider the composition PQ where PQ is the translation with vector PQ = 2 0 and is reflection in the -axis. The equations for PQ are 0 = +2 and 0 = ; the equations for are 0 = and 0 = To obtain the equations for the composition PQ compose equations as follows: 0 = ( +2)= 2 and 0 = As the reader can easily check, these are exactly the equations for reflection in line : +1=0 Thus PQ = Note that the composition = PQ in Example 34 fixes every line parallel to the translation vector. This distinguishes from a glide reflection, which fixes exactly one line parallel to the translation vector. Definition 35 A transformation fixes aset if and only if () = A transformation fixes a set pointwise if and only if () = each point Example 36 Let be a line. The reflection fixes pointwise. If PQ is a non-zero vector parallel to the translation PQ fixes but not pointwise. The composition PQ fixes line but not lines distinct from and parallel to Definition 37 A transformation : R 2 R 2 is a glide reflection if and only if there exists a non-identity translation andareflection such that 1. = and 2. () = The vector of is called the glide vector of ; the line is called the axis of. In your mind, picture the footprints you leave when walking in the sand. Imagine that your footprint pattern extends infinitely far in either direction. Imagine a line positioned midway between your left and right footprints. In your mind, slide the entire pattern one-half step in a direction parallel to then reflect in line The image pattern exactly superimposes on the original pattern. This transformation is an example of a glide reflection with axis (see Figure 1.5).

1.4. GLIDE REFLECTIONS 19 Figure 1.5: Footprints fixed by a glide reflection. As mentioned above, the following proposition is an immediate consequence of exercise 3 in Section 1: Proposition 38 Glide reflections are isometries. Alternatively, we can think of a glide reflection with axis as a reflection in line followed by a translation parallel to Proposition 39 If is a non-identity translation fixing line then = Proof. Left as an exercise for the reader. Since a glide reflection is the composition of a reflection in some line with a non-identity translation whose vector is parallel to, theequationsofaglide reflection are easy to obtain. Proposition 40 Let be a glide reflection with axis + + =0and glide vector where + =0 Then the equations of are given by: 0 = 2 2 + ( + + )+ 2 0 = 2 2 + ( + + )+ 2 Proof. Composing the equations for a reflection given in Theorem 22 with those for a translation given in Proposition 30 gives the result. Example 41 Let bethelinewithequation3 4 +1= 0; let be the translation with vector 4 3 Since + =(3)(4)+(4) (3) = 0 the vector of is parallel to and = is a glide reflection whose equations are 0 = 1 25 (7 +24 + 94) 0 = 1 25 (24 7 + 83) Let = 0 19 and 0 = 22 2 = 0 19 Then = 11 17 which is the midpoint 2 of and 0 lies on This is no accident, as the next proposition shows. Proposition 42 Let be a glide reflection with axis 1. has no fixed points

20 CHAPTER 1. ISOMETRIES 2. The midpoint of point and its image ( ) lies on 3. interchanges the halfplanes of 4. fixes exactly one line, its axis Proof. Let = be a glide reflection and let be any point. Then 6= and () = Let = ( ) and 0 = (); then k If lies on then 0 = is a point on distinct from,andthemidpointof and 0 lies on But if lies o and 0 lie on opposite sides of and interchanges the halfplanes of its axis Furthermore, 0 intersects at some point (see Figure 1.6). Figure 1.6. Let be the foot of the perpendicular from to. To show that is the midpoint of 0 it suces to prove that 4 0 = 4 in which case = 0 since By definition of a reflection, is the perpendicular bisector of 0 ; hence = 0 is the midpoint of 0. Then = and = 0 since these angles are corresponding. Also 0 and are right angles so 4 0 = 4 by Finally, to prove part (d), let be a line fixed by and let be a point on Then 0 = ( ) lies on and = 0 Now by part (2), the midpoint of and 0 lies on Similarly, if 0 = () then = 0 and the midpoint of and 0 lies on Thus and = = 0 = Exercises 1. A glide reflection maps 4 onto 4 0 0 0 in the diagram below. Use a MIRA to construct the axis and glide vector of.

1.5. HALFTURNS 21 A B A' C B' C' 2. Let bethelinewithequation2 +3 = 0; let = 4 1 and = 8 1 a. Prove that = PQ is a glide reflection and find the equations of b. Find the image of 1 2 2 5 and 3 2 under c. Write the equations for the composite transformation PQ and compare with the equations found in part a. 3. Prove Proposition 39: Let be a non-identity translation that fixes line Then = 4. If = is a glide reflection with axis, provethat a. 1 = 1 b. 1 is a glide reflection with axis 5. Let be a glide reflection with axis and let be a translation that fixes UseExercise3toprovethat = 6. Let be a glide reflection with axis and glide vector v Given any point on construct a point such that is the midpoint of and ( ) 1.5 Halfturns In this section we consider halfturns, which have the same eect as 180 rotations of the plane about some fixed point. Halfturns play an important role in our theoretical discussion to follow.

22 CHAPTER 1. ISOMETRIES Definition 43 Let be a point. A transformation : R 2 R 2 is a halfturn about center if and only if each point and its image 0 = ( ) are related in one of the following ways: 1. If = then = 0. 2. If 6= then is the midpoint of 0 Condition (1) implies that a halfturn fixes its center of rotation. P' Figure 1.7: A halfturn about Remark 44 Some authors refer to the halfturn about point as the reflection through point In this course we use the halfturn terminology exclusively. Theorem 45 Halfturns are isometries. Proof. Let be a halfturn about a point let and be distinct points, let 0 = ( ) and let 0 = () Suppose that either = or = If = then 0 = by condition (1) in the definition. But = 0 by condition (2) hence = = 0 = 0 0 as desired, and similarly for = On the other hand, suppose that is distinct from both and. By condition (2), = 0 and = 0 Furthermore, = 0 0, since vertical angles are congruent, and it follows by that 4 = 4 0 0 (see Figure 1.8). Therefore = 0 0 since ' ' Figure 1.8.

1.5. HALFTURNS 23 We now derive the equations of a halfturn about the point = Let = and 0 = 0 where 0 = 0 ( ) If 6= then by definition is the midpoint and 0 so that = + 0 2 and = + 0 2 These equations simplify to 0 =2 0 =2 (1.8) On the other hand, evaluating the equations in (1.8) at the point = gives 0 = 0 = This says that the center of rotation is fixed by the transformation whose equations are given in (1.8), which proves: Theorem 46 Let = be a point in the plane. The equations of the halfturn are given by 0 =2 0 =2 Example 47 Let denote the origin; the equations for the halfturn about the origin are 0 = 0 = Recall that a function : R R is odd if and only if () =() An example of such a function is () =sin() Let be odd and consider a point = () on the graph of The image of under the halfturn is μ = () = () () whichisalsoapointonthegraphof Thus fixes the graph of Exercises

24 CHAPTER 1. ISOMETRIES 1. People in distress on a deserted island sometimes write SOS in the sand. a. Why is this signal particularly eective when viewed from searching aircraft? b. The word SWIMS, like SOS, reads the same after a halfturn about its centroid. Find at least three other words that are preserved under a halfturn about their centroids. 2. Try it! Plot the graph of =sin() on graph paper, pierce the graph paper at the origin with your compass point and push the compass point into your writing surface. This provides a point around which you can rotate your graph paper. Now physically rotate your graph paper 180 and observe that the graph of =sin() is fixed by in the sense defined above. 3. The parallelogram 0 in the figure below is mapped to each of the other eight parallelograms by a reflection, a translation, a glide reflection or a halfturn. Indicate which of these apply in each case (more than one may apply in some cases). 4. Find the coordinates for the center of the halfturn whose equations are 0 = +3and 0 = 8 5. Let = 2 3 ; let be the line with equation 5 +7=0 a. Find the equations of 2 and under b. Find the image of 1 2 5 c. Find the equation of the line 0 = () On graph paper, plot point and draw lines and 0 6. Repeat Exercise 5 with = 3 2

1.6. PROPERTIES OF TRANSLATIONS AND HALFTURNS 25 7. = 3 2 and = 5 7 Find the equations of the composition and inspect them carefully. These are the equations of an isometry we discussed earlier in the course. Can you identify which? 8. In the diagram below, use a MIRA to find a line through intersecting circles and in chords of equal length. P A B 9. Let = and = be distinct points. Find the equations of and prove that the composition is a translation. Findthevector of 10. For any point prove that 1 = 11. Let and be the lines with respective equations + 2=0and +8=0 a. Compose the equations of and and show that the composition is a halfturn. b. Find the center of this halfturn and the coordinates of the point = What do you observe? 12. Prove that if = then = 1.6 Properties of Translations and Halfturns In this section we study some important properties of translations and halfturns and some fascinating relationships between them. Definition 48 A collineation is a dilatation if and only if ()k for every line Theorem 49 Translations are dilatations.

26 CHAPTER 1. ISOMETRIES Proof. Let be a translation and let be a line. Let and be distinct points on line ; let 0 = () and 0 = (). Then () = 0 0 since is a collineation by Proposition 18 and = AA 0 = BB 0 by Corollary 29. If 0 and 0 are collinear, then = 0 0 If 0 and 0 are non-collinear, then lies o 0 and 0 0 is a parallelogram by definition of translation, and it follows that k 0 0 (see Figure 1.9). ' = PQ( ) '= PQ( ) Figure 1.9. Theorem 50 A halfturn is a dilatation. Proof. Left as an exercise for the reader. Theorem 51 If and are distinct points, then PQ fixes every line parallel to Proof. Let be any line parallel to ;letbeany point on line and let 0 = PQ () If 6= then 0 is a parallelogram by definition of translation and k 0. Therefore 0 lies on and is fixed by PQ The case with = is left as an exercise for the reader. Definition 52 A non-identity transformation is an involution if and only if 2 = Note that an involution has the property that 1 = Proposition 53 A halfturn is an involution.

1.6. PROPERTIES OF TRANSLATIONS AND HALFTURNS 27 Proof. Let be a point and consider the halfturn. Then 2 () = ( ()) = () = If 6= let 0 = ( ); then is the midpoint of and 0 Therefore 2 ( )= ( ( )) = ( 0 )= so that 2 = as claimed. Proposition 54 A reflection is an involution. Proof. Left as an exercise for the reader. Proposition 55 Aline is fixed by the halfturn if and only if lies on Proof. Let be a halfturn and let be a line. If lies on consider a point on distinct from. Let 0 = ( ); by definition, is the midpoint of 0 Hence 0 is on and is fixed by Conversely, suppose that lies o and consider any point on Then 0 = ( ) lies o since otherwise the midpoint of 0,whichis would lie on Therefore is not fixed by The next theorem highlights a close relationship between halfturns and translations. Theorem 56 The composition of two halfturns with distinct centers is a translation. Furthermore, if is the midpoint of and, then = AC = Proof. Let = 1 2 = 1 2 and = 1 2 Since is the midpoint of and we have = 2= 2 so that 2(1 1 ) 2(1 1 ) AC = = 2( 2 2 ) 2( 2 2 ) and the equations for AC can be written as 0 = +2( 1 1 )= +2( 1 1 ) 0 = +2( 2 2 )= +2( 2 2 ) Now ( ) μ μ μ μ 21 = = 2 2 21 (2 1 ) +2(1 1 ) = = 2 2 (2 2 ) +2( 2 2 ) μ = AC (1.9)

28 CHAPTER 1. ISOMETRIES A similar calculation gives ( ) μ = completing the proof (see Figure 1.10). +2(1 1 ) μ = AC +2( 2 2 ) Figure 1.10: A composition of two halfturns Remark 57 Since = 2 the calculations in (1.9) tell us that the composition of two halfturns with 6= isatranslationthroughtwicethe directed distance from to Theorem 58 The composition of three halfturns with distinct centers and is a halfturn. Furthermore, if the point satisfies AB = DC then = (1.10) In particular, if and are non-collinear, then is a parallelogram. Proof. Given = 1 2 = 1 2 and = 1 2 note that 1 1 AB = = 2 2 1 ( 1 1 + 1 ) 2 ( 2 2 + 2 ) and the point = 1 1+ 1 2 2+ 2 satisfies AB = DC Thus if and are non-collinear, then is a parallelogram. We must show that equation (1.10) holds for = 1 1 + 1 2 2 + 2. From the calculation in (1.9) above we have ( ) μ = +2(1 1 ) +2( 2 2 )

1.6. PROPERTIES OF TRANSLATIONS AND HALFTURNS 29 Applying to both sides gives μ μ +2(1 1 ) ( ) = = +2( 2 2 ) 2(1 1 + 1 ) = 2( 2 2 + 2 ) 21 ( +2( 1 1 )) 2 2 ( +2( 2 2 )) which is a halfturn about the point = 1 1 + 1 2 2 + 2 seefigure1.11). Figure 1.11. Note that Figure 1.11 shows us how to construct the center of the halfturn = Theorem 59 Given any three of the (not necessarily distinct) points and the fourth point is uniquely determined by the equation Proof. First, given equation (1.11) we have AB = (1.11) =( )() (1.12) Thus is determined by and Apply to both sides of (1.12) and obtain ( )() =( )() = Thus is determined by and Next, compose both sides of equation (1.11) with and obtain AB = = Thus given and the fourth point is the midpoint of and 0,where 0 = () =( AB )() = AB ()

30 CHAPTER 1. ISOMETRIES Finally apply to both sides of equation (1.11) and obtain AB = = Thus given and the fourth point is the midpoint of and 0,where 0 = () =( AB )() = () Theorem 60 For any three points and = Proof. By Theorem 59, given there is a point such that = Sequentially composing and with both sides on the left gives = = = Composing both sides with on the right gives = Therefore = = Remark 61 Halfturns do not commute in general. In fact, if = then QP = PQ which holds if and only if = Thus the only halfturn that commutes with is itself. Exercises 1. Find all values for and such that ³ = is an involution. 2. Complete the proof of Theorem 51: Let and be distinct points; let be a point on Then 0 = PQ () is a point on 3. Let and be distinct points. Prove that AB BA = AB ( )

1.6. PROPERTIES OF TRANSLATIONS AND HALFTURNS 31 4. Use Theorem 60 to prove that any two translations commute. 5. In the figure below, sketch points such that a. = b. AC = c. BC AB EA () = 6. Let be a translation; let be a point. Let be the midpoint of and () a. Show that is the halfturn with center b. Show that is the halfturn with center = 1 () 7. Prove Theorem 50: A halfturn is a dilatation. 8. Prove Proposition 54: A reflection is an involution. 9. If coin in the figure below is rolled around coin until coin is directly under coin will the head on coin right-side up or up-side down?

32 CHAPTER 1. ISOMETRIES 1.7 General Rotations Halfturns are 180 rotations. In this section we define general rotations, derive their equations, and prove some fundamental properties. We begin with a discussion of angle measure. Assume that the sine and cosine functions are defined with respect to degree measure. Definition 62 Given R, let = cos sin and = cos sin. The directed angle from to is the angle with initial side terminal side and measure A directed angle is positively directed if its measure is positive; it is negatively directed if its measure is negative. Positively directed angles are measured counterclockwise; negatively directed angles are measured clockwise. Definition 63 Two real numbers and are congruent mod 360 if and only if = 360 for some Z The set = { + 360 Z} is called the congruence class of and we define ( )=() and + =( + ) Each congruence class contains exactly one real number in the range 0 360 For example, 10 370 and 60 300 This allows us to compare congruence classes. Definition 64 Given congruence classes and say that if and only if there exist representatives and such that 0 360 Consequently, 370 300 since 10 and 60 are the unique class representatives in the range 0 360 Definition 65 Let and be distinct points. The (undirected) angle from to, denotedby is the angle with initial side and terminal side. The measure of, denotedby is the congruence class defined as follows: Let 0 = CO () and 0 = CO (); choose and so that cos sin lies on 0 and cos sin lies on 0. Define =() (seefigure1.12) ' ' Figure 1.12: = 0 0

1.7. GENERAL ROTATIONS 33 Given distinct points and there is a unique real number [0 360) such that = Note that a congruence class of angles has undefined direction since it contains both positive and negative directed angle measures. Nevertheless, one must be pay careful attention to the order of and since = Definition 66 Let be a point and let R. The rotation about through angle is the transformation : R 2 R 2 with the following properties: 1. () =. 2. If 6= and 0 = ( ) then 0 = and 0 = (see Figure 1.13). ' = ( ) Figure 1.13. Theorem 67 A rotation is an isometry. Proof. Let be a rotation. Let and be points with and distinct and let 0 = ( ) and 0 = () If = then by definition, = = 0 = 0 0 So assume that and are all distinct. If and are non-collinear, then 4 = 4 0 0 by and = 0 0 since If and are collinear with between and then = = 0 0 = 0 0 since = 0 and = 0 by definition, and similarly for between and But if is between and then is between 0 and 0 since 0 = 0 = Therefore = + = 0 + 0 = 0 0 We begin our derivation of the equations of a general rotation by considering the special case of rotations about the origin. From linear algebra we know

34 CHAPTER 1. ISOMETRIES that a rotation about the origin is a linear transformation, i.e., given vectors and μ μ μ + = + for all R Let 1 = 1 0 and 2 = 0 1 ; let 0 1 = ( 1 ) and 2 0 = ( 2 ) Then μ 1 0 = μ + 0 1 = ( 1 )+ ( 2 ) = 1 0 + 2 0 and we see that is completely determined by its action on 1 and 2. Since the directed angle measure from 1 to 1 0 is cos 1 0 = sin Furthermore, the directed angle measure from 1 to 2 is 90 and from 2 is so the directed angle measure from 1 to is +90and to 0 2 0 2 = +90 ( 1 )= Consequently, 0 0 = 1 0 + 2 0 = We have proved: cos + sin cos ( + 90) sin ( + 90) = sin = cos Theorem 68 Let R. The equations for are 0 = cos sin 0 = sin + cos 0 2 sin cos cos sin sin + cos Now rotate the plane about a general point = through directed angle by performing the following three operations in sequence: 1. Translate by vector CO; 2. Rotate about the origin through directed angle ; 3. Translate by vector OC

1.7. GENERAL ROTATIONS 35 Then and we obtain 0 0 = OC CO = μ μ μ OC CO = OC μ ( )cos ( )sin = OC ( )sin +( )cos ( )cos ( )sin + = ( )sin +( )cos + In summary, we have proved: Theorem 69 Let = and let R. The equations for the rotation are 0 =( )cos ( )sin + 0 =( )sin +( )cos + Proposition 70 A non-identity rotation fixes exactly one point, namely its center and fixes every circle with center. Proof. That fixes follows from the definition. From the equations of a rotation it is evident that = (the identity) if and only if = 360 for some Z So 6=0 by assumption. Now if is distinct from and 0 = ( ) then 6= 0 since 0 = Therefore is the only point fixed by Furthermore, let be a point on and let 0 = (). Then by definition = = 0 so that 0 lies on Therefore ( )= Proposition 71 Let be a point and let R Then = + = Proof. Let be any point distinct from ; let 0 = ( ) and 00 = ( 0 ) (see Figure 1.14).

36 CHAPTER 1. ISOMETRIES ' = ( ) = ( ' ) = ( ) Figure 1.14. Then by definition, the directed angle measure from to 0 is the directed angle measure from 0 to 00 is and = 0 = 00 But 00 = ( 0 )= ( ( )) = ( )( ) and the directed angle measure from to 00 is + Therefore = + by definition. Similarly, = + Corollary 72 Involutory rotations are halfturns. Proof. An involutory rotation is a non-identity rotation such that = = 0 By Proposition 71, = 2 so that 2 = 0 and (2) =0 Hence there exists some Z such that 2 = 360 and consequently = 180 Now cannot be even since 6= implies that is not a multiple of 360. Therefore =2 +1is odd and = 180 + 360 It follows that = 180 and = as claimed. Exercises 1. Find the coordinates of the points 30 3 6. 2. Let = 3 5 Find the coordinates of the point 3 45 6 3. Let be the line with equation 2 +3 +4=0 a. Find the equation of the line 30 () b. Let = 3 5 Find the equation of the line 45 () 4. Let be a point and let R. Provethat 1 =

1.7. GENERAL ROTATIONS 37 5. Let and be the lines with respective equations + 2=0and =3 a. Compose the equations of and and show that the composition is a rotation. b. Find the center and directed angle of rotation and ; compare with the directed angle from to. 6. Let and be distinct points and let be the midpoint of and Let be a line such that PR () = Using the fact that PR = prove that PR = PR.

38 CHAPTER 1. ISOMETRIES