Geometric Transformations

Σχετικά έγγραφα
2 Composition. Invertible Mappings

Reminders: linear functions

EE512: Error Control Coding

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1

Section 9.2 Polar Equations and Graphs

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

Section 8.3 Trigonometric Equations

Homework 8 Model Solution Section

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Parametrized Surfaces

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

Areas and Lengths in Polar Coordinates

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

Areas and Lengths in Polar Coordinates

Fractional Colorings and Zykov Products of graphs

Strain gauge and rosettes

CRASH COURSE IN PRECALCULUS

Example Sheet 3 Solutions

Lecture 15 - Root System Axiomatics

Quadratic Expressions

10/3/ revolution = 360 = 2 π radians = = x. 2π = x = 360 = : Measures of Angles and Rotations

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

CHAPTER 101 FOURIER SERIES FOR PERIODIC FUNCTIONS OF PERIOD

On a four-dimensional hyperbolic manifold with finite volume

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

DESIGN OF MACHINERY SOLUTION MANUAL h in h 4 0.

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Every set of first-order formulas is equivalent to an independent set

Congruence Classes of Invertible Matrices of Order 3 over F 2

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

A Note on Intuitionistic Fuzzy. Equivalence Relation

Derivations of Useful Trigonometric Identities

Second Order Partial Differential Equations

b. Use the parametrization from (a) to compute the area of S a as S a ds. Be sure to substitute for ds!

Matrices and Determinants

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

TMA4115 Matematikk 3

Trigonometric Formula Sheet

Homomorphism in Intuitionistic Fuzzy Automata

New bounds for spherical two-distance sets and equiangular lines

C.S. 430 Assignment 6, Sample Solutions

Other Test Constructions: Likelihood Ratio & Bayes Tests

4.6 Autoregressive Moving Average Model ARMA(1,1)

Spherical Coordinates

Numerical Analysis FMN011

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

Finite Field Problems: Solutions

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?

Concrete Mathematics Exercises from 30 September 2016

Rectangular Polar Parametric

Section 7.6 Double and Half Angle Formulas

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

Math221: HW# 1 solutions

Statistical Inference I Locally most powerful tests

Homework 3 Solutions

Tridiagonal matrices. Gérard MEURANT. October, 2008

( ) 2 and compare to M.

ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ IΔ ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΟΛΥΜΠΙΑΔΑ ΑΠΡΙΛΙΟΥ 2013 Β & Γ ΛΥΚΕΙΟΥ.

Srednicki Chapter 55

Pg The perimeter is P = 3x The area of a triangle is. where b is the base, h is the height. In our case b = x, then the area is

CHAPTER 12: PERIMETER, AREA, CIRCUMFERENCE, AND 12.1 INTRODUCTION TO GEOMETRIC 12.2 PERIMETER: SQUARES, RECTANGLES,

9.09. # 1. Area inside the oval limaçon r = cos θ. To graph, start with θ = 0 so r = 6. Compute dr

Solutions to Exercise Sheet 5

2. THEORY OF EQUATIONS. PREVIOUS EAMCET Bits.

DIRECT PRODUCT AND WREATH PRODUCT OF TRANSFORMATION SEMIGROUPS

Bounding Nonsplitting Enumeration Degrees

5. Choice under Uncertainty

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

The Simply Typed Lambda Calculus

Chapter 7 Transformations of Stress and Strain

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

Chapter 3: Ordinal Numbers

Instruction Execution Times

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 24/3/2007

Commutative Monoids in Intuitionistic Fuzzy Sets

Inverse trigonometric functions & General Solution of Trigonometric Equations

Space-Time Symmetries

14 Lesson 2: The Omega Verb - Present Tense

SCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018

A Hierarchy of Theta Bodies for Polynomial Systems

CHAPTER 48 APPLICATIONS OF MATRICES AND DETERMINANTS

the total number of electrons passing through the lamp.

Partial Differential Equations in Biology The boundary element method. March 26, 2013

D Alembert s Solution to the Wave Equation

