Template:Short description Template:More citations needed In Euclidean geometry, two-dimensional rotations and reflections are two kinds of Euclidean plane isometries which are related to one another.
ProcessEdit
A rotation in the plane can be formed by composing a pair of reflections. First reflect a point Template:Mvar to its image Template:Mvar on the other side of line Template:Math. Then reflect Template:Mvar to its image Template:Mvar on the other side of line Template:Math. If lines Template:Math and Template:Math make an angle Template:Mvar with one another, then points Template:Mvar and Template:Mvar will make an angle Template:Math around point Template:Mvar, the intersection of Template:Math and Template:Math. I.e., angle Template:Math will measure Template:Math.
A pair of rotations about the same point Template:Mvar will be equivalent to another rotation about point Template:Mvar. 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 expressionEdit
The statements above can be expressed more mathematically. Let a rotation about the origin Template:Mvar by an angle Template:Mvar be denoted as Template:Math. Let a reflection about a line Template:Mvar through the origin which makes an angle Template:Mvar with the Template:Mvar-axis be denoted as Template:Math. 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, <math display=block> \operatorname{Rot}(\theta) = \begin{bmatrix}
\cos \theta & -\sin \theta \\ \sin \theta & \cos \theta
\end{bmatrix}, </math>
and likewise for a reflection, <math display=block> \operatorname{Ref}(\theta) = \begin{bmatrix}
\cos 2 \theta & \sin 2 \theta \\ \sin 2 \theta & -\cos 2 \theta
\end{bmatrix}. </math>
With these definitions of coordinate rotation and reflection, the following four identities hold: <math display=block>\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}</math>
ProofEdit
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: Template:Math. Every rotation Template:Math has an inverse Template:Math. Every reflection Template:Math is its own inverse. Composition has closure and is associative, since matrix multiplication is associative.
Notice that both Template:Math and Template:Math 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: Template:Math.
The following table gives examples of rotation and reflection matrix :
| Type | angle θ | matrix |
|---|---|---|
| Rotation | 0° | <math>\begin{pmatrix}1 & 0 \\ 0 & 1\end{pmatrix}</math> |
| Rotation | <math>\pm</math>45° | <math>\frac{1}{\sqrt2}\begin{pmatrix}1 & \mp1 \\ \pm1 & 1\end{pmatrix}</math> |
| Rotation | 90° | <math>\begin{pmatrix}0 & -1 \\ 1 & 0\end{pmatrix}</math> |
| Rotation | 180° | <math>\begin{pmatrix}-1 & 0 \\ 0 & -1\end{pmatrix}</math> |
| Reflection | 0° | <math>\begin{pmatrix}1 & 0 \\ 0 & -1\end{pmatrix}</math> |
| Reflection | 45° | <math>\begin{pmatrix}0 & 1 \\ 1 & 0\end{pmatrix}</math> |
| Reflection | 90° | <math>\begin{pmatrix}-1 & 0 \\ 0 & 1\end{pmatrix}</math> |
| Reflection | -45° | <math>\begin{pmatrix}0 & -1 \\ -1 & 0\end{pmatrix}</math> |
Rotation of axesEdit
See alsoEdit
- 2D computer graphics#Rotation
- Cartan–Dieudonné theorem
- Clockwise
- Dihedral group
- Euclidean plane isometry
- Euclidean symmetries
- Instant centre of rotation
- Orthogonal group
- Rotation group SO(3) – 3 dimensions