Resolve

Resolve[expr]
尝试把 expr 变成一种消除 ForAllExists 量词的形式.

Resolve[expr, dom]
作用于域 dom. dom 常见的选择是 ComplexesRealsBooleans.

更多信息更多信息

  • Resolve 实际上是自动地被 Reduce 应用.
  • expr 可以包含方程式,不等式,域的设定和量词,和在 Reduce 中形式一样.
  • Resolve[expr] 的结果总是描述和 expr 完全一样的数学问题,但没有量词.
  • 默认下,Resolve[expr] 假定以代数形式出现在不等式中量是实数,而所有其他的量是复数.
  • 当一个量词如 ForAll[x, ...] 被消去后,其结果将不提及局部变量 x.
  • 如果 expr 仅包含实数或复数域上的多项式方程和不等式,则 Resolve[expr] 原则上总可以消除量词.
  • 对于任何布尔表达式,Resolve[expr] 原则上总可以消除量词.

范例范例打开所有单元关闭所有单元

基本范例 (1)基本范例 (1)

证明单位圆盘非空:

In[1]:=
Click for copyable input
Out[1]=

找出二次方形在实数上为正数的条件:

In[2]:=
Click for copyable input
Out[2]=

找出二次方程式至少有两个不同的复数根的条件:

In[3]:=
Click for copyable input
Out[3]=
版本 5 的新功能
New to Mathematica? Find your learning path »
Have a question? Ask support »