案例环境最后一行中的 QED 符号

Question

我知道有好几个主题都与此有关，但不知何故，没有人回答我的问题。因此，我以案例环境结束证明，并希望在最后一行末尾设置 QED-Square。但要么

1. 设置在最后一个符号之后（但在正确的行中）或
2. 在新行中（但在正确的位置）。

这是我的 MWE，结果为案例 1。如果我输入

 \qedhere

在执行 \end{cases} 命令之前，结果为情况 2。

\documentclass{article}

\usepackage[german, linesnumbered, boxruled]{algorithm2e}
\usepackage[utf8]{inputenc}
\usepackage[german]{babel}
\usepackage[T1]{fontenc}
\usepackage{empheq}
\usepackage{amsthm}

\begin{document}

There is

\begin{proof}
    this proof for
    \[
    \begin{cases}
        a \\
        b. 
    \end{cases}
    \]
    \end{proof}
\end{document}

Answer 1

我不确定我是否会这么做，但我猜你想

\documentclass{article}

\usepackage[german, linesnumbered, boxruled]{algorithm2e}
\usepackage[utf8]{inputenc}
\usepackage[german]{babel}
\usepackage[T1]{fontenc}
\usepackage{empheq}
\usepackage{amsthm}

\begin{document}

There is

\begin{proof}
    this proof for
    \[
    \begin{cases}
        a &xxx\\
        b.&yyy
    \end{cases}
    \]

\vspace{-1.2\baselineskip}
\mbox{}\qedhere
    \end{proof}

\noindent X\dotfill X % just for testing
\end{document}

Answer 2

您可以稍微更改代码https://tex.stackexchange.com/a/282772/4427

\documentclass[twocolumn]{article}
\usepackage{amsmath}
\usepackage{amsthm}

\begin{document}

\begin{proof}
this proof for
\[
\begin{gathered}[b]
\begin{cases}
  a \\
  b.
\end{cases}\\[-1.2\normalbaselineskip]\mathstrut
\end{gathered}\qedhere
\]
\end{proof}

\end{document}

注意。twocolumn只是为了制作一张较小的图片，以更好地显示对齐。

无论如何，最简单的方法是避免这种情况，并用一些解释性词语完成证明。