Subsection B.2.5 Identities — Adding Angles
¶We wish to explain the origins of the identity
A very geometric demonstration uses the figure below and an observation about areas.
- The left-most figure shows two right-angled triangles with angles \(\alpha\) and \(\beta\) and both with hypotenuse length \(1\text{.}\)
 - The next figure simply rearranges the triangles — translating and rotating the lower triangle so that it lies adjacent to the top of the upper triangle.
 - Now scale the lower triangle by a factor of \(q\) so that edges opposite the angles \(\alpha\) and \(\beta\) are flush. This means that \(q \cos \beta = \cos \alpha\text{.}\) ie\begin{align*} q &= \frac{\cos\alpha}{\cos\beta} \end{align*}Now compute the areas of these (blue and red) triangles\begin{align*} A_\text{red} &= \frac{1}{2} q^2 \sin\beta \cos \beta\\ A_\text{blue} &= \frac{1}{2} \sin \alpha \cos \alpha\\ \end{align*}
So twice the total area is
\begin{align*} 2 A_\text{total} &= \sin \alpha \cos \alpha + q^2 \sin\beta \cos \beta \end{align*} - But we can also compute the total area using the rightmost triangle:\begin{align*} 2 A_\text{total} &= q \sin(\alpha+\beta) \end{align*}
 
Since the total area must be the same no matter how we compute it we have
as required.
We can obtain the angle addition formula for cosine by substituting \(\alpha \mapsto \pi/2-\alpha\) and \(\beta \mapsto -\beta\) into our sine formula:
where we have used \(\sin(\pi/2-\theta)=\cos(\theta)\) and \(\cos(\pi/2-\theta)=\sin(\theta)\text{.}\)
It is then a small step to the formulas for the difference of angles. From the relation
we can substitute \(\beta \mapsto -\beta\) and so obtain
The formula for cosine can be obtained in a similar manner. To summarise
The formulas for tangent are a bit more work, but
and similarly we get
\begin{align*} \tan(\alpha - \beta) &= \frac{\tan(\alpha) - \tan(\beta)}{1 + \tan(\alpha)\tan(\beta) } \end{align*}