Wolfram mathematica 数学中的简化失败

我的问题是关于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（以及简化、扩展、集成等…）

我读到变量的顺序可以在这里起作用，但我不能完全理解它

我也试图在网站上查找类似的问题，但我找不到任何可以解释这种现象的答案

---

提前感谢您的支持。

嗨，乔瓦尼，我想您的问题更适合这个网站。@Sigroad多大的错误啊！事实上，我并不知道这样一个网站的存在，但感谢您的及时回复，并对不方便表示歉意。我“自动迁移”了问题到正确的网站：嗨，乔瓦尼，我认为您的问题更适合该网站。@Sigroad多大的错误！事实上，我并不知道这样一个网站的存在，但感谢您的及时回复，并对不方便表示歉意。我“自动迁移”了问题到正确的网站：嗨，乔瓦尼，我认为您的问题更适合该网站。@Sigroad多大的错误！事实上，我并不知道这样一个网站的存在，但感谢您的及时回复，并为不方便感到抱歉。我“自动迁移”了问题到正确的网站：