☰

枚举环境中的定理

tag-icon • tag-icon lists enumerate theorems
枚举环境中的定理

虽然我遇到了许多有关定理环境中列表格式的问题，但我找不到任何有关相反问题的材料。

假设我想要一个命题和相应证明的枚举列表（例如，在准备一些证明问题的家庭作业解决方案时）。

代码

\documentclass[12pt,fleqn]{article}
\usepackage{amsmath}

\usepackage{amsthm}
\theoremstyle{plain}
\newtheorem*{proposition}{Proposition}

\begin{document}
\begin{enumerate}
    \item
        \begin{proposition}
            State some proposition.
        \end{proposition}

        \begin{proof}
            Prove the proposition elegantly.
        \end{proof}
\end{enumerate}
\end{document}

生成一个编号项，其第一行为空白，即

1.

   Proposition. Some formal proposition.

   Proof. Prove the proposition elegantly. (Box)

是否有可能删除空白的第一行并获得以下内容？

1. Proposition. Some formal proposition.

   Proof. Prove the proposition elegantly. (Box)

答案1

这又是原贴。如果现在或将来还有人感兴趣，我提出了一个我最终想出的可行解决方案（虽然我不知道它是否可以被视为“最佳实践”），它结合了问题的答案这里和这里。

\usepackage{amsthm}我用更灵活的 ntheorem替换了 amsthm 包\usepackage[amsmath]{ntheorem}以避免额外的换行符，然后proof在其中重新定义一个环境ntheorem，因为它默认不包含环境。

因此，代码

\documentclass[12pt,fleqn]{article}
\usepackage{amsmath}
\usepackage{amsfonts}

\usepackage[amsmath,thmmarks]{ntheorem}
\theoremstyle{plain}
\theoremseparator{.\;}

\theoremheaderfont{\scshape}
\newtheorem*{proposition}{Proposition}

\theoremheaderfont{\itshape}
\theorembodyfont{\normalfont}
\theoremsymbol{\ensuremath\square}
\newtheorem*{proof}{Proof}

\begin{document}
\begin{enumerate}
    \item
        \begin{proposition}
            State some proposition.
        \end{proposition}

        \begin{proof}
            Prove the proposition elegantly.
        \end{proof}
\end{enumerate}
\end{document}

输出我想要的结果。

相关内容