standard_description: Identify when two expressions are equivalent (i.e., when the two expressions name the same number regardless of which value is substituted into them). For example, the expressions y + y + y and 3y are equivalent because they name the same number regardless of which number y stands for.
problem_activity: Task
In the two triangles below, angle $A$ is congruent to angle $D$, side $AC$ is congruent to side $DF$ and side $AB$ is congruent to side $DE$:
[IMG]
Sally reasons as follows: "If angle $A$ is congruent to angle $D$ then I can move point $A$ to point $D$ so that side $AB$ lies on top of side $DE$ and side $AC$ lies on top of side $DF$. Since $AB$ and $DE$ are congruent as are $AC$ and $DF$ the two triangles match up exactly and so they are congruent.''
Explain Sally's reasoning for why triangle $ABC$ is congruent to triangle $DEF$ using the language of reflections:
Construct a reflection which maps point $A$ to point $D$. Call $B'$ and $C'$ the images of $B$ and $C$ respectively under this reflection.
Construct a reflection which does not move $D$ but which sends $B'$ to $E$.  Call $C''$ the image of $C'$ under this reflection.
Construct a reflection which does not move $D$ or $E$ but which sends $C''$ to $F$.


aligns: no