Quanto vale o sen 2x?

Quanto vale o sen 2x?

Seno de um arco duplosen(2x) = 2sen(x)cos(x)
Co-seno de um arco duplocos(2x) = cos2(x) - sen2(x)