Stellingen en bewijzen in LaTeX met amsthm
Declareer elke soort in de preambule met \newtheorem{theorem}{Theorem} en schrijf dan \begin{theorem} ... \end{theorem} in de body. De omgeving proof uit amsthm drukt "Proof." af en eindigt met een klein vierkantje.
Een stelling declareren en gebruiken
\newtheorem{naam}{Kop} in de preambule maakt een omgeving met de naam naam, waarvan de kop wordt afgedrukt als "Kop" met een nummer. Laad ook amsthm; dat levert de omgeving proof en declaraties met sterretje.
Een gedeclareerde stelling met haar bewijs
\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}De tekst van een stelling wordt cursief gezet. Het bewijs eindigt met een vierkantje bij de rechtermarge.
Namen, labels en verwijzingen
Een optioneel argument na \begin{theorem} geeft de stelling een naam, die tussen haakjes wordt afgedrukt. Zet \label in de omgeving om er met \ref naar te verwijzen.
Een stelling met naam, een lemma en een verwijzing
\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}Meerdere soorten uitspraken
Declareer zoveel soorten als je nodig hebt: stelling, lemma, propositie, gevolg, definitie, opmerking, voorbeeld. In Scissor LaTeX heeft elke soort een eigen teller.
Definitie, propositie en opmerking
\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}Stellingen zonder nummer
\newtheorem* (uit amsthm) declareert een soort zonder nummer.
Een uitspraak zonder nummer met \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}Nummering en stijlen
In een TeX-installatie heeft \newtheorem twee optionele argumenten voor de nummering, en heeft amsthm het commando \theoremstyle. Dit doet Scissor LaTeX ermee:
| Je schrijft | TeX-installatie | Scissor LaTeX |
|---|---|---|
\newtheorem{theorem}{Theorem} | Theorem 1, 2, 3 | Werkt |
\newtheorem{theorem}{Theorem}[section] | Theorem 1.1, 1.2, 2.1 | Theorem 1, 2, 3: het sectiedeel wordt genegeerd |
\newtheorem{lemma}[theorem]{Lemma} | Lemma deelt de teller van theorem | Lemma heeft een eigen teller |
\newtheorem*{remark}{Remark} | geen nummer | Werkt |
\theoremstyle{definition}, {remark} | rechtopstaande tekst | Genegeerd: elke tekst is cursief |
\begin{proof} | "Proof." en een vierkantje | Werkt |
\begin{proof}[Proof of Theorem 1] | je eigen kop | "Proof.": je kop wordt genegeerd |
\qedhere | vierkantje op de laatste regel van een formule | Niet ondersteund: die formule is rood |
[section] en een gedeelde teller: elke soort telt zelf
\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}In een TeX-installatie drukt dit voorbeeld Lemma 1.1, Theorem 1.2 en Lemma 1.3 af. Scissor LaTeX drukt Lemma 1, Theorem 1 en Lemma 2 af.
Zonder \newtheorem
Veel documenten die van elders zijn gekopieerd, gebruiken theorem, lemma of definition zonder ze te declareren. Scissor LaTeX herkent gangbare namen toch, waaronder theorem, lemma, proposition, corollary, definition, remark, example, conjecture, claim, exercise, problem, solution en korte vormen zoals thm, lem en defn.
Wat anders is dan in een TeX-installatie
Meer over het pakket op de pagina over amsthm. De volledige handleiding van het pakket staat op ctan.org/pkg/amsthm.
Zie ook amsthm, Kruisverwijzingen en cleveref.
Vragen en antwoorden
Hoe definieer ik een stellingomgeving in LaTeX?
Schrijf \newtheorem{theorem}{Theorem} in de preambule, met \usepackage{amsthm}. Gebruik daarna \begin{theorem} ... \end{theorem}.
Hoe krijg ik het QED-vierkantje aan het einde van een bewijs?
Gebruik de omgeving proof uit amsthm. Het vierkantje wordt aan het einde automatisch toegevoegd.
Hoe nummer ik lemma's en stellingen samen?
Schrijf in een TeX-installatie \newtheorem{lemma}[theorem]{Lemma}. Scissor LaTeX deelt nog geen tellers, dus lemma's en stellingen worden hier apart genummerd.
Elk voorbeeld op deze pagina wordt door Scissor LaTeX gezet wanneer de site wordt gebouwd. Laatst bijgewerkt op 2026-11-07.