Sätze und Beweise in LaTeX mit amsthm
Deklarieren Sie jede Art in der Präambel mit \newtheorem{theorem}{Theorem} und schreiben Sie dann im Hauptteil \begin{theorem} ... \end{theorem}. Die Umgebung proof aus amsthm gibt „Proof.“ aus und endet mit einem kleinen Quadrat.
Einen Satz deklarieren und verwenden
\newtheorem{name}{Heading} in der Präambel erzeugt eine Umgebung namens name, deren Überschrift als „Heading“ mit einer Nummer ausgegeben wird. Laden Sie außerdem amsthm; es stellt die Umgebung proof und die Deklarationen mit Stern bereit.
Ein deklarierter Satz mit Beweis
\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem{theorem}{Theorem}
\begin{document}
\begin{theorem}
The sum of two even numbers is even.
\end{theorem}
\begin{proof}
Let $a = 2k$ and $b = 2m$. Then $a + b = 2(k + m)$,
which is even.
\end{proof}
\end{document}
Der Text eines Satzes wird kursiv gesetzt. Der Beweis endet mit einem Quadrat am rechten Rand.
Namen, Labels und Verweise
Ein optionales Argument nach \begin{theorem} gibt dem Satz einen Namen, der in Klammern ausgegeben wird. Setzen Sie \label in die Umgebung, um mit \ref darauf zu verweisen.
Ein benannter Satz, ein Lemma und ein Verweis
\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\begin{document}
\begin{lemma}\label{lem:square}
If $n$ is odd, then $n^2$ is odd.
\end{lemma}
\begin{theorem}[Erika Mustermann, 2026]\label{thm:main}
There are infinitely many odd squares.
\end{theorem}
\begin{proof}
Use Lemma~\ref{lem:square} for every odd $n$.
\end{proof}
Theorem~\ref{thm:main} is easy to remember.
\end{document}
Mehrere Arten von Aussagen
Deklarieren Sie so viele Arten, wie Sie brauchen: Satz, Lemma, Proposition, Korollar, Definition, Bemerkung, Beispiel. In Scissor LaTeX hat jede Art ihren eigenen Zähler.
Definition, Proposition und Bemerkung
\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem{definition}{Definition}
\newtheorem{proposition}{Proposition}
\newtheorem{remark}{Remark}
\begin{document}
\begin{definition}[Even number]
An integer $n$ is \emph{even} if $n = 2k$ for an integer $k$.
\end{definition}
\begin{proposition}
The number 44 is even.
\end{proposition}
\begin{remark}
Zero is even as well.
\end{remark}
\end{document}
Sätze ohne Nummer
\newtheorem* (aus amsthm) deklariert eine Art ohne Nummer.
Eine Aussage ohne Nummer mit \newtheorem*
\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem*{conjecture}{Conjecture}
\begin{document}
\begin{conjecture}
Every even number greater than 2 is the sum of two primes.
\end{conjecture}
\end{document}
Nummerierung und Stile
In einer TeX-Installation hat \newtheorem zwei optionale Argumente für die Nummerierung, und amsthm bietet \theoremstyle. Das macht Scissor LaTeX damit:
| Sie schreiben | TeX-Installation | Scissor LaTeX |
|---|---|---|
\newtheorem{theorem}{Theorem} | Theorem 1, 2, 3 | Funktioniert |
\newtheorem{theorem}{Theorem}[section] | Theorem 1.1, 1.2, 2.1 | Theorem 1, 2, 3: Der Abschnittsteil wird ignoriert |
\newtheorem{lemma}[theorem]{Lemma} | Lemma teilt den Zähler von theorem | Lemma hat einen eigenen Zähler |
\newtheorem*{remark}{Remark} | keine Nummer | Funktioniert |
\theoremstyle{definition}, {remark} | aufrechter Text | Ignoriert: Jeder Text ist kursiv |
\begin{proof} | „Proof.“ und ein Quadrat | Funktioniert |
\begin{proof}[Proof of Theorem 1] | Ihre eigene Überschrift | „Proof.“: Ihre Überschrift wird ignoriert |
\qedhere | Quadrat in der letzten Zeile einer abgesetzten Formel | Nicht unterstützt: Diese Formel ist rot |
[section] und ein gemeinsamer Zähler: Jede Art zählt für sich
\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\begin{document}
\section{Results}
\begin{lemma} A first lemma. \end{lemma}
\begin{theorem} A first theorem. \end{theorem}
\begin{lemma} A second lemma. \end{lemma}
\end{document}![Gesetzt von Scissor LaTeX: [section] und ein gemeinsamer Zähler: Jede Art zählt für sich](/app/docs/img/dbf1ee310df4.svg)
In einer TeX-Installation gibt dieses Beispiel Lemma 1.1, Theorem 1.2 und Lemma 1.3 aus. Scissor LaTeX gibt Lemma 1, Theorem 1 und Lemma 2 aus.
Ohne \newtheorem
Viele Dokumente, die von anderswo kopiert wurden, verwenden theorem, lemma oder definition, ohne sie zu deklarieren. Scissor LaTeX erkennt gängige Namen trotzdem, darunter theorem, lemma, proposition, corollary, definition, remark, example, conjecture, claim, exercise, problem, solution und Kurzformen wie thm, lem und defn.
Was sich von einer TeX-Installation unterscheidet
Mehr zum Paket auf der Seite zu amsthm. Das vollständige Handbuch des Pakets finden Sie unter ctan.org/pkg/amsthm.
Siehe auch amsthm, Querverweise und cleveref.
Fragen und Antworten
Wie definiere ich in LaTeX eine Satzumgebung?
Schreiben Sie \newtheorem{theorem}{Theorem} in die Präambel, zusammen mit \usepackage{amsthm}. Verwenden Sie dann \begin{theorem} ... \end{theorem}.
Wie bekomme ich das QED-Quadrat am Ende eines Beweises?
Verwenden Sie die Umgebung proof aus amsthm. Das Quadrat wird am Ende automatisch hinzugefügt.
Wie nummeriere ich Lemmata und Sätze gemeinsam?
In einer TeX-Installation schreiben Sie \newtheorem{lemma}[theorem]{Lemma}. Scissor LaTeX teilt Zähler noch nicht, deshalb werden Lemmata und Sätze hier getrennt nummeriert.
Jedes Beispiel auf dieser Seite wird beim Erstellen der Website von Scissor LaTeX gesetzt. Zuletzt aktualisiert am 2026-11-07.