amsthm 的 \qedhere 在以显示的案例数组结尾的证明中

Question

在下面示例中，是否有合理的方法使生成的 QED 框\qedhere与环境的最后一行对齐？cases

\documentclass{article}
\usepackage{amsmath}
\usepackage{amsthm}
\begin{document}
\begin{proof}
This is a proof ending in a displayed \verb|cases| envirnoment, and without
the \verb|\qedhere|.
  \[
  \begin{cases}
  1, & \text{in the first case;} \\
  2, & \text{in the second case;} \\
  3, & \text{in the third case,} 
  \end{cases}
  \]
\end{proof}

\begin{proof}
This is a proof ending in a displayed \verb|cases| envirnoment, and with
the \verb|\qedhere| at the very end.
  \[
  \begin{cases}
  1, & \text{in the first case;} \\
  2, & \text{in the second case;} \\
  3, & \text{in the third case,} 
  \end{cases} 
  \qedhere
  \]
\end{proof}

\begin{proof}
This is a proof ending in a displayed \verb|cases| envirnoment, and with
the \verb|\qedhere| in the last line of that.
  \[
  \begin{cases}
  1, & \text{in the first case;} \\
  2, & \text{in the second case;} \\
  3, & \text{in the third case,} \qedhere
  \end{cases} 
  \]
\end{proof}
\end{document}

在显示环境中结束的证明gathered或任何-ed变体中也会发生同样的事情。

Answer 1

这是可以做到的，但并不简单。

取回这个.tex文件及其输出。它说明了许多情况，在这些情况下，某些东西（包括非证明）的末尾需要一个标记，但是它并没有实现所需的功能。其中一个例子展示了当是证明结束显示的最后一个元素\qedhere时，如何将 qed 框“移动”到最后一行。cases

对此（以及此文件所说明的其他情况）的请求已经足够多，以至于在 amsmath 下次大修时将会考虑这种情况。然而，这至少要到 2013 年才会发生，甚至可能更晚。