Solution: Recall from linear algebra how one rotates a point in the plane. The matrix of rotation (derived by seeing where and go under a rotation by , and writing those coordinates in the columns) is

Next, note that to rotate a point twice by , we simply multiply the point (as a vector) by twice. That is, multiply by :

Computing gives the following matrix:

But rotating twice by is the same as rotating once by , so we have the equality:

The matrices are equal, so they must be equal entrywise, giving the identities we desire.

Discussion: There are (painful, messy) ways to derive these identities by drawing triangles on the unit circle and cultishly chanting “soh-cah-toa.” The key idea in this proof that one might study geometric transformations, and it is a truly mature viewpoint of mathematics. Specifically, over the last two hundred years the field of mathematics has changed focus from the study of mathematical “things” to the study of transformations of mathematical things. This proof is an elementary example of the power such perspective can provide. If you want to be really high-brow, start asking about transformations of transformations of things, and transformations of those transformations, and recurse until you’re doing something original.

6 thoughts on “Double Angle Trigonometric Formulas”

I usually just derive all the trig identities from Euler’s Identity: e^ix = cos(x) + i*sin(x)

Loading...

In a sense that is the same thing: multiplication by such a complex exponential is a rotation. But adding complex numbers into the mix makes it slightly less elementary. (And I want to make *some* things elementary on this blog…)

Loading...

Great proof, Jeremy! I’m going to introduce this to the linear class I’m T.A.ing.

Loading...

I never thought about using rotation matrices to prove this! This is SO MUCH easier than what I used to do: geometrically prove the sum identity, set the sum to be equal, then simplify with the Pythagorean identity.

Loading...

This generalizes to prove the sum/difference identities. Write down the matrix for rotation by a and +/- b separately, multiply them together, and then equate that with the matrix for rotation by a +/- b. And, as Allan said, the same thing applies to doing multiplication of complex exponentials (but I think the matrix way gives more geometric intuition as to what’s going on).

Loading...

Thank you so much Jeremy. Your posts always explain complex topics in the clearest of ways.

I usually just derive all the trig identities from Euler’s Identity: e^ix = cos(x) + i*sin(x)

In a sense that is the same thing: multiplication by such a complex exponential is a rotation. But adding complex numbers into the mix makes it slightly less elementary. (And I want to make *some* things elementary on this blog…)

Great proof, Jeremy! I’m going to introduce this to the linear class I’m T.A.ing.

I never thought about using rotation matrices to prove this! This is SO MUCH easier than what I used to do: geometrically prove the sum identity, set the sum to be equal, then simplify with the Pythagorean identity.

This generalizes to prove the sum/difference identities. Write down the matrix for rotation by a and +/- b separately, multiply them together, and then equate that with the matrix for rotation by a +/- b. And, as Allan said, the same thing applies to doing multiplication of complex exponentials (but I think the matrix way gives more geometric intuition as to what’s going on).

Thank you so much Jeremy. Your posts always explain complex topics in the clearest of ways.