>>721
sin(x-y)=2sin(x-π/3)
じゃないんですか?