Aller au contenu

amsthm dans Scissor LaTeX

Le package amsthm fonctionne en partie dans Scissor LaTeX : \newtheorem, la forme étoilée \newtheorem*, les notes facultatives comme [Mustermann] et l’environnement proof fonctionnent, tandis que \theoremstyle, les compteurs partagés ou par section, les titres de démonstration et \qedhere ne sont pas appliqués.

Ce que fait le package

amsthm permet de déclarer des environnements de type théorème avec \newtheorem et fournit un environnement proof qui se termine par un petit carré. Les styles de théorème (plain, definition, remark) changent l’aspect de l’en-tête et du corps.

Ce qui fonctionne ici

CommandeDans Scissor LaTeXRemarques
\newtheorem{name}{Title}FonctionneChaque nom a son propre compteur : 1, 2, 3.
\newtheorem{name}[other]{Title}En partieLe compteur partagé est ignoré ; l’environnement compte de son côté.
\newtheorem{name}{Title}[section]En partieLes numéros ne repartent pas à zéro à chaque section et ne prennent pas la forme 2.1.
\newtheorem*{name}{Title}FonctionneSans numéro.
\begin{theorem}[note]FonctionneLa note apparaît entre parenthèses après le numéro.
\theoremstyle{...}IgnoréeChaque environnement a un en-tête en gras et un corps en italique.
proofEn partieToujours intitulé « Proof. » ; un titre facultatif comme [Proof of Lemma 2] est ignoré. Se termine par un carré.
\qedhereNon prise en chargeLa formule qui la contient s’affiche en rouge.
\qed, \qedsymbolNon prise en chargeIgnorées avec une remarque dans l’onglet Problèmes ; le carré de fin ne vient que de l’environnement proof.

Exemples

Déclarez les environnements dans le préambule, puis utilisez-les dans le texte :

\newtheorem, une note et une démonstration

\documentclass{article}
\usepackage{amsthm}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\begin{document}
\begin{lemma}
Every even number greater than 2 is the sum of two odd numbers.
\end{lemma}
\begin{theorem}[Mustermann]
The number 44 is the sum of two primes.
\end{theorem}
\begin{proof}
Take $44 = 3 + 41$, and both 3 and 41 are prime.
\end{proof}
\end{document}
Composé par Scissor LaTeX: \newtheorem, une note et une démonstration

Un environnement non numéroté avec \newtheorem*. La ligne \theoremstyle{definition} est acceptée, mais le corps reste en italique :

\newtheorem* et \theoremstyle

\documentclass{article}
\usepackage{amsthm}
\theoremstyle{definition}
\newtheorem{definition}{Definition}
\newtheorem*{remark}{Remark}
\begin{document}
\begin{definition}
A number is \emph{even} if it is divisible by 2.
\end{definition}
\begin{remark}
By this definition, 0 and 44 are even.
\end{remark}
\end{document}
Composé par Scissor LaTeX: \newtheorem* et \theoremstyle

\qedhere place le carré dans une formule hors texte à la fin d’une démonstration. Cette commande n’est pas connue ici, donc la formule devient rouge :

\qedhere affiche une formule en rouge

LaTeXPréambule : \usepackage{amsthm}Ouvrir dans l'éditeur (s’ouvre dans un nouvel onglet)
\begin{proof}
It remains to compute
\[ 44 = 4 \cdot 11. \qedhere \]
\end{proof}

Affiché en rouge : la formule est illisible, son code source est donc affiché à la place.

Supprimez \qedhere. Le carré se place alors sur sa propre ligne après la formule, ce qui est correct aussi :

La même démonstration sans \qedhere

LaTeXPréambule : \usepackage{amsthm}Ouvrir dans l'éditeur (s’ouvre dans un nouvel onglet)
\begin{proof}
It remains to compute
\[ 44 = 4 \cdot 11. \]
\end{proof}

Compatibilité

  • D’une installation TeX vers Scissor LaTeX : les documents se composent. Les numéros peuvent différer quand des environnements partagent un compteur, et chaque style de théorème ressemble à plain. Supprimez \qedhere là où une formule devient rouge.
  • De Scissor LaTeX vers une installation TeX : les documents s’y compilent sans modification, à condition que chaque environnement soit déclaré avec \newtheorem.

Le manuel complet se trouve sur CTAN : ctan.org/pkg/amsthm. Pour une introduction guidée, voir Théorèmes et démonstrations.

Voir aussi Théorèmes et démonstrations et cleveref.

Questions et réponses

Pourquoi mes lemmes et mes théorèmes ne partagent-ils pas un même compteur ?

Scissor LaTeX donne à chaque environnement son propre compteur et ignore l’argument [theorem]. Votre document se compile quand même ; seuls les numéros diffèrent de ceux d’une installation TeX.

Puis-je changer l’en-tête de la démonstration ?

Pas encore. L’argument facultatif de proof est ignoré et l’en-tête est toujours « Proof. ». Vous pouvez plutôt écrire le titre dans les premiers mots de la démonstration.

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.