为什么证明使用 trivlist？

Question

考虑以下证明环境的定义：

\renewenvironment{proof} % so we can use wrap fig in proofs
    {\noindent\emph{Proof.}} % close enough?
    {\qed\vskip\topsep} % close enough?

事实上，这足够接近了吗？为什么 amsthm 要使用一些像我这样的凡人永远无法理解的可怕魔法？为什么 LNCS 要使用不同但同样可怕的魔法？这个问题可以回答吗？

Answer 1

Trivlist 处理了许多简单版本无法处理的事情，例如

xxx
\begin{proof}
zzz
\end{proof}

xxx
\begin{proof}

zzz
\end{proof}

你需要正确处理结束上一段，你需要处理证明以空行或嵌套列表开头的情况，你需要避免在证明标题和实际证明之前。

您需要处理 QED 标记的定位，包括以列表或显示数学结尾的证明等棘手的情况。