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 interpretations:**

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 equation**s 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 -).