维尔纳公式是三角函数积化和差公式
这种形式的三角函数可以在 Wolfram 语言 中使用以下命令获得TrigReduce[expr].
更多尝试
Weisstein, Eric W. “维尔纳公式。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/WernerFormulas.html