Homework 22 Worksheet
Properties of Isometries
1. Prove that isometries preserve betweenness of points, i.e., if A * B * C, then A' * B' * C'.
2. To prove that an isometry T preserve line segments, we must show that π π΄π΅ (i.e., the set of
points that π΄π΅ lands on after getting mapped by T, or {π! |π β π΄π΅ and π π = π! }) is the
line segment π΄β²π΅β². Both π π΄π΅ and π΄β²π΅β² are sets, and the way that equality of sets is usually
proved is through a two part proof. In the first part, we arbitrarily pick an element from one
set and show that it is also an element of the second set. In the second part of the proof, we
arbitrarily pick an element of the second set and show that it is also in the first set.
a. Assume that P' β π π΄π΅ . Show that P' β π΄β²π΅β². (Hint: P' β π π΄π΅ implies that there is a
point P β π΄π΅ such that T(P) = P'. Use Thm 10.1.7 pts 1-2 on P, A, and B to help you
conclude that P' β π΄β²π΅β².)
b. Assume that P' β π΄β²π΅β². Show that P' β π π΄π΅ . (Hint: Use the fact that T-1 is also an
isometry to conclude that A' * P' * B' forces A * P * B, so P is on π΄π΅, which means that
P' β π π΄π΅ .)
3. Prove that an isometry preserves rays, i.e., that π(π΄π΅) = π΄β²π΅β². (Hint: Use the two-part proof
idea from #2 and the definition of ray which says that ππ = ππ βͺ {π
|π β π β π
}. The way a
ray is defined suggests that you are going to have to consider two cases: When R is on the
segment, and when R is on the part of the ray beyond the segment.}
4. Prove that an isometry preserves lines, i.e., that π π΄π΅ = π΄β²π΅β². (Hint: Use the two-part proof
idea again along with an alternate characterization of the points on a line, namely ππ =
{π
|π
β π β π} βͺ ππ.)
5. Prove that an isometry preserves angles, i.e., that T(β ABC) = β A'B'C', and that β π΄π΅πΆ β
β π΄β²π΅β²πΆβ². (Hint: To show the equality, use the idea that an angle consists of two rays with a
common endpoint. To show congruence, consider the triangles ο²ABC and ο²A'B'C'.)
6. Prove that an isometry preserves triangles, i.e., that T(ο²ABC) = ο²A'B'C' and that ο²ABC β
ο²A'B'C'.
© Copyright 2026 Paperzz