Mit »
xparse« lässt sich eine Umgebung für eine Gleichung konstruieren, die nur verwendet werden muss, falls die Gleichung den Abschluss eines Beweises darstellt.
\documentclass[parskip=half,ngerman]{scrartcl}
\usepackage[T1]{fontenc}
\usepackage{selinput}
\SelectInputMappings{
adieresis={ä},
germandbls={ß}
}
\usepackage{babel}
\usepackage{mathtools}
\usepackage{amsthm}
\usepackage{xparse}
\DeclareDocumentEnvironment{proofeqn}{}{\[}{\qedhere\]}
\begin{document}
\begin{proof}[Beweis der Machbarkeit]
\begin{proofeqn}
\sum_{k=1}^{n} k = \frac{n(n+1)}{2}
\end{proofeqn}
\end{proof}
\end{document}
Ähnlich lässt sich das auch über einen Patch für
\[ … \] mit »
etoolbox« machen. Dann wäre jedoch jede unnummerierte Gleichung betroffen, die damit gesetzt wird. Als Alternative gäbe es dann aber noch die Umgebung
equation*.
\documentclass[parskip=half,ngerman]{scrartcl}
\usepackage[T1]{fontenc}
\usepackage{selinput}
\SelectInputMappings{
adieresis={ä},
germandbls={ß}
}
\usepackage{babel}
\usepackage{mathtools}
\usepackage{amsthm}
\usepackage{etoolbox}
\pretocmd{\]}{\qedhere}{}{}
\begin{document}
\begin{proof}[Beweis der Machbarkeit]
\[
\sum_{k=1}^{n} k = \frac{n(n+1)}{2}
\]
\end{proof}
\end{document}
Bei Umgebungen für Theoreme und Ähnliches bietet »
ntheorem« jedoch mehr Möglichkeiten.