LaTeX Forum

Ah super, vielen lieben Dank für Deine Antwort!

\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}

\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}

Mit »[url=http://ctan.org/pkg/xparse]xparse[/url]« lässt sich eine Umgebung für eine Gleichung konstruieren, die nur verwendet werden muss, falls die Gleichung den Abschluss eines Beweises darstellt.
[code]\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}[/code]
Ähnlich lässt sich das auch über einen Patch für [tt][color=darkred]\[ … \][/color][/tt] mit »[url=http://ctan.org/pkg/etoolbox]etoolbox[/url]« machen. Dann wäre jedoch jede unnummerierte Gleichung betroffen, die damit gesetzt wird. Als Alternative gäbe es dann aber noch die Umgebung [tt][color=blue]equation*[/color][/tt].
[code]\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}[/code]
Bei Umgebungen für Theoreme und Ähnliches bietet »[url=http://ctan.org/pkg/ntheorem]ntheorem[/url]« jedoch mehr Möglichkeiten.

\documentclass{article}

\usepackage {amsthm}

\begin{document}
\begin{proof}
\[1=1\]
\end{proof}
\end{document}

Danke für die Antwort!

Sorry, dass bei meinem ersten Beitrag ein Minimalbeispiel fehlte. Hier ist es:
[code]\documentclass{article}

\usepackage {amsthm}

\begin{document}
\begin{proof}
\[1=1\]
\end{proof}
\end{document}[/code]
Das Beispiel von Dir funktioniert genau so, wie ich es mir vorgestellt hatte (d.h. das qed-Symbol auf derselben Zeile wie die Gleichung). Der Unterschied liegt offensichtlich daran, ob man amsthm verwendet oder ntheorem.
Ist es möglich, das Problem auch mit amsthm zu lösen?

\documentclass{scrartcl}

\usepackage[amsthm,thmmarks]{ntheorem}

\begin{document}
\begin{proof}
\[1=1\]
\end{proof}
\end{document}

Da Du kein [m][/m] zeigst, kann das folgende Beispiel Dir weiterhelfen oder auch nicht.

[code]\documentclass{scrartcl}

\usepackage[amsthm,thmmarks]{ntheorem}

\begin{document}
\begin{proof}
\[1=1\]
\end{proof}
\end{document}[/code]

\begin{proof}
\[1=1\]
\end{proof}

\begin{proof}
\[1=1\qedhere\]
\end{proof}

Hallo allerseits,
ich habe eine kleine Frage.
Wenn ich schreibe
[code]
\begin{proof}
\[1=1\]
\end{proof}
[/code]
, dann habe ich das Problem, dass das qed-Symbol erst eine Zeile weiter unten als die Formel steht. Alternativ könnte ich auch schreiben
[code]
\begin{proof}
\[1=1\qedhere\]
\end{proof}
[/code]
, was mein Problem löst.
Nun wäre ich froh, wenn ich mir eine Beweisumgebung basteln könnte, bei der ich nicht jedesmal \qedhere schreiben müsste, wenn ich in der letzten Beweiszeile eine Gleichung habe, sondern welche mir das automatisch macht.

Hat da jemand eine Idee?