三角恒等变形中辅助角公式的推导过程