1
$\begingroup$

We're having trouble proving this trig identity:

$e^{i \alpha} + e^{i \beta} = 2e^{\frac{i(\alpha + \beta)}{2}}\cos(\frac{\alpha-\beta}{2})$


We've tried various manipulations using basic trig identities (too lengthy to show here) and come up with nasty equations that don't lead anywhere.

Can you point us in the right direction?

  • 0
    @N.S. yes, they are2011-11-07

3 Answers 3

4

You need to show that

$\cos(\alpha)+\cos(\beta)+i[\sin(\alpha)+\sin(\beta)]= 2 [\cos(\frac{\alpha+\beta}{2})+i \sin (\frac{\alpha+\beta}{2})]\cos(\frac{\alpha-\beta}{2}) \,.$

Identify the real and imaginary parts, and use the formulas for $\cos(x)\cos(y)$ and $\sin(x) \cos(y)$ respectively...

Alternately, you can use that $\alpha=\frac{\alpha+\beta}{2}+\frac{\alpha-\beta}{2}$ and $\beta=\frac{\alpha+\beta}{2}-\frac{\alpha-\beta}{2}$.

1

If you use the fact that $\cos((\alpha-\beta)/2)=\frac{\exp(i(\alpha-\beta)/2)+\exp(-i(\alpha-\beta)/2)}{2}$ lots of things cancel.

1

Just work on the right side, it is easy to show using definition of cosine over the complex numbers:

$cos(z)=\frac {e^{iz}+e^{-iz}}{2}$