LaTeX中定理与定义如何分别独立编号？

Question

在LaTeX中撰写数学类文档时，常需定义定理、引理、定义、推论等环境。一个常见问题是：如何让“定理”和“定义”分别拥有独立的编号序列？例如，期望输出“定理1.1”、“定义1.1”、“定理1.2”、“定义1.2”，而非共用同一计数器导致编号混杂。默认使用 `\newtheorem{theorem}{Theorem}[section]` 和 `\newtheorem{definition}{Definition}[section]` 会按章节编号，但若不加控制，二者可能共享计数器或相互干扰。如何正确使用 `\newtheorem` 命令，使定理与定义各自独立计数且格式统一，是排版中常见的技术难点。

Answer 1

1. 问题背景与LaTeX中定理环境的基本结构

在撰写数学类文档时，使用LaTeX定义定理、引理、定义、推论等环境是标准实践。这些结构不仅提升文档的专业性，还增强可读性和逻辑层次。然而，一个常见的排版挑战是如何实现不同环境的独立编号机制。

默认情况下，若使用如下代码：

\newtheorem{theorem}{Theorem}[section]
\newtheorem{definition}{Definition}[section]

LaTeX会为theorem和definition各自创建基于章节（[section]）的编号系统。但关键在于：这两个环境是否共享同一个计数器？答案取决于命令的具体参数顺序与依赖关系。

2. 理解 \newtheorem 命令的语法机制

\newtheorem 的完整语法形式为：

\newtheorem{环境名}{标题}[依附计数器]

或

\newtheorem{环境名}[共享计数器]{标题}

• 第一种形式：每个环境拥有独立计数器，按指定层级（如 section）重置；
• 第二种形式：多个环境共享同一计数器，导致交叉递增编号。

例如，若写成：

\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{definition}{Definition}[section]

则 lemma 将与 theorem 共享计数器，而 definition 拥有独立计数器。

3. 实现独立编号序列的技术路径

要实现“定理1.1”、“定义1.1”、“定理1.2”、“定义1.2”的期望输出，必须确保两者不共享计数器，并均以节为单位重置编号。

正确配置方式如下：

\newtheorem{theorem}{定理}[section]
\newtheorem{definition}{定义}[section]

此时，LaTeX将自动生成两个独立的计数器：theorem 和 definition，它们都隶属于 section，并在每一节开始时重置。

4. 验证编号行为：实际输出示例

环境类型	编号输出	说明
定理	定理1.1	第一节第一个定理
定义	定义1.1	第一节第一个定义
定理	定理1.2	第一节第二个定理
定义	定义1.2	第一节第二个定义
定理	定理2.1	第二节第一个定理

该表格展示了独立计数器在跨节场景下的表现，验证了编号系统的正交性。

5. 进阶控制：统一格式与样式定制

尽管编号独立，但视觉风格的一致性同样重要。可通过 amsthm 宏包进一步定义定理类环境的样式：

\usepackage{amsthm}
\theoremstyle{plain}
\newtheorem{theorem}{定理}[section]
\theoremstyle{definition}
\newtheorem{definition}{定义}[section]

其中，\theoremstyle 可选值包括：

• plain：斜体正文，用于定理、引理等；
• definition：正体，强调清晰表达；
• remark：更轻量的格式，适用于注记。

6. 常见错误与调试策略

开发者常犯的错误包括：

1. 误用共享计数器语法，如：\newtheorem{definition}[theorem]{定义}，导致编号串扰；
2. 未加载必要宏包（如 amsthm），引发样式异常；
3. 在多文件项目中，因导言区配置不一致造成编号错乱。

建议通过最小工作示例（Minimal Working Example, MWE）进行隔离测试：

\documentclass{article}
\usepackage{amsthm}
\newtheorem{theorem}{定理}[section]
\newtheorem{definition}{定义}[section]
\begin{document}
\section{引言}
\begin{theorem} 任意三角形内角和为180度。 \end{theorem}
\begin{definition} 连续函数是指极限值等于函数值的映射。 \end{definition}
\end{document}

7. 扩展应用：支持中文与超链接集成

结合 hyperref 与 cleveref 宏包，可实现智能引用与跳转：

\usepackage{hyperref}
\usepackage{cleveref}
\crefname{theorem}{定理}{定理}
\crefname{definition}{定义}{定义}

随后使用 \cref{thm:example} 自动生成带类型标签的链接引用。

8. 架构设计视角：模块化定理环境管理

graph TD A[文档类 article/report] --> B[加载 amsthm] B --> C[定义 theorem 样式] C --> D[声明 newtheorem 环境] D --> E[独立计数器绑定到 section] E --> F[生成定理/定义内容] F --> G[通过 cleveref 引用] G --> H[PDF 输出具语义结构]

此流程图揭示了从底层配置到最终输出的完整链条，体现现代LaTeX工程化的趋势。