Dimostrazione identità numeri complessi

[A340_642]

Gentilissimi,

non riesco a dimostrare le seguenti identità:

$ sin( \omega t) = (e^(i \omega t)-e^(-i \omega t))/(2i) $

$ cos( \omega t) = (e^(i \omega t)+e^(-i \omega t))/(2) $

Immagino sia necessario adoperare la formula di Eulero:

$ e^(i \omega t) = cos(\omega t) + i sin(\omega t) $

In questo modo posso riscrivere:

$ sin( \omega t) = (e^(i \omega t)-cos(\omega t))/(i) $

Non riesco ad andare avanti.
Mi dareste una mano?
Qual è il modo migliore di dimostrare queste idebtità?
Peraltro, queste identità hanno nomi particolari?
Grazie mille in anticipo

[orsoulx]

Se scrivi la formula di Eulero con l'angolo $ -\omega t $, basta poi sommare/sottrarre membro a membro con quella che hai scritto tu.
Ciao

[A340_642]

Giusto
Grazie mille