An animation of the
formula for a plane rotation, (ax-by, bx+ay):
If is rotated about the origin to ,
then is rotated to
(Place your mouse over the steps in each derivation to see the
justifications)
Both of the trigonometric
addition formulas
and
follow immediately
by letting
See how the graphs of the cosine
and sine functions,
and both simultaneously, are
related to the horizontal and vertical components of uniform rotation
at these links.
The Pythagorean relationship,
also follows by letting
is rotated to
.
Multiplication of complex numbers, with is instantly seen to represent the rotation formula, plus a scaling that allows to go anywhere.
Rotational invariance of the dot and cross products and their geometric interpretation:
If two vectors are simultaneously rotated about the origin, the rotation formula and Pythagorean relationship show that their dot product remains unchanged. By rotating both to and we see that the dot product represents , the product of the magnitudes times the cosine of the angle between the vectors. This generalizes to three and more dimensions, and to the cross product as well.
More links to other connections under construction:
The derivation is based upon two congruent triangles and two similar triangles from Euclidean geometry.
The derivation uses linear superposition: Basic problems involving 1's and 0's are used to solve more general problems.
This is the same strategy that is used in Lagrange interpolation and term-by-term differentiation and term-by-term integration.
Euler's Formula:
Uniform circular motion is characterized by a relationship between velocity and position: The velocity vector is given by rotating the position vector one quarter of a circle (counterclockwise by convention.) This is either written The solution of the latter starting from
The differential equations framework is very convenient for making the rotation formula and its consequences rigorous:
From this point of view, the relations
are the defining properties of these functions, not formulas to be derived.
Orthogonalization and the QR decomposition:
The geometric interpretation of the dot product above was based upon the constructively demonstrable fact that two vectors in the plane may be simultaneously rotated so that all but the first component of the first vector is zero. This method has a powerful generalization. In three dimensions, we may use plane rotations to simultaneously rotate three vectors so that all but the first component of the first vector is zero , and all but the first two components of the second are zero . In dimensions, we may construct a sequence of plane "Givens rotations" which when applied simultaneously to vectors, makes all but the first components of the th vector equal to zero. This may be also be viewed as orthogonalizing a set of vectors with triangular coefficients, the same effect as the Gram-Schmidt process.
The Cauchy-Riemann equations:
The form of the Cauchy-Riemann equations of complex analysis is the same as that of the coefficients of and in the rotation formula:
says that the coefficient of in the first component equals the coefficient of in the second component (the two ""s) and says the the coefficient of in the first component is "-" the coefficient of in the second component (the and the -).