Hello outside world! I realize it’s been more dead than alive around here lately. The thing is – it’s summer time and as far as my War on Procrastination goes, I am getting brutally massacred. Yep, that’s it – I’m mostly wasting my time and potential. Don’t do that, it’s* not* a good thing.

Anyway, until this horrible dark age is over and I (hopefully) gather some inspiration, I will provide you with some purely mathematical material. Tomáš, an old friend and a high school classmate of mine, currently studying Financial Mathematics at Masaryk University has always been kind of a fan of trigonometry. That’s why he has provided me with a list of trigonometric identities he finds useful during his studies, together with their proofs. I have divided this list into several articles, each containing seven formulas and their proofs. Yes, the heading pun was intended :).

We’ll start with the most trivial and simple ones, but I guess it’ll get more interesting later on. Let’s begin.

### (1) Pythagorean identity

**Statement: **Let . Then

**Proof: **We know that the equation defines a unit circle centered at in Cartesian coordinates. By transforming to polar coordinates, we get for every point of this circle that and for some and thus .

■

**Note: **By using the periodicity of sine and cosine, the above formula can actually be extended for any real .

### (2) Angle sum identities

**Statement: **Let be any real numbers. Then

While there are many ways to approach this and some geometric proofs are indeed elegant, I’m not much of a friend of geometry and so I chose a more elegant, though rather *complex* (pun intended) way.

**Proof: **We will use the Euler’s formula. We have that . Therefore

Since two complex numbers are equal exactly when their respective real and imaginary parts are equal, we get

Substituting for and using the fact that sine is an odd function (which means that ) and cosine an even one (thus ) proves the other two identities.

■

### (3) Sine of double angle

**Statement: **Let be any real number. Then

**Proof: **We use the angle sum formula from (2) for sine to easily get our result:

■

### (4) Cosine of double angle

**Statement: **Let be any real number. Then

**Proof: **The same way as before, we use the angle sum formula for cosine from (2):

■

### (5) Sine of half-angle

**Statement: **Let be any real number. Then

**Proof: **We know from (1) and (4) that for any

and

Subtracting these equations, we get that

and thus

By substituting we get the result.

■

**Note: **I find this identity much more useful in the form . For example, when you’re working with trigonometric integrals, this little tricks reduces the power of a function by one, which often comes very handy.

### (6) Cosine of half-angle

**Statement: **Let be any real number. Then

**Proof: **We proceed the same way as in the previous proof, except this time we add up the two equations instead of subtracting them. Thus, we get

and

Again, substituting proves the desired identity.

■

**Note: ** is also a more useful form of this identity, see the note after (5).

### (7) Sine sum-to-product identities

**Statement: **Let be any real numbers. Then

**Proof: **We will prove both of these identities at once. First of all, note that

Knowing this, we can use the angle sum identity from (2) to arrive at the result:

We get the desired formulas by substituting respective + or – sign into the last equation.

■

So, that’s it for today. I am aware that these are mostly very simple, borderline trivial proofs, but perhaps they can come in handy to some high school students or young enthusiasts out there. If you happen to find a mistake in my proofs, or perhaps you have a suggestion how to improve the readability of my texts, be sure to let me know down in the comments section!

See you next time!

**Liked this post? Spread the word and follow!**

## 1 comment