我经常遇到以下情况：我正在证明一个由多个子声明组成的声明，我使用enumerate同名包提供的环境在列表中列举了这些子声明。然后，证明也采用这种列表的形式。在证明的末尾，墓碑（又名 QED 符号）垂直偏离此列表最后一项的最后一行。下面是一个最小的工作示例来查看此行为：
\documentclass{article}
\usepackage{enumerate}
\usepackage{amsthm}
\begin{document}
\begin{proof}
\begin{enumerate}
\item Problem
\end{enumerate}
\end{proof}
\end{document
我不喜欢这种行为，并希望墓碑与最后一项的最后一行垂直对齐。到目前为止，我已经使用了一些快速而肮脏的解决方案（使用 negative \vspace），但现在我遇到了一种不起作用的情况（因为分页）。所以我正在寻找一个恰当的解决方案。
我看过了这个问题，这是网站算法在我输入这段内容时向我建议的，但我不喜欢那里建议的快速而粗糙的方式（并且无法以令人满意的方式实现 egreg 的答案）。
答案1
ntheorem如果你加载选项，则没有问题[amsthm,thmmarks]：
\documentclass{article}
\usepackage{enumerate}
\usepackage[thmmarks, amsthm]{ntheorem}
\begin{document}
\begin{proof}
\begin{enumerate}
\item Problem A.
\item Problem B.
\item Problem C.
\end{enumerate}
\end{proof}
\end{document}