Potential Dividers. 46 minutes. 46 marks. Page 1 of 11

Generating Set of the Complete Semigroups of Binary Relations

Solutions to Selected Homework Problems 1.26 Claim: α : S S which is 1-1 but not onto β : S S which is onto but not 1-1. y z = z y y, z S.

[1] P Q. Fig. 3.1

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 6/5/2006

ΚΥΠΡΙΑΚΟΣ ΣΥΝΔΕΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY 21 ος ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ Δεύτερος Γύρος - 30 Μαρτίου 2011

ECE Spring Prof. David R. Jackson ECE Dept. Notes 2

derivation of the Laplacian from rectangular to spherical coordinates

Code Breaker. TEACHER s NOTES

Lecture 6 Mohr s Circle for Plane Stress

MATHEMATICS. 1. If A and B are square matrices of order 3 such that A = -1, B =3, then 3AB = 1) -9 2) -27 3) -81 4) 81

Approximation of distance between locations on earth given by latitude and longitude

MATH423 String Theory Solutions 4. = 0 τ = f(s). (1) dτ ds = dxµ dτ f (s) (2) dτ 2 [f (s)] 2 + dxµ. dτ f (s) (3)

Transcript:

hapter 6 Geometric Transformations Goal: In the first three chapters, sets of axioms provided the basis for the study of geometries. In this chapter, the concept of transformation provides a different way of studying some geometries. Definition 6.0.1 transformation f from X to Y is a one-to-one, onto mapping. Definition 6.0.2 group of transformations of a set X onto itself is a nonempty set S of transformations together with an operation such that: 1. If f and g are in S, then fg and gf are in S. (losure) 2. If f, g and h are in S, then (fg)h = f(gh). (ssociativity) 3. There is a unique element in S satisfying If = fi = f for all f in S. (Identity) 4. Given f in S, there exists a unique element f 1 satisfying f 1 f = ff 1 = I. (Inverses) Theorem 6.0.1 The set of symmetries of an equilateral triangle is a group of transformations. Homework 6.0.1 omplete the group table below. onsider Figure 6.1. Let R l be reflection about l, R m be reflection about m and R n be reflection about n. Let R 120 be rotation about the centroid by 120 counterclockwise, and let R 240 be rotation about the centroid by 240 counterclockwise. Let I be the identity transformation. Let be function composition. I R l R m R n R 120 R 240 I I R l R m R n R 120 R 240 R l R l I R 120 R 240 R m R n R m R m R 240 I R n R n R 120 I R 120 R 120 R n R 240 R 240 R 240 R m R 120 39

n l 3 m 3 2 R l R m 1 2 2 1 1 3 1 2 1 R n R 120 R 240 3 2 3 1 2 3 Figure 6.1: Symmetries of an Equilateral Triangle Definition 6.0.3 transformation f is an isometry of onto if it preserves distances. That is, for any two points P 1, P 2 of, the distance from P 1 to P 2 is equal to the distance from f(p 1 ) to f(p 2 ). In ordinary Euclidean geometry, the isometries studied are isometries of a set of points onto itself. Isometries of this kind are called motions. Euclidean geometry involves the study of motions of the artesian plane. Question 1 What types of transformations can be applied to a set of points in the plane so that the distance between any two points is always preserved? 6.1 Plane Motions 1. Translations: translation is a correspondence between points and their image points so that each image is the same distance in the same direction from the original point. translation is determined by determining the translation vector. The set of all translations forms a group. The product of two translations is a translation. The vector for the product is the sum of the vectors for the two translations. 2. Rotations: Let R(O, α) indicate a rotation through an angle of α about the point O. onvention: a counterclockwise rotation is associated with a positive angle. rotation is determined by determining the center and angle of rotation. The set of all rotations about one fixed point is a group of transformations. 40

Figure 6.2: Translation α... Ȯ. Figure 6.3: Rotation 3. Reflections: reflection R l utilizes a fixed line l. point on l is its own image. ny other point P is mapped into a point P such that l is the perpendicular bisector of P P. reflection is determined by determining the line of reflection. l Figure 6.4: Reflection The product of two reflections about the same line is not a reflection. Reflection reverses orientation. 4. Glide Reflections: glide reflection is a product of a reflection and a translation parallel to the fixed line of reflection. Glide reflection is determined by determining the line of reflection and the vector of translation. One geometric application of various motions of the plane is in simple geometric designs that form plane-filling repeated patterns (Work of M.. Escher). You will 41

v l Figure 6.5: Glide Reflection be asked to read an article describibg how to make Escher-like diagrams, also you will be required to make your own drawing. Homework 6.1.1 Justify the following using Sketchpad: 1. if a palne motion is the product (composition) of two reflections then: if the two lines of reflection are parallel, the motion is a translation. if the two lines of reflection are nonparallel, the motion is a rotation. 2. if the motion is the product (composition) of three reflections then: if two of the lines of reflection coincide, the motion is a reflection. if the three lines of reflection are parallel, the motion is a reflection. if two lines of reflection intersect at a point on the third, the motion is a reflection. if two lines of reflection intersect at a point not on the third, the motion is a glide reflection. Theorem 6.1.1 If a transformation is a plane motion, then it is the product of three or fewer reflections, and conversely. Definition 6.1.1 plane motion is a direct motion if it is the product of an even number of reflections. It is an opposite motion if it is the product of an odd number of reflections. The system of direct and opposite motions under multiplication is isomorphic to the system of even and odd numbers under addition (Z 2 ). Theorem 6.1.2 The four types of Euclidean motions of the plane constitute a group of transformations. 42

Exercises: 1. onsider Figure 6.6: What are the coordinates of,, and? Draw the image of under a translation by the vector v. What are the coordinates of,, and? Generalization: What is the relationship between (x, y ) and (x, y)? Y......................... v X......................... 2. onsider Figure 6.6: Figure 6.6: Translation y Vector v What are the coordinates of,, and? Draw the image of under a reflection about the line y = x. What are the coordinates of,, and? Generalization: What is the relationship between (x, y ) and (x, y)? 43

3. onsider Figure 6.7: What are the coordinates of,, and? Draw the image of under a rotation about (0, 0) by 90 (counterclockwise). What are the coordinates of,, and? Generalization: What is the relationship between (x, y ) and (x, y)? What is the relationship between (x, y ) and (x, y) if the rotation was about (0, 0) by -90 (clockwise)? Y......................... X......................... 4. onsider Figure 6.7: Figure 6.7: Rotation bout the Origin by ±90 What are the coordinates of,, and? Draw the image of under a rotation about (0, 0) by 180 counterclockwise. What are the coordinates of,, and? Generalization: What is the relationship between (x, y ) and (x, y)? 5. onsider Figure 6.8: What are the coordinates of,, and? Draw the image of under a rotation about Q by 90. What are the coordinates of,, and? Generalization: What is the relationship between (x, y ) and (x, y)? 44

Y......................... Q X......................... Figure 6.8: Rotation bout Q by 90 6.1.1 Similarity Transformations Definition 6.1.2 plane similarity is a transformation of the plane onto itself such that if, and, are corresponding points, the length of is r times the length of, where r s some nonzero real number. Theorem 6.1.3 The set of all similarities of the plane is a transformation group. 6.1.2 Dilations Definition 6.1.3 dilation (homothety) H(O, r) is a plane similarity that maps a point P to a point P, where OP = rop, the points P, O, P are collinear, and r 0. If r < 0, then O is between P and P, while if r > 0, the points P and P are on the same side of O. The point O is called the center, and the number r is called the ratio of the dilation. dilation is determined by determining its center and ratio. 2 H (O, 1) (P ) O P H (O,2) (P ) 3 Figure 6.9: Dilation 45

Exercise: onsider the transformation f(x, y) = ( 2 3 x + 1, 2 3 y + 3). Plot the images of,, under f. Is f a dilation? If so determine it. If not what can you say about f? Y......................... X......................... Figure 6.10: Dilation in the XY Plane Theorem 6.1.4 The image of a circle under a dilation is another circle. Figure 6.11) (See P P O 1 1 Figure 6.11: Dilation of a ircle Proof: Let P be an arbitrary point on 1 noncollinear with O. Now OP O P. Hence, O = O. Hence, P P P = P O O 46

ut P, O, and O are all fixed lengths. Therefore P is fixed implying that the image of 1 is a circle 1. What if P is collinear with O? Theorem 6.1.5 The Nine-Point ircle: The nine points listed below lie on a circle called the Nine-Point circle. The midpoints, G, E, F, of the sides of the triangle. The feet,,,, of the three altitudes of this triangle. The midpoints, J, K, L, of the segments formed by joining the orthocenter to the vertices of the triangle. The center of the Nine-Point circle is the midpoint of the segment joining the orthocenter and the circumcenter of, and the length of the radius of this circle is one-half the length of the radius of the circle that circumscribes. L F E F O E J K.... G....... D... R Figure 6.12: The Nine-Point ircle Theorem Proof: onsider a dilation H (O,2) centered at O the orthocenter and of ratio 2. learly, H (0,2) (J) = J, H (0,2) (K) = K, and H (0,2) (L) = L where J, K, L are points on the circumcircle. Now let R be a diameter of the circumcircle. Hence R = R = 90. Now R and R. Hence OR is a parallelogram. ut the diagonals of a parallelogram bisect each other. Hence G is the midpoint of OR, implying that H (0,2) (G) = R a point on the circumcircle. Similarly, H (O,2) takes E and F to points E and F on the circumcircle. Now let D be the intersection of O with the circumcircle. Hence DR = 90. Hence ODR O G. ut OR = 2 OG, hence OD = 2 O. Therefore, H (O,2) ( ) = D a point on the circumcircle. Similarly, H (O,2) ( ) = and 47

H (O,2) ( ) = are points on the circumcircle. Now a dilation H (O, 1 ) takes the 2 points,, D, E, F, R,,, which lie on the circumcircle to,,, E, F, G, J, K, L respectively. The image of the circumcircle under this dilation is the Nine Point ircle. Homework 6.1.2 1. Prove that collinearity is invariant under an isometry. 2. Prove that an isometry that leaves each of three noncollinear points fixed leaves every point of the plane fixed. 3. Prove that each point in the plane is uniquely determined by its given distances from three noncollinear points. 4. Prove that an isometry is uniquely determined by three noncollinear points and their images under that isometry. 5. In the figure below, determine a motion which will take to. Figure 6.13: HW - Problem 5 6. In the figure below, determine a motion which will take to. Figure 6.14: HW - Problem 6 7. In the figure below, determine a motion which will take to 8. How can you determine where to place the vertices of an equilateral triangle so as to inscribe it in the square shown, with one vertex of the triangle on a vertex of the square and the other two vertices lying on the sides of the square opposite that vertex? (See Figure 6.16) 48

Figure 6.15: HW - Problem 7 Figure 6.16: Equilateral Inside a Square 9. onsider three concentric circles. If it exists, construct an equilateral triangle having three vertices, and on the given circles, respectively. Determine when the problem does not have a solution. (See Figure 6.17) (Hint: Let be any point on 3 and rotate 1 about by 60. Let be one of the points of intersection of 1 and 2 (if such an intersection exists). Now rotate 1 about by 60, let be the image of under this rotation.)... 1 2 3 Figure 6.17: Equilateral on Three ircles 49

ibliography 1. Donald M. Davis, The Nature and Power of Mathematics, Princeton University Press, New Jersey, 1993. 2. Thomas L. Heath, Euclid s Elements, Dover Publications, Inc., New York, 1956. 3. Howard Eves, ollege Geometry, Jones and artlett, oston, 1995. 4. David. Kay, ollege Geometry Discovery pproach, Harper ollins, 1994. 5. E.. Wallace & S. F. West, Roads To Geometry, Prentice Hall, New Jeresy, 1992. 50