wolfram-mathematica - 在 mathematica 中获得 x 作为 Re[x] 的结果

Question

我试图获得涉及 undefined variable 的操作结果的实部(假设 x )。

我怎样才能让 Mathematica 返回 x当我执行 Re[x]如果我知道 x永远不会是复数？我认为这涉及告诉 Mathematica x是真实的，但我不知道如何。

在我的情况下，我想要实部的表达式比简单变量更复杂，但概念将保持不变。

一些例子:

INPUT              OUTPUT         DESIRED RESULT
-----              ------         --------------
Re[x]              Re[x]          x
Re[1]              1              1
Re[Sin[x]]         Re[Sin[x]]     Sin[x]
Re[1+x+I]          1 + Re[x]      1+x
Re[1 + x*I]        1-Im[x]        1

Answer 1

使用 ComplexExpand .除非您另有说明，否则它假定变量是真实的。例如:

In[76]:= ComplexExpand[Re[x]]
Out[76]= x

In[77]:= ComplexExpand[Re[Sin[x]]]
Out[77]= Sin[x]

In[78]:= ComplexExpand[Re[1+x+I]]
Out[78]= 1+x