1. 从“公式”到“论文”为什么LaTeX的编号是基本功写论文尤其是理工科、数学、计算机这些领域的论文绕不开的就是公式。公式是论文的骨架是思想的精确表达。但很多刚开始接触学术写作的朋友往往把注意力全放在“怎么把公式打出来”上结果论文初稿里公式东一个西一个引用的时候只能说“见上式”或者手动写上“公式(3.1)”一旦前面增删内容后面的编号全乱改起来苦不堪言。这正是LaTeX的公式编号系统要解决的核心痛点自动化、结构化、可维护性。LaTeX不仅仅是一个“漂亮的公式编辑器”它是一套完整的排版系统其设计哲学是将内容与格式分离。对于公式而言这意味着你只需要关心公式本身是什么而它的位置、编号、引用全部交给LaTeX来管理。你写\label{eq:newton}然后在正文里用\eqref{eq:newton}引用LaTeX会自动计算并填上正确的编号比如“(2.5)”。无论你之前是插入还是删除了公式这个引用永远指向正确的那一个。这个看似简单的功能是构建长篇、复杂、需要反复修改的学术文档的基石说它是“论文基本功”毫不为过。我见过太多用Word处理公式的惨案几十页的论文公式编号全靠手打导师让在第二章开头加个新公式后面所有的“公式(2.x)”都要手动重数、重改一不小心就漏了或错了。而LaTeX用户只需要淡定地重新编译一次所有编号和引用自动更新。这种效率和安全性的提升在紧张的论文修改和投稿截止日期前是实实在在的“生产力工具”。所以掌握LaTeX的公式及其编号不是为了炫技而是为了让你更专注于内容本身把机械的、易错的排版工作交给机器。2. 公式环境全解析从单行到多行的选择逻辑LaTeX提供了丰富的公式环境选择哪个取决于你的公式是孤立的、需要编号的、还是要对齐的。理解每个环境的设计意图才能用得顺手。2.1 基础单行公式equation环境equation环境是最常用、最标准的带编号单行公式环境。它的定位就是“一个需要被独立引用和讨论的重要公式”。\begin{equation} E mc^{2} \label{eq:mass_energy} \end{equation}编译后这个公式会单独成行并自动在右侧或根据文档类设置生成一个编号如“(1)”。\label{eq:mass_energy}是为这个公式打上的标签是后续引用的锚点。这里的eq:前缀是一种良好的命名习惯让你一眼就知道这个标签对应的是公式。什么时候用equation当你有一个完整的、重要的、需要在正文中多次引用的公式时毫不犹豫地使用它。比如定义核心模型的主方程、推导出的最终结论等。注意事项不要在里面换行equation环境设计就是用于单行公式。如果你在里面用\\换行通常会报错或排版混乱。标签\label的位置\label必须放在\begin{equation}和\end{equation}内部通常紧跟在公式之后、\end{equation}之前。如果放在环境外部标签将无法正确关联到该公式的编号。2.2 无编号的单行公式equation*环境与\[ ... \]有些公式可能只是中间推导步骤或者其重要性不足以拥有一个独立编号。这时你有两个选择equation*环境来自amsmath宏包提供无编号的、居中显示的公式。\[ ... \]这是displaymath环境的简写功能与equation*几乎相同但更简洁。% 使用 amsmath 宏包 \usepackage{amsmath} ... 推导过程中我们有 \[ a^{2} b^{2} c^{2}. \] 或者 \begin{equation*} \sin^{2}\theta \cos^{2}\theta 1. \end{equation*}两者在视觉效果上通常没有区别。\[ ... \]更短更快捷而equation*环境在结构上更清晰特别是当公式很长需要折行时虽然不推荐在此环境内折行可读性更好。我个人习惯使用\[ ... \]因为它输入更快。2.3 多行公式对齐的王者align环境当你的公式需要多行并且这些行需要在某个位置通常是等号对齐时align环境是唯一正确的选择。它同样来自强大的amsmath宏包。\begin{align} f(x) (xa)(xb) \\ x^{2} (ab)x ab \label{eq:expand} \end{align}这里的关键是符号它指定了对齐点。每一行在之前的部分右对齐在之后的部分左对齐。上面例子中两行的等号会对齐。\\用于换行。编号行为默认情况下align环境会给每一行都编号。这常用于每一步推导都需要被独立引用的情况。编译后上面两行会分别获得编号 (2) 和 (3)。选择性编号很多时候我们只希望给多行推导中的关键行比如最终结果编号。这时可以在不需要编号的行末尾、\\之前加上\notag或\nonumber命令。\begin{align} f(x) (xa)(xb) \notag \\ x^{2} (ab)x ab \\ g(x) \int f(x) \,dx \notag \\ \frac{1}{3}x^{3} \frac{ab}{2}x^{2} abx C \end{align}这样只有第二行和第四行会有编号。为什么是align而不是手动换行手动在equation里用\\会报错而用array环境模拟对齐则过于繁琐且间距、字体处理不专业。align环境是专门为数学公式对齐设计的能自动处理数学模式下的正确间距和字体是排版多行公式的工业标准。2.4 其他多行公式环境gather,multline,alignedamsmath宏包还提供了其他几种环境用于特定场景gather用于多行、居中、且各行之间不需要对齐的公式组。每行自动编号。\begin{gather} a b c \\ d e f \\ x^{2} y^{2} z^{2} \end{gather}multline用于一个特别长的公式需要折成多行且首行左对齐末行右对齐中间行居中的情况。通常只有一个编号在末行或首行。aligned这是一个“子环境”它本身不产生独立的公式块和编号但可以在其他环境如equation内部提供对齐功能。这在你想把一个需要对齐的公式组作为一个整体只赋予一个编号时非常有用。\begin{equation} \begin{aligned} \nabla \cdot \mathbf{E} \frac{\rho}{\epsilon_0} \\ \nabla \cdot \mathbf{B} 0 \\ \nabla \times \mathbf{E} -\frac{\partial \mathbf{B}}{\partial t} \\ \nabla \times \mathbf{B} \mu_0 \mathbf{J} \mu_0\epsilon_0 \frac{\partial \mathbf{E}}{\partial t} \end{aligned} \label{eq:maxwell} \end{equation}麦克斯韦方程组这四个公式会被对齐但整体只共享一个编号 (4)。这在物理、工程论文中非常常见。选择逻辑总结独立重要公式-equation无需编号的独立公式-\[ ... \]或equation*多行且需要对齐推导、方程组-align多行但无需对齐各自重要-gather一个超长公式折行-multline一个编号下包含多行对齐公式-equation嵌套aligned3. 编号系统的深度控制与自定义默认的编号 (1), (2), (3)... 可能无法满足所有需求。比如你可能希望公式编号包含章节号(2.1)或者临时取消某个公式的编号甚至自定义编号的格式。3.1 编号与章节关联让编号自带“地址”在书籍或长篇论文中让公式编号带上章节号如第二章的第三个公式编号为 (2.3)能极大提升可读性和定位效率。这通常在文档类的选项或导言区设置。对于标准文档类article,report,book可以使用\numberwithin{equation}{section}命令将公式编号关联到节section层级。\documentclass{article} \usepackage{amsmath} \numberwithin{equation}{section} % 使公式编号形如 (section.equation) \begin{document} \section{引言} \begin{equation} a b \label{eq:sec1_1} \end{equation} % 此时公式编号为 (1.1) \section{方法} \begin{equation} c d \label{eq:sec2_1} \end{equation} % 此时公式编号为 (2.1) \end{document}对于report或book类你可能想关联到章chapter\numberwithin{equation}{chapter}这样编号就是 (1.1), (1.2), (2.1) 等。实操心得 在动手写长篇文档前先规划好编号体系。如果确定需要章节关联就在导言区一开始就设置好。如果中途更改之前已经生成的标签和引用可能会出错需要清除辅助文件.aux,.out等重新编译。3.2 精细化的编号控制命令除了环境自带的编号和\notag还有几个底层命令用于精细控制\tag{...}为当前行公式手动指定一个标签它会替换掉自动生成的编号。括号内可以是任意文本。\begin{equation} E mc^{2} \tag{*} \end{equation}公式旁会显示 (*) 而不是 (1)。这在想标记一个特殊公式如“能量守恒式”时有用但会破坏自动引用因为\label仍然会捕捉到自动生成的编号如果有的话造成混乱。慎用。\tag*{...}与\tag类似但不会自动给标签加上括号。\tag*{A1}会直接显示 A1。更常见的需求是临时抑制编号。我们已经知道了\notag和\nonumber两者等价。它们必须用在会产生编号的环境如align的某一行中。3.3 完全关闭与重启编号有时在附录或某个特殊章节你可能希望公式编号独立于主体部分或者从某个特定数字开始。\setcounter{equation}{0}将公式计数器重置为0那么下一个公式的编号就是 (1)。通常和修改编号格式命令一起使用。\appendix % 进入附录 \renewcommand{\theequation}{A.\arabic{equation}} % 将编号格式改为 A.1, A.2... \setcounter{equation}{0} % 重置计数器 \section{附录A推导细节} \begin{equation} \text{新的编号从这里开始(A.1)} \end{equation}在align等环境中使用\begin{align*} ... \end{align*}是无编号版本。如果想在align中完全不给任何行编号用星号环境是最干净的方法。避坑技巧 修改计数器\setcounter或编号格式\renewcommand{\theequation}是“全局性”操作会影响之后所有的公式直到被再次修改。务必清楚这些命令的作用范围最好将它们放在章节或附录开头并用注释标明意图避免后续维护时遗忘。4. 引用、交叉引用与超链接公式编号的终极价值在于被准确、方便地引用。LaTeX的交叉引用系统是其核心优势之一。4.1 基础引用\eqref,\ref与\label的协作标准流程是“先标记后引用”。标记 (\label{key})在公式环境中为你需要引用的公式打上一个唯一的标签key。\begin{equation} \mathcal{L} T - V \label{eq:lagrangian} \end{equation}引用 (\eqref{key})在正文中需要提到该公式的地方使用\eqref{eq:lagrangian}。如公式 \eqref{eq:lagrangian} 所示系统的拉格朗日量定义为动能与势能之差。编译后\eqref会自动生成带括号的编号如 “如公式 (5) 所示”。\eqref是专门为公式引用设计的它会自动添加括号。你也可以用\ref{key}但它只生成纯数字 “5”你需要自己加括号即公式 (\ref{eq:lagrangian})。使用\eqref更规范、更安全。为什么需要编译两次LaTeX在第一次编译时遇到\label会记录下该处的当前计数器值比如equation计数器是5并写入.aux文件。在第二次编译时遇到\eqref{eq:lagrangian}它会去.aux文件里查找eq:lagrangian对应的值5然后填入文中。如果你新增、删除了公式改变了编号顺序必须连续编译两次引用才会更新正确。这是新手最容易困惑的地方之一为什么我改了公式引用编号没变答案就是再编译一次。4.2 引用格式的优化与cleveref宏包默认的\eqref已经很好用但cleveref宏包能将其提升到一个新高度。这个宏包能智能识别你引用的对象类型公式、图、表、章节等并自动生成合适的上下文文字。\usepackage[capitalise]{cleveref} % capitalise选项让“公式”等词首字母大写 \begin{equation} \vec{F} m\vec{a} \label{eq:newton2} \end{equation} % 在正文中引用 如 \cref{eq:newton2} 所示... 根据 \Cref{eq:newton2}我们可以推导...编译后根据语言设置需配合babel或polyglossia等宏包\cref可能生成“如公式 (6) 所示”而\Cref大写C生成“根据公式 (6)”。它自动添加了“公式”这个前缀使得行文更流畅、更专业。如果你引用了多个标签\cref{eq:A,eq:B,fig:C}会自动生成“公式 (7)、(8) 和图 1”这样智能的枚举。使用cleveref的注意事项加载顺序很重要。cleveref宏包应该最后加载之一通常放在hyperref宏包之后如果使用了的话。它需要至少两次编译才能正常工作和普通引用一样。对于中文文档需要额外配置或使用专门的中文支持方案因为默认的识别词是英文的 “equation”, “figure” 等。4.3 生成可点击的超链接hyperref宏包在生成PDF时hyperref宏包可以将所有交叉引用包括公式引用变成可点击的超链接点击后直接跳转到被引用的公式位置。这极大提升了电子文档的阅读体验。\usepackage{hyperref} % 常用配置选项 \hypersetup{ colorlinkstrue, % 用颜色代替难看的边框 linkcolorblue, % 内部链接颜色 citecolorgreen, % 参考文献引用颜色 urlcolormagenta, % 网页链接颜色 pdftitle{你的论文标题}, pdfauthor{你的名字}, }加载hyperref后所有\ref,\eqref,\cref生成的编号都会变成带颜色的可点击链接。加载顺序的黄金法则hyperref宏包应尽可能最后加载除了极少数例外如cleveref有时要求在其后。一个典型的顺序是先加载所有其他宏包然后\usepackage{hyperref}最后\usepackage[options]{cleveref}。实操心得 在论文最终提交前务必检查这些超链接是否正确跳转。有时复杂的文档结构或宏包冲突会导致链接错位。一个简单的检查方法是编译PDF后从头到尾点击主要的公式和图表引用。5. 实战复杂公式排版与编号综合案例让我们通过一个接近真实论文需求的综合案例把前面的知识串联起来。假设我们要排版一组描述优化问题的公式包含目标函数、约束条件并且需要选择性编号和引用。\documentclass{article} \usepackage{amsmath} % 数学环境 \usepackage{amssymb} % 数学符号 \usepackage[capitalise]{cleveref} % 智能引用 \usepackage{hyperref} % 超链接 \hypersetup{colorlinkstrue, linkcolorblue} \numberwithin{equation}{section} % 公式编号关联到节 \begin{document} \section{问题建模} \label{sec:modeling} 考虑以下带约束的优化问题其目标是最小化投资组合风险 \eqref{eq:risk}同时满足预算约束 \eqref{eq:budget} 和风险敞口约束 \eqref{eq:exposure}。 \begin{align} \min_{\mathbf{w}} \quad f(\mathbf{w}) \mathbf{w}^{\top} \Sigma \mathbf{w} \label{eq:objective} \\ \text{s.t.} \quad \sum_{i1}^{n} w_i 1, \label{eq:budget} \\ w_i \geq 0, \quad i 1,\dots,n, \label{eq:long_only} \\ \mathbf{a}^{\top} \mathbf{w} \leq \gamma. \label{eq:exposure} \end{align} 其中$\mathbf{w} (w_1, \dots, w_n)^{\top}$ 为投资权重向量$\Sigma$ 为资产收益率的协方差矩阵。约束 \eqref{eq:long_only} 表示不允许卖空。为了清晰我们将目标函数中的风险项单独定义为 \begin{equation} R(\mathbf{w}) \mathbf{w}^{\top} \Sigma \mathbf{w}. \label{eq:risk} \end{equation} \section{求解方法} \label{sec:solution} 对于 \Cref{eq:objective}--\eqref{eq:exposure} 描述的二次规划问题我们采用拉格朗日乘子法。构造拉格朗日函数如下该函数将作为后续推导的基础 \begin{equation} \begin{aligned} \mathcal{L}(\mathbf{w}, \lambda, \boldsymbol{\mu}, \nu) \mathbf{w}^{\top} \Sigma \mathbf{w} \\ \quad \lambda \left( \sum_{i1}^{n} w_i - 1 \right) \\ \quad - \sum_{i1}^{n} \mu_i w_i \\ \quad \nu \left( \mathbf{a}^{\top} \mathbf{w} - \gamma \right). \end{aligned} \label{eq:lagrangian_full} \end{equation} 其中 $\lambda$, $\mu_i$, $\nu$ 为对应的拉格朗日乘子。其对偶问题可表示为 \begin{subequations} \label{eq:dual_problem} \begin{align} \max_{\lambda, \boldsymbol{\mu}, \nu} \quad g(\lambda, \boldsymbol{\mu}, \nu) \\ \text{s.t.} \quad \mu_i \geq 0, \; i 1,\dots,n, \label{eq:dual_constraint_mu} \\ \nu \geq 0. \label{eq:dual_constraint_nu} \end{align} \end{subequations} 这里我们使用 \texttt{subequations} 环境将 \Cref{eq:dual_problem} 中的三个式子作为一个整体共享一个主编号 (2)但各自拥有子编号 (2a), (2b), (2c)。 \end{document}案例解析与技巧选择性编号与多行对齐在第一个align环境中我们只给目标函数和三个约束条件加了标签和编号\label所在行这是典型用法。\text{s.t.}subject to用于添加“约束条件”的文字说明\quad用于增加间距使排版更美观。多行公式共享一个编号拉格朗日函数\eqref{eq:lagrangian_full}使用了equation嵌套aligned的环境。这样一个很长的、需要对齐的公式组整体只占用一个编号 (1.4)逻辑上更清晰。子编号系统对偶问题部分使用了subequations环境。它会将内部所有能编号的公式如align中的各行作为一组主计数器equation递增一次但内部使用子编号 (a), (b), (c)...。这在需要将一系列紧密相关的公式作为一个整体引用\Cref{eq:dual_problem}的同时又允许引用其中的特定子式\eqref{eq:dual_constraint_mu}时非常有用。智能引用我们使用了\Cref{eq:objective}--\eqref{eq:exposure}来生成“公式 (1.1)–(1.4)”这样的连续引用范围以及\Cref{eq:dual_problem}来生成带“公式”前缀的引用。cleveref宏包让这些变得非常简单。标签命名规范所有标签都采用了eq:描述性名称的格式。这种清晰的命名习惯在文档有几十上百个公式时能让你在编辑文本时快速定位和回忆每个标签对应的公式而不是面对一堆eq:1,eq:2发愁。6. 常见问题、报错排查与性能优化即使理解了所有规则在实际写作中仍会遇到各种问题。以下是一些高频问题和解决方案。6.1 编译报错与警告! Package amsmath Error: \begin{align} allowed only in paragraph mode.原因align等数学环境不能直接放在\section{}、列表项\item或某些盒子命令的内部开头。它们需要处于普通的段落模式中。解决在\section{...}后面空一行或加\par再开始align环境。在列表项中确保\item后面有一些文字或者将公式放在\mbox{}或\parbox中但通常更好的做法是调整列表和公式的结构。! Missing $ inserted.或! Extra alignment tab has been changed to \cr.原因前者常因在数学环境外使用了数学符号如_,^而未加$...$后者几乎总是因为align环境中对齐符号的数量在每一行不一致。解决检查所有下标、上标是否被正确的数学模式符号包裹。仔细核对align环境中每一行的数量。通常每一行应该只有一个用于指定对齐点除非使用多个对齐点这需要更复杂的结构如alignat。引用显示为“??”或错误的编号原因这是最经典的问题。要么是第一次编译没有生成正确的.aux文件要么是新增/删除标签后没有重新编译足够次数。解决连续编译两次在编辑器中通常是点击“编译”或“Typeset”按钮两次。如果还不行尝试删除所有辅助文件.aux,.out,.log,.toc,.lof,.lot等但保留.tex和.bib源文件再重新编译两次。大多数现代LaTeX编辑器如TeXstudio, VS Code with LaTeX Workshop都有“清理辅助文件”和“重新编译”的功能。6.2 排版效果不如预期公式编号位置不对比如跑到下一行原因公式太长一行放不下公式和编号。解决使用multline环境来处理超长公式。或者使用\begin{split}环境需在equation环境内部进行手动换行和局部对齐这样整个equation环境仍然只有一个编号。\begin{equation} \begin{split} \text{非常非常长的公式左半部分} \text{第一部分} \\ \quad \text{第二部分} \\ \quad \text{第三部分现在编号在中间行右侧} \end{split} \label{eq:long} \end{equation}注意split环境不独立使用必须嵌套在equation或其他显示数学环境内且整个split结构只有一个编号通常出现在中间行或最后一行取决于文档类设置。公式与周围文字间距过大或过小原因LaTeX 默认的间距设置可能在某些情况下不理想。amsmath宏包提供了一些命令微调。解决可以在公式环境的前后使用\vspace命令手动调整垂直间距但这通常是最后的手段。更优雅的方法是检查公式是否包含了过大的符号如分式、积分号并考虑使用\displaystyle或\textstyle来调整符号大小或者使用\medskip,\smallskip等命令。6.3 大型文档的性能与维护优化当论文达到数十页、包含上百个公式时编译速度和引用管理会成为问题。增量编译与外部化问题每次修改一个字符都要重新编译整个文档包括所有复杂的公式速度很慢。解决使用\includeonly{当前章节文件}命令只编译你正在撰写的章节大幅提升速度。定稿时再移除该命令进行全编译。对于包含大量TikZ图形或复杂pgfplots图表的文档可以考虑使用\usepgfplotslibrary{external}和\tikzexternalize命令将图表预编译为PDF后续编译直接插入速度极快。标签命名体系问题标签\label{eq:1},\label{eq:2}毫无意义后期维护困难。解决建立并严格遵守一套命名体系。例如eq:intro_newton引言中的牛顿公式eq:chap2_main_theorem第二章主定理eq:sec3_1_derivation_step1第三章第一节推导第一步fig:system_overview系统概览图tab:experiment_results实验结果表 这样的标签名让你在写作时即使不回头看也能清晰知道在引用什么极大降低了心智负担和出错概率。使用版本控制对于重要的论文、书籍务必使用Git等版本控制系统进行管理。每次大的修改完成一节、修改一个核心公式都做一次提交。这不仅能备份你的工作还能在引入错误时轻松回退到之前的稳定版本。.gitignore文件应忽略所有生成的辅助文件*.aux,*.log,*.pdf等只跟踪源文件.tex,.bib,.sty等。掌握LaTeX的公式编号远不止是记住几个\begin{equation}和\label命令。它关乎一种结构化的、可维护的写作思维。从选择合适的环境到设置编号体系再到智能引用和问题排查每一步都体现着将内容与形式分离的哲学。开始时会觉得有些繁琐但一旦习惯你会发现它带来的秩序感和效率提升会让你在应对复杂的学术写作时更加从容。最重要的是它让你从排版杂务中解放出来真正聚焦于公式背后的思想和逻辑。