☰

是否有“endproof”包？

tag-icon • tag-icon packages positioning theorems amsthm
是否有“endproof”包？

您可能熟悉端浮点包，它会将所有图形和表格移动到文档的末尾。

proof是否有类似的软件包可以在环境中实现此类结果（如阿姆斯特丹包)？例如，以下块：

定理1：一些精彩的表述。

证明：一些令人惊奇的证据。

（当使用该包时）在文本中会出现如下内容：

定理1：一些精彩的表述。

证明：参见第 P 页。

然后页面 P 将包含如下内容：

定理 1 的证明第 XXX 页：一些令人惊奇的证据。

答案1

您可以尝试使用显示的代码在这个答案中\proofatend但改变的定义

\long\def\proofatend#1\endproofatend{%
  \proof See page \pageref{pr\pat@label}.\endproof
  \edef\next{\noexpand\begin{proof}[Proof of \pat@label]\noexpand\label{pr\pat@label}}%
  \toks\numexpr\prooftoks+\value{proofcount}\relax=\expandafter{\next#1\end{proof}}
  \stepcounter{proofcount}}

这将放在Proof. See page nnn.语句后面。

如果你喜欢以环境形式编写证明，那么也可以加载环境\proofatend封装并写入，而不是之前的定义：

\NewEnviron{proofatend}
  {\proof See page \pageref{pr\pat@label}.\endproof
  \edef\next{\noexpand\begin{proof}[Proof of \pat@label]\noexpand\label{pr\pat@label}}%
  \toks@=\expandafter{\next}%
  \global\toks\numexpr\prooftoks+\value{proofcount}\relax=
    \expandafter{\the\expandafter\toks@\BODY\end{proof}}%
  \stepcounter{proofcount}}

然后你可以将证明写成

\begin{lem}\label{addition}
$1+1=2$
\end{lem}
\begin{proofatend}
It's quite clear.

Here's a paragraph break.
\end{proofatend}

相关内容