Geometric Proofs in MATH 355 - Spring 2009: Reflections, Translations, and Frieze Groups -, Assignments of Mathematics

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

Pre 2010

Uploaded on 08/16/2009

koofers-user-nw4
koofers-user-nw4 🇺🇸

9 documents

1 / 2

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
Solutions to PS#3
MATH 355 –Spring 2009
p.73 #6. Let abe a line and let Bbe a point a. Prove that 'Ba'Ba'Ba'Bis a
re‡ection in some line parallel to a:
Proof: By Theorem 113b, ('Ba'B)a('Ba'B) = 'B(a)a'B(a):Let b='B(a) ; then
akbsince 'Bis a dilatation by Theorem 50:Furthermore, bab=b(a)=m;where m=b(a):
Thus mis the re‡ection of ain some line bparallel to a: Conclude that mis 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 Pbe 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 m1
O;P =
O;P mP;O :Now by Exercise 10, P;O preserves orientation; mreverses 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 Bsuch
that C;=B;:
Proof: Let mbe the line through Cperpendicular to the direction of translation; let `and nbe the
unique lines such that =m`and C;=nm:Then C;=nmm`=n`with `km:
Since C;6=; =20and 1
2=2180:Thus nis a transversal for parallels `and m: Let B=`\n;then
the corresponding angles from `to nand from mto nmeasure 1
2. Therefore B ;=n`=C;.
p.80 #3e. Let ;and denote the respective interior angles of 4ABC: Let a; b and cdenote
the sides of 4ABC opposite from A; B and C; respectively. Show that C;2 B ;2 A;2 =2but
A;2 B;2 C;2 =:
Proof: By Theorem 124, =abcis a glide-re‡ection. Thus C;2 B;2 A;2 = (ab)
(ca)(bc) = (abc)2=2=6=by Theorem 123c. On the other hand, A;2 B ;2
C;2 = (bc)(ca)(ab) = b(cc)(aa)b=bb=:
p.80 #5. Let Aand Bbe distinct points and let cbe a glide re‡ection with axis c. Prove that A;B c=
cA;B if and only if A;B (c) = c:
Proof: First note that A;B c=cA;B if and only if c=A;B c1
A;B:By Theorem 126,
A;B c1
A;B =c0is a glide re‡ection with axis c0=A;B (c):But c=c0implies c=c0so 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 c1
A;B:Therefore c=A;B c1
A;B and equivalently, A;B c=cA;B :
1
pf2

Partial preview of the text

Download Geometric Proofs in MATH 355 - Spring 2009: Reflections, Translations, and Frieze Groups - and more Assignments Mathematics in PDF only on Docsity!

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.