Homework 22 Worksheet Properties of Isometries 1. Prove that

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'.