排版数学公式是TeX系统设计的初衷,本章要学会输入基本的数学公式,并玩转有关公式的方方面面。
4.1 数学模式概说
TeX有很多工作模式:输入一行文字时我们在水平模式,在水平模式下,文字、符号等各种排版元素,也就是各种盒子,从左到右依次水平排列。当折行分段时,自动进入垂直模式,垂直模式下各种盒子从上到下一次垂直排列。数学模式是最吸引人的模式,在数学模式中,输入的字符都有专门的意义,盒子的排列也遵循单独的一套特殊规则,以适应结构复杂的各种数学公式。
TeX有两种数学公式,一种是夹杂在行文段落中的公式,称为行内公式,另一种是单独占据整行居中展示出来的,称之为显示公式或行间公式,行间的显示公式更适合表现复杂的数学内容。两种公式使用不同的方式进入数学模式。
行内公式的表示方式如何表示?
1、单个美元符号$…
在数学模式下,符号会使用单独的字体,字母通常是倾斜的意大利体,数字和符号则是直立体
2、(…) 或 math环境括起一个行内数学公式
除了使用单个美元符号,LaTeX还额外定义了命令格式与环境格式的方式输入行内公式
多数人喜欢使用传统的美元符号表示行内公式。
不带编号的行间数学公式如何表示?
1、连续的两个美元$$…
2、[…] 或者 displaymath环境
3、equation*环境(由amsmath宏包提供)
amsmath宏包是LaTeX排版数学公式最常用的宏包
\usepackage{amsmath}
数学模式中,空格会被忽略
amsmath提供的 \text 命令就可以用来在数学公式中插入文字
带自动编号的行间数学公式如何表示?
1、equation环境
LaTeX还提供了带自动编号的数学公式,可以用equation环境表示,公式后可以带引用的标签
在普通的文本中使用数学公式时也应该注意随时在文本模式和数学模式下转换。例如行内数学公式中逗号处不能换行,因此列举多项公式就应该把每项放在单独的数学环境中,项与项之间用逗号和空格隔开
4.2 数学结构
4.2.1 上标与下标
上标 ^
下标 _
当上标和下标多于一个字符时,需要使用分组确定上下标范围
上标和下标可以同时使用,也可以嵌套使用。同时使用上标和下标,其先后次序并不重要,二者互不影响。嵌套使用上下标时,外层一定要使用分组。数学公式中的空格包括单个换行是不起作用的,这样是使代码变得更好看
撇号 ’ 是一种特殊的上标,可以与下标混用,也可以连续使用(普通上标不能连续使用)
\circ 表示°
或定义为一个意义明显的命令 \newcommand\degree{^\circ}
显示公式中,多数数学算子的上下标的位置在正下方或者正上方,行内公式时为了避免过于拥挤,会放在角标位置,例如
[
\max_n f(n) = \sum_{i=0}^n A_i
]
但对积分号等个别算子,显示公式中的上下标也在右上右下角
%导言区 (%代表注释)
手工改变上下标的位置:\limits 和 \nolimits
有时需要在符号的左上、左下加角标,可以使用mathtools宏包的\prescript<上标><下标><元素>来处理
\sideset 用于排版 ∑ ∏等巨算符的角标,不应该用在其他地方
\overset \underset
4.2.2 上下画线与花括号
在公式的上方和下方划横线。这种结构可以任意嵌套或与其他数学结构组合
\overline
\underline
在公式上下加箭头
\overleftarrow \overrightarrow
\underleftarrow \underrightarrow
数学字母的重音标记
\vec
数学公式上下花括号
\overbrace
\underbrace
4.2.3 分式
\frac<分子><分母>
行内公式和显示公式中,分式的大小是不同的,行内公式的分子、分母都用较小的字号排版,以免超出文本行高度。已经在分子或分母的分式,也会按照行内公司的大小排版
连分式
\cfrac专门用于输入连分式,这个命令可以带一个可选的参数 l c r,表示左中右最气,默认是居中
二项式系数
4.2.4 根式
\sqrt
4.2.5 矩阵
不同的矩阵环境
在矩阵环境中,不同的列用符号 & 分隔,行用 \ 分隔,矩阵每列中元素居中对齐
矩阵中省略号 \dots \vdots \ddots
矩阵嵌套使用
4.3 符号与类型
4.3.1 字母表与普通符号
4.3.2 数学算子
4.3.3 二元运算符与关系符
4.3.4 括号与定界符
4.3.5 标点
4.4 多行公式
实际中,我们经常碰到一行写不完或者跨越几行的数学结构,或者是一个三元的线方程组
4.4.1 罗列多个公式
显示方程基本输入法:使用编号的equation和不编号的equation*
输入多行公式最基本的方法:gather 和 gather(不编号)*
使用 \ 换行
\notag 阻止编号
gather环境得到的公式是每行居中的,align环境则允许公式按等号或其他关系符对齐,在关系符前加 & 表示对齐
align* 功能相同,但不编号
在不同公式中插入简短文字
4.4.2 拆分单个公式
如何把一个公式拆成好几行?
multline 和 multiline* 环境是equation环境的分行版本
最常用的是split环境
split环境并不开始一个数学公式,它用在equation、gather等数学环境里面,可以把多个公式拆成多行
4.4.3 将公式组合成块
最常见的是cases环境,它在几行公式前面用花括号括起来,用来表示几种不同的情况。每行公式中用 & 分隔为两部分,通常表示值和后面的条件