在没有对齐标记 (&) 的对齐环境中，\qedhere 的奇怪行为

Question

我注意到align*（或者只是align）环境中存在一些奇怪的行为。代码

\begin{proof}
  \begin{align*}
    C=1 \qedhere
  \end{align*}
\end{proof}`

把墓碑与方程重叠，而

\begin{proof}
  \begin{align*}
    C &=1 \qedhere
  \end{align*}
\end{proof}`

正确地将墓碑放在右边。

是什么导致了这种奇怪的行为？这里的 & 符号到底起什么作用？

Answer 1

注释解释了为什么align只有当需要对齐时才应使用环境。否则，您就应该使用环境gather。

我并不是推荐这样做，但是，如果您坚持使用环境align而不真正调整任何内容，那么您可以在&之前添加\qedhere：

\begin{proof}
  \begin{align*}
    C=1 &\qedhere
  \end{align*}
\end{proof}

或在环境结束后align。当然，这会导致\qed以下行中的符号

\begin{proof}
  \begin{align*}
    C=1
  \end{align*}\qedhere
\end{proof}

如果你不喜欢\qed后续行的符号，可以\belowdisplayskip按如下方式调整：

\begin{proof}\belowdisplayskip=-12pt
  \begin{align*}
    C=1
  \end{align*}\qedhere
\end{proof}

Answer 2

如果这对任何人有帮助，我已经\qedhere粘在了等式的最后几个字符上，无论添加\pushQED/\popQED、更改align*还是gather*任何其他建议。通过在amsmath之前加载来修复它amsthm。