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 -
).