IEEE论文LaTeX模板解析（九）| 定理与证明（Theorems and Prroofs）

本文收录于专栏：IEEE论文LaTeX模板解析，本专栏将会围绕IEEE论文LaTeX模板解析持续更新。欢迎点赞收藏+关注！

定理和相关结构（如公理、推论和公例）是以传统的 LaTeX 方式处理的。用户必须首先使用下面的命令来声明结构名称：

\newtheorem{struct_type}{struct_title}[in_counter]

其中，struct_type 是用户为结构体选择的标识符，struct_title 是结构体使用的标题，in_counter 是一个可选的计数器名称，其编号将与结构体编号一起显示，其更新将重置结构体计数器。大多数 IEEE 论文在整篇文章中使用顺序定理编号，因此通常不会指定 in_counter。不过，那些使用 in_counter 的论文通常使用 “节”，这样节号就是每个定理编号的第一部分。定义结构后，可以通过以下方式使用：

\begin{struct_type}[extra_title]
. 
. 
\end{struct_type}

其中 extra_title 是一个可选名称，与结构一起显示。

例如，最常见的定理方法的使用方法如下：

\newtheorem{theorem}{Theorem}

然后根据需要使用以下环境：

\begin{theorem}[Einstein-Podolsky-Rosenberg]

有时，一个结构需要与另一个结构共享计数器。这可以通过使用\newtheorem的另一种形式来实现：

\newtheorem{struct_type}[num_like]{struct_title}

其中，num_like 是现有结构的名称。

IEEE 定理编号的前缀是其定义的章节编号（如 2.5）。这给附录（尤其是用罗马数字编号的附录）带来了困