>>50、51
加法定理で分解してから合成……というのはこの問題に限っては遠回り。
φ-π/6 = θ と置くと、φ+π/3=θ+π/2

sin(θ+π/2)=cosθ、だったよね。ってことはこのθなら直ちに
合成に入れる。適当なところでφに置き戻せばいい。