“那么，就刚才说到的文字和数学公式的话题，我们来谈谈方程式和恒等式吧。泰朵拉，你解过这样的方程式吗？”我问。

x - 1 = 0

“嗯，是的。 x 是1吧。”泰朵拉答道。

“嗯， x - 1 = 0这个方程就这样解出来了。那么，这个式子呢？”我又问。

2( x - 1) = 2 x - 2

“好，我将这个方程式重新整理一下，解解看。”泰朵拉说。

“咦？怎么变成0等于0了？”她很惊讶。

“其实2( x - 1) = 2 x - 2不是方程式，而是恒等式。将左边2（ x - 1）展开后，就和右边2 x - 2相等。也就是说，无论 x 取何值，这个方程式都能成立，因为这是左右永远都相等的式子，所以我们把此类式子叫作 恒等式 。严格地说，这是关于 x 的恒等式。”我说。

“方程式和恒等式不同吗？”她问道。

“不同哦。方程式侧重于‘当 x 取某 特定值 时，这个式子成立’；而恒等式则侧重于‘ x 取 任意值 都能使这个式子成立’。这两个概念可是有很大的区别的。说到方程式，则自然而然地会有让你求‘使这个式子成立的特定值’之类的问题。这也就是方程式求解的问题。而说到恒等式，则自然而然地会出现‘这个式子用任意数字代入都能成立吗’之类的问题。这也就是恒等式的证明题。”我说。

“啊，原来如此……。它们差别这么大啊。我还从没意识到呢。”泰朵拉说。

“嗯，一般人不会注意，但还是留意下比较好。从公式演变来的等式，一般都是恒等式。”我说。

“如果光看式子能马上就看出是方程式还是恒等式吗？”她问道。

“有时候一眼就能看出，有时候却不行。有时还必须根据上下文来判断。也就是说，我们必须要领会写这个等式的人到底是想将式子写成方程式还是恒等式。”我答道。

“写式子的人……”她若有所思。

“将式子变形时，就是恒等式。看看下面的式子吧。”

“恒等式就这样可以一直写下去，无论 x 取何值，等式都能成立。也就是说，恒等式是一系列的连续等式，一步步往下推导，最终所得的等式就是恒等式。”

“嗯，对。”

我说：“恒等式的连续推导就是为了显示公式变形过程中的‘慢镜头’。所以‘啊，式子好多好复杂啊’这种消极的想法是不可取的。一步步看下去就可以了。与恒等式相对，你看看下面这个式子如何？”

“两个式子中，第一个式子是一个恒等式。也就是说，它侧重于说明‘无论 x 取何值， 这个式子都能成立’。第二个等号是用来建立方程式的。所以，从上述式子整体来看，这题主要侧重于‘要解 这个方程式的话，先将其恒等变形，然后求方程式 ( x - 2)( x - 3) = 0的解即可’。”我说。

“哇，原来是这样理解的啊。”她说。

“除了方程式和恒等式，还有定义式。当有复杂的式子出现时，给这个式子取个特定的名称，就可以将整个式子简化。取特定名称时要使用等号。定义式不像方程式那样需要求解，也不像恒等式那样需要证明，而是自己觉得怎样方便就怎样定义。”我接着说道。

“能给我举个例子来说说定义式究竟是什么吗？”她显得有些不太明白。“比如说，将比较复杂的 α + β 取名为字母 s 。这种取名方式，也就是定义，可以表示成以下形式。”我说道。

s = α + β 定义式的例子

“好，那我要提个问题。”泰朵拉饶有兴趣地举着手问我。她明明已经在我面前了，没必要特地举手发言吧。真是个可爱的孩子。

“学长，到这里我已经不懂了，为什么要取名为 s 呢？”她问我。

“随便取什么名都可以啊。因为只是使用这个名字代替原来的式子，所以无论是 s 还是 t 都可以。一旦定义 α + β 为 s 后，就说明以后碰见 α + β ，我们就可以用 s 来代替。如果自己定义得恰当，列出的式子就很容易被看懂和理解。”我答道。

“哦，明白了。那 α 和 β 又是什么呢？”她接着问。

“嗯，我们假设这些是在其他地方定义的文字。如果要写定义式 s = α + β ，一般左边写的是字母，右边写的是需要被取名的式子。这里是将在其他地方定义好的 α 和 β 组成的式子取名为 s ，就是这样。”

“定义式取什么名都可以吗？”她问道。

“嗯，一般取什么名字都可以。虽说如此，但是不能再使用已经定义过的其他式子的名字。比如说，已经将 α + β 定义为 s 了，而后又将 αβ 定义为 s ，就会产生歧义。”我补充说。

“是啊，这样的话，取名也就没有意义了。”她赞同我的说法。

“还有，我们一般都把圆周率写成π，把虚数单位写成i，如果我们再把这些常用字母换成别的字母，就会让人觉得非常别扭。当你看到数学公式中出现新的字母时，不要惊慌，想到‘啊，这可能是定义式吧’就可以了。在解说部分中如果写着‘将 s 定义为以下式子’‘将 α + β 定义为 s ’等内容，那一定就是定义式了。”我说。

“啊，是这样啊。”她说。

“哦，对了，泰朵拉，下次你查一下数学书中出现的含有字母的等式吧，如方程式、恒等式、定义式等，可能还会有些别的式子……”我说。

她答应道：“好的，我试着找找。”

“数学书中会出现很多公式。那些数学公式全都是写公式的人为了向别人表达自己的想法而写的式子。”我说。 8c5WkYmXCtobAMmW6V3izJkEZ2RZJB+oh4W3eYrkPeaNYvoT9qi5tNVEKbIbvdhV