GeoGebra Lab F5   
20feb15 and updated same day


\begin{document}
\maketitle

\section{Prerequisites}
It is presumed that you have watched the video on inversive geometry. We need the concept of the inverse of a point in the Cartesian plane in the unit circle.
\section{Instructions}
Put your name at the top of this sheet of paper and check off the items as you finish them in the lab. Submit this sheet of paper before your leave. I will
check off the rest when I look at your work after F5. 
There are three GGB files to be submitted on M6. There is NO paper to be handed in. I will retrieve the three files from the Moodle and check them. You will receive feedback on the lab sheet you hand in.
\begin{enumerate}
\item Create a folder called ggbLabF5 (do not use spaces in any names of folders or files) and download a copy of 
 ladderlemma.ggb   

into this folder. 
\item Make a copy of this file for safekeeping. 
\item Open your working copy of the ladderlemma.ggb
\end{enumerate}
\subsection{Experiment 1}
In this experiment you discover that hyperbolic segments as arcs of 
circles perpendicular to the unit circle. We will do this by constructing
the circle through two points inside the unit circle which is its
own inverse, and therefore perpendicular to the unit circle.

Note, that we will distinguish between Euclidean and hyperbolic objects by
attaching the letter H or h somewhere in the name for the Euclidean object 
that is an interpretion of a hyperbolic object. 
\begin{enumerate}
\item Find $C' = inv(C)$ by reflecting $C$ in the unit circle. Use the 
reflection in a circle tool of GGB.
\item Draw $\gamma=circ(B,C,C')$ through these three points. Observe that it is 
perpendicular to the unit circle.
\item  Show that inversions $B',H'$ are also on $\gamma$, which suggests that
$\gamma$ is its own inverse.
\item  Verify that the lines $(HH'), (GG')$ etc are concurrent at the origin,
illustrating that inversion preseves lines through the origin. Note such lines are necessarily perpendicular to the unit circle.
\item For homework, investigate inverses of other circles and lines and 
write up a list of properties. For example, what is the inverse of a 
circle passing through the origin. Collect these in your yournal. You will 
be asked to submit this in your lab report due at a later time.
\item Save your work with the name \textbf{ F5experiment1.ggb.} You will submit this file on the Moodle. 
\end{enumerate}

\subsection{Experiment 2}
In this experiment you will learn how to make new tool in GGB and save it 
for later use. The purpose of this exercise is learn how Campos extended
GGB to the box of hyperbolic tools. 

\begin{enumerate}
\item Start with a clean copy of GGB, one that \textit{ does not} have the Campos hyperbolic tools in it. 
\item Construct the unit circle, then hide the xy-axes and the point (1,0). But keep the origin, re-named as $O$
\item Choose two points labeled $P,Q$ inside the unit disk. 
\item Find the two points, labeled $P1, Q1$ (subscripts are clumsy in GGB), 
where the $circ(P,Q,Q')$ crosses the unit circle. 
\item Construct the circular $arc(P1,Q,Q1)$. This arc is the interpretation
in this model of the full hyperbolic line $hline(PQ)$
\item Now follow the directions on constructing a new tool. Note 
it is under a new tool button. See Tool Elaboration at the bottom.
\item Leave this file open to work on further, but save the tool as follows.
\item Save this as the toolfile named \textit{hline}. It will appear in 
your folder ast \textbf{hline.ggt}. Note the suffix is not .ggb. You will
submit this file on the Moodle.
\item Continue working on the open file. Apply the tool you have made 
to other pairs of hyperbolic points. Note carefully, that the tool requires
you to name more objects than the two points you are connecting. They come
last. This is a flaw in GGB and I don't know how work around it. 
\item Continue to make two more tools. The $hray(P,Q)$ is easy to do because
it is the Euclidean $arc(P,Q,Q1)$. 
\item To build the tool $hseg(P,Q)$ will require you to find the center of
the circle $\gamma$ at the intersection of $perbis(P,Q)$ and $ perbis(P,P')$. 
\item To show that your work was successful, use your new tool to connect
two further hyperbolic points with their hyperbolic segment. Label the points
$P2,Q2$
\item Save this construction and name it \textbf{F5experiment2.ggb}. You will
submit this file on the Moodle.
\end{enumerate}
\section{Elaboration}
During the lab of F5 the following issues arose and were ammended.
\subsection{Making and Using GGB Tools}
The procedure I demonstrated in class to make the tool hline.ggt actually
was correct. What threw me off was that when I chose the two axes, they
did not "light up". GGB displays in bold suitable ojects you choose as 
feedback. There really was a tool-file named \textit{hline.ggt} in the 
Downloads. 

Also, I was puzzled by the fact the the tool you helped me make in lab
asked for "line,line,point,point", instead of what I had observed earlier
"point,point,point,point". Here is the  reason. In order for GGB to apply a 
native or a user-made tool, it must have all the component inputs. Recall
that to make the tool, we started with the axes, and then used the axes
to make a unit circle by center and radial length. You can also do this
by choosing the center and a point on the circle. This has to be specified,
along with the last pair of points you want to connect with a hyperbolic
line.  The need for this additional information stems from the native 
reflection, which can use any circle as its mirror, not just the unit 
circle. So this is not a defect in GGB, just an inconvenience for us. 

Alexandre Campos did not make his hyperbolic tools in this way.
He re-coded the XML file itself to specify the 
center (the Origin) and the mirror (Unit Circle) automatically. The 
conclusion is thus to use the tool-making ability of GGB not instead of 
Campos's tool set, but as an extension of it. However, for other models
of non-Euclidean geometry, such as the Klein-Beltrami and the Upper Half
Plane model, we will have to make our own tools because they are not 
part of Campos's tool set.

\subsection{Assignment}
It proved impractical to collect the handouts (a copy of the first
two pages of this document) at
the end of the lab since most of the work was assigned to be done at home.
Therefore, four items are due on Monday M6:
\begin{enumerate}
\item The instructions handed out F5 (or a printed copy of it) with
your name on it, and marked with completed steps. Submit these during
class M6. These will be returned with feedback and a grade.
\item The 3 files F5experiment1.ggb, hline.ggt, and F5experiment2.ggb 
submitted on the Moodle on M6. 
\item Additional reports written into your Journal. These will be evaluated
at a later date, possibly by a question on the midterm.
\end{enumerate}


\end{document}