Lab Experiments for Compositions

\begin{document} Updated 21nov14
\maketitle \section{Introduction} To illustrate the power of the recalibration theory we first calculate the composition of two isometries which are simultaneously availabe in GGB, GEX or KSEG. Later, after you understand the theortical basis of the experiments, constructions can be helpful in discovering the composition of two rotations. \section{Recalibration of a translation} Recall that the recalibration theorem for a rotation $\rho$ says that we can choose one of the two mirrors $m$ through the center of rotation $Q$, and then calculate the \textit {before-mirror} $b$ and the \textit{after-mirror} $a$ to that \[ \rho = \sigma_a\sigma_m = \sigma_m\sigma_b \] We can make the recalibration theorem for a translation $\tau$ read very similar as follows. Choose any point in the plane $M$ and apply the translation $A = \tau(M)$ and $B = \tau^{-1}(M)$ so that $\tau = \tau_{A-M} = \tau_{M-B}$. Starting with mirror $m$ through $M$ and (of course) perpendicular to $(AB)$, we find before-mirror $b = perbis(M,B)$ and after-mirror $a = perbis(A,M)$ so that the translation factors thus \[ \tau = \sigma_a\sigma_m = \sigma_m\sigma_b \]. \section{Problem A} Given a rotations $\rho_{Q,\theta}$ and a translation $\tau_{D}$, conduct an experiment to discover that their composition $\alpha =\tau_{D} \rho_{Q,\theta}$ is again a rotation. \textbf{Hint:} Choose a mirror $m$ which can serve for both isometries, with $a$ its after-mirror for the translation, and $b$ the before-mirror for the rotation. Then show, experimentally, that $\alpha = \rho_{P,\theta}$, where $P=(ab)$.
Similarly, discover what $\omega =\rho_{Q,\theta}\tau_{D}$ is and in your documentation, compare $\alpha$ with $\omega$. \section{Problem B} Analyze the composition $\beta = \rho_{P,\phi} \rho_{Q,\theta}$ in a similar way as in Problem A. For this exercise, use GeoGebra. In the documentation to Problem B, determine when $\beta$ is again a rotation (determine the fixed point and the angle of rotation). Is there a case when $\beta$ is, in fact, a translation? \section{Lab Assignment} Deposit \textbf{single} PDF document describing both problems. But submit the GeoGebra (or GEX) files for each problem on the Moodle. \end{document}