Progress Report 3
Half turns
Introduction and instructions
A half turn about a point

is a rotation

where the axes of the reflections

and

are perpendicular and intersect at

.
If

is a half-turn, then there is a pair of perpendicular lines

and

that meet at

such that

The definition does not state that

for any pair of perpendicular lines that meet at

this, however, is the conclusion of the first problem. In answering questions
that ask you to either "support" or "justify" an assertion, provide a summary
version of the proof. Your answer should make it clear how you would go about
proving the assertion and include any key observations necessary for your
proof. Also, your argument should only rely on the axioms of transformational
geometry or there consequences.
Questions:
Let

be a point and

a half-turn about

and suppose that

and

are perpendicular and meet at

.
Justify the following assertion:

.
(This shows that a half-turn is independent of the choice of the pair of
perpendicular lines used to represent it.)
Make conjectures regarding the fixed lines of a half-turn in a.) a nonelliptic plane and in b.) an elliptic plane. Prove your conjectures.
Sometimes a half turn

is called a reflection through

. Explain why. Your explanation should include some analysis of the action of
a half-turn.
Prove the following: Let

be a point and

be a line.

if and only if

is a pole of

.
[Hint: Show that if

is a pole of

,
then

satisfies all of the criteria of a reflection. In particular, show that

fixes every point of

.
To prove the converse, show that if

,
then

and

must be perpendicular to

.]
Justify: The only fixed points of a half-turn about a point

are: a.)

and all the points of the polar line of

if the plane is elliptic and b.) only

if the plane is not elliptic.
My favorite group process question: What is your favorite math joke?