☰

在证明新环境定义中使用枚举环境的问题

tag-icon • tag-icon lists line-breaking environments theorems
在证明新环境定义中使用枚举环境的问题

我想定义一个简单的环境来包含我的证明，实际上我只是想在最后放一个小方块。所以，我做了这个新的环境定义：

\newenvironment{Proof}{ \flushleft \textbf{PROOF}}{\rule{1ex}{1ex}}

当我使用此环境来包围简单文本时，我会在最后一个字符后立即得到一个小方块。问题是当我包围环境时，enumerate它会添加一个新行并将小方块放在开头。在这种情况下，我的问题是我既不想要新行，也需要边距右端的方块。如果我这样考虑

\newenvironment{Proof}{ \flushleft \textbf{PROOF}}{\begin{flushright} \rule{1ex}{1ex} \end{flushright}}

然后总会添加一个新行。

答案1

amsthm自动将一个框（一个开放的框，但可以重新定义）放在最后一行末尾的右侧proof。如果证明以显示或列表结尾，则\qedhere可以在该环境结束之前使用，将框移动到正确的行。

要在证明标题后的新行上开始枚举列表，请输入如下内容

\begin{proof}
 \leavevmode
 \begin{enumerate}
 ...

文档可通过以下方式获取texdoc amsthm（如果您使用的是基于 tex live 的系统）或通过访问页面并点击“AMS 定理包用户指南”行。

重新定义 qed 盒子，

\renewcommand{\qedsymbol}{...}

更改主校样标题，

\renewcommand{\proofname}{Whatever}

（谢谢，egreg。）

对于一次性变体，只需利用可选参数：

\begin{proof}[Proof of the XYZ theorem]

相关内容