Problem[]
First prove the formula . Then discover the beautiful identity .
Hint: Use the Maclaurin series of exponential and sinusoidal functions.
Solution[]
Begin with the Maclaurin series of .
Replace with , where is the imaginary unit.
The powers of follow a pattern:
- , for
- , for
- , for
- , for
Thus,
This shows that .
Setting yields
- .
Therefore,
- .