枚举证明环境中证明结束的符号

Question

使用如下的简单证明环境，

\documentclass{article}
\usepackage{amsmath, amsthm}
\vspace{-5pt}
\begin{document}
    \begin{proof}~\\
            \item First line
            \item Lastline ................\end{proof}
\end{document}

证明结束的符号与证明的最后一行在同一行。

如果在证明环境中有一个枚举环境，则证明结束的符号只会出现在下一行：

\documentclass{article}
\usepackage{amsmath, amsthm}
\vspace{-5pt}
\begin{document}
\begin{proof}~\\
    \begin{enumerate}
        \item First line
        \item Last line ......................
    \end{enumerate}
\end{proof}
\end{document}

是否可以修改具有枚举环境的证明环境，以便证明结束的符号与证明的最后一行位于同一行？

Answer 1

正如@Mico 在他的评论中提到的，使用\qedhere。如果此行在文本块的右边框之前结束，它将与列表中的最后一行对齐。如果不是，则 的符号\qed将出现在项目文本下方。

\documentclass{article}
\usepackage{amsmath, amsthm}
\usepackage{lipsum}


\begin{document}
    \begin{proof}~
\item First line
\item \lipsum[1][1-3] And here is the last line \qedhere
    \end{proof}
    
    \begin{proof}~
\item First line
\item \lipsum[66]   \qedhere
    \end{proof}
\end{document}