Sine of double angle

$$sin(2\cdot a) = 2\cdot sin(a)\cdot cos(a)$$
Find   It is known that:
      =