Naar de inhoud

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}
Gezet door Scissor LaTeX: Een gedeclareerde stelling met haar bewijs

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}
Gezet door Scissor LaTeX: Een stelling met naam, een lemma en een verwijzing

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}
Gezet door Scissor LaTeX: Definitie, propositie en opmerking

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}
Gezet door Scissor LaTeX: Een uitspraak zonder nummer met \newtheorem*

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 schrijftTeX-installatieScissor LaTeX
\newtheorem{theorem}{Theorem}Theorem 1, 2, 3Werkt
\newtheorem{theorem}{Theorem}[section]Theorem 1.1, 1.2, 2.1Theorem 1, 2, 3: het sectiedeel wordt genegeerd
\newtheorem{lemma}[theorem]{Lemma}Lemma deelt de teller van theoremLemma heeft een eigen teller
\newtheorem*{remark}{Remark}geen nummerWerkt
\theoremstyle{definition}, {remark}rechtopstaande tekstGenegeerd: elke tekst is cursief
\begin{proof}"Proof." en een vierkantjeWerkt
\begin{proof}[Proof of Theorem 1]je eigen kop"Proof.": je kop wordt genegeerd
\qedherevierkantje op de laatste regel van een formuleNiet 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}
Gezet door Scissor LaTeX: [section] en een gedeelde teller: elke soort telt zelf

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.