方程
"定义变量" 讨论赋值问题，例如 
给 x 赋以值 y. 本节讨论方程 ，它检验 相等性. 方程 
检验 x 是否等于y.
这里检验
和
是否相等. 产生的结果是符号
True.
| Out[1]= |  |
区分清楚 
和 
是很重要的. 
是强制 进行赋值操作的声明，而 
只检验 x 和 y 是否相等，而不引起明确的行动. 使用过C语言的用户会看出 Mathematica 的赋值和检验表示法与C语言是相同的.
| x=y | 给 x 赋以值 y |
| x==y | 检验 x 和 y 是否相等 |
赋值和检验.
给
赋 以值
.
| Out[2]= |  |
如果你查看
，则得到
.
| Out[3]= |  |
这里
检验 
是否等于
. 在这个情况下，结果为真.
| Out[4]= |  |
| Out[5]= |  |
清除赋给
的值.
到此为止，我们使用的检验仅涉及到数，并且总能得到确定答案，True 或者 False. 然而，用户也能对符号表达式进行检验.
Mathematica 不能得到这个检验的确定结果，除非你已赋给
一个特定的数值.
| Out[7]= |  |
| Out[8]= |  |
甚至当用户检验符号表达式时，有时也能得到确定结果. 例如，当用户检验两个恒等式 时，无论表达式中的变量是什么数值，Mathematica 都知道该两个表达式是相等的.
不论
为何值，这两个表达式都
相等 ，所以结果为
True.
| Out[9]= |  |
Mathematica 并不检验这两个表达式是否相等. 此时，使用
Expand 将使它们有相同的形式.
| Out[10]= |  |
在 Mathematica 中，如 
这样的 表达式代表方程式. Mathematica 中有许多处理和求解方程的函数.
这是
Mathematica 中的一个
方程. 在
"解方程" 中讨论如何求解
.
| Out[11]= |  |
| Out[12]= |  |
查看
，将得到该方程.
| Out[13]= |  |
