är sin(2x)=2sin(x)*cos(x) ?

Ja, det stämmer. Formeln kallas dubbla vinkeln för sinus.

Prova att ersätta x med någon vinkel. Får du HL=VL då?

Om du vill bevisa formeln formellt, använd additionsformeln för sinus på VL.