辅助角公式的推导运用了什么数学思想?