三角恒等式的推导公式是什么？

辅助角公式。对于acosx+bsinx型函数，我们可以如此变形：acosx+bsinx=√(a^2+b^2)(acosx/√(a^2+b^2)+bsinx/√(a^2+b^2))，令点(b，a)为某一角φ终边上的点，则sinφ=a/√(a^2+b^2)，cosφ=b/√(a^2+b^2)。∴acosx＋bsinx＝√(a^2+b^2)sin(x+arctan(a/b))。