【LaTeX】IEEE模板中定理、公理和证明语句的使用

---

一、前言

正如题目所言，笔者第一次使用IEEE的会议LaTex模板，涉及到定理和证明语句时之前的写法不可行，于是笔者研究了模板中自带的文件《How to Use the IEEEtran LATEX Class》文件中XII. THEOREMS AND PROOFS一节，将学习成果记录如下。

---

二、原文

三、如何使用

用户必须首先通过以下命令声明结构名

\newtheorem{struct_type}{struct_title}[in_counter]

其中，struct_type是用户为结构选择的标识符，struct_title是指结构的标题，in_counter是计数器的可选名称，其编号将与结构编号一起显示，其更新将重置结构计数器。
大多数IEEE论文在整个工作中都使用序列化定理编号，因此通常不指定in_count。
在定义该结构之后，可以通过以下语句使用该结构

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

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

1. 定理 theorem

\newtheorem{theorem}{\bf Theorem}
\begin{theorem}\label{thm1}
	here is a theorem.
\end{theorem} 

\begin{theorem}[Einstein-Podolsky-Rosenberg]\label{thm2}
	here is another theorem.
\end{theorem} 

解释：使用\newtheorem{theorem}{\bf Theorem}定义了定理结构，其中theorem为\begin和\end中填写的标识符。\bf Theorem是结构的标题，比如上述代码就表示我想用加粗的Theorem作为我的标题，你也可以添加其他的格式规范，比如斜体。[Einstein-Podolsky-Rosenberg]可加可不加，给定理起个名字。

PS：如果想要在定理的序列号编号前添加章节编号，请使用如下语句。

PS：如果有一个结构与另一个结构共享其计数器的需求，可自行研究原文。

2. axioms和其他结构

\newtheorem{axioms}{\bf Axioms}
\begin{axioms}\label{a1}
	here is an axioms.
\end{axioms} 

\begin{axioms}\label{a2}
	here is another axioms.
\end{axioms} 

同理，只需要修改axioms、Axioms和\begin{axioms}为对应的名称就行了。

3. 证明 proof

\newtheorem{thm}{\bf Theorem}
\begin{thm}\label{thm1}
	here is a theorem.
\end{thm} 
\begin{IEEEproof}[Proof of Theorem \ref{thm1}]
	here is detail proof of theorem. xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
\end{IEEEproof}
\renewcommand{\IEEEQED}{\IEEEQEDopen}
\begin{IEEEproof}[Proof of Theorem \ref{thm1}]
	here is detail proof of theorem in open form.xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
\end{IEEEproof}

---

四、总结

以上就是今天要分享的内容，本文介绍了如何使用这些基本结构，更为高级的自定义操作待读者进一步开发。
如果本文能给你带来帮助的话，点个赞鼓励一下作者吧！😆

五、参考

[1] IEEE官网：https://mirrors.bfsu.edu.cn/CTAN/macros/latex/contrib/IEEEtran/IEEEtran_HOWTO.pdf