FindInstance

FindInstance[expr, vars]
求出满足 exprTruevars 的一个解.

FindInstance[expr, vars, dom]
求出 dom 定义域内的一个解,其中 dom 值包括 ComplexesRealsIntegersBooleans.

FindInstance[expr, vars, dom, n]
求出 n 个具体解.

更多信息更多信息

  • FindInstance[expr, {x1, x2, ...}] 给出结果的形式和 Solve 相同:其中,如果存在一个解,则用 显示结果,如果不存在,显示 .
  • expr 可以包含方程、不等式、定义域和量词,与 Reduce 的形式相同.
  • 对于明确的符号输入,FindInstance 给出明确的结果.
  • 即使两个输入定义相同的数学集合,FindInstance 仍可以选择不同的解返回.
  • FindInstance 返回的解一般对应于集合里的特定点或所选择的点.
  • 在默认情况下,FindInstance[expr, vars] 认为不等式中的代数数量为实数,其它数量是复数形式.
  • FindInstance[expr, vars, Integers] 求出丢番图方程的解.
  • FindInstance[expr, vars, Booleans] 解出 expr 的布尔满足性.
  • FindInstance[expr, vars, Reals] 认为 varsexpr 的所有函数值都为实数. FindInstance[expr&&varsReals, vars] 指定只有 vars 为实数.
  • 即使 Reduce 不能给出完全解,FindInstance 也能给出具体解.
  • 对于给定的输入,每次当您运行 FindInstance 时,FindInstance 将返回相同输出.
  • RandomSeed->s 的不同设置选项可以得出不同的解集合.
  • 若解总数少于 n 时,FindInstance[expr, vars, dom, n] 将返回一个更短的列表.

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

基本范例 (5)基本范例 (5)

求方程组的一个解:

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

求方程和不等式组的一个实数解:

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

求一个整数解:

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

求满足公式的布尔变量值:

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

求多个解:

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