此为 Mathematica 4 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.1)

1.5.5 方程

1.2.2 节讨论了赋值问题. 例如  .

检验 2+2 和 4 是否相等,结果为真

区分清楚 是相等. 使用过 C 语言的用户会看出 Mathematica 的赋值和检验表示法与 C 语言是相同的.

赋值和检验

 赋以值 4

如果你查看 ,则得到 4

这里检验 x 是否等于 4,结果为真

检验 是否等于 6,结果为假

清除赋给  的值

到此为止,我们使用的检验仅涉及到数,并且总能得到确定答案,真或假. 然而,用户也能对符号表达式进行检验.

Mathematica 不能得到这个检验的确定结果,除非你已赋给 x 一个特定的数值

当用 4 代换  时,检验结果为假

在检验符号表达式时,有时也能得到确定结果. 例如当用户检验两个恒等 性时,无论表达式中的变量是什么数值,Mathematica 都知道该两个表达式 是相等的.

不论 为何值,这两个表达式都相等,所以结果为真

Mathematica 并不检验这两个表 达式是否相等,此时,使用 Expand 将使它们有相同的形式

Mathematica 中,如 Equal4 这样的表达式代表方程式. Mathematica 中有许多处理和求解方程的函数.

这是 Mathematica 中的一个方程在 1.5.7 节讨论如何求解它

可以给方程赋一个名称

查看 eqn,将得到该方程