Angle Side Angle Transformation Proof
The tools given allow you to make a vector, measure an angle, translate, rotate and reflect.
Is that enough to get the blue (ABC) to the red (DEF) by rigid motions?
Bonus points: If you do it dynamically, they should stay matched even when you move things around or change values! The first angle you measure will be ε (epsilon) which you can find on the keyboard; then it will change if anything is changed in the applet. Or you can name angles with points, like Angle(A,B,C).
Double bonus points: can you do it with just reflections?