Ceci est une ancienne révision du document !

Comment mettre en page des théorèmes?

Avec les commandes de base

$\LaTeX$ dispose de la commande \newtheorem :

\newtheorem{nom}[compteur]{texte}[section]

Dans cette définition :

nom est une clé pour identifier le théorème ;
texte le titre du théorème qui sera imprimé ;
compteur permet de référencer un autre théorème pour obtenir la même numérotation ;
section permet de préciser le niveau de numérotation voulu.

En voici un exemple :

\documentclass{article}
\usepackage{lmodern}
\newtheorem{th-imp}{Théorème%
           important}[section]
\newtheorem{th-u}%
           {Théorème}[subsection]
\pagestyle{empty}
\begin{document}
\section{Introduction}
\begin{th-imp} \label{th-AA}
    BLA BLA
\end{th-imp}
\subsection{Bases}
\begin{th-u} \label{th-aaa}
   bla bla bla
\end{th-u}
\begin{th-u}
   bla bla
\end{th-u}
 
\section{Conclusion}
Le théorème important~\ref{th-AA}
est à apprendre par c\oe{}ur,
le théorème~\ref{th-aaa} 
peut être utile.
\end{document}

<latexdoc> \documentclass{article} \usepackage[body={8cm,8cm}]{geometry} \usepackage{lmodern} \pagestyle{empty} \newtheorem{th-imp}%

         {Théorème important}[section]

\newtheorem{th-u}%

         {Théorème}[subsection]

\pagestyle{empty} \begin{document} \section{Introduction} \begin{th-imp} \label{th-AA}

  BLA BLA

\end{th-imp} \subsection{Bases}

\begin{th-u} \label{th-aaa}

 bla bla bla

\end{th-u}

\begin{th-u}

 bla bla

\end{th-u}

\section{Conclusion}

Le théorème important~1.1 est à apprendre par c\oe{}ur, le théorème~1.1.2 peut être utile. \end{document} </latexdoc>

Avec l'extension “ntheorem”

L'extension ntheorem peut générer une liste des théorèmes de la même manière que listoffigures, est compatible avec amsmath, permet d'ajouter des symboles à la fin d'un théorème (carré, q.e.d.), et permet également la référence à d'autres théorèmes. Pour plus de précisions, voir la documentation ntheorem.dvi ainsi que l'exemple~\vref{ex=ntheorem}.

<latexdoc> \documentclass{article}

\usepackage[thmmarks]{ntheorem}

{\theoremstyle{changebreak} \theoremindent0.5cm \theoremnumbering{greek} \newtheorem{Lemma}{Lemme}}

{\theoremheaderfont{\normalfont\bfseries} \theorembodyfont{\slshape} \theoremsymbol{\ensuremath{\diamondsuit}} \theoremseparator{:} \newtheorem{Theorem}{Théorème}}

{\theoremheaderfont{\sc}\theorembodyfont{\upshape} \theoremstyle{nonumberplain} \theoremseparator{} \theoremsymbol{\rule{1ex}{1ex}} \newtheorem{Proof}{Preuve}} \pagestyle{empty} \begin{document}

\begin{Theorem}[Théorème complexe] Voici l'énoncé de mon théorème complexe.

\begin{Lemma}[Equation] \label{lem=equation}

 Un lemme important~:

$\begin{equation} 0+0=\mbox{la t\^ete à toto} \end{equation}$

\end{Lemma}

\begin{Proof}[de rien]

D'après le lemme \ref{lem=equation},
le théorème est évident.

\end{Proof} Fin du théorème. \end{Theorem}

\end{document} </latexdoc>

Avec l'extension “mathtools” (ou “amsmath”)

Le package amsmath (cf.~\vref{question=AmSLaTeX}) définit l'environnement proof insérant un carré. Des exemples de théorèmes se trouvent dans le fichier thmtest.tex.

Avec l'extension “theorem”

Il y a enfin le package theorem, (https://www.ctan.org/macros/latex/required/tools/theorem.dtx), avec une documentation à https://www.ctan.org/{info/french-translations/macros/latex/required/tools/f-theorem.dvi}

Voici un tableau récapitulatif :

Extension	amsthm	theorem	ntheorem
Retour à la ligne après le titre	x	x	x
Pas de numérotation d'un théorème	x		x
Position du numéro du théorème		x	x
Style de la numérotation			x
Ponctuation après le titre (:,.,etc.)	x		x
Police du titre ou du corps	x	x	x
Indentation du titre	x
Espace vertical autour du théorème	x	x	x
Symbole de fin de preuve	x		x

Avec l'extension “shadethm”

L'extension shadethm permet d'écrire des théorèmes sur fond ombré.

Avec l'extension “nccthm”

L'extension nccthm permet de faire à peu près la même chose que ntheorem. Il dispose de compteurs dynamiques, de différents styles, de symboles de fin de preuve, etc. Se reporter à la documentation de l'extension pour plus d'informations.

Si l'on veut juste le symbole de fin de preuve, on peut utiliser l'extension QED.