# Trigonometry/Addition Formula for Sines
## Sine Formulas

The addition formula for sines is as follows:
    $\sin(\alpha +\beta )=\sin(\alpha )\cos(\beta )+\sin(\beta )\cos(\alpha )$
This is an important tool that allows us to relate the sines and cosines of angles of different sizes.
There is a related formula for cosines, discussed in the next section:
    $\cos(\alpha +\beta )=\cos(\alpha )\cos(\beta )-\sin(\alpha )\sin(\beta )$
* Worked Example: Sine of $75^{\circ }$
* You are told that:
* $\sin(45^{\circ })={\frac {\sqrt {2}}{2}}$
* $\cos(45^{\circ })={\frac {\sqrt {2}}{2}}$
* $\sin(30^{\circ })=0.5$
* $\cos(30^{\circ })={\frac {\sqrt {3}}{2}}$
* Use the sine addition formula to calculate $\sin(75^{\circ })$
* Answer:
* Using the first formula:
* $\sin(45^{\circ }+30^{\circ })=\sin(45^{\circ })\cos(30^{\circ })+\sin(30^{\circ })\cos(45^{\circ })$
* $\sin(45^{\circ }+30^{\circ })={\frac {\sqrt {2}}{2}}\cdot {\frac {\sqrt {3}}{2}}+{\frac {\sqrt {2}}{2}}\cdot 0.5$
* $\sin(75^{\circ })={\frac {{\sqrt {6}}+{\sqrt {2}}}{4}}$
* Exercise: Check the worked example
* Check the answer in the worked example agrees with the correct value by using a calculator.
* Exercise: Sines and Cosines of $20^{\circ },30^{\circ },40^{\circ }$
* You are told that
* $\sin(10^{\circ })\approx 0.1736$ and
* $\cos(10^{\circ })\approx 0.9848$
* Use the formulas to calculate the sine and cosine of $20^{\circ },30^{\circ },40^{\circ }$
* Check that your answers agree with the values for sine and cosine given by using your calculator to calculate them directly.
The addition formulas are very useful.
Here is a geometric proof of the sine addition formula. The proof also shows how someone could have discovered it.

## Proof

We want to prove:
    $\sin(\alpha +\beta )=\sin(\alpha )\cos(\beta )+\sin(\beta )\cos(\alpha )$

### About the Diagram

First, a word about the diagram used in the proof. How on earth would you come up with a diagram like that?
Well,
* We need a diagram with right triangles and we need to show an angle of $(\alpha +\beta )$ , so having $\triangle ABC$ is a must.
* We want to express the lengths in this triangle in terms of lengths of two right triangles, one with angle $\alpha$ and one with angle $\beta$ , so adding points like $E$ and $F$ is essential.
* Having got that far we could start trying to solve the problem, and we'd find we ran into a problem when calculating the distance ${\overline {BC}}$ . That's why we split ${\overline {BC}}$ into ${\overline {BD}}$ and ${\overline {DC}}$ . We can calculate the distance ${\overline {DC}}$ . It is the same length as ${\overline {EF}}$ . Also ${\overline {BD}}$ is a length we can calculate using Soh-Cah-Toa.
Be aware that there is nothing really special about the diagram we chose. It's possible, for example, to calculate $\sin(\alpha +\beta )$ using a diagram where the right triangle $\triangle ABE$ has its right angle at $B$ rather than at $E$ . You might like to try that.
We've chosen this digram and this lettering because it is exactly the same as used in the Khan Academy video on proving addition formula for sine so if you have trouble with the proof presented here, you can follow it on video instead.

### Video Link

There is a video of the proof which may be easier to follow at the Khan Academy.
* Proof: sin(a+b) = (cos a)(sin b) + (sin a)(cos b)

### The Proof

First check that the $\angle DBE$ really is the same as $\angle FAE$ . That's going to be important to the proof. We're just using the fact that angles in a triangle add up to 180° to make that check, noting that we know the 90 degree angles.
Now an expression for $\sin(\alpha +\beta )$ . Here we're using Soh-Cah-Toa. We're going to be using Soh-Cah-Toa a lot.
    $\sin(\alpha +\beta )={\frac {BC}{AB}}$
Looking at the diagram we can replace ${\overline {BC}}$ by ${\overline {BD}}+{\overline {DC}}$ and we also have ${\overline {DC}}={\overline {EF}}$ so:
    $\sin(\alpha +\beta )={\frac {BD+DC}{AB}}={\frac {BD+EF}{AB}}={\frac {BD}{AB}}+{\frac {EF}{AB}}$
Let's work out another way to express ${\overline {BD}}$ and another way to express ${\overline {EF}}$ . You'll need to look at the diagram to see which triangles we are using.
| An expression for ${\overline {BD}}$ ${\overline {BD}}={\overline {BE}}\cos(\alpha )$ and ${\overline {BE}}={\overline {AB}}\sin(\beta )$ so ${\overline {BD}}={\overline {AB}}\sin(\beta )\cos(\alpha )$ | An expression for $\displaystyle {\overline {EF}}$ ${\overline {EF}}={\overline {AE}}\sin(\alpha )$ and ${\overline {AE}}={\overline {AB}}\cos(\beta )$ so ${\overline {EF}}={\overline {AB}}\sin(\alpha )\cos(\beta )$ |

### Putting it all Together

    $\sin(\alpha +\beta )={\frac {BD}{AB}}+{\frac {EF}{AB}}={\frac {{\overline {AB}}\sin(\beta )\cos(\alpha )}{\overline {AB}}}+{\frac {{\overline {AB}}\sin(\alpha )\cos(\beta )}{\overline {AB}}}$
The ${\overline {AB}}$'s cancel.
    $\sin(\alpha +\beta )=\sin(\alpha )\cos(\beta )+\sin(\beta )\cos(\alpha )$
We're done!

## Exercises

* Exercise: Make one of the sides 'one'
* When we drew the diagram we said nothing about its size. That means we could still choose to make one of the sides be of whatever length we like. We can do this for just one edge. Once we've done that all the other sides lengths are determined. Fixing one length to be a nice value can shorten the proof.
* So, let us decide that $AB$ is 1 km. Actually we'll not worry about the units whether km, m or cm and just write '1'.
* $\triangle ABE$ is a right triangle and:
* ${\overline {AE}}={\overline {AB}}\cos(\beta )=\cos(\beta )$
* Your task is to simplify the entire proof of the addition formula by replacing the lengths like ${\overline {AE}}$ with the actual values assuming that we've set ${\overline {AB}}=1$ . You're effectively removing ${\overline {AB}}$ and multiplication and division by ${\overline {AB}}$ from the proof. It should become a lot shorter and clearer. You should also mark up the lengths on the diagram, assuming ${\overline {AB}}=1$.
* Exercise: Use a different diagram
* Read the description About the Diagram of how the diagram was constructed again. Make your own diagram that is different to the one shown, with right angles in different places to the diagram shown, and do the proof using it instead.
* Tip: If you find yourself adding lots of lines and lots of extra points then you are probably making the proof a lot harder than you need to. You want to add only enough lines to be able to 'chase' lengths from one place to another. Once you've got the three basic triangles, one extra line should be enough.
| previous module: "Graph of Sine Squared" | • Table of Contents | next module: "Addition Formula for Cosines" |