如何在LaTeX中正确使用\newtheorem命令？

Question

**问题：** 在LaTeX中使用`\newtheorem`命令定义定理环境时，常常遇到编号混乱或格式不符合预期的问题。例如，如何正确设置定理环境的编号依附于章节或小节？如何保证多个不同环境（如定义、定理、引理）共享同一计数器或各自独立？此外，使用`\newtheorem`时为何有时出现“LaTeX Error: Environment theorem undefined”错误？如何解决？请结合具体示例说明`\newtheorem`的正确用法及其常见误区。

Answer 1

一、LaTeX 中 `newtheorem` 的基本用法

`newtheorem` 是 LaTeX 提供的一个命令，用于定义定理类环境（如定理、定义、引理等）。其基本语法如下：

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

例如，定义一个定理环境：

\newtheorem{theorem}{Theorem}

这将创建一个名为 `theorem` 的环境，并在文档中显示为 “Theorem 1.”、“Theorem 2.” 等。

二、设置编号依附于章节或小节

要使定理编号随章节或小节变化，可以在 `\newtheorem` 命令中指定父级计数器。例如：

\newtheorem{theorem}{Theorem}[section]

此时定理编号将采用章节编号格式，如“1.1”、“1.2”表示第一章第一节下的定理。

若希望按章节而非小节编号，则使用 `[chapter]`（适用于 book 类文档）或 `[section]`（适用于 article 类文档）。

三、多个环境共享或独立计数器

若需要多个环境（如定理、引理、定义）共享同一计数器，可使用以下语法：

\newtheorem{definition}[theorem]{Definition}

上述命令表示 `definition` 使用与 `theorem` 相同的计数器。

如果希望它们各自独立编号，则分别定义即可：

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

这样每个环境都会有自己的独立编号。

四、常见错误：“Environment theorem undefined” 分析与解决

该错误通常出现在尝试使用未定义的环境时。可能原因包括：

• 忘记加载 `amsthm` 宏包。
• 拼写错误导致环境名不一致。
• 在 `\begin{theorem}` 之前没有正确调用 `\newtheorem`。

解决方案如下：

1. 确保在导言区加载了 `amsthm` 宏包：\usepackage{amsthm}
2. 检查 `\newtheorem` 是否正确定义了所需环境。
3. 确认环境名称大小写一致且无多余空格。

五、示例：综合使用与配置

以下是一个完整的示例，展示如何定义多个定理环境并控制其编号方式：

\documentclass{article}
\usepackage{amsthm}

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

\begin{document}

\section{Introduction}
\begin{theorem}
This is a theorem.
\end{theorem}

\begin{lemma}
This is a lemma sharing the theorem counter.
\end{lemma}

\begin{definition}
This is a definition with its own counter.
\end{definition}

\end{document}
    

输出结果如下表格所示：

环境	编号形式	说明
Theorem	1.1, 1.2	依附于 section，独立计数器
Lemma	1.1, 1.2	共享 Theorem 的计数器
Definition	1.1, 1.2	依附于 section，独立计数器

六、进阶技巧与误区总结

以下是几个容易被忽视但关键的点：

• 环境命名冲突： 不要使用 LaTeX 已有的环境名（如 figure、table）作为自定义环境名。
• 计数器复位问题： 若希望每次新章节开始时重置定理计数器，需使用 `\counterwithin` 或 `\numberwithin` 命令。
• 跨文件管理： 在大型项目中，建议将所有 `\newtheorem` 命令统一放在 `.sty` 样式文件中，便于维护。

流程图示意如下：

graph TD
A[开始] --> B[加载 amsthm 包]
B --> C{是否定义新环境?}
C -->|是| D[使用 newtheorem 命令]
D --> E[指定编号依附关系]
E --> F[测试编译]
C -->|否| G[直接使用默认 theorem 环境]
F --> H[结束]
G --> H