standard_description: Write a function that describes a relationship between two quantities.
problem_activity: Task
Suppose $\triangle ABC$ and $\triangle DEF$ share three corresponding congruent sides as pictured below:
[IMG]
Show that $\triangle ABC$ is congruent ot $\triangle DEF$ as follows:
Apply a translation to move $\triangle ABC$ to $\triangle A^\prime B^\prime C^\prime$ with $A^\prime = D$.
Apply a rotation to move $\triangle A^\prime B^\prime C^\prime$ to $A^{\prime \prime}B^{\prime \prime}C^{\prime \prime}$ with $A^{\prime \prime} = D$ and $B^{\prime \prime} = E$.
Explain why $\left|A^{\prime \prime}C^{\prime \prime}\right| = \left|DF\right|$ and conclude that $\overleftrightarrow{DE}$ is the perpendicular bisector of $\overline{C^{\prime \prime}F}$.
Show that reflection over $\overleftrightarrow{DE}$ maps $F$ to $C^{\prime \prime}$ and conclude that $\triangle ABC$ is congruent to $\triangle DEF$.


aligns: no