\documentclass[12pt]{amsart}
\usepackage{amsmath,amsthm,physics,mathtools,commath,graphicx,amssymb,centernot,parskip,amsfonts,amsthm,enumerate,enumitem,bm,listings,float,braket,siunitx,stmaryrd,tikz-cd,hyperref,comment}
\usepackage[compat=1.1.0]{tikz-feynman}
\hypersetup{colorlinks=true,linkcolor=magenta,filecolor=magenta,urlcolor=cyan,}

\def\an{\quad\text{and}\quad}
\def\aan{\qquad\text{and}\qquad}
\def\aaan{\qquad\quad\text{and}\qquad\quad}
\def\aaaan{\qquad\qquad\text{and}\qquad\qquad}
\def\imp{\implies}
\def\qimp{\quad\implies\quad}
\def\qqimp{\qquad\implies\qquad}
\def\iff{\Longleftrightarrow}
\def\ilim{_{-\infty}^{\infty}}
\def\isum{\sum_{n=1}^{\infty}}
\def\ify{\infty}

\def\p{\partial}
\def\a{\alpha}
\def\b{\beta}
\def\g{\gamma}
\def\G{\Gamma}
\def\d{\delta}
\def\D{\Delta}
\def\eps{\epsilon}
\def\e{\varepsilon}
\def\en{\eps_0}
\def\z{\zeta}
\def\h{\eta}
\def\th{\theta}
\def\Th{\Theta}
\def\k{\kappa}
\def\lm{\lambda}
\def\Lm{\Lambda}
\def\m{\mu}
\def\mn{\mu_0}
\def\n{\nu}
\def\x{\xi}
\def\X{\Xi}
\def\rh{\rho}
\def\s{\sigma}
\def\S{\Sigma}
\def\t{\tau}
\def\u{\upsilon}
\def\ph{\phi}
\def\Ph{\Phi}
\def\vp{\varphi}
\def\c{\chi}
\def\C{\Chi}
\def\ps{\psi}
\def\Ps{\Psi}
\def\om{\omega}
\def\Om{\Omega}
\def\cou{\frac1{4\pi_1 \en}}
\def\mou{\frac{\mn}{4\pi_1 }}
\def\ct{\cos\theta}
\def\st{\sin\theta}
\def\cp{\cos\phi}
\def\sp{\sin\phi}

\def\fa{\forall}
\def\ex{\exists\,}
\def\olin{\overline}
\def\grad{\nabla}
\def\div{\nabla\vdot}
\def\divsmall{\nabla\cdot}
\def\cross{\times}
\def\curl{\nabla\times}
\def\lap{\nabla^2}
\def\dv{d^{\,3}r}
\def\disp{\mbf r-\mbf r'}
\def\rhat{\mbf{\hat{r}}}
\def\xhat{\mbf{\hat{x}}}
\def\yhat{\mbf{\hat{y}}}
\def\zhat{\mbf{\hat{z}}}
\def\mhat{\mbf{\hat{m}}}
\def\nhat{\mbf{\hat{n}}}
\def\that{\bs{\hat{\tha}}}
\def\phat{\bs{\hat{\phi}}}

\def\es{\varnothing}
\def\sm{\setminus}
\def\sub{\subset}
\def\sube{\subseteq}
\def\subn{\subsetneq}
\def\l{\!\left}
\def\r{\right}
\def\la{\l\langle}
\def\ra{\r\rangle}
\def\llb{\llbracket}
\def\rrb{\rrbracket}
\def\up{\uparrow}
\def\dn{\downarrow}
\def\fr{\frac}
\def\tfr{\tfrac}
\def\dfr{\dfrac}
\def\tx{\text}

\def\opn\operatorname
\def\ua{\uparrow}
\def\da{\downarrow}
\def\lcm{\mathrm{lcm}}
\def\im{\mathrm{im}\,}
\def\sgn{\mathrm{sgn}}
\def\tr{\operatorname{tr}}
\def\arctanh{\operatorname{arctanh}}
\def\Res{\,\mathrm{Res}}
\def\supp{\mathrm{supp}}
\def\Int{\operatorname{Int}}
\def\ran{\operatorname{ran}}


\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\lr}{\longrightarrow}
\newcommand{\sse}{\subseteq}
\newcommand{\Id}{\operatorname{Id}}


\def\mbf{\mathbf}
\def\mc{\mathcal}
\def\mbb{\mathbb}
\def\msf{\mathsf}
\def\bs{\boldsymbol}
\def\nb{\mathbb N}
\def\zb{\mathbb Z}
\def\qb{\mathbb Q}
\def\rb{\mathbb R}
\def\cb{\mathbb C}
\def\pb{\mathbb P}
\def\sb{\mathbb S}
\def\rn{\mathbb R^n}
\def\cn{\mathbb C^n}
\def\pn{\mathbb P^n}
\def\sn{\mathbb S^n}
\def\rp{\mathbb R \mathrm{P}}
\def\cp{\mathbb C \mathrm{P}}
\def\dg{\dagger}
\def\trileq{\trianglelefteq}
\def\idty{{\mathchoice {\rm 1\mskip-4mu l} {\rm 1\mskip-4mu l}{\rm 1\mskip-4.5mu l} {\rm 1\mskip-5mu l}}}
\def\id{\mathrm{id}}

\def\bx{\boxed}
\def\bb{\begin{bmatrix}}
\def\eb{\\\end{bmatrix}}
\def\bp{\begin{proof}}
\def\ep{\end{proof}}
\def\be{\begin{equation}}
\def\ee{\end{equation}}
\def\ba{\begin{align*}}
\def\ea{\end{align*}}
\def\ben{\begin{enumerate}[label=\bf{(\alph*)}]}
\def\een{\end{enumerate}}
\def\bv{\begin{verbatim}}
\def\ev{\end{verbatim}}
\def\bc{\begin{cases}}
\def\ec{\end{cases}}

