Task
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$:
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 DEF$.

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.

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.

Show that there is a reflection of the plane which does not move $D$ or $E$ and which maps $C''$ to $F$.
IM 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.
It is important to note that the argument here relies on the SAS congruence criterion. An alternate approach to SSS which does not use SAS can be found here: https://www.illustrativemathematics.org/tasks/1930.
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.
Comments
Log in to commentRyan says:
about 3 yearsPart C assumes that the base angles of an isosceles triangles are congruent. How was this assumption proved without the use of SSS criteria?
Evan says:
over 1 yearSAS can be shown first, https://www.illustrativemathematics.org/contentstandards/tasks/109, and used to prove the isosceles triangle definition as well as to support this task.
I strongly recommend the image be redone.
In part (c) of the solution it appears that the line segment C"F is collinear with C"B" and EF. This will only be the case if the original triangles are right triangles with angles B and E right angles. I recommend angles B and E be obtuse so the shape before the final reflection is a convex kite  or embed an applet? https://ggbm.at/tG4cvPhr
Michael Nakamaye says:
about 3 yearsThe IM task about isosceles triangles, https://www.illustrativemathematics.org/tasks/983, does use SSS as you indicate. However, instead of taking the midpoint D of side BC (notation as in the aforementioned task) we could take the line L so that it bisects angle A. Because reflections preserve distances and angle measures (and segment AB is congruent to segment AC), reflection over L will map B to C and vice versa. From here we can conclude, because reflections preserve angles, that angles B and C of triangle ABC are congruent. Here we have not used SSS at all. We do need to know, from the axioms, that rigid motions preserve angle measures and segment lengths. Perhaps we should create an alternative for the current task about isosceles triangles to avoid this confusion?
Michael Nakamaye says:
about 3 yearsThere is, again related to SSS but this time a different argument (given in https://www.illustrativemathematics.org/tasks/1930) a closely related problem. This makes appeal to the perpendicular bisector of a segment being the set of points equidistant from the endpoints of the segment (https://www.illustrativemathematics.org/contentstandards/tasks/967) but the argument in that task uses SSS so this is circular and will need to be replaced by an alternative argument.