Typesmith

数学进阶

amsmath 进阶:带编号的公式、多行对齐、矩阵与分段函数

进阶约 24 分钟

equation:给公式一个编号

上一课我们学会了写公式,但它们都「不留名」——没有编号,无法被引用。equation 环境是 amsmath 提供的带编号公式环境:它让公式独占一行居中排版,同时在右侧自动编号。

配合上一课的交叉引用知识,你就能给公式也编上号并引用:在 equation 里放 \label{eq:energy},正文用 \ref{eq:energy} 引用,输出形如「式 (1)」。需要编号但不想手动处理顺序时,这是标准做法。

如果只是想要居中排版、不要编号,用带星号的 equation*,或者继续用上一课的 \[ ... \]。

带编号并可引用的公式
pdfLaTeX
编辑器加载中…
引擎:pdfLaTeX

点击「编译运行」生成真实 PDF

公式编号由 LaTeX 自动生成,插入或删除公式后编号会自动重排,\ref 也跟着更新——这正是「内容与格式分离」在公式上的体现。

align:多行公式对齐

推导过程往往有好几行,且希望等号上下对齐。这时用 align 环境:在每行放置一个 & 标记对齐点(通常写在等号前),用 \\ 换行。LaTeX 会把所有 & 的位置竖直对齐,并为每一行编号。

想让某一行不编号,在该行末尾加 \nonumber(等价于 \notag)。若整个环境都不要编号,直接用 align*。

这里出现了「& 分列、\\ 换行」的写法——它和表格 tabular 的语法同源。理解了这个共性,你会发现 LaTeX 里凡是「对齐成块」的东西,都用的是同一套记号。

多行推导对齐
pdfLaTeX
编辑器加载中…
引擎:pdfLaTeX

点击「编译运行」生成真实 PDF

注意 & 都放在等号之前,所以三行的等号会竖直对齐。第三行的 \nonumber 让那一行不带编号。把 align 改成 align* 则全部不编号。

矩阵家族:matrix、pmatrix、bmatrix

矩阵用一组环境书写,语法和表格极像:& 分列、\\ 换行。区别在于外面那对括号:matrix 没有括号,pmatrix 是圆括号,bmatrix 是方括号,还有 Bmatrix、vmatrix(行列式)等。

矩阵必须放在数学模式里才能用,通常写成 \[ \begin{pmatrix} ... \end{pmatrix} \]。它本身不负责加外层括号——括号已经由环境名指定了,所以不必再手写 \left( \right)。

矩阵与行列式
pdfLaTeX
编辑器加载中…
引擎:pdfLaTeX

点击「编译运行」生成真实 PDF

对比 pmatrix 与 vmatrix:前者输出圆括号矩阵,后者输出竖直竖线的行列式。环境名决定了外面那对符号,内容写法完全相同。

cases:分段函数

分段函数用 cases 环境:左侧一个大花括号,右侧每行写一段条件,用 & 把「表达式」和「条件」分开,用 \\ 换行。它同样来自 amsmath,也必须写在数学模式里。

例如 f(x)=\begin{cases} x^2, & x \geq 0 \\ -x, & x < 0 \end{cases}。注意每一行末尾的逗号是排版习惯(表示「此时取此值」),可加可不加。

分段函数与矩阵同框
pdfLaTeX
编辑器加载中…
引擎:pdfLaTeX

点击「编译运行」生成真实 PDF

cases 不光能写分段函数,也能写方程组——本质都是「左侧大括号、右侧对齐的多行内容」。

练习:欧拉恒等式与单位矩阵
pdfLaTeX

用显示模式写出欧拉恒等式 e^{iπ} + 1 = 0,并在其下方写一个 2×2 的 pmatrix 单位矩阵。

编辑器加载中…

检查点(实时)

  • 使用显示公式
  • 上标里要有 i
  • 使用 \pi
  • 使用 pmatrix 矩阵环境

🎯 目标效果

[

1 & 0
0 & 1

]

引擎:pdfLaTeX

点击「编译运行」生成真实 PDF

练习:进阶:一行带编号推导 + 一个分段函数
pdfLaTeX

用 align 环境写一个两行、等号对齐的推导(每行都要有编号);再用 cases 写一个分段函数 f(x)=x²(x≥0)与 f(x)=0(x<0)。

编辑器加载中…

检查点(实时)

  • 使用 align 环境
  • 两行都要有 & 对齐点并用 \\ 换行
  • 使用 cases 环境
  • 分段条件里用到 \geq

🎯 目标效果

[ f(x) =

x^2, & x \geq 0
0, & x < 0

]

引擎:pdfLaTeX

点击「编译运行」生成真实 PDF

完成所有练习的检查点会自动记录