Math-Linux.com

Knowledge base dedicated to Linux and applied mathematics.

Home > Mathematics > Trigonometry > Trigonometry addition formula sin(a+b)=sin a cos b + cos a sin b

Trigonometry addition formula sin(a+b)=sin a cos b + cos a sin b

All the versions of this article: <English> <français>

We are going to show that for any angles a, b the trigonometry formula sin (a+b)=sin a cos b + cos a sin b

Proof/Demonstration

Let $(O ; \vec{i}, \vec{j})$ be an orthonormal reference frame, $a$ and $b$ two real numbers defined as follows:

$$ \begin{aligned} a&=(\vec{i}, \overrightarrow{O A}) \\ b&=(\overrightarrow{O A}, \overrightarrow{O B}) \end{aligned} $$

Where $A$ and $B$ are the points defined on the trigonometric circle relative to the angles $a$ and $b$.

We then have:

$$ a+\frac{\pi}{2}=\left(\vec{i}, \overrightarrow{O A^{\prime}}\right) $$

Where $A^{\prime}$ is the point defined on the trigonometric circle relative to the angle $\displaystyle a+\frac{\pi}{2}$ with $\left(\overrightarrow{O A}, \overrightarrow{O A^{\prime}}\right)=\displaystyle\frac{\pi}{2}$.

By definition, $\overrightarrow{O A}$ is defined as:

$$ \overrightarrow{O A}=\cos a \times \vec{i} + \sin a \times \vec{j} $$

$\overrightarrow{O A^{\prime}}$ is defined as:

$$ \overrightarrow{O A^{\prime}}=\cos \left(a+\frac{\pi}{2}\right) \times\vec{i}+\sin \left(a+\frac{\pi}{2}\right) \times\vec{j} = -\sin a \times \vec{i} + \cos a \times \vec{j} $$

$\overrightarrow{O B}$ is defined as:

$$ \overrightarrow{O B}=\cos (a+b) \times\vec{i}+\sin (a+b) \times \vec{j} $$

Consider the orthonormal reference frame $\left(O ; \overrightarrow{O A}, \overrightarrow{O A^{\prime}}\right)$. The vector $\overrightarrow{O B}$ in this reference frame is defined as:

$$ \begin{aligned} \overrightarrow{O B} &=\cos b \times \overrightarrow{O A} + \sin b \times \overrightarrow{O A^{\prime}} \\ &=\cos b \times (\cos a \times \vec{i} + \sin a \times\vec{j}) + \sin b \times (-\sin a \times\vec{i} + \cos a \times\vec{j}) \\ &=(\cos a \times \cos b-\sin a \times \sin b) \times \vec{i}+(\sin a \times \cos b+\cos a \times \sin b) \times\vec{j} \end{aligned} $$

But we have shown that

$$ \overrightarrow{O B}=\cos (a+b) \times\vec{i}+\sin (a+b) \times\vec{j} $$

We obtain by identification:

$$ \begin{aligned} \cos (a+b)&=\cos a \times \cos b-\sin a \times \sin b \\ \sin (a+b)&=\sin a \times \cos b+\cos a \times \sin b \end{aligned} $$

We have then demonstrated:

$$\forall a,b \in \mathbb{R}, \quad \sin (a+b)=\sin a \cos b + \cos a \sin b$$

Also in this section

  1. Cosine is even function cos(-x)=cos x
  2. Demonstration / proof of cos²x + sin²x=1
  3. Sine is an odd function sin(-x)=-sin x
  4. Tangent is an odd function tan(-x)=-tan x
  5. Trigonometric formula sin(2x)=2 sin x cos x
  6. Trigonometry addition formula cos(a+b)=cos a cos b - sin a sin b
  7. Trigonometry addition formula cos(a-b)=cos a cos b + sin a sin b
  8. Trigonometry addition formula cosh(x + y) = cosh x cosh y +sinh x sinh y
  9. Trigonometry addition formula cosh(x - y) = cosh x cosh y - sinh x sinh y
  10. Trigonometry addition formula sin(a+b)=sin a cos b + cos a sin b
  11. Trigonometry addition formula sin(a-b)=sin a cos b - sin b cos a
  12. Trigonometry addition formula sinh(x + y) = sinh x cosh y +cosh x sinh y
  13. Trigonometry addition formula sinh(x - y) = sinh x cosh y - cosh x sinh y