ich habe einen Beweis und möchte ihn mit einer Fallunterscheidung abschließen.
Leider wird das qed-Symbol danach in eine Leerzeile gerückt.
Ich würde mir aber wünschen, dass es in der letzten cases-Zeile ist.
Hier ein MWE:
\documentclass[ngerman, fontsize=11pt, DIV=15, BCOR = 10mm, parskip=half-, twoside]{scrartcl}
\usepackage{babel}
\usepackage{amsthm}
\usepackage{amsmath}
\begin{document}
\begin{proof}
Der Beweis endet erst wenn
\[
\begin{cases}
a, &\text{ alles erledigt ist } \\
b, &\text{ niemand mehr kann.}
\end{cases}
\]
\end{proof}
\end{document}
Danke sehr.
Nun hatte ich leider den Fehler gemacht und nicht mehr drauf geachtet, dass ich das gar nicht in einer Proof-Umgebung habe, sondern in einer eigenen Umgebung.
\documentclass[ngerman, fontsize=11pt, DIV=15, BCOR = 10mm, parskip=half-, twoside]{scrartcl}
\usepackage{babel}% sonst ist Option ngerman bei \documentclass sinnlos
\usepackage{amsthm}
\usepackage{amsmath}
\usepackage{chngcntr}
\crefname{satz}{Satz}{Sätze}
\counterwithin{algocf}{subsection}
\theoremstyle{satz}
\newtheorem{XsatzX}[algocf]{Satz}
\newenvironment{satz}
{\renewcommand{\qedsymbol}{\zeichen}%
\pushQED{\qed}\begin{XsatzX}}
{\popQED\end{XsatzX}}
\crefname{XsatzX}{Satz}{Sätze}
\begin{document}
\begin{satz}
Der Beweis endet erst wenn
\[
\begin{cases}
a, &\text{ alles erledigt ist } \\
b, &\text{ niemand mehr kann.}
\end{cases}
\]
\end{satz}
\end{document}
Der Code ist leider absolut nicht kompilierbar. Nachdem ich die beiden fehlenden Pakete \usepackage{cleveref}\usepackage{algorithm2e} (algorithm2e ist eher geraten, kann sein, dass auch noch andere Pakete algocf bereitstellen) hinzugefügt hatte, bekam ich noch immer Fehler, da \theoremstyle{satz} und \zeichen standardmäßig nicht definiert sind. Also habe ich aufgegeben.
Versuch doch bitte, das Codebeispiel kompilierbar zu machen. Mit dem "LaTeX-Ausgabe"-Knopf hier im Forum ist das ja sogar ganz einfach nachzuprüfen.
Wenn die beiden von MoeWe angegebenen Pakete eingefügt und der fehlende Befehl \zeichen definiert wurden, funktioniert auch dein Beispiel mit \mbox{\qedhere}.
\documentclass[ngerman, fontsize=11pt, DIV=15, BCOR = 10mm, parskip=half-, twoside]{scrartcl}
\usepackage{babel}% sonst ist Option ngerman bei \documentclass sinnlos
\usepackage{amsthm}
\usepackage{amsmath}
\usepackage{chngcntr}
\usepackage{cleveref}\usepackage{algorithm2e}
\crefname{satz}{Satz}{Sätze}
\counterwithin{algocf}{subsection}
\newcommand{\zeichen}{\texttt{qed}}
\theoremstyle{satz}
\newtheorem{XsatzX}[algocf]{Satz}
\newenvironment{satz}
{\renewcommand{\qedsymbol}{\zeichen}%
\pushQED{\qed}\begin{XsatzX}}
{\popQED\end{XsatzX}}
\crefname{XsatzX}{Satz}{Sätze}
\begin{document}
\begin{satz}
Der Beweis endet erst wenn
\[
\begin{cases}
a, &\text{ alles erledigt ist } \\
b, &\text{ niemand mehr kann.}\mbox{\qedhere}
\end{cases}
\]
\end{satz}
\end{document}