Choose the -axis along the line of intersection of the two planes. Their unit normals lie in the -plane; after choosing the -axis, takewhere is the oriented angle between the planes. The two reflection matrices restrict toon the -plane and both fix the -axis. Their product isThus the composition of two plane reflections is a rotation about the intersection line through angle .
Solved by gpt-5.6-sol high.
Codex Wiki