嘿，我太懂你面对一堆三角恒等式头大的感觉了——作为经常帮微积分初学者梳理重点的人，直接给你说结论：和积互化、积和互化、降幂这类恒等式绝对不是浪费时间，反而会成为你微积分路上的重要工具。

给你拆解下它们在微积分里的实用场景：

• 积分计算是重灾区：比如碰到sin3x cos2x这种乘积形式的积分，直接硬积根本无从下手，但用积化和差转成(sin5x + sinx)/2的形式，积分瞬间就变成基础的三角函数积分了；再比如高次三角函数积分，cos⁴x这种，不降幂成(3+4cos2x+cos4x)/8的形式，你根本没法直接计算原函数。
• 极限计算的关键破局点：有时候求极限会遇到sin5x - sin3x这种和差形式，分母又是x的小量，这时候用和差化积转成2cos4x sinx，就能和分母的x结合成sinx/x的经典极限形式，顺利算出结果，不然硬凑大概率卡壳。
• 后续进阶内容的铺垫：等到学级数展开、微分方程的时候，这些恒等式会时不时冒出来帮你简化表达式，提前熟悉的话，到时候不会手忙脚乱，能更快跟上节奏。

当然，我不建议你死记硬背这些恒等式——重点是理解它们的推导逻辑：比如和积互化其实是从和差角公式变形推导来的，降幂公式就是二倍角公式的简单变形。记住推导过程，要用的时候花个10秒推出来就行，比死记硬背靠谱多了，还能顺便巩固基础的和差、倍角公式。

总的来说，这些“非基础”恒等式不是无用的边角料，而是处理微积分中三角函数相关问题的核心工具，花点时间掌握推导和应用场景，绝对能帮你少走很多弯路。

备注：内容来源于stack exchange，提问作者Aaron Garcia