三角代换问题2*sin(∏/12)*(sin(∏/6))怎样化为cos(∏/12)-cos(3*∏/12)?