第五章数学公式与TEX系统简介.pdfVIP

第五章数学

数学是TEX的。就是由于排版数学是那么得复杂，在通常的打字机上根

本无法进行，DonaldKnuth才开发这个文本格式化系统。另一方面，IATEX的

是文档设计。不但如此，所有TEX的强大数学排版功能IATEX也都具备，而且提

供了相当好的组合。我们在本章所讲的绝大部分（并不是全部）内容都适用于

TEX，因此要把它们两者区分开，有时是很的。我们因此经常命令和环境

是属于IATEX的，即使它也同样适用于TEX。

数学是通过输入特殊的描述性文本来生成的。这就意味着必须告诉IATEX要把

下面的文本解释成一个数学，而且也能告诉它数学已结束，返回正常的文

本状态。数学文本的处理是通过切换进入数学模式（1.5.3节）实现的。数学环境

就是为了这个目标而引进的。

§5.1数学环境

数学可以出现在一个文本行中，如(+2=+2+，也可以与正文

分开，如

∞

∫(≈∑()

0

1

这两种形式分别被称为正文和显示。

正文或者方程是用如下环境生成的：

由于正文通常都很短,有的时候只有一个字符,因此也可以用一个更方便的版本,

即公式文本∖)。如果还嫌它长,那可以用更短的形式文本。所有这三种形式

是等价的,虽然具有某些差别,如∖(是脆弱的,而$就比较牢靠。

的内容文本是由数学构造组成，在下面几节中介绍这些构造。

显示或方程是用下面的环境生成的：

这两种环境的差别在于equation环境会自动给加上一个顺序的编号。

disymath环境也可以用方便形式[文本]给出。

在默认方式下，显示是水平居中的，而且如果有编号的话，编号会显示在

右页边。通过选择文档类选项fleqn（3.1.1节），就会左对齐，而且可以具有

一个能调整的缩进。这个选项在整篇文档中有效，而缩进量可以用命令{}来改变，

这里的缩进量就

是所要定义的长度。除此之外，文档类选项leqno会使得整篇文档中编号显示

在左边界。

最后提一下，可以用如下环境创建多行：

这里的形式会给每行都加上一个顺序的编号，而∗−形式则没有

编号。

§5.2数学的主要组成

§5.2.1常量与变量

出现在中的数字称为常量,而简单变量只由一个字母表示。在绝大多数的数学

排版中是用罗马字样显示常量,用斜体显示变量。IATEX在数学模式中也是自动遵守

这个规则。在源文本中为了使作者容易读而加的空格都被忽略。在常量、变量和类

似于+,-,=这样的动算符之间的距离是由IATEX自动处理的。例如=2+3和z

=2a+3y$都生成z=2a+3y。

在键盘上存在对应字符的数学符号有：

+−=/:!,|[]()

它们都可以直接用在数学中。大括号{}用来表示的逻辑组合，因此不能

作为可直接显示的字符。为了在中显示大括号，就必须如通常文本中那样用命

令∖{和∖}。

||=(s)t)|M|=m

′′{[′]}′′{′}

=,(+$=∖f[y,y(x)]+g(x)∖$

准备工作：创建一个新的IATEX文件，名称为math.tex，它只是由

另一方面，对编号样式改变的要求通常就是如何对齐。在7.3.4节中给出了一

个例子，说明如何做到这一点。可以把它做为一个样板。