Two reflections give one rotation

Please enable Java for an interactive construction (with Cinderella).

Two reflections (x->x', x'->x'') at two straight lines (blue and light green) with direction vectors a and b (at angle theta/2) give one rotation (x->x'') with angle theta.


Created with Cinderella