[ e^(2it) - e^(-2it) ] / 2i = sin (2t)
sin t = [ e^(it) - e^(-it) ] / 2i
cos t = [ e^(it) + e^(-it) ] / 2
On the RHS of the equation below, I skipped a step, which is canceling the denominators. This is just to let you know how I got it.
[ e^(2it) - e^(-2it) ] / 2i = [ e^(it) + e^(-it) ] * [ e^(it) - e^(-it) ] / 2i
e^(2it) - e^(-2it) = [ e^(it) + e^(-it) ] * [ e^(it) - e^(-it) ]
FOIL
e^(2it) - e^(-2it) = e^(2it) - e^(-2it)
You may not have seen what I done quite clearly.
Using De Moivre's Thereom we find what sin t, sin 2t and cos t is in terms of imaginary numbers. Then we manipulate using algebra.
-----
By the way, one of the steps looks like the following:
a^2 - b^2 = (a - b)(a + b)
We didn't have to FOIL, but in a proof I suggest we should, even if we realize this.