Rotations and reflections in two dimensions

Short description: Mathematical concept

In Euclidean geometry, two-dimensional rotations and reflections are two kinds of Euclidean plane isometries which are related to one another.

Process

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₁. Then reflect P′ to its image P′′ on the other side of line L₂. If lines L₁ and L₂ make an angle θ with one another, then points P and P′′ will make an angle 2θ around point O, the intersection of L₁ and L₂. I.e., angle ∠ POP′′ will measure 2θ.

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 θ be denoted as Rot(θ). Let a reflection about a line L through the origin which makes an angle θ with the x-axis be denoted as Ref(θ). 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]\displaystyle{ \operatorname{Rot}(\theta) = \begin{bmatrix} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{bmatrix}, }[/math]

and likewise for a reflection, [math]\displaystyle{ \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]\displaystyle{ \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]

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: Rot(0). Every rotation Rot(φ) has an inverse Rot(−φ). Every reflection Ref(θ) is its own inverse. Composition has closure and is associative, since matrix multiplication is associative.

Notice that both Ref(θ) and Rot(θ) 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: O(2).

The following table gives examples of rotation and reflection matrix :

Type	angle θ	matrix
Rotation	0°	[math]\displaystyle{ \begin{pmatrix}1 & 0 \\ 0 & 1\end{pmatrix} }[/math]
Rotation	[math]\displaystyle{ \pm }[/math]45°	[math]\displaystyle{ \frac{1}{\sqrt2}\begin{pmatrix}1 & \mp1 \\ \pm1 & 1\end{pmatrix} }[/math]
Rotation	90°	[math]\displaystyle{ \begin{pmatrix}0 & -1 \\ 1 & 0\end{pmatrix} }[/math]
Rotation	180°	[math]\displaystyle{ \begin{pmatrix}-1 & 0 \\ 0 & -1\end{pmatrix} }[/math]
Reflection	0°	[math]\displaystyle{ \begin{pmatrix}1 & 0 \\ 0 & -1\end{pmatrix} }[/math]
Reflection	45°	[math]\displaystyle{ \begin{pmatrix}0 & 1 \\ 1 & 0\end{pmatrix} }[/math]
Reflection	90°	[math]\displaystyle{ \begin{pmatrix}-1 & 0 \\ 0 & 1\end{pmatrix} }[/math]
Reflection	-45°	[math]\displaystyle{ \begin{pmatrix}0 & -1 \\ -1 & 0\end{pmatrix} }[/math]

Rotation of axes

This section is an excerpt from Rotation of axes in two dimensions[ edit ]

An xy-Cartesian coordinate system rotated through an angle [math]\displaystyle{ \theta }[/math] to an x′y′-Cartesian coordinate system

In mathematics, a rotation of axes in two dimensions is a mapping from an xy-Cartesian coordinate system to an x′y′-Cartesian coordinate system in which the origin is kept fixed and the x′ and y′ axes are obtained by rotating the x and y axes counterclockwise through an angle [math]\displaystyle{ \theta }[/math]. A point P has coordinates (x, y) with respect to the original system and coordinates (x′, y′) with respect to the new system. In the new coordinate system, the point P will appear to have been rotated in the opposite direction, that is, clockwise through the angle [math]\displaystyle{ \theta }[/math]. A rotation of axes in more than two dimensions is defined similarly. A rotation of axes is a linear map and a rigid transformation.

See also

• 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

Sources

• Anton, Howard (1987), Elementary Linear Algebra (5th ed.), New York: John Wiley & Sons, ISBN 0-471-84819-0 
• Beauregard, Raymond A.; Fraleigh, John B. (1973), A First Course In Linear Algebra: with Optional Introduction to Groups, Rings, and Fields, Boston: Houghton Mifflin Co., ISBN 0-395-14017-X, https://archive.org/details/firstcourseinlin0000beau 
• Burden, Richard L.; Faires, J. Douglas (1993), Numerical Analysis (5th ed.), Boston: Prindle, Weber and Schmidt, ISBN 0-534-93219-3, https://archive.org/details/numericalanalysi00burd 
• Protter, Murray H.; Morrey, Charles B., Jr. (1970), College Calculus with Analytic Geometry (2nd ed.), Reading: Addison-Wesley