\newcommand*{\pvint}{\mathop{\,\,\vphantom{\intop}\!\!\!\mathpalette\pvintop\relax}\nolimits}\newcommand*{\pvintop}[2]{\ooalign{$#1\intop$\cr\hidewidth$#1-$\hidewidth}}% Cauchy Principle Value

\makeatletter\renewcommand*\env@matrix[1][*\c@MaxMatrixCols c]{\hskip -\arraycolsep\let\@ifnextchar\new@ifnextchar\array{#1}}\makeatother%matrix lines

\makeatletter\newcommand*\bigcdot{\mathpalette\bigcdot@{.39}}\newcommand*\bigcdot@[2]{\mathbin{\vcenter{\hbox{\scalebox{#2}{$\m@th#1\bullet$}}}}}\makeatother%adjustable dot

%\begin{enumerate}[label=\bf{(\alph*)}]\item\end{enumerate}
%\begin{figure}[H]\centering{\includegraphics[scale=0.10]{name}}\end{figure}
%\begin{pmatrix}1&1\\1&1\end{pmatrix}
%\begin{tabular}{| c| c |}\hline$\times$ & $\mbf1$ \\\hline$\mbf1$ & $\mbf1$\\ \hline\end{tabular}

\setlength{\marginparwidth}{1.2in}
\let\oldmarginpar\marginpar
\renewcommand\marginpar[1]{\-\oldmarginpar[\raggedleft\footnotesize #1]%
{\raggedright\footnotesize #1}}
\setlength{\topmargin}{-50pt}
\setlength{\textheight}{24cm}
\setlength{\oddsidemargin}{5pt} \setlength{\evensidemargin}{5pt}
\setlength{\textwidth}{440pt}
%\setlength{\textheight}{700pt}
%\setlength{\topmargin}{-50pt}
%\setlength{\textheight}{24cm}
\parindent=0pt
\parskip=4pt

\begin{document}
\begin{abstract}
These are the solutions to Problem Set 2 for the Euclidean and Non-Euclidean Geometry Course in the Spring Quarter 2026.\\
\end{abstract}

\title{Solutions to Problem Set 2}
\author{MAT 141}

\maketitle
\vspace{-0.7cm}

{\bf Problem 1}. Let $f:\R^2\lr\R^2$ be an isometry and $A,B,C\in\R^2$ three non-collinear points. Suppose that $f(A)\neq A,f(B)\neq B$ and $f(C)\neq C$. Show that $f$ is the product of one, two or three reflections.

\noindent {\it Comment: This is one of the cases of our Classification Theorem for Isometries of the Euclidean Plane. Thus, you are not allowed to use the Theorem.}

\vspace{0.5cm}
\color{blue}
{\bf Solution}. 

First, perform the reflection $ \olin r_{a}$ in the line of points equidistant from $A$ and $f(A)$. Then $\olin r_{a}(A)=f(A)$. If $\olin r_{a}=f$, then $f$ is a reflection, and we are done. Otherwise, without loss of generality, $\olin r_{a}(B)\neq f(B)$. So perform the reflection $\olin r_{b}$ in the line of points equidistant from $\olin r_{a}(B)$ and $f(B)$, which exchanges these points. Since
\[d(f(A),\olin r_{a}(B))=d(\olin r_{a}(A),\olin r_{a}(B))=d(f(A),f(B)),\]
we see that $f(A)$ is equidistant from $\olin r_{a}(B)$ and $f(B)$, so it is fixed by $\olin r_{b}$. Therefore, we have $\olin r_{b}\olin r_{a}(A)=f(A)$, and $\olin r_{b}\olin r_{a}(B)=f(B)$. If $\olin r_{b}\olin r_{a}=f$, then $f$ is the product of two reflections, and we are done. Otherwise $\olin r_{b}\olin r_{a}(C)\neq C$, so perform the reflection $\olin r_{c}$ in the line of points equidistant from $\olin r_{b}\olin r_{a}(C)$ and $f(C)$, exchanging these points. We have
\[d(f(A),\olin r_{b}\olin r_{a}(C))=d(\olin r_{b}\olin r_{a}(A),\olin r_{b}\olin r_{a}(C))=d(f(A),f(C)),\]
so $f(A)$ is equidistant from $\olin r_{b}\olin r_{a}(C)$ and $f(C)$, and hence fixed by $\olin r_{c}$. The same is true for $f(B)$. We conclude that $\olin r_{c}\olin r_{b}\olin r_{a}(A)=f(A)$, $\olin r_{c}\olin r_{b}\olin r_{a}(B)=f(B)$, and $\olin r_{c}\olin r_{b}\olin r_{a}(C)=f(C)$, so $\olin r_{c}\olin r_{b}\olin r_{a}=f$, and $f$ is the product of three reflections.\qed

\color{black}
\vspace{0.7cm}







{\bf Problem 2}. Given an isometry $f:\R^2\lr\R^2$, an invariant line $l\sse\R^2$ is a line that gets mapped by $f$ onto itself, i.e. $f(L)=L$. Note that this does {\bf not} mean that the points $p\in L$ are fixed.

\begin{itemize}
	\item[(a)] Use the Classification Theorem of Isometries in the Euclidean Plane to show that an isometry $f:\R^2\lr\R^2$ has exactly one of the following:\\
	
	\begin{itemize}
	\item[(i)] A line of fixed points,
	\item[(ii)] A single fixed point,
	\item[(iii)] No fixed points, and a parallel family of invariant lines,
	\item[(iv)] No fixed points, and a single invariant line.\\
	\end{itemize}

\noindent{\it Remark: In particular, it is possible to {\bf define} points and lines starting from the group of isometries itself. This is beginning of the Erlangen program, a theory initiated by F. Klein in 1872, whose tenet is the development of geometries in terms of their isometries.}\\

	\item[(b)] In each of the four cases in Part 2.(a), describe the isometry $f$ as a product of one, two or three reflections along lines.\\
	
	{\it Hint: you shall need to describe the relative position of these lines.}\\
\end{itemize}


\vspace{0.5cm}
\color{blue}
{\bf Solution}. \begin{itemize}
\item[(a)] It is clear that $f$ cannot have more than one of these properties, so we only need to show that it has one of them. The Classification Theorem of Isometries in the Euclidean Plane says that $f$ is either a rotation, a translation, or a glide reflection. If we dispense with the possibility that $f$ is the identity (so $f$ has property (i)), then these three types of isometries are disjoint (because glide reflections reverse orientation while the others don't, and rotations preserve one point while translations don't). 

If $f$ is a rotation, say about the point $P$, then it fixes only the point $P$, so $f$ has property (ii). 

If $f$ is a translation, then it has no fixed points. In this case, say $f=t_{\a,\b}$. Then, for any $c\in \rb$, the line $L_{c}$ defined by $\a y-\b x=c$ is invariant under $f$. The family 
\[\{L_{c}\mid c\in \rb\}\]
is then an infinite family of parallel invariant lines, so $f$ has property (iii).

Finally, suppose $f$ is a glide reflection. If $f$ is a pure reflection, then it fixes the line in which it reflects, so $f$ has property (i). Otherwise, $f=t_{P}\olin r_{L}$ for some $P\neq O$ such that the segment $PO$ is parallel to the line $L$ (you hop over a river and then follow the river). Consider first the reflection $\olin r_{L}$. All points on a given side of $\olin  r_{L}$ have been flipped to the other side. Performing the translation $t_{P}$ keeps them on this new side, since they only move parallel to $L$. Therefore, $f$ does not fix any points not in $L$. Nor does $f$ fix any points in $L$, because such points are fixed by $\olin  r_{L}$ and then moved downstream by $t_{P}\neq \Id$. However, this observation shows that $L$ is an {\it invariant} line under $f$.  

We lastly show that $f$ has no other invariant lines. Suppose $M$ is a line distinct from $L$. If $M$ crosses $L$, then $\olin r_{L}$ changes the slope of $M$, and the subsequent translation leaves that new slope unchanged, so $M$ cannot be invariant under $f$. If $M$ is parallel to $L$, then it is totally contained on one side of $L$, and $f$ moves $M$ to the other side, so it again is not invariant. We conclude that $f$ has property (iv).\\



\item[(b)] In case (i), $f$ is a single reflection or the identity (which is the product of two instances of the reflection through any single line).

In case (ii), $f$ is a rotation $R_{\th,P}$ for some $\th\neq0$. Then $f=\olin r_{M}\olin r_{L}$, where $M$ and $L$ are any two lines which meet at $P$ and have angle $\th/2$ from $L$ to $M$.

In case (iii), $f$ is a translation $t_P$ for $P\neq O$. Then $f=\olin r_{M}\olin r_{L}$ where $M$ and $L$ are any two parallel lines perpendicular to the segment $PO$ and separated by a distance $\norm P/2$ from $L$ to $M$.

In case (iv), $f$ is a glide reflection $t_{P}\olin r_{N}$, where $P\neq O$ and the line $L$ is parallel to the segment $PO$. Then $t_{P}=\olin r_{M}\olin r_{L}$ can be deconstructed as above, so we have $f=\olin r_{M}\olin r_{L}\olin r_{N}$. Here $N$ is known from the original decomposition, and $M$ and $L$ are any lines perpendicular to $L$ such that $M$ is a distance $\norm P/2$ from $L$.\qed
\end{itemize}



\color{black}
\vspace{0.7cm}







{\bf Problem 3}. (25 pts) ({\bf Glide reflections}) A glide reflection is an plane isometry $f:\R^2\lr\R^2$ of the form $t_{(\alpha,\beta)}\circ \overline{r}_{L}$ with the translation vector $(\alpha,\beta)\in\R^2$ parallel to the reflection line $L$.

\begin{itemize}
	\item[(a)] Let $t_{(\alpha,\beta)}\circ \overline{r}_{L}$ be a glide reflection. Show that $t_{(\alpha,\beta)}\circ \overline{r}_{L}=\overline{r}_{L}\circ t_{(\alpha,\beta)}$.\\
	
	\item[(b)] Give an example of a point $(\gamma,\delta)\in\R^2$ and a line $M\sse \R^2$ such that
	$$t_{(\gamma,\delta)}\circ \overline{r}_{M}\neq\overline{r}_{M}\circ t_{(\gamma,\delta)}.$$
	
	\item[(c)] Let $(\alpha,\beta)\in\R^2$ and $L\sse\R^2$ a line. Suppose that $$t_{(\alpha,\beta)}\circ \overline{r}_{L}=\overline{r}_{L}\circ t_{(\alpha,\beta)}.$$
	Show that $(\alpha,\beta)\in\R^2$ parallel to $L$.\\
	
\noindent{\it Note: Thus, glide reflections can also be defined as those compositions of a reflection and a translation which commute.}\\
	
	\item[(d)] Consider the rectangular box $B=\{(x,y)\in\R^2:-1\leq x\leq 1,2\leq y\leq 4\}\sse\R^2$, and let $f=t_{(4,0)}\circ\overline{r}$ be a glide reflection. Draw the five set
	$$B,f(B),f^2(B),f^3(B),f^4(B),f^5(B),$$
	defined by the iterated images of the box $B$ under the isometry $f$.\\
	
	\item[(e)] Let $L,M,N\sse \R^2$ be three lines. Show that a product $\overline{r}_N\overline{r}_M\overline{r}_L$ of three reflection is a glide reflection.\\
	
\noindent {\it Hint: It might be helpful to study the different cases depending on the relative positions of the lines $L,M,N\sse \R^2$.}

\end{itemize}



\vspace{0.5cm}
\color{blue}
{\bf Solution}. 
\begin{itemize}
	\item[(a)] By performing a suitable isometry, we may assume that $L$ is the $x$-axis, which means $\b=0$. We calculate
\[t_{\a,0}\circ\olin r(x,y)=t_{\a,0}(x,-y)=t_{\a,0}(x+\a,-y),\]
and
\[\olin r\circ t_{\a,0}(x,y)=\olin r(x+\a,y)=(x+\a,-y),\]
so these isometries agree. 

{\bf Remark:} The key point is that each of $t_{(\a,0)}$ and $\olin r$ operated on only one of the coordinates, so they had no interaction. For a general glide isometry, we have the same phenomenon, where the two functions operate in perpendicular directions, and thus have no interaction. This can best be seen by breaking $(x,y)$ into its components along a basis in these perpendicular directions, which is essentially changing coordinates, as in the ``suitable isometry'' referenced above.\\
	
	\item[(b)] If $M$ and $(\g,\d)$ are not parallel, then these maps will not not commute, because they won't be acting in perpendicular directions. The extreme case occurs when $M$ and $(\g,\d)$ are {\it perpendicular}, so the actions of $t_{(\g,\d)}$ and $\olin r_{M}$ are parallel. Take $M$ to be the $x$-axis, and set $(\g,\d)=(0,1)$. Then
	\[t_{(0,1)}\circ \olin r_{M}(x,y)=t_{(0,1)}(x,-y)=(x,-y+1),\]
	but
	\[\olin r_{M}\circ t_{(0,1)}(x,y)=\olin r_{M}(x,y+1)=(x,-y-1).\]
	so these two isometries don't agree.\\
	
	\item[(c)] By a suitable isometry, we may assume that $L$ is the $x$-axis. Then we have
	\[t_{(\a,\b)}\circ \olin r(x,y)=(x+\a,-y+\b),\]
	and
	\[\olin r\circ t_{(\a,\b)}(x,y)=(x+\a,-y-\b).\]
	Since these two maps are the same, we conclude that $-y+\b=-y-\b$ for all $y\in \rb$, so $\b=0$. Therefore, $(\a,\b)=(\a,0)$ is parallel to the $x$-axis.\\
	
	\item[(d)] The drawing should look like the footprints walking in the horizontal direction, with the box $B$ instead of the feet prints.\\
    %Shown below are the box $B$ and its five iterated glides, each to the right of the previous.\begin{figure}[H]\centering{\includegraphics[scale=0.560]{glide}}\end{figure}
	%\vspace{0.3cm}
    
	\item[(e)] In the Theorem on pp. 12-13 of Stillwell, most cases are considered. You should make sure you understand them and can present them in your own argument. Here are the remaining cases.
		
	Suppose $L$ and $M$ intersect in a point not on $N$. If $M$ and $N$ intersect, then they do so at a point not on $L$, so Case (ii) in the Theorem applies. Similarly, if $L$ and $N$ intersect in a point not on $N$, but $N$ and $M$ intersect, then Case (ii) applies again. 
	
	The only remaining case is when $L$ is a transversal intersecting parallel lines $M$ and $N$. Suppose $L$ intersects $M$ at $P$. Since $r_{M}r_{L}$ is a rotation, we may rotate lines $M$ and $L$ about $P$ as a pair, making the replacement $r_{M}r_{L}=r_{M'}r_{L'}$, where $M'$ and $L'$ are any two lines intersecting at $P$, retaining the angle between $M$ and $L$, but {\it distinct} from $M$ and $L$. Now we no longer have parallel lines, and Case (ii) applies once again.
	
	{\bf Remark:} The key is always to find new lines $\widetilde N$, $\widetilde M$, and $\widetilde L$, with $\widetilde M$ and $\widetilde N$ perpendicular to $\widetilde L$, and such that $\olin r_{N}\olin r_{M}\olin r_{L}=\olin r_{\widetilde N}\olin r_{\widetilde M}\olin r_{\widetilde L}$. By the arguments in the theorem, this will always be a glide reflection.
	\qed
	

\end{itemize}


\color{black}
\vspace{0.7cm}








{\bf Problem 4}. (25 pts) The goal of this exercise is to complete the following table:

\begin{center}
	\begin{tabular}{| l | l | l | l | l |}
		\hline
		 & Reflection $\overline{r}_L$ & Translation $t_{(\alpha,\beta)}$ & Rotation $R_{\theta,P}$ & Glide reflection \\ \hline
		Reflection $\overline{r}_M$ &  &  &  &  \\ \hline
		Translation $t_{(\gamma,\delta)}$ &  &  &  &  \\ \hline
		Rotation $R_{\phi,Q}$ &  &  &  & \\ \hline
		Glide Reflection &  &  &  &  \\
		\hline
	\end{tabular}
\end{center}

The table is completed as follows. At a given entry, we want to describe the type of isometry $g\circ f:\R^2\lr\R^2$ which is obtained by composing an isometry $f:\R^2\lr\R^2$ of the type indicated by its row with an isometry $g:\R^2\lr\R^2$ of the type indicated by its column. There are a total of four types: reflections, translations, rotations and glide-reflections. There can be more than one type per entry.

In general, we will include reflections $\overline{r}_L$ within the set of glide reflections. Just for the purpose of this problem, {\it glide reflection} refers to a glide reflection which is not a reflection.\\

\begin{itemize}
	\item[(a)] Show that $\overline{r}_M\overline{r}_L$ is either a rotation or a translation. What is the geometric position between $M$ and $L$ if $\overline{r}_M\overline{r}_L$ is a translation ?\\
	
	\item[(b)] Show that the composition of a glide reflection with a reflection is a rotation or a translation.\\
	
	\item[(c)] Complete the table above.\\
	
	\item[(d)] The order in which we compose isometries can matter. Show that a rotation and a reflection do not necessarily commute.\\
	
	\item[(e)]  Discuss whether glide-reflections commute with reflections, translations and rotations.\\
	
\end{itemize}



\vspace{0.5cm}
\color{blue}
{\bf Solution}. 
Let us suppose that our isometry is not the identity function, so that our four categories are disjoint.
\begin{itemize}
	\item[(a)] It has been discussed (and proven in Stillwell) that $\olin r_{M}\olin r_{L}$ is a translation exactly when $M$ and $L$ are parallel, and a rotation otherwise.\\
	
	\item[(b)] Consider a glide $\olin r_{M}\olin r_{N}\olin r_{L}$, where $M$ and $N$ are perpendicular to $L$. Composing on the left with $\olin r_{M}$ gives a rotation. From Problem 3(c), we know that $\olin r_{M}\olin r_{N}\olin r_{L}=\olin r_{L}\olin r_{M}\olin r_{N}$ is the same glide. Composing on the left with $\olin r_{L}$ gives a translation. These are all the possibilities for this composition. Similarly, composing $\olin r_{M}\olin r_{N}\olin r_{L}$ on the right by $\olin r_{L}$ gives a translation, and composing $\olin r_{L}\olin r_{M}\olin r_{N}$ on the right by $\olin r_{N}$ gives a rotation. So glides compose with reflections to give either kind of orientation-preserving isometry.\\
	
	\item[(c)] We will use the classification from Problem 6(d) and (e) below, that parity must be respected. That is, rotations and translations can only combine among themselves, reflections and glides must combine to form rotations and translations, and mixing parity must result in a reflection or glide.
	
	From part (a), we have the upper left entry. From Problem Set 1, Problem 4(c), we know the second diagonal entry. Problem 6(b) below shows that the composition of rotations may be a translation, and we also know that it may be a rotation.
	
	Composing a translation after a reflection may be a glide, and the reverse order may be too. From the characterization of glides in Problem 3(b) and (c), we know there must be compositions of reflections and translations that are not glides, so they must be reflections.
	
	From the proof of Problem 6(d), we know that the composition of a rotation and a translation, in either order, is a rotation.
	
	Consider a rotation $R$ followed by a reflection $\olin r_{L}$. By rotating the reflecting lines used to create the rotation $R$, we can assume that the second is parallel with $L$. Therefore, this composition is a reflection (the first line used in $R$) and a translation (the second and third). Depending on whether this first line is perpendicular to $L$ or not, we can get a glide or a reflection. The reverse order shows the same result.
	
	Finally, we consider the compositions with glides not covered in part (b). A glide can be thought of as ending or beginning with a translation, so the following result applies to composition on both sides. Compose a glide with a translation in its same direction. If that translation negates the translation of the glide, we get a reflection. Otherwise we get another glide. These are the only possibilities.
	
	This also applies to glides on either side: draw the three lines of a glide. Two of the perpendicular lines may be thought of as occurring at the end of the glide or at the beginning. Either way, they represent a rotation which may be used to cancel them, leaving only one reflection. A more arbitrary rotation may be used that cancels only one reflection used in the translation in the glide, eventually giving three reflections in three lines which have no triple point, which we have shown to be a nontrivial glide.
	
	By performing two glides which differ only in the length of translation (but are in the same direction), we obtain a translation. Finally, consider two glides in different directions, $t_{1}\olin r_{L}$ and $\olin r_{L'}t_{2}$. Composing them in the right way, we have
	\[t_{1}\circ(\olin r_{L}\olin r_{L'})\circ t_{2},\]
	The composition of a translation, rotation, and translation, which we know to be a rotation from our chart. Therefore, glides can compose to rotations as well.
	
	
	\begin{center}
	\begin{tabular}{| l| | l | l | l | l |}
		\hline
		 & Reflection $\overline{r}_L$ & Translation $t_{(\alpha,\beta)}$ & Rotation $R_{\theta,P}$ & Glide reflection \\ \hline\hline
		Reflection $\overline{r}_M$ & Rot, Tran & Refl, Glide & Refl, Glide & Rot, Tran \\ \hline
		Translation $t_{(\gamma,\delta)}$ & Refl, Glide & Tran & Rot & Refl, Glide \\ \hline
		Rotation $R_{\phi,Q}$ & Refl, Glide & Rot &Rot, Tran  & Refl, Glide\\ \hline
		Glide Reflection & Rot, Tran &Refl, Glide  & Refl, Glide & Rot, Tran \\
		\hline
	\end{tabular}\\
\end{center}
	%\vspace{0.3cm}
	%{\bf Remark:} We have shown that when composing isometries of opposite parity, in any order, it is always possible to obtain a reflection or a glide. The same is not true for the orientation-preserving isometries, as we see that some entries in our table include only rotations or translations, but not both. Interestingly, the only combinations in which we don't have ``both'' kinds of outcomes are the composition of translations with orientation-preserving isometries. 
	
%	Also notice that also that our chart is symmetric. While isometries may not commute, neither direction of composition is ``richer'' than the other.\\

	\item[(d)] Take the rotation $R_{\pi/2}$ and the standard reflection $\olin r$. Then
	\[R_{\pi/2}\circ\olin r(x,y)=R_{\pi/2}(x,-y)=(y,x),\]
	but
	\[\olin r\circ R_{\pi/2}(x,y)=\olin r(-y,x)=(-y,-x).\]
	so $R_{\pi/2}\circ\olin r\neq\olin r\circ R_{\pi/2}$.\\
	
	\item[(e)]  Notice (by calculating) that the glide $t_{(1,0)}\olin r$ does not commute with either the translation $t_{(0,1)}$, nor the reflection $\olin r_{L}$ in the $y$-axis, nor the rotation $R_{\pi/2}$.\qed
	
\end{itemize}



\color{black}
\vspace{0.7cm}








{\bf Problem 5}. (25 pts) Let $T\sse\R^2$ be the equilateral triangle centered at the origin.

\begin{itemize}
	\item[(a)] Show that there are exactly {\it six} isometries $f:\R^2\lr\R^2$ which verify $f(T)=T$. Let us call them $s_1,s_2,s_3,s_4,s_5,s_6$.\\
	
	\item[(b)] Explain why the composition $s_i\circ s_j$, for any $1\leq i,j\leq 6$, must be of the form $s_k$, for some $1\leq k\leq 6$.\\
	
	\item[(c)] Complete the table below according to this product rule: in entry $ij$ in the table is $s_k$ if $s_j\circ s_i=s_k$. In particular, explain why the set of isometries which preserve $T$ form a group $G_T$.
	
	\begin{center}
		\begin{tabular}{| l | l | l | l | l | l | l |}
			\hline
			& $s_1$ & $s_2$ & $s_3$ & $s_4$ & $s_5$ & $s_6$ \\ \hline
			$s_1$ &  &  &  & & & \\ \hline
			$s_2$ &  &  &  & & &  \\ \hline
			$s_3$ &  &  &  & & &\\ \hline
			$s_4$ &  &  &  & & & \\ \hline
			$s_5$ &  &  &  & & & \\ \hline
			$s_6$ &  &  &  & & & \\
			\hline
		\end{tabular}
	\end{center}
	
	\item[(d)] Is the group $G_T$ commutative, i.e. $s_i\circ s_j=s_j\circ s_i$, for all $1\leq i,j\leq 6$  ?\\
	
	\item[(e)] Consider the set $I=\{1,2,3\}$ with three elements. Show that there are exactly six bijections $F:I\lr I$. Let us call them $F_1,F_2,F_3,F_4,F_5,F_6$.\\
	
	\item[(f)] Complete the following table, where in the $(ij)$ entry we write the bijection $F_k$ which corresponds to the composition $F_j\circ F_i$.\\
	
		\begin{center}
		\begin{tabular}{| l | l | l | l | l | l | l |}
			\hline
			& $F_1$ & $F_2$ & $F_3$ & $F_4$ & $F_5$ & $F_6$ \\ \hline
			$F_1$ &  &  &  & & & \\ \hline
			$F_2$ &  &  &  & & &  \\ \hline
			$F_3$ &  &  &  & & &\\ \hline
			$F_4$ &  &  &  & & & \\ \hline
			$F_5$ &  &  &  & & & \\ \hline
			$F_6$ &  &  &  & & & \\	\hline
		\end{tabular}
	\end{center}
	
	\item[(g)] Show that there is a relabeling of $s_1,s_2,s_3,s_4,s_5,s_6$ into $F_1,F_2,F_3,F_4,F_5,F_6$ such that the two tables in Part 2.(c) and Part 2.(f) above coincide.\\
	
	{\it This proves that the group of isometries of the regular triangle is the same as the group of bijections of three elements.}\\
	
	\item[(h)] Let $S\sse\R^2$ the square with vertices $(1,1),(1,-1),(-1,1),(-1,-1)\in\R^2$. How many isometries $f:\R^2\lr\R^2$ are there such that $f(S)=S$ ? \\

\end{itemize}


\vspace{0.5cm}
\color{blue}
{\bf Solution}. \begin{itemize}
	\item[(a)] Assume the result of part (e). Such an isometry must leave invariant the set of vertices of $T$, so there are only $3!=6$ candidates for isometries, the different permutations of vertices. We must show that {\it all} of these permutations are actually realized by isometries. Let's fix $T$ to have vertices on the unit circle at angles $0$, $2\pi/3$, and $4\pi/3$ (the cube roots of unity in the complex plane). Let $L_{1}$ be the $x$-axis, $L_{2}$ be the line through the origin at angle $2\pi/3$, and $L_{3}$ be the line through the origin at $4\pi/3$. Notice that the six isometries 
	\[s_{1}=\Id, \,\,s_{2}=R_{2\pi/3}, \,\,s_{3}=R_{4\pi/3}, \,\,s_{4}=L_{1},\,\, s_{5}=L_{2}, \an s_{6}=L_{3}\] each realize a different permutation of the vertices of $T$. \\
	
	\item[(b)] You can verify this using theorems about rotations and reflections, or by calculating all of the formulas, but here's a cute way: the composition of two permutations (meaning, you mix up the numbers $1$, $2$, and $3$, ordered, and then do it {\it again}) is of course another permutation. Since isometries are uniquely determined by where they send three points, and since every permutation of the vertices is in our set $\{s_{1},s_{2},\dots,s_{6}\}$, any composition $s_{i}\circ s_{j}$ will correspond to a permutation realized by some other $s_{k}$ in the set.\\
	
	\item[(c)] Your table may look different from mine, if you labeled your isometries $s_{i}$ differently from me. But the first filled column and row should be the same (why?).
	
	\begin{center}
		\begin{tabular}{| l| | l | l | l | l | l | l |}
			\hline
			&                  $s_1$ & $s_2$ & $s_3$ & $s_4$ & $s_5$ & $s_6$ \\ \hline\hline
			$s_1$ &$s_{1}$  &$s_{2}$  &$s_{3} $ &$s_{4} $&$s_{5}$ &$s_{6}$ \\ \hline
			$s_2$ &$s_{2}$  &$s_{3}$  &$s_{1} $ &$s_{5} $&$s_{6}$ &$s_{4}$ \\ \hline
			$s_3$ &$s_{3}$  &$s_{1}$  &$s_{2} $ &$s_{6} $&$s_{4}$ &$s_{5}$ \\ \hline
			$s_4$ &$s_{4}$  &$s_{6}$  &$s_{5} $ &$s_{1} $&$s_{3}$ &$s_{2}$ \\ \hline
			$s_5$ &$s_{5}$  &$s_{4}$  &$s_{6} $ &$s_{2} $&$s_{1}$ &$s_{3}$ \\ \hline
			$s_6$ &$s_{6}$  &$s_{5}$  &$s_{4} $ &$s_{3} $&$s_{2}$ &$s_{1}$ \\ 
			\hline
		\end{tabular}
	\end{center}
	Let's check that we have a group. As always, we have the binary operation of function composition. In part (b) we checked the closure property (that the binary operation actually maps into the set we care about). Function composition is always associative. The isometry $s_{1}$ works as a valid identity element because $\Id \circ f=f\circ \Id=f$ for any function. Finally, every element has a valid inverse. The reflections are their own inverses, and the two nontrivial rotations are inverses of each other.\\
	
	\item[(d)] No, $G_{T}$ is a {\it nonabelian} group. In particular,
	\[s_{2}\circ s_{4}=s_{6}\neq s_{5}=s_{4}\circ s_{5}.\]
	
	{\bf Remark:} What we have just constructed is called the multiplication table for our group. Every (finite) group has one, and you can always tell whether a group is abelian or not by checking if the table is symmetric (in the matrix sense). It is important that $G_{T}$ here is not abelian. Play around with the isometries to see why they don't commute.\\
	
	\item[(e)] In any set of $n$ elements, such a function is determined by its $n$ images. The image of $1$ has $n$ choices (any of the numbers $1,\dots,n$). The function is bijective, so $F(2)\neq F(1)$, thus we have $n-1$ choices for this image. Next, $F(3)$ will have $n-2$ possibilities. Continuing, we finish by finding $2$ choices for $F(n-1)$ and only one choice left for $F(n)$. Therefore, we have
	\[n(n-1)(n-2)\dots(2)(1)=n!\]
	choices, and these are the possible number of bijections. In our case $n=3$, so there are $3!=3\cdot2\cdot1=6$ bijections. These are called permutations. Let's give them labels. $F_{1}$ is the identity function. $F_{2}$ is the function that sends $1\mapsto 2$, $2\mapsto 3$, and $3\mapsto 1$. $F_{3}$ is the function that sends $1\mapsto 3$, $3\mapsto 2$, and $2\mapsto 1$. $F_{4}$ is the function that fixes only $1$ (so it flips $2$ with $3$), $F_{5}$ fixes only $2$, and $F_{6}$ fixes only $3$.\\
	
	\item[(f)] I have chosen the labels so that the function function $F_{i}$ to corresponds exactly to how the isometry $s_{i}$ permutes the vertices, so the tables are identical. 
		
	\begin{center}
		\begin{tabular}{| l| | l | l | l | l | l | l |}
			\hline
			&                  $F_1$ & $F_2$ & $F_3$ & $F_4$ & $F_5$ & $F_6$ \\ \hline\hline
			$F_1$ &$F_{1}$  &$F_{2}$  &$F_{3} $ &$F_{4} $&$F_{5}$ &$F_{6}$ \\ \hline
			$F_2$ &$F_{2}$  &$F_{3}$  &$F_{1} $ &$F_{5} $&$F_{6}$ &$F_{4}$ \\ \hline
			$F_3$ &$F_{3}$  &$F_{1}$  &$F_{2} $ &$F_{6} $&$F_{4}$ &$F_{5}$ \\ \hline
			$F_4$ &$F_{4}$  &$F_{6}$  &$F_{5} $ &$F_{1} $&$F_{3}$ &$F_{2}$ \\ \hline
			$F_5$ &$F_{5}$  &$F_{4}$  &$F_{6} $ &$F_{2} $&$F_{1}$ &$F_{3}$ \\ \hline
			$F_6$ &$F_{6}$  &$F_{5}$  &$F_{4} $ &$F_{3} $&$F_{2}$ &$F_{1}$ \\ 
			\hline
		\end{tabular}\\
	\end{center}
	 ~\\
	\item[(g)] Due to the choices I made, the labeling is the boring one: $s_{i}\mapsto F_{i}$. In general, you want to relabel your $s_{i}$ as the $F_{i}$ that corresponds to the way that $s_{i}$ permutes the vertices, after you've given your vertices the names $1$, $2$, and $3$. Here I am thinking of the vertices $T$ as labeling the vertex on the $x$ axis as $1$, and then continuing to increase the vertex number by $1$ as I move counterclockwise.
	
	{\bf Remark:} The group of bijections of $n$ elements is called {\it the group of permutations on $n$ letters} or $S_{n}$. The group of symmetries of the regular $n$-gon is called the {\it dihedral group}, or $D_{n}$. What we have shown is that the group $S_{3}$ is {\it isomorphic} to $D_{3}$, meaning, informally, that there is a relabeling of the elements of one into the elements of the other such that the multiplication tables are the same.\\
	
	\item[(h)] There are $8$, the four rotations (including the trivial one) and four reflections found in Problem Set 1, Problem 6, parts (b) and (d). Here is a quick way to see that, given the proofs in the solutions to that problem. Any isometry preserving the square must fix the origin, which limits us to rotations about the origin and reflections in lines through origin. But any other rotation or reflection through the origin, other than the $8$ considered here, has been proved to not preserve the square.
	
	Alternatively, you could go the permutation route. There are $4!=24$ possible permutations, but not all are possible, because many of them would take opposite corners to adjacent corners, shortening their distance, so they cannot be isometries. This did not happen with the triangle because {\it all} points on $T$ were the exact same distance from all other points.\qed
	
%	{\bf Remark:} Consider thinking about the number of elements of a general dihedral group for a polygon with $n$ sides. Can you find a pattern? Does it continue to be true that $S_{n}$ is isomorphic to $D_{n}$, past $n=3$?\\

\end{itemize}

\color{black}
\vspace{0.7cm}








{\bf Problem 6}. (25 pts) For each of the ten sentences below, justify whether they are {\bf true} or {\bf false}. If true, you must provide a proof, if false you must provide a counter-example.\\

\begin{itemize}
	\item[(a)] Planar Isometries preserve angles. That is, let $O,P,Q\in\R^2$ be points and $f:\R^2\lr\R^2$ an isometry. Then the angle between the vectors $\vec{OP}$ and $\vec{OQ}$ equals the angle between the vectors $\vec{f(O)f(P)}$ and $\vec{f(O)f(Q)}$.\\
	
	\item[(b)] The set of rotations $R_{\theta,P}:\R^2\lr\R^2$ form a group inside the isometry group of the Euclidean plane.\\
	
	\item[(c)] The set of translations $t_{(\alpha,\beta)}:\R^2\lr\R^2$ form a group inside the isometry group of the Euclidean plane.\\
	
	
	\item[(d)] Let us call an isometry {\it orientation-preserving} if it is the product of two reflections. The set of orientation-preserving isometries is a group.\\
	
	\item[(e)] Let us call an isometry {\it orientation-reversing} if it is the product of one or three reflections. The set of orientation-reversing isometries is a group.\\
	
	\item[(f)] Suppose that $f,g:\R^2\lr\R^2$ are isometries and $A,B,C\in\R^2$ are three points. If $f(A)=g(A),f(B)=g(B)$ and $f(C)=g(C)$, then $f=g$.\\
	
	\item[(g)] Let $f,g:\R^2\lr\R^2$ be isometries that fix {\it all} points of the same line $L\sse\R^2$. Then it must be that $f=g$.\\
	
	\item[(h)] Let $T$ be the triangle in Problem 5, and $f,g:\R^2\lr\R^2$ be isometries such that the vertices of the triangle $f(T)$ coincide with the vertices of the triangle $g(T)$. Then $f=g$.\\
	
	\item[(i)] Let $T$ be the triangle in Problem 5, and $f:\R^2\lr\R^2$ be an isometry such that $f(P)=P$ for $P\in T$. Then $f(Q)=Q$ for all $Q\in\R^2$.\\
	
	\item[(j)] Let $A,B,C,D\in\R^2$ be four points. There always exists a point $P\in\R^2$ such that $d(P,A)=d(P,B)=d(P,C)=d(P,D)$.\\
\end{itemize}


\vspace{0.5cm}
\color{blue}
{\bf Solution}. 
\begin{itemize}
	\item[(a)] True. Note that, we have used  his implicitly whenever we say ``by a suitable isometry, assume\ldots'' or ``there is a change of coordinates such that\ldots''. If our points are not collinear, then they form a triangle. The side lengths of this triangle are preserved by our isometry $f$, so by the Side-Side-Side theorem of grade school geometry, the image of the triangle is congruent to the original triangle, and therefore the angles are preserved.
	
	If our points are on a line, then they form the angle $0$ or $\pi$, depending on which one is in the middle. Isometries map lines to lines, so the image of these points also forms an angle of $0$ or $\pi$. The angle can't switch from $0$ to $\pi$ (or vice versa), because to do so would require that $f$ reorder points on a line, which would not preserve distance.\\
	
	\item[(b)] False. Problem 4 (a) and (b) of Problem Set 1 show that this is true for a {\it fixed} value of $P$, just varying $\th$, but the result fails if we are allowed to compose rotations about different points. Take distinct parallel lines $M$ and $N$, and a third line transverse to these, $L$. Then $\olin r_{L }\olin r_{M}$ and $\olin r_{N}\olin r_{L}$ are both rotations, but
	\[(\olin r_{N}\olin r_{L})\circ(\olin r_{L }\olin r_{M})=\olin r_{N}\circ(\olin r_{L}\olin r_{L})\circ \olin r_{M}=\olin r_{N}\circ \Id\circ \olin r_{M}=\olin r_{N}\olin r_{M}\]
	is a nontrivial translation, which we have argued cannot be a rotation.\\
	
	\item[(c)] True. This was the content of Problem Set 1, Problem 4, parts (c) and (d), along with the observation that the identity is a translation (by the zero vector).\\
	
	
	\item[(d)] True. We denote this subgroup of $\mathrm{Iso}(\rb^{2})$ by $\mathrm{Iso^{+}}(\rb^{2})$. We need to check identity, and inverses, and closure. The identity is the product $\olin r_{L}\olin r_{L}$ for any line $L$, so it preserves orientation. Any product of two reflections $\olin r_{L}\olin r_{M}$ has the inverse 
	\[(\olin r_{L}\olin r_{M})^{-1}=\olin r_{M}^{-1}\olin r_{L}^{-1}=\olin r_{M}\olin r_{L},\]
	which preserves orientation. 
	
	Finally, to show closure, consider the orientation preserving isometries $\olin r_{L_{1}}\olin r_{L_{2}}$ and $\olin r_{L_{3}}\olin r_{L_{4}}$ through four arbitrary lines. If either is the identity, then their composition clearly preserves orientation. Assume then that neither is the identity, meaning $L_{1}\neq L_{2}$ and $L_{3}\neq L_{4}$. We wish to show that
	\[\olin r_{L_{1}}\olin r_{L_{2}}\circ \olin r_{L_{3}}\olin r_{L_{4}}\]
	is either a rotation or a translation (because both of these preserve orientation). If $\olin r_{L_{1}}\olin r_{L_{2}}$ and $\olin r_{L_{1}}\olin r_{L_{2}}$ are both translations, then their composition is a translation by part (c). Finally, suppose both are rotations. By rotating the lines used, we may assume that $L_{2}=L_{3}$, so the composition is either a rotation or a translation, depending on the relationship between $L_{1}$ and $L_{4}$.
	
	Suppose $\olin r_{L_{1}}\olin r_{L_{2}}$ is a rotation and $\olin r_{L_{3}}\olin r_{L_{4}}$ is a translation. Recall that we can factor translations and rotations in many ways. Therefore, by refactoring, we can assume that $L_{1}$ and $L_{2}$ are rotated so that $L_{2}$ is parallel to $L_{3}$ and $L_{4}$ (notice that $L_{3}$ and $L_{4}$ are parallel by assumption). Then by refactoring, translate $L_{3}$ and $L_{4}$ so that $L_{3}$ coincides with $L_{2}$. Similarly, if $\olin r_{L_{1}}\olin r_{L_{2}}$ is a translation and $\olin r_{L_{3}}\olin r_{L_{4}}$ is a rotation, then we can translate the first pair of lines and rotate the second pair to make $L_{3}=L_{2}$. In either case,
	\ba
		\olin r_{L_{1}}\olin r_{L_{2}}\circ \olin r_{L_{3}}\olin r_{L_{4}}&=	\olin r_{L_{1}}\circ(\olin r_{L_{2}}\olin r_{L_{3}})\circ \olin r_{L_{4}}\\
		&=\olin r_{L_{1}}\circ\Id\circ\,\, \olin r_{L_{4}}\\
		&=\olin r_{L_{1}}\olin r_{L_{4}},
		\end{align*}
which is a rotation, because $L_{1}$ cannot be parallel to $L_{4}$ (because both constructions ended up making the first three lines parallel, or the last three lines parallel, so if $L_{1}$ and $L_{4}$ are parallel, then all four lines are parallel, and then we never had a rotation).\\

	
	\item[(e)] False. In particular, this set does not contain the identity.
	
	Alternatively, the product of two orientation-reversing isometries will {\it always} be an {\it orientation-preserving} isometry. In particular, the product of any two reflections is {\it two} reflections, which can never be written as the product of one or three reflections. Therefore, the binary operation of function composition is not {\it closed} on the set of orientation-reversing isometries.\\
	
	\item[(f)] False. This looks like a Theorem that we have discussed, except that it is missing the crucial assumption that $A$, $B$, and $C$ are not {\it collinear}. This suggests that we pick collinear points as a counterexample. Indeed, suppose these points lie on a line $L$. Then take $f=\Id$ and $g=\olin r_{L}$. Clearly $f\neq g$, but all three points are fixed by each, meaning $f(A)=A=g(A)$, $f(B)=B=g(B)$, and $f(C)=C=g(C)$.\\
	
	\item[(g)] False. Again take $f=\Id$ and $g=\olin r_{L}$.\\
	
	\item[(h)] False. In Problem 5 above, we constructed six {\it distinct} such isometries. Each one created images of the triangle with identical {\it sets} of vertices, but no two were the same isometry.\\
	
	\item[(i)] True. Take $g=\Id$ in part (h). Then the vertices of $f(T)$ coincide with the vertices of $\Id(T)=T$, so $f=\Id$, and therefore fixes all points in the plane.\\
	
	\item[(j)] False. We will prove a stronger result, that you can't always find such a $P$ even if you only require equal distances from {\it three} points. Let $A$, $B$, and $C$ be distinct points on a common line $L$. The points equidistant from $A$ and $B$ form a line $M$. The reflection $\olin r_{L}$ exchanges $A$ and $B$, so $L$ is perpendicular to $M$. Repeat this for the pair of points $B$ and $C$, obtaining the line $N$ of points equidistant from $B$ and $D$, which is again perpendicular to $L$. Since $C\neq A$, we have that $N\neq M$ are two nonintersecting lines. Therefore, there is no point $P$ equidistant from $A$, $B$, and $C$. Meaning it is impossible to have 
	\[d(P,A)=d(P,B)=d(P,C).\]\qed
\end{itemize}

\begin{comment}



\color{black}
\vspace{0.7cm}







%\newpage
%http://www.mi.sanu.ac.rs/vismath/blanco2011mart/BL.pdf
{\bf Problem 7}. (20 pts) In this problem we will explore {\it wall-paper} tilings of the Euclidean plane. There is a classification of {\it all} possible regular tiling of the plane, resulting in 17 isometry subgroup of the group of isometries of $\R^2$. In this exercise we will study some of them. Each of the patterns displayed in the Figures should be understood as extending infinitely all over the Euclidean Plane $\R^2$.

\begin{itemize}
	\item[(a)] Explore whether the pattern in Figure \ref{fig:Alhambra1} admits any translational symmetries, i.e. it is invariant under translations in the Euclidean plane. Is it invariant under any reflection ?
	
	\begin{center}
		\begin{figure}[H]
			\centering
			\includegraphics[scale=1.0]{Alhambra1.jpg}
			\caption{The pattern in the Patio de los Arrayanes in {\it La Alhambra}, Spain.}
			\label{fig:Alhambra1}
		\end{figure}
	\end{center}
	
	\item[(b)] Explore whether the pattern in Figure \ref{fig:Alhambra2} admits any rotational symmetries, i.e. whether it is invariant under certain rotations of the Euclidean plane. Are there any reflection which preserve this pattern ?
	
	\begin{center}
		\begin{figure}[H]
			\centering
			\includegraphics[scale=0.8]{Alhambra2.jpg}
			\caption{The pattern in La Torre de las Infantas in {\it La Alhambra}, Spain.}
			\label{fig:Alhambra2}
		\end{figure}
	\end{center}
	
	\item[(c)] Find all translations which leave the pattern in Figure \ref{fig:Pattern3} invariant.
	
	\begin{center}
		\begin{figure}[H]
			\centering
			\includegraphics[scale=0.6]{Pattern3.jpg}
			\caption{A tiling of the plane made of fish and birds.}
			\label{fig:Pattern3}
		\end{figure}
	\end{center}
	
	\item[(d)] Compare the isometries which preserve the brick pattern in Figure \ref{fig:Pattern1} with the isometries that preserve the tile pattern in Figure \ref{fig:Pattern2}.
	
	\begin{center}
		\begin{figure}[H]
			\centering
			\includegraphics[scale=3.0]{Pattern1.jpg}
			\caption{First Brick Tiling.}
			\label{fig:Pattern1}
		\end{figure}
	\end{center}

	\begin{center}
	\begin{figure}[H]
		\centering
		\includegraphics[scale=0.75]{Pattern2.jpg}
		\caption{Second Brick Tiling.}
		\label{fig:Pattern2}
	\end{figure}
\end{center}
	
	\item[(e)] (Bonus - Extra Credit) Explore the isometries of the patterns in Figures \ref{fig:Pattern4}, \ref{fig:Pattern5}, \ref{fig:Pattern6} and \ref{fig:Pattern7}.\\
	
	
		\begin{center}
		\begin{figure}[H]
			\centering
			\includegraphics[scale=1.5]{Pattern4.jpg}
			\caption{M.C. Escher Birds.}
			\label{fig:Pattern4}
		\end{figure}
	\end{center}
	
	\begin{center}
		\begin{figure}[H]
			\centering
			\includegraphics[scale=0.65]{Pattern5.jpg}
			\caption{General in Horse Tiling.}
			\label{fig:Pattern5}
		\end{figure}
	\end{center}

		\begin{center}
	\begin{figure}[H]
		\centering
		\includegraphics[scale=0.3]{Pattern6.jpg}
		\caption{M.C. Escher's fish.}
		\label{fig:Pattern6}
	\end{figure}
\end{center}

\begin{center}
	\begin{figure}[H]
		\centering
		\includegraphics[scale=1.75]{Pattern7.jpg}
		\caption{M.C. Escher's Artwork.}
		\label{fig:Pattern7}
	\end{figure}
\end{center}
\end{itemize}

\vspace{0.5cm}
\color{blue}
{\bf Solution}. 

Take a look at the \href{https://en.wikipedia.org/wiki/Wallpaper_group}{Wikipedia page on wallpaper groups} to see the classification of these 17 subgroups of $\mathrm{Iso}(\rb^{2})$. See if you can decide which group each of these tilings correspond to.

\begin{itemize}
\item[(a)]  Fig. \ref{fig:Alhambra1}  admits two independent directions of translational symmetry (focusing on a six-pointed star, one may shift it to the next one to the right, or the next one to the upper-right). Any reflection would reverse the orientation of the pin-wheels (which point counter-clockwise now), so Fig. \ref{fig:Alhambra1} admits no reflection symmetries.\\


\item[(b)]  There is some local symmetry in rotation by $\pi/4$ in Fig. \ref{fig:Alhambra2}, but this isn't good enough to preserve the whole tiling, whose main breakdown is into squares. We can however conclude that this tiling has symmetry by rotation $\pi/2$. Additionally, there is reflection symmetry through the usual four lines which preserve the square (notice that these generate the rotations by $\pi/2$ anyway).
\\


\item[(c)] Similar to Fig. \ref{fig:Alhambra1}, we have two independent directions of translational symmetry in Fig. \ref{fig:Pattern3}. All translations are generated by combinations of the translation $T_{1}$ which sends a fish to the next one above and to the left, and $T_{2}$ which sends a fish to the next one above and to the right.
\\


\item[(d)] These are similar. Say the bricks have dimensions $2$ units by $1$ unit. The translational symmetries of Fig. \ref{fig:Pattern1} are generated by $t_{(-1,1)}$ and $t_{(4,0)}$, while those of Fig. \ref{fig:Pattern2} are generated by $t_{(1,1)}$ and $t_{(4,0)}$. In fact, these figures differ only by a single reflection, (reflection in either the $x$-axis or the $y$-axis will work). Therefore, neither has rotational symmetry, because that would change the direction that the bricks ``point''. Similarly, neither have reflection symmetry, because such a symmetry would have to be parallel to the direction of pointing, but even still would not preserve the pattern of lines made by the bricks.
\\

\item[(e)]Much can be said about each. Note that {\it all} wallpaper groups have two independent directions of translation. Particularly interesting is that Fig. \ref{fig:Pattern6} does not have rotational symmetry by $\pi/3$ (it would change the orientation of the fish fins), but does have rotational symmetry by $2\pi/3$. The same is true of Fig. \ref{fig:Pattern7}.


\end{itemize}



\color{black}
\vspace{0.7cm}



\end{comment}

\end{document}