贡献者: 欄、停敘
相等和不等关系是从小学阶段就开始接触的基础概念,但由此延伸出的方程、不等式、恒等式、方程组、解等概念,许多人往往只有一个模糊的感觉,而并不能清晰描述它们是什么。人教版初中教材中给出的 “方程” 定义是 “含有未知数的等式称作方程(equation)”1,给 “未知数” 的定义则是 “方程的求解目标”,这看上去是一种令人迷惑的循环定义,进而造成有些人困惑形如
因此,很多学生在阅读题目时,对解题任务的理解感到模糊,不清楚解方程、联立方程究竟意味着什么,这种认识上的模糊甚至延续到大学阶段,影响对更复杂概念的掌握和后续学习的进展,很多研究者在使用这些术语时也很混乱。本文旨在解决上面提到的问题。等式和不等式在定义上几乎完全相同,两者的区别主要在于所使用的关系符号不同,以及由此导致的操作规则的变化。为了简化理解,可以先专注于等式的定义。一旦掌握了等式的概念和性质,再推广到不等式就会变得更加容易。
下面会先介绍一些基础概念。这些概念的数量很多且前后勾连,且有不少与教材上语焉不详的定义存在出入。这里不要求完整记忆,只需要认真理解并清楚自己脑海中习惯的表达与下面概念的对应即可。
表示数学运算的符号,如加、减、乘、除及各种函数(例如
用于表示两个数学元素之间关系的符号称为关系符(relation)3。例如,“
由数字、变量和运算符组成的数学符号组合称为数学表达式(mathematical expression),或简称表达式(expression),也叫式子。表达式可以被看作一种 “描述工具”,其主要作用在于用符号表示某种数学上的数量关系或状态,而不一定需要得到一个具体的数值。例如,
表达式可以通过各种数学操作来进行简化和转化,比如合并同类项、约分等,这些操作称为 “恒等变形”。在特定情况下,如果知道表达式中变量的具体值,还可以将该值代入表达式,从而计算出一个数值结果。
在初中阶段学习的代数式(algebraic expression)是一个特定类型的数学表达式。代数式仅由代数运算符连接数或字母组成,比如
在介绍下面的概念之前,有必要先引入一个英语单词 “equation”。它在中文中通常翻译为 “方程” 或 “等式”。这里提到的 “方程” 并不完全等同于日常所理解的方程。为了避免混淆,本节接下来的内容将统一使用 “等式” 一词4。等式(equation)是指由等号(
如果将等式中的表达式视为函数的对应关系,那么等式可以看作是描述两个函数之间的相等关系。这时,称函数的自变量称为未知数(unknown),而使等式成立的条件称为等式的解(solution),这里对应的就是未知数的取值5,也称 “解满足给定的方程”,所有满足等式的解构成的集合称为解集(solution set)。如果没有值使条件成立,则解集为空集。
根据未知数允许的取值范围
总之,理解概念是最重要的。在中文用词上,通常 “等式” 这个词包含了上面提到的三种类型——矛盾式、条件等式和恒等式。而 “方程” 则特指条件等式,表示在特定条件下成立的等式,“方程无解” 则指矛盾等式,之后不引起歧义时也会如此使用。在解题和讨论时,明确所指的对象,可以避免不必要的混淆。
现在回答 “如何看待
等式具有对称性和传递性,即:
在理解了等式那些错综复杂的概念之后,不等式的定义就更容易掌握了。不等式(inequation)是由不等号连接两个表达式组成的数学符号组合,用来表示两个表达式之间的不等关系6。“不等式” 是一个宽泛的称谓,无论解集与给定范围的关系如何,只要包含不等号都会称为不等式,这使得在使用时会容易忽略它到底是指一个具有条件解的 “不等式方程” 还是一个在所有取值范围上都成立的 “恒等不等式”(这两个术语并非正式定义,仅用作便于理解的表述)。
在不等式的研究中,许多概念,例如未知数、解、解集,以及矛盾不等式、条件不等式和恒成立不等式,与等式中的定义类似,仅仅因为不等号的存在而带来了一些细微的差别。在理解不等式时,以下两个要点尤其重要:
不等式也具有传递性,即若
在初中时,就已经接触过方程组,当时给出的定义是 “把两个必须同时满足的方程合在一起组成一个方程组”。这个定义虽然简单,但传达了一个核心概念,即方程组涉及的每个方程都必须同时成立。用大括号将多个方程括在一起,正是为了表示它们的联合条件。
方程组(system of equations)指的就是一组需要同时成立的方程。注意到这里使用的英语单词是 “system”,中文里它通常翻译为 “系统”。因此其实可以将方程组看作是一个 “系统”,或者说方程组本身就是描述了一个系统7。每个等式的解集
方程组中的方程经过变形后,在大多数情况下8,一个方程会对一个变量提供约束,从而,通常方程组是针对多个变量的。
不仅方程可以用来描述约束,不等式也可以发挥类似的作用。通常,只有不等式构成的一组称为不等式组(system of inequalities)。如果既包含等式又包含不等式,则直接称为约束系统(system of constraints)9。约束系统通常出现在优化问题中,尤其是在线性规划和非线性规划中。在这些情境中,线性系统(linear system)和非线性系统(nonlinear system)的定义取决于方程组中方程的类型(线性或非线性)。无论是方程组、不等式组还是约束系统,其解集都由所有约束条件共同定义,即由使所有约束同时成立的变量值构成。
对于两个表达式
简单来说,方程组
1. ^ 注意并非是 “含有字母的等式”,这是一个讹传。
2. ^ 在数学领域深入研究后,这一概念被称为算子(operator),并且具有更严格的定义,会在泛函分析中学习。在计算机科学、物理等其他领域中也会使用 “运算符” 这个术语,但其定义可能有所不同。
3. ^ 在一些领域中,如计算机科学,关系符也可以视作一种特殊的运算符,称作 “关系运算符”,其运算结果是关系判定的真值。例如,
4. ^ 当然,很多时候,为了区分会将 “equality” 译作等式,而 “equation” 译作方程。
5. ^ 在大学阶段,还会研究各种各样的微分方程,微分方程也是一种方程,只不过它将某个不确定的函数关系作为未知量或求解目标。这时方程的解,也就是使等式成立的条件,就是某个或某类特定的函数。具体可以参见常微分方程简介或常微分方程
6. ^ 由于一般情况下
7. ^ 很多时候,如果看到数学领域的 “某某系统”,可能是指 “某某方程组”。
8. ^ 如果一个方程不提供约束时,称其与其他的方程线性相关。
9. ^ 有些时候,也会将上述两种情况都称作 “不等式组”,或粗糙地将所有的约束系统都称为 “方程组”。下面统称约束系统。