Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

VerifySolutions

VerifySolutions

是 Solve 和相关函数的一个选择，控制是否对解进行验证.

更多信息

VerifySolutions 控制使用非等价的变换或者数值方法获得的解是否应该被验证.
可能的设置包括：
Automatic 自动判断是否验证

True 试图验证

False 不验证

范例

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

基本范例 (1)

解方程：

使用 VerifySolutions 来验证结果是否为解：

范围 (4)

Solve 验证使用非等价变换得到的解：

设置 VerifySolutions  False，Solve 不验证解：

使用 VerifySolutions  False 返回的某些解并不正确：

使用快速数值测试来尝试选择正确的解：

在这种情况下，数字验证给出了正确的解集：

Reduce 只返回正确的解：

符号求解方程而不验证解：

这可能会给出数学上无效的解：

用数值法求解同一方程：

注意，未经验证的解不满足给定的方程：

验证解会丢弃无效结果，返回一个空列表，表明没有解：

验证设置为 Automatic 时，将尝试检测并丢弃可能无效的结果：

属性和关系 (1)

不验证解的情况下使用 Solve 可能会给出数学上不正确的结果：

如果解不存在，用 Reduce 将返回 False：

顶部