How do you prove sinx=12cos2x?