Ola! It’s time to do some more trigonometry! I already gave you proofs of the first seven identities, which you can find here. There’s still a lot more in what my friend Tomáš sent me and so here we go, seven more formulas, seven more proofs. And today we’re starting with…

### (8) Cosine sum-to-product identities

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

**Proof: **We will use the cosine angle sum formula to easily derive both identities at once. Before that, however, observe the following in greater detail:

Similarly, it is true that . Substituting these expressions for and respectively, we get

Now we can use the cosine angle sum formulas where we put and to obtain

At last, we get any of the desired formulas by substituting respective signs into the last equation.

■

### (9) Angle sum identities for tangent and contangent

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

**Proof: **To prove the tangent identity, we will start with the right-hand side (RHS) of the equation. Using the definition of tangent: and angle sum identities for cosine and sine, we get

To obtain the cotangent identity we proceed similarly – starting with RHS of the equation and using the definition of contangent and angle sum formulas for sine and consine, we write

Finally, as always, substituting the respective signs into the equalities will give us any of the desired formulas and so our proof is concluded.

■

### (10) Tangent of double angle

**Statement: **Let . Then

.

**Proof: **Once again, we start with the RHS of the equality and apply the definition of tangent to obtain

At this moment we apply the formula for sine of double angle to the numerator and the formula for cosine of double angle to the denominator and we get the result:

■

### (11) Cotangent of double angle

**Statement: **Let . Then

**Proof: **The proof is by all means analogous to the previous one – we get the result by starting with RHS, using the definition of cotangent and applying the double angle formulas for sine and cosine:

■

### (12) Tangent of half-angle

**Statement: **Let . Then

**Proof: **We will use the sine and cosine of half-angle identities to compute :

From the properties of absolute value it now follows, that indeed

■

### (13) Cotangent of half-angle

**Statement: **Let . Then

**Proof: **One way of proving this would be analogous to the previous proof. However, we can use the previous formula to obtain a slightly simpler proof: We know from the definition of tangent and cotangent, that for every admittable value of . Therefore

■

### (14) Sum-to-product identities for tangent and cotangent

**Statement:** Let be real numbers such that or are well-defined, respectively. Then

- ,

**Proof: **The only thing we will use in these simple proofs are definitions of tangent (cotangent) and angle-sum formulas for sine. The tangent formula can be proved as follows:

whereas the cotangent formula

■

That concludes the second part of simple trigonometric proofs. I’m not sure whether there will be more of them, but if so, they will be much more interesting and fun. These two parts covered most of very basic high-school trigonometry and I sincerely hope that someone found them at least a bit helpful.

At this moment, I am starting my fall semester and hopefully I will be able to gather enough free time to keep this blog alive. Until next time! 🙂

**Did you find this post helpful? Please share it with others!**