* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download 3.3.1 Isometry
Survey
Document related concepts
Noether's theorem wikipedia , lookup
Plane of rotation wikipedia , lookup
Dessin d'enfant wikipedia , lookup
Tessellation wikipedia , lookup
Rational trigonometry wikipedia , lookup
Conic section wikipedia , lookup
Perspective (graphical) wikipedia , lookup
Möbius transformation wikipedia , lookup
Pythagorean theorem wikipedia , lookup
Cartesian coordinate system wikipedia , lookup
Lie sphere geometry wikipedia , lookup
Derivations of the Lorentz transformations wikipedia , lookup
Projective plane wikipedia , lookup
Euclidean space wikipedia , lookup
Euclidean geometry wikipedia , lookup
Transcript
TOC & Ch. 0 & Ch. 1 Axiom Ch. 2 Neutral Geometry Ch. 3 Transformational Ch. 4 3.3.1 Isometry Measure what is measurable and make measurable what is not so. — Galileo Galilei (1564–1642) An important topic in the study of geometry is the concept of congruency. One way of considering figures to be congruent is when one figure is moved onto another, the figures match in every way. The size and shape of the figures are identical. This view of moving one object onto another, or physical motion, is the mathematics concept of a transformation. This section builds the tools for generalizing the concept of congruency by using transformation to fit this idea of moving an object onto another object where the property of the object moved does not vary. We begin by defining these conceptual ideas of same size (equal measure) and properties not changing (no variance). Definition. A transformation which preserves distance between points is an isometry. The prefix iso means same, equal, or identical and metry means distance. Therefore, the term isometry means equal distance, which is how we have defined the term. Definition. A property which is preserved under a transformation is said to be invariant under the transformation. Terminology. A transformation of a plane in a neutral geometry will be called a transformation of a neutral plane. A transformation of a plane in a Euclidean geometry will be called a transformation of a Euclidean plane. (Remember that a neutral geometry includes both Euclidean and hyperbolic geometries. See Chapter 2.) Theorem 3.1. Betweenness of points is invariant under an isometry of a neutral plane. Proof. Let f be an isometry of a neutral plane. Let A, B, and C be three distinct points such that B is between A and C. Further, let A' = f(A), B' = f(B), and C' = f(C). By the definition of betweenness of points, AC = AB + BC and {A, B, C} is collinear. Since f is an isometry, A'C' = AC, A'B' = AB, and B'C' = BC. Hence, A'C' = AC = AB + BC = A'B' +B'C'. Thus, by the Triangle Inequality, {A', B', C'} is collinear. Therefore, B' is between A' and C'.// Corollary 3.2. Collinearity is invariant under an isometry of a neutral plane. Corollary 3.3. The image of a line segment (ray, angle, or triangle) under an isometry of a neutral plane is a line segment (ray, angle, or triangle). Proof. We prove the corollary for a line segment and a ray; an angle and a triangle are left as exercises. Let f be an isometry of a neutral plane. Denote f(P) = P' for every point P. By definition, segment = {P : P = A, P = B, or P is between A and B} and ray {P : B is between A and P}. Note that the definitions of segment and ray are dependent on betweenness of points. Hence, the result immediately follows from the invariance of betweenness of points under an isometry.// Corollary 3.4. The image of a line segment under an isometry of a neutral plane is a congruent line segment. Corollary 3.5. The image of a triangle under an isometry of a neutral plane is a congruent triangle. Corollary 3.6. Angle measure is invariant under an isometry of a neutral plane. Proof. Given 3.5, Let f be an isometry of a neutral plane. Denote f(P) = P' for every point P. By Corollary Hence Therefore, angle measure is invariant under an isometry.// Corollary 3.7. The image of a circle under an isometry of a neutral plane is a congruent circle. The above results for a neutral plane imply a more general definition for congruence for any two sets of points, which would include all figures under one definition and for any plane. Definition. Two sets of points are said to be congruent provided there is an isometry where one set is the image of the other set. Write if and only if there is an isometry f such that . Theorem 3.8. The set of isometries of a plane is a group under composition. Proof. Since the set of transformations of a plane is a group, we have associativity. Note that the identity transformation is an isometry since for any two distinct points A and B, d(I(A),I(B)) = d(A,B). Hence, we need only prove closure and the inverse property for the set of isometries under composition. Let f and g be isometries of a plane. Let A and B be two distinct points. Denote g(P) = P' and (f o g)(P) = P". Since g is an isometry, AB = A'B'. Since f is an isometry, A'B' = A"B". Hence, AB = A"B". Therefore, f o g is an isometry. Hence, the set of isometries under composition satisfies the closure property. Let f be an isometry of the plane. Let A and B be two distinct points. Since f is a transformation, f has an inverse f 1. Let C = f 1(A) and D = f 1(B). Since f is an isometry, d(f 1(A), f 1(B)) = d(C,D) = d(f(C), f(D)) = d (A,B). Hence, f 1 is an isometry. Thus the set of isometries under composition satisfies the inverse property. Therefore, the set of isometries of a plane is a group under composition.// Several natural questions arise: Can an isometry be determined from several points? If yes, how many points are needed to determine an isometry? Is the determined isometry unique? Since congruence is an invariant property and three congruent corresponding sides form congruent triangles, it seems reasonable to conjecture that two pairs of three noncollinear points that determine congruent triangles could be used to determine a unique isometry. We begin to answer the question with the following theorem, which is important in proving the uniqueness of the isometry. Theorem 3.9. An isometry of a Euclidean plane that maps each of three noncollinear points to itself is the identity transformation. Proof. Let A, B, and C be distinct noncollinear points, and let f be an isometry such that f(A) = A, f(B) = B, and f(C) = C. (We desire to show that f must be the identity transformation.) Let P be any point in the Euclidean plane distinct from A, B, and C. We need to show that f(P) = P. Either P is on one of the lines or not on any of the lines determined by A, B, and C. Assume P is on one of the lines then the ruler postulates, Theorem 3.1, and Corollary 3.4 imply f(P) = P. (The details of the proof are left as an exercise, Exercise 3.33.) Assume P is not on any of the three lines determined by A, B, and C. Let Q be a point on ray distinct from A and B. By the Euclidean Parallel Postulate, line cannot be parallel to both lines Suppose line intersects line at a point R. Since Q and R are on lines , respectively, the first case implies f(Q) = Q and f(R) = R. The result, f(P) = P, follows from the first case, since P is a point on the line The proof of remaining case is similar. Hence, f maps every point in the Euclidean plane to itself. Therefore, the isometry is the identity transformation.// Corollary 3.10. An isometry of a Euclidean plane is uniquely determined by two pairs of three noncollinear points that determine congruent triangles. Exercise 3.24. Which of the following transformations are isometries? Justify. a. such that b. such that c. such that d. such that e. such that . . . . . f. Let P be a point in a plane S. Define point . by f(P) = P and f(Q) to be the midpoint of for any Exercise 3.25. Show that collinearity in a Euclidean plane is not necessarily invariant under a transformation. (Hint. Consider such that .) Exercise 3.26. Prove congruence (as defined above) is an equivalence relation. Exercise 3.27. Prove. If then AB = CD. Exercise 3.28. Prove. Assume f is an isometry. If then Exercise 3.29. Prove Corollary 3.2. Exercise 3.30. Prove Corollary 3.4. Exercise 3.31. Prove Corollary 3.5. Exercise 3.32. Prove Corollary 3.7. Exercise 3.33. Fill in the details for the first case in the proof of Theorem 3.9, that the ruler postulates, Theorem 3.1, and Corollary 3.4 do imply f(P) = P. Exercise 3.34. Prove Corollary 3.10. (Show both existence and uniqueness of the isometry.) 3.2.3 Model - Affine Transformation 3.3.2 Model - Collinearity for the Analytic Euclidean Plane © Copyright 2005, 2006 - Timothy Peil