我的问题是Mathematica的功能“FullSimplify”明显失败，以简化一个简单的代数表达式。
这是我要求Mathematica评估的表达式：
FullSimplify[Re[a^(I*b)] - Re[a^(-I*b)], Element[a, Reals] && a > 0 && Element[b, Reals]]
这应该给出结果0.而Mathematica只重述我的表达式：
Re[a^(-I b) (-1 + a^(2 I b))]
用实际数字替换a和b解决了这个问题。
可能是什么原因造成的？如何有效地使用FullSimplify（以及简化，扩展，集成等等）？
我读到变量的顺序可以在这里发挥作用，但我无法绕过它。
我试图在网站上检查类似的问题，但我找不到任何可以解释这种现象的答案。
提前感谢您的支持。