sin{(π/6)-2x}+cos2x がどうして (√3)sin(2x+2π/3) になるのか教えてください。