logo

Addition Formula for Trigonometric Functions: Various Proofs 📂Highschool Math

Addition Formula for Trigonometric Functions: Various Proofs

Theorem

$$ \sin\left( \alpha +\beta \right) =\sin\alpha \cos\beta +\cos\alpha \sin\beta \\ \sin\left( \alpha -\beta \right) =\sin\alpha \cos\beta -\cos\alpha \sin\beta \\ \cos\left( \alpha +\beta \right) =\cos\alpha \cos\beta -\sin\alpha \sin\beta \\ \cos\left( \alpha -\beta \right) =\cos\alpha \cos\beta +\sin\alpha \sin\beta \\ \tan\left( \alpha +\beta \right) =\frac { \tan\alpha +\tan\beta }{ 1-\tan\alpha \tan\beta } \\ \tan\left( \alpha -\beta \right) =\frac { \tan\alpha -\tan\beta }{ 1+\tan\alpha \tan\beta } $$

Proof

Proof using the Law of Cosines

1.png

By Pythagoras’ theorem $$ \begin{align*} {\overline { AB } } ^{ 2 } =& {( \cos \alpha -\cos \beta )}^{ 2 }+{(\sin\alpha -\sin\beta )}^{ 2 } \\ =& 2-2 \cos \alpha \cos \beta –2 \sin \alpha \sin \beta \end{align*} $$

By the Second Law of Cosines

$$ \begin{align*} { \overline { AB } } ^{ 2 } =& 1^{ 2 }+1^{ 2 }-2\cos(\beta -\alpha ) \\ =& 2-2\cos(\beta -\alpha ) \end{align*} $$

Since the right-hand sides of both equations are equal

$$ \cos(\beta -\alpha )=\cos\alpha \cos\beta +\sin\alpha \sin\beta $$

This is the most basic method of proof, and although there are various methods, this is usually the first one encountered.

Proof using the Dot Product of Vectors

$$ \begin{align*} \cos(\beta -\alpha ) =& \frac { \vec { OA }\cdot \vec { OB } }{ \left| \vec { OA } \right| \left| \vec { OB } \right| } \\ =& \cos\alpha \cos\beta +\sin\alpha \sin\beta \end{align*} $$

Writing the dot product of vectors on paper is practically the same as writing a single line. The idea is simple and it’s the easiest method.

Proof using Triangles

3.png

(1) Let the area of the triangle be $S$

$$ S=\frac { 1 }{ 2 }ab\sin(\alpha +\beta ) $$

(2) Adding the areas of the two triangles bounded by the perpendicular

$$ S=\frac { 1 }{ 2 }bh\sin\alpha +\frac { 1 }{ 2 }ah\sin\beta $$

Since $h=b\cos\alpha =a\cos\beta$

$$ S=\frac { 1 }{ 2 }ab\cos\beta \sin\alpha +\frac { 1 }{ 2 }ab\cos\alpha \sin\beta $$

What is obtained in (1) and (2) are both $S$, thus canceling $\frac { 1 }{ 2 }ab$ on both sides gives

$$ \sin(\alpha +\beta )=\cos\beta \sin\alpha +\cos\alpha \sin\beta $$

The proof using the area of a triangle is simple in idea, and dealing with $h$ is key.

Proof using Rotational Transformation

4.png Rotating point $A$ around the origin by $\beta$

$$ \begin{bmatrix} \cos(\alpha +\beta ) \\ \sin(\alpha +\beta ) \end{bmatrix} = \begin{bmatrix} { \cos\beta }&{ -\sin\beta } \\ { \sin\beta }&{ \cos\beta } \end{bmatrix} \begin{bmatrix} { \cos\alpha } \\ { \sin\alpha } \end{bmatrix} \\ \implies \begin{cases} \cos(\alpha +\beta )=\cos\beta \cos\alpha -\sin\beta \sin\alpha \\ { \sin(\alpha +\beta )=\sin\beta \cos\alpha +\cos\beta \sin\alpha } \end{cases} $$

This is a proof using rotational transformation. It requires setting the angle slightly differently but it’s great since it allows obtaining the cosines and sines at the same time.

Corollaries

These cases are used more often than one might think, so it’s convenient to remember them.

  • $$ \begin{align*} \sin(\frac { \pi }{ 4 }+\frac { \pi }{ 6 })=\cos(\frac { \pi }{ 4 }-\frac { \pi }{ 6 })=\frac { \sqrt { 3 }+1 }{ 2\sqrt { 2 } } \\ \sin(\frac { \pi }{ 4 }-\frac { \pi }{ 6 })=\cos(\frac { \pi }{ 4 }+\frac { \pi }{ 6 })=\frac { \sqrt { 3 }-1 }{ 2\sqrt { 2 } } \end{align*} $$
  • Addition formula for tangent: $$ \tan ( \theta_1 \pm \theta_2) = \dfrac{\tan\theta_1 \pm \tan\theta_2}{1 \mp \tan\theta_1\tan\theta_2} $$

Proof of the Addition Formula for Tangent

$$ \tan (\theta_1 \pm \theta2)=\dfrac{\sin ( \theta_1 \pm \theta_2)}{\cos ( \theta_1 \pm \theta_2)} =\dfrac{ \sin \theta_1 \cos \theta_2 \pm \sin \theta_2 \cos \theta_2}{\cos \theta_1 \cos\theta_2 \mp \sin\theta_1 \sin\theta_2} $$ When dividing both the numerator and the denominator by $\cos\theta_1\cos\theta_2$ $$ \dfrac{ \dfrac{\sin \theta_1}{ \cos \theta_1} \pm \dfrac{\sin \theta_2}{ \cos \theta_1} } { 1 \mp \dfrac{\sin\theta_1 \sin\theta_2}{\cos\theta_1\cos\theta_2 }} = \dfrac{ \tan\theta_1 \pm \tan\theta_2}{1 \mp \tan\theta_1\tan\theta_2} $$