I need to prove that e^(it) + e^(is) = 2cos((t-s)/2)e^(i(s+t)/2). I have used lns and gotten it to -ts = i((s+t)/2)ln(2cos((t-s)/2), but I don't know where to go from there.

Printable View

- Aug 28th 2007, 01:06 PMdnlstffrdProving something about complex
I need to prove that e^(it) + e^(is) = 2cos((t-s)/2)e^(i(s+t)/2). I have used lns and gotten it to -ts = i((s+t)/2)ln(2cos((t-s)/2), but I don't know where to go from there.

- Aug 28th 2007, 01:25 PMJhevon
It's not that bad. Here's one way to do it. You need to know three things:

**Euler's Formula:**

$\displaystyle e^{i \theta} = \cos \theta + i \sin \theta$

**Product-to-sum formulas for sine and cosine:**

$\displaystyle \sin \alpha + \sin \beta = 2 \sin \frac {\alpha + \beta}{2} \cos \frac {\alpha - \beta}{2}$

and finally,

$\displaystyle \cos \alpha + \cos \beta = 2 \cos \frac {\alpha + \beta}{2} \cos \frac {\alpha - \beta}{2}$

Now, let's get to it:

$\displaystyle {\color {red}e^{it}} + {\color {blue} e^{is}} = { \color {red} \cos t + i \sin t} + { \color {blue} \cos s + i \sin s}$ ...........................applied Euler's formula

$\displaystyle = \left( \cos t + \cos s \right) + i \left( \sin t + \sin s \right)$ ....................................rearranged the terms

$\displaystyle = \left( 2 \cos \frac {s + t}{2} \cos \frac {t - s}{2} \right) + i \left( 2 \sin \frac {s + t}{2} \cos \frac {t - s}{2} \right)$ .........applied the sum-to-product formulas

$\displaystyle = 2 \cos \frac {t - s}{2} \left[ { \color {red} \cos \frac {s + t}{2} + i \sin \frac {s + t}{2}} \right]$ ...............................factored out the common $\displaystyle 2 \cos \frac {t - s}{2}$

$\displaystyle = 2 \cos \frac {t - s}{2}e^{i \frac {s + t}{2}}$

as desired - Aug 28th 2007, 01:38 PMdnlstffrd
I totally forgot about Euler's formula, once I remembered that it was a cinch lol

- Aug 28th 2007, 01:43 PMThePerfectHacker
I have an geometric approach to this. Try to see if you can come up with it.