G-CO Why does SSS work?

In the picture below segment \(AB\) is congruent to segment \(DE\), segment \(AC\) is congruent to segment \(DF\) and segment \(BC\) is congruent to segment \(EF\):

Gco.8_why_does_sss_w_9a0dc71d2158e5a7b7df3dee6226d074

Show that the two triangles \(ABC\) and \(DEF\) are congruent via the following steps, which produce a rigid transformation of the plane sending triangle \(ABC\) to triangle in \(DEF\).

  1. Show that there is a translation of the plane which maps \(A\) to \(D\). Call \(B'\) and \(C'\) the images of \(B\) and \(C\) under this transformation.

  2. Show that there is a rotation of the plane which does not move \(D\) and which maps \(B'\) to \(E\). Call \(C''\) the image of \(C'\) under this transformation.

  3. Show that there is a reflection of the plane which does not move \(D\) or \(E\) and which maps \(C''\) to \(F\).


Commentary

This particular sequence of transformations which exhibits a congruency between triangles \(ABC\) and \(DEF\) used one translation, one rotation, and one reflection. There are many other ways in which to exhibit the congruency and students and teachers are encouraged to explore the different possibilities.

For example, in the first step, where point \(A\) is moved via rigid transformation to point \(D\), this could be accomplished via a translation, rotation, or reflection. The second step, where \(B^\prime\) is moved to \(E\) while leaving \(D\) fixed, could be accomplished with a rotation as is done here or with a reflection.

This task includes an experimental GeoGebra worksheet, with the intent that instructors might use it to more interactively demonstrate the relevant content material. The file should be considered a draft version, and feedback on it in the comment section is highly encouraged, both in terms of suggestions for improvement and for ideas on using it effectively. The file can be run via the free online application GeoGebra, or run locally if GeoGebra has been installed on a computer.

This file is designed to illustrate a series of rigid transformations to show two triangles are congruent. It contains instructions and at every step there is a button that can be clicked to show the next step. Also there are sliders that appear so you can manually do the rigid transformations. At any point you can click the red reset button to return to the initial state.

Solutions

Solution: Explicit construction of rigid motions
  1. Translation by the segment \(AD\) maps \(A\) to \(D\). The effect of this transformation is pictured below with \(B\) mapping to \(B'\) and \(C\) to \(C'\):

    Gco.8_why_does_sss_w_75e0d8cd11fe7d36bb7ee6001a1c2992
  2. In order to move \(B'\) to \(E\), without moving \(D\), we rotate triangle \(DB'C'\) about point \(D\) by angle \(B'DE\), the effect of which is pictured below (the point \(C''\) is the image of \(C'\) under this rotation):

    We know that the image of \(B'\), under rotation about \(D\) by angle \(B'DE\), will be \(E\) because, by assumption, \(AB\) is congruent to \(DE\).

    Gco.8_why_does_sss_w_ecd783cbdf0e0944e38126cad2f14b74
  3. Now it remains to move \(C''\) to \(F\), without moving \(D\) or \(E\). The only possible rigid motion of the plane, other than the identity, which does not move \(D\) or \(E\), is reflection about the line \(DE\) so we must check that this reflection moves \(C^{\prime \prime}\) to \(F\). A circle of radius \(|DF|\) with center \(D\) passes through both \(F\) and \(C''\) because \(DF\) is congruent to \(AC\) and \(DC''\) is the image of \(AC\) under a rigid motion of the plane. Similarly, using the hypothesis that \(EF\) is congruent to \(BC\), a circle of radius \(|EF|\) with center \(E\) passes through both \(F\) and \(C''\). Two distinct circles can meet in at most two points. Because these circles have distinct centers (\(D\) and \(E\)), they are distinct circles and so they meet exactly at \(F\) and \(C''\). These circles are preserved when reflected about line \(DE\), as it is a diameter for both circles, and thus their intersection points are also preserved, forcing the reflection of \(C''\) to be \(F\) as desired.

    Gco.8_why_does_sss_w_2eb8f24d69e210fe5cd337ce9ff4f1c3