Théorèmes et démonstrations en LaTeX avec amsthm

Déclarez chaque type dans le préambule avec \newtheorem{theorem}{Theorem}, puis écrivez \begin{theorem} ... \end{theorem} dans le corps du document. L’environnement proof d’amsthm imprime « Proof. » et se termine par un petit carré.

Déclarer et utiliser un théorème

\newtheorem{name}{Heading} dans le préambule crée un environnement appelé name dont l’intitulé est imprimé « Heading » suivi d’un numéro. Chargez aussi amsthm ; il fournit l’environnement proof et les déclarations étoilées.

Un théorème déclaré avec sa démonstration

LaTeXCopierOuvrir dans l'éditeur (s’ouvre dans un nouvel onglet)

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

Le corps d’un théorème est composé en italique. La démonstration se termine par un carré dans la marge de droite.

Noms, étiquettes et renvois

Un argument facultatif après \begin{theorem} donne un nom au théorème, imprimé entre parenthèses. Placez \label dans l’environnement pour y renvoyer avec \ref.

Un théorème nommé, un lemme et un renvoi

LaTeXCopierOuvrir dans l'éditeur (s’ouvre dans un nouvel onglet)

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

Plusieurs types d’énoncés

Déclarez autant de types que nécessaire : théorème, lemme, proposition, corollaire, définition, remarque, exemple. Dans Scissor LaTeX, chaque type a son propre compteur.

Définition, proposition et remarque

LaTeXCopierOuvrir dans l'éditeur (s’ouvre dans un nouvel onglet)

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

Théorèmes non numérotés

\newtheorem* (d’amsthm) déclare un type sans numéro.

Un énoncé non numéroté avec \newtheorem*

LaTeXCopierOuvrir dans l'éditeur (s’ouvre dans un nouvel onglet)

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

Numérotation et styles

Dans une installation TeX, \newtheorem a deux arguments facultatifs pour la numérotation, et amsthm fournit \theoremstyle. Voici ce qu’en fait Scissor LaTeX :

[section] et compteur partagé : chaque type compte de son côté

LaTeXCopierOuvrir dans l'éditeur (s’ouvre dans un nouvel onglet)

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

Dans une installation TeX, cet exemple imprime Lemma 1.1, Theorem 1.2 et Lemma 1.3. Scissor LaTeX imprime Lemma 1, Theorem 1 et Lemma 2.

Sans \newtheorem

Beaucoup de documents copiés d’ailleurs utilisent theorem, lemma ou definition sans les déclarer. Scissor LaTeX reconnaît malgré tout les noms courants, dont theorem, lemma, proposition, corollary, definition, remark, example, conjecture, claim, exercise, problem, solution et des formes courtes comme thm, lem et defn.

Différences avec une installation TeX

Plus d’informations sur le package sur la page amsthm. Le manuel complet du package se trouve sur ctan.org/pkg/amsthm.

Voir aussi amsthm, Renvois et cleveref.

Chaque exemple de cette page est composé par Scissor LaTeX lors de la génération du site. Dernière mise à jour : 2026-11-07.