是否可以以一种很好的方式在证明/备注环境中使用枚举/逐项列举环境?

是否可以以一种很好的方式在证明/备注环境中使用枚举/逐项列举环境?

我希望在证明/备注环境中使用枚举/逐项列举环境,但是当我这样做时,第一个数字/项目符号与右侧缩进的单词“备注”/“证明”位于同一行,并且所有后续数字/项目符号都在下面很好地对齐。

我觉得它看起来有点笨拙。我尝试在 \begin{proof} 后立即添加双反斜杠,但有时这意味着我在页面底部有单词 Proof,而在下一页上开始出现项目符号,这看起来很糟糕。有办法解决这个问题吗?

答案1

它的工作原理如下amsthm(引自 ams 作者常见问题解答):

“当一个定理(证明)以列表开始时,我如何防止第一项与定理(证明)标题一起运行?”

\begin{environment}\leavevmode
\begin{enumerate}\item ...

这将在标题后的下一行开始列表。

答案2

我通常写

\begin{proof} \hfill
  \begin{enumerate}
    \item
  \end{enumerate}
\end{proof}

答案3

您可以使用enumerate没有paralist包,像这样:

\begin{enumerate}[\hspace{0.25cm} 1. ] 
\item $\nabla f(x^)=0$ 
\item $\nabla^2 f(x^)>0$ (positiva definida) 
\end{enumerate}

答案4

我使用的环境如下:

\usepackage{paralist}

\begin{proof}
Seja $f: R^n \mapsto R$ duas vezes diferenci\'avel sobre um dom\'inio $S \in R^n$. Se $x^* \in S$ \'e tal que
\vspace{0.2cm}
\begin{compactenum}[\hspace{0.25cm} 1. ]
\item $\nabla f(x^*)=0$
\item $\nabla^2 f(x^*)>0$ (positiva definida)
\end{compactenum}
\vspace{0.2cm}
ent\~ao $x^*$ \'e um m\'inimo local forte de $f$.

\end{proof}

排版输出

效果很好。

相关内容