

Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Solutions to various problems in math 355 – spring 2009 related to reflections, translations, and the frieze group. The proofs cover topics such as the properties of reflections in lines, the reversal of orientation by reflections, the preservation of orientation by even and odd isometries, and the commutativity of translations and reflections. The document also includes the proof that a point exists where a translation and a non-identity rotation intersect, and the proof that the frieze group generated by a horizontal translation and a reflection is abelian.
Typology: Assignments
1 / 2
This page cannot be seen from the preview
Don't miss anything!


Solutions to PS# MATH 355 ñSpring 2009
p.73 #6. Let a be a line and let B be a point o§ a. Prove that 'B a 'B a 'B a 'B is a reáection in some line parallel to a:
Proof: By Theorem 113b, ('B a 'B ) a ('B a 'B ) = 'B (a) a 'B (a): Let b = 'B (a) ; then a k b since 'B is a dilatation by Theorem 50: Furthermore, b a b = b(a) = m; where m = b (a) : Thus m is the reáection of a in some line b parallel to a: Conclude that m is parallel to a:
p.75 #9. Use conjugation and Exercises 10 and 11 in Section 3.2 to prove that: A reáection reverses orientation.
Proof: Let be a line and let P be any point on: Then m = (^) P;O () is a line through the origin since O = (^) P;O (P ) : Note that = (^) O;P (m) and by Theorem 113b we have = (^) O;P (m) = (^) O;P m O;P^1 = (^) O;P m (^) P;O : Now by Exercise 10, (^) P;O preserves orientation; m reverses orientation by Exercise 11; and (^) O;P preserves orientation by Exercise 10. Therefore reverses orientation.
p.75 #10. Use Exercise 9 to prove Proposition 109: Even isometries preserve orientation; odd isometries reverse orientation.
Proof: An even isometry is a composition of two reáections, each of which reverse orientation by Ex- ercise 9. But reversing orientation twice preserves orientation. An odd isometry is a single reáection or a composition of three reáections. A single reáection reverses orientation by Exercise 9. A composition of three isometries reverses orientation three times, and consequently reverses the given orientation.
p. 76 #4. Given a translation and a non-identity rotation rotation C;; prove there is a point B such that C; = B;:
Proof: Let m be the line through C perpendicular to the direction of translation; let and n be the unique lines such that = m and C; = n m: Then C; = n m m = n with km: Since C; 6 = ; 2 = 0 ^ and 12 2 = 180 : Thus n is a transversal for parallels and m: Let B = ` \ n; then
the corresponding angles from to n and from m to n measure 12 . Therefore B; = n = C; .
p.80 #3e. Let ; and denote the respective interior angles of 4 ABC: Let a; b and c denote the sides of 4 ABC opposite from A; B and C; respectively. Show that C; 2 B;2 A;2 = 2 but A;2 B;2 C; 2 = :
Proof: By Theorem 124, = a b c is a glide-reáection. Thus C; 2 B;2 A;2 = (a b)
(c a) (b c) = (a b c)^2 = 2 = 6 = by Theorem 123c. On the other hand, A;2 B;2 C; 2 = (b c) (c a) (a b) = b (c c) (a a) b = b b = :
p.80 #5. Let A and B be distinct points and let (^) c be a glide reáection with axis c. Prove that (^) A;B (^) c = c ^ ^ A;B^ if and only if^ ^ A;B^ (c) =^ c:
Proof: First note that (^) A;B (^) c = (^) c (^) A;B if and only if (^) c = (^) A;B (^) c A;B^1 : By Theorem 126,
(^) A;B (^) c A;B^1 = (^) c 0 is a glide reáection with axis c^0 = (^) A;B (c) : But (^) c = (^) c 0 implies c = c^0 so that (^) A;B (c) = c: Conversely, if (^) A;B (c) = c, we may substitute and write (^) c = (^) (^) A;B (c): But again by Theorem
126 we have (^) (^) A;B (c) = (^) A;B (^) c A;B^1 : Therefore (^) c = (^) A;B (^) c A;B^1 and equivalently, (^) A;B (^) c = (^) c (^) A;B :
p.96 #3. Prove that the frieze group F 6 with center line c generated by a horizontal translation and the reáection c is abelian.
Proof: Any two translations ; 0 2 F 6 commute by Proposition 33. Let denote a translation of minimal length. Then by deÖnition, Öxes the centerline c and so does n^ for all n 2 Z since and n^ have parallel translation vectors. Therefore n^ c = c n^ by Exercise 3.3.4, and in general element of F 6 has form mc n^ for some m 2 f 0 ; 1 g and n 2 Z: Now given two such elements m c 1 n^1 and m c 2 n^2 ; we have (m c 1 n^1 )(m c 2 n^2 ) = m c 1 m c 2 n^1 n^2 = m c 1 +m^2 n^1 +n^2 = m c 2 +m^1 n^2 +n^1 = m c 2 m c 1 n^2 n^1 = (m c 2 n^2 ) (m c 1 n^1 ) : Therefore F 6 is abelian.