Chứng minh: sin(2a) = 2sina*cosa

Chứng minh các công thức trên dùng mik vs ạ:
Sin(2a) =2sina*cosa
cos(2a) =cos^2a-sin^2a=2cos^a-1=1-2sin^2a
Tan(2a) =(2tana) /(1-tan^2a) 
Sin(a+pi) =Sina
Cos(a+pi) =cosa
Tan(a+pi) =tana
Cot(a+pi) =cota