Rotations and reflections in two dimensions

A rotation in the plane can be formed by composing a pair of reflections. First reflect a point P to its image P' on the other side of line L_1. Then reflect P' to its image P on the other side of line L_2. If lines L_1 and L_2 make an angle \theta with one another, then points P and P will make an angle 2\theta around point O, the intersection of L_1 and L_2. I.e., angle \angle POP'' will measure 2\theta. A pair of rotations about the same point O will be equivalent to another rotation about point O. On the other hand, the composition of a reflection and a rotation, or of a rotation and a reflection (composition is not commutative), will be equivalent to a reflection. ==Mathematical expression==

The statements above can be expressed more mathematically. Let a rotation about the origin O by an angle \theta be denoted as \operatorname{Rot}(\theta). Let a reflection about a line L through the origin which makes an angle \theta with the x-axis be denoted as \operatorname{Ref}(\theta). Let these rotations and reflections operate on all points on the plane, and let these points be represented by position vectors. Then a rotation can be represented as a matrix, \operatorname{Rot}(\theta) = \begin{bmatrix} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{bmatrix}, and likewise for a reflection, \operatorname{Ref}(\theta) = \begin{bmatrix} \cos 2 \theta & \sin 2 \theta \\ \sin 2 \theta & -\cos 2 \theta \end{bmatrix}. With these definitions of coordinate rotation and reflection, the following four identities hold: \begin{align} \operatorname{Rot}(\theta) \, \operatorname{Rot}(\phi) &= \operatorname{Rot}(\theta + \phi), \\[4pt] \operatorname{Ref}(\theta) \, \operatorname{Ref}(\phi) &= \operatorname{Rot}(2\theta - 2\phi), \\[2pt] \operatorname{Rot}(\theta) \, \operatorname{Ref}(\phi) &= \operatorname{Ref}(\phi + \tfrac{1}{2}\theta), \\[2pt] \operatorname{Ref}(\phi) \, \operatorname{Rot}(\theta) &= \operatorname{Ref}(\phi - \tfrac{1}{2}\theta). \end{align} ==Proof==

These equations can be proved through straightforward matrix multiplication and application of trigonometric identities, specifically the sum and difference identities. The set of all reflections in lines through the origin and rotations about the origin, together with the operation of composition of reflections and rotations, forms a group. The group has an identity: \operatorname{Rot}(0). Every rotation \operatorname{Rot}(\phi) has an inverse \operatorname{Rot}(-\phi). Every reflection \operatorname{Ref}(\theta) is its own inverse. Composition has closure and is associative, since matrix multiplication is associative. Notice that both \operatorname{Ref}(\theta) and \operatorname{Rot}(\theta) have been represented with orthogonal matrices. These matrices all have a determinant whose absolute value is unity. Rotation matrices have a determinant of +1, and reflection matrices have a determinant of -1. The set of all orthogonal two-dimensional matrices together with matrix multiplication form the orthogonal group: \mathrm{O}(2). The following table gives examples of rotation and reflection matrix : ==Rotation of axes==