数学证明中列举的特殊

Question

许多数学证明都是这样的

定理：以下陈述是等价的：

（1）一个

（2）b

（3）c

证明。（1）——>（2）论证

（2）-->（3）论点

（3）——>（1）论点

我可以按如下方式手动执行此操作：

\begin{enumerate}[itemindent=50pt]
\item[(1)$\to$ (2)]
\item[(2)$\to$ (3)]
\item[(3)$\to$ (1)]
\end{enumerate}

有没有专业的方法可以达到这个目的？

Answer 1

以下 MWE 包含使用该enumite包的方法的稍微自动化一些的版本：

\documentclass{article}
\usepackage{enumitem}

\begin{document}

\begin{enumerate}[label={(\arabic*) $\to$ \addtocounter{enumi}{1}(\arabic*)}\addtocounter{enumi}{-1}]
\item first item
\item second item
\item[\refstepcounter{enumi}(\number\value{enumi}) $\to$ (1)] last item
\end{enumerate}

\end{document}

Answer 2

对我来说，你所说的“特殊枚举”看起来很像description环境的候选者。

请注意，通过编写\ref{item:thmeq:a}而不是硬编码交叉引用(1)，您可以为自己提供一些额外的灵活性，以防您以后决定使用a.、b.和c.而不是(1)、(2)和(3)来枚举定理中的项目。

如果您想要更紧凑地排版enumerateand/ordescription环境，请添加noitemsep（表示项目之间没有额外空间）或nosep（与 相同noitemsep，但整个环境上方和下方也没有额外空间）作为额外选项。例如，\begin{enumerate}[label=\textup{(\arabic*),nosep}]。

\documentclass{article}
\usepackage{amsthm} % or: \usepackage[amsthm]{ntheorem}
\newtheorem{theorem}{Theorem}
\usepackage{enumitem} % for on-the-fly modifications of 'enumerate' and 'description' environments
\begin{document}

\begin{theorem}\label{thm:eq}
The following three statements are equivalent.
\begin{enumerate}[label=\textup{(\arabic*)}]
\item a \label{item:thmeq:a}
\item b \label{item:thmeq:b}
\item c \label{item:thmeq:c}
\end{enumerate}
\end{theorem}

\begin{proof}[Proof of Theorem \ref{thm:eq}]
The equivalence of the statements is shown as follows.
\begin{description}[font=\mdseries]
\item[$\ref{item:thmeq:a}\Rightarrow\ref{item:thmeq:b}$] argument x   
\item[$\ref{item:thmeq:b}\Rightarrow\ref{item:thmeq:c}$] argument y  
\item[$\ref{item:thmeq:c}\Rightarrow\ref{item:thmeq:a}$] argument z
\end{description}
\end{proof}

\end{document}