Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
虚拟全书 > 数学和算法 > 方程和不等式 > 方程 >
MATHEMATICA 教程
|相关教程 »

方程

"定义变量" 讨论赋值问题，例如 给 x 赋以值 y. 本节讨论方程 ，它检验 相等性. 方程 检验 x 是否等于y.
这里检验 和 是否相等. 产生的结果是符号 True.
In[1]:=
Click for copyable input
Out[1]=
区分清楚 和 是很重要的. 是强制 进行赋值操作的声明，而 只检验 x 和 y 是否相等，而不引起明确的行动. 使用过C语言的用户会看出 Mathematica 的赋值和检验表示法与C语言是相同的.
x=y给 x 赋以值 y
x==y检验 x 和 y 是否相等

赋值和检验.

给 赋 以值 .
In[2]:=
Click for copyable input
Out[2]=
如果你查看 ，则得到.
In[3]:=
Click for copyable input
Out[3]=
这里检验 是否等于. 在这个情况下，结果为真.
In[4]:=
Click for copyable input
Out[4]=
检验发现 等于 ，不等于 .
In[5]:=
Click for copyable input
Out[5]=
清除赋给 的值.
In[6]:=
Click for copyable input
到此为止，我们使用的检验仅涉及到数，并且总能得到确定答案，True 或者 False. 然而，用户也能对符号表达式进行检验.
Mathematica 不能得到这个检验的确定结果，除非你已赋给 一个特定的数值.
In[7]:=
Click for copyable input
Out[7]=
当用 代换 时，检验结果为 False.
In[8]:=
Click for copyable input
Out[8]=
甚至当用户检验符号表达式时，有时也能得到确定结果. 例如，当用户检验两个恒等式 时，无论表达式中的变量是什么数值，Mathematica 都知道该两个表达式是相等的.
不论 为何值，这两个表达式都相等 ，所以结果为 True.
In[9]:=
Click for copyable input
Out[9]=
Mathematica 并不检验这两个表达式是否相等. 此时，使用 Expand 将使它们有相同的形式.
In[10]:=
Click for copyable input
Out[10]=
在 Mathematica 中，如 这样的 表达式代表方程式. Mathematica 中有许多处理和求解方程的函数.
这是 Mathematica 中的一个方程. 在 "解方程" 中讨论如何求解 .
In[11]:=
Click for copyable input
Out[11]=
它可以给方程赋一个名称.
In[12]:=
Click for copyable input
Out[12]=
查看 ，将得到该方程.
In[13]:=
Click for copyable input
Out[13]=
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
格式:   HTML  |  CDF