 |
FindInstance
FindInstance[expr, vars]
求出满足 expr 为 True 的 vars 的一个解.
FindInstance[expr, vars, dom]
求出 dom 定义域内的一个解，其中 dom 值包括 Complexes、Reals、Integers 和 Booleans.
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] 认为 vars 和 expr 的所有函数值都为实数. FindInstance[expr&&vars
Reals, vars] 指定只有 vars 为实数. - 即使 Reduce 不能给出完全解，FindInstance 也能给出具体解.
- 对于给定的输入，每次当您运行 FindInstance 时，FindInstance 将返回相同输出.
- RandomSeed->s 的不同设置选项可以得出不同的解集合.
- 若解总数少于 n 时，FindInstance[expr, vars, dom, n] 将返回一个更短的列表.
版本 5 的新功能